/ 2 \ / 2 \ / x \ log\8*x + 7/ - log\x + x + 1/ >= log|----- + 7| \x + 5 /
log(8*x^2 + 7) - log(x^2 + x + 1) >= log(x/(x + 5) + 7)
Or(And(x <= -12, -oo < x), And(x <= 0, -35/8 < x))
((x <= -12)∧(-oo < x))∨((x <= 0)∧(-35/8 < x))
(-oo, -12] U (-35/8, 0]
x in Union(Interval(-oo, -12), Interval.Lopen(-35/8, 0))