Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Derivation

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)

⇒ algebra.manipulation.exponents.equation.same-base

2-x == -2

⇒ algebra.equations.coverup.onevar.minus-right

x == 4