solve [1-0.05*(x-y-1)]*z < [1-0.05*(x-(y-4)-1)]*(z+8) for x