The symbol for negation in SMTLib1 is ~ not -

Curiously enough only MathSat5 complains about this.