WolframAlpha computational knowledge AI
sqrt(5*x + 7) - sqrt(x + 4) = 4 * x + 3