 -3*w + 2*z + 10 = q, -w - 2*w - 2*z = -14 for w.
4
Let w = 1889 + -1861. Solve 0 = -y + 4*c - 21, 4*y + w = -3*c + 5*c for y.
-5
Let y be 2/4 + 2/(-4). Suppose 4*r = -x - 10, x + 13 = -y*r - 5*r. Let m be (-2)/(-4)*(x - -8). Solve -z - 4 = 0, m*n + 0*n - 45 = 5*z for n.
5
Suppose 306 - 294 = 3*z. Solve -y + 20 = z*y - s, 8 = y - s for y.
3
Let a be ((-15)/2 - -3)*(-38)/3. Let w = 57 - a. Solve w*h + h - 5 = -3*t, t + 2*h = 0 for t.
2
Suppose f + y - 3 = 0, 0*f - 3*f + 8 = 2*y. Solve f*l - n + 5 = 0, -4*l + 3*n = -l + 9 for l.
-2
Suppose 2*z = -4*j + 24, -3*j + 28 = z + 16. Solve -32 = 4*b - z, -5*t = 3*b for t.
3
Let h be (-22 - -32) + (1 - 6) + 3. Solve -2*l = -2*o - 8, 4*o - 2*o = -h for l.
0
Suppose 3*r - 61 = -4*y, 5*y + 0*r = 5*r + 85. Suppose 10 = -2*j - 0*v + 5*v, 0 = -4*v + y. Solve j*g - 12 = -t, 4*t + 0*g + 5*g = 3 for t.
-3
Let q = 0 + 4. Let g(w) = w + w - 6 + 3*w - 3*w. Let h be g(6). Solve -n - 2*s - h = 2*s, -q*s = 8 for n.
2
Let i(p) = -p**2 + 16*p - 6. Let x be i(15). Let a be (5 - 33/x)*6/4. Solve v - 10 = a*j, 0*j - 14 = -5*v + j for v.
2
Let p(r) = r + 7. Let w be p(3). Suppose 20 = -5*x + w*x. Solve 0*a + 14 = -x*a + 2*j, 13 = -3*a + 4*j for a.
-3
Suppose 27 = -3*w - 0*w. Let i = -6 - w. Suppose 0 = -r + i*r - 10. Solve 4 = -x - 3*b, -2*x + b - 3 - r = 0 for x.
-4
Let t(a) = -4*a**2 + 2. Let d be t(-3). Let i = -28 - d. Let o be (-2 - -1)/((-1)/3). Solve -5*k - 12 = -o*k - 4*l, 0 = -2*k + l - i for k.
-2
Let h(k) = 0*k**2 + 5 + 7 + k**2 + 0*k**2 - 10*k. Let t be h(10). Let a = -333 + 336. Solve a*s + 3*v = t, v = -5*s + 4 + 8 for s.
2
Let l(w) = -w**3 + 11*w**2 + 11*w + 15. Let y be l(12). Solve 2*i = n - y - 4, -5*i - 2*n = 13 for i.
-3
Let w(j) = -6*j + 48. Let q be w(6). Let t(s) = -s. Let f be t(12). Let y = 0 - f. Solve o = -3*a - 2 + y, 2*o + 4*a = q for o.
-2
Suppose 4*u - 8*u = -24. Let t(z) = 4 - z**2 + 0 - u + 1 - 5*z. Let i be t(-4). Solve 0 = i*k + 5*c - 24, -3*k + 4 = 2*c - 11 for k.
3
Let d be (-272)/51*(-15)/(-4). Let l be d/(-12) + 1/3. Solve -y + b + 5 = -l*b, 5*b = -15 for y.
-4
Suppose 58 + 33 = 7*s. Solve 0 = -3*a - d - d + 16, 4*a = -d + s for a.
2
Let k = 35 + -18. Let f = k + -14. Suppose -4*i + s + 31 = 0, 0 = -f*i + 4*i + 4*s - 12. Solve 3*z - d = -i, z + 4*z - 5*d = -10 for z.
-3
Let o(u) be the first derivative of -7*u**2/2 + 15*u - 1. Let j be o(-6). Suppose 2*y + j = 5*y. Solve -f - 3*f = -4*c - 12, 5*c - f + y = 0 for c.
-4
Let b(l) = 7*l. Let w be b(1). Let a = w - 3. Suppose a*i - 8 = -0*i, 5*i - 6 = 2*j. Solve -3*n = -12, 3*n - j*n = -2*y + 6 for y.
1
Let i be (280/80)/((-2)/(-4)). Solve -4*v = -5*z + i, 3*v = 2*z + z - 3 for v.
2
Let x be (-12)/30 - (-2)/5. Let z = 5 + x. Suppose -2*s - n + 3 = 1, -5*s + z*n + 35 = 0. Solve 4*h + 12 = -s*f, -f + h - 1 = 3 for f.
-4
Let a(z) be the third derivative of z**5/60 + z**4/12 - 4*z**3/3 + 10*z**2. Let n be a(-6). Solve -n = -4*i + 5*w, w = 2*w + 4 for i.
-1
Let v(x) = 111*x + 4. Let p be v(2). Let q = 121 - p. Let a = -66 - q. Solve 5*o + 35 = -3*k, k + 5*o - 14 = -a for k.
-5
Let d(n) = -n - 8. Suppose y - 5 = -0*y, 0 = -2*f - 4*y + 12. Let q be 6/(f + 13/4). Let l be d(q). Solve 4*t + 2*s - 10 = l, -t - t = -5*s + 13 for t.
1
Let n(k) = -k**2 - 5*k - 12. Suppose 0*r = -2*r - 10. Let g be n(r). Let j be g/(-5) + (-8)/20. Solve j*h - 11 = 5*t, h - 2*t = -2*h for h.
-2
Let d be 4*((-15)/20 - -5). Let q(n) = n**2 - 17*n + 11. Let k be q(d). Solve 5*x - 2*x + k = 2*v, x - v = -5 for x.
-1
Suppose 0 = 619*x - 612*x - 35. Solve -h = -3*y - 3 + 4, -16 = x*h - 4*y for h.
-4
Let l = -60 + 68. Suppose 0 = -l*i + 10*i. Solve -p + 1 = 0, 3*d + 6*p - 2*p + 8 = i for d.
-4
Let o be (1 - 0 - 1)*(-8)/16. Solve 0 = -3*h - 3*r + 12, o = -r + 1 for h.
3
Let i = 5 - -2. Suppose -o = a, -a - 5*o + o + 6 = 0. Let g be a/(-9) - 70/(-9). Solve 12 = -5*r + 2*m, g*r - 3*r = -3*m - i for r.
-2
Suppose 0 = 5*d - d - 8. Suppose -d*j + 5*j - 66 = 0. Solve -5*p + 4*o - 20 = o, 2*p + j = 4*o for p.
-1
Suppose -3*k - 11 = -2*o, 5*k + 4 = o - 5. Solve 3*t + 12 = 0, 0 = -p + 2*p + o*t + 17 for p.
-1
Let f be (95/15 + -6)/((-2)/(-102)). Suppose 0 = 19*i - f*i - 10. Solve -s = -i*y, s - 2*y = -3*s for s.
0
Let o(f) = f - 2. Let p be o(6). Solve x + 4*t = -3*x - 16, -p*t = -x - 9 for x.
-5
Let i(p) = -5*p**3 + 6*p - p**3 + 7*p**2 + 5*p**3 + 2*p**3 + 2. Let l be i(-6). Let s be 10/6 - 6/9. Solve 4*o = l*b - 22, 0 = -2*o + 2*b - 13 - s for o.
-4
Suppose 0*p + 5*p + 2*y - 128 = 0, 4*y + 4 = 0. Let h = 28 - p. Suppose h = -q + 6. Solve q*x = -3*k + 11, 4*x = x + 5*k + 30 for x.
5
Suppose 0*z - 64 = -4*z + 2*i, -i - 66 = -4*z. Solve 0 = 5*r - 4*q - 20, 2*r + 3*q - 2 + z = 0 for r.
0
Let b = 982 + -977. Solve -5*c = 4*j - 27, 19 = b*c + j + 1 for c.
3
Let a = 11 + -5. Suppose -9*m - a = -10*m. Let j(b) = -b**3 + 2*b**2 + b + 1. Let z be j(2). Solve -r + 8 = -2*l + m*l, 0 = -3*r - 5*l + z for r.
-4
Suppose 176*v = 190*v - 154. Solve 3*c - 2*m = 6*c - v, 3*m - 12 = 0 for c.
1
Let k(c) = 4*c**2 + 4*c - 4. Let b be k(2). Suppose 0*p - p = -5*i + b, 5*p + 37 = 4*i. Solve -h = 5*y + 5, -3*h + 0 = 3*y + i for y.
-1
Let y = -8 + 11. Suppose r + y*r - 16 = 0. Suppose 0 = -f - r*f. Solve 0 = t + 2, 0*i - 2*i + 2*t + 2 = f for i.
-1
Suppose 2*p = 7*p. Suppose -2*h + 3*h - 2 = 0. Suppose 0 = -3*m + h*m - 2, 0 = -2*g + 3*m + 10. Solve -2*i - 6 = -4*n, n - g + 3 = p for i.
-5
Let g(x) = -31 + 99*x - 52*x - 53*x. Let c be g(-6). Solve c*a - 45 = -4*m, -3*a - 5 = -5*m + a for m.
5
Let q(u) = 13*u - 35. Let c be q(3). Solve -b = 2*s + 5, 4*b + 3*s = -c - 1 for b.
1
Let i(v) = 3*v**2 - v - 2. Let j be i(-2). Suppose -m = -5*m + j. Suppose -m*b = b. Solve 6 = 3*z - 2*f, f = 5*z - b*z - 10 for z.
2
Suppose 10*n - 5*n = 15. Solve -4*f = f + 2*d + 10, -2*f - n*d - 15 = 0 for f.
0
Let z(p) = -p. Let q be z(1). Let d be 16/4 - (0 - q). Solve 0 = 4*g + 3*c + 1 + 9, -d*c = -6 for g.
-4
Let f(x) = x + 9. Let u be f(7). Suppose -3*y = -y - u. Let b = 146 - 136. Solve 2*j + g + y = -0*g, b = -4*j + g for j.
-3
Suppose 0 = 13*j + 2587 - 325. Let m = j + 174. Solve 0*v - 4*v = u - 7, 3*u - v - 8 = m for u.
3
Let o = -179 + 109. Let h = -70 - o. Solve 2 = 4*i - 3*i - 5*t, h = -i + 3*t for i.
-3
Suppose l + 28 = -4*j + 10, -4*l + j + 13 = 0. Solve -l*g - k - 4 = 0, 3*g + 2 = 3*k - 4 for g.
-2
Let c be ((-66)/99)/(2/(-9)). Solve 4 = 5*g - 4*u, 5*g + 0*u = -c*u + 32 for g.
4
Let x be ((-2)/(-3))/(((-16)/18)/(-4)). Let v be (-3)/(-3) + (1 - -6). Solve -4 = -0*a - 4*a, -5*a = -x*s - v for s.
-1
Let d = 3 - -1. Let q(i) = i**2 + 2*i + 4. Let y be q(-3). Let u(s) = -s**3 + 8*s**2 - 7*s + 5. Let t be u(y). Solve 5*c + d = -t*h + 14, -2 = 5*h - c for h.
0
Suppose -5*l + 14 = 3*b - 11, 5*b = 5*l - 25. Solve 2*w - k = -7, l*k = 3*w + 2*w + 25 for w.
-2
Let s = 254 + -250. Solve s - 8 = -2*l - 3*d, -5*d - 10 = -5*l for l.
2
Let i = 674 - 694. Let o = -29 + 51. Let v = o + i. Solve -4*p - 2*b - 12 = 0, 0 = -v*p - 3*p + 4*b + 11 for p.
-1
Let s = 7 + -3. Suppose -61 = -4*j + 2*x - 5, -s*j = 3*x - 36. Let m = j + -8. Solve -5*y + 10 = -i, y - 6*y + 10 = m*i for y.
2
Suppose 0 = -4*p - 2*w + 18, 3*w - 24 + 9 = 0. Let j = -7146 + 7148. Solve 5*b - p*q = 3, b + j*q - q = -5 for b.
-1
Suppose 4*i + j + 4*j = 21, 0 = -i + 4*j. Solve 0 = 4*c - 9*c + 5*d + 15, 0 = i*d + 20 for c.
-2
Let g = -10 + 30. Suppose 0 = -5*n - b + 48, -b = -n + 2*n - 8. Solve g = -u - 4*k, n = 5*u - 5*k - 15 for u.
0
Suppose 3*b - 3 - 6 = 0. Suppose 0 = -2*i + 7 - b. Let r be 6/((-36)/147)*(-24)/42. Solve 2*z - 2*y + 2 - 8 = 0, i*y = -2*z - r for z.
-2
Let o = 309 - 304. Solve 25 = o*n + 3*g, 0 = -5*n - g - 4*g + 35 for n.
2
Let a(z) = z + 16. Let t be a(-12). Suppose -t = -0*c - c. Suppose -c*p = p. Solve -2*r + 15 = -v, p = -2*r - 3*v - 5 - 0 for r.
5
Let t(s) = 2*s**2 + 13*s - 3. Let u be t(-10). Suppose -j = 4*a - u, -3*a = -5*a + 3*j + 51. Solve x - a = -5*w, -w + 2*x + 12 = -2*x for w.
4
Let t = 25 - 37. Let d = -9 - t. Suppose d*u + u = 32. Solve x - 3*j = -6, x - 4 = -3*j + u for x.
3
Let o(x) be the first derivative of x**3/3 + x**2/2 - 4*x + 4. Let t be o(-3). Suppose -k = -0*k - t. Solve -15 - 5 = 3*l + 5*c, l - k*c + 3 = 0 for l.
-5
Suppose 15 = -7*f - 132. Let d be (-4 - f/7)*(1 + -2). Solve -5*b - 17 = -4*q, -q + d = -2*b - 4 for b.
-1
Let h be 0 