今更ですが、最初の式だと４０１年などでもうるう年と判定されてしまいます。