+ 0 = -1. Let o be q/(-4) + 5/20. Suppose 14 = 4*n + 2. Solve -1 = -o*a - a - 4*d, -n*d = 0 for a.
1
Let m(o) = -3*o - 28. Let z = 61 + -76. Let b be m(z). Solve -5*n = 3*t + b, -22 = 2*n + 2*t + 3*t for n.
-1
Suppose 5*x - 21 = 4. Suppose -5*t - 3 + 11 = 2*h, x*h - 20 = -2*t. Solve 0 = 3*k + h*u + 25, -5*u = -4*k + 5 + 3 for k.
-3
Let h(n) be the third derivative of -n**6/60 - n**5/60 + n**4/24 - 7*n**2. Let q be h(-2). Let d = 16 - q. Solve -3*j - d = -3*g, -2*j + 8 = g + g for j.
1
Suppose 0 = -0*b + 3*b - 12. Suppose -4*h - 3 = -u + 4*u, 3*h + 4 = -4*u. Suppose h = 5*z - 14*z + 27. Solve -19 = z*m - b*s + 9, m + 2*s - 4 = 0 for m.
-4
Suppose -38*w + 8*w = -480. Solve -w*c + 19 = -13*c + 2*m, 0 = -2*m + 4 for c.
5
Let n(s) = -s**3 - 17*s**2 + 18*s + 4. Let c be n(-18). Solve -c*p - 3*w = 1, -3*p + 5*w = -8*p for p.
-1
Let u = 33 + -48. Let h(k) = -k + 4. Let i be h(-12). Let x = i + u. Solve -2*r = -3*o + 17, 2*o - x + 3 = -2*r for r.
-4
Let m(g) = -14*g + 1. Let a = -9 + 7. Let s be m(a). Suppose -b = 5*z - s + 10, -2*b = -3*z + 1. Solve -z*x - y = -8*x + 11, -3*y - 5 = -x for x.
2
Let l = 839 + -834. Solve l*i - 2*j - 3 = 15, -3*i + 3*j + 9 = 0 for i.
4
Suppose 5*w - 8 = w. Suppose -2*y - 3*o + 11 = 0, 6*y - 19 = w*y - 3*o. Let s = 1 + y. Solve 2*v + 2*j - 3 - 5 = 0, 0 = s*v - 5*j - 10 for v.
3
Let m = 12 - 78. Let d be (-7)/(98/(-4)) + m/(-14). Solve 2 = -g - 2*z + 10, 10 = d*g - 5*z for g.
4
Suppose -2*s - 8 = 2*s, -b + 14 = -5*s. Suppose 2*w = -3*k - 3*w + 286, -5*w = -10. Let a be (b - k)/(-4) - 2. Solve 4*l = -h + a, -h + 40 = 4*h + 5*l for h.
4
Let l = -244 - -249. Solve -x - 10 = -l*c, 0 = -c - 3*c + 3*x - 3 for c.
3
Let p = -90 - -104. Let m(z) = -6*z**3 - z**2 + z. Let a be m(1). Let i = a + p. Solve -2*d - 4*c = -4*d + i, 0 = -5*c for d.
4
Let w = 57 - 47. Solve v + w + 20 = 5*m, -5*v + 5*m = 50 for v.
-5
Suppose 5*l - p - 17 + 6 = 0, 4*l + 5*p = 32. Let b(a) = -a**2 + 4*a - 3. Let j be b(l). Let w = j + 4. Solve 0 = 5*f + g - 23, -w*f - 4*g + 16 = -2*g for f.
5
Let x(s) = -6*s + 6. Let i be x(0). Suppose -53*j + i = -51*j. Solve -5*w - 25 = 0, 2*w + 7 = 2*f + j for f.
-3
Let p = 6 + 28. Let z = -31 + p. Solve -z*q = -2*f - 6, -2*f - q = -9 - 1 for f.
3
Let w = 175 - 123. Suppose 2*k = -11*k + w. Solve -k*c = 3*d + 17, 3*d = -0*d - 9 for c.
-2
Let r = -9 + 15. Let f = 403 + -403. Suppose 0 = r*x - 18 - f. Solve w + 4*w + t = -4, 0 = 3*w + x*t for w.
-1
Let y(q) = -q**3 - 16*q**2 + 106*q + 26. Let x be y(-21). Solve 0 = -4*m - m - 20, -3*m = -x*o + 17 for o.
1
Let b(u) = -u**2 + 75. Let i be b(0). Let r = i + -49. Let l = r - 24. Solve 8 = f + f - 2*y, 4*f - l*y - 6 = 0 for f.
-1
Suppose q - 5*z = -12, 0*z + 3 = -2*q + 3*z. Suppose r + 4 = q*r. Suppose 5*o = 20, -4*d + o - 2 = -3*d. Solve -5*y - r*g - g - 22 = 0, -5*g - 24 = d*y for y.
-2
Let q be (-225)/(-12) + 1/4. Suppose -8 = -q*u + 15*u. Solve u*c - 3*j = 2 + 5, -3*c + j + 14 = 0 for c.
5
Let y be 1/3*-2*-1*6. Let n be 1 + 0 + 1 + (y - 1). Solve -n*v = -4*w + 33, 0 = 4*v + w - 2*w + 22 for v.
-5
Suppose -308 - 12 = -20*t. Solve -2*y = 3*r - 3*y - 13, -t = 4*y for r.
3
Suppose 0 = -2*k + 8 + 4. Let n be (k/(-8))/(1/(-4)). Suppose -4*r + 40 + 8 = 2*d, -2*d + 34 = -n*r. Solve -4 = -4*z + 3*t, -z + d = z + 3*t for z.
4
Suppose -3*j + 22 = 2*i + 5, 2*i = 2*j - 28. Let f(b) = -b**3 + 10*b**2 - 8*b - 7. Let x be f(j). Solve 5*h = x*h, -20 = -5*l + h for l.
4
Let t = 35 + -34. Solve -2 + t = 4*c - 3*j, -2*c - 3*j - 5 = 0 for c.
-1
Let x be (4 + -5)*74/2. Let c = -13 - x. Let s = 27 - c. Solve 0*z = -z - 5*q - 26, -s*z - 18 = 3*q for z.
-1
Suppose 5*s + 18 = 58. Suppose 4*u - 2*k + 2 + 6 = 0, -2*u = -2*k + s. Solve 3*x = 5*b + 9, -4*b - x + 0*x + 3 = u for b.
0
Let y be 819/637 - (-2)/(-7). Solve -4*x + 7 = k + y, -5*k - 4 = 3*x for k.
-2
Let c(l) = l**2 - 3*l - 6. Let t be c(6). Suppose 12*m - t = 8*m. Solve -4*d = f - m + 17, -2*f = -2*d - 2 for d.
-3
Let b = -721 - -725. Solve 5*d = -2*o - 28, 4*d + 2*o - b*o = -8 for d.
-4
Suppose k + r = -3, 5*r = -3*k - 9 - 10. Suppose 0 = 2*l - 5*j - 26, -4*l - 4*j - k = 2. Solve 5*f + 5*s = -40, -l*s - 36 = 5*f + s for f.
-4
Let i(g) = 3*g**3 + 2*g**2 - 1. Let a be i(-1). Let h be (a - 14/(-6))/((-3)/(-18)). Solve -5*r = h*d + 8, 1 = -2*d + 3*r + 9 for d.
1
Let c(h) = h**3 - 8*h**2 - 12*h + 30. Let b be c(9). Suppose 5*o = o + 8. Suppose u + o*u = 9. Solve -u*a + f = -f + 10, 0 = -b*a - f - 4 for a.
-2
Let y be ((-1)/2)/1*6. Let a(x) = -x**3 - 2*x**2 + 3*x + 3. Let g be a(y). Solve 0 = -n - 2*k + 6, -g*n = -5*k + 2*k + 9 for n.
0
Suppose -a + 88 = 10*a. Suppose -9*u = -5*u - 12, i = -u + a. Solve -2 + 5 = -3*b, -i*b + 1 = 3*z for z.
2
Let b(i) = -i**2 + 24*i - 76. Let x be b(20). Solve -3*t = -2*h + 2, 0 = x*h - 9*h - t - 12 for h.
-2
Suppose -63*o + 51*o + 48 = 0. Solve 5*w - 2*w = o*q + 17, 4*q + 11 = w for w.
3
Suppose r = -3*r + 16. Suppose p + 3 = -3*u, 5*p - 2*u + 0*u = 19. Solve r*i = -4*j, -j + p*j = 0 for i.
0
Let q = -97 + 111. Suppose -89 = -q*a + 9. Solve 2*u - s = -2 - a, 4*u - 3*s + 19 = 0 for u.
-4
Suppose -4*b - 2*s - 22 = 0, b - 6*s = -2*s - 28. Let i = b - -11. Let a be (5 - 15/5) + 1. Solve 4*w - 8*w = a*g + i, -20 = 4*g for w.
3
Suppose 0 = 82*t - 41*t - 123. Solve -4*p + 10 = -6, j - 2*p = -t for j.
5
Let z be 1 - (1 + 0 + -4). Suppose -3*f + 12*f - 47 = -38*f. Solve n - f = k, z*k + 4 = 2*n + 3*n for n.
0
Suppose 10*z + 2612 - 2642 = 0. Solve 0*q = -3*t + 5*q + z, -2*t = -q + 5 for t.
-4
Let z be -2*2/(-8)*0/(-20). Solve 26 = 2*l - 4*p, z*p - 5 = -5*l - 2*p for l.
3
Let m = -233 + 233. Solve -4*w + 2*z = 4, m = -z + 1 + 1 for w.
0
Let k(z) = 8*z - 19. Let t be k(4). Suppose -5*v + t = -2. Solve 3*b = -2*o - 16, 13 = -b - 3*o + v for b.
-4
Let p = 5 + -14. Let u be ((-2)/(-8))/(p/(-72)). Solve -2 = -3*n + u*t - 19, 0 = -2*n + 2*t - 14 for n.
-3
Let u(g) = -2*g. Let v be u(2). Let c(z) = -z - 4. Let n be c(v). Suppose 0 = 12*k - 11*k - 5. Solve -2*t + 2*q + 8 = 0, n*q - 20 = k*t + 3*q for t.
-1
Let v = -311 + 327. Solve -5*q + v = -10*q + l, -5*l + 20 = -5*q for q.
-3
Suppose 2*n - 12 + 64 = -2*s, 4*s = -2*n - 96. Let r = -2 - s. Let g be (r/(-15))/(4/(-12)). Solve -k = 3*i - 10, -k + g*k = -5*i + 22 for i.
2
Let k(x) be the first derivative of 11 - 1 - 3*x**2 + x**2 - 3*x - 3. Let f be k(-2). Solve -3*s = 2*s + 5*m + 10, -f*s - 3*m = 6 for s.
0
Let b(n) = -n - 6. Let z be b(-10). Suppose 5*f = 16 + z. Suppose -5*a + 2*d = -10, -5*a - 11 + 31 = -f*d. Solve a = 5*m + 2*c + 8 + 22, -3*c = 5*m + 35 for m.
-4
Suppose -3*u + 104 + 40 = 0. Let o = u + -43. Solve 0 = o*j + 5*t + 40, 2*j - 2*t + 2 = -2*j for j.
-3
Let n(u) = -u**2 - 5*u - 3. Let y be n(-3). Solve 3*a = 2*v - y*v, 0 = -4*v - 2*a for v.
0
Let b = -214 - -234. Solve f + 4*f - b = -2*u, 3*u - 13 = f for f.
2
Suppose 3*v - 5*k = -k + 23, k + 1 = -4*v. Solve 4*a = 6*a - d - 10, -a - d = v for a.
3
Suppose 3*q - 27 = 2*m + 71, 3*m = -2*q + 61. Suppose 2 = -2*f + 8. Let t be (-1 + f - 2)/2. Solve -4*u = 2*d + d - q, u - d - 1 = t for u.
5
Let i = 179 + -163. Solve -i = 2*h + 2*p, 2*p - 6*p = -3*h - 3 for h.
-5
Let b = -4 + 8. Let c be 0/(-2*b/8). Solve -3*s = -c*s - 3, -2*t = -s - 1 for t.
1
Suppose -1 + 7 = 2*r. Let j be -1*r*16/(-12). Solve 9*l + 33 = 4*x + j*l, 3*x + 4*l + 14 = 0 for x.
2
Let f be 2/(-8) - 25/(-4). Suppose 5*d - f = 2*d. Suppose -2*c + 4 = -4. Solve -18 = -5*t + l, 3*l = -5*t + d + c for t.
3
Suppose 1 = 3*m - 2. Suppose 7 = p - m. Solve 2*k = 2*c - 8, c = k - 6*k - p for k.
-2
Let h(m) = -m**3 + 5*m**2 - 3*m - 1. Let y(g) = g**2 - g - 3. Let k be y(-2). Let z be h(k). Solve v + z = -4*n, -5*n - 23 = -v - 4 for v.
4
Suppose -37*f = -11*f - 104. Solve 0 = -f*v - 5*y - 24 - 16, 3*v + 27 = -3*y for v.
-5
Let u be (-8)/(-6)*(-9)/(-2). Suppose 4*v - 6 = -11*j + 13*j, 5*v = 5*j + 5. Solve -r + 4*g - 8 = u*g, v*r - g = 9 for r.
2
Suppose -2*u = -18*u + 64. Suppose -5*m - 4*f + 8 + 10 = 0, -3*m - 2*f + 10 = 0. Solve -m*r - 4 = -u*r, 2*k + 2*r = 10 for k.
3
Let y(t) = t**3 - 13*t**2 + 29*t - 9. Let i be y(2). Solve 15 = 2*f - i*g, -4*f + 8*f - g = -15 for f.
-5
Let q(c) = c**2 - 7*c + 14. Let u be q(2). Solve u*w = 2*n + 4, -5*n - 5*w = -25 - 10 for n.
4
Let t be (-6)/(-30) - (-2)/(-10). Suppose t + 2 = -f. Let c be 2 + f - (-14)/7. Solve -4*p - 5*b = 29, 