0 for v.
-3
Let l = 30 + -23. Let g(k) = -k + 11. Let s be g(l). Solve s*q - u + 4 = u, -5*u - 1 = q for q.
-1
Let p = -616 + 621. Solve i + 9 + 20 = -p*y, i = -2*y - 14 for y.
-5
Let c be (-8)/(-6) + 2905/249. Solve 3*s + 23 = -2*n, -c = s + 2*n - 0 for s.
-5
Let d(i) = 10*i - 10. Let v be d(3). Suppose -a = 4*a - v. Solve -2*w = -a*g + 14, 0 = 2*g + g + 5*w + 22 for g.
1
Suppose -5 = -5*x - 2*g, 6*x - x - g - 20 = 0. Solve 0 = 5*m + 4*z - 7, 3*m + 3*z - x = 0 for m.
3
Let m(c) = -5 - 2 - 3*c + 5. Let h be m(-2). Solve -4*k + 6 = -4*s - 22, 4*k + h*s = -4 for k.
3
Let q be 126/70 - (-2)/10. Let t = 458 - 455. Solve -q*y - 7 = -3*x, -t*x + 0*x - 8 = y for y.
-5
Let c = 9 - 4. Let j be 59/(-3) - (-4)/(-12). Let t = -16 - j. Solve -c*m + 4 = -4*h - m, h + 16 = -t*m for h.
-4
Suppose 1 = 3*f - 11. Suppose -f*t - 4 = -2*t. Let d be 3 - (-3 + 1)/t. Solve h + 3*w = 5*h - 4, -2*h - d*w = 12 for h.
-2
Let m = 155 - 151. Solve r + 4*q - 2 = -r, -m*q = -4 for r.
-1
Suppose -4*v = -4*j + 7*j - 8, j + 4*v = 8. Suppose j*a - 60 = -5*a. Solve 4*k - a = 4*b - 2*b, -k = -5*b - 3 for b.
0
Let g = -11 + 8. Let u be g + 1/(2/6). Let h be 5*(3 + (1 - 3)). Solve -1 = -d, u = h*x - 2*d - 8 - 5 for x.
3
Let s(n) = n**2 + 12*n + 2. Let r be s(-10). Let f = -15 - r. Suppose 0*l - 24 = -2*l. Solve -m - 5*x + 5 = 33, m - f*x - l = 0 for m.
-3
Suppose 4*u = -57 + 161. Solve y = 3*t - 17, -2*y = t - 5*t + u for t.
4
Let r(i) = 3*i - 16. Let o be r(5). Let u be (-2)/(1 + -2) - (-3 - o). Solve 2*h - 4 = u*a + 8, -2 = -h + a for h.
-2
Let q(n) = -2*n**3 - 7*n**2 + 3*n + 2. Let i be q(-4). Suppose -i*v - 4 = -22. Solve 5*d - 15 = -5*k + 10, -v*d + 7 = -5*k for d.
4
Suppose -416*z = -419*z + 9. Solve 4*u = 5*j + 8, 5*j - 2 - 4 = -z*u for u.
2
Let m(a) = 3*a + 1. Let t be m(1). Let s be (-82 - -83)*(-6)/(-3). Solve -5 = -q + p - 3, -s*q + t*p + 10 = 0 for q.
-1
Let t(y) = -y**3 + 5*y**2 + 2*y - 6. Let q be t(5). Let c = 5 + -3. Solve -2*w = -3*o - 4, 0*o - c*w = q*o + 10 for o.
-2
Let c = 23 - 23. Suppose 5*j - 5 - 5 = c. Suppose 0*v - 8 = -j*v. Solve 5*n = -6*k + k + 15, -19 = -v*k + 3*n for k.
4
Let u be -12 - (1 - (-1 + 0)). Let i = 14 + u. Suppose 0 = s - i*s - 5. Solve -y - 5 + 0 = -2*k, 2*k - s*y - 17 = 0 for k.
1
Let y(a) = a + 3. Let n be y(0). Let s = 50 + -46. Suppose -s*c = -4*o, o + 3*o = 3*c. Solve -4*k - 20 = 4*z, z + o*z - 11 = n*k for z.
-1
Let l = 132 - 127. Solve -5*i = 4*k - 3, -13 + 6 = -l*k - 3*i for k.
2
Suppose -41*v + 48*v = 28. Solve f = -2*l + 1, v*l + f + 2 = 7 for l.
2
Let w be ((-20)/(-8))/(3/24). Solve -q + 3*y = 8*y + w, 3*y = q - 4 for q.
-5
Suppose -398 = -2*t - 4*z - 384, -2*t - 2 = -4*z. Solve -17 + 4 = -3*b - 4*f, 3*f + t = 2*b for b.
3
Let w = -131 - -138. Suppose w*y = -3*y. Solve y = 3*m + 3*t + 12, t + 2*t + 15 = 0 for m.
1
Let s(q) = -q**3 - q**2 + 9*q + 14. Let t be s(-3). Solve -4*v = -4*h - 4 - 8, t*h + 13 = 4*v for v.
2
Let j = -29 + 27. Let y be 4 - (j + 2) - 0. Solve -4*a = -q + 13, -y*q + 16 = -4*a - 0 for q.
1
Suppose 20 = -9*p - 61. Let i be 5 + ((-1)/(-2) - p/(-6)). Solve -7 = -4*v - 5*a, 4*v + 4*a = -i + 12 for v.
3
Let c be (0 + -4)/(1 - 3). Let q = 3 + c. Solve 4*f + q*x = -24, -2*f - 2*x + 7*x + 18 = 0 for f.
-1
Let u(d) = 9*d**2 - 3*d. Let a be u(1). Solve 0 = i + 4*q, -3*i + a*i = 2*q for i.
0
Suppose 4*y - 73 = -237. Let s = y + 44. Solve -4 = -2*g, -s*j + 2*g = j + 4 for j.
0
Suppose -2*i + 7*i = 3*q + 25, 2*q + i - 5 = 0. Solve q = f - 4*p + 3 + 1, -3*f = -3*p + 12 for f.
-4
Suppose -4*g + 8 = -3*h, -32*g - 6 = -35*g - 3*h. Solve -2*f = 0, -f - 10 = -g*s + 4*f for s.
5
Let b = -22 + 27. Suppose b - 32 = -3*y. Suppose 4*j - y = j. Solve -z + 16 = 3*u + 3*z, j*u + 5*z = 17 for u.
4
Let x(u) = -u**2 - 8*u - 12. Let z be x(-5). Solve -2*t - 16 = 2*t + z*w, 2*w + 3 = 5*t for t.
-1
Suppose 13 = -5*j + 118. Suppose -2*o + j = 13. Solve -l + o*l = 3*z + 9, -3*l + 10 = -4*z for l.
2
Let n = -4 - -5. Suppose -30 = -5*v + 2*q, 5*v + 4*q = 3*q + 30. Let z be v + 6 - (-1)/n. Solve 2 = j - 4*k - 0, -5*j = 3*k + z for j.
-2
Let d be (-120 - -119)/(-1*(-1)/(-2)). Solve 0 = 3*h + d*y - 8, -4*h + 11 = 3*y - 0*y for h.
2
Suppose -37 = -4*f + 5*x, -3*f = -4*f + 5*x + 28. Solve -f*t + 17 = -2*s, 8 = -2*t - 5*s - 6 for t.
3
Let q = -13 + 1. Let f be (-8)/q - (-8)/6. Solve -5*c = -f*u - 26, -3*c - 16 = 4*u - 4*c for u.
-3
Suppose 0 = -5*g + 699 - 49. Suppose 5*b - 4*t - t - g = 0, b - 35 = -2*t. Solve -4*v + 2*v + 5*y - b = 0, 3*v - 19 = -5*y for v.
-2
Suppose -2*r - 5 = -4*r + 3*o, 5*r = o - 20. Let i(k) = -k**3 - 5*k**2 - 2*k - 6. Let q be i(r). Solve 0 = q*u + 2*b, 2*u + b = -2*b + 8 for u.
-2
Let k = 45 + -11. Let z be k/(-187) + 136/22. Solve -3*g = 2*g + 5*j - 20, 3*j - z = 0 for g.
2
Suppose 0 = 11*i + 17*i. Solve 13 = -s - 2*h, 2*s - 3*h - 7 - 2 = i for s.
-3
Let v = 2 + 0. Suppose 6 = 5*g + 31, -5*n - 3*g = 90. Let j be (5 - v)*n/(-9). Solve -o - j = -2*u, -4 - 21 = 5*o - 2*u for o.
-5
Let i(v) = v**3 + 3*v**2 + 3*v + 1. Let l be i(-1). Suppose s - p = 7, -3*s + l*p = 4*p - 7. Solve 0 - s = -5*z + 5*u, -4*z + 4 = u for z.
1
Let o = 194 + -180. Solve -4*b = 3*r - 8, -4*r - 5 = 5*b - o for b.
5
Let q be (-2)/6 - (-154)/21. Let k(p) = -p**3 + 2*p**2 + 6*p + 11. Let f be k(4). Solve -2*z + q*g - 3*g = 2, 5*z + f*g + 18 = 0 for z.
-3
Let b = 22 - 20. Let p be (-84)/18 + b/3. Let m be (-77)/(-28) + 3/p. Solve -c = -m*s + c, -c = 0 for s.
0
Let z(k) = -k**3 + k**2 + 3*k + 2. Let i be z(-2). Suppose -m = m - i. Solve -r - 13 = -3*r - 3*b, -16 = -m*r - 4*b for r.
-1
Let n = 91 + -89. Solve -n*i - 5 + 3 = -h, -4*h = 5*i + 5 for h.
0
Let p(a) = -a**2 + a + 13. Let s be p(4). Let o be (s*-1)/(16/(-48)). Solve -5*y = n + 15, 0 = o*n + 4*y - 6*y - 6 for n.
0
Let g(b) = b**3 - 3*b**2 + 3*b - 4. Let w = 6 + -3. Let q be g(w). Solve -3*h - 2 = -h, 3*h = -q*f + 22 for f.
5
Suppose -p - 6*y - 3 = -7*y, 5*y = -5*p - 5. Suppose -2*b + 10 = 2. Let i be p + (3 - (-16)/b). Solve -4*w = -i*s + 11, w = 7*s - 3*s - 11 for s.
3
Suppose 4*i = -3*x + 14, 2*x = 2*i - 2*x + 4. Suppose i*s - 4*y - 12 = s, 0 = -5*y - 15. Suppose 6*g + s = 18. Solve -3*u = -5*r - 27, r - u - 2 = g*r for r.
-3
Let c(h) = -3*h**2 + h**2 + h**3 - h + 8*h**2 - h**2 - 3. Let p be c(-5). Solve -5*i = 3*o + 7, -4*i + 2*o = -p*i - 10 for i.
1
Suppose -8 = 315*p - 317*p. Solve -2*j + y = -4*y, p*j - 3*y = 0 for j.
0
Let z be 6/4 + (-6)/4. Suppose z = 9*i - 0*i - 18. Solve -5*q + 16 = i*j, 8*q + 4*j = 3*q + 12 for q.
4
Let l be (-2)/5 - 168/(-70). Let z = -21 + 29. Solve 0 = -0*t + l*t - 4*g - z, -5*t - 4*g - 36 = 0 for t.
-4
Suppose 0 = 11*v - 6*v - 175. Suppose -5*h = 10 - v. Solve 17 = 3*w + u, 2*w - h*u = -0*w for w.
5
Let d = 100 - 43. Suppose d = -n + 6*n + 2*a, 5*a = n - 33. Suppose -o + 3*q = n, -3*o - q = q - 16. Solve -o*u + h = 13, -30 = -0*u + 3*u - 5*h for u.
-5
Let f be 2*(-4 + 2) + 4. Suppose -2*s + 8 = -f*s. Let t be (-275)/(-99) - s/(-18). Solve -j + 2*o = -0*j + t, -4 = 4*o for j.
-5
Suppose 0 = -3*j - 11 + 2. Let w be j - 6*(-4)/4. Solve 5*z - 4*t = 3, -3*z + 6 = -3*t + w for z.
-1
Suppose -23 = -4*j - 3*b, -3*j + 0*b + 10 = -5*b. Solve 2*c = 5*n + 26, 0 = -2*n - j*c + 2*c + 1 for n.
-4
Let p(d) = -d**2 - 7*d + 4. Let m be p(-7). Let o = m + -1. Let f = 128 + -126. Solve 2*v - 10 = f*t, 2 = -o*t - v + 7 for t.
0
Let y be (-6)/(-22 - 2) + (-7)/(-4). Solve t = 2*t - 5*o + 18, -y*t = -5*o + 16 for t.
2
Let j(w) = -w**3 + 5*w**2 + 4*w + 12. Suppose 4*v + v = 20, 5*f = 3*v + 18. Let i be j(f). Solve -5*p - 2*l - 2*l + 12 = i, -5*l = -p - 15 for p.
0
Suppose 0 = 5*i - 10 - 10. Let d(f) = 7 + 7*f**2 + i*f - 3*f**2 + 2*f**3 - 3*f**3. Let w be d(5). Solve -4*q + 36 = -w*o - 2*o, -4*q + 31 = -3*o for q.
4
Let g(j) = j**3 + 22*j**2 - 2*j - 27. Let n be g(-22). Suppose 11 = 7*i - n. Suppose 0 = i*a - 15 - 1. Solve 4 = -3*x + z, z = -a*x + 3*z - 2 for x.
-3
Let d = -66 + 63. Let o be d - (-2)/(8/20). Solve 5*t + 0*m = m + 5, o*m = 10 for t.
2
Let i = 386 + -379. Solve -q - 6 = 5*g, 9*g - i*g = 2*q for g.
-1
Let p be (-1 + 0 - -55) + (5 - 3). Suppose -5*u - 2 = -5*y + 3, u = 2*y + 1. Let k be (y/7)/((-8)/p). Solve 4*w = -3*o - 23, 2*o = -k*o - 4 for w.
-5
Suppose -18 = 2*x + 2. Let p(l) = -l**2 - 10*l + 6. Let g be p(x). Suppose g*y - 4 = 8. Solve 1 = -y*m + 3*m - b, 0 = 2*m - b - 2 