5*v + 2*c - 83. Let r = -12 + v. Suppose -r*n + 41 = 1. Solve -2*x + 3*l + 2 = 0, x + n = -4*l - 2 for x.
-2
Let i be (-15)/6*12/(-15). Suppose 3*u = i*u. Suppose u = -2*t + t + 4. Solve t*a - 2 = -5*c + 10, -4*c + 14 = a for c.
4
Suppose r + 5*z = -61 + 62, -4*r = 3*z - 21. Solve 2*a - r = 7*y - 9*y, -7 = -5*y + 3*a for y.
2
Let v(n) = -n**3 + 8*n**2 - 5*n - 10. Suppose -16 = -5*j + 19. Let r be v(j). Solve 4 = 2*u + q, -r*q = 2*u + 1 - 5 for u.
2
Let t = -2016 - -2017. Solve -4*n = -c + 22, -2*c + 4*c = -n - t for n.
-5
Let g(h) = -78 + 85 - h**2 + 3*h - 5*h. Let z be g(-3). Suppose z*p - 1 = 15. Solve 3*w = 2*m - 6, 4*w + p*m + 36 = 8 for w.
-4
Suppose 3*z + 23 - 89 = 0. Solve -2*q = -4, 5*q = -2*n - n + z for n.
4
Let j be 10 + 17/((-17)/6). Solve 0 = -3*v - v + u - 21, -j*v - 31 = -3*u for v.
-4
Let r be (4/(-8)*0)/((-2)/(-2)). Solve -4*g = r, 0 = -2*v + 3*v - 3*g - 1 for v.
1
Suppose 15*w = 18*w - 15. Solve w*f + 21 = 3*b, 5*b - 4 + 0 = -2*f for b.
2
Let d(a) = -8*a - 86. Let b be d(-11). Solve 0 = 5*v - o + 13 + 9, 2*o = b*v + 12 for v.
-4
Let q be 783/290 + (-6)/(-20). Solve -3*w + 31 = -5*r, 3*w - 23 = q*r - w for r.
-5
Let g be (-1)/3 + 123/369. Solve g = 2*y + 2*x - x + 2, -x - 6 = 4*y for y.
-2
Suppose -3*g = -6*g + t - 729, 747 = -3*g - 5*t. Let a be g/(-16) + (-2)/8. Suppose a*j = 18*j - 9. Solve -j*d = -2*d + c, 0 = -d - 3*c + 8 for d.
-4
Suppose 5*p + 4*q + 2 = 0, 2*p - 6*p - q + 5 = 0. Suppose 121 - 136 = -5*f. Solve -2*w + 3 = -p*i - f*w, 3*i - w - 8 = 0 for i.
1
Let q = -31 - -50. Solve -4*i = -f + 5, -4*f - 2*i = f + q for f.
-3
Suppose 13 = 2*h - 1. Let u(k) = k**2 + 4*k + 2. Let j = -15 + 11. Let t be u(j). Solve 5*y = 4*s + h, t*y = 2 + 4 for s.
2
Let b be ((-14)/35)/(1/15). Suppose -w + 4*w = 0. Let m = w - b. Solve -2*p + 0*p + 3*c = -2, -5*c + m = -p for p.
4
Let u = 84 + -84. Solve 5*o + 3*s = u, o - 2*s - 6 = 7 for o.
3
Suppose 0 = -q + 3*q - 130. Let f = q + -31. Let v = f + -31. Solve -2*m - v*n - 8 = 0, -2 + 9 = m - 4*n for m.
-1
Suppose 5*y + 28 = 8*z - 4*z, 0 = 2*y + 8. Let i be 3 + (2 - (0 + 0)). Solve 0 = -5*k + 3*g + 40, z*g = -i*k - 9 + 24 for k.
5
Let s be (1 + (-10)/(-3))/(2/6). Solve 2 = 10*p - 6*p + r, -5*r = -3*p + s for p.
1
Let t be 21/2*((-16)/12 + 2). Suppose -48 = -t*v + 4*v. Solve 8*a = 2*d + 3*a + 28, -v = 5*d + a for d.
-4
Suppose -5*a - c = -24, 2*c + 4 = a + 2*a. Suppose 3*s = a*m + 56, -4*s + 2*m = -0*s - 68. Solve s = -4*v, -5*f + 2*v = -f + 12 for f.
-5
Let y = -809 - -829. Solve p + j = -0*j, 2*j + y = 2*p for p.
5
Suppose -h - z = 4*h + 3, 3*h - 2*z = 6. Suppose 0 = -2*u - h*u + 24. Solve -2*q - 3*q - 4 = 4*k, u = q + 4*k for q.
-4
Let c(x) = -36*x - 175. Let i be c(-5). Solve -5*u + 8 = i*b + 28, -4*b = 0 for u.
-4
Let z(t) = 8*t + 66. Suppose 11*n = -106 + 18. Let u be z(n). Solve 13 = 3*p + 2*a, p + 18 = 5*p + u*a for p.
5
Suppose 0 = 2*l - 0 + 6. Let v be (3 + -3)/l + 1. Suppose -i - v + 3 = 0. Solve 5 = -q + 2*h, -3 = -q - i*q - 3*h for q.
-1
Suppose -4*z + 10 = z. Let w = -10 - -14. Suppose 0 = -w*h + 71 - 19. Solve 4*s - 28 = 4*d, -z*s - d - h = -6*s for s.
2
Let w(q) = q**2 + 13*q + 4. Let y be w(-14). Let r = -8 + 7. Let l(o) = 10*o**2 - o - 1. Let b be l(r). Solve -5*x = 3*z - y, -2*x - x + b = z for x.
3
Let c = -6 + 10. Suppose 8 = c*u - 4. Suppose -6 = -3*r - u. Solve r + 0 = 3*z + 2*b, -8 = z - b for z.
-3
Let g = -401 - -406. Solve -1 = -5*t - 3*i + i, t - 14 = -g*i for t.
-1
Let l(m) = 2*m**2 + 21*m - 8. Let z be l(-11). Suppose -z = -5*n + 17. Solve 5*r - 25 = -3*i + n*i, 3*r = 15 for i.
0
Let j(r) = -r**2 + 15*r. Let m(h) = -h**2 + 7*h + 4. Let a be m(8). Let u be 1 - 7*a/2. Let c be j(u). Solve c = -x - 2*y + 4, -5*x - 24 = -y for x.
-4
Let o = 815 - 809. Solve -5*g - 12 = -j, o*j = 4*g + j - 3 for g.
-3
Let y(z) = -2*z**3 - 4*z**2 + 6*z + 4. Let t be y(-4). Let f = -40 + t. Solve 0 = 5*m + 2*g - 7, -2*g = -f*m - 0*g + 2 for m.
1
Let l = -14 - -26. Suppose -12 = b + 4*j, j + 8 = 5*b - 16. Let y = 28 + -8. Solve -4*d = b*g - y, -6*d = 2*g - 2*d - l for g.
4
Suppose 2*c - 13 = 3*k, 0 = 2*c - 0*k - k - 7. Let p(s) = s**3 - 4*s**2 - 4*s + 1. Let j be p(5). Solve -4*d = h - j + 17, 2*h + 4 = -c*d for d.
-3
Let a(n) = 38*n - 71. Let l be a(2). Solve 2*b - 4*j - l = -15, b - 10 = -3*j for b.
1
Suppose 0 = -2*b + 5*b + 9. Let a be b/(3 - 18/5). Solve -a*p + 6*h = 3*h - 40, p = -h for p.
5
Let z = 6 - 69. Let i = z - -72. Solve 4*g = j - i, -5*g - 9 = 4*j - 3 for j.
1
Let g be 1/(-2) + (-3135)/30. Let r be (4/6)/((-14)/g). Solve -5*b - 8 = 4*f, -f - f = r*b + 14 for b.
-4
Let a = 86 - 61. Suppose 9*k - 4*k - a = 0. Let n = k - 2. Solve 2*l = -5*s + 26, -n*s - 2*l = -l - 15 for s.
4
Suppose -o + 0*o = -44. Let h be (o/16)/((-2)/8). Let x = -9 - h. Solve 0 = -0*i + i + 4*c + 17, -x*i - 19 = 5*c for i.
3
Let l(f) = -f**3 + 15*f**2 - 13*f - 13. Let p be l(14). Let q be 6 + (-3)/1 + p. Solve 0*h - 25 = 2*v - 5*h, v = q*h - 20 for v.
0
Let l = -6 - -6. Solve -u + 4 = l, 4*j = -0*u + 3*u for j.
3
Suppose 0 = 4*a - 12*a + 40. Solve -a*r = 2 + 18, -17 = 3*j + 2*r for j.
-3
Suppose -28 = -4*w + 5*v, -9*w + 6*w = -v - 32. Solve -4*l + 13 = -5*h, 4*l - 2*h = 2*h + w for l.
2
Let c(r) = r - 21. Let q be c(-13). Let f = 36 + q. Let n(p) = p - 1. Let k be n(2). Solve -5*i - 2*s = f*s - 14, i - s - k = 0 for i.
2
Let p = -24 + 24. Suppose 5*o - o - 24 = p. Solve -5 = i, 0 = -3*u - i - 2*i - o for u.
3
Let h(s) be the first derivative of s**3/3 + s + 1. Let i be (1 + -3)/(-1*1). Let k be h(i). Solve -4*j + k = -5*c, c = 3*j + 6*c - 30 for j.
5
Let d = -1 - -1. Let s(p) = p**3 - 8*p**2 + 2*p - 13. Let q be s(8). Suppose 0*c = -c. Solve -q*v - 3*h + 12 = d, c*h + 2*h - 2 = 0 for v.
3
Let j be ((-76)/(-57))/((-4)/(-15)). Solve 0*o - 9 = 2*t + 3*o, 5*t - j*o = 15 for t.
0
Let g be 3*(-5)/3 + -1. Let b be 3/g + 4/8. Let v be 17 - (1 + b + -2). Solve -j = -4*x + 17, -x = -5*x + 2*j + v for x.
4
Let f(z) = z**2 - 2*z + 5. Let i be f(0). Solve -2*r = -2*x + 12, -i*r + x - 16 = 3*x for r.
-4
Let w = 1180 + -1179. Solve -4*g = 4*m + 3 + w, 2*g = 2*m + 2 for g.
0
Let m = 587 - 584. Solve m*v + r = -8, -3*r = -5*v - 5*r - 13 for v.
-3
Suppose 4*n - 15*z = -14*z + 2, -n + z + 2 = 0. Solve n*f + y + 10 = 5*f, -5*y + 2 = f for f.
2
Suppose 7*l + 66 = 2*l + 3*w, -2*l = -2*w + 24. Let g(y) = -y**2 - y + 5. Let t be g(4). Let h = l - t. Solve h = 4*r + 4*z + 20, -22 = 2*r + 5*z - 0 for r.
-1
Let a be (3 - -1) + 7 + 1. Let w(l) = 14*l + 14*l**2 - 12 - 34*l + a*l + 7*l + l**3. Let r be w(-14). Solve 15 = 5*m - 2*d + 7*d, r*d - 6 = 2*m for m.
0
Suppose u + 3*u - 8 = 0. Suppose -3*z + u = -f - 0, 0 = -3*z - 5*f + 8. Solve -q = 2*o + z, 3*o + 4*q + 3 = q for o.
0
Suppose 0*a - 3*a + 3*o = -27, -41 = -5*a + 3*o. Solve t - h - h = -a, 4*t = 5*h - 22 for t.
-3
Let c = -5 - -10. Suppose -4*w - 6*j = -j + 52, 5*w - 4*j = -106. Let r be -2*3/6*w. Solve 4*z + 0*o + o = -r, z = -5*o + c for z.
-5
Let f = -139 + 156. Solve -b = -2*k - 13, f = -3*k + 2 for b.
3
Let q(x) = -7*x - 16. Let b be q(-8). Let k be b/10 + (-31)/(-1). Solve -c = 3*r + 12, 3*r - 11 = -5*c - k for c.
-3
Suppose 9*g - 11*g + 2 = 0. Let t be -4 - (2 + -8)/1. Let a = 13 - 10. Solve a*m - t = l + g, 0 = -l for m.
1
Suppose -4*c + 7 + 1 = 0. Suppose 0 = -4*h + c*h + 4. Solve 5 = 5*v - 5*o, -2 = -v + 3*v + h*o for v.
0
Let m(i) = 4*i**2 - 23*i - 4. Let a be m(6). Solve 0 = 4*c + 2*j - 4, c = -3*c + a*j - 12 for c.
-1
Suppose -3*x = x - 20. Suppose 0 = -x*u + 2 + 18. Let o(s) = -s**2 + 1. Let p be o(1). Solve 8 = -u*z, p = -m + 6*m - 3*z + 19 for m.
-5
Let l be (6/(-5))/(4*2/80). Suppose w - 3 = -0*w. Let b = w - l. Solve 0 = -5*f + x - 9 + 2, -5*x + b = -5*f for f.
-1
Suppose -5*l = 3*b + 14, -13 + 15 = -b - l. Solve -t - 2*k = t + b, 4*k = -2*t - 2 for t.
-1
Let h be (-2)/(-2) + 22 + -18. Solve -u + 16 = -4*c, -5*u + 0*c - h = -3*c for u.
-4
Suppose 5*b - 5*f - 40 = 0, b - 5*f - 32 = -2*b. Suppose 3*l = -b*i + 5 + 8, -2*i = 2*l - 10. Solve -k + l*w - 2*w - 23 = 0, -3*k + 4*w = 14 for k.
2
Let i be 6*(3/(-2) - (9 + -13)). Let d(r) = -r + 21. Let z be d(i). Solve -2 = -5*s + 8, -5*s = 4*t + z for t.
-4
Let z be (69/92)/((-53)/(-52) - 1). Let f = z - 36. Solve 0 = -2*a - 5*j - 4, -a + j + f = 5 for a.
-2
Let q be (-4)/(-7) + ((-152)/(-28) - 4). Solve -4*b +