*t = -2*y + 14, 22 = -3*t + 2*y for t.
-4
Suppose b + 41 - 45 = 0, -3*b = -k - 8. Solve 0 = -3*x - k*a + 4, 0 = -3*x - 0*a + a - 16 for x.
-4
Let c(i) = 8*i + 64. Let u(t) = -7*t - 67. Let n(f) = -3*c(f) - 4*u(f). Let v be n(-18). Solve -w + 8 = 5*z, 4*w - 6 = -v*z + 3*w for z.
2
Suppose -5*v + 3*b = 5, -2*v = v + 5*b - 31. Let k = 25479 + -25476. Solve 2*o = k*x - 15, -4*o + 0*o + v*x = 18 for o.
-3
Suppose 147011*f - 147030*f + 95 = 0. Solve -f*k + 602*z = 597*z + 5, -2*k + 5*z - 11 = 0 for k.
2
Let f = -618 + 620. Solve 3 = -4*g + 3*q + 4, f*q = g + 1 for g.
1
Let u = 13 + 7. Suppose 197*d + 213*d = -94*d + 141*d. Solve 0 = 3*k - 3*n - 3, k - 4*n - u + 4 = d for k.
-4
Let h be (-8)/(-2) + (6 - -2). Suppose 174*k - 168*k = h. Solve -t - 5 = k*f, -5*f - 4*t = -t + 12 for f.
-3
Let u(p) = 60*p - 52. Let c(a) = -a**3 + 5*a**2 + 13*a + 8. Let g be c(7). Let x be u(g). Solve 5*r - 25 = -5*h - 0*r, 0 = 4*h - 2*r - x for h.
3
Suppose -46 = 5*b + 2*u, 30*b + 28 = 28*b - 4*u. Let c(w) = -w + 1. Let o be c(b). Solve -t = -3*q + o, -2*q + 2 = -5*t + 9 for q.
4
Let z(p) = 4*p**2 + 65*p - 204. Let g be z(-19). Suppose -12 - 3 = -3*q - 3*j, 5*q - 5*j - 65 = 0. Solve f + 19 = -g*w, -w + 5*f = 2*f - q for w.
-3
Suppose -78*v = -77*v - 3. Let m be (378/7)/9 + 3. Solve 0 = 5*d - v*c + m, 3*d + 2*d - 2*c = -6 for d.
0
Let o be 6 - (-5 + 5 + 5). Let k be (-8)/(-10) - 7/(-35)*o. Suppose -2*m + 1 + 0 = -h, -2*h + 3*m + k = 0. Solve -2*s = -3*t - 4, 1 = -4*s + h*t + 7 for s.
-1
Suppose 27 = 4*o - 5*i, o = 3*i - 11 + 23. Solve 4*m + 19 = -5*a - 22, 1 = -4*m + o*a for m.
-4
Let j(a) = a**3 - 10*a**2 + 14*a + 6. Let p be j(8). Let d be 2*-6*(p - -16)/(-18). Solve -3*s - 13 = s - k, d*s + 11 = -k for s.
-3
Suppose -5*z - 126 = -47*z. Solve 5*u - 20 + 1 = -z*h, -h + 3 = u for h.
-2
Suppose -2*m - 10 = 5*i, -3*i = -4*m - 3 + 9. Suppose 11*v = 16*v + 5*u, m = -3*v - u + 10. Solve 2*n + 2*k + k + 16 = 0, 0 = 4*n + v*k + 28 for n.
-2
Let i be (-63)/18 - 2/4. Let w be (12/9)/(8*i/(-336)). Solve 4*z = r + w, 0*z = -2*z + 4*r for z.
4
Let h = -33 + 9. Let c = h - -38. Suppose -p + c = 6. Solve 4 + 17 = 5*g + 3*w, 4*w - p = 0 for g.
3
Let c = 22500 - 22497. Solve 4*r - 12 = -2*x, 0 = 3*x + x + c*r - 4 for x.
-2
Let n = -538 + 567. Let i(u) = u**3 - 30*u**2 + 27*u + 60. Let q be i(n). Solve 12 = 3*s + q*r, s - r + 3 = 2 for s.
2
Let i be 52 + (-1)/((-3)/(-15)). Suppose -l - 37 = -i. Solve 6 = -2*n, -4*r - 2*n - l = -5*r for r.
4
Let w(j) = -17*j + 5. Let y be w(0). Suppose -y*x + 108 = 3*q, 5*x + 5*q + 100 = 10*x. Solve -t - 11 = -2*h, 3*h - t = 2*t + x for h.
4
Let r be (14/(-63) - (4 - 316/72))*12. Solve -r*y - 2*p = -10, 4*y - 5*p + 20 = -p for y.
0
Let w = 208 - 205. Suppose -2*b = -l - 3, -w*b + 2*b + 3 = 0. Solve -8 = -4*z - l*u - 1, -4*z + 3*u = -25 for z.
4
Let h = -1183 - -1196. Suppose 0 = 5*o + 3*x + 2, -3*o - o = -5*x - 28. Solve -o*n - 4*a = -28, -a + h = -3*n + 4*a for n.
4
Let d be (-1 + 0)*(-532)/133. Solve d*z - 2*b + 12 = 0, 3*z - 2*b + 10 = -0*b for z.
-2
Let k(g) = 3*g - 6. Let a be k(-2). Let u be (-186)/(-24) - a/(-16). Solve 5*v + 3*t - 13 = u*t, 4*v - 4*t = 12 for v.
1
Let n be 876/48 + 2/(-8). Let v(k) = -k**3 + 19*k**2 - 12*k - 5. Let s be v(n). Let p = s - 100. Solve 5*g = 20, 5*l - p*g - 16 + 3 = 0 for l.
5
Suppose -14*y + 9*y - 3*l = -15, -20 = -4*y - 4*l. Suppose y = -3*f + 7*f - s - 39, -2*f + 25 = 5*s. Solve a - f = 3*b, -a - 3*b = b + 18 for a.
-2
Let u = 1362 + -1357. Solve 3*q + 2*c = -0*q + 16, -u*q + 35 = 5*c for q.
2
Suppose 46*j - 43*j + 3*d - 144 = 0, -4*j + 194 = 5*d. Solve -2 = -4*i - 44*r + j*r, -5*i - 3*r + 19 = 0 for i.
2
Suppose -20*r - 363 = -463. Solve -2*g + g - 3 = -2*p, 5*g - r*p = 0 for g.
3
Let z = 190 - 188. Suppose -6*s + 5*s + z = 0. Solve -s*r - 2*d - 12 = 0, 4 = -d + 2 for r.
-4
Let t be (-6)/14 + ((-66)/(-7) - 6). Suppose 0 = 5*x + t*q + 2*q, -5*x + 5*q = -30. Solve 4*l + 0*u - 21 = x*u, l = -u for l.
3
Let l = -91 - -111. Suppose -48*y + 52*y = l. Solve 0*k + 2*z - 10 = 4*k, -3*k - y*z = -25 for k.
0
Suppose 483 = 17*q + 398. Solve -2*r + 5*f = 5, 3*r + q*f - 20 = 10 for r.
5
Let b(j) = -16*j + 23. Let f(t) = 4*t - 15. Let d be f(4). Let k be b(d). Solve 2*q + n - k = 0, -4*q + 15 = -2*n + 5*n for q.
3
Let f = 364521 - 364518. Let a(i) = -i**3 + i**2 + 2*i + 1. Let l be a(2). Let x = -1 + l. Solve -3 = -x*n + 3*n + 3*r, -n + f*r = 13 for n.
-4
Let g = -252 + 257. Let i(a) = a**3 - 3*a**2 - 8*a - 6. Let z be i(g). Solve -3*y - 4*q - z = -y, 5*q = 4*y - 18 for y.
2
Let s = -2264 + 2267. Solve 0 = -4*j - y, 4*j - 3*j = s*y + 13 for j.
1
Let u = -3184 + 3196. Solve 4*k - 5*a + 22 = 0, 9*k + a - 11 = u*k for k.
-3
Let u(w) = -w**2 - 2*w - 1. Let t be u(-1). Suppose -4*o - 3*o = 0. Suppose -h + 3*h = o. Solve t = -h*f + 4*f + 2*n + 6, -2*f - 4*n = 12 for f.
0
Let q = 3400 + -3391. Let r(p) = p**2 + 3*p - 3. Let d be r(3). Suppose 6*n - d - q = 0. Solve 2*a = -5*j + 21, 2*j - 19 + 1 = -n*a for a.
3
Let r(c) = 9*c + 76. Let h be r(-8). Suppose -2 = -h*o + 3*t, -3*o + t = 2*t - 8. Solve -3*g = w - 8, o*w - 4*w = -5*g + 17 for w.
-1
Suppose -5*u - 39 = -12*w + 11*w, -5*u = 2*w - 93. Suppose -k = -44 + w. Solve k = 5*n - 3*y + 40, 5*y - 25 = n + y for n.
-5
Let o(u) = -u**2 + 9*u + 7. Let g be o(8). Suppose 0 = 5*w + 15*d - 18*d - 6, 3*d = -2*w + g. Solve -2*s - 3*j = 1, s + 5 = -3*s - w*j for s.
-2
Suppose 3*t = 2*o + 54, -60 = -3*t + 8*o - 5*o. Solve 2*z = -2*h + 10, t*z - 3*h + 13 = 15*z for z.
1
Let b = 61 - 53. Suppose 2*z + 2 = b. Suppose 0 = -4*x + z + 13. Solve 3 = -5*t + 2*m - 5, -x*t - 4*m = -16 for t.
0
Suppose -105*k + 360 = 15*k. Solve 5*s - 2*s - 9 = -k*c, -s = -c + 5 for s.
-1
Let l be (-7)/21*3*(-7 + 0 - -2). Solve 17*t + 5*v = 12*t + 15, -4*t + l*v - 6 = 0 for t.
1
Let y(j) = -1087*j + 5440. Let l be y(5). Solve -l*v - 38 + 23 = 5*s, 7 = -v for s.
4
Suppose -2*p - 4*s = 0, 5*p + 0*s = 5*s + 30. Let k = -129 - -129. Suppose 3*r - q - 3 = k, -p*r + q + 4 = -1. Solve r*o - o = 0, -2*t + 3*o = 0 for t.
0
Let k = 14091 - 14083. Solve 0 = 3*m + 4*a + k - 2, -5*m + 22 = -4*a for m.
2
Let s = 1706 - 1678. Solve -2*u - s = -2*i + 3*u, 4 = -2*i - 3*u for i.
4
Let u(j) = -4*j**3 + j**2 - 2*j - 2. Let t be u(-2). Let k be -36 + 4 + (3 + -6 - 1). Let h = k + t. Solve 4*l - 32 = 4*z, -z - 5*l = -4*l - h for z.
-3
Let h(y) be the first derivative of -y**4/4 + 4*y**3 + 6*y**2 + 15*y - 46. Let t be h(13). Solve -5*a - 3 = -3*f + t, -2*f = -5*a - 10 for a.
-4
Suppose 37*s - 22*s - 90 = 0. Suppose 4*f - 108 = -5*g - 16, 0 = -5*g + 4*f + 108. Suppose 0 = -s*k + k + g. Solve -2*l = -5*j + 28, 4*l - l + k = -2*j for j.
4
Let i(u) be the first derivative of 2*u**3/3 - 8*u**2 + 14*u + 246. Let x be i(7). Solve 4*f - 14 = -0*f + z, x = 5*f - z - 17 for f.
3
Let p(y) = -19*y - 1304. Let s be p(-69). Solve 5*q - 3 = -4*w, 0 = 5*q + 5*w - s*w - 21 for q.
3
Suppose 479*x - 483*x + 8 = 0. Solve x*t = 10, 3*c - 15*t + 12*t + 27 = 0 for c.
-4
Let h be ((-2)/3)/((-1)/(-6)). Suppose 3*s + 8 = -2*b + 30, -12 = -2*s - 2*b. Let z be 1*h/s + (-72)/(-30). Solve 0 = 3*a + 3*o - 6, 0*a = -a + o - z for a.
0
Let s be ((-2)/6)/(105/27 + -4) - 0. Solve s*k - 3*v = 0, 4*v + 5 = k + 2*v for k.
-5
Let q = 15626 + -15621. Solve q*u + 10 = -5*p, 3*u + 20 = -2*u for p.
2
Suppose 76*y + 2431 = 87*y. Let b = y + -208. Solve 3*c + 4*r - b = 0, 2 = -2*c - 4*r + 12 for c.
3
Let w = 0 - -4. Let t be (-12)/(-18) + 28/3. Suppose -16 = -t*g + 6*g. Solve -h + w*h + n - 12 = 0, g*h + 5*n = 27 for h.
3
Let l be (-14*14/(-196))/(2/478). Let s = l + -235. Solve -2*w + 4 = s*b, 3*b = 7*b - 5*w - 32 for b.
3
Let a = -20957 - -20957. Solve i + 2*s - 1 = a, s + 21 - 10 = -12*i for i.
-1
Let g = -21027 - -21033. Solve 7*i - 10*i + 2*l + 1 = 0, -g = 3*l for i.
-1
Suppose 0 = 55*m - 37*m - 198. Solve -4*p - m = 4*f - 19, -2*f + 5*p = 17 for f.
-1
Suppose 0 = 15*o - 21*o, 5*t = -5*o + 25. Solve 2*v = 5*n - 29, 3*v = -t*n + 27 - 8 for v.
-2
Suppose -k + 13 = 20. Let p be (-6)/k - 24/(-21). Solve l + 3 = -2*t - 0, 22 = -3*t + p*l for t.
-4
Suppose 30067 = -11*y + 30133. Suppose 1 = -i + 4. Solve -o = -5*w - 8, o + 0 = i*w + y for w.
-1
Let o = 157 - 157. Suppose -3*y - 4*y + 105 = o. Solve -4*k - 4*t + y = -7*t, 25 = k - 5*t for k.
0
Let v(s) be the second derivative of s**5/10 + 