Input interpretation
solve i (P r t) = 0 for R
Result
False