#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll = long long;
using ld = long double;

ll N, H, g, A[202020], h[202020];

ll gcd(ll a, ll b) {
  if (b == 0) return a;
  return gcd(b, a % b);
}

int main() {
  cin >> N >> H;
  for (int i = 1; i <= N; i++) cin >> A[i];
  h[0] = H;
  for (int i = 1; i <= N; i++) {
    h[i] = h[i - 1] / gcd(A[i], h[i - 1]);
  }
  cout << (h[N] == 1 ? "YES": "NO") << endl;
  return 0;
}