 Solve 0 = 35*t - l*t - 2*v + 2, -14 = 3*t - 4*v for t.
-2
Let v(t) = t**2 + 9*t + 17. Let u be v(-5). Let a be 4/u - 4/(-3). Solve -k = 4*w - 3, 3 + a = -5*w + k for w.
0
Let n = 2 - -10. Let c = -151 + 151. Suppose -9 = -3*o + 18. Solve 2*j = 2*u + n, -o = -j + 4*u - c for j.
5
Let y = 2238 + -2229. Solve -13 = 2*v - 30*l + 25*l, 0 = v - 5*l + y for v.
-4
Let o = 175 + -186. Let l(m) = -m**3 - 11*m**2 + m + 15. Let y be l(o). Solve -3*d - 5*c = 27, 0 = -3*d + y*c - 0*c for d.
-4
Let f(r) = -2*r**3 + 31*r**2 + 15*r + 22. Let v be f(16). Let l(q) = 2*q**2 - 4*q - 8. Let m be l(v). Solve 5*i = -4*b + m, 0 = -2*i + 4*i - 2*b + 2 for i.
4
Suppose -8*a + 179 = 19. Let u be a/(-5) - 4 - -4. Let g be u/(-12)*-3 + 26. Solve 2*s + 5*b + g = -0*s, 2*s = -b - 13 for s.
-5
Suppose 3*r - 5*n - 25 = 0, 3*n = -3*r + 49 + 8. Solve r = 3*j, -7*f + 2*j - 10 = -2*f for f.
0
Let r(q) = q**3 - 6*q**2 + 7*q - 6. Let h be r(5). Suppose 4*s = 4*y - 0*y - h, 4*y + 4*s = -4. Solve 0 = 5*c + 4*a - y*a + 2, 2*a = -3*c - 2 for c.
-2
Let n be -15 + 1/1 + 0. Let t = n - -71. Let f = t - 53. Solve 0 = l - f*b - 2, 1 = -l + 4*b - 3*b for l.
-2
Let f be ((-12)/192*-4)/(3 - (-141)/(-48)). Solve q = -3*h + 4, 16 = -5*h + f*q - 0 for h.
0
Let x(h) = -4*h**2 - 230*h - 93. Let k be x(-57). Solve -3*r + 1 = 2*l, 5*r - 5*l + k = -19 for r.
-3
Let k = 5 - 51. Let h = 54 + k. Suppose -h*j + 5*j = -9. Solve -j*i + 4*i + 3 = b, -i - 5 = 0 for b.
-2
Let m = -236 - -242. Let d be 39/m - (-3)/(-6). Solve -x + 2*l = -8, 4*l + d = 4*x - 6 for x.
-2
Let p = 4161 + -4161. Solve 4*z + 6*d - 10*d = p, -2*d + 10 = 0 for z.
5
Let u = -9 + 32. Suppose u - 115 = l. Let t = l - -95. Solve -3*p - t = v + 4, 4*v + p + 6 = 0 for v.
-1
Suppose 27*o - 42 = 26*o. Let m = 55 - o. Solve -3*l + 5*l - 16 = -5*x, 5*l = x + m for x.
2
Let s(b) be the second derivative of -33/2*b**2 + 5/6*b**3 + 8*b + 0. Let f be s(7). Solve -a - 5 = 2*y, -a + 4*y - 3*y = f for a.
-3
Let c(r) = r**2 + 107*r + 1674. Let x be c(-19). Solve 4*s - 4 = x*d - 2, -2*d = -5*s + 2 for s.
0
Suppose -4*r = 4*z - 392, 6*r - 388 = 2*r - 2*z. Suppose -35*d - r = -32*d. Let b = 37 + d. Solve 16 = -2*f + b*x + 36, 0 = -3*f - 2*x + 11 for f.
5
Let p(j) = 2*j + 20. Let f be p(-3). Suppose 0 = 4*u - 8, 4*u - f - 9 = -5*s. Let k be 2/(s*-1 - (-17)/5). Solve 5*t + 0*h - 2*h = 5, -k = -5*t - h for t.
1
Suppose -w = -3*w - 52. Let l be 4/10 - w/10. Suppose -2*q + l = -1. Solve -v = q*i + i + 4, -i = 4*v + 5 for i.
-1
Let u = 10827 + -10819. Solve 0 = b - 3*b - 4*j - 10, u = -3*b + j for b.
-3
Let t be ((-3)/6)/((-1071)/(-84) - 13). Solve 4*r - f = -2, 3*r - 8 = -t*r - 4*f for r.
0
Let d(j) = -2*j**3 + 40*j**2 + 45*j - 60. Let i be d(21). Let k(n) = -n**2 + 10*n - 20. Let x be k(5). Solve -y - 2*g = -7*g, i*y = x*g for y.
0
Let a be (-81)/(-12) + -4 + 9/(-12). Solve -4*h + a*w = -5 + 1, 0 = -3*h + 2*w + 4 for h.
0
Let h(z) = -20*z + 1. Let t(q) = 20*q - 1. Let k(n) = 7*h(n) + 6*t(n). Let a be k(-2). Let r = a + -35. Solve -r = -c - 0*f - 2*f, -3*c - 4 = -5*f for c.
2
Let r(j) = j**2 + 7*j - 75. Let t(k) = 2*k**2 - 24*k - 2. Let n be t(13). Suppose -3*b - 6 = -n. Let y be r(b). Solve u - w + 7 = -2*u, 10 = -y*u + 4*w for u.
-2
Let l(k) = -561 + 6*k + 3*k + 855. Let v be l(-32). Solve -2*n = v*h - h - 21, 2*n - h + 9 = 0 for n.
-2
Suppose -i + 4*k - 11 = 0, -3*i + k - 9 = -4*i. Suppose 3*c + 5*l = 4*l + 35, 0 = i*c - l - 61. Solve y - 5*y + c = 0, 5*j = -y + 18 for j.
3
Let v be 60*((28/21 - 2) + 0). Let q be (-4)/(-14)*(-420)/v. Solve 2 = -4*k - 5*s, -q*s = -3*k + 2*s - 19 for k.
-3
Let u = 5 + -5. Suppose -124*m + 115*m = -5*c - 11, -3*m + 3*c = 3. Solve -2*f - 4*s = -12, -m*s + 16 = f - u*f for f.
-4
Suppose 5 = 3*k - 10. Let i = -63825 + 63838. Solve -h - 20 = 4*m, -k*m - 12 = 5*h + i for m.
-5
Suppose 4*c + 5*p - 1280 = 0, -c = -0*c + 4*p - 331. Let a = c - 313. Solve a*o + 2 = u, -o + 5*u + 4 + 4 = 0 for o.
-2
Suppose 3*z + 4 = -0*z + 4*z. Solve 5*q - 5 = -x, -z*q - 1 + 9 = 0 for x.
-5
Let y = -17020 + 17028. Solve 6*w - v = 3*w - 1, -y = 4*w - 3*v for w.
1
Suppose 3*a = -12, -153 - 31 = -2*d - 4*a. Suppose 121 = 7*s + d. Solve -s*b - c + 5*c = -8, -4*b - 3*c = 6 for b.
0
Let q be (24/18)/(6*7/693). Suppose -a = a. Solve 5*p - i + q = a, 2*i = -4*p + p - 21 for p.
-5
Suppose -31*o + 34*o - 9 = 0. Suppose -h = -3*x + o, 2*x + 1 - 7 = 2*h. Suppose 0 = 2*q - 18 - x. Solve -4*p + q = -n - 4, p = -5*n - 23 for n.
-5
Let k(t) = -t**2 + 120 - 11*t - 164 - 37*t + t. Let g be k(-46). Solve v - 20 = -3*b, 2*v + 8 + g = 4*b for b.
5
Suppose -2*l + 11 = 65. Let i(v) = -3*v - 78. Let y be i(l). Let u be -4*(9/(-6) - -1). Solve -17 = -y*j - q, 5*j + u*q - 24 = j for j.
5
Let m = -300 - -322. Suppose m*t - 412 = 28. Solve 2*y = -3*d + 18 - 3, 0 = -3*y + 4*d - t for y.
0
Let d(y) be the first derivative of -y**3/3 - 33*y**2/2 - 96*y + 62. Let w be d(-29). Let m = 59 + -19. Solve -2*h + 5*c - 12 = -m, w = -5*c for h.
4
Let d be (-4)/(2 + 50/(-15)). Solve -d*g + 4 = -5*c - 25, -c - 4 = 0 for g.
3
Suppose 474*w - 108 = 471*w. Suppose -72*f + 60*f = -w. Solve f*u = 5*i + 2, 2*i = -3*i - 5*u + 30 for i.
2
Let f(q) = 114*q - 1822. Let c be f(16). Solve 24*k = 28*k + c*s + 18, k + 9 = -2*s for k.
-3
Let x(v) = 177*v - 525. Let s be x(3). Let i be (-6)/(-1)*1/3. Suppose 0 = i*f - 2*l - 12, 2*l = s*l + 12. Solve 3*t = 5*d - 14, -5*t - 16 = 2*d - f for t.
-3
Let l = -65 + 283. Let n = l + -214. Solve -b - 21 = -4*y, 0 = n*b - 7*b - 5*y + 22 for b.
-1
Let l = 3752 + -3747. Solve 5*k + 4*c = 0, -c = l*k + 4*c for k.
0
Suppose 2*n - 2*p - 664 = 0, -n - 993 = -4*n + 2*p. Suppose -6*a = n - 59. Let s = a + 67. Solve -19 = 3*w + 2*f, -5*w - s - 13 = 4*f for w.
-3
Suppose 3*n + 9 = 3*r, 2*r + n + 2 = 4*r. Suppose q - 5*q - 10 = -5*x, 0 = 2*x + 2*q - 22. Let a = x + r. Solve 0 = a*s + 4*m - m - 14, 5*s = -2*m + 11 for s.
1
Suppose -2*v = -10 - 32. Suppose 23*o + v = 67. Solve o*g + 0 = -2*u - 2, -4*g - 31 = -5*u for u.
3
Let b(v) = 4*v**3 + 23*v**2 - 10*v - 19. Let k be b(-6). Solve 0 = z + 4*d + 12 + 9, -k*z + 4*d = -15 for z.
-1
Suppose 274*s + 23500 = 744*s. Solve -49*a + s*a = y - 1, -4*a - 4*y - 12 = 0 for a.
-2
Let c(v) = 66*v - 721. Let s be c(11). Solve -42*q + 47*q = s, r = -3*q for r.
-3
Let l be 7/3 - 8/(-12). Suppose 5*k + 30 = 0, -3*u + 0*u + 6 = k. Solve u*a - 4*z - 39 = -l, -1 = a + z for a.
4
Suppose 0 = -5*y + 2*y + 12. Suppose -3*j + 47 = 44. Solve 2*h - v + j = h, -y*h - 8 = -2*v for h.
-3
Let h(t) = -76*t + 536. Let i be h(7). Solve -g + i*g = 3*u, -4*u + 6 = 2*g for u.
1
Suppose 3*h + 9 = 4*f - 0, 4*f = 24. Solve v - 4 + 10 = -2*r, -h*r = -v + 1 for v.
-4
Let i(o) = o**3 - 6*o**2 - 6*o - 3. Let h be i(7). Suppose 126*b - 2523 = 15*b + 1584. Solve -v = h*v - 3*q - b, -4*v + 16 = q for v.
5
Let a = 32231 + -32225. Solve -a*i + 4 = -2*d - 7*i, -2*d - 8*i - 4 = 0 for d.
-2
Let a(c) = c**2 - 125*c + 369. Let r be a(3). Solve -5*x - 5 = -3*m + 12, -3*m + 9 = r*x for m.
4
Let y = -833 + 889. Suppose 0 = -p - 53 - 1. Let z = y + p. Solve -z*q = -2*x + 6 - 18, 0 = -5*x + q - 22 for x.
-4
Let p(s) = 35*s - 208. Let y be p(6). Solve -t = 3*m + 2, 0 = -2*m + 2*t - 2 - y for m.
-1
Let l = -161 - -172. Suppose -15*x + 34 = -l. Solve -x*d = 5*i + 22 - 0, 4*d = -16 for i.
-2
Suppose -29*u + 134*u = 2835. Solve -k - 2*k = -5*i + u, -6 = -2*i for k.
-4
Let y(s) = 4*s + 80. Let v be y(-16). Solve 5*k - 5*o = v + 14, -5*k + 28 = -4*o for k.
4
Suppose d + 4*n = -3*d + 788, 3*n - 989 = -5*d. Let o = d - 123. Let k be (-26)/117 + o/18. Solve -3*x = k*h - 27, -x + 4*h - 17 = -2*x for x.
5
Suppose -63*m + 2680 = 979. Solve 1 - 7 = z + 3*w, -5*z = -4*w - m for z.
3
Let j(h) = -3*h - 1. Let w be j(-13). Let s = w + -38. Suppose s = c - 7 - 7. Solve 5 = -5*k + 4*t, k - 4*t - c = 1 for k.
-5
Let i = 297 + -206. Suppose -8*a + 5 = -i. Solve 3*d - p = -2*p + 8, d = -4*p - a for d.
4
Let a be 17/((-340)/195)*392/(-21). Solve 2*u = 5*o - 23, 0 = -3*u - a*o + 185*o - 21 for u.
-4
Suppose 12*u + 1 = 13*u + 2*a, 2*a = -10. Suppose 2*m - 14 = -0*f - 4*f, 4*f = 3*m - u. Solve 2*s + f - 8 = -5*b, 3*s = -2*b + 5 for s.
1
Let r(b) = -b + 4. Let k be r(8). Let n be 30/k*46/(-69). Suppose -2*g + 3*g - 14 = -3*i, 25 = n*g. Solve 4*z = -x + 2, i*x = 4*z + z + 6 for z.
0
Suppose 0 = 4*o - k - 13, -o + 