Solving systems of equations modulo pseudovarieties of abelian groups and hyperdecidability