1 = 0, -7 = c*u - u + 2*v for u.
-5
Let f = 26 - 16. Suppose -8*i + f*i = 0. Suppose 5*t = 5*m + 35, t - m - 2*m - 13 = i. Solve 0 = 4*u + t, 5 = 5*k - u - 1 for k.
1
Let q(j) = j**2 + 4*j + 4. Let x be q(-3). Let w be (-3 - -2)*(1 - 1). Suppose 20 = b - w*b + 5*v, 20 = 5*v. Solve h - i + 3*i - x = b, -h - 2 = i for h.
-5
Let b be (15 + 27)*(-2)/(-3). Solve 0 = -3*v - 15, h - 5*v - b + 8 = 0 for h.
-5
Let j(q) = 11*q + 3. Let w be j(1). Suppose -w*r + 12 = -8*r. Solve 10 = -3*x - f, -r*x - 4*f - 18 = -x for x.
-2
Suppose -5*i - 11 = -1. Let p be ((-6)/(-18))/(i/(-18)). Solve -p*x + 5 = -l, 2*x - 2 = 2*l - 0*x for l.
1
Let d(x) = -x. Let r be d(0). Suppose -3*z = -62 + 47. Suppose z*b - 12 - 13 = r. Solve -1 = s - b*i - 2, s + i = 1 for s.
1
Let y(w) = -9*w - 30. Let v be y(-12). Let n = v + -75. Solve 6 = -n*i + 2*r - 0, -r = i + 2 for i.
-2
Suppose -2 = -2*p + g, 22*p + g = 25*p - 5. Solve 4 = 3*m - 2*a - 3, 4*m = -p*a - 2 for m.
1
Let g = -10 + 11. Let l = g + 4. Suppose 4 = l*y - 16. Solve 0 = -4*i - y*s - 16, i + 2*i = 3*s + 6 for i.
-1
Suppose 4*x + 3*j = 38, -5*x + 30 = -0*j - 5*j. Let p be x*2*1/2. Solve -2*z - 19 = -5*k, 5*z - k + 5 + p = 0 for z.
-2
Let f be 0 - (-2 + 0 + -1). Suppose -c - 50 = -f*o, -c + 2*c - 14 = -o. Suppose 4 = -4*s + o. Solve -6*v - 4*r = -2*v, 4*v - s = -5*r for v.
-3
Suppose 22 = 4*i - 14. Let x be (i/(-18))/(2/(-44)). Let p be 2 + 3 + x/(-11). Solve 5*b + 20 = -p*m, 0*m - 5 = m for b.
0
Let m(s) = 2*s**2 + 11*s - 6. Let g be m(-6). Solve -5*f + 25 = -5*k, -f + 7 = -3*k - g*k for f.
4
Let f(k) = k**3 + 25*k**2 + 46*k. Let s be f(-23). Solve 3*n = -y - 5, n = -y - s - 5 for n.
0
Suppose 14 = 4*j - 2*t, 5*j - 27 = 4*t - 5. Let d be 3*(4/(-6) + j). Solve -3*i = -5*b - 6*i, -d*b + 27 = -3*i for b.
3
Suppose -4*m - 64 = -7*m - 5*a, 0 = 3*m - 2*a - 71. Let v be (-6)/(-12)*(-12)/(-2). Solve -m = 4*r - v*k, -r = k - 3 - 0 for r.
-2
Let g = 52 - 34. Suppose -2*a - 8 = -g. Let n = 5 + -1. Solve 11 + 14 = -a*f + n*q, -2*f - 4*q = 10 for f.
-5
Suppose -6*t + 2*c + 4 = -9*t, -2*c = -3*t + 4. Solve -4*m - 8 = i, t*m + 4*i - 2 = m for m.
-2
Suppose -133 = 5*l + 117. Let k = l - -54. Solve -i = -3*a + 10, k*a - 50 = -5*i - a for i.
5
Suppose 0 = -z + 10 - 0. Let x(f) = f**2 + f + 4. Suppose -8*k - 25 = -3*k. Let r be x(k). Solve -4*i = v + 9 - r, -2*i = -z for v.
-5
Suppose 2*p - 147 = -p. Let i be (-2)/(-7) + (-700)/p. Let w = 18 + i. Solve -5*m + 6 = n, 4*m + 0*m = -n + w for m.
2
Let y = 928 - 924. Solve l + 3 + 1 = 3*h, y*h + 5*l + 20 = 0 for h.
0
Let m = -56 + 58. Suppose 5*l + 5*k - 75 = 0, 3*l = 2*k - 0*k + 40. Solve -4*o - 30 = 5*n, -2*o - n = l - m for o.
-5
Let c be (3 - 13)/(1*-2). Suppose 4 = 2*z - 2. Suppose -z*q = q - 12. Solve -f = -q*x - 9 - c, 3*x = 4*f - 20 for x.
-4
Let o(c) = c**3 - 30*c**2 - 30*c - 24. Let h be o(31). Solve -10 = -2*f - 5*g, 4*f = -2*g + h + 13 for f.
5
Suppose -3*o + 21 = 2*h - 9, 0 = 3*h + 5*o - 47. Suppose 5*r = -5*l - 5, 2*r - r + h = l. Solve -4*d = d - 5*a - 10, a = -l*d - 12 for d.
-2
Suppose 268 = 5*s - s + 4*a, 0 = 4*s + a - 256. Let c = s + -60. Solve -l = -2*r + c, r = -5*l + 5*r - 21 for l.
-5
Let a = 11 - 7. Suppose 0 = d - a*x - 15, 2*d = -d + 4*x + 5. Let u be ((-6)/d)/((-2)/(-5)). Solve 4*t - 5*z + 5 - 17 = 0, -t - z + u = 0 for t.
3
Suppose 6 = -3*h - 4*g + 23, 2*g = 4*h - 8. Solve -h*l + 3 = 3*n, -l + 9 = 2*l for n.
-2
Let x(n) = -2*n**2 - 93*n - 46. Let k be x(-46). Suppose -p - 5*c + 35 = 4*p, 0 = 4*c - 16. Solve 5*j - 9 = 4*g, -p*g = -k*g - 2*j + 5 for g.
-1
Let u(o) = 5*o - 38. Let d be u(8). Solve -3*h = -5*m + 29, h - m + 15 = d*m for h.
-3
Let q(w) = -w**2 + 4*w + 4. Let n be ((-8)/10)/((-9)/45). Let t be q(n). Suppose t*d - d = 6. Solve 4*a - d = 5*l + 5, -3*l + a = 0 for l.
1
Suppose -5*x = 5*s - 20, -4*x + 0*s + 17 = 5*s. Suppose -c + 0*c = 5*k - 25, x*c = -4*k + 31. Solve f = -k, -2*a + a - 4*f - 13 = 0 for a.
3
Let w(q) = 4*q + 144. Let b be w(-35). Solve 6*v - v = b*a + 18, 2*v - 12 = 4*a for v.
2
Let n(v) = v**3 - v**2 + v. Let h be n(2). Let o = 2774 - 2771. Solve m + m = 4*a - h, -o*a = -3*m + 3 for m.
5
Let l = -3 + 5. Let x(b) = -3 - 2*b**2 - 2*b**l + 0*b - b**3 - 4*b. Let o be x(-3). Solve g - 3*g + 5 = s, -5*s + 4*g + 11 = o for s.
3
Let x(z) be the third derivative of z**6/120 + z**5/20 - z**4/24 - z**3/3 + z**2. Let q = 0 - 2. Let k be x(q). Solve -4*t - 12 = k*l, -2*l = 4 + 4 for t.
1
Let s = -51 - -53. Solve 0 = -4*i + 5*r + 4, 7*i - 2*r = s*i + 5 for i.
1
Let m be 45/(-30)*46/(-3). Let i = -17 + m. Solve -3*a - 2*r = 17, -5*a - 20 = r - i*r for a.
-5
Suppose -5*t + 89*i - 91*i = -17, -t = i - 4. Solve 4*s + 0*j - t*j = 23, -s + 9 = -4*j for s.
5
Let k(x) = x**2 - 7*x + 2. Let g be k(7). Solve -5*v - 5 = -3*f + g, 7 = -2*v - 3*f for v.
-2
Suppose -k - 7 + 3 = -2*s, -k + 4*s - 14 = 0. Suppose -2*h = -0*h - k. Solve -21 = 4*u + h*q, -u - 3*u + 4*q = 0 for u.
-3
Let a be 3 + (-3 - (4 - 26)) + -4. Solve 5*o + 2*p + a = 0, o = 5*p - 8 + 26 for o.
-2
Suppose -2*v = 2*a + 2, -6*a + 2*a + 24 = -3*v. Solve 4 = 3*d - l, a*d + l + 4 = -0*d for d.
0
Let v(w) = -73*w + 258. Let u be v(3). Solve 3*z + 13 = c, 4*z + u = 4*c + 11 for z.
-3
Let r be (-1)/10*-5*(8 + -2). Suppose -5*y - 7 = g - 53, 5*g - r*y = 146. Solve -a + 3 = 0, j - 5*a + g = -3*j for j.
-4
Let q be -3 + 0 - -5 - -2. Let r be (-12)/4 - (-1 - 22). Suppose -6 = -b + 3*x + 1, q*x = 4*b - r. Solve -4*h = 5*g - 0*h - 14, 0 = -4*h + b for g.
2
Let u = -3 - 1. Let a be -1 - (0 + u + -4). Let t(m) = m**3 - 6*m**2 - 5*m + 9. Let z be t(a). Solve -4*o = 3*r - z, -5*r + 23 = -0*o - o for r.
5
Let h be 2 + (-4 - -5) - (-7 + 8). Solve 4*p + 25 = -4*q + 1, 0 = -5*p + 2*q - h for p.
-2
Let a(z) = -z**3 - 12*z**2 - 33*z - 4. Let x be a(-8). Solve 0 = -x*t - 16, 4*h - 3*h - 1 = t for h.
-3
Let i be 42/7*2/(-4). Let t be (18/(-15))/(i/(-15)). Let o be (-2)/(-9) - t/(-27). Solve 4*d + 4 + 14 = f, o = -3*f - 2*d - 2 for f.
2
Let y(f) = 4*f - 8*f + 3*f + 2 + 0*f. Let p be y(-5). Let z be -17 + 13 + 1*p. Solve 0 = 3*g + o - 15, -2*g + z*o = o - 2 for g.
4
Let s be 0 + 0/(-2) + 3. Let l(j) = j**3 - 3*j - 1. Let y be l(-2). Let u be (0/y)/(6/(-3)). Solve 0 = -s*q + 3*p + 15, 4*q + u*q + 4*p = -20 for q.
0
Let j be (1/(-1))/((-5)/(53 + 2)). Let u(s) = 2*s - 22. Let b be u(j). Solve -6*w - 2*k - 12 = -2*w, b = 3*k + 12 for w.
-1
Suppose -3*r + 67 = -c, 0 = -4*c + 3*r + 116 - 384. Let n = c - -69. Solve -2*l + 2*q = 0, 3*l - 3*q + n = -2*q for l.
-1
Let u be 7072/153 + (-2)/9. Suppose -u*y - 35 = -53*y. Solve i - 15 = -y*f + 6*i, -3*f = 5*i - 1 for f.
2
Let n(p) = -2*p + 19. Let i(w) = w**2 + 5*w - 56. Let h(u) = 3*i(u) + 8*n(u). Let f be h(4). Solve 0 = -3*g - r + 17, 4*r - 5 - f = -5*g for g.
5
Suppose 2*g = 5*b + 25, -g + b + 38 - 33 = 0. Solve 2*d = 4*t - 26, -d + 2*d - 3*t + 17 = g for d.
-5
Let c = 261 + -261. Solve 4*v = -5*y - 2, -4*v - y - y + 4 = c for v.
2
Let u = -44 + 45. Let g be (u - 1)*(18/(-4) - -4). Solve 4*v - 2*p = 1 + 15, g = -4*v - 5*p + 30 for v.
5
Suppose 20 = 3*p + 17. Suppose p = -3*o - 9*f + 4*f, f = 5*o - 17. Let w(b) = -b**2 + 9*b - 10. Let c be w(7). Solve 3*s + 5 = r - o*r, 2*r = -c*s - 8 for s.
-3
Let k = 33 + -29. Suppose 0 = -3*g + 4*g - k. Solve 4*y - 3*u = 0, -5*y = -g*u + 1 - 2 for y.
-3
Let c(n) = 4*n - 12. Let l(f) = 3*f - 8. Let h(q) = 5*c(q) - 7*l(q). Let d be h(-8). Solve -3 = 2*m + d*a + 3, 4*m = 5*a - 12 for m.
-3
Let g be (-20)/8 - (-3)/6. Let k = 18 + -25. Let i be 4/g*14/k. Solve u - 4*f + 5 = 3, -i*f + 6 = -3*u for u.
-2
Let d = -6 + 8. Let m(o) = -o**2 + 71*o - 1072. Let r be m(22). Solve 2*q - 2*z = 2, 3*z = d*q - z + r for q.
5
Let w(k) = k**3 + 17*k**2 + 7. Let o = -3 + -14. Let n be w(o). Let y be (n/((-28)/(-32)))/1. Solve 5*v = 5, 2*b + 2*v + 0 = -y for b.
-5
Suppose 180 = 32*l + 20. Solve -3*a - l*b = -0*a - 20, 2*b + 8 = 2*a for a.
5
Let b be 7 + 7/(-2)*(-276)/161. Solve -2*r - 4*k - 18 = 0, 2*k = -r + 4*r - b for r.
1
Suppose 2*h + 5*o + 14 = 0, 6*o - 5*o - 14 = h. Let i be (h*(-6)/12)/2. Solve 5*l + 5 = 2*y, -l + i = 5*y + 4 for y.
0
Let h = -67 - -72. Solve -h*w + 35 = -4*l - 5, -4*w + 26 = -2*l for l.
-5
Let h(b) = 2*b**3 - 4*b**2 + 2*b + 1. Let s be h(2). Suppose -o + 15 = 2*w - 7, -s*o + 30 = 2*w. Solve -z = k + 3, -w + 1 = k + 3*z for k.
0
Let x(w) = w + 