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