请高手指点：关于解方程组的两个问题

20wangz

附件是我最近要解的一个方程组。现在结果也能得出来，但我相信一定能有更简单的方法，请各位师兄指教。
问题主要如下：
（一）为了得到各未知数的解析式，只好把每个未知数又用附件中的方法一个个敲了一遍，后面为了代换，又这样做了一遍，有没有什么办法一下子能得到结果？比如，定义一个序列，如{1,2,2s,2R,3,4,5,5s,5R,H2,L2}，然后用循环或者别的什么方法直接得到结果？

（二）替换的时候Mathematica有时候似乎不能发现互为相反数的实例，如：我让它用a4代替xy-a1，但当式中出现a1-xy时，它似乎不知道以-a4代替。有没有解决的办法？