Mathematical Lens: Linear Reasoning about Circles