A Flawed Dataset for Symbolic Equation Verification