Develop derivations around conditions
R1 is suitable for mathematical and logical problems requiring multi-step solutions. When entering a problem, you can also specify known conditions, variable definitions, and the conclusion you want to verify, so the response develops around these constraints. For problems with branches or implicit assumptions, asking it to discuss each case separately makes verification easier than requesting only a final numerical value.
