a number minus 7 is less then 12