18, w = -k - 2 for d.
-2
Let y = -8674 - -8679. Solve -1 = -5*j + 5*l + 9, -j - y*l = -14 for j.
4
Suppose 0 = -2*b + 10*s - 32, -8*b + 3*b + 8 = -3*s. Solve -5*k = -3*c - 5 - b, -c - 3 = -3*k for k.
0
Suppose 3*h - 12 = 0, 3812 = -5*i - h + 376. Let r = i - -690. Solve -4 + 2 = r*n - 2*b, 5*n = 4*b - 8 for n.
-4
Let x(z) = 3*z - 9. Let n be x(4). Suppose n*y = 2*g - 1 - 1, 0 = 4*y - 8. Solve -g*c + 2*h + 8 = 0, c + 2*h + 5 = -h for c.
1
Suppose -10*p + 37 = -3. Suppose -5*d + p*y = -13, 0 = 4*d - 8*d + 5*y + 5. Solve -3*c = 2*g - 19, 2*c + 3*c - d*g - 15 = 0 for c.
5
Suppose 2*n - 8 = 4*i - 18, -3*n - 12 = -5*i. Suppose 10*j = -n + 21. Solve 4*u + 4 = 0, -2*u = j*z + 2*u + 6 for z.
-1
Suppose 8*z - 16*z = 0. Suppose -1 = -q + 4. Suppose 0 = -q*s - 3*p + 19, -4*s + 7 = 3*p - 10. Solve -i - 14 = 3*w, s*i = w - z*w for i.
-2
Suppose -j - 1 = -4. Suppose 4*h + 3*v = 11, -v = -j + 2. Suppose 24*x + 35*x - 295 = 0. Solve 14 = 5*z - 2*d, -d + x - h = 0 for z.
4
Let s be 1/((-16)/(-6)) + (-116)/(-32). Let g be ((-95)/15 + 5)/(s/(-9)). Solve 4 = -3*x - z, g*x + 8 = -z - z for x.
0
Let d be -7 + (-12)/(-6) + -336. Let u = d + 341. Solve u*b = -2*h + 5*b + 29, 5*b = -25 for h.
2
Let w be (-12)/(-9)*99/2. Let q = w - 66. Solve 4 = -2*h + 5*z - 21, -h - 4*z + 20 = q for h.
0
Let x be -1 + -6 + (9 - 12). Let y be 2/x - 1442/(-10). Suppose -11*l + 2*l = -y. Solve 2*m - 4*t + l = 0, 0 = -2*m - 5*t + 10 + 10 for m.
0
Let f be -6 + 8/10*(-15)/(-6). Let m be (-6)/(1 + (-2)/f). Let u be (55/(-10))/(m/8). Solve u*g - 6*g = -4*v + 31, 5*v + 2*g = 26 for v.
4
Suppose 0 = -a + 12*a + 44, -116 = -4*b - 4*a. Solve 20 = 38*u - b*u, 10 = 2*f + 2*u for f.
1
Let t = -476 + 487. Let x be (-5 + 2)*(7 - t). Solve 4*h - k = -7, -3*k - 3 = x for h.
-3
Let y = 6 + -2. Suppose h + 142*r - 139*r - 2 = 0, h - 4*r - 9 = 0. Let q = -2 + 8. Solve -3*t - 1 = -0*t + h*d, y*t + q = -2*d for t.
-2
Suppose 0 = -21*d + 260 - 134. Solve -3 + 0 = m - 2*w, 2*m = -4*w - d for m.
-3
Suppose -531 = -22*l + 327. Let x(d) = d**3 - 39*d**2 - d + 41. Let y be x(l). Solve -u + b + 0*b = 5, u + 5 = y*b for u.
-5
Suppose 32 - 96 = -4*s - 2*y, 0 = -3*s - 3*y + 54. Let p = -103 + 105. Solve 5*h - s = -2*g, h + 2*g + p = -0 for h.
4
Let x(f) = 455*f + 4100. Let i be x(-9). Solve i*a - 3*u = -7, -3*a - 16 = -2*u - 12 for a.
-2
Suppose -82*w - 201 + 1241 = 56. Solve 0 = -3*c - 3*o - 24, -2*o - w = -0*c + c for c.
-4
Let h = 87 + -21. Suppose 2*t + t = h. Suppose 18656*f - 9468*f = 9339*f. Solve 3*d + 5*c - t = f, c - 27 = 2*d - 4*c for d.
-1
Let x(s) = -3*s**3 + 17*s**2 + 28*s - 3. Let a be x(7). Let c be (a/(-6))/(6/60). Solve -5*l - 11 = 2*t, 0 = -t + 6*t + 5*l + c for t.
2
Let z(j) = -j**2 + 9*j + 25. Let w be z(8). Suppose 9*p - w*p + 96 = 0. Solve -q - 11 = 3*n - 2*q, -4*n - p*q = 36 for n.
-5
Suppose -3*z - 2*t + 5 = -0*t, -2*z = 5*t + 15. Let n be -14 + -3 + 4 + 1. Let x = -1 - n. Solve 3*c + c + p + 9 = 0, 3*c = -z*p - x for c.
-2
Suppose 5*c - 2*z - 49 = -0*c, 5*c + z = 28. Solve -3*w - a + 20 = 0, 12*w - c*w - 3*a - 24 = 0 for w.
6
Let u = 529 - 527. Solve 2*c + 20 = u*y - 2*c, -2*y + 10 = -2*c for y.
0
Let i(p) = -2*p**2 + 48*p. Let z be i(24). Suppose 5*f = 2*f + 3*y - 9, -3*f - y + 11 = z. Solve 3*q - m = f*q + 7, m - 5 = -2*q for q.
4
Suppose -7*c + 5 - 425 = 0. Let i be c/(-10) + 4 + -6. Solve -3*f = -v + 9, 4*v = -v + i*f + 23 for v.
3
Let p(f) = -1577 + 4*f + 4*f + 1584. Let c be p(1). Solve 3*q + 4*s = s - 15, -3*s = -3*q - c for q.
-5
Let r be 1300/8 + 5/2. Suppose 0 = 2*t - r - 63. Let c be (-12)/(-20) + t/10. Solve m - c = 4*o, 0 = 2*m - o + 2 + 2 for m.
-4
Let j(a) = a**3 + 4*a**2 + 8. Let c be j(-4). Suppose 0 = v, 4*m + c = 4*v + 52. Suppose 0 = -m*y + 33. Solve -5*f - 4*t - 16 = 0, 5*f - y*t + 12 = -6*t for f.
0
Let l be ((-30)/(-5))/2*(-35)/21*-1. Solve -3*u + u = l*r - 33, 4*u = r + 11 for r.
5
Let q = -19 - -23. Suppose -14 = -2*z + 4*o, -12*z + 2 = -8*z + 5*o. Solve -z*k = -q*h - 17, 5*k + 26 = 4*k - 5*h for k.
-1
Let d be -4 + -4*7/56*-14. Solve -3*v + d*l = -0*v - 15, 0 = -l - 1 for v.
4
Suppose 2*i - 703 = 4*a - 633, 4*i = a + 77. Solve 0 = -4*g - 12, 0 = 20*n - i*n - 4*g - 18 for n.
2
Let o be -2 - 5*(-2)/1. Let y = -31308 + 31335. Solve 5*c + 4*r - 7 = o, 5*r = 2*c + y for c.
-1
Suppose -70*o - 455 = -550 - 1515. Solve 9 = g - k + 17, 4*k - o = g for g.
-3
Let z be 1*(0/4)/(-2) + -313. Let l = z + 319. Solve 2*i + 2*c = -l, 4*i - 5*c = 3*i - 3 for i.
-3
Suppose 89*q - 16*q - 369 = -50*q. Solve -q*p - 3*n = -9, 3*n + 7 = 10*p - 9*p for p.
4
Suppose 0 = -7*p + 3*p - 1100. Let q = p - -280. Solve -s - 5*x = -2*s + 29, 4*s - 41 = q*x for s.
4
Let c = 1013 + -1009. Solve -5*i - 2*j + c = -3*i, 4*j = -2*i + 8 for i.
0
Let f(o) = -2*o**2 + o + 95. Let x be f(7). Solve -4*m + x = 3*z - z, -10 = 4*m - 5*z for m.
0
Let g = 1413 - 1401. Let w be 2 + -6*12/8. Let c = w - -9. Solve 0 = -c*t - 0*o + 3*o - g, -5*o = t - 20 for t.
0
Let a = -124 + 79. Let r be (a/(-12))/(27/36). Solve -4*c + 2*y - r = 3, 2*y = -4*c - 16 for c.
-3
Suppose o = -1, 108 = 4*i + 2*o + 14. Let q = i + -9. Suppose -u + 4*r + 44 = q, -u - 5*r - 7 = 0. Solve 0 = -2*n - 0*n + 3*s + 12, n - 5*s = u for n.
3
Let z(q) = -q + 30. Let j be z(21). Suppose 0 = -2*f + 5*m + 33, 5*f = -m + j + 6. Solve 0 = -3*g + f*g - r - 4, -2*g + 14 = -5*r for g.
2
Let g be (12/9)/((-6)/(-9)). Let z = 1984 + -1974. Solve j - 6 + 2 = 0, g*l + 3*j - z = 0 for l.
-1
Suppose 0 = 6*f - 84 - 12. Let p = -16 + f. Suppose 11*w = 4*w - 2*w. Solve w = -r - l - 4, p = -5*r + 3*l - 4*l for r.
1
Suppose 5*a - 3*p - 20 = 0, -3*a + p + 10 + 6 = 0. Let m be ((11 + -18)/a)/(2/(-10)). Solve y = m*u - 10, 0 = -2*y + u - 3 + 10 for y.
5
Suppose -12 = 2*h, h - 104 = -44*g + 22*g. Solve 0 = -m + p - g, -3*m - p - 16 = -5*p for m.
-4
Let c be 40/12 - 2/(-3). Let y = 191 - 146. Suppose -3 = y*n - 46*n. Solve -n*j + 4*l - 4 = 0, l - 5 = -c for j.
0
Suppose 4*o + 4*v + 4 = 0, 0 = -1431*o + 1430*o + 4*v + 29. Solve o*s - a - 21 = 0, 5*s - 9*s + 36 = 4*a for s.
5
Let f(v) = 5*v**3 - v**3 - 8 - 3*v**3 + 13*v**2 + 11*v. Let o = -27 - -15. Let c be f(o). Solve -14 = c*p - 2*n, -5*p + n - 24 = 5*n for p.
-4
Let q = -19 - -28. Let x(o) = o**3 - 2*o**2 + 7*o - 9. Let n be x(2). Solve h + q = n*b, 2*h + 20 = -3*h for b.
1
Let p = 68 - 61. Suppose 93 = -4*s + p*s. Let k = -28 + s. Solve 2*f = 2*n, k*f - 6 = 5*n - 0 for f.
-3
Let n(s) = 4 - s + 4*s - 8. Suppose 36*z + 102 = 318. Let b be n(z). Solve -3*r - 2*f - b = 0, 5*r - f - 2*f - 2 = 0 for r.
-2
Let f be 34/18 - (-22)/198. Solve -4*s - 26 + 0 = 5*j, 2*s - 5*j = f for s.
-4
Let b be 3410/165 + (-2)/(-6). Suppose 0 = -q - 3*g + 7, -2*q - 5*g + 40 = b. Solve 5*i = -2*t + q - 3, 3*i = 2*t + 5 for i.
3
Let j(g) = -2*g**3 + 7*g**2 + 4*g + 2. Let l be j(4). Let y = 10 - 6. Solve -y*p - h = 24, -h - l*h = -p + 7 for p.
-5
Let p = -167 - -171. Let u = -14 + 10. Let n be p + (u - (-2)/1). Solve 10 = -2*z + 5*s, 0 = 2*s - n - 6 for z.
5
Let g(h) = -h**3 + 4*h**2 + h. Let u be g(4). Let x = 26539 - 26535. Solve -s - 3*d = -u, -s - 4*d = -2 - x for s.
-2
Let h be (360/450)/((-72)/(-80) - (-1)/(-2)). Solve 2*s - 12 = 3*i - 10, h*s = 4*i for s.
4
Let v be 9 + (2/(-3)*9 - -3). Suppose -3*u - v = -51. Solve -2*n - 2*n - 3 = -w, -2*n + u = 5*w for w.
3
Suppose 98*i + 2*s + 36 = 100*i, 5*i = -5*s + 10. Solve -r = 4*o - 4, 0*o - i = o + 3*r for o.
2
Let q = -9224 + 9227. Suppose -a - a + 3*h = -11, a + 11 = -4*h. Solve -q*b + 18 = 3*y, -3*b + a + 18 = 4*y for b.
5
Suppose 15*t = 25*t - 20. Solve -l - 13 = 4*l + 2*q, -5*l + t*q + 3 = 0 for l.
-1
Let a(l) = -2*l + 30. Let d be a(15). Suppose 10 + 25 = w + z, 0 = -2*z + 4. Suppose w = s + 13. Solve -4*t - 4*q = -s, d*t - q + 9 = 5*t for t.
1
Suppose -w = -83*t + 78*t + 1, 4*w = 6*t + 24. Solve i = 3*k - 4, t*i + i - k = -12 for i.
-4
Let c be (-5)/10*(-12)/3. Suppose -47 = 5*o - 42. Let p(r) = -17*r + 6. Let h be p(o). Solve -c*x = -4*z + z - h, 2*x + 17 = -5*z for z.
-5
Suppose 104 = -4*n + 12*n. Let v(u) = 2*u**2 - 13*u + 47 - 3*u**2 - n. Let c be v(-15). Solve -2 = 4*k + 3*h - h, 0 = -c*k + 5*h + 33 for k.
2
Suppose -21*v + 8 + 112 = -111. Solve -13*n - 2*q = -v*n, n + 4*q - 12 = 0 for n.
-4
Let v be (-21)/(-6) + 2/(-4). Let x = 64 + -60. Suppose -2*n - 12 = -x*t, -2*n + 8 = 4*t - 5*n