\frac{x-y}{3} = \frac{5x-z}{2} \wedge \frac{5x-z}{2} = \frac{4y-z}{12} \wedge \frac{x-y}{3} = \frac{4y-z}{12}