Solve 2*t + v*t - 3*c = 1, -5*t = -5*c - w for t.
2
Suppose 2*v + 2 = 2*f, -4*f + 9 = -5*v + 7. Suppose 6 = -2*l + 4*w, -6*l + 8*l + v*w = 18. Solve 0 = u - 2*o - 2, -l*u - 1 + 4 = -3*o for u.
0
Let u be (0 - 42/9)*12/(-7). Solve k - 3*b - u = -4, 0 = 4*k + 5*b - 16 for k.
4
Let c be (-2 + 1)/(1/(-20)). Suppose 4*q = -z - z + c, -3*z = q - 5. Let b = -23 - -34. Solve q*u + 13 = n, -u - 5*n + b = u for u.
-2
Suppose 0 = -42*r - 39*r + 243. Solve -26 = -r*i + q - 31, 5*i = -3*q - 13 for i.
-2
Let g(o) = 2*o**3 + 45*o**2 - 23*o. Let j be g(-23). Solve j = 3*q + 3*p - 0*p - 6, -4*p = q + 7 for q.
5
Let h(t) = -47*t - 467. Let u be h(-10). Solve u*a + 12 = -5*p + 5, 4*a = -2*p for p.
-2
Let m = -163 - -258. Suppose -102*h + m*h = -21. Solve -z + 4*z = -h*n - 18, -z + 2 = -3*n for z.
-4
Let q(a) = a**3 + 5*a**2 + 2*a - 3. Let o be ((-24)/30)/(2 - 32/20). Let c be q(o). Solve -6*j - 4*l = -3*j + c, -15 = -5*j + 5*l for j.
1
Let z(d) = 5*d**2 - 308*d - 117. Let s be z(62). Solve -8 = s*u - 11*u - 10*b, 2*u = 2*b - 10 for u.
-3
Let y be -1*(-3 + -3 + 1). Let h(c) = 9*c**2 - 5*c + 4. Let o be h(3). Suppose -6*s = 8*s - o. Solve s*d + y*l + 0*l = -15, 2*d - 24 = 4*l for d.
2
Let j(o) = o**2 + 10*o - 31. Let u be j(4). Suppose -9*k + 20 = -u. Solve -i - 2*i - 3 = -w, 5*w = -k*i - 5 for i.
-1
Suppose -4*s + 112 = 4*y, -5*y + 4*s = -0*s - 140. Suppose 2*t + 4*r - 5*r = y, 0 = 3*t - 3*r - 36. Solve -4*b + 3*m - 20 = 0, 3*b - 2*m = -b - t for b.
-2
Let b = -2434 + 2442. Solve 0 = b*j - 3*j + 25, j = 4*f - 25 for f.
5
Let n = -15 + 5. Let z be (2/n)/(4/60*-1). Solve 0 = -x - 4*d - 9 + 3, 10 = 2*x - z*d for x.
2
Suppose -659 = -2*a - 5*x - 216, 3*a - 4*x = 722. Suppose 7*r = 10*r + a. Let s = 80 + r. Solve 2*b = 2*t, 3*t - s*b = -5*b + 18 for t.
3
Suppose 13*d - 2 = 284. Let r be d + (-6)/(-6) + -6. Solve -5*s - 11 = 2*u, -3*s = u - 5*u + r for s.
-3
Let d = 28 - 28. Suppose 3*s - 311 + 86 = d. Let p be 420/s - (-6)/(-10). Solve -58 + 13 = 5*u + p*h, -4*h - 1 = -3*u for u.
-5
Let t(a) = -2 - 3*a + 27 - 6 + 2*a. Let h(z) = z**3 - 4*z**2 - 10. Let x be h(5). Let k be t(x). Solve -3*g - 6 = -0*g, -g + k = -2*u for u.
-3
Suppose 102*s = 50*s + 108*s - 784. Solve -19*q + 23*q = 2*j, s = 5*q + j for q.
2
Suppose 4*v - 7 = -3*i, 2*i + 5*v = v + 2. Let j = -10514 - -10518. Solve -2*o = 3*o + 4*b, -j*o - i*b = -9 for o.
-4
Let z = 407 + -400. Solve 0 = 5*p + a - z + 17, 5*p + 4*a = -25 for p.
-1
Suppose 0 = 20*s - 29 - 51. Let o be (3 + (s - 7))*1. Solve j - 2*j - 3*p + 15 = o, -j = p - 5 for j.
0
Let a = 245 + -242. Suppose 0 = 4*m + 2*j - 8, 2*j = -m + 2 - a. Solve 0 = 3*i - r + m*r - 14, -1 = -r for i.
4
Let l(h) = h**3 - 20*h**2 + 14*h + 99. Let j be l(19). Suppose 0 = -3*c + 6, -6*b - j*c = -10*b + 32. Solve -4*v = -2*w + 8, 0 = -w - 2*v - 6 + b for w.
4
Let n(t) = -t**3 + 5*t**2 + 3*t + 7. Let q be n(7). Let c = q - -85. Let k = -10 + c. Solve 5 = k*g, 6*g + 3 = -2*v + g for v.
-4
Suppose 178 = 2*c + 4*v + v, 4*v = 8. Let n = c + -71. Solve -n = 2*h - a, 0 = -5*h - 0*a - 4*a for h.
-4
Let h(y) = -2*y**2 + 35*y + 25. Let k be h(18). Solve -29 = -4*d + 5*s, -1 - k = 2*d + 2*s for d.
1
Let s be -2 + 5 + 0 + 0. Let a(u) = -2*u**2 - 11*u + 24. Let f be a(-7). Let t be 9 + (-6 - f/(15/(-10))). Solve -c - 6 = h - s*c, -h = -t*c + 15 for h.
0
Let q = 25 - 3. Let l(p) = p**3 + 36*p**2 - 75*p + 42. Let t be l(-38). Solve 20 = -3*z - z, q = k - t*z for k.
2
Let k = -3391 - -3391. Solve -4*y - c + 21 = k, 2*y - 16*c - 6 = -12*c for y.
5
Let o(z) = -226*z + 453. Let t be o(2). Solve -4*r + 23 = -3*x, -4*x - t - 23 = -2*r for r.
2
Let a = 201 - 201. Suppose a = -14*t + 15*t - 7. Solve 2*l - 1 + t = 4*x, l + 1 = 4*x for x.
-1
Let d(i) = i**3 + i**2 + 6*i + 36. Let n be d(-3). Solve 4*o - 3*s = -3, -5*o + 11*s - 12*s + 1 = n for o.
0
Let y be 8 + (8*(-50)/(-24) - (-16)/(-24)). Solve -10*j = 4*d - 6*j + y, -2*d - j - 9 = 0 for d.
-3
Suppose -2*m + 104 = 11*m. Suppose -3*t = -4*k - 6, -2*k + m = 4*t - k. Solve -4*p - 2 - t = -n, -5*n - 4*p = 28 for n.
-4
Let d = -11634 - -11636. Solve g + d*v - 7 = 0, -3*g + 33*v = 30*v + 15 for g.
-1
Let u = -276 - -276. Let q(i) = -2*i**2 - i + 16. Let j be q(u). Solve a - 3*t = -0*t + j, -t = a for a.
4
Let d be (-74)/14 - -5 - 116/(-14). Suppose 5*u - 35 = -3*f, -3*u + 85 = d*f - 3*f. Let o be 2/(-6) - (-2)/6. Solve 5*q - f = o, r = -5*q + 8 + 13 for r.
1
Let b = -629 - -632. Suppose 0 = 12*p + 38*p - 300. Solve 0 = b*s, c = p*c + s - 5 for c.
1
Let a = 315 - 299. Suppose -d - 5*t + a = 0, -2*t - 4 = -8. Solve -5*c = -2*z + 21, d*z - 2*z - 4*c - 24 = 0 for z.
3
Suppose -3*u = 3, 4*u + 540 = 5*t - 1774. Let v = t - 460. Solve 0 = g + 5*b - 15, -5*b = 6*g - v*g for g.
-5
Let m = 59 + -57. Let p be (1 + -2)*(m + -2). Solve -t - 3*h + 16 = p, 2*t - 2*h + 4 = h for t.
4
Let n = -1341 + 1344. Solve n*s - 4 = 5*b - 6, -2*s + 6 = 4*b for s.
1
Let j = 6032 + -6030. Solve -w = 5*n - 6*w - 5, 2 = j*n - w for n.
1
Suppose -4*g + 30 = -2*f, 3*g + 5*f - 24 = 2*g. Let w be 1*g + (-1 + 4 - 6). Solve 3*y - 5*i - 14 = 0, -3*i + 4*i = -y - w for y.
-2
Suppose -1875 = -12*w + 1797. Let x = w - 296. Solve -a + t = -3*a + x, -2*t = 0 for a.
5
Let p = -84 - -183. Let h = 154 + -123. Suppose 10*l = h + p. Solve -f - 3*k - l = 0, 0 = k + 2*k + 12 for f.
-1
Suppose -170 = 4*a + 2*n - 180, 20 = 5*a - 5*n. Solve 3*u - 3 = -a*t, 5*t - 5 = 121*u - 120*u for u.
0
Let j = 3841 + -3840. Solve 2*k + 32*i - 13 = 29*i, k = i - j for k.
2
Let n = -25 + -7. Let x = n + 28. Let y be (10/3 - 4)*6/x. Solve -j - 5 = -4*l, j + y - 2 = -2*l for l.
1
Suppose -4 = 3*a + 5, -4*m = 3*a - 3. Let o be 9 + (-16)/2 + m + 0. Solve 5*r + y = -19 + o, -r - 7 = y for r.
-2
Suppose 0 = 2*t + z - 1 + 12, -1 = 2*t - z. Let w be t/(-2)*(-40)/(-12). Suppose 13*j - 18*j = -15. Solve 5*m = 5*l - 10, 0 = -w*m + j - 18 for l.
-1
Let n(o) = -o**3 + 21*o**2 - 45*o - 148. Let i be n(18). Solve 3*l = -4*b - 20, -5*b = -3*l + i - 16 for l.
-4
Suppose 2*g + 12 + 4 = 3*c, g + 7 = c. Let l = -488 + 504. Let k be l/5 + g/25. Solve o - 20 = 5*n, -2*o - 3 + 4 = k*n for n.
-3
Suppose 12 = -w - 4*x, -5*x - 65 = -3*w - 2*w. Solve r - 2*n = w, 8*r - 9*r - 7 = 3*n for r.
2
Let p be (-2 - 0)*(-1 - 137). Suppose -15*x = -21*x + p. Suppose z - 2*m = 28, m - 21 = -4*z + x. Solve -h = -4*l + 14, -l = 5*h + l - z for h.
2
Let v = 6362 - 6360. Solve -9*c + 6*c - 1 = x, 0 = -4*x + v*c + 24 for x.
5
Let o be -6 - -7 - (-2 - 1). Let g(k) = -k**3 + 7*k**2 - 12*k + 14. Let z be g(5). Solve -6 = 5*w - o*r, -z = -r - 0 for w.
2
Suppose -36 = 6*v, 0 = -4*b - 3*v + 41 - 39. Solve -2*f - 4 = 53*m - 52*m, -b*m + f - 20 = 0 for m.
-4
Let q be ((-299)/(-46) + -9)*8/(-10). Solve q*y + 16 = -4*g, -4*g + 108*y = 105*y + 6 for g.
-3
Let w(k) = -k**2 - 10 - 10*k - 6*k + 2*k**2 - 2*k**2. Let s be w(-15). Let y(x) = -6*x + 35. Let j be y(s). Solve 0*f + 2*f - 5 = -3*l, -j*l + 1 = -4*f for f.
1
Let w = 42 - 21. Suppose 92*x = 85*x + w. Solve -s - 26 = 2*c + 4*s, x*s = 3*c - 3 for c.
-3
Let j = -72 + 39. Let n = 37 + j. Suppose n*i + 1 = 13. Solve -3*v + 0*q + 24 = 3*q, i*v - 16 = -q for v.
4
Let k(w) = 8*w**2 + 9*w - 15. Let d be k(2). Let o be ((-2 - -7) + -1)/(1/2). Suppose -o*t = 3*t - 33. Solve 5*b - d = 4*i, -b - t*i - 6 = 2*b for b.
3
Let i = -21 - -24. Solve 2*x + i*z - 10 = 0, 2*x + 2*z - 3 = -3*x for x.
-1
Let k be 17 - ((-18 - -22) + -24). Solve 5*q - 5 = 0, -9*q = 5*l - 11*q + k for l.
-7
Suppose 2*v = a + 7, -3*a - 13*v = -12*v - 21. Solve 5*x - 3 = -3*z, a*z + 79 - 56 = x for z.
-4
Suppose 3*q - 10*q = -224. Let l be (-1 + 1)/(-1 + 3). Suppose -y + 5*y - 8 = l, -2 = -z - y. Solve -2*f = -n + 6*n + 7, z = 4*n - 5*f + q for n.
-3
Suppose -7 = -11*i + 4*i. Let j(c) = 5*c**3 - 4*c + 2. Let f be j(i). Solve 4 = u - 0*u + z, 0 = 4*u - f*z - 23 for u.
5
Let x be 12/(-30)*53*-25. Suppose 0 = -4*s + 566 - x. Solve 3*t - s - 6 = k, 5*t - 25 = -k for k.
0
Let h be (-13)/((-26)/36)*5/(-10). Let c(m) = 8*m + 73. Let j be c(h). Solve 0*a - a + 5 = 2*r, r - j = a for a.
1
Let b be ((-52)/208)/((-1)/((-60)/(-3))). Solve 6*j = 7*j + 5*a - 9, 12 = b*j - 8*a for j.
4
Let v(i) = 4*i**2 + 17*i - 197. Let k(m) = -3*m**2 - 18*m + 195. Let o(s) = 3*k(s) + 2*v(s). Let p be o(-27). Solve d + d - 2 = p*z, -3*d = -4*z - 7 for d.
-3
Let j(h) be the second deriva