How the Nigeria VAT calculator is verified

Inputs

InputFieldType
Amount (₦)amountnumber
This amount isdirectionstring
What is being suppliedcategorystring
Your business bought from a non-resident that did not charge VAT (s.150(2))reverseChargeboolean
Your annual turnover (₦)annualTurnovernumber
Your total fixed assets (₦)fixedAssetsnumber
The business provides professional servicesprofessionalServicesboolean

The formula

Each derived value below is computed by the Valem engine from the expression shown, in this order. Nothing else runs — there is no hidden code path.

Derived valueFieldFormula (JSONata)
Rateratecategory = 'standard' ? $const.vatRate : $const.zeroRate
Effective RateeffectiveRatereverseCharge ? 0 : rate
Value excluding VATnetAmountdirection = 'remove' ? $round(amount / (1 + effectiveRate), 2) : $round(amount, 2)
VAT chargedvatAmount$round(netAmount * effectiveRate, 2)
VAT you self-account and remit (s.150(2))selfAccountedVatreverseCharge ? $round(netAmount * rate, 2) : 0
GrossgrossAmount$round(netAmount + vatAmount, 2)
Must register, charge VAT and file monthlymustRegister$n(annualTurnover) > $const.smallBusinessTurnover or $n(fixedAssets) > $const.smallBusinessFixedAssets or professionalServices

Rates and thresholds

The expressions above read these as $const. They are the figures the annual refresh replaces, so they live as data rather than being written into the formulas — which is what makes a year-on-year change a one-line diff instead of an edit to arithmetic.

ConstantValue
vatRate0.075
zeroRate0
smallBusinessTurnover100000000
smallBusinessFixedAssets250000000

Test vectors (9)

Every case is executed against this model on each build, by the Java engine and independently by a JavaScript one. A mismatch of a single cent fails the build, so the page cannot ship advertising a figure the model no longer produces.

Case 1 — V1 ₦100,000 of taxable goods: 7.5% = ₦7,500

given amount100000
given directionadd
given categorystandard
given reverseChargeno
given annualTurnover0
given fixedAssets0
given professionalServicesno
expect vatAmount7500
expect grossAmount107500
expect effectiveRate0.075

Case 2 — V2 ₦107,500 including VAT back to ₦100,000

given amount107500
given directionremove
given categorystandard
given reverseChargeno
given annualTurnover0
given fixedAssets0
given professionalServicesno
expect netAmount100000
expect vatAmount7500

Case 3 — V3 zero-rated basic food: 0%

given amount100000
given directionadd
given categoryzeroRated
given reverseChargeno
given annualTurnover0
given fixedAssets0
given professionalServicesno
expect rate0
expect vatAmount0
expect grossAmount100000

Case 4 — V4 an exempt supply of land carries no VAT

given amount100000
given directionadd
given categoryexempt
given reverseChargeno
given annualTurnover0
given fixedAssets0
given professionalServicesno
expect vatAmount0
expect grossAmount100000

Case 5 — V5 ₦200,000 of services from a non-resident: the buyer self-accounts ₦15,000

given amount200000
given directionadd
given categorystandard
given reverseChargeyes
given annualTurnover0
given fixedAssets0
given professionalServicesno
expect vatAmount0
expect selfAccountedVat15000
expect grossAmount200000

Case 6 — V6 turnover of exactly ₦100 million is still a small business

given amount100000
given directionadd
given categorystandard
given reverseChargeno
given annualTurnover100000000
given fixedAssets0
given professionalServicesno
expect mustRegisterfalse

Case 7 — V7 ₦1 above ₦100 million must register

given amount100000
given directionadd
given categorystandard
given reverseChargeno
given annualTurnover100000001
given fixedAssets0
given professionalServicesno
expect mustRegistertrue

Case 8 — V8 professional services are never a small business

given amount100000
given directionadd
given categorystandard
given reverseChargeno
given annualTurnover5000000
given fixedAssets0
given professionalServicesyes
expect mustRegistertrue

Case 9 — V9 fixed assets above ₦250 million must register

given amount100000
given directionadd
given categorystandard
given reverseChargeno
given annualTurnover5000000
given fixedAssets250000001
given professionalServicesno
expect mustRegistertrue

Sources

Check it yourself — and reuse it

The whole model as JSON — inputs, outputs, formulas, vectors and sources in one re-runnable document.

This model is published under CC BY 4.0: use it, adapt it, build on it, with attribution. The licence covers the model — the expression of each rule and the arrangement of the catalog. The rates and thresholds are law, and nobody licenses those; the sources above are where they come from.

← Back to the Nigeria VAT calculator

Built with Valem — a live, verifiable calculator you can fork and embed.