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!

Download Big_ODE_Problem.mw