--------------------------------
What do we know right away?
--------------------------------
We just want to know if x, y positive integers tell us x! > y!
Because x and y are positive integers, we may later find it helpful to imagine y = x + k for some integer k. For instance, if k = -1, then x!/y! = x. We'll just stow this away as an observation for later.
-------------------------------
What does statement A tell us?
-------------------------------
There exists some integers a, b such that the following are all true:
--> a < b
--> |x| < a
--> |y| < b
Because x and y are positive integers, |x| = x and |y| = y. We can re-imagine the above statements knowing this.
--> a < b
--> x < a
--> y < b
Note that we can't say much about how x compares to y. Suppose a and b are just huge numbers, and b = a + 1 (We can actually imagine b = a + ε for some arbitrarily small ε!) It's pretty clear we don't know a lot about x and y.
So what does this tell us about x! as compared to y! ? Going back to the point I made a moment ago, not a lot! Let's simplify things a bit and assume a and b are really big numbers. Specifically, let's suppose a = 1,000,000 and b = 1,000,001 so we don't really have to think about them for a moment.
Let's pick our first example. Suppose x = 2 and y = 3.
--> First check against a and b; |2| < 1,000,000 and |3| < 1,000,0001, so we're good.
--> Is x! > y!? No. 2! = 2 and 3! = 3 * 2, so y! > x!.
Let's pick another example. Suppose x = 3 and y = 2. (These numbers are chosen on purpose.
--> A quick check against a and b shows we're okay.
--> And we already know 3! > 2!, so x! > y!.
Statement A is insufficient.
---------------------------------
What does B tell us?
---------------------------------
x is equidistant on the number line from 5 and y. This is equivalent to saying |x -5| = |x - y|
Note that we don't know where x and y lie in relation to 5. It could be true that 5 < x < y or that 5 > x > y. It could also be true that x = y = 5.
Let's try two concrete examples to drive this home.
Suppose x = 5 and y = 5. Then we can observe that x! = y!; so the statement of interest is false.
But what if x = 4 and y = 3? Then we can observe that x! > y!; and the statement of interest is true.
So Statement B is insufficient.
-------------------------------
What about both statements together?
-------------------------------
The fun thing about picking intuitively large numbers for a and b in the first part of the problem is that we can apply the same constraint to our most recent set of counterexamples.
x = 5, y = 5 still works in the sense that 5 < 1,000,000 and 5 < 1,000,0001. And here it's not true that x! > y!.
x = 4, y = 4 still works too. And here it is true that x! > y!.
So both statements together are insufficient.