HS.C.32(+).a: Verify solutions to differential equations and use them to model real-world problems with and without technology.