a number theory solver for modular arithmetic problems