Find and use nth terms of decreasing linear sequences, where a negative common difference gives forms like 23 − 3n; generate terms, find where the sequence turns negative, and test membership. Both tiers under A25's linear sequences; the sign of the constant is the mark to protect. (A25)