2 3 x + x - 3 x - ----- ---------- x + 1 x + 1 2*5/2 5/3 <= -------------- 3
(5/3)^((x^2 + x - 3)/(x + 1)) <= 2*(5/2)^(x - 3/(x + 1))/3
Or(And(-2 <= x, x < -1), And(2 <= x, x < oo))
((-2 <= x)∧(x < -1))∨((2 <= x)∧(x < oo))
[-2, -1) U [2, oo)
x in Union(Interval.Ropen(-2, -1), Interval(2, oo))