WolframAlpha computational knowledge AI
5xx+3x-7,x=2