by Sage Pearce-Higgins Sun Apr 19, 2020 7:42 am
Interesting problem. Let me give you my thinking, and I'll come to your question.
If S is a set of odd integers and -1, 1, 3 are in S, is –15 in S ?
(1) 9 is in S.
Not sufficient.
(2) Whenever two numbers are in S, their product is in S.
Assessing this statement on it's own, I'd apply it to the initial set. If -1 and 3 are in the set, then their product, -3, must also be in the set. And if -3 and 3 are in the set, then their product, -9 must be in the set. And if -1 and -9 are in the set, the their product must be in the set. So statement 2 tells us that 9 is in the set. Hence statement 2 "includes" statement 1, meaning that the 2 statements together give me no more information than statement 2 alone. Consequently, I can eliminate answer C.
Next, I would look at the prime factors of -15. For -15 to be in the set, we'd need a 5 somewhere in the set. However, the initial integers in the set don't include a 5. So, given the initial information and statement 2, it looks like -15 isn't in the set, meaning that statement 2 looks like a sufficient "no" situation, i.e. the information is enough to answer the question, but with a "no".
However, if I understand your reasoning, we don't know what other unmentioned numbers are in set S, so that it's still possible that -15 could be in the set, and hence we don't have enough information and the answer is E. Strictly speaking, that's accurate logic. However, that way of thinking is not one I've seen in any GMAT problems. What's the source and number of the problem that you're tangentially discussing please?