How do you solve #-273> -13z#?