#include #include #define rep(i, a, b) for (ll i = (ll)(a); i < (ll)(b); i++) using namespace std; using namespace atcoder; typedef long long ll; __int128 gcd(__int128 a, __int128 b) { if (b == 0) return a; return gcd(b, a % b); } __int128 lcm(__int128 a, __int128 b) { return a / gcd(a, b) * b; } int main() { int n; ll ink; cin >> n >> ink; __int128 k = ink; __int128 lc = 1; rep(i, 0, n) { ll inx; cin >> inx; __int128 x = inx; lc = lcm(lc, x); lc = gcd(lc, k); } if (k == lc) cout << "Yes" << endl; else cout << "No" << endl; }