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