Slopes are strictly decreasing. When we add lines in order , each new line has a smaller slope than all previous. Lines are added to the deque in decreasing slope order. For queries: we need values. The problem states (increasing).
So queries are sorted too. Both conditions met: sorted slopes (decreasing) and sorted queries (increasing). The simple deque CHT applies directly.