普段はC++を使っているのにPythonを使ったあなた。

そういう日もありますね。

もし気が向いたら、多倍長整数型を使わずに解いてみてください。結構面倒ですよ。

多倍長整数を使わない解法

まず$A \leq B$ となるようにswapします。そのうえで4通りに場合分けを行いましょう。

以下、64ビット整数型の表せる最大値をMAX、最小値をMINと書きます。

$A=0$ または $B=0$

$AB = 0$なので、答えはYesです。

$A>0$ かつ $B>0$

式変形をすると $A \leq \lfloor \cfrac{MAX}{B} \rfloor$ を満たすならYes、そうでないならNoを出力すればよいとわかります。

$A<0$ かつ $B<0$

式変形をすると $A \geq \lfloor \cfrac{MAX}{B} \rfloor$ を満たすならYes、そうでないならNoを出力すればよいとわかります。

$A<0$ かつ $B>0$

式変形をすると $A \geq \lceil \cfrac{MIN}{B} \rceil$ を満たすならYes、そうでないならNoを出力すればよいとわかります。