Fix ImplicitEquation answer checker in part b.

Change the domain of function evaluation and provide some exact solutions to check in part b.