Simplified Hash Function

What is this? This is an algebraic representation of the first round of the Blake2b hash function minus the rotations. All message words are constant except m[4], and constant values are "folded".

A question one may ask is; for what value of m4 are these two expressions equal and hence xor to zero?

v0 v7