____________ / 2 \/ x - x - 2 >= 2*x + 3
sqrt(x^2 - x - 2) >= 2*x + 3
____ 13 \/ 37 (-oo, - -- + ------] 6 6
x in Interval(-oo, -13/6 + sqrt(37)/6)
/ ____ \ | 13 \/ 37 | And|x <= - -- + ------, -oo < x| \ 6 6 /
(-oo < x)∧(x <= -13/6 + sqrt(37)/6)