solve -x+5=12 for x