x x + 2*x - 4/3 + 1/5 > - + 4 3
x + 2*x - 4/3 + 1/5 > x/3 + 4
77 (--, oo) 40
x in Interval.open(77/40, oo)
/77 \ And|-- < x, x < oo| \40 /
(77/40 < x)∧(x < oo)