 s.
-3
Let a = -260 + 262. Suppose 10 = 4*b - 2. Suppose 0 = a*w - 3*x - x + 8, -3*w + 15 = b*x. Solve -h = 3*k + 2, 0 = -3*k - 2*h - w*h + 10 for k.
-2
Suppose h = -3*h + 8. Suppose 3*s + h*s - 10 = 0. Solve -2*i - i = 6, -5*i - 10 = -s*w for w.
0
Let t(p) = p - 3. Let h be t(6). Let x be h + 1/1 + -2. Suppose -3*n - s = x, n = 3*n + 3*s + 6. Solve 0 = 2*q - 3*w - 6 - n, -5*w + 9 = 3*q for q.
3
Let o = 29 + -15. Let r be 1/(2 + (-22)/12). Let d be (-13)/(-3) + 4/r. Solve 5*i = -z - o, 10 = i + 2*z - d*z for i.
-2
Let w = 34 - 7. Suppose -18 = -5*k + t, 0 = -k - 3*k + 5*t + w. Let q = 0 + 4. Solve 2*s - 11 = -k*d, 4*d + s = 3*d + q for d.
3
Suppose 12*t + 2 = 11*t. Let l be 2*((52/8 - 1) + t). Solve -2*y + 2 = -l*y + h, -3*h = 5*y - 6 for y.
0
Let d(l) = 20*l**2 + l. Let o be d(1). Suppose 9 = n - o. Let c be 220/32 - ((-324)/96)/27. Solve 3*y + c = 4*f + n, f + 2*y - 8 = 0 for f.
-2
Let x(w) = w**2 - 3*w - 21. Suppose -j + 5 = 3*v - 8, 0 = 2*v - 4. Let d be x(j). Solve 17 = -2*s + 5*r, 5*s + 20 = d*r - 2*r for s.
-1
Let s be 6/(-84) - 129/(-42). Solve 0 = r - 5, s*r - r - 16 = 2*v for v.
-3
Let f(v) = 6*v**2 + v - 2. Let d be f(-1). Solve -2*x = -x - p + 6, x - d = -2*p for x.
-3
Let b = 9 + 6. Let r be (-6)/8*(-100)/b. Solve -r*n - 9 = -2*j - 1, 5*n + 4*j + 14 = 0 for n.
-2
Let h = 1055 - 1038. Solve k = -5, 0*g + h = -4*g - k for g.
-3
Suppose -i + 12*d = 9*d - 22, 10 = -2*d. Solve 0 = -4*v + 2*o - 4, 0 = -v + 2*o + 3 - i for v.
0
Suppose -3*h + 46 = -4*v + 43, -3*h - v = -18. Solve -h*s - a = 0, 4*a - 23 = -3 for s.
-1
Let w(c) = c**3 + 12*c**2 + c + 14. Let j be w(-12). Solve -2*m = 5*d + 27, j*d - 2*m + 8 = -0 for d.
-5
Let h(l) = 73*l + 513. Let a be h(-7). Solve -3*b - a = m, -2*m = 2*m - 5*b + 25 for m.
-5
Let r(m) = m**3 + 7*m**2 - 30*m + 4. Let s be r(-10). Solve -5*w - 10 = -5*j, s*w = 3*j - 0 - 4 for w.
2
Let w(y) = 3*y**2 + 17*y + 40. Let x be w(-4). Solve -4*h + a = 6*a + x, 3*h - a = -15 for h.
-5
Let q(i) = i**3 + 4*i**2 - 2*i - 1. Let p be q(-3). Let w = p + -4. Solve w = 2*j, 3*a - j - j = -22 for a.
-4
Let c(w) = w**3 - 8*w**2 + 13*w - 27. Let z be c(7). Solve -2*m - b + z = 4*b, -2*b - 15 = 5*m for m.
-5
Suppose 31*l + 5 = 32*l. Suppose 7 = 4*v - l. Solve -4*n + 26 = -2*j, -3*j - v*n + 2 = -j for j.
-5
Let x be (-4 + (-3 - 4))/(-1). Solve 2*d + 15*c = 16*c - x, 4*c - 4 = 0 for d.
-5
Let h = -882 + 882. Solve h = -2*u - y + 6, 19 = -u + 4*y + 4 for u.
1
Suppose -2*z - 3*i + 17 = 0, -i - 20 = -3*z - 0*i. Let u(f) = -3*f + 31. Let g be u(z). Solve -5*t + 3*a - 12 = 0, t + 4*a - 6 = g for t.
0
Let w be 1*(15 + -3*6/18). Solve 3*u + 4*v + w = 5, -2*v - 12 = 4*u for u.
-3
Let o be 2 - (0 - 0 - 4). Suppose -5*a = -6*m - 4, 3*a - 4 = 2*m - 0. Solve -a*v = o, -2*l + 4*v = l - 21 for l.
3
Suppose -65*k + 3*q = -61*k - 81, 2*k = 2*q + 40. Solve -5*l = -2*p - k, p - 4*p - 19 = -5*l for p.
2
Suppose 0 = 30*a - 127 + 67. Solve 4*n + 8 = g, -a*n + n = 5*g + 2 for g.
0
Let y = -144 + 145. Solve 0 = c - 2*d - y - 5, -31 = 4*c + 3*d for c.
-4
Let x be (-6)/(-27) + 125/45. Suppose 2*n = x + 5. Let k = 17 + -9. Solve 0 = -4*j - k, -n*y + 3*y = -3*j - 6 for y.
0
Let z be 3 - (3 + 0) - (2 + -6). Let c(f) = f + 23. Let y be c(-12). Solve -x + 4*h + y = h, -4*x = -z*h - 20 for x.
2
Let u(g) = -4*g. Let n be u(-1). Suppose v + 3 = 0, 11*v - 7*v + 40 = 4*l. Suppose n = 9*a - l*a. Solve 0 = q - a*z, -2*q + 9 = 4*z + z for q.
2
Suppose -3*w = h - 167, 2*w - 4*h + 108 = 4*w. Let a = w - 53. Suppose 0 = -4*s - 8 + 28. Solve 4*x + s*p - 17 = 0, -a*p = -5*x - 23 - 2 for x.
-2
Suppose -3*l = 186 - 201. Solve -w = -h - 2, 0 = -w - 3*w + l*h + 7 for w.
3
Let c = 280 + -270. Solve -4*y - k = y + 20, -3*y - 5*k = -c for y.
-5
Let u be 18/63 + (-304)/(-14). Let a be u/33 + 92/6. Suppose 3*w - 32 = a. Solve 2*n + v - w = 5*v, 2*n - 5*v - 21 = 0 for n.
-2
Suppose 4*i - 3*i - 40 = 0. Let m = -36 + i. Suppose 2*b - 30 = 2*r, 2*b + 0*b - 30 = 3*r. Solve -m*g + b + 3 = 2*w, -2*g - 5*w + 13 = 0 for g.
4
Let l be -6*1/((-8)/20). Let k(s) = -s**2 + 16*s - 6. Let c be k(l). Suppose -4*f = 1 - c. Solve -5*a - 20 = -5*p, -f*p = -5*p + a + 10 for p.
3
Suppose -a = -2*n + 24, -n - a = 84 - 96. Solve f + 3*p = 14, -2*p = -3*f + 5*f - n for f.
2
Let p be (-6)/9 + (412/(-12) - 1). Let l be -1*(80/p + (-2)/(-9)). Solve -m + 1 = 2*i, -i + 0 - l = m for m.
-5
Let m(d) be the first derivative of 17/2*d**2 - 10*d + 1/4*d**4 - 17/3*d**3 - 6. Let n be m(16). Solve 2*o + c = -3*o - n, -5*c = 3*o + 8 for o.
-1
Suppose 70 - 18 = 13*f. Solve -3*z + 2*d = f*d, 16 = -5*z + 2*d for z.
-2
Let a = -1 - -2. Suppose -x = -0*x + 5*h - 7, 0 = -x + h + 1. Solve -a = -o - b, -5*b + 3 = -x*o + 19 for o.
3
Let r(b) = b**3 + 10*b**2 - 27*b - 33. Let u be r(-12). Solve w + x + 4 = 0, 3*w + 4*x - u*x = -8 for w.
-2
Let y(b) = 2*b**2 - b - 10. Let i be y(3). Suppose -3 = 2*p - i. Let j be (p*(0 - 4))/(-2). Solve j*t - 6 = 0, -4*t = -4*h - 2*t - 2 for h.
1
Let x(o) = -o + 34. Let f be x(0). Let l = -15 + f. Suppose -4 = 3*j - l. Solve -4*g + 0*k + 17 = -k, j*k = g - 9 for g.
4
Suppose 2*r = 2, -2*x = -5*r + r - 6. Solve -8 = -3*v - 5*a + 7, 0 = -x*v - 4*a + 12 for v.
0
Let l be (-9 - -3)/((-9)/6). Let z = -3 + l. Solve -b - z = b + d, -4*d = 5*b - 2 for b.
-2
Let x = 13 + 7. Let q = x + -20. Solve 0*s = -4*t + s - 4, q = 5*t - 4*s - 6 for t.
-2
Let p = 3 + 0. Suppose 3*a - 3 = -q, a + 4*q = 5*q - p. Solve 5*l + 3*i + 1 = a, -l + 8 + 5 = 5*i for l.
-2
Let h be (-20 + 18)/((-4)/8). Solve h*m + 2*c + 2 = 0, -c + 0 = -m - 8 for m.
-3
Suppose 14 = 7*v - 7. Suppose 6 = -3*x, -x - 3 = -v*d - 1. Suppose 3*w + 8 - 14 = d. Solve 20 = 5*p + 5*k, 3*p + w*p - 23 = -2*k for p.
5
Let c(v) = -v**2 - 9*v + 13. Let i be c(-10). Let n be 9/i - (-5 + 4). Suppose 4 = 2*u - w - 5, 0 = -2*w - 6. Solve -u*d - n*a - 2 = 0, d + 1 = -d - 3*a for d.
-2
Let b(r) = r + 2. Let j(d) = -3*d - 5. Let g(c) = -15*b(c) - 6*j(c). Let s = 204 + -203. Let x be g(s). Solve -5*u + 5 = -3*t, x*t + 0*t = -3*u - 21 for t.
-5
Let u = 1403 - 1400. Solve s = -3*p + 4*s + 3, u*p - 5*s = -5 for p.
5
Suppose 9*i - 36 = 18*i. Let s be (i/(-24)*2)/(1/6). Solve 5*l + 8 = -2*m + 1, -4*l - 4 = s*m for l.
-3
Suppose 5*v - 12 = -2*i, -7*i + 3*v = -4*i + 3. Solve -2*j - p - 3 = -2, -3*p = 5*j + i for j.
-2
Let b(q) = q**3 + 12*q**2 + 9*q - 5. Let s be b(-11). Suppose -4*u - 5*z - s + 54 = 0, -2*u + z = -1. Solve x - 2*x - 17 = -u*y, 4*y - 16 = -2*x for y.
5
Let v be 10/4*(-7 - (-1 - 8)). Solve -5*k + 40 = v*y, 5*k + 10 = 7*k for y.
3
Suppose 0 = -3*x - p - 4, 5*x - 17*p - 20 = -12*p. Solve x = 2*h - o + 2, 0*h = -4*h - 2*o - 12 for h.
-2
Suppose -3*k - 72 = -11*k. Suppose 3*u - 46 = -2*h, 17 = -0*u + u + h. Let d = u - k. Solve 4*j = -3*s + 4, d*s - 2 = j - 3*j for j.
1
Let d be 80/(-180)*9/(-2). Solve 3*s = -d*h + 11, 4*s - 3*h + h = -4 for s.
1
Let t = 36 + -15. Suppose -2*h - 7 = -5*l + 2, -2*h - 7 = -3*l. Let d be ((-30)/14 - h) + 150/70. Solve -3*x + 2*n + t = 0, 3*n = d*x + 8 - 27 for x.
5
Let c be 345/(-21) + 16 + 3/7. Solve c = 3*b, -4*j - 5*b + 16 = -3*b for j.
4
Let u(f) = 7*f - 59. Let d be u(9). Solve -5*w = -5*j + 25, d*j - 4 = 5*w + 18 for j.
3
Suppose -13*n - 27 = -22*n. Solve -n*r = 2*q - 4*q, 5*r + 22 = -4*q for r.
-2
Let t(y) = -y**2 + 52*y - 272. Let z be t(46). Solve 2*n + 4 = -g, 4*g - n = -z*n - 6 for g.
0
Let h = 6 - 3. Let x be (-2)/(-4)*16 - h. Let t(l) = l**3 - 6*l**2 + 6*l - 5. Let u be t(x). Solve u*c = 4*b - c + 6, 2*b = 2*c for b.
-2
Let l be 3/8 - (-207)/24. Solve 5*c - 3*g - 15 = 0, -4*g - g - l = -3*c for c.
3
Suppose 0 = 14*t - 41 - 15. Suppose -6*q + t*q + 10 = 0. Solve 3*k + 9 = q*m - 2, 3*m = -3*k - 3 for m.
1
Suppose 13*k - 10*k = 3*v, 5*k = 3*v. Suppose 4*u = -u + 5*r - 10, -2*u - 2*r + 8 = 0. Solve -f = 2*j - 7*j - u, 2*j - 3*f + 3 = k for j.
0
Let r = 1173 + -1169. Let o(p) = p**3 + 5*p**2 + 4*p + 5. Let t be o(-4). Solve -3*x + t*m = 6, 0*x - r*x - m = 8 for x.
-2
Let r be (3/7)/((-1)/(-21)). Solve -5*u + 2*u - r = -4*p, -2*p = 0 for u.
-3
Let b = -13 + 14. Let f be b/4 - 4/16. Solve -5*s = -5*p + 15, -2*s = 4*p + 12 - f for s.
-4
Suppose 5*u + 6*b = 2*b + 70, 4*b + 56 = 4*u. Let t be 75/20*(-16)/(-6). Suppose -3*g + g = -t. Solve 0 = 4*f - 4*m - 12, -g*f + 2*m + u = -2*m for f.
2
Let u(f) = 3*f + 53. Let y be u(-17)