= w - 23, 0 = -3*w - k*t. Solve w*z - 8 = 4*j, 0*z = -2*z - 2*j - a for z.
-2
Let l = 639 - 633. Solve l = 3*p + 3*v, 5*p + 3*v - 5 = p for p.
-1
Let c(v) = -v**2 - 10*v - 19. Let s be c(-6). Solve -s*g - l = -4*l + 9, 0 = -3*g - 3*l - 15 for g.
-3
Suppose 0 = -2*u + 23*u - 42. Solve 4*p + 17 = -3*j, 0 = -6*p + u*p - 8 for j.
-3
Let t be 15/((-1215)/72)*-9. Solve 5 = 3*o - t*o + 3*f, -o - 24 = 4*f for o.
-4
Let c be 94/18 + -1 - 14/63. Suppose c*b + 9 = 17. Solve w = 3*g - 7, -3*g + 29 = -b*g + 5*w for g.
4
Let j be (-64)/14 + 4 + 884/28. Let n = -27 + j. Solve 30 = -r - n*r + 5*x, -5*r = x + 24 for r.
-5
Let x be (-172)/(-14) - 66/231. Solve -3*g = 3*s, -g + 6*g + x = s for g.
-2
Let u = -14 + 30. Let m be 64/u - 1/1. Solve 0 = -5*i - m*w - 7, -3*i + 0*i - 1 = 5*w for i.
-2
Let x = -14 - -23. Suppose 0 = -5*t + 3*n + 10 + x, -5*t + 2*n = -21. Solve -4*v = -5*y - 17, v + 0*v = t*y + 23 for v.
-2
Suppose -5*s = -5*w + 30, -2*w - s - 38 = -7*w. Let u = w - 3. Solve 0 = -4*z + 8, 0 = -u*q - 3*z + 5 - 4 for q.
-1
Suppose -9*y + 119 = -25. Solve 4*a = s + y, 5*s + 4*a - 20 = -a for s.
0
Let q = 20 + -55. Let w = q + 42. Suppose -w = o - 9. Solve 2*b - o*n = -4, 0 = -b - 0*b + 3*n for b.
-3
Let x(a) = -a + 2. Let j be x(-8). Let b be (j/(-15))/(2/(-12)). Let f(c) = -c**2 + 6*c - 5. Let y be f(b). Solve 2*i + y*d + 10 = 0, -i + d + 5 = -2*i for i.
-5
Suppose 45*s - 160 = 110. Solve -2*h + 2*q - 2 = 0, -s*q + 2*q = -h - 13 for h.
3
Let k be ((-2)/(-3))/((-6)/117). Let i = 19 + k. Suppose -5*c = -i*c + 4. Solve -4*y = 5*h + 4, -c = -h - y - y for h.
-4
Let n(s) = -s**2 - 13*s - 31. Let g be n(-11). Let u = -12 + 5. Let m = u - g. Solve 0 = m*w + 10, -2*b = 3*w - 8 + 21 for b.
1
Let t(r) = r**3 - 14*r**2 + 2*r - 12. Let s be t(14). Let z = s + -6. Suppose 0 = -f + z - 2. Solve -9 = j + 4*d + f, 5*j - d + 1 = 0 for j.
-1
Let u = 15 - -5. Let y = 30 - u. Solve -3*d - 3*a = 2*a + y, 4*d - a = 2 for d.
0
Suppose -t = -5*r - 29, -7 = -2*t + 4*r + 21. Suppose t*g = n - 13, -3*n - g + 6 + 7 = 0. Solve -k - 3*u - 2 = 14, n*k = -5*u - 40 for k.
-4
Let b(m) = -m - 17. Let o be b(-23). Solve 2*g = -4*n + o, 7*g = 3*n + 4*g for n.
1
Let w be 2 + -2 - (2 + -8). Suppose 24 = -5*k - w. Let p be (-9)/k - (-1)/2. Solve -5*f = m + 6, 0 = m - p*m + 4 for f.
-2
Let m(x) = -3*x**2 + 12*x - 10. Let f be m(6). Let s = f - -58. Solve -6*r + 2*r - 2*h = -4, 5*r - h = s for r.
2
Suppose -5 = r, -4*q - r - 4 = 3*r. Solve 4*a = 0, h = 2*h - 5*a + q for h.
-4
Let v(p) = 17*p - 15. Let y be v(1). Solve 7*r - y*h + 8 = 3*r, r + h = -2 for r.
-2
Let j(d) be the third derivative of d**5/60 - 7*d**4/24 + 7*d**3/6 - 5*d**2. Let v be j(6). Let k = -24 - -28. Solve -3*t + 13 = -0*t - k*u, -t = 4*u + v for t.
3
Suppose -42 = -3*q - 0*q. Let x = q + 16. Solve -3*p + 12 = k, -3*p = 5*k - x + 6 for p.
3
Suppose 5*r - 56*m = -53*m + 152, -3*r = 4*m - 68. Solve 2*g = -f - 3*f - 24, -3*f - r = 4*g for g.
-4
Suppose w - 2 + 4 = 0. Suppose 2*l + 0 = 6. Let z be w*(0 - (-2 + l)). Solve -4*u + 4 = -s + 5*s, 0 = z*u + 8 for s.
5
Let f = -5 - -9. Let q be (-13 + f)/(2/(-4)). Let r be 8/(-6)*(-16 + 13). Solve r*z = -d + q, -3*d = -2*z - 0*z + 16 for z.
5
Suppose 168 = 35*l + 21*l. Solve -5*z + 20 = 0, 0 = 4*i - l*i + 4*z - 15 for i.
-1
Let i = 6 + 0. Let a(s) = s**3 - 7*s + s - 10 + 15*s**2 + 5*s. Let n be a(-15). Solve 0 = q - n*o - i, 3*q = q + o + 3 for q.
1
Let f(c) = -6*c + 267. Let t be f(42). Solve 4*h + 8 = 3*p, -4*p + h + t = -0*h for p.
4
Let n be (1 - 2 - -2)*5. Let q = -10 + 15. Suppose -q*d - 10 = n*o, -8 = 2*d - 0*d. Solve b - 4 + 10 = o*j, -1 = -b - 5*j for b.
-4
Suppose u - 16*u + 75 = 0. Solve 0 = u*i + 2*g + 20, 4*i - 17 = 6*g - g for i.
-2
Let j be (-18)/63 + (3 - (-408)/7). Let k(y) = -y**3 - 4*y**2 - y + 1. Let q be k(-4). Solve -4*a + q*r - j = -16, 3*r = 15 for a.
-5
Let g = -120 - -127. Solve -5 = 2*m - t, 4*m + g = -t - 0*t for m.
-2
Let r = -37 + 56. Let m(x) = x**2 - 14*x + 18. Let d be m(13). Solve -2*y = -0*y - 3*z - 17, d*z = y - r for y.
4
Suppose -2*t - 2 + 4 = 0, -3*t = -2*h - 213. Let u be -2*(h/(-6))/(-7). Solve -2*d - 3*x = -10, -u*x + x + 6 = -d for d.
2
Let s = -173 + 177. Solve 0 = -3*x + s*y - 14, 2*x + 8 = -0*x + 2*y for x.
-2
Let v = 21 + 3. Let f = v + -18. Solve -5*b - 13 = -2*j + f, -2*b + 2*j - 10 = 0 for b.
-3
Let y(v) = -14*v - 53. Let h be y(-5). Suppose -5*g - 2*w + 98 = 0, -4*g + 2*g - w = -39. Let k = g - h. Solve 0 = 2*l - k*o + 4, 4*l - 4 + 12 = 2*o for l.
-2
Let j be (4 - 5) + 3 + (4 - 5). Solve -5*w + 4*n + j - 11 = 0, 0 = w + 5*n - 27 for w.
2
Suppose 0 = 5*m - 10, -k + 2 - 6 = -5*m. Solve -5*f = 4*h + 3, h + k = 2*h - f for h.
3
Let n = 33 - 31. Suppose -9 = -n*r - 3*i + 2*i, 4*i = -r + 15. Solve -1 = g - 2*v + 5, -r*v = 4*g - 20 for g.
2
Let k(h) = 9*h - 24. Let w be k(6). Suppose 3*v - w = -18. Solve a + v*o - 21 = 2*a, o = -a + 4 for a.
-1
Suppose 0 = -36*h + 44*h - 40. Solve -4*u = -h*a + 19, 3*u = -2*a + 2 + 1 for a.
3
Suppose 27 = 2*p - 5*d, -12*p = -13*p + 4*d + 21. Solve -u = 3*q + 7, 3*q - 2*q = -u - p for u.
2
Suppose 9 = -3*d - 2*u, 3*d - 3*u + 30 = 2*u. Let i be (3 - (d + 4))/((-3)/(-3)). Solve -5*y = 0, -i*o - y = -5*y + 8 for o.
-2
Let f(j) = 4*j + 65. Let q be f(-15). Solve 5*v - 2*c + 1 = 20, -q*c - 10 = 0 for v.
3
Let r = 35 + -38. Let k be ((-17)/r*3)/1. Solve 3*z - 3 - 4 = 4*a, -k = 5*a - z for a.
-4
Suppose -17 = -6*n + 13. Solve -i + j - 1 = 0, 3*i + 5*j = i + n for i.
0
Suppose -3*l + 8*l + 2*o - 8 = 0, -l + o - 4 = 0. Solve d + 10 = -l*d - 5*w, 0 = 5*w + 5 for d.
-5
Suppose 20*u = 45*u - 100. Solve -5*l = -0*j + u*j + 5, 3*l = 9 for j.
-5
Suppose -7*v - 13 - 15 = 0. Let y be (2 + 0)*(-4)/v. Solve n = -z - 0*z - y, -5*n + 2 = z for n.
1
Let t(r) = 28*r - 80. Let q be t(3). Suppose 0 = -2*u - 3*u + 15. Solve 6 = u*b + 5*m, b + b = 3*m + q for b.
2
Let h(g) be the first derivative of -g**4/4 + 2*g**3 + 5*g - 1. Let u be h(6). Suppose 0*q = -q + u. Solve 0 = -p - 3*n - 11, q*n + 10 + 7 = -2*p for p.
4
Let p(v) = -v**3 + 4*v**2 + 4. Let w be p(4). Suppose -w*z = -3*x + 3 + 9, -4*x = 3*z + 9. Solve 5*b + 4*c + 18 = x, -b - 6*c = -c + 12 for b.
-2
Suppose -40*v + 44*v - 40 = 0. Let d be ((-5)/v)/((-1)/4 - 0). Solve y - 5*y = 2*o - 4, 2*y = d*o - 10 for y.
-1
Let c(i) = -3*i**2 - 15*i + 3. Let p be c(-5). Solve 2*z - 3 = -5*o, -2*o + 4*z - 21 = p*o for o.
-1
Let o(g) = -3*g - 7. Let j be o(-5). Let c be (-5 + -2)*-1 + (5 - j). Solve y = -c*d - 12, 0*y = -3*y + 2*d + 20 for y.
4
Suppose -6*w + 2*w - 5*r = 0, 0 = 5*w - r. Solve -5*s = w, 0 = 2*f - f + 5*s - 5 for f.
5
Let h(s) = -s**2 - 13*s - 38. Let p be h(-5). Solve -m = -p*d - 9, -4*d = -5*m - 3*d + 18 for m.
3
Suppose 0 = 10*a - 60 + 10. Solve -2*w + 10 = -5*z - 1, 10 = a*z + 5*w for z.
-1
Suppose 37*n - 14*n = 46. Solve -3*z + 7*i = n*i - 20, -14 = -3*z - i for z.
5
Suppose -839*l + 15 = -834*l. Solve -29 = 4*n - l*x, 4*n + 35 = -0*n + 5*x for n.
-5
Suppose -86 - 226 = -12*l. Suppose 22*b - l*b = -20. Solve 8 = -4*t - 4*p, p + 0*p + b = -4*t for t.
-1
Suppose -13 + 15 = -f + 2*m, 2 = 5*f + 2*m. Solve -2*t - 3*t - 2*v + 11 = 0, f = 2*t - v + 1 for t.
1
Let k(i) = 8*i + 69. Let n be k(-8). Let b(y) = y**3 - 5*y**2 + 7*y - 6. Let f be b(n). Solve 27 = -5*v - 3*a, v - 4*v - f = 5*a for v.
-3
Let m = -108 - -112. Solve 15 = 3*y + 3*d, m*d = -0*y - 2*y + 12 for y.
4
Let d(h) = -4*h + 96. Let k(r) = r - 32. Let x(l) = -5*d(l) - 16*k(l). Let u be x(-7). Let b = -2 + 2. Solve -u*s - 3*z = -8*s + 8, z = b for s.
2
Let r(h) = 2*h**3 + 64*h**2 + 60*h - 60. Let w be r(-31). Solve -w*v - 8 = -2*d, 5*v = 4*v + 3*d - 4 for v.
-4
Suppose -3*u + 9 = -2*s, 5*u - 5*s - 9 = 1. Suppose -2*h = -3*c + 2 - 37, -5*c - h = 54. Let z = -5 - c. Solve 4*o - u*f - 19 - z = 0, 0 = 5*o + f + 5 for o.
0
Let a(u) = -u**3 + 9*u**2 + 7*u + 3. Let v be a(10). Let p be (2/6)/((-3)/v). Suppose -p*x = -2*x. Solve z - 2*m - 1 + 0 = x, -3*z + 4*m - 1 = 0 for z.
-3
Let q(t) = t**2 + 15*t + 8. Let p be q(-17). Let u = 59 - p. Solve 2*o + a = 7*o, -2*o - 3*a + u = 0 for o.
1
Suppose -3*s + 520 = 5*s. Let x = s - 60. Solve 25 = 3*m + 5*c + x, 3*m - 10 = 5*c for m.
5
Suppose -r - a + 7 = -6*a, -4*a = 4. Solve -7 = 5*d + r*q - 1, 2*d + 3*q + 9 = 0 for d.
0
Let j be ((0 + -3)*1)/((-82)/1066). Suppose 2*f - 3*y - j - 21 = 