Simplify y-3/3+12