Algebra Proofs - Search