Equations or Solutions Verification