WolframAlpha computational knowledge AI
abs(2x+2)/(x^2-1) >= 1