4x 3 17 what is x