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