问题描述

给定一个数 $n$ ，能否把他恰好拆解成 $m$ 个连续非负整数相加的和，如果可以输出 YES , 否则输出 NO.

连续的非负整数：即，如果将这些整数从小到大排好序后存入 $b$ 数组，则第一项大于等于 $0$，且对于任意 $i (1 < i \leq m)$，都有 $b_i = b_{i-1} + 1$。

输入格式

每个测试文件均包含多组测试数据。第一行输入一个整数 $T (1 \leq T \leq 10^6)$ 代表数据组数，每组测试数据描述如下：

在单独的一行输入两个空格分割的正整数 $n, m (1 \leq n \leq 10^{18}; 1 \leq m \leq 10^9)$，表示小可给定的正整数。

题目的输入和输出较多，请使用较快的输入和输出，如 $scanf$ 和 $printf$ 。

输出格式

对于每组测试数据： 如果可以将 $n$ 分解为 $m$ 个满足题意的非负整数，则在单独的一行输出 YES，否则输出 NO。

样例输入

3
3 2
9 3
8 2

样例输出

YES
YES
NO

数据范围