x + 2*x - 1/5 - 13*x - 1/15 >= x - 2/3
-13*x + x + 2*x - 1/5 - 1/15 >= x - 2/3
(-oo, 2/55]
x in Interval(-oo, 2/55)
And(x <= 2/55, -oo < x)
(x <= 2/55)∧(-oo < x)