Is #sqrt3 = -sqrt3# ?