The question is equivalent to asking for existence of a prime number $A$ (larger than $p$) such that $A + (q-p)$ is not prime. In fact, almost all primes satisfy this condition; the number of primes $A$ up to $x$ is about $x/\log(x)$ while the number with both $A$ and $A+k$ prime is $O(x/(\log x)^2)$, for any fixed integer $k$. The latter estimate is an upper bound and can be proved by Brun's sieve. Proving a nontrivial lower bound is a variant of the twin prime conjecture.
You can see here the tradeoff between the strength of the method of proof, and the density of the set of primes constructed.
The quantitative twin prime and prime k-tuples conjecture implies that the fraction of primes less than $x$ satisfying the conditions is $1 - C_k / \log(x) + o(1/\log x)$, for an explicit rational number $C_k$ calculable from $k$.
Sieve theory shows that the fraction is $1 - o(1)$, and actually at least $1 - \frac{c}{\log x}$, for a larger constant than the one from the prime k-tuplet conjectures. This is the correct magnitude for the error term, but with the wrong constant.
Factorial or "primorial" constructions of arithmetic progressions of intervals of composite numbers (in which $A$ is chosen to be the nearest prime to the interval) capture almost all primes. This fact implies, and is implied by, the statements whose proofs use sieve theory, so is no easier to prove. The error term is of the same type, $O(1/\log x)$ with non-optimal constant.
Dirichlet's theorem shows that the fraction is positive and at least $1/\phi(p) + o(1)$.