Let w = 11 + -11. Solve -a - 4 = -w*a for a.
-4
Let p = -1 + -6. Let l(z) = z + 7. Let x be l(p). Solve 5*d = -x + 20 for d.
4
Suppose 5*k = 6*k. Suppose -4*z = -k*z - 20. Solve 5 = -0*u + z*u for u.
1
Let q = 2 + 4. Suppose -q*t + 25 = -11*t. Let c(j) = -j3 - 6*j2 - 7*j - 7. Let k be c(t). Solve -5*h - 6 = -k*h for h.
-3
Let k(u) = u**2 + 3*u - 1. Let a be k(-4). Suppose -2*l + a*c = -l, -72 = -5*l - 3*c. Solve 2*g + l = -g for g.
-4
Let t be (12/(-5))/((-10)/25). Suppose -2*i + t*i = 56. Solve -4*b - i - 2 = 0 for b.
-4
Let m(s) = 6*s2 + 3*s - 3. Let r be m(-3). Let y(i) = i3 + 5*i**2 - 4*i - 2. Let p be y(-4). Let o = r - p. Solve -o = 2*x - 2 for x.
-5
Let w be 1/(0 + -1) - -2. Suppose -2*g + 0*g = 0. Let h be (g + -1)/(1/(-9)). Solve -w - h = 5*i for i.
-2
Suppose 0 = 2*g - q - 9, 3*g + 3*q = -0g - 9. Let y be (-1 - 1)-1*g. Suppose 2*p = -w + 19, 3*w - 5*p = 86 - 29. Solve y*a = -1 - w for a.
-5
Let j = 10 - 5. Solve j*a = 11 - 1 for a.
2