MathCheck Array Claim Problem 9 / 15

The array `x` is indexed from `-5` to `a`. Write a predicate saying that location `-3` of `x` contains number `2`. array_claim x[-5...a] f_nodes 20 a >= -3 /\ x[-3] = 2 <=>

end_of_answer next_URL https://math.tut.fi/mathcheck/array_claim10.html

or