WolframAlpha computational knowledge AI
solve 2x = 10 (mod 12), 3x = 9 (mod 12)