Problem:
Find all real solutions to $5^{19 x-10}5^{15 x+2} = 5^{-20 x-23}$
Answer:
$\left\{\left\{x\to -\frac{5}{18}\right\}\right\}$
{'source': 'AMPS', 'file': 'amps/mathematica/algebra/exponential_equations/17365.txt'}