Problem: in an it company , there are a total of 90 employees including 50 programmers . the number of male employees is 80 , including 35 male programmers . how many employees must be selected to guaranty that we have 3 programmers of the same sex ?
Rationale: "you could pick 40 non - programmers , 2 male programmers , and 2 female programmers , and still not have 3 programmers of the same sex . but if you pick one more person , you must either pick a male or a female programmer , so the answer is 45 . b"
annotated_formula: add(subtract(80, 90), subtract(50, 35))