Pythonでの連立不等式の解法について

Question

Pythonにて，関数M(x,y), K(x,y)及び定数x_1, y_1に対して以下の条件を満たす変数x_2, y_2の解集合の一部をsympy等を使って求めたい（サンプリングしたい）のですが，やり方がわからず困っております．

誠に恐縮ですが，どうかご回答いただけますと幸いでございます．
どうぞよろしくお願いいたします．