z(n) = n + 8. Let r be z(-6). Let k = 10 + -6. Solve -c + 0*x - k = -3*x, 3*c + 1 = -r*x for c.
-1
Suppose x = -0*x. Let s = 42 + -38. Solve 0*a + 9 = -5*j + a, -j + s*a - 17 = x for j.
-1
Let x = -37 + 22. Let o be 5/x - 10/(-3). Solve o*m + 3 = -4*a, 3*m + 6 = 4*a + 3 for m.
-1
Let z = -13 + 17. Solve z*j = 0, 8*w - 3*w = j for w.
0
Let a(g) = -2*g**2 + g + 7. Let t be a(0). Solve 5*l + t = -3, -2*s - 3*l = 12 for s.
-3
Let m be (-1)/4*2*-14. Let y = m - 4. Solve 3*i - 5 = 2*d + 3*d, 0 = -y*i for d.
-1
Let v(j) = 4*j**2 + 2*j + 1. Let o be v(-1). Suppose 0*s - 15 = -5*s. Solve 3*d + 0 + s = o*g, -4*d + 41 = 5*g for g.
5
Suppose -132 = -4*v - 44. Solve -2*q = -4*b + 12, -q - v = -6*q - 3*b for q.
2
Let l = -29 + 32. Solve 2*z = -z + 5*s - 13, 9 = -3*z + l*s for z.
-1
Let t(l) = -l**3 - 48. Let p be t(0). Let r = -33 - p. Solve -7*g = -2*g - 5*c - 35, 5*c = -r for g.
4
Let a = -33 + 57. Suppose -l - 19 = 2*l - 4*q, 3*q = -2*l - a. Let g = l - -12. Solve 4*s - 13 = -g*n, -3*s + 3*n + 2*n = 12 for s.
1
Suppose n = -2*n + 6. Suppose -2*c + 2*v + v = 8, n*v + 2 = 5*c. Let p be (-1)/2 + (-9)/(-2). Solve 13 = -i + p*t + c, -2*t = -3*i + 7 for i.
5
Suppose 0 = -j - 1 + 2. Let q be -2 + 7 + (-1)/j. Let v = -3 + 6. Solve 5*t + q*p - 4 = 0, -v*p = -2*t - 6 + 3 for t.
0
Let x = 84 - 49. Solve 0*g = -5*w + 2*g - x, -4*g = -20 for w.
-5
Suppose 5*k + 28 = n, -3*k - 24 = -2*n - n. Solve -3*i + w = -4, w = 2*i + n*w - 8 for i.
2
Let s = -4 - -2. Suppose -3*f + 18 + 0 = 0. Let k = f + s. Solve -k*c + 23 + 2 = 5*q, -10 = -2*q - 5*c for q.
5
Suppose -4*g = -7 - 9. Let z(u) = -u - 3. Let n be z(-9). Let b be -2 - (n + 0)*-1. Solve -g*i + 4 = b*p, 0 = -0*i - i for p.
1
Let a(k) = -k**2 + 4*k + 14. Let v be a(6). Solve 3*b + 1 = -v, 3*n - 5*b + 4 = 0 for n.
-3
Let g be (-2)/9 - 79/9. Let n = g + 8. Let i = 2 - n. Solve 0*o = -5*f + i*o + 24, o = -3 for f.
3
Let r be ((-15)/4)/((-2)/8). Let l(t) = t**3 - 8*t**2 + 5*t + 19. Let j be l(7). Solve -3*u - r = i, i = j*u - 4*i + 25 for u.
-5
Suppose -3*c + 22 = b, 5*c + 2*b = 15 + 22. Let v = 9 - c. Let d be v + 3/9*3. Solve -1 = -3*q + 5*i + 4, 0 = 2*q + d*i - 16 for q.
5
Let w be ((-8)/(-3))/(16/24). Let q(n) = -n**3 + 4*n**2 + n - 1. Let f be q(4). Suppose 2*b + 32 = 6*b. Solve 3*m = -2*k + w, f*m + b = 4*k - m for k.
2
Let t = 1 - -2. Let d be 12/10 - t/15. Solve -d = -w - x, -w + 10 = 5*x - 7 for w.
-3
Let w be 6*-4*(-3)/24. Solve -w = -3*s - 3*y - 15, -5*s + 4*y = 29 for s.
-5
Suppose -i + 17 = 2*w, -4*w - i + 34 + 1 = 0. Let x = 1 + -1. Suppose x = 5*o + 3*y - 32, 2*o + y - 4*y = -4. Solve -o*g + w*g + 22 = p, -p = -2*g - 7 for g.
-5
Let a(r) = -r**2 + 10*r - 18. Let c be a(7). Solve -23 = -2*p - 5*t, p + c*p + 5*t - 31 = 0 for p.
4
Let l(h) = h**3 + 6*h**2 + 4*h - 4. Let f be l(-4). Let t be (f/(-10))/(4/(-10)). Solve -4*g + 4*p - 28 = 0, -t*g + 6*p - 26 = 2*p for g.
-2
Let g = 122 - 189. Let q = -42 - g. Suppose 2*z = -2*z + 12. Solve -5 = -z*r - t, q = 3*r - 3*t - t for r.
3
Let y = -5 + 11. Let x(k) = k**2 - 4*k - 8. Let r be x(y). Let p be r/(-10) + 22/5. Solve -l + 9 = 4*z, 5*l = -p*z - 1 + 14 for z.
2
Let s be ((-13)/3)/(2/6). Let u = s + 1. Let l be 8/3 + (-4)/u. Solve 0 = -4*o + 4*v - 4 - 20, -2*o - v - l = 0 for o.
-3
Suppose -v + 4*v - 9 = 0. Solve u = -j + 10, -4*u - v*j - 6 = -41 for u.
5
Suppose r - t - 7 = 0, t + 0*t = 3*r - 29. Let n = -7 + r. Solve 3*z - p - p = -4, -3*p = n*z - 23 for z.
2
Let b = 29 + -25. Solve 2*u - b = -2*s, 0 = -u + 4 for s.
-2
Suppose -3*h = x + 11, 0 = 5*x + 2*h - 10. Solve -c - 7 = -3*k, -x*k + 6*c = c - 2 for k.
3
Suppose 0 = 4*s - 5*b - 5 + 3, 0 = 4*b - 8. Solve -4*u + 2*f = s*f - 22, -4*f + 8 = 0 for u.
5
Let a(q) = q**2 + q**2 - q**2 - 2*q + 2. Let f be 6/2*(-2)/(-3). Let s be a(f). Solve -s*w - 6 = 4, 4*t = -3*w - 11 for t.
1
Let k be 3*2 - (7 - 4). Solve 2*c - k*i - 3 = 0, -2*i = 4*c - 3*i + 9 for c.
-3
Let a(b) = -4*b - 3. Let v be a(-6). Let r = 37 - v. Suppose -5*c - r = -2*y, 5*c + 4 = -5*y + 3*y. Solve 4*f = -4*q - 8, -4*q - q = -y*f - 6 for q.
0
Suppose 134 = 4*a - 2*w, 3*a - 2*a + 4*w - 56 = 0. Suppose -3*r + a = 3*z, 2*r - 6*z + 3*z = 34. Solve 0 = 2*l - 2*i + r, -4*i = 5*l - 2*i for l.
-2
Let f(l) = -l + 9. Let t be f(7). Solve -4*o - 4*x - 24 = 0, 3*x - x - t = 5*o for o.
-2
Let u be (24/(-5))/(-2)*-10. Let s be (2/(-6))/(4/u). Solve i - 36 = -4*m + 5*i, -2 = -3*m - s*i for m.
4
Suppose 3*o = -3*r - 6, -2*o = r + 2 + 3. Let d = r - -15. Solve -5*u + 2*x - 4 = 16, -4*u = -4*x + d for u.
-4
Let d(s) = -2*s - 3. Let y be d(-3). Solve -m - 5*c = 5, -2*m - y*c = -5*m + 3 for m.
0
Let y(z) = -3*z. Let s be y(-1). Let a(k) = -1 + s*k + 2*k**2 + k**3 + 0*k**3 - 4*k**2. Let t be a(2). Solve 0 = 2*c + t*n + 1, -3*c - 5 = 4*n for c.
-3
Let a = -2 - -4. Suppose -5*w = 3*b + 2, 0 = 3*w - a*b + 7*b + 14. Let x be 2/(1 - 1/w). Solve 0 = -2*k + 5*k - 9, -x*t + 13 = 3*k for t.
1
Let w(l) = l**2 - 7*l - 8. Let a be w(8). Suppose 0 = 4*q - 2 - 2, a = 2*z - 2*q - 60. Solve 4*j + 19 = 3*u - j, -3*u - 5*j - z = 0 for u.
-2
Suppose 5*s - 33 = -0*s - 2*i, 3*s - 25 = 4*i. Solve 2*b + 5*u - s = 1, 0 = 2*b - 3*u - 8 for b.
4
Suppose -2*n = 4*f - 14 - 2, 4*f + 4*n = 12. Solve -5*d + a = -0*d - 19, 1 = -d + f*a for d.
4
Suppose 0*i = -i - 1. Let o = i - -6. Solve 3*y - 11 = 5*x, -o*x = 2*y + 3 - 2 for y.
2
Let v = -142 - -144. Solve 0 = -5*a, -v*k - 4*a + 5*a = 6 for k.
-3
Let l(i) = -i**3 + 4. Let g be l(0). Solve -4*w + f + 9 = 0, -w + g*w - 5*f = -6 for w.
3
Let y be (0/2)/(1/(4 - 5)). Solve 3*u - 2*s - 3 = -3*s, y = -u - 3*s + 1 for u.
1
Suppose 4 = -2*s + 4*s. Solve i + 8 = 5*w, -i = -2*i + s*w - 2 for i.
2
Let v(c) = -2*c**2 - 3*c - 3. Let t be v(-2). Let j = 5 + t. Let p = 3 + j. Solve 3*k - 24 = -p*s, -3*k + 20 = -0*k + 2*s for k.
4
Let x(q) = 6*q - 13. Let l be x(3). Suppose 1 = 5*u - g - 3, -u + 5 = 4*g. Suppose 5*d - 11 + u = 0. Solve -l*c + 15 = 4*s, -s - 6 = d*c - 4*c for c.
3
Let p = 297 - 136. Suppose -p = -4*y - 41. Solve -f - 4 = -5*s, 3*s - y = 5*f - 10 for s.
0
Suppose u + 260 = 4*b, 5*b + u = -0*u + 325. Let q = b - 46. Solve 3 = -3*j - 3*w, -5*j - q = -j - w for j.
-4
Suppose -2*d + 18 + 24 = 0. Let u be 36/d + 4/14. Let w = 10 - 2. Solve 0 = o + u*g - w, 4 = g + 2 for o.
4
Let k = 23 - 20. Suppose s = 5*j - 14 + 1, 5*s - 19 = -k*j. Solve j*t = -2*u + 4*u + 5, 4*u - 3*t = -13 for u.
-4
Let m = 8 - -4. Suppose -5*a - 10 = -5*c, -2*a + 4*c = 18 - 6. Suppose 6*q - 16 = a*q. Solve -4*z = -z + q*p + m, -4*p - 12 = -3*z for z.
0
Suppose -5*t + 2*k = -25, -k + 14 = 3*t - 2*k. Solve 4*x - 10 = -d + t*d, d - 11 = -2*x for x.
4
Let f(j) = -j**2 + 9*j - 3. Let g be f(8). Solve 4*p = -0*z - 5*z - 26, -g*z = 10 for p.
-4
Let u(x) = x. Let d be u(4). Suppose -3*z = g - 17 - 23, -d*z = 5*g - 68. Suppose -3*k = 3 - 15. Solve k*t + 2*f = z, 3*f = -t - t + 2 for t.
4
Let u be 2 + (3/3)/(-1). Suppose u = -a + 4. Solve 0*i = -2*i, 0 = a*q - 3*i + 15 for q.
-5
Let o = 3 + -7. Let d = 16 - 10. Let f = o + d. Solve 0 = -3*q + 4*q - 5*x + 3, -f*q + 5*x = 1 for q.
2
Suppose 6 = -3*s, -r + 18 - 5 = -3*s. Let a be (-24)/(-14) - (-2)/r. Solve 0 = -a*i - 3*x - 15, 3*i = 5*x + 25 - 0 for i.
0
Let x be (1 - -6) + -3 + 1. Solve 0 = -x*p - n - 22, p - 3*n + 2 = -4*n for p.
-5
Suppose 5*l = 20, 5*t + l = -0*l + 49. Suppose 3*f + t = -2*v - 0*v, 2*f = v - 6. Solve -z + 2*c - 4 = v, -5*z - 5*c - 16 = -z for z.
-4
Let i be 12/(-9)*(-24)/2. Let b be 6/(-33) + 70/22. Suppose -5*w = -3*m + 44, -w + i = 4*m + b*w. Solve -2*r = -3*r, -2*r = -4*u + m for u.
2
Suppose 2 = -2*q - 2. Suppose t + 5*b - 8 = 5*t, -t + 4*b + 9 = 0. Let z = q - t. Solve -3*v + 40 = -z*r, 2*v = -2*r + 4*r + 20 for v.
5
Let t be (((-1)/(-2))/(-1))/((-1)/6). Solve 0 = -t*j + 5*m + 5, 4*m + 2 - 5 = j for j.
5
Let z(h) = h**3 - h**2 - 3*h - 4. Let g be z(4). Suppose -q + g - 7 = 0. Let t = 60 - 38. Solve t = -4*n - o, -2*n - 5*o = n + q for n.
-5
Let r be 2/5 + (-1284)/(-15). Let w be 6/15 + r/10. Solve 4*z + 2*b - 11 = -3*b, 0 = -z + 5*b + w for z.
4
Let o be 29/9 - (-2)/(-9). Let f be o + 4/(-1) + 5. Solve -f*x - 5*p = -18, -2*x + 8 = -2*p + 4*p for x.
2
Let p be 3 + 25/(-9) - (-34)/9. Solve -p*r = -3*u + 8, -u + 4*u = -12 for r.
-5
Let l = 5 + 5. Suppose 0*r - 4*q = 3*r - l, 4*r + q = 9. Solve -3*o - 11 = -r*h, 5*h - 2*o - 25 =