var ('y,b,c')
y=x*exp(x)
b=diff(y,x,2)-y
c=2*exp(x)
bool(b == c)