Patterns & Algebra Reasoning