Problem:
Find all real solutions to $\frac{\log (x+20)}{\log (7)}+\frac{\log (22 x-3)}{\log (7)}=\frac{\log (14-23 x)}{\log (7)}$
Answer:
$\left\{\left\{x\to \frac{1}{11} \left(-115-8 \sqrt{213}\right)\right\},\left\{x\to \frac{1}{11} \left(-115+8 \sqrt{213}\right)\right\}\right\}$
{'source': 'AMPS', 'file': 'amps/mathematica/algebra/log_equations/1022.txt'}