WolframAlpha computational knowledge AI
inverse 7 mod 31