1) (x - y) · xy - чётное при любых комбинациях чётности x и y,
а 201520162017 - нечётное.
Поэтому (x - y) · xy ≠ 201520162017.
2) Полные квадраты могут заканчиваться лишь на: 0, 1, 4, 5, 6, 9,
а последняя цифра числа 2015201620172018 - 8.
Поэтому x² ≠ 2015201620172018