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