2 |2*x - 7| <= x + 3
|2*x - 7| <= x^2 + 3
/ / ___ \ / ___ \\ Or\And\x <= -1 - \/ 5 , -oo < x/, And\-1 + \/ 5 <= x, x < oo//
((x < oo)∧(-1 + sqrt(5) <= x))∨((-oo < x)∧(x <= -1 - sqrt(5)))
___ ___ (-oo, -1 - \/ 5 ] U [-1 + \/ 5 , oo)
x in Union(Interval(-oo, -sqrt(5) - 1), Interval(-1 + sqrt(5), oo))