3 - x x + 1 log(x + 7)*----- <= log(x + 7)*----- x + 1 x - 3
((3 - x)/(x + 1))*log(x + 7) <= ((x + 1)/(x - 3))*log(x + 7)
Or(And(-6 <= x, x < -1), And(3 < x, x < oo))
((-6 <= x)∧(x < -1))∨((3 < x)∧(x < oo))
[-6, -1) U (3, oo)
x in Union(Interval.Ropen(-6, -1), Interval.open(3, oo))