A worked example
Simplifying 45:60 divides both sides by their greatest common divisor, 15, giving 3:4. For a proportion like "if 3 workers take 12 days, how many days for 4 workers" (solved differently, but structurally similar to 3:12 = 4:?), the Solve mode cross-multiplies and divides automatically — (12 × 4) ÷ 3 = 16 — without you needing to set up the cross-multiplication by hand.