The Sylvester resultant-eliminant theory is introduced combining with mechanism synthesis of body-guide linkages. The universal program is complied with Maple8.0 language combining the characteristic of non-linear equations of mechanics and a uni-variable equation with four degrees is obtained and so on the symbolic solutions. A example is given and all solutions are obtained.