var ('y,b,c')
y=3*x*cos(2*x)
b=diff(y,x,2)+4*y
c=-12*sin(2*x)
bool(b == c)