如何将两个相等的表达式合成一个新的表达式

xiannvjiejie

情况如下：a=x+5;
* ?6 V; b0 M6 E. |b=2y-6;
* }# O, L$ i- j6 e" h5 I  ta=b;
基于上述条件，怎么实现下面的变换：
& L* j0 K+ v  [5 c+ S( @3 l1、y=x/2+11/2;
1 W# [+ m' Y/ T2、x-2*y+11=0
: I# C* `, Z* g+ V& o) ^: \& ]

somethingabc

1式与2式，不是一模一样的吗？
1式中，把y移到右边再放大2倍（乘2