 -934 - -938. Let d = 6 + -4. Solve 0 = g*v - 3*c + 27, -j*c + 14 = d*v - 3*c for v.
-3
Let o = 1 - -24. Suppose 28*s + o = 33*s. Solve 0*f = -s*f - n - 15, -2*f - 14 = 2*n for f.
-2
Let l(f) = -f**2 + 14*f - 7. Let u be l(14). Let z = -5 - u. Suppose 5*i - 4*r = 34, 2*i - 11 = 2*r + 3. Solve 3*p - i - 6 = -z*m, p - 4 = -5*m for m.
0
Let j be 4/(-16) - (-7)/(-4). Let z be 126/5 + ((-2)/(-5))/j. Solve -2*u + 5 = 2*b - u, 5*u = z for b.
0
Suppose i + 24 = 4*c + 5*i, -4*c = 5*i - 27. Solve -2*g + f + 5 = 0, c*g - 2*g - 4 = -f for g.
3
Suppose -4*n = -2*s - n + 7, -n = 4*s - 7. Solve 3*b - 19 = -2*b - s*z, 2*b = -4*z + 14 for b.
3
Let s(o) = o**3 + 4*o**2 + o - 1. Let i = 23 + -26. Let z be s(i). Suppose 4*t + 1 = 9. Solve 0*b + 2*k = -2*b + 4, z*b = -k + t for b.
0
Let i(n) = n**3 - 21*n**2 + 56*n - 31. Let v be i(18). Solve -3*w - 5*j + 27 = 0, v*w - j = 10 + 7 for w.
4
Let g be (9 - 9)/(-1 - -3). Suppose -4*p - 6 = -3*z, 0*z + 3*z - 3*p - 6 = g. Suppose 3*a = z*a. Solve a = 4*o + 2*k - 8, 0*k + 10 = 5*o + k for o.
2
Suppose 0 = 9*g - 2 + 2. Solve -4*l - 2 - 3 = -3*s, g = -3*l - 4*s + 15 for l.
1
Let j(m) = -6 + 3 + 0 - 1 - 4*m. Let w be j(4). Let v be (24/20)/((-6)/w). Solve 0 = -4*z + 4, -v*s + 4 = 4*z - 16 for s.
4
Let t be 696/(-609)*(-7)/2. Solve 0 = 3*p - 7*y + 2*y - 35, 0 = t*p - 4*y - 36 for p.
5
Let j(y) = y**3 - 6*y**2 - y - 16. Let q be j(7). Solve -q = -5*f - 3*a, 22 = 4*f - 0*f + 3*a for f.
4
Let a be (8 + -12 + 5)/((-2)/(-6)). Solve -a*q - 5*y + 40 = 0, -4*q - 2*y + 8 = -22 for q.
5
Let s(d) = -5*d**2 + 46*d - 7. Let z be s(9). Solve -2*h - z*m - 6 = -4*h, -5*h + 3*m = -15 for h.
3
Suppose -14 = 11*s - 47. Solve -3*y + 11*w = 6*w + 9, y - s*w = -7 for y.
2
Let f(k) = -k - 1. Let o be f(-2). Let b be 24/14 - (-28)/98. Solve a + 4*i = -b*a - o, -2*a + 2*i = -4 for a.
1
Let y(h) = h**3 - 8*h**2 - 20*h + 5. Let f be y(10). Suppose 0*d - 15 = -f*d. Solve -s = 3*b - 2 + 1, -d*b + 2*s = -7 for b.
1
Let h(j) = -2 - 3*j - 1 + 0*j + 4*j. Let v be h(5). Suppose 5*p + 395 = 420. Solve -v*d - p*y = -8, -9 = d - 3*y - y for d.
-1
Suppose -3*b + 7*b - 16 = 0. Let o = -61 + 86. Solve b*a = -p + 5, -3*p + a = 2*p - o for p.
5
Let a = -37 - -82. Suppose k = -3*k + 3*j - a, 5*k = 4*j - 55. Let c(r) = r + 20. Let p be c(k). Solve p*z + 2*v + 4 = -3, 0 = -2*z - 4*v - 6 for z.
-1
Let h(u) = u**2 - 2. Let c be h(-2). Suppose -5*d = -0*d + 3*t + 131, 13 = -d - 5*t. Let v = d - -28. Solve 2*m + 2 = 2*w, v = c*m + m + 12 for w.
-3
Suppose 0 = 5*i + 10, -4*i + 3*i - 737 = 5*g. Let n be 2/3 - 2*g/18. Solve 4*c - n = -x + 2*x, -5*x = -4*c + 37 for x.
-5
Let r = -184 + 187. Solve 2*b + 6*j - 5*j = 5, 0 = r*b + 4*j + 5 for b.
5
Suppose 6*z - 2*c - 12 = 2*z, 4 = 5*z + 3*c. Solve 0 = h - 5*l + 14, 3*l + z = -h - h for h.
-4
Let v be (9/(-4))/(36/(-48)). Let h be -2 - (3 + -2) - -3. Solve v*c - 2*j - 2*j = -3, -2*j = h for c.
-1
Let b be (-3)/1*(1 + 1 + -3). Let h = b + 4. Solve -4*z - z = -2*d + 1, 0 = d + 4*z - h for d.
3
Let f(w) = -w + 5. Let y be f(3). Suppose -32 = -2*n - y*n. Solve 0 = -4*u - r - 20, -2*u + r = u + n for u.
-4
Let o = 43 + -43. Solve 2*g - d - 15 = 0, o*d - 4*d - 40 = -4*g for g.
5
Let t(q) = -q + 2. Let h be t(8). Let n be (0 + 26)*(-6)/h. Let w be (-6)/39 - (-82)/n. Solve w*d + 35 = 5*i, d = -3*i + i + 3 for i.
4
Let d(v) = v**3 - 25*v**2 + 21*v + 76. Let h be d(24). Solve -k - 4 = i - 0, h*k = -i - 4 for i.
-4
Suppose -4*o + 2*t = -0*t, o - t - 2 = 0. Let v be -3 - o/(-6)*(-13 - 2). Solve v*b = p + 6*b + 25, 2*b = 3*p + 5 for p.
-5
Let f(y) = -y**3 + 5*y**2 - y + 6. Let x be f(5). Let g = 2557 + -2557. Solve x = -q, 7 = u - g*u - 4*q for u.
3
Let p be (-8)/6*549/(-183). Solve 2*x = -3*q + 8, 10 = -4*q - p*x + 26 for q.
0
Let o(m) = -m**2 + m + 30. Let r be o(6). Solve 4*h - 1 = -f, 2*f + r*f = h - 7 for h.
1
Let m = 126 + -124. Solve -3*w = b - 5, 5*b - 4*w + m = -11 for b.
-1
Let t be -2 + ((-6)/(-20))/((-1)/(-10)). Solve -3*d - 9 = -3*n, -4 = -4*n - 3*d + t for n.
2
Suppose 6*o + 4*g = o + 88, -o - 5*g + 26 = 0. Suppose -5*n - 2 - o = -3*q, -q + 2*n = -6. Solve 0 = -k - j + 3*j + q, -5*k + 2*j - 10 = 0 for k.
-4
Let h be 10/(100/110) + -3 + -2. Solve -g - 2*o = -8, 5*g + h*o - 28 = 2*o for g.
4
Let b(n) = n + 14. Let w be b(-12). Suppose -9*f + w*f = -35. Solve -2*v - 13 = f*y, -2*y - v + 0*v = 5 for y.
-3
Let t be (-267)/(-9) - (-2)/6. Let n = 31 - t. Solve -x + 2 = -5*h, 3*h + n = -2*x + 5 for x.
2
Let z = 1 + 4. Suppose 7 = 2*x - y, 17 = 5*x + z*y + 7. Solve 3*b + x = 0, -10 = -a - a + 2*b for a.
4
Suppose -3*v = v - 16. Let z(t) be the second derivative of t**4/12 - t**3/2 - 2*t**2 - 48*t. Let f be z(v). Solve -8 = g - 0*g + n, -3*n - 12 = f for g.
-4
Let n(d) = -d + 114. Let h be n(0). Suppose 0 = -8*b + 134 + h. Solve 4*u + 3*v = b, 2*u + 2 = 3*v - 5 for u.
4
Let g be -3*(-3 - -3*(-3)/9). Suppose 3*f = 2*f + g. Solve 0 = 5*i - 5*m + 20, -5*m + f = 2*i - 5*i for i.
-4
Let o = 6 + -8. Let w be 2*1/o - 3. Let f = -2 - w. Solve 3*g + f = -3*q - 1, q + 3*g = -11 for q.
4
Suppose 0 = -3*a - 6*a + 36. Solve -4*p - a*j = 12, -j + 1 = -2*j for p.
-2
Let i = -1 + 8. Suppose 3*w + 19 = 3*f + 2*f, 4*f - 30 = -5*w. Suppose u + f = 4*r + 4*u, 0 = -4*r + 2*u + 10. Solve 4*l + i + 2 = 3*x, r*x = -5*l + 6 for x.
3
Suppose 3*s - 5 = 1. Suppose -58 = -s*f - 20. Let p = -15 + f. Solve -2*z = -p*y + 6, 0*z + z + 3 = -5*y for z.
-3
Let t = -146 + 153. Let z = 8 + -5. Solve 2*f + 2*u - 1 = 3*f, 0 = 4*f + z*u - t for f.
1
Let q(a) = a**3 - 3*a**2 + 2. Let i be q(3). Solve -4*x - 2*f + 5 = -3*x, i*x + 20 = 2*f for x.
-5
Let b be (4/(-16))/((-3)/48). Suppose b*i = 49 - 9. Solve i = -2*n + 3*o, -3*n + 2*o - 9 = 6 for n.
-5
Suppose -50 = 7*u - 17*u. Suppose 5*r - u = 0, 4*h - 7*r - 3 = -2*r. Solve j = -h*b + 7*b - 17, j + 8 = 2*b for j.
-2
Let j be ((-3)/(-3))/((-1)/(-6)). Let z(l) = l**2 - 7*l + 7. Let q be z(6). Let f = j - q. Solve 6 = d - 2*h, -3*d + 11 = -f*h - 5 for d.
2
Suppose -3*u = -q + 1, 3*q + 3*u - 9 = 6*u. Suppose q*b + 4 = 4*i, -b - 4*b + 15 = 5*i. Let d = 129 + -117. Solve i*h - 3*a + 2*a + 3 = 0, -d = 4*h + 4*a for h.
-2
Let g be -1 + 0 + 8/((-4)/(-2)). Let x be 25 + g*(-20)/(-15). Solve -5*p = 3*b + b - x, 5*b = -2*p + 15 for b.
1
Let l be 2/14 + 26/14. Suppose -2*d + 52 = r, l*d + 2*r = 3*r + 44. Solve 0*m - 2*m - 11 = j, 4*j + 4*m + d = 0 for j.
-1
Suppose -6*b = -3*b + 180. Let w be (b/(-9))/(6/45). Suppose -5*o - 3*t - 2*t + w = 0, -3*t = -4*o + 12. Solve 2*x + 4 = 5*s, 3*x - 2*s + o = -7*s for x.
-2
Let n = -75 + 82. Let q(t) = 5*t - 30. Let k be q(n). Solve 0 = -5*a + 10, a = -k*o - 13 - 5 for o.
-4
Let l be (-6)/27 + 94/18. Suppose 2*x - 11 = j, 4*j + 7 + 28 = l*x. Suppose -b = x*s - 2, 10*s - 6 = -3*b + 5*s. Solve -2 - 2 = -b*z + t, -4*z = -t - 10 for z.
3
Let s(o) = o**3 - 8*o**2 - 3*o + 10. Let n be s(6). Let j be n/25 + 3 - 32/(-10). Solve 2*v - u - j*u + 18 = 0, 5*v + 21 = 2*u for v.
-3
Let q = 1055 + -1052. Solve 5*a - 22 = 2*m, -q*m - 4 = 5*a - 21 for m.
-1
Let i(u) = -80*u + 86. Let q be i(1). Solve 4*j + 2*y = -8, -5*j - 3 = -q*j + 2*y for j.
-1
Let a = -3 + 4. Let k be (-1)/1 - a*8. Let h be 4/6 - 30/k. Solve s = -h*f - 3 + 12, 0 = -3*f - 5*s + 11 for f.
2
Suppose 37*k - 2*q = 38*k + 6, 0 = -2*k + 4*q + 28. Let g = -11 + 16. Suppose k*y = -3*s + 26, -5*s + g*y - 9 = 6. Solve 5*r - s*x + 10 = x, -2*r = x + 4 for r.
-2
Let n(z) = 11*z - 1. Let k be n(1). Let i be (12/k)/((-2)/10). Let r be i/33 - (-96)/44. Solve -r*t + 3*g = -8 - 0, 5*t = -g + 3 for t.
1
Let j be (-450)/(-55) - (-4)/(-22). Let f be (39/12)/(2/j). Let y be f/6 - 15/90. Solve -4*p + y*v - 20 = -0*p, 2*v = 0 for p.
-5
Let v(x) = -2*x**2 - 32*x - 25. Let h be v(-16). Let u be 7 - 2/((-10)/h). Let k be ((-4)/6)/(4/(-6)). Solve -2*q - k = -3*f, -3*f - 6*q = -u*q - 7 for f.
1
Let j(t) = t**2. Let m(s) = -s**3 + 7*s**2 + 7*s + 10. Let c(a) = 3*j(a) + m(a). Let k be c(11). Let y = 39 + k. Solve 8 = 2*z + 4*q, -3*z - 1 + y = 2*q for z.
0
Let p = 14 + -10. Suppose 3*t - 8 = 5*w, -5*t + t + 22 = -w. Let s be (2/2*-2)/(t/(-33)). Solve 2*x + 3*x + 20 = 0, -s = -5*f + p*x for f.
-1
Suppose 58*s - 56*s - 4 = 2*a, 4*s + 5*a - 35 = 0. Solve 9*w - 4*w + 20 = 5*z, -5*z - s*w = 20 for z.
0
Let z(t) = t**2 + t + 2. Let l be z(-2). Suppose -4*h = h - 70. Suppose -d - l = 3*g, 