No, you do not include your employer's contributions in the IRA. section. You also don't include any workplace retirement plan as that contribution is accounted for on your W-2 form.
**Say "Thanks" by clicking the thumb icon in a post
**Mark the post that answers your question by clicking on "Mark as Best Answer"
