Здається, не найоптимальніший спосіб, можна інакше. Спочатку розкрити логарифм частки log_5(x/y)=log_5(x)-log_5(y) і тоді вийде проста система двох лінійних рівнянь на пару змінних log_5(x) і log_5(y), її можна і прямо напрошується легко розвязати додаванням раз додавши і раз віднявши ці два рівняння, отримаємо: log_5(x)=2a-3 log_5(y)=a+15. Далі x та y за означенням логарифма вийдуть вирази 5^(якомусь степені) і відразу зрозуміло, що з ОДЗ ніяких проблем нема, бо 5^(якомусь степені)>0 завжди. Далі все по тексту.