WolframAlpha computational knowledge AI
solve 3x+4= 5x +7