Application: calendar calculations

A leap year is a year $y$ which satisfies either (a) $4\vert y$ and $100\not\vert y$, or (b) $400\vert y$.