Setup

x : = $\func$rand(1, 100)

y : = $\func$rand(1, 100)

z : = $\func$rand(1, 100)

a : = 10$\func$rand(1, 10)

d = ${\frac{{x+y+a}}{{3}}}$ - ${\frac{{y+z+a}}{{3}}}$

Condition: $\left(\vphantom{ x-z>0}\right.$x - z > 0$\left.\vphantom{ x-z>0}\right)$∧$\left(\vphantom{ d=\left\lfloor d\right\rfloor }\right.$d = $\left\lfloor\vphantom{ d}\right.$d$\left.\vphantom{ d}\right\rfloor$$\left.\vphantom{ d=\left\lfloor d\right\rfloor }\right)$