use std::io::*;

fn lower_bound<T: PartialOrd>(x: T, a: &Vec<T>) -> usize {
    let mut l: usize = 0;
    let mut r: usize = a.len();
    while r != l {
        let mid = (l + r) >> 1;
        if a[mid] < x {
            l = mid + 1;
        } else {
            r = mid;
        }
    }
    l
}

fn main() {
    let mut s: String = String::new();
    std::io::stdin().read_to_string(&mut s).ok();
    let mut itr = s.trim().split_whitespace();
    let n: usize = itr.next().unwrap().parse().unwrap();
    let m: usize = itr.next().unwrap().parse().unwrap();
    let k: usize = itr.next().unwrap().parse().unwrap();
    let op: char = itr.next().unwrap().parse().unwrap();
    let mut b: Vec<usize> = (0..m)
        .map(|_| itr.next().unwrap().parse().unwrap())
        .collect();
    let a: Vec<usize> = (0..n)
        .map(|_| itr.next().unwrap().parse().unwrap())
        .collect();

    b.sort();

    let mut ans = 0;
    if op == '+' {
        for i in 0..n {
            ans += m;
            if k >= a[i] {
                ans -= lower_bound(k - a[i], &b);
            }
        }
    } else {
        for i in 0..n {
            ans += m - lower_bound((k + a[i] - 1) / a[i], &b);
        }
    }
    println!("{}", ans);
}