Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Derivation

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

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

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

⇒ algebra.manipulation.exponents.reciprocal

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

⇒ algebra.manipulation.exponents.mul-exponents

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

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

-2 == 2-x

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

4 == x

⇒ algebra.equations.linear.flip

x == 4