WolframAlpha computational knowledge AI
solve x≡2 (mod3)