/ 11\
/ 2 \ |(x + 5) |
11*log\x + x - 20/ <= 12 + log|---------|
\ x - 4 /
11*log(x^2 + x - 20) <= log((x + 5)^11/(x - 4)) + 12
Or(And(x <= 4 + E, 4 < x), x = 4 - E)
(x = 4 - E))∨((4 < x)∧(x <= 4 + E)
{4 - E} U (4, 4 + E]
x in Union(FiniteSet(4 - E), Interval.Lopen(4, E + 4))