Testing solutions to equations