|5 - x| < |2 - x| + |2*x - 7|
Or(And(-oo < x, x < 2), And(7/2 < x, x < oo))
((-oo < x)∧(x < 2))∨((7/2 < x)∧(x < oo))
(-oo, 2) U (7/2, oo)
x in Union(Interval.open(-oo, 2), Interval.open(7/2, oo))