How do you solve #5+x<12#?