WolframAlpha computational knowledge AI
solve ax^2+4x = 10 for x