WolframAlpha computational knowledge AI
x^2 -15x + 40 < 0