Retirement tax questions

How do I find out if the payer is deducting it or not? He owes the IRS lots of money and they are garnishing several hundred a month from his Social Security income.