Sorry for the vagueness, and thank you all for the help you have already provided. I will do my best to clarify some things.
First, it is a symbolic solution to a sixth order differential equation. Second, the difficulty for Maple seems to be in simplifying the expression because even when I use the simplify(RHS-LFS) method, it doesn't seem to get anywhere. Granted I haven't tried letting it run for 15 hrs yet, but it looked to be doing the same thing as the other method was doing. I have attached a Maple worksheet of what I am doing. Everything validates for x very quickly if I don't enter the assignments for d_0, d_2, d_4, F, and B_1 through B_3. Ultimately, the differential equations I'm solving are decoupled from the last three differential equations, so I also need to be able to show that my solution satisfies these equations. No matter what I do, it takes forever.
One other thing, when I do tracelast, it returns this massive thing which looks like it's probably what I'm asking it to test the equivalence of with some sort of operations that I don't understand. Also, I haven't had a whole lot of time to mess with odetest, but in the time I have spent with it, I haven't been able to get it to work correctly. Maybe now that the actual file is posted, you'll be able to help more. Thanks again for all the help!