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