(1/25)^(x+2) = 5^(x+5) over the reals