You can find the answer to every preptest here:
http://lsatblog.blogspot.com/2010/04/ls ... -exam.htmlThe handwritten global diagram is correct. The original post at the top is the exact same as the handwritten one, although there is better spacing with the tree.
A global question stem in a sequencing game will usually simply test our ability to read the tree diagram. If you need help with how to go through that, I will be happy to do so, but for now I will go through the problems as if you know how to.
#17, a global must be true, will test our ability to read the global diagram.
A) We have no lines before K, so this could be false.
B) Only one variable must come after G, so this could be false.
C) Must be true. H has to come prior to M, L, G, and O at least.
D) Only three variables must come after J, so this could be false.
E) Only three variables must come before M, so this could be false.
For #19, we want to plug in the local information and make inferences to determine what must be false (could be true except means we are hunting for an answer that must be false).
Below is what I have inferred when H is fourth. An explanation will follow it.

With H being fourth, we want to first determine from our global diagram that we started with at the beginning how many variables must follow H. We know we have four. Look to our local setup, we have exactly four slots that follow H at fourth. This means that all of those variables will occupy those slots and only those variables. And we know that there is an order to those variables, M-G-O. We also know that L follows H, so L is going to be a floater. Wherever we place H in slots 5-8 will guarantee it follows H. And L has no rules governing its placement other than that.
What about the other variables? Well, we know they will be preceding H in this scenario. What variables are indeed left? N, J, and K. The only rules governing these variables are that they are to precede the variables that are now located in the 5-8 slot area, so no matter how we place these variables, it will be a guarantee that they will precede those variables. So they now act as floaters.
Answer choice (A) must be false. K could never be fifth.