Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Derivation

Final term is not finished

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

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

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

⇒ algebra.manipulation.exponents.reciprocal

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

⇒ algebra.manipulation.exponents.mul-exponents

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