4*q - 4*t + 16 for q.
5
Suppose 2*d = 3 + 7. Suppose 0 = 3*m + 12, 5*m - 7 + 19 = -2*o. Suppose -k = -3*h + 19, o*h - 4*k - 31 = h. Solve d*v - 13 = 4*c, 6 = v + 2*c - h for v.
5
Suppose 10*i = 6*i + 16. Solve 2*j = g + 3*g + 2, -i*g - 17 = -5*j for g.
2
Suppose 7 + 8 = 5*d. Let l(y) = y - 1. Let r be l(d). Suppose 3*i + 2*v - 11 = 0, v = -2*i + 5*v + 2. Solve r*a + 2 = 2*f - i*f, 5*a - 5 = 0 for f.
-4
Suppose -z - 3*z + 60 = 0. Let n(m) = m**2 - 8*m + 9. Let g be n(7). Suppose 3*c - 85 = -g*c. Solve -3*h + 4*s = -c, -s - 2*s = -3*h + z for h.
3
Let b(p) = p**3 - 26*p**2 + 47*p + 26. Let t be b(24). Solve -d + 1 = -2*k, 2*d - t*k - 1 = -3 for d.
-3
Suppose -5*j = o - 27, -o + 5*o - 33 = -5*j. Suppose -5*x - 1 = -86. Let i = 25 - x. Solve -s - o = 3*d, 2*d = -0*d + s - i for d.
-2
Let i = 816 - 791. Solve 4*z - 9*z + i = 0, -3*d = -z - 1 for d.
2
Suppose 5*g + 68 = 3. Let t(h) = -9*h**2 - 5*h**2 - 8*h - h**3 - 9 - 6*h. Let q be t(g). Solve -4*n + 3*r - 4 = 0, -4*n - q*r = 9 - 33 for n.
2
Let v = 0 + 3. Suppose v*x + 8 = -x. Let f be ((-10)/30)/(x/30). Solve 4*p = 2*k - 18, -p - 1 = k + f for p.
-5
Let o(g) = g**2 - g + 1. Let f be o(-3). Let n = f + -11. Suppose -l + 28 = 4*l + 2*m, -8 = -n*m. Solve 2 + 15 = k + l*p, k + 2*p - 7 = 0 for k.
-3
Suppose -t + 3 = 3*n - n, -n - 2*t + 9 = 0. Let f(j) = -10*j + 2. Let v be f(n). Solve 4*b - 2 = 5*a, -3*b + 3*a = 6*a + v for b.
-2
Suppose 19 = -3*p + 28. Suppose 2*i = -i. Suppose 18 = p*m + 3*j - i*j, 0 = 2*m + 5*j - 24. Solve 1 = -m*w + 2*n + 3, 4*w = 3*n + 3 for w.
0
Let q(z) = -z**2 - 8*z + 1. Let i be q(-8). Suppose -5*u = -i - 4. Let r be (-2 - -22)*u + -1. Solve 5*y = 25, r - 1 = 4*p + 2*y for p.
2
Suppose -5 = -5*h, -3*n + 6*h - 3*h = -180. Let f = n + -31. Suppose -3*w + 5*a + f = 0, 25 = 2*w - 2*a + 9. Solve -5*l = -w*k + 3*k - 35, -4*k = 3*l + 5 for k.
-5
Suppose 5*o - 20 + 7 = v, 0 = -4*o + 2*v + 14. Suppose o*q + 3*q = l - 10, q = -2*l + 20. Solve 4*h + 5*i + 28 = 0, l = -0*h - 3*h - i for h.
-2
Let d = -438 + 438. Solve d = -s - 2*s + f + 5, 20 = -4*s - 4*f for s.
0
Let k be (-6)/(-4)*(-4 + 154)/3. Let c be (-16)/(-6)*8/(160/k). Solve -5*u - 4*w - 38 = 7, u = -w - c for u.
-5
Let z = 54 - 52. Let t(o) = -o**2 - 8*o - 11. Let l be t(-3). Solve -q - 3*q - 4*s - 20 = 0, l*q + z*s = -12 for q.
-1
Suppose -15*h + 9*h + 30 = 0. Let l be (-4)/10*(-1 + -4). Suppose -2*m + 5*k = -45, -l*m = -0*m - 3*k - 35. Solve -o + 6 = q, m*q - h*q = 5*o for o.
3
Let i be (88/121)/((2/(-11))/(-1)). Solve -4*t - 4*v + 4 = 0, 2*v + 8 = 5*t - i for t.
2
Suppose -4*o + 7*o = 6. Suppose -o*u + 9 = u. Suppose m = u*m - 24. Solve 2*p + 3*g = 7*g + m, 2*g = -4*p - 16 for p.
-2
Let t = -82 + 84. Suppose 5*i + 2*d + 2*d - 22 = 0, -i + t*d + 10 = 0. Solve i*f - 3*f - 3 = -h, 5*h = 0 for f.
1
Suppose -228*s + 231*s - 84 = 0. Solve -3*k - 15 = 0, l = 5*l - 4*k - s for l.
2
Suppose 2*s - 2 + 12 = 0, 0 = r + 2*s. Let t be (4/14)/(4/28). Let p = t - 0. Solve r = -p*l, 2*l = c - 2 - 5 for c.
-3
Let u be (-16)/(-40)*(-10)/(-4). Let m be u*(-3 + 2)*0. Solve -5*c = -3*d - c, m = -2*d + 2*c for d.
0
Let p be (-32)/(-14) - (-4)/(-14). Suppose 0 = u + 1, -4*m + 4 = -m - 4*u. Solve -p*v = -m + 2, -5*v - 17 = 4*i for i.
-3
Let w = -49 - -51. Solve 0 = 2*m + 2*d + w, 0 = -4*m - d - 2*d - 2 for m.
1
Suppose 0 = -0*l - l. Suppose -2*j + 3*j = l. Let h(k) = 5*k**3 + 66*k**2 + 15*k + 36. Let o be h(-13). Solve -3*n + 9 = -5*b - o, j = 3*n - 4*b - 14 for n.
-2
Let b(w) = w**2 - 3*w - 23. Let f be b(7). Solve 0 = f*i - 3*r + 7 + 6, 2*i + 3*r = -1 for i.
-2
Let v = -25 - -24. Let g(z) = -16*z**2 + z + 1. Let m be g(v). Let k be (-48)/(-3)*(-12)/m. Solve 2*r + 2*r + k = -4*y, 5*y - 5*r + 15 = 0 for y.
-3
Let x(u) = 3*u**2 + 2*u - 3. Suppose -2*m = 4 + 2. Let r be x(m). Solve 2*t - 2*n = 2, 2*t - r = -n - 7 for t.
4
Suppose -5*y + 13 = 3*h, 2*h + 10 = 3*y + 6*h. Let o(a) = -4*a**2 + 56*a - 158. Let z be o(10). Solve -y*t - 2*g - 6 = -6*t, -13 = 3*t + z*g for t.
-1
Suppose -16 = 2*q - 16. Suppose 2*o = 3*h + 33, h + 2 - 1 = q. Solve w - o = 3*b, -3*b + 3 = w + 18 for w.
0
Let g be 54/36 + (-2 - 22/(-4)). Suppose 2*z + 29 = -0*z - 5*v, -5*z + v = 5. Let h be (-3)/z*40/6. Solve -4 = 4*t - 3*k - h, -2*t + g*k + 10 = 0 for t.
0
Let u be (-3)/(-4)*-4 + 3. Suppose 5*d + 26 = k, -4*k + 3*d + u*d = -36. Solve -3*l - 3 = c, -c = l + c + k for l.
0
Suppose g + 25 = 29. Suppose g*c + 0*c = 2*c. Solve c = -4*q - 3*j + 23, 2*j - 24 = -2*q - 2*j for q.
2
Suppose -5*b - 441 = -9*n + 12*n, -87 = b + n. Let m = 93 + b. Solve -u + 7 = m*z, -u = -3*z + 6 + 11 for z.
4
Let l = -2160 + 2165. Solve -4*s + k - 23 = s, -s = -5*k - l for s.
-5
Let d(q) = 6*q**2 - 1. Let l be d(1). Let m(c) = 67*c + 1744. Let a be m(-26). Solve 10 = -a*t + 4*s, s = -0*t - l*t - 14 for t.
-3
Suppose 4*h + 5 - 13 = 0, -3*u - 5*h = -31. Suppose 0 = c - 4*i + u, -2*c + i + 7 = -0*c. Solve -4*s - 2*w + 2 = -0, c*s = 5*w - 20 for s.
-1
Let h = -1028 + 1035. Solve -3*w = 5*s - 15, -s - 8*w = -h*w - 3 for s.
3
Suppose 4*u + 0 + 19 = -i, 0 = 4*u + 20. Let f = 8067 - 8065. Solve -8 = -o + 5*a, -4*a = o + f - i for o.
3
Suppose -a = 2*a - 21. Suppose -5*q = -a - 18. Let f be 9/(-6)*(-6 + 4). Solve 3*j = -x - q, 4*j + 20 = -x + f*x for x.
4
Let b = -20 - -33. Let v(i) = 2*i**3 + 0*i**2 - 8*i**3 - i**2. Let z be v(-1). Solve -l + 0*f = z*f - b, -5*f + 7 = 4*l for l.
-2
Let k = 6 + -3. Let c(l) = 3*l**2 + 12*l + 8. Let x be c(-4). Suppose x*z = 86 + 26. Solve 4*u + 3 = k*m + z, 0 = -4*m - 20 for u.
-1
Let q(t) = t + 16. Let o = 7 - 13. Let x be q(o). Let u = -6 - -9. Solve -h + 3 = 0, 0 = 4*w + u*h - 3 - x for w.
1
Suppose b - 2*z = 11, -11*z + 14 = b - 14*z. Suppose 3*l + 2*g - 25 = 0, 2*g - 21 = -2*l - 3. Let k = l - 5. Solve -45 = b*i + 4*c, -k*i - i + 4*c = -5 for i.
-5
Let n(d) = -4*d**2 - 108*d + 4. Let w be n(-27). Solve 2*m + w = -2*x + 12, -3*m = 5*x - 16 for m.
2
Let d(q) = -q - 2*q**2 - 1 + 4*q - q + 11*q. Let k be d(6). Solve -x = -k*x - 4*p + 16, -x + 5*p - 26 = 0 for x.
-1
Let z = 29 + -20. Suppose y + 2*y = z. Suppose -y*j + 2*d + 68 + 5 = 0, 2*j - 48 = d. Solve -w + 2 = -q, -5*w - 4*q - 4 = -j for w.
3
Suppose -3*v + 8*v = 20. Suppose -44 = -v*j - 8. Let x be (8/(-6))/((-3)/j). Solve 5*m + 7 = -2*u + x*u, 4*u + m + 19 = 0 for u.
-4
Let y be (-3 - 8)*4/(-6 - -2). Let r(b) = 3*b**2 - 2*b - 3. Let x be r(3). Solve 5*a + y = -h, -h + 4*a + x = 2 for h.
4
Let r(i) = -i**2 + 6*i + 11. Let w be r(8). Let h(p) = -p - 1. Let a be h(w). Suppose 0*o + o = 5. Solve 0 = -k - 2*f - 7, 0 = 3*k - o*f + 3 - a for k.
-3
Let m be 32/(-24)*9/(-4). Solve -4*u = -3*q + 4, 0*q + m*u = q - 8 for q.
-4
Let v(r) = -r**3 - 13*r**2 + 2. Let a be v(-13). Suppose s - 3*g = a, -5*s + 2*g - 4 = -14. Solve 1 = 5*f + 4*x - x, s*f + 4 = x for f.
-1
Let v = 4 + -4. Let h be (-1)/1*(0 - v). Solve -4*a + 3*a - s - 1 = h, -a - 2*s = 1 for a.
-1
Let w = 759 - 759. Solve -5*z + 4*r - 45 = w, 2*r - 3 - 2 = -z for z.
-5
Suppose -225 = -5*j - 4*f, 10*j - 135 = 7*j + 2*f. Solve -2*o - 3*o - 5*n = j, 3*o - 3*n - 3 = 0 for o.
-4
Let y = -15 - -20. Suppose 4*j = -2*h + 32, -3*h + 44 = y*j - j. Let p be ((-11)/(-33))/(1/h). Solve 0 = 2*d + r - 6, -p - 2 = -2*d + r for d.
3
Suppose -14*n = -5*n - 45. Suppose m = -n*m + m. Suppose -4*b + 21 = y, -2*b - 5*y + 17 = 2. Solve 3*d + b*h - 29 = m, -2*d + 0*h + 3*h = 6 for d.
3
Let m(u) = 28 + 17 - 10 - 3*u + 2. Let g be m(10). Solve -2*q + g*y - 3*y + 6 = 0, -4*q + 4*y = 0 for q.
-3
Let w(a) = -a**2 - 8*a + 10. Let z be w(-7). Solve z = -3*h + d, -2*d = h - 0*h + 1 for h.
-5
Let o = 18 + -13. Let r = 5463 + -5461. Solve r*f + f = 4*b - 8, -2*b = -o*f - 18 for f.
-4
Let w = -6 + 10. Suppose 0 = -w*r + 2*r. Solve r = 3*y - 6, 5*z = -5*y + 30 + 5 for z.
5
Suppose 3*g + 5 = -2*g. Let n be (-2)/((-6)/(-21)*g). Solve -5*q + 21 = 4*p, 3*p - 3*q - n = 2*q for p.
4
Let i be ((-8)/(-2))/(1 - -1). Let g(n) = -2*n + 5. Suppose -4*b = -3*b - 0*b. Let s be g(b). Solve -k - s*q - 18 = 0, -2*k - q - 7 = i for k.
-3
Let f(x) = 12*x**2 + 3*x - 1. Let a be f(1). Suppose -a = -j - 7. Suppose -y + j = 3. Solve 0*p = 2*t + y*p - 2, -5*t - 4*p - 7 = 0 for t.
-3
Let t be -2 - ((-616)/(-21) - 2/(-3)). Let n = -29 - t. Solve -3*u - 5*j + 2*j = -3, -u - n = -3*j for u.
0
Let v = -30 + 58. Solve -3 = 4*x - l, -4*x -