Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Derivation

243/sqrt 3 == 3^(x+5)

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

3^5/sqrt 3 == 3^(x+5)

⇒ algebra.manipulation.exponents.reciprocal

3^5*sqrt 3^(-1) == 3^(x+5)

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

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

⇒ algebra.manipulation.exponents.mul-exponents

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

⇒ algebra.manipulation.exponents.add-exponents

3^(9/2) == 3^(x+5)

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

9/2 == x+5

⇒ algebra.equations.coverup.onevar.plus

-1/2 == x

⇒ algebra.equations.linear.flip

x == -1/2