kill(all)$

van=facebook.com/LearningCalculus$

x=(%pi+3)/2;

2*%;

%*(%pi-3);

ratsimp(%);

solve(%,x);

float(%);

    :False Relation at Step 5

9-6*x=%pi^2-2*%pi*x;

solve(%,x);