When does Ax = b have at least one solution? · QuantMax