twice a number x, minus 17