Nice question! Just want to sum up the above (and make it a little more legible).
OG question: If a and b are positive integers, is b * bᵃ - b * aᵇ odd?
Start by factoring out b and rewriting the question as "Is b * (bᵃ - aᵇ) odd?"
Now let's thinking about what we know. b is clearly an integer, and (bᵃ - aᵇ) is an integer minus an integer, so it's an integer too. If the product of two integers is odd, then BOTH integers being multiplied must be odd themselves, so our question is really
"Are both b and (bᵃ - aᵇ) odd?"
Now the statements should be a lot easier to work with.
S1:: 5a - 8 is odd, so a is odd.
If a is odd, then aᵇ is also odd, as it's just a bunch of odd numbers multiplied together.
If b is odd, then bᵃ is also odd, so (bᵃ - aᵇ) = (odd - odd) = even, and the answer to our question is NO, it is NOT the case that both b and (bᵃ - aᵇ) are odd.
If b is even, then clearly the answer again is NO, it is NOT the case that both b and (bᵃ - aᵇ) are odd.
So in either case, SUFFICIENT - one of the numbers is even!
S2::
b³ + 3b² + 5b + 7 is odd. If b is odd, we have (Odd + Odd) + (Odd + Odd) = (Even + Even) = Even ... but our sum is supposed to be odd, per the prompt, so b is even.
If b is even, then it is NOT the case that both b and (bᵃ - aᵇ) are odd. SUFFICIENT!
Good q, very 2013 GMAT.