Linear ODE Solution Checker