false in case of overflow or incorrect string. Precondition: non-empty coefficients
See Implementation