How do you solve -4=log_5x?