We investigate the p-divisibility of the cardinalities of solution sets of systems of polynomial equations over the integers modulo prime powers.