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