Let u(t) = -2*t**2 - 12*t + 37. Let p be u(7). Let f = 145 + p. Solve 2*z + 6 = -r, f*z - 3 = z + 4*r for z.
-3
Suppose -21*h = -96 - 9. Suppose 4*z - 10 = -5*i - 15, -4*z + h = -5*i. Solve z = -2*l - 5*v - 7, -5*v + 1 = -l + 5*l for l.
4
Suppose -w + 2*d = 0, -3*w + 31 - 27 = -2*d. Solve 3*f = -2*f - 3*t - w, -4*t + 4 = 0 for f.
-1
Let r(q) = -108*q + 121. Let n be r(1). Solve 4*d - 3*z = -10, 7*d = 2*d + 4*z - n for d.
-1
Let r = -165 - -176. Suppose -22 = -r*n + 22. Solve 5*x = 7*x + 4*b + n, -5*x + 29 = -3*b for x.
4
Let h be 3/12 + 62/8. Let l = 10413 + -10409. Suppose f - 8 = -f. Solve f*b = 2*m - 12, h + 12 = -3*b - l*m for b.
-4
Suppose -64*w - 8 = 2*j - 60*w, 5*w + 15 = 0. Solve 13 = -b + 4*v, -2*v = j*b + 1 + 5 for b.
-5
Let q = 459 + -458. Solve -c + 7*y - 8*y - q = 0, c - 2*y + 1 = 0 for c.
-1
Let i = -3 - 41. Let d = i - 0. Let k be (-8)/(-44) - (3 + 652/d). Solve -4*f - k = -4*a, 4*f + 12 + 2 = 5*a for a.
2
Let x(f) = 2*f - 10. Let k be (10/8)/((6 - 0)/24). Let v be x(k). Suppose -5*z + v = -2*a + 21, 14 = 2*a + 2*z. Solve 0 = y - 5*g, 0 = -3*y - 2*g - a - 9 for y.
-5
Let y = -9975 + 9975. Solve 2*w = -y*o + 3*o, -2*o + 1 = -w for o.
2
Let c be ((-63)/14)/((-45)/(-75)*5/(-2)). Solve -5*b = 3*u, 5*u - 2 = -c*b + 14 for b.
-3
Let c = -6140 - -6142. Solve -9*m + 8*m = 1, -3*b - c*m - 17 = 0 for b.
-5
Suppose -7*l = -4*l - 537. Let t = l + -175. Solve t*h = -3*u + 3*h + 11, -4*u + 2*h + 18 = 0 for u.
4
Let b(u) = 7*u - 29. Let i be b(5). Suppose 0 = -10*q + i*q. Solve -3*y + 10 = 5*d, q*y - 2 = -d + 2*y for d.
2
Suppose -2*s + 21*d - 240 = 22*d, 5*d = -2*s - 240. Let p be ((-4)/6)/(2*8/s). Solve 3*z + 12 = 2*j - 2, -4*j + 24 = -p*z for j.
1
Let u(d) = d**3 - 9*d**2 - 19*d - 27. Let b be u(11). Let s = b + -4. Solve 5*q - l - 30 = 0, -4*q - 4*l - 10 = -s*q for q.
5
Let l(o) = -o**3 + 7*o**2 + 11*o - 12. Let s = -161 - -169. Let y be l(s). Solve -i = 2*n - 8, -i + 3*n - y = i for i.
0
Let u = 4580 - 4575. Solve m + 5*b = 9*b + 4, 4*m = u*b + 16 for m.
4
Let l(o) = o. Let p be l(7). Let d = -4 + p. Let q(m) = m**3 + 58*m**2 - 86*m - 1588. Let a be q(-59). Solve -a*x - 2*k = -4*k + d, 4*x + k = 8 for x.
1
Let c be ((-44)/187)/(8/(-68)). Suppose -c*i = -21*i + 228. Solve -2*g - i = -5*w, 4*g + 0*g = w + 12 for g.
4
Suppose -2*c + 2*b + 4 = 0, -181*b + 185*b - 22 = -2*c. Solve -c*r + 3*h - 10 = 0, -4*h = r + r + 30 for r.
-5
Let j(v) = -v**3 + 41*v**2 + 31*v - 1271. Let p be j(41). Solve p = -5*k - 5*x, 5*k + 9*x - 16 = 8*x for k.
4
Suppose 20 = 3*o + 2. Suppose 0 = -5*m - o + 46. Let a = 113 + -108. Solve a*y = z + m, -3 + 11 = 4*z for y.
2
Let n(g) = 66*g - 3958. Let a be n(60). Solve 96 - 110 = 2*t + 4*y, 0 = 4*t - a*y - 12 for t.
1
Let d = 43 - 34. Let g(h) = -h**2 + 10*h - 4. Let t be g(d). Suppose -t*b = -4*b - 2. Solve -b*a = 2*a + 20, -2*p - 4*a = 10 for p.
5
Let i(c) = 46*c - 2659. Let d be i(59). Solve 3*f - a - 2 = 0, -5*a - d + 45 = 2*f for f.
0
Suppose 9*p + 25*p - 100 = 9*p. Solve -h - 61*z - p = -60*z, -2*z = -4*h - 10 for h.
-3
Suppose y = p - 4, -54 = 2*p + 4*y - 56. Solve -22 = 3*d + 2*n + 2*n, 2*n + 14 = -p*d for d.
-2
Let o(q) = -12 + 2*q + 31 + 60. Let y be o(-29). Solve 3*s = -s - 5*m + 27, -5*m + y = 2*s for s.
3
Let b = 8 - 3. Let w be (18/10 + -3)/(33/(-110)). Solve 0 = b*t - 0*v - w*v, 5*v = t for t.
0
Let f = -18 - -10. Let r = f + 8. Suppose s + 5*x = 26, -5*s + 6*s - 3*x + 14 = r. Solve -z - 2*z - 4*u = -s, -z - 2 = -u for z.
-1
Let x(p) = p**3 - 17*p**2 - 16*p - 20. Let k be x(18). Suppose -4*z - 18 = 2*n, -2*n - 7 - k = 5*z. Solve 29 = 5*q + g, -3*q - g + 20 = n for q.
5
Let o(n) = 2*n**3 + 134*n**2 + 24*n + 1611. Let q be o(-67). Solve 4 = s + 2, q*a = 2*s + 11 for a.
5
Suppose -2*j + 22*x = 25*x - 45, 3*j + 2*x = 60. Solve 5*w = 5*g - 10, g - j*w + 6 = -13*w for g.
4
Let w = 9362 + -9362. Solve -10*z - 2 = -7*z + 2*i, -2*z - 4*i + 12 = w for z.
-4
Suppose -11 = -j - 7. Suppose -l - j*m + 8 = 0, 3*l + m = -12 + 14. Solve -2*p + 3*u + 8 = l, p - 2*p = -u - 2 for p.
-2
Let n = -34347 - -34361. Solve 36*a - 33*a - t + 4 = 0, 2*a - n = 4*t for a.
-3
Let t(l) = -l**2 + 7*l - 2. Let g be t(0). Let r be (-2)/(g*(-3)/(-21)). Solve -r = z + f, -3*f + 6*f = -z - 11 for z.
-5
Suppose -314*l = -110*l - 111 - 705. Solve -l - 12 = 4*r + 5*w, 5*r - 5*w + 20 = 0 for r.
-4
Let v be (195/9)/(35/126). Suppose -39*t + 78 = -v. Solve -25 = t*c + c, 5*c + 30 = -l for l.
-5
Let c = 5406 - 5401. Solve 0 = -c*v + 3*p + 11 - 3, -3*v - 8 = -5*p for v.
4
Suppose 803 - 68 = 35*g. Solve 4*u - 28 = -2*l, 23*u - g*u - 18 = -2*l for u.
5
Let j be 2/(-4)*6 + 258. Let a = j - 252. Solve 5 = -2*c - a*m, c - 13 = -4*c + m for c.
2
Let j(f) = 6*f**2 - 2*f + 5. Let h be j(4). Suppose 0*m + h = 3*m - 5*o, 2*m - 62 = 2*o. Suppose -6*t = 7 - m. Solve b + i = -3*i - 18, 4*b - 3*i = t for b.
-2
Let p = 1756 + -1751. Solve s = v - 7, p = 3*v + 2*s + 3*s for v.
5
Let c = -7896 + 7882. Let i(x) be the first derivative of x**3/3 + 13*x**2/2 - 10*x - 1. Let p be i(c). Solve 3*v - 3*n - 2 = 1, -3*v + 8 = -p*n for v.
-4
Let p(s) = 2*s + 7. Let f be p(0). Suppose -k = 5*t + 2*k + 11, -t - f = 3*k. Let r be t - ((-2)/(-2) - 7). Solve 0 = -3*h - 6, -3*h = r*d - 2*h - 18 for d.
4
Suppose 57*c - 3*i = 58*c - 9, -2*i - 8 = -4*c. Solve -17 = 3*q - 4*r, -5*r - 5 = -c*q - 27 for q.
1
Suppose -2*d + 2*m = -17 - 29, -19 = -d + 5*m. Suppose -99*w + 103*w - d = 0. Solve -p + w*p - 5*c + 30 = 0, 0 = 2*p + 4*c for p.
-4
Suppose 4*x - 2*x = -2*j - 34, 0 = 3*j - x + 39. Let o(p) = -p**2 - 15*p - 10. Let l be o(j). Solve s - 12 = 5*w, -l = -5*s - 0*w - 3*w for s.
2
Let j = 45 + -179. Let b = j - -137. Solve 0 = -b*o - 2*v + 20, 9 = 2*o + v - 3 for o.
4
Let g be -4*(-5 - 33/(-12)) + -4. Solve g*b - 21 = 4*h, 5*h - 5*b + 6 = -14 for h.
1
Suppose 16*l = 123 - 91. Solve l*n + 3*j = 3 - 1, -2*n = 4*j for n.
4
Let x be (57 + -47)*(21/140 + (-2)/(-8)). Solve x*m - 195 + 183 = 4*y, -5*y + 2*m = 0 for y.
2
Let x = 4099 + -4085. Solve -4*j - 5*l = x, j + 286*l = 281*l - 11 for j.
-1
Suppose 40*n - 24 = 9*n + 7. Solve -3*h - 12 = 4*x + 3, -x - n = -2*h for h.
-1
Let k = -10647 + 10651. Solve -50*a + 53*a = k*u - 4, -5*u - a + 5 = 0 for u.
1
Let j = -8 + 13. Let a(w) = -39*w - 403. Let k be a(-11). Solve -j*y + 18 = -l, 0*y + 5*l = -4*y + k for y.
4
Let s be 4237/323 + (-2)/17. Let i = -35 + 40. Solve 0 = i*m, -3*v + 4*m + 2 = -s for v.
5
Let p be (20/16 - -1)*(-23 + -1). Let n = p + 59. Solve n*r - 6 = -2*t + 1, r = 1 for t.
1
Let d(y) be the first derivative of -3*y**2/2 + 28*y + 8. Let i be d(16). Let k = 24 + i. Solve -2*u = -2*z + 2 + 4, -k*z - 18 = 2*u for z.
-2
Let n(b) = -b**3 + 40*b**2 + 85*b - 33. Let g be n(42). Let i be (g + -18 - -8)*0/1. Solve d + d + 2*r + 8 = 0, i = 4*d + r + 7 for d.
-1
Suppose 9*l = -525 + 570. Solve 3*c - 2*a = 19, l*a = -5*c - 45 + 35 for c.
3
Suppose -5*u - 30 = -g, -15*g + 35 = -11*g - 3*u. Suppose 6*n - 10*n + 6 = 5*d, 10 = g*n + 5*d. Solve -3*m - 9 = n*p, -15 = -3*p + 4*m + m for p.
0
Let h = -3924 + 3928. Solve -41 = h*j + 5*p - 28, -2*j + 1 = p for j.
3
Suppose w + 1 = 2*k, -37*w + 18 = k - 34*w. Solve -k*c - 3*x + 12 = 0, 11*c - 13*c + 3*x = 17 for c.
-1
Suppose -4*c + 9*c = 35. Let h(o) = -1214*o - 14563. Let i be h(-12). Solve -i*w + 11 = q, w - c = -3*q - w for q.
1
Let u(k) = k**3 + 17*k**2 + 2*k + 19. Let x be u(-14). Suppose -x + 575 = -c. Solve -5 = 4*q + 3*l - c, -l = -4*q - 21 for q.
-4
Suppose 4*m - 3*r = -1, -4*r = -32*m + 33*m - 14. Solve 3*v - 2*v = s + m, -3*v + 6 = -2*s for s.
0
Let u(w) = -4*w - 2. Let n be u(-4). Let s be 7 + -2 + 1701/(-7) + -4. Let y = s - -246. Solve y*l = 3*x - x + n, -7 = -3*l - 2*x for l.
3
Suppose 3*d - 114 - 90 = 0. Suppose 4*o - 4 = 3*o. Suppose o*r - 3*q = -7*q + d, 2*r - 27 = 5*q. Solve -5*h = 2*p - 20, 2*p - r = -3*h - 4 for p.
0
Let n be 19/(5415/38) - ((-264)/45 + 3). Solve 0 = -2*h + 116*m - 119*m - 1, -2*m + 21 = -n*h for h.
-5
Suppose 3*z + 1632 = 1644. Solve -2*x = -a + 6, 37*x = 35*x + z*a for x.
-4
Suppose -3*k + 15 = -9. Let y(x) = -x**3 + 21*x**2 - x + 23. Let g = 1462 + -1441. Let h be y(g). Solve h*b = 4*q + 4*b - 16, 0 = -2*q + b + k for q.
4
Suppose 0 = -14*r - 25 + 81. Suppose -5*d + 12 = 2*j, d + r*j = -15 + 3. Solve 0 = -3*y - 0*y, d*y - 15 = 5*u for u.
-3
Let m be -5 + 66/12 +