Can sympy calculate the probability from a piecewise joint pdf?

Question

I am trying to solve this problem in sympy:

I thought the sympy.stats module might have something to help get at the answer without me having to