8 + 4)) + (0 - -1). Suppose -12 = -2*k + 2*a, 3*k - 15 - 7 = 5*a. Solve 0 = d - 4*m + t, 0 = k*d + 5*m + 4 - 1 for d.
-2
Suppose 2*s + 5*u = 43, 0 = 2*s - 0*u - 4*u + 2. Suppose 0*d + r = 2*d - s, -2*d - 4*r - 16 = 0. Solve -2*j = -d*i + 4, -i + 3 = 2*j + 4*i for j.
-1
Let p(o) = -o**3 - 23*o**2 - 22*o + 4. Let z be p(-22). Let y = 8 - z. Solve -v = q + 5, 0 = y*q - 5*q + 2*v + 7 for q.
-1
Let p(f) = f**3 + 3*f**2 - 1. Let a be p(-2). Suppose a*j + 2 = 4*j. Let r be 0/((-1 - j)/(-1)). Solve r*s - 3*s = -3*h + 15, 3*s = -15 for h.
0
Let p(r) = -r**3 - 63*r**2 - 65*r - 176. Let o be p(-62). Solve -j - z = 2, 7*z + o = -5*j + 4*z for j.
-2
Let d be (62/6 + 1)*3. Suppose -3*h = -8*h + 30. Let m(q) = -q**2 + 10*q - 22. Let g be m(h). Solve -g*x + 5*f + 3 - d = 0, x - 2*f + 13 = 0 for x.
-3
Let m(p) = 4*p + 13. Let s be m(-5). Let w = 17 + s. Solve 0 = 3*j + 2*q + w, 8*j = 3*j + 4*q + 20 for j.
0
Suppose 165 = 8*w + 25*w. Solve 4*a = -2*x + 6, 3*a - 6 = 2*x - w*x for a.
1
Let y(w) = -20*w - 4 - 19*w + 42*w. Let o be y(4). Solve -3*x + 20 = -o*x + m, -12 = 3*x - 5*m for x.
-4
Suppose 0 = 10*t - 234 + 194. Solve -2*x - 3*h = 7, 22 = -t*x + h + h for x.
-5
Suppose -25 = -5*r + 5*a, 51 - 37 = r - 4*a. Solve -2*q + 2 = -r*l, -4*l - 5 = q - 4*q for q.
-1
Let q = 263 - 261. Solve 5*s + q*t + 14 = -5, -2*s - 10 = 2*t for s.
-3
Let w = 1 + -8. Suppose -9*g - 31 = 77. Let k = w - g. Solve 2*i + 2 = -b - 3, -4*i - 31 = -k*b for b.
3
Let k be 159/9 - 6/9. Let j = k - 12. Solve j = -5*x + 6*y - y, -3*y + 1 = -4*x for x.
2
Let p(n) = -n - 5. Let f be p(-5). Suppose f = -d + 3*d - 16. Let b = -6 + d. Solve 0 = 4*o + b*x - 14, -3*x = -3*o - 2*x - 2 for o.
1
Let r be -23*3/(1 - 4). Suppose -r = v + 25. Let a be (-2)/3 - 176/v. Solve -x - a*h = x - 13, 4*x = h + 5 for x.
2
Let n be 5/((-10)/16) - -4. Let k = n + 14. Solve -2*j + 0*c = 2*c - 4, 4*c = 5*j - k for j.
2
Suppose 14 = -0*r - 2*r - 5*t, -2*r + 26 = -5*t. Solve 4*k - 4*c = 16, 3*k + r*c + c = 12 for k.
4
Suppose 0*i - i - 376 = 5*w, 5*w = 3*i + 1208. Let k be (-4)/26 - i/39. Let f be ((-6)/(-9))/(k/45). Solve -p - 5*j + f = -0*p, 2*p = j - 5 for p.
-2
Let w(k) = 5*k. Let b be w(2). Suppose -j - j = -b. Solve -3*a = -5*p - 11, -j*a - 2*p = 5 - 13 for a.
2
Let w(r) = r**3 + 9*r**2 + 2*r + 18. Let x be w(-9). Solve 0 = 3*f - y + 9, y = 5*f + 13 - x for f.
-2
Suppose 0 = -18*z + 17*z + 3*q - 6, -3*z + 3*q = 0. Solve -3*y - 4*g + 2 = 0, -y + z*g + 7 = y for y.
2
Let a = -14 + 6. Let w be 4/(a/5)*-2. Suppose 2*k = 3 + 5. Solve -5*g + 19 = 4*o, -w*o - k*g + 13 = -4*o for o.
1
Suppose 7*j - 144 = 19*j. Let y = 23 + j. Solve u = -u - w - y, 3*u - 4*w = -11 for u.
-5
Let t(b) = 29*b**2 + 2*b - 1. Let q be t(1). Suppose -q = -6*z + 3*z. Let c = -5 + z. Solve a + 2*a - 5*x - 37 = 0, -21 = a + c*x for a.
4
Suppose -48 = -5*f + 52. Suppose j - 3 = -4*x + 17, -4*j = -4*x + f. Solve 5*s = -x*q - 15, -2 - 3 = -5*s for q.
-4
Let p(l) = l**2 + l. Let u(s) = 3*s**2 + 2*s + 5. Let w(j) = 6*p(j) + u(j). Let y be w(-2). Solve -5*r + y = 0, 0*x + 3*r = x + 15 for x.
0
Suppose -4*q + 2*q - 4*t = -2, 4*q - 4 = 2*t. Let y = -21 + 27. Let x be (2/y)/(q/9). Solve 2*o = 5*z - 4*z + 14, -x*o - 3*z + 3 = 0 for o.
5
Let d = 3716 + -3711. Let w be 18/10 - 2/(-10). Solve -d*u = -5*t - 30, 0 = 3*u - 2*t - w*t - 19 for u.
5
Let a(n) = n - 7. Let q be a(10). Let d(t) = t**2 - t + 7. Let r be d(q). Solve b - g = 3, 2*b + 3*g = -r - 1 for b.
-1
Let h(t) = -t**2 - 18*t - 20. Let p be h(-15). Suppose 0 = k + 4*k - p. Suppose 3*l - 8 = -2. Solve 3*a = -k*u + 4, -l = -a - 4*u + 2*u for a.
-2
Let f = 742 + -739. Solve -q + 5 = l + 2, f*l - 9 = -2*q for q.
0
Suppose 0 = -4*c + 5*j - 79 + 14, c - j + 15 = 0. Let y = c - -13. Suppose -2*z - 3*o = -7, -17 = z - 2*z + y*o. Solve -2*w + g + 3 = 12, w - 4*g = -z for w.
-4
Suppose -34*m = -113*m + 790. Solve 5*r + 2*s + 5 = 3, -r + 2*s = m for r.
-2
Let h be 333/27 - 24/(-36). Solve l + 1 = 4*b + h, b = l for l.
-4
Suppose 17 = -2*j + 25. Let q be (-10)/(-15) + 73/3. Suppose -4*g = -6*g + 30. Solve -q = 3*y + r + j*r, -y = 3*r + g for y.
0
Let n(u) be the first derivative of -u**4/4 + 5*u**3/3 - 2*u**2 + 6*u + 28. Let b be n(3). Solve d - 2*a - b = -6*a, 3*d + a - 3 = 0 for d.
0
Suppose f + 41 = -1. Let o = f + 54. Let c be ((-1)/2)/(1/(-4)). Solve -5*x + 0*x = b - 14, o = 2*b + c*x for b.
4
Suppose 7 = -v + 8. Let z = 3 - v. Solve 8 = -2*t - n, -z*n = t + 3*n - 5 for t.
-5
Let q = 477 + -475. Solve 2*j - q*z - 8 = 0, -3*j - 2*z + 7 + 5 = 0 for j.
4
Let b be -2*(2 + -1) - -2. Suppose k + 5 = 0, 2*a + 37 - 11 = -2*k. Let d be a/(-14)*14/4. Solve i = -4*u + d, b*i + i = -2*u + 2 for u.
0
Let f = 2468 + -2461. Solve 5*q = -l + 2, 2*q - 31*l = -34*l - f for q.
1
Let b(s) = s**2 + s - 1. Let z be b(2). Let n(c) = -c**2 + 9*c - 17. Let r be n(z). Solve -r*g - 1 = d - 12, -5*g = d - 15 for g.
2
Let b(r) = -15*r + 4. Let a be b(0). Solve a = 2*n + c, 7*n - 2*n = -c + 16 for n.
4
Suppose -4*w + 168 = -5*z, -w - 3*z - 16 = -75. Let i = -45 + w. Solve -n = -i*t, -n + 4*n + 2*t = 8 for n.
2
Let r(s) be the third derivative of -s**4/24 + 6*s**3 + 16*s**2. Let w be r(22). Solve 18 = -3*u - 5*n + 2, -2*u - 5*n = w for u.
-2
Let d be (-276)/(-30) - (-3)/(-15). Let y = d - 9. Let z be y + -1 + 3 + 3. Solve -g + z = -l, -3*g = 4*l - 0*g + 20 for l.
-5
Suppose -2*l + 5 + 4 = r, -4*r + 36 = 4*l. Let c be (0 + 3)/(0 + r/15). Let h = -2 - -5. Solve 10 = d - c*z, 0 = 3*d - 4*z + h - 0 for d.
-5
Let l = -243 - -243. Solve 3*m = -3*f - 0*m, l = 4*f - 3*m - 28 for f.
4
Let j(w) = -w**2 - 4*w + 5. Let r be j(-5). Suppose -z = -r*z - 5. Let b = -57 + 60. Solve -7 = -k - 3*h, b*k - 3*h = -8*h + z for k.
-5
Let i = 16 - 16. Let t be (4 + -3 - 2)*i. Solve t*r - 4*r + 4*a + 40 = 0, -20 = r + 5*a for r.
5
Let r = -6 - -8. Suppose 0 = -3*t - 4*p + 6, -r*t + 0*p = 4*p - 4. Let f = -5 + 7. Solve -j + t*c = -2*c - 4, 4 = -2*j + f*c for j.
-4
Let u(c) = -2*c**2 + 5*c - 2. Let b be u(2). Let w = 211 - 206. Solve -35 = -2*p + w*j, b = 4*p + 5*j + 6 - 1 for p.
5
Suppose 20*n + 8 - 48 = 0. Solve n*k + 3*z - 11 = 0, 0 = -k + 2*z - 1 - 4 for k.
1
Let c be (28/10)/2 + 3/5. Solve -c*z - 5*t - 21 = 0, 6 = 3*z + 4*t - 9*t for z.
-3
Suppose y = 2*y. Let i(j) = 6*j**2 - j. Let b be i(-1). Suppose 4*m + 0*r - 4*r - 8 = 0, 3*m = -5*r + 6. Solve 0 = 2*z + m*z - l + 7, y = -2*z - 3*l + b for z.
-1
Suppose 4*x - 2*w - 250 = 0, -4*w + 176 - 36 = 2*x. Let f = x - 46. Let u be 82/6 - 12/f. Solve 3*p + o + 7 = 0, 2*p - u = -p + 4*o for p.
-1
Let s(h) = h**2 + h. Let l be s(-2). Let d(c) = -c + c**3 + 3*c**l - 6*c + 3*c**2. Let n be d(-7). Solve -5*f = -3*p - n*p - 10, 0 = -5*p + 5*f for p.
5
Let m be 2/10 - 178/(-10). Let g(f) = -f**3 + 6*f**2 + 4*f. Let b be g(6). Let s = b - m. Solve 4*i = 2*k - s + 20, 2*k + 8 = -2*i for i.
1
Suppose 15*r - 11*r = -8. Let f = -3 + -4. Let m = r - f. Solve -k = d + 4, k - m*d - 8 = -0*k for k.
-2
Let l(x) = -2*x**3 - x**2 + x + 2. Let u be l(-2). Let y = -23 - -15. Let t be (0 - -7) + y + 5. Solve -t*p = 2*o - 2 + 12, 4*o - u = 0 for p.
-4
Let r = 50 - 3. Let i = -42 + r. Solve 3 + 12 = -5*x + i*l, 23 = -5*x - 3*l for x.
-4
Let z be 7/(63/(-6)) + 77/21. Solve 3 = -3*j + 4*r, -z*r = -5*j - 4 - 1 for j.
-1
Suppose -8*n + 135 = -169. Let l = n + -28. Solve 4*o + 3*g = -l, 5*o - 5*g - 1 = -2*g for o.
-1
Suppose 3*d + 0*d + 12 = 0. Let k = -59 - -65. Let f = d + k. Solve -3*w - f = n, w - 10 = -2*n + 2*w for n.
4
Let p = -162 - -167. Solve 2*q = -4*u, 0*u + 2*q = -p*u - 1 for u.
-1
Suppose 5*n + 4*l = 37, 30 - 23 = -n + 4*l. Solve 2*b = -3*o, n*o - b + 6 + 7 = 0 for o.
-2
Let c be (-1)/4 + -10 + (-162)/(-8). Solve c = 4*q - 6, -2*f - 4 = -q for f.
0
Let t be 18/(15/5) + -4. Solve -t*s + 2 = -5*k, s + 4*k = 3*s - 2 for s.
1
Let k = -65 - -69. Solve -2*s + 12 = -4*r - k, r - 6 = -2*s for r.
-2
Suppose 214*j - 211*j - 9 = 0. Solve 3*c + 2*a + 13 = -2*c, 12 = -3*c + j*a for c.
-3
Let q = -2376 + 2388. Solve 3*s = c - 17, -15*s - 7 = -q*s + 4*c for s.
-5
Suppose 2*p + 0 = -4. Let x be 54/27*2*p/(-2). Solve 0 = -x*s - 5*t - 41, 3*s - 5*t - 4 = 9 for s.
-4
Suppose 6*v - 11*v + 6 = r, 0 = -5*r - 20. Solve v*s + k = 4*s + 7, 3*s = -4*k - 5 for s.
-3
Suppose 40*q - 10 = 39*q. Suppose 12*b - q*b = 0. Solve b = 2*d + t + 6, d - 5*d - t - 8 = 0 