20 more than twice x is at most 16 written form