Solving Equation Systems in $ω$-categorical Algebras