Are transactions verified before miner solves the block?
So are all transactions that will be included in the next block already determined before the block is found?


Yes. Once the block has been mined, the miner cannot change which transactions are in the block without redoing his work.