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

Kreyszig-2.8.13-U (last edited 2010-12-18 05:27:01 by YASHWANTH)