x - 1 x + 1 ----- - 1 > ----- + 8 4 3
(x - 1)/4 - 1 > (x + 1)/3 + 8
(-oo, -115)
x in Interval.open(-oo, -115)
And(-oo < x, x < -115)
(-oo < x)∧(x < -115)