The general solution for solvefor c,x^2-2-3xcos(x)=0 is True for all x;\\quad x^2-2-3xcos(x)=0