Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Derivation

72*sqrt 3 == 8*3^(5-2*x)

⇒ algebra.equations.coverup.times

9*sqrt 3 == 3^(5-2*x)

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

3^2*sqrt 3 == 3^(5-2*x)

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

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

⇒ algebra.manipulation.exponents.add-exponents

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

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

5/2 == 5-2*x

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

5/2 == 2*x

⇒ algebra.equations.coverup.times

5/4 == x

⇒ algebra.equations.linear.flip

x == 5/4