-4 is less than 12+x