I am wondering what the heirarchy is for dividing such a thing. Suppose that the first equation is long and needs to be divided one or more times. Wouldn't logic dictate that the "expression" should be divided also at the level of the second separate equation, since that is of a higher order even than a sign of comparison?