WolframAlpha computational knowledge AI
x^2-4x>2x-1