Problem:
Find all real solutions to $\frac{\log (x+3)}{\log (2)}+\frac{\log (24-8 x)}{\log (2)}=\frac{\log (22 x-2)}{\log (2)}$
Answer:
$\left\{\left\{x\to \frac{1}{8} \left(-11-\sqrt{713}\right)\right\},\left\{x\to \frac{1}{8} \left(-11+\sqrt{713}\right)\right\}\right\}$
{'source': 'AMPS', 'file': 'amps/mathematica/algebra/log_equations/23789.txt'}