Input interpretation
solve (M x) B = 0 for Y
Result
False