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

xiannvjiejie

情况如下：a=x+5;
b=2y-6;
( h/ w9 \5 [2 v$ r/ r  s( I; ]a=b;
基于上述条件，怎么实现下面的变换：
3 c0 [, ?1 k" c) Q1、y=x/2+11/2;
6 Y" k5 U* r6 ^7 k2、x-2*y+11=0
" l6 q9 @$ g9 J, G6 U, g# N* p( }

somethingabc

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