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