x - 5 x + 7 11*x + 30 ----- > x - ----- - --------- 3 4 12
(x - 5)/3 > x - (x + 7)/4 - (11*x + 30)/12
And(-31/6 < x, x < oo)
(-31/6 < x)∧(x < oo)
(-31/6, oo)
x in Interval.open(-31/6, oo)