is 7 a solution of 5x-3=12?