#include <atcoder/all>
#include <bits/stdc++.h>
#define rep(i, a, b) for (ll i = (ll)(a); i < (ll)(b); i++)
using namespace atcoder;
using namespace std;

typedef long long ll;

int main() {
    cin.tie(0);
    cout.tie(0);
    ios::sync_with_stdio(0);
    vector<int> a(4), b(4);
    rep(i, 0, 4) cin >> a[i];
    rep(i, 0, 4) cin >> b[i];
    int t;
    cin >> t;
    rep(i, 0, 4) t -= a[i] * b[i];
    cout << (t >= 0 ? "Yes" : "No") << endl;
}