Translate the given statement symbolically then simplify.

three subtracted from four:

Translate:  

Simplify: