/ 16\
log(32*x) log(x) 5 log\x / 18*x
------------- - 5 + ------ - ----------- >= -------- + ------- - 25
log(x) log(2) /log(32*x)\ log(2) 2
log(2)*------ |---------| log (2)
log(2) \ log(2) /
$$\frac{\log{\left(x \right)}}{\log{\left(2 \right)}} - 5 - \frac{5}{\frac{1}{\log{\left(2 \right)}} \log{\left(32 x \right)}} + \frac{\log{\left(32 x \right)}}{\frac{\log{\left(x \right)}}{\log{\left(2 \right)}} \log{\left(2 \right)}} \geq \frac{18 x}{\log{\left(2 \right)}^{2}} + \frac{\log{\left(x^{16} \right)}}{\log{\left(2 \right)}} - 25$$