WolframAlpha computational knowledge AI
(x - 3)(x^2 - x + 4) = x - 3 + 11