Решение 1:   Назовём хорошим многочлен, у которого все коэффициенты равны 0 или 1. Заметим, что произведение хорошего многочлена степени n на многочлен  x^m + 1,  где  m > n,  снова является хорошим многочленом. Начав с многочлена  x + 1  и домножив его таким образом на 2019 многочленов вида  x^m + 1  с нечётными m, мы получим хороший многочлен f(x), делящийся на многочлен  (x + 1)²⁰²⁰.  Итак,

f(x) = (x²⁰²⁰ + 2020x²⁰¹⁹ + ... + 1)(x^k + ax^k–1 + ... + 1).  Второй коэффициент многочлена f(x) равен  2020 + a,  и он не больше 1, поэтому  a ≤ –2019.

Решение 2:   Рассмотрим многочлен 18-й степени  h(x) = (x + 1)⁴(x² + x + 1)(x⁴ + ... + 1)(x⁸ + ... + 1)  и многочлен  g(x) = h(x)(x¹⁸ + ... + 1).  Легко видеть, что коэффициент при x¹⁸ многочлена g(x) равен сумме коэффициентов многочлена h(x), то есть  h(1) = 2⁴∙3∙5∙9 = 2160 > 2015.

  Произведение  g(x)g(– x) = (1 – x⁶)(1 – x¹⁰)(1 – x¹⁸)(1 – x³⁸)  по тем же соображениям, что и в решении 1, будет иметь коэффициенты, по модулю не превышающие единицы.

Существуют.