A Queso algebraic verification problem.