2 |4*x - 9| <= x + 4
|4*x - 9| <= x^2 + 4
(-oo, -5] U [1, oo)
x in Union(Interval(-oo, -5), Interval(1, oo))
Or(And(1 <= x, x < oo), And(x <= -5, -oo < x))
((1 <= x)∧(x < oo))∨((x <= -5)∧(-oo < x))