MAYBE 2.2 plus x plus y z plus plus x y z plus x y plus y x times x y times y x times x times y z times times x y z times x times y z times times x y z times x times y z times x y times x y times y x plus x plus y z plus plus x y z plus x y plus y x plus x plus y z plus x y times s x y times x y div div x y z div x times y z quot s x s y z quot x y z plus s x y plus x y div x y quot x y y div div x y z times y z quot x 0 s z div x s z times s x y plus y times x y plus plus 0 y _1 plus y _1 times times s x y _1 times plus y times x y _1 times times s 0 y _1 times y _1 plus plus s x y _1 plus s plus x y _1 plus plus x 0 _1 plus x _1 times times 0 y _1 times 0 _1 div x y quot x y y quot s x s y z quot x y z div div x y z div x times y z quot x 0 s z div x s z true 1 div 2 1 0 s 1 1 1 plus 2 0 div 2 1 2 1 times 2 0 0 0 2 quot 3 0 times 2 1 plus 2 1 2 1 quot 3 1 0 div div x y z div x times y z quot s x s y z quot x y z div x y quot x y y quot x 0 s z div x s z true 2 1 div 2 0 1 1 1 2 1 0 s 1 1 1 plus 2 0 0 div 2 0 0 times 2 0 0 0 0 1 3 quot 3 0 0 times 2 0 0 plus 2 0 0 quot 3 0 1 1 1 2 0 0 quot x 0 s z div x s z div x y quot x y y div div x y z times y z false times x times y z times x y times x times y z times times x y z times x y times y x times s x y times x y true Failed! NaTT 1.7