The variety membership problem for two classes of non-finitely based semigroups is considered. It is shown that a finite semigroup S belongs to the variety generated by one of these non-finitely based semigroups if and only if S satisfies four certain equations that involve at most 2│S│+1 distinct variables.