gpm:integerArithmetic
A / B;A = B * C;2 < B < 10;2 < C < 10;
A / B;A = B * C;3 < B < 8;5 < C < 12;