Let's see using mostly incorrect numbers all in GBP and Per Annum
Personal allowance = 12,750
State pension = 9,500 - no tax liability accrues
add Company Pension 1 = 1,500 Income now 11,000 - no tax liability accrues
add Company Pension 2 = 6,750 Income now 17,750 - tax liable on 5,000 @ 20% = 1,000
Who deducts tax through PAYE is an other issue, previously HRMC erroneously had me liable for tax before I claimed my state pension by bad allocation of tax codes, i.e. I was below the tax liability threshold.