WolframAlpha computational knowledge AI
|x^2-1-2|x+1||>=x^2-5