#include <bits/stdc++.h>

using namespace std;

#ifdef LOCAL
#include <debug.hpp>
#else
#define debug(...) void()
#endif

map<long long, long long> factor_map;

void factor2(long long n) {
  for (long long i = 2; i * i <= n; i++) {
    if (n % i == 0) {
      long long ex = 0;
      while (n % i == 0) {
        ex++;
        n /= i;
      }
      factor_map[i] += ex;
    }
  }
  if (n != 1) factor_map[n]++;
}

vector<pair<long long, long long>> factor(long long n) {
  vector<pair<long long, long long>> res;
  for (long long i = 2; i * i <= n; i++) {
    if (n % i == 0) {
      long long ex = 0;
      while (n % i == 0) {
        ex++;
        n /= i;
      }
      res.push_back({i, ex});
    }
  }
  if (n != 1) res.push_back({n, 1});
  return res;
}

int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  int n, h;
  cin >> n >> h;
  while (n--) {
    int a;
    cin >> a;
    factor2(a);
  }
  auto f = factor(h);
  debug(factor_map, f);
  for (auto&& [p, ex] : f) {
    bool ok = false;
    for (auto&& [ph, exh] : factor_map) {
      if (p != ph) continue;
      if (exh >= ex) {
        ok = true;
        break;
      }
    }
    if (!ok) {
      puts("NO");
      return 0;
    }
  }
  puts("YES");
  return 0;
}