# Answer check for y'=y+2x # Basic maple engine ans:=-2*x-2+c*exp(x); LHS:=diff(ans,x); RHS:=subs(y=ans,y+2*x); simplify(LHS-RHS); # zero if it works # Answer check for y'=y+2x # Maple library function odetest ans:=-2*x-2+c*exp(x); de:=diff(Y(x),x)=Y(x)+2*x; odetest(Y(x)=ans,de,Y(x)); # zero if it works # ?odetest