solve (integrate 3x**2-24x+44 from 1 to c) = 15 for c