WolframAlpha computational knowledge AI
x = 1 mod 2, x=3 mod 6, x=3 mod 7