MathDB
SMT 2007 Team #6

Source:

June 30, 2012

Problem Statement

x(k=12007k)mod2016x\equiv\left(\sum_{k=1}^{2007}k\right)\mod{2016}, where 0x20150\le x\le 2015. Solve for xx.