Problem:
Find all real solutions to $\frac{\log (x+3)}{\log (6)}+\frac{\log \left(\frac{71 x}{3}-16\right)}{\log (6)}=\frac{\log (16 x-9)}{\log (6)}$
Answer:
$\left\{\left\{x\to \frac{1}{142} \left(-117-3 \sqrt{5213}\right)\right\},\left\{x\to \frac{1}{142} \left(-117+3 \sqrt{5213}\right)\right\}\right\}$
{'source': 'AMPS', 'file': 'amps/mathematica/algebra/log_equations/18735.txt'}