Interpret in intervals, the test (x==12/y+z),
starting from x=[0,8], y=[1,3], z=[-2,2].