2x 7 13 what is x