Problem:
Find all real solutions to $\frac{\log (x+19)}{\log (3)}+\frac{\log (4-x)}{\log (3)}=\frac{\log (-22 x-20)}{\log (3)}$
Answer:
$\left\{\left\{x\to \frac{1}{2} \left(7-\sqrt{433}\right)\right\},\left\{x\to \frac{1}{2} \left(7+\sqrt{433}\right)\right\}\right\}$
{'source': 'AMPS', 'file': 'amps/mathematica/algebra/log_equations/6563.txt'}