Lo que recomiendo hacer es encontrar el denominador común antes de conectar, así:
Nodo A
V1−Vref _ _R2+V1−VXR1+V1−V2RF= 0
V1(R1R2+R1RF+R2RF) -V2R1R2−VX(RFR2) +Vref _ _RFR1= 0
VX(RFR2) =V1(R1R2+R1RF+R2RF) -V2R1R2+Vref _ _RFR1
Nodo B
V2−VXR3+V2−V1RF+V2−Vfuera _ _R4= 0
V2(R3R4+R4RF+R3RF) -V1R3R4−VX(RFR4) +VoRFR3= 0
VX(RFR4) =V2(R3R4+R4RF+R3RF) -V1R3R4+VoRFR3
desde
R4=R2 y _ _ R3=R1
=VX(RFR2) =V2(R1R2+R2RF+R1RF) -V1R1R2+VoRFR1
Luego conéctelo:
V1(R1R2+R1RF+R2RF) -V2R1R2+Vref _ _RFR1=V2(R1R2+R2RF+R1RF)−V1R1R2+VoRFR1
VoRFR1=V1(R1R2+R1RF+R2RF) +V1R1R2−V2(R1R2+R2RF+R1RF)−V2R1R2+Vref _ _RFR1
Estoy seguro de que puedes averiguar el resto.