Well, we can put them into plain English:

(a)For every integer there is an integer with .

This is clearly true by choosing for any .

(b)For every integer , there is an integer with .

Now, regardless of , it is clear that . So if then (b) implies , which is a contradiction. So (b) is false.