/ 2\ log(1 - 2*x) log(3) log\x / ------------ >= ---------- + ---------- log(5 + x) log(5 + x) log(5 + x)
log(1 - 2*x)/log(x + 5) >= log(x^2)/log(x + 5) + log(3)/log(x + 5)
[-5, -4) U [-1, 0) U (0, 1/3]
x in Union(Interval.Ropen(-5, -4), Interval.Ropen(-1, 0), Interval.Lopen(0, 1/3))
Or(And(-5 <= x, x < -4), And(-1 <= x, x < 0), And(x <= 1/3, 0 < x))
((-5 <= x)∧(x < -4))∨((-1 <= x)∧(x < 0))∨((x <= 1/3)∧(0 < x))