Array claim exercises

The array `A` is indexed from `1` to `n`. Write a predicate saying that `A` is in increasing order.

or

The array `C` is indexed from `0` to `k-1`. Write a predicate saying that `C` is in strictly increasing order.

or

The array `H` is indexed from `0` and has `l` elements. Write a predicate saying that `H` is a palindrome.

or

The array `Delta` is indexed from `0` to `i`. Write a predicate saying that `Delta` contains number `2` at least once.

or

The array `u` is indexed from `2` to `n-1`. Write a predicate saying that `u` contains at least two different values.

or

The array `b` is indexed from `-1` to `m-1`. Write a predicate saying that the first element of `b` is not the smallest element of `b`.

or

The array `xi` is indexed from `3` and contains `M` elements. Write a predicate saying that every element of `xi` occurs at least twice in `xi`.

or

The array `i` is indexed from `2` and contains `a+1` elements. Write a predicate saying that some value in `i` occurs only once in `i`.

or

The array `x` is indexed from `-5` to `a`. Write a predicate saying that location `-3` of `x` contains number `2`.

or

The array `Gamma` is indexed from `-2` to `g`. Write a predicate saying that the first and last elements of `Gamma` are equal.

or

The array `A` is indexed from `1` and has `n` elements. Write a predicate saying that the element in location `2` is minimal in `A`.

or

The array `E` is indexed from `1` and has `n` elements. Write a predicate saying that a smallest element of `E` is in location `i`.

or

The array `P` is indexed from `0` and has `N+1` elements. Write a predicate saying that `P` is in increasing order up to location `k` (which must exist), and from then on in decreasing order.

or

The array `H` is indexed from `-1` to `l`. Write a predicate saying that `H` is otherwise in increasing order, but the entries in locations `i` and `j` (where `i < j`) are in wrong order.

or

The array `H` is indexed from `5` to `m+2`. Answer both of the next two questions before submitting.

Write a predicate saying that a smallest element of `H` is `2`.

Write a predicate saying that the smallest element of `H` is `2`.

or