Suppose 0 = -3*b + p - 4, 20 = -6b + b - p. Let d be (4 + (-1 - b))/2. Let s be ((-2)/4 - 0)-2. Solve -q = -s + d for q.
-2
Suppose i - 10 = 2*s, 0*i + 31 = 4*i - 5*s. Suppose i*w = -11 - 9. Let u be (1 - (-28)/(-10))*w. Solve -5*d = -2*d + u for d.
-3
Suppose 3*f - 12 = -f. Suppose 2*g + d - 1 = -11, 0 = -4*g + f*d - 30. Let x = g + 9. Solve -x*v = -5*v + 2 for v.
1
Suppose 0 = 2*v + 5*v - 21. Solve 2*x + v*x = -5 for x.
-1
Let q(a) = 4*a**2 - 2*a - 2. Let s be q(-1). Solve -2 = -s*m + 6 for m.
2
Suppose -4*x + 72 = -4*c, -5*x - 2*c = -3*c - 70. Suppose 0 = 3*z - u - x, 3*z = -2*z - 5*u + 15. Solve -a + z*a = 6 for a.
2
Let q(l) be the first derivative of l**2⁄2 + l - 2. Let p be q(5). Suppose 0 = 5*c - 0*c - 5*f - 20, 0 = -2*c + f + p. Solve 0 = c*a - 3 - 1 for a.
2
Let w = -7 + 6. Let a(z) = -11*z + 1. Let o be a(w). Suppose -4*x + 4 = 2*b, 3*x - o = -4*b - 4. Solve r = b - 6 for r.
-4
Suppose 1 = -j - 4*o - 1, 3*o = -3*j + 3. Solve 0 = 3*c - j*c for c.
0
Let h(v) = v**2 - v - 4. Suppose 2*q + 16 = 2*b, -q + 3*q + 8 = 0. Let d be h(b). Let f = 8 - d. Solve f = 2*s - 0*s - 10 for s.
5