させたいことは分かるし悪くはないのだけど、$2017 + (2017 \cdot 2017)^{2017} \approx 1.3 \times 10^4$ではさすがに小さすぎて何の工夫もなく直接計算できてしまう。

implementation

dc $17$byteで暫定最短:

dc -e2017ddd+^+?%p
#!/usr/bin/env python3
print((2017+(2017*2017)**2017) % int(input()))