Looks scary to be honest, but probably it's a tricky question. In my opinion, its option D (Both are alone sufficient)
Let us first put all the parameters:
The total number of employees is 500, split among three divisions (A,B,C) with each division having at least 100 employees. The total benefits budget is $8,000,000.
We denote the number of employees in division A,B and C as
a,b and c with
a+b+c = 500 and
a,b,c ≥100We denote the budget to divisions in division A,B and C as
x,y and z with
x+y+z = $ 8000kWe need to check how many of these divisions receive at least $40,000 per employee:
How many of (x/a , y/b , z/c ) ≥ $ 40k
Lets look at Statement 1 : "If the amounts assigned to each division are rearranged such that each division receives an amount that had been assigned to another division, there is no possible rearrangement in which any division is underfunded"
This implies : x/a > $ 10k and y/b > $ 10k and z/c > $ 10k
Supposing one division to be just overfunded -
Let's say division A has least number of employees = 100 and receives benefits of $ 40k/employee. Hence, x = $ 4000k
This will imply --> y+z = $ 4000k and b+c = 400 (from above constraints)
For any combination, it's not possible for both B and C to not stay underfunded.
(Let's take y/b = $ 11k and b = 200, then c = 200 and z/c = $ 9k (underfunded))
Hence, if 1 division is overfunded, atleast 1 division will be underfunded.
So, we can conclude that for any arrangement where "there is no possible rearrangement in which any division is underfunded", number of overfunded divisions = 0
Hence statement 1 is sufficient.Lets look at Statement 2 : "If the amounts assigned to each division are rearranged such that each division receives an amount that had been assigned to another division, there is no possible rearrangement in which any division is overfunded."
x/a < $ 40k, y/b < $ 40k or z/c < $ 40k
Since this ensures that no division is overfunded in any rearrangement, it implies no division is overfunded with the original budget distribution.
Hence statement 2 is also sufficient.We can conclude that both the statements are sufficient alone. Hence Option D.
-------