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