Let a polynomial with integer coefficients be nice if
- this polynomial has integer roots;
- its derivative has also integer roots.
is the smallest known nice cubic polynomial. Smallest here means a polynomial with the smallest absolute value of the largest coefficient ($9times24=216$). But how to verify with the help of MA that there are no smaller ones?