Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Derivation

5^(x-4) == (1/5)^(2*x+1)

⇒ algebra.manipulation.exponents.reciprocal

5^(x-4) == (5^(-1))^(2*x+1)

⇒ algebra.manipulation.exponents.mul-exponents

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

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

x-4 == -2*x-1

⇒ algebra.equations.linear.var-left, term=(-2)*x

3*x-4 == -1

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

3*x == 3

⇒ algebra.equations.coverup.times

x == 1