Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Derivation

Final term is not finished
3^(x+5) == 243*sqrt 3^(-1)
algebra.manipulation.exponents.factor-as-power
3^(x+5) == 3^5*sqrt 3^(-1)