Exercise algebra.manipulation.exponential.equation
Description
solve exponential equation algebraically
Derivation
5^(x-4) == (1/5)^(2*x+1)
⇒ algebra.manipulation.exponents.reciprocal5^(x-4) == (5^(-1))^(2*x+1)
⇒ algebra.manipulation.exponents.mul-exponents5^(x-4) == 5^(-2*x-1)
⇒ algebra.manipulation.exponents.equation.same-basex-4 == -2*x-1
⇒ algebra.equations.linear.var-left, term=(-2)*x3*x-4 == -1
⇒ algebra.equations.coverup.onevar.minus-left3*x == 3
⇒ algebra.equations.coverup.timesx == 1