4*j
is used at two places- so common subexpression elimination is possible
i%2
is loop invariant for the inner loop
5*i is also loop invariant for inner loop
x += 5*i
can be replaced by
x += p;
p +=5; (p must be initialized to 0 before the loop).
Thus replacing * with + gives strength reduction.
So, only (D) is false here.