Input interpretation
solve (P1 V1) T1 (P2 V2) T2 = 0 for T2
Result
T2 = 0