horner problems solved