Mathematical Explorations: Reasoning with Algebraic Contexts