simple arithmetic expressions over variable mappings (with randomness!)