这问题其实涉及两个层面：Python的语法规则，以及SymPy中Eq类的设计逻辑，我帮你一步步理清楚：

先看报错的核心原因 #

你写的c_eq2=Eq(I1-I2=I4+I5)里，I1-I2=I4+I5这部分在Python语法里是非法的。因为在函数调用的参数列表中，=是用来定义关键字参数的（比如print(value=10)），但I1-I2是一个表达式，不能作为关键字参数的名称——Python不允许用表达式当关键字参数的键，所以直接抛出了SyntaxError: keyword can't be an expression的错误。

而正常运行的c_eq2=Eq(I1+I2-I4-I5,0)是完全符合规则的：SymPy的Eq是一个构造等式对象的类，它要求传入两个位置参数——等式左边的表达式，和右边的表达式。这里I1+I2-I4-I5是左边，0是右边，等价于数学上的I1+I2-I4-I5=0。

SymPy输入等式的关键限制 #

结合这个例子，总结几个SymPy中创建等式的核心规则：

• 绝对不能用Python的=来写等式内容：Python的=是赋值运算符，不是数学里的相等符号。要表示数学上的相等，必须用Eq(left_expr, right_expr)，或者直接用SymPy支持的==运算符（比如I1+I2 == I4+I5，这会自动创建一个Eq对象）。
• Eq的参数必须是合法的SymPy表达式：传入的左右两边都得是SymPy的符号、数字、或者由它们组合成的运算式，不能是字符串、普通Python变量（除非先转换成SymPy类型）。比如Eq("I1+I2", 0)会报错，因为字符串不是SymPy表达式。
• 不要嵌套等式写法：比如Eq(I1 == I2)是多余的，因为I1 == I2已经是一个Eq对象了，直接用这个对象就行，不需要再传给Eq构造函数。
• 遵守Python运算优先级：写复杂表达式时，要确保运算顺序符合预期，必要时加括号。比如Eq(I1 + I2*3, I4)和Eq((I1+I2)*3, I4)是完全不同的等式，别漏了括号。

补充几个正确的写法示例 #

和你原来的需求等价的正确写法有三种：

# 写法1：移项后把右边设为0
c_eq2 = Eq(I1 + I2 - I4 - I5, 0)
# 写法2：直接写左右两边的相等关系
c_eq2 = Eq(I1 + I2, I4 + I5)
# 写法3：用==运算符直接创建等式
c_eq2 = I1 + I2 == I4 + I5

这三种写法创建的都是同一个等式对象，在后续的解方程、化简等操作中表现完全一致。

内容的提问来源于stack exchange，提问作者David542