If k has a factor of square number greater than 1, let t2∣k, t>1, then taking m=n=k−tk+1, we see that such k has the properties.
If k has no factor of square number, if there are two primes p1,p2 such that (p1−2)(p2−2)≥4 and p1p2∣k. Let k=p1p2⋯pr and p1,p2,…,pr be pairwise different, r≥2. Since there is at least one of (p1−1)p2p3⋯pr+1 and (p1−2)p2p3⋯pr+1 is coprime with p1 (otherwise p1 divides their difference p2p3⋯pr, which is a contradiction), taking this number as the number m, then, 1<m<k, (m,k)=1. Similarly, we can take a number n of (p2−1)p1p3⋯pr+1 or (p2−2)p1p3⋯pr+1 such that 1<n<k, (n,k)=1. So p1p2⋯pr∣(m−1)(n−1), and
m+n≥(p1−2)p2p3⋯pr+1+(p2−2)p1p3⋯pr+1=k+((p1−2)(p2−2)−4)p3⋯pr+2>k.
Such m,n will satisfy the conditions.
If there are no two primes p1,p2 such that (p1−2)(p2−2)≥4, p1p2∣k, then it is easy to verify such integer k≥3 can only be 15, 30 or as p, 2p (where p is an odd prime). It is easy to see that, if k=p,2p,30, then there are no m,n satisfying the conditions; if k=15, then m=11,n=13 satisfy the conditions.
Summing up, integer k≥3 satisfies the conditions if and only if k is not an odd prime, nor double of an odd prime and nor 30.