WolframAlpha computational knowledge AI
3x = x + 3