Предполагая, что вас интересует только решение уравнения с симпатией или недопустимостью и не обязательно ограничивать себя linsolve, вот рабочий код.
from sympy import *
sig = symbols('sig')
eq = Eq((sig * (-3)) + ((1 - sig) * 1), (sig * 2) + ((1 - sig) * 0))
solveset(eq, sig)
Одна проблема с вашим кодом состоит в том, что возвращаемое значение символов (['sig']) - это не символьный объект Sympy, а python список , содержащий один такой объект, поэтому вы не можете использовать его для построения Симпатичные выражения.