3 = 2*m - u for m.
-4
Suppose -g - 35 = -4*m - 47, -g - 3*m = 9. Solve -10 = -g*h - h + 3*b, 6 = h - b for h.
4
Let h = 10 - 31. Let d be 12/h + 101/(-7). Let z be 4 + 5*(-6)/d. Solve 3*j = -2*t + 6, 0 = j + j + 2*t - z for j.
0
Let v be 8/3 + (-8)/(-24). Suppose 0 = 2*s + 5*q + 4, 5*s + q - v = 10. Solve -s*k = 4*w + 7, -w - 4 + 5 = -2*k for k.
-1
Let y = 29 + -11. Suppose 0 = -5*m - 118 + 43. Let d = y + m. Solve 2*i + 1 = -5*w + 5, -2*i - d*w = -4 for i.
2
Suppose 4*o + 69 + 15 = 0. Let d = o - -25. Suppose 0 = -d*g + 54 + 30. Solve -3*s = -4*k + 17, g = -0*s - 4*s + 5*k for s.
1
Let v(r) = -r**2 - 6*r - 1. Let i(p) = -2 - 3 + 3*p**3 - 2*p**3 - 7*p**2. Let y be i(7). Let w be v(y). Solve -w*a - 12 = b, 2*b + 5*a + 6 = 3*a for b.
0
Let q(p) = -14*p + 296. Let n be q(21). Solve -5*v - 5*i = -3*i + 18, 3*v = -n*i - 14 for v.
-2
Suppose -4 = 4*w - 100. Solve -x = 4*l - w, 10*x = -l + 7*x + 17 for l.
5
Let n(b) = -b**3 - 3*b**2 - 4*b - 3. Let w be n(-2). Let s = 8 + -4. Suppose -10*m + 20*m = 20. Solve m*h - w = 5, -4*h = -s*o - 32 for o.
-5
Suppose 4*f = -20, -15*h + 17 = -16*h - 5*f. Solve 4*o = 5*l - h, 0 = -2*o + 2*l + 3 - 5 for o.
3
Let j(w) = 0*w + 4*w - 5*w. Let q be j(-2). Suppose -d - 2 = -x, 5*d = -2*x - q*x + 26. Solve -4*y + v + 2 = 2*v, -5*y = v - d for y.
0
Let s be 60/6*(-1 - -26). Suppose 3 = 3*z, -4*a - 2*z + s - 16 = 0. Suppose 3*f - a = -1. Solve w + 4*u = f, 2*u = -2*u + 20 for w.
-1
Let k be 6*(-3 + (5 - 3)). Let g be 36/14 + k/(-14). Solve f + 11 = -5*t, -5 = -f - 0*f + g*t for f.
-1
Let o be -2 - (13 - 3)/(-2). Suppose -o*l - 13 = -4*j, 2*j - 4 = j + l. Solve 0 = -v + j, z = 2*z + 4*v - 2 for z.
-2
Let j be (6/(-4))/(59/(-118)). Solve -4*l - 4*o = 24, o - 7 = j*l - 1 for l.
-3
Let g(t) = -79*t - 307. Let u be g(-4). Solve -r = -4*q - 7, -7*r = -5*q - u*r - 12 for q.
-2
Suppose 0 = 28*f - 11*f - 85. Solve -o - f*l + 5 = -l, -o = 5*l - 7 for o.
-3
Let w = 46 - 29. Suppose 3*c + 5 - w = 0. Solve -5*k = c*o + 22, -4*o - o = k + 17 for o.
-3
Let b be 67/7 + 6/14. Suppose n + 0 - 2 = 3*i, 5*n + 3*i = b. Solve 3*h - s = -n*h - 1, 0 = 2*s - 2 for h.
0
Let s(o) = 3*o**2 + 6*o - 16. Let f be s(4). Suppose f = 4*j + 48. Solve -28 = -4*w - 4*m, 3*w + 2*w = -j*m + 20 for w.
2
Let n be (-65)/(-5) - (-16 - -26). Solve -n*y + 5 = k, 31*k = -5*y + 26*k - 5 for y.
3
Suppose -16 = -4*l, -2*l - 2*l - 54 = 5*j. Let t = j - -14. Solve -5*b = -4*a - 3*b + 20, t = 2*a + 4*b for a.
4
Let n(x) = -x**3 + 4*x**2 + 8*x - 11. Let i be n(5). Suppose 4*g - 17 = 5*o - 6, 2*g = -i*o + 12. Solve -j + 4*v - 6 = -g*j, 4*v = j + 14 for j.
-2
Let a be (1 - 0) + (-549)/(-9). Let b = 65 - a. Solve t = b*i - 3, i + 0*t - 17 = -5*t for i.
2
Let s be 51/9 + 4/(-6). Suppose 0 = -5*a - 5*k + 15, -3 = -3*a + 112*k - 113*k. Solve -y = -2*w + 2*y - 6, 3*w - s*y + 9 = a for w.
-3
Let x(j) be the first derivative of 3*j**2/2 + 17. Let i be x(5). Solve b = t + 5, 0*t - i = 4*b + 3*t for b.
0
Let y = -7 - -17. Let l be 74/(-10) - 4/(-10). Let m = y + l. Solve -2*q + 6*q = 5*g - m, -4*g - 5*q = 14 for g.
-1
Let z = 253 - 251. Solve -5*o - 5*y - 15 = 0, -2*o = z*o + 2*y + 14 for o.
-4
Suppose 5*i = -5*f + f + 6, -5*i + 5*f = -15. Solve 4*l + 20 = i*l + 5*p, 8 = -5*l + 2*p for l.
0
Suppose -p + 5*p = 72. Let w = 35 - p. Suppose 5*k - 37 = -3*c, k - 6*k = -2*c - w. Solve a = -f, 18 - 6 = -k*f - a for f.
-3
Suppose 2586*w - 2564*w = 88. Solve -4*f = -2*f + 2*g - 8, 14 = -w*f + 2*g for f.
-1
Let h(q) = 3*q**2 - 6*q**2 + 2*q**2 + 5. Let f be h(0). Let w = -18 + 36. Solve -10 = f*n + r, n - 4*r = -n + w for n.
-1
Let b(n) be the first derivative of 5*n**2/2 - 3*n - 12. Let i be b(1). Solve -3*v + 2 = -2*a - i, -v - 3*a = 6 for v.
0
Let u(y) = y**3 + 3*y**2 - 3*y - 6. Let m be u(-3). Solve 5*v - 11 = 5*w + 9, m*w = 2*v - 8 for v.
4
Let r be ((-18)/3)/(21/(-14)). Suppose 5*m - 6 = 3*p, -12 + 0 = -3*p - m. Solve 3*x + 6 = -p*n, n = -n - r*x for n.
-4
Let r = 1 + -1. Suppose r = -5*z + k + 37 + 25, 3*z = -k + 42. Let g = z + -10. Solve g*d = 3*l - 9, -l - d = 4*d + 21 for l.
-1
Let c be (-2)/(-5) + 408/255. Solve -10 = -2*l + c*y, -5*y - 22 = -7 for l.
2
Let d be -31 - 5/(20/(-16)). Let w be (-6)/d + 16/9. Solve -2*m = 2*l - w, 4*l + 3*m + 1 = 6 for l.
2
Let i(j) = -119 + 285 - 128 + 7*j. Let h be i(-5). Suppose -4*u + 3*t = -3, 3*t + 4 = 3*u - t. Solve u = p + h*o - 0 + 7, 7 = 3*p + 2*o for p.
5
Let s(q) = -55*q - 150. Let c(n) = -7*n - 19. Let z(b) = 25*c(b) - 3*s(b). Let x be z(-3). Let h = 7 - 5. Solve -h*t = -5*u - 21, u - x*t + 10 = -3*u for u.
-5
Let r = -127 + 133. Solve 4*o + 5 = j, o + j = r*j - 6 for o.
-1
Let i(k) = 36*k - 2. Let u be i(1). Let f = u - 27. Solve f*x = 6*x + 3*q + 17, -3*x + 7 = 2*q for x.
5
Suppose -5*z - n = -3, 0*n = 2*n + 4. Suppose -5*x - 18*h - 5 = -23*h, 9 = 3*x + h. Let t be (-1)/(x/(-6*z)). Solve -1 = k - l + t, 5*k + 2*l + 6 = 0 for k.
-2
Suppose -3*n + 110 = 4*a + 50, n - 32 = -2*a. Solve -4*w = g + a, -8 = -w - 5*g - 3 for w.
-5
Suppose -4*g = -d + 35, -2*d - 3*g = -d. Suppose d = t - j, -4*j - 1 = t + 4. Suppose 0 = -t*i + 8*i. Solve 2*h - 4 = -i*h, 3*s + 5*h = 25 for s.
5
Let h = 485 - 481. Solve -k + 4 = -0*k + w, k - h = -2*w for k.
4
Let l(p) = 2*p + 47. Let r be l(-22). Suppose 31 + 8 = r*z. Solve -2*v + 2*a + 2 = 2*v, -3*a = -v + z for v.
-2
Suppose -8*g = -2*g - 132. Let w = 37 - g. Let t be (4/10)/(3/w). Solve 0*h + t*d = -h + 4, 3*h - 12 = -2*d for h.
4
Suppose -7*s + 40 = -2*s. Let p(b) = b**2 - 6*b - 7. Let g be p(s). Solve g = 3*t, -9 = 3*a - a - 3*t for a.
0
Let o(p) = p**2 + p - 4. Let y be o(2). Let a be ((-12)/24)/((-1)/y). Suppose -4*r = a - 17. Solve z = -3*d - r*z + 19, -3*z = -15 for d.
-2
Suppose -i + n - 5 = 0, i - n - 4 = -3*n. Let a be 0 + -1 + i - -4. Solve x + c + 0 - a = 0, 2*x = 3*c + 22 for x.
5
Suppose v - 72 = 9*v. Let r = 13 + v. Solve a + r = 4*g, 3*a - 8 = a for g.
2
Let u be (-2 + 3)*(8 - -1). Let t = -582 + 582. Solve 3*c - 3 = 2*r + r, 3*c - u = t for r.
2
Suppose -4*c = 2*h + 62, 20 = 4*c - 0. Let u = -25 - h. Solve -x = -2*d - 5*x - u, d + 10 = -3*x for d.
-4
Suppose -21*g = -122 + 17. Suppose -5 - 2 = -5*x + 3*c, g*x - 5*c - 5 = 0. Solve x*v + 2*r = 10, 4*v - r + 2 = 17 for v.
4
Suppose s = -4, -5*x + 2 = -3*s - 10. Let f(c) = -17*c - 301. Let i be f(-18). Solve -3*m + 0*m + i*n + 2 = x, 0 = 3*m + 2*n - 16 for m.
4
Let l be (15 - -2) + (0 - 1). Suppose 0 = 2*i + 6 - 28. Let v be -1*(2 + -2 - i). Solve -6*h + 5*h = -4*o + v, -4*h + l = 4*o for o.
3
Let n = 467 - 463. Solve -15 = 3*p + 4*c, -n*c = -p - 2*c - 5 for p.
-5
Let a(d) be the third derivative of d**4/4 - 2*d**3/3 - 10*d**2. Let y be a(1). Solve -2*f + 2*i - 7*i = 21, y*i + 18 = 4*f for f.
2
Suppose -2*k = -6*k + 56. Suppose -k*x + 7*x = -126. Solve 2*t - 6*t - 3*z - x = 0, 3*t = 2*z - 5 for t.
-3
Let i(t) = -t**2 - 7*t + 5. Let z be i(-7). Suppose 0 = z*x + 1 + 4. Let v = -1 - x. Solve -3*k = -v*k - 2*p + 3, -20 = -5*k - 5*p for k.
1
Suppose 4*x + 62 = -94. Let y = -36 - x. Solve -y*v = 2*i + 22, -i + 2*i - 4*v - 11 = 0 for i.
-5
Let p(q) = -q**3 + 14*q**2 + 13*q + 32. Let u be p(15). Solve f = -0*b + b, -5*b + 4*f - u = 0 for b.
-2
Let y(v) be the first derivative of v**3 + v**2 - v - 1. Let o = 252 + -250. Let c be y(o). Solve 5*d - 5*n + 0 = -c, -11 = 2*d - 3*n for d.
2
Suppose -55 = -5*i + 5*s, 25 + 16 = 3*i - 5*s. Suppose 3*j + i*j = 50. Solve 0 = -5*g - 5*c - 10, -c + 12 = -5*g - j*c for g.
-4
Suppose -34 + 6 = -7*b. Suppose -b*w - z + 15 = -2*w, 2*z = -3*w + 25. Solve -4*u - 5*r + 5 - 34 = 0, r = w*u for u.
-1
Suppose -2*y - 3*b = 9, 5*y - 3*b = -0*y + 30. Suppose -4*d + 4*h = -8, -21 - 1 = -5*d + h. Solve 4*w = -5*g - 11, d*g - y*w - 7 + 25 = 0 for g.
-3
Suppose -51 = -4*j + 3*s - 6*s, -j + 3*s - 6 = 0. Suppose -p + 3 = 2*r, 4*p - p = 5*r + j. Solve 4*y - k = -13, -4*y - p*k = -3*y + 13 for y.
-4
Let c = 85 - 90. Let m be (4/(-6))/((-8)/(-12))*c. Solve -m*g - 45 = 5*o, 2*g + 1 = 2*o - 1 for o.
-4
Suppose 0 = -8*z - 7*z. Let x be (-28)/(-4) + 1 + -2. Solve -2*c + x = -4*u - 5*c, z = 4*u - 3*c + 18 for u.
-3
Let m be 3 + -1*10/1. Let d be (m - -4)/(0 - 1). Solve 27 = -d*k - 3*z - 0*z, 2*k = -3*z - 23 for k.
-4
Let f(h) = h**3 - 22*h**2 - 21*h - 44. Let p be f(23). Solve 2*d = q - 4*q - 15, p*d - 15 = 3*q for q.
-5
Suppose 0 = -q + 3*q - 1