solve [1-0.05*(x-y-1)]*z < [1-0.05*(x-(y-3)-1)]*(z+6) for x