Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Derivation

Final term is not finished

5^(2-x) == 25^(-1)

⇒ algebra.manipulation.exponents.factor-as-power

5^(2-x) == (5^2)^(-1)

⇒ algebra.manipulation.exponents.mul-exponents

5^(2-x) == 5^(-2)