Two times a number added to four is at least thirty