If the average tax payer who makes $140,000 per year owes the government $18,200 with a standard deviation of $1500, and the IRS receives a 1040 tax documents from a customer who earned $140,000 that claims he only owes $12,000, should the IRS suspect the tax payer has likely made an error?