Solving Equation Systems in $\omega$-categorical Algebras