|x + 2| + |2*x - 3| >= x + 3
(-oo, 1] U [2, oo)
x in Union(Interval(-oo, 1), Interval(2, oo))
Or(And(2 <= x, x < oo), And(x <= 1, -oo < x))
((2 <= x)∧(x < oo))∨((x <= 1)∧(-oo < x))