16*(2*x - 4) 31*x 3*(4 + 3*x) ------------ + ---- > ----------- 5 10 2
31*x/10 + 16*(2*x - 4)/5 > 3*(3*x + 4)/2
/94 \ And|-- < x, x < oo| \25 /
(94/25 < x)∧(x < oo)
94 (--, oo) 25
x in Interval.open(94/25, oo)