/ / 2 \\ / 2 \
|log\x - 6*x + 9/| / 7 \ |2*x - 15*x + 25|
|-----------------| log|2*x - 3 + -----| log|----------------|
\ log(7) / \ x - 6/ \ x - 6 /
------------------- <= -------------------- + ---------------------
log(7) log(7) log(7)
$$\frac{\frac{1}{\log{\left(7 \right)}} \log{\left(\left(x^{2} - 6 x\right) + 9 \right)}}{\log{\left(7 \right)}} \leq \frac{\log{\left(\frac{\left(2 x^{2} - 15 x\right) + 25}{x - 6} \right)}}{\log{\left(7 \right)}} + \frac{\log{\left(\left(2 x - 3\right) + \frac{7}{x - 6} \right)}}{\log{\left(7 \right)}}$$