QR.DMR: Discrete Mathematical Reasoning (DMR)