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