WolframAlpha computational knowledge AI
(3 x + 1) mod 7 = 6, x mod 9 = 2, (x - 2) mod 4 = 1