2*w - 3 = -5*x - 16, -k*w - 2*x = 3 for w.
1
Let j = 250 - 247. Solve 5*y - 2 = -3*k - 0, 3*y - j*k = -18 for y.
-2
Suppose 40*w = 29*w. Solve -j + 3*t = -9, w = -3*j - 2*j + 5*t + 25 for j.
3
Let f = 151 - 146. Solve -2 = -5*g - j, f*j - 8 = 4*g + 2 for g.
0
Suppose 4*l - v - 17 = 0, 3*v + 7 + 8 = 0. Let w be (-28)/l - (-1)/3. Let h be (-38)/w + (-10)/45. Solve g - 2 = p, -4*g + 3*g + 2*p + h = 0 for g.
0
Let q be (2/5)/((-12)/(-360)). Let a be 1/2*(2 - q)/(-1). Solve 4*o - t = -2*t + 16, -2*o + a*t = -8 for o.
4
Suppose -5*n - v + 4 = -15, -5*v - 9 = -n. Solve 3*t - n = 7*t + 4*u, 2 = 3*t - 2*u for t.
0
Suppose 0 = -4*z + 4*y + 4, -3*z - 8*y + 7*y + 19 = 0. Solve -t - 3*n - 2 = -4*n, -t - z = 2*n for t.
-3
Suppose -20*r + 34 = -126. Solve 0 = 3*j + 3*t + 21, 4*j + 0*t - t = -r for j.
-3
Suppose 5*z = -5*d - 25, 4*d - 5*z - 25 = -0*z. Solve -g + 4 = -4*g + 5*j, -3*g + 3*j - 6 = d for g.
-3
Let g be (-27)/(-18)*24/9. Solve -5 = -2*d + q, 6 = g*d - 3*q - 7 for d.
1
Suppose -2*x = -4*q + 4, 9*q + 4*x = 6*q - 8. Solve q = -5*d - 0*d + 2*u + 14, 6 = 2*u for d.
4
Let k(f) = -14*f - 12. Let n be k(-2). Solve 11 = 2*s - 5*i, 0 = s + 4*s - i - n for s.
3
Let m = -18 + 12. Let w be 4/m + (-140)/(-30). Let f be (10/w)/((-2)/(-4)). Solve 0 = 4*k - 4*v - 8, 4*k - f*k = 4*v + 23 for k.
-3
Let d be 2 - (0 - -2)/(-1). Let a(u) = 2*u - 5. Let l be a(d). Suppose -15 = -l*s - 2*s. Solve s*g + 0*k - 4*k - 2 = 0, -18 = 5*g + 4*k for g.
-2
Let j = -10 - -13. Suppose j*n + 84 = 12. Let i = n + 46. Solve -i = -0*r + 3*r - 2*w, 5 = w for r.
-4
Let r = 37 - 35. Suppose 0 = r*m - 2*i - 16, 3*m = 2*i - i + 18. Let c be 8/3 - 2/(-6). Solve 5 = -3*l - 2*d + 21, m*d = -c*l + 31 for l.
2
Let v(t) = t**2 - 7*t + 2. Let b be v(4). Let a be b/35 - (-74)/14. Suppose a*m - 40 + 10 = 0. Solve -3*x + 6*r = r + m, 0 = 4*x - 2*r + 8 for x.
-2
Suppose -k + 689*t - 685*t = 18, -3*k + 5*t = 19. Solve -4*g + 3*g = 3*f + 19, -k*f - 6 = -g for g.
-4
Suppose 5*d = 2*f - 6*f, 0 = 4*d + 16. Suppose 0 = -s - 0*s + f. Solve -s*k = -2*m + 10, 4*m = -5*k - 15 + 35 for m.
5
Suppose -4*k - 4 = -8*k - b, -k = -2*b - 10. Solve -29 = -5*s + 3*d, k*d = -2*s - s + 6 for s.
4
Let u be (18/4)/((-18)/(-4) + -3). Solve -5*s - 29 = -h, -8*h + u*h = 3*s - 5 for s.
-5
Let z(y) = -5*y - 24. Let b be z(-7). Let i = 19 - 16. Solve -5*l + b = -k, -5*k + i = 4*l - 0 for k.
-1
Let u be (-1 + 13)*(-2)/(-8). Suppose -2 + 11 = u*z. Suppose -z - 2 = -v. Solve 8 = i + v*f, 3*f = 5*i - 5 - 7 for i.
3
Let f(b) = -5*b + 14. Let m be f(3). Let z be (4 - 0) + 0 + m. Solve 0 = 2*l - 2*x, -4*l + z*l - 18 = 5*x for l.
-3
Let d = -1150 + 1150. Solve -3*u = x - 6*u + 15, d = 3*x + 3*u - 3 for x.
-3
Let l(p) = p**2 - 33*p + 67. Let s be l(31). Solve 2*h + 3*v = -1 - 16, s*h = -5*v - 30 for h.
-1
Let r be (32/(-56))/(4/(-42)). Suppose -9 = -3*a + 2*a. Let l = a - r. Solve 2*z = -l*p + 17, 0*z = -z + 1 for p.
5
Let x = -1 - -3. Let k be 3 + 4/(-2) + x. Solve u + c - 8 = -2, k*u - c + 2 = 0 for u.
1
Let x be (6/(-8))/((-2)/8). Suppose -2*i - 4 = -4*t - 4*i, -t + 5*i = -12. Let j be x + 4/t + -2. Solve 2*z = j*z - 5*w + 1, 0 = -z - w + 5 for z.
4
Suppose -2*n + 7*n = 45. Let g(y) = y**2 - 8*y - 3. Let q be g(n). Suppose 0 = -5*r + 3*r + q. Solve 2*u = -4*h + 2, 0 = 3*h - 7*u + r*u - 18 for h.
2
Suppose c - 8 = -3*h, -3*c - 2*h = 2*h - 14. Solve m + 4*p - 15 = 0, c*p = 6 - 0 for m.
3
Suppose 16 = 15*t - 11*t. Solve -4*z = -m - t*m - 15, z - 6 = -m for z.
5
Suppose -4*a + 3*u + 39 = 11, -4*u = -4*a + 32. Let w = 4 + -2. Suppose 3 = w*q - 5. Solve 0 = -q*f + 5*f + z, 5*f + 3*z = a for f.
2
Suppose -3*c - 16 = -3*f - 19, 4*c - 5*f - 5 = 0. Solve b + c*g + 1 = 3*g, -5*b + 15 = -5*g for b.
5
Suppose -2*h + 0*m - 5*m = -12, -30 = -5*h + 3*m. Suppose 0 = 3*w + 5*k - h - 4, 2*k = 5*w - 27. Solve -v - 26 = -2*v - w*x, -2*x + 10 = 0 for v.
1
Suppose 4623*d - 4603*d - 460 = 0. Suppose -2*k = 4, -4*s + k + 7 = -15. Suppose 0 = 5*z - 4*z - 3. Solve z = 4*y - 5*h + 2, -2*y + d = s*h for y.
4
Let x(v) = -v**2 + v + 25. Let p be x(0). Let a = 29 - p. Solve w + 3*m = 0, 0*w + w + 7 = a*m for w.
-3
Suppose 0 = 4*n + h - 11, -5*h - 19 + 5 = -3*n. Solve 5*y - n = -w + 20, 0 = -4*w + 12 for y.
4
Suppose -c = 2, -9 = -3*v - c - 2*c. Suppose -4*w + 125 = -v*f, f + 36 - 5 = w. Let u be w/8 + 27/(-36). Solve -5*d - 3*z + 13 = 0, 3*z = -u*d + d + 7 for d.
2
Let p(u) be the third derivative of -u**5/20 + 49*u**4/24 - 7*u**3/3 - 24*u**2. Let h be p(16). Solve 3*g - h*a - 11 = 0, -2*g - 7*a = -2*a - 20 for g.
5
Suppose 0 = -0*o - 3*o + 6. Suppose -2*h + 30 = 3*h. Let g be ((-15)/h + 3)*4. Solve -o*r - 5*l + 16 = -r, -4*r - g*l = -10 for r.
1
Let l be 4/18 - 426/(-27). Let x(c) = c**2 + c - 9. Let y be x(-9). Let f be 4/(-20) - y/(-15). Solve 5*s - l = f, d - s = -1 for d.
3
Suppose -22 = -1602*f + 1591*f. Solve -4*l + 2*z + 12 = 0, 2*l + 4*z = f*z + 6 for l.
3
Let w be (12/9)/(-2) - (-35)/21. Let q(t) = 14*t + 2. Let j be q(w). Solve j = -2*c - 5*r, 5*c - r - r = -11 for c.
-3
Let l be (-6)/45 + (4/(-15))/(-2). Solve -3*c + 5*k + 16 = l, 0 = c - 8*k + 4*k - 17 for c.
-3
Suppose 59*a + 90 = 89*a. Solve -u = 4*s + 4 + 3, a*s + 4*u = 11 for s.
-3
Suppose z + 3*x - 9 = -0, -31 = -5*z - x. Let w = 98 + -103. Let s = z + w. Solve -7 = 4*a + q, 2*a + q + s + 4 = 0 for a.
-1
Let i = 952 - 950. Solve -3*c = -4*x - 9, 3*c - 4*c - i*x = -3 for c.
3
Suppose -308 = -5*x + 427. Suppose 3*n - 114 - x = 0. Let y be (-2)/(-1 - (-81)/n). Solve 2*o + 12 = 2*l, 0*l - 4*l + y = -5*o for o.
-5
Suppose 5*i = -l + 43, 11 = 5*i - 4. Suppose l*s - 10 = 26*s. Solve s*r - 8 = -4*c + 4, -3*c - 3*r + 6 = 0 for c.
-2
Suppose 0 = 2*n + 73 - 17. Let q = n - -31. Suppose 3*t + 6 = 3*k, 2*t + 5 = -q*k + 1. Solve -4*c - z = 3*z + 32, k = -3*c + z - 12 for c.
-5
Let v be -2*-1*(2 - 3). Let x = v - -7. Suppose 4*z = g - 19, -3*g = g + x*z + 8. Solve -g*m + 3*a + a - 26 = 0, 23 = -4*m + 3*a for m.
-2
Let z(i) = -5*i + 33. Let s be z(9). Let k(b) = b**3 + 10*b**2 - 23*b + 13. Let d be k(s). Solve 5*g + 3*j = -19, -3*j - 16 = 3*g - d for g.
-2
Let q be (-5 + 3)/(57/(-18) + 3). Suppose 4*b + 32 = 4*z, -5*b = -b + q. Solve z*y + 4 = -3*h, 4*y + 1 + 4 = -3*h for h.
-3
Suppose -6*n = -4*n - 10. Let l be 4/(-3)*(-3)/2. Solve l*g = -2*a, -n*g + a + 2*a - 8 = 0 for g.
-1
Let d be (11 + -15)*6/(-8). Solve -9 = r + y, r + 14 = -3*y - d for r.
-5
Suppose 56 = -5*j + 6. Let y = 0 - -9. Let h = y - j. Solve -3*i = -5*x + h, -i - 5*x - 5 = -32 for i.
2
Let s be (136/12)/(5/45). Let n = -100 + s. Solve p - 3*a + 8 = 2*p, -4*p - n*a = -12 for p.
2
Let m(a) = a**3 - 6*a**2 + 5*a + 4. Let p be m(5). Suppose -p*d + 2*d = d. Solve 3*n + 2*y + 5 = 0, 4*n = -d*n + 4*y for n.
-1
Let a(f) = f**3 + 4*f**2 + 3. Let z be a(-5). Let h be (-268)/z + 8/(-44). Suppose -5*s - 2 + h = 0. Solve -s*u - v = -3*u + 4, -12 = -5*u + 3*v for u.
0
Suppose 8 = 7*o - 6. Suppose 0 = 5*w - 3*m + o, m - 24 = -4*w - 3*m. Solve 0 = 3*s + w*v - 1, 0 = 2*s + 4*v + 2 for s.
1
Let t be (-2 - -2)*2/4. Let w = -28 - -48. Suppose 5*q = -0*q + w. Solve 2*v - 3*v + 7 = q*z, t = -4*v - 4*z + 16 for v.
3
Let r = 1993 - 1968. Suppose 0 = -z - y + 5*y - 11, 5*z - 4*y - 9 = 0. Solve 3*k - w + 8 = 0, -5*w + w = -z*k - r for k.
-1
Suppose -13*s = -8*s. Suppose -3*y = -5*y - 6. Let b = 1 - y. Solve -28 = b*t - 5*r, 12 = -s*r + 3*r for t.
-2
Suppose -266 = -5*n + 309. Suppose 3*r - 5*h + n = -0*h, 4*r + 3*h + 105 = 0. Let x be 2/10 + (-234)/r. Solve -l - 12 = 3*m + 2, 4*m = 4*l - x for l.
-2
Suppose 0 = -9*t + 4*t + 25. Suppose -13 = -5*f + 2. Solve -4*r - f - t = 2*s, 2*r = 2*s - 10 for r.
-3
Suppose -5*z - 5*b + 15 = 0, 0 = b - 4*b - 9. Solve 0 = -4*c - 16, -g + 4*c + z = g for g.
-5
Let h(i) = -i + 5. Let r = 82 + -89. Let u be h(r). Solve 5*q + 0*q = -5*l, -2*q + 2*l = -u for q.
3
Let o = -1915 - -1927. Solve 0 = -4*s - 2*u, -13*s = -o*s - 4*u - 18 for s.
2
Let x(w) be the third derivative of -w**6/120 + 4*w**5/15 - 7*w**4/12 - 13*w**3/6 + 14*w**2. Let f be x(15). Solve f*l + 2 + 0 = 5*c, 4*c - 5*l + 12 = 0 for c.
2
Let a = 312 - 290. Solve 9*h - 13*h + d + 17 = 0, -h - 5*d = a for h.
3
Let v be (3/(-10))/(222/(-1480)). Solve 4*a - 14 = v*l, -2*l + 7*l + 20 = -5*a for a.
1
Let f(u) be the first derivative of 2*u - 1/3*u**3 - 2 - 7/2*u**2. Let j be f(-7). Solv