Simplify -12<=44+x