Solvability of Ax = b

A system Ax = b is solvable exactly when b is in the column space of A, which can be checked by verifying that any combination of rows producing the zero row also zeroes out the corresponding components of b.