#include #include #define REP_(i, a_, b_, a, b, ...) \ for (int i = (a), END_##i = (b); i < END_##i; ++i) #define REP(i, ...) REP_(i, __VA_ARGS__, __VA_ARGS__, 0, __VA_ARGS__) #define ALL(x) std::begin(x), std::end(x) using i64 = long long; template inline bool chmax(T &a, U b) { return a < b and ((a = std::move(b)), true); } template inline bool chmin(T &a, U b) { return a > b and ((a = std::move(b)), true); } template inline int ssize(const T &a) { return (int)std::size(a); } template std::istream &operator>>(std::istream &is, std::vector &a) { for (auto &x : a) is >> x; return is; } template std::ostream &operator<<(std::ostream &os, const std::pair &a) { return os << "(" << a.first << ", " << a.second << ")"; } template std::ostream &print_seq(const Container &a, std::string_view sep = " ", std::string_view ends = "\n", std::ostream &os = std::cout) { auto b = std::begin(a), e = std::end(a); for (auto it = std::begin(a); it != e; ++it) { if (it != b) os << sep; os << *it; } return os << ends; } template struct is_iterable : std::false_type {}; template struct is_iterable())), decltype(std::end(std::declval()))>> : std::true_type {}; template ::value && !std::is_same::value && !std::is_same::value>> std::ostream &operator<<(std::ostream &os, const T &a) { return print_seq(a, ", ", "", (os << "{")) << "}"; } #ifdef ENABLE_DEBUG #include "debug_dump.hpp" #else #define DUMP(...) #endif using namespace std; template T floor_div(T x, T y) { assert(y != 0); if (y < 0) x = -x, y = -y; return (x >= 0) ? (x / y) : ((x - y + 1) / y); } // Etended Euclidean algorithm. // Returns [g, x, y] where g = a*x + b*y = GCD(a, b). // Note that g, x, y can be negative. std::array ext_gcd(i64 a, i64 b) { if (b == 0) return {a, 1LL, 0LL}; auto res = ext_gcd(b, a % b); // = (g, x, y) res[1] -= (a / b) * res[2]; std::swap(res[1], res[2]); return res; // = (g, y, x - (a/b)*y) } std::optional> linear_diophantine(i64 a, i64 b, i64 c) { auto [g, x, y] = ext_gcd(a, b); if (g < 0) { g *= -1, x *= -1, y *= -1; } if (c % g != 0) return std::nullopt; a /= g, b /= g, c /= g; x *= c, y *= c; auto m = floor_div(x, b); x -= m * b; y += m * a; assert(0 <= x and x < b); return std::array{x, y}; } auto solve() { i64 n, a, b; cin >> n >> a >> b; if (gcd(a, b) != 1) return false; if (a < b) swap(a, b); auto res = linear_diophantine(a, b, 1); if (!res) return false; auto [p, q] = *res; return n >= 1 + p * a; } int main() { ios_base::sync_with_stdio(false), cin.tie(nullptr); int t; cin >> t; REP(i, t) cout << (solve() ? "YES" : "NO") << "\n"; }