10 - x x + 2/5 > ------ 3
x + 2/5 > (10 - x)/3
And(11/5 < x, x < oo)
(11/5 < x)∧(x < oo)
(11/5, oo)
x in Interval.open(11/5, oo)