Q. I can withdraw 12500 from my 401k in total, and not pay income tax; right?
A. No. You can withdraw $8850. The $5000 net self employment income will be taxable. So, there is only $8850 (13,850 -5000 = 8850) of standard deduction left for the 401k distribution.
