log(4, x + 8) >= log(3 - x, 3 - x)
And(x <= -4, -7 < x)
(x <= -4)∧(-7 < x)
(-7, -4]
x in Interval.Lopen(-7, -4)