WolframAlpha computational knowledge AI
is x^2-x surjective?