#include"bits/stdc++.h"
#include"atcoder/all"
#define chmin(x,y) (x) = min((x),(y))
#define chmax(x,y) (x) = max((x),(y))
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define vec vector
#define all(a) a.begin(), a.end()
#define pb push_back 

using namespace std;
using namespace atcoder;
using ll = long long;
using ld = long double;
const ll mod = 998244353;
using mint = modint998244353;
using Graph = vector<vector<pair<int,ll>>>;
const vector<int> dx = {1,0,-1,0}, dy = {0,1,0,-1};

int main(){
	// input
	vector<pair<ll,ll>> A(4);
	ll T;
	const int N = 4;
	rep(i,N){
		ll a; cin >> a;
		A[i].second = a;
	}
	rep(i,N){
		ll a; cin >> a;
		A[i].first = a;
	}
	cin >> T;
	sort(all(A));
	
	ll tot = 0;
	rep(i,N) tot += A[i].first * A[i].second;
	cout << (tot <= T ? "Yes" : "No") << endl;
}