Testing subtraction and multiplication with a symbol