log(5)*2*x - 8 <= log(5)*10 - x
x*(2*log(5)) - 8 <= -x + 10*log(5)
/ 2*(4 + 5*log(5)) \ And|x <= ----------------, -oo < x| \ 1 + 2*log(5) /
(-oo < x)∧(x <= 2*(4 + 5*log(5))/(1 + 2*log(5)))
2*(4 + 5*log(5)) (-oo, ----------------] 1 + 2*log(5)
x in Interval(-oo, 2*(4 + 5*log(5))/(1 + 2*log(5)))