| 2 | |x - 2*x - 3| > 3*x - 3
|x^2 - 2*x - 3| > 3*x - 3
Or(And(-oo < x, x < 2), And(5 < x, x < oo))
((-oo < x)∧(x < 2))∨((5 < x)∧(x < oo))
(-oo, 2) U (5, oo)
x in Union(Interval.open(-oo, 2), Interval.open(5, oo))