Tag:

15 + t2 and r2(s) = 5 − s