Let a(k) = 11*k**2 + k. Let t be a(-1). Let h = -8 + t. Solve -h*d - 1 + 11 = 0 for d.
5
Suppose 2*r + 5*k - 10 = 0, 2*r + k - 20 = -2*r. Solve r*y = -5 + 20 for y.
3
Let v = 9 + -9. Solve 2*x + v*x - 10 = 0 for x.
5
Let s = -34 + 36. Solve -s*d - 5 - 5 = 0 for d.
-5
Suppose -5*k + b - 46 = -166, 0 = 5*k + 3*b - 120. Suppose 0 = -0*g - 3*g + 3*u + k, 3*g - 2*u = 23. Solve -g*z = -3*z - 12 for z.
3
Let h = 1 + -2. Let v = 1 + h. Let l(t) = -2*t - 9. Let z be l(-7). Solve 6*c - c + z = v for c.
-1
Let q = -14 + 15. Solve 2*z = q + 7 for z.
4
Let b = -39 + 55. Suppose 0 = i - 2*c - 6, 0 = -5*i + 5*c - 2*c + b. Solve -i*r + 2 = -0*r for r.
1
Suppose -4*h - 5*z = -1 + 14, 0 = -3*h - z + 4. Let o(y) = y - 9. Let v be o(9). Solve v = -h*i - i for i.
0
Suppose 12 + 12 = 4*c. Let w(a) = -a**2 - 11*a - 7. Let l be -4*3 + 0 + 2. Let b be w(l). Solve b*r = -0*r + c for r.
2