.
4
Let y(n) = n**3 + 6*n**2 - n - 2. Let l be y(-6). Suppose -u + 3*d - d + 17 = 0, 4*u + 4*d - 8 = 0. Solve -5*j = -z + u, -2*j + l*z - 4 = 6 for j.
-1
Let r(f) = -f**3 - 2*f**2 + 2*f - 3. Let b be r(-3). Suppose -5*c - 10 = -2*p, b*c + 2*c + 25 = 5*p. Solve -3*i = -p*k - 0*k + 15, -2*k + i + 5 = 0 for k.
0
Let p(l) = 2 + 7*l**2 + 6 - 5 + l**3. Let d be p(-7). Solve -2*k - 4*q = -0*q, 8 = -d*k - 2*q for k.
-4
Suppose -7*v - 136 = 2*s - 3*v, 0 = -s - 5*v - 80. Let d be 4/(-14) + s/(-14). Solve 5*a + c + 10 = d*c, -2*a - c - 15 = 0 for a.
-5
Let l be ((-34)/(-14))/1 + (-360)/(-630). Solve -20 = l*v - 5*m, -17 = 3*v + m - 3*m for v.
-5
Suppose 0 = 4*m - 3*d + 24 + 5, 0 = -2*d - 10. Let l = -8 - m. Solve -k = v, l*v - 5*k - 14 = 26 for v.
5
Let c(q) = -q**3 + 4*q**2 - q - 4. Let n be c(3). Solve 13 = -2*z - n*z - m, -17 = 2*z - 3*m for z.
-4
Let c(i) = -7*i - 2. Let f(o) = 8*o + 2. Let v(s) = 5*c(s) + 4*f(s). Let a be v(-2). Solve a*k + 3*t = 6, 2*t = -5*k + 1 + 3 for k.
0
Let f = -11 - -19. Let y = -6 + f. Suppose 4 = -0*k - 4*k, 4 = 3*o + y*k. Solve 2*q + 30 = -4*z, -4*z + 9*z = -o*q - 35 for q.
-5
Let k = 16 - 11. Suppose -k*y = -y. Solve 0 = 4*u - 5*p + 36, y*p + 16 = -5*u - p for u.
-4
Let y be 0 + 5 - (-4)/2. Solve -g + q = 1, 0*g = -2*g - q + y for g.
2
Let j(l) = -l**3 + 7*l**2 - 3*l - 2. Let n be (0 - (-12)/14)*7. Let m be j(n). Let p be 3 + 3 - (3 + -1). Solve 2*f - m = p*i - 6, i + 16 = 5*f for i.
-1
Let f be 2/8 + 29/(-4). Let l(z) = -3*z**2 - 5 - 2 + 2*z**2 - 11*z. Let k be l(f). Solve -h - 7 = -3*u, 7*h = -5*u + 4*h + k for u.
3
Suppose 29 = 3*c - 2*w - 3, -2*c - w + 19 = 0. Solve 3*d - 22 = -5*j, 0*d + 3*d - j = c for d.
4
Let a(w) = w**2 + 7*w - 15. Let b be a(-9). Solve -3 = 3*g - z, b = -6*g + 3*g - z for g.
-1
Suppose 3*x = -4*l + 1, -4*x - 22 = -l + 2. Let a = l - 3. Suppose -3*n - a = -10. Solve 2*q = n*i + 14, -3*q - 5*i = -7*q + 24 for q.
1
Let b = -14 + 17. Let s be b/9 + 56/12. Solve 15 = 5*t - 5*a, a = -2*t + s*a + 2 for t.
5
Let q be 8/3 - (-2)/(-3). Suppose l = -4*y + 15, -2*l - y - 6 = -5*y. Solve q*g = -b - 8, -l*g = -b + 2*b + 13 for g.
-5
Let l be 54/(-72) + 54/8. Let j(y) = 2*y - 10. Let s be j(l). Solve t + 13 = 4*d, 5*d - s = 13 for t.
-1
Let u be 0/(-8)*(-1 - 0). Suppose v + 15 = 5*i + 2*v, -i + 3 = 4*v. Solve u = 5*z - 0 - 10, 11 = n + i*z for n.
5
Suppose 10*c = 3*c + 28. Solve -w + c = -4*l + 7, l - 3 = w for w.
-3
Let p = -9 - -12. Suppose 0 = -p*q + 6 + 57. Solve -7*k + q = 5*d - 3*k, 0 = -2*d - 3*k + 7 for d.
5
Let h(q) = 3*q + 4. Let f be h(-5). Let u = 15 + f. Solve -3*b + 2*b = 1, b = -u*i - 17 for i.
-4
Let b(r) = 9 - 5*r - r**3 + 2*r**2 - 2*r + 5*r**2. Let o be b(6). Let u be (-612)/(-78) - 2/(-13). Solve -3*i + 0 = -2*g + u, -3*g + o*i + 9 = 0 for g.
1
Suppose 2*j = j + 1. Let h = j - -1. Solve -5*x + 3*s = -11, 2*x - 12 = 3*s + h*s for x.
1
Suppose d - 3*d + 10 = 0. Let h = -6 + 26. Solve 10 = -y - 2*n - 5, h = y - d*n for y.
-5
Let g be 50/8 - 9/36. Let b = g + -5. Let f be 2 + 1/(b/27). Solve 2*z - 13 = -3*q, -4*z + q + 4*q - f = 0 for z.
-1
Let p be 8*(-4)/(32/(-4)). Solve 2*z + n + 6 = -3*n, z - 5*n - p = 0 for z.
-1
Let h(i) = -5*i + 2. Let g(j) = 6*j - 3. Let s(b) = -6*g(b) - 7*h(b). Let r be s(4). Suppose 12 = 4*q - 0. Solve -3*d + a = -r*a + 1, -5 = -q*d - 5*a for d.
0
Suppose 0 = 7*p - 3*p - 20. Suppose -4*f = -p*f + 5*q, 0 = -2*f + 4*q. Solve a + 0*a + 1 = -b, f = 3*a + b + 5 for a.
-2
Suppose -i = -4*v + 10, -4*i + 0 - 19 = 5*v. Let x be 11/3 + 4/i. Suppose -2 - 4 = -x*s. Solve 2*y = 4*k + 1 + 7, 2*y = 2*k + s for y.
-2
Let r(t) = -2*t + 1. Let y be r(-1). Suppose -3*q = -7*q. Suppose -5*o + i = -18, 3*o + 4*i + 0*i + 3 = q. Solve 4*c + 2*d = -y*d - 25, -5*d = o*c + 20 for c.
-5
Let v(n) = n**3 + 10*n**2 + 8*n - 5. Let h be v(-9). Let p = h + -4. Solve -2*c - 4*k + 28 = 6, p = 5*k - 20 for c.
3
Let r be (-1 + 7)*3*(-6)/(-12). Suppose -n + 4*m + 28 = 2*n, m = -5*n + 16. Suppose 9 = -3*s, 0*z = -n*z - s + 13. Solve r = 3*w, -w + 8 = z*k + 3*w for k.
-1
Let m = 58 - 56. Solve -m*r - r - 12 = 4*n, 4*n = 0 for r.
-4
Let x be 4 + -7 - (1 - 4). Let h be (x - -3)*6/9. Solve 2*r + a = 12, 3*r = -h*a + 4*a + 11 for r.
5
Let s = -90 - -102. Solve 0 = 3*u - 3*d - s, 0*d = u - 4*d - 4 for u.
4
Suppose 0 = -5*a - 4*r + 2, a - 5*r = 1 + 11. Suppose l + a*g - 3*g - 1 = 0, 3*g = -l + 17. Let y = -18 - -33. Solve 4*u + 2 = -2*v - 4, 4*u - l*v = y for u.
0
Let u = 13 + -11. Let p(g) = -2*g + 3. Let f be p(2). Let l be 4 - (2 + f)/1. Solve 3*d = 3*b + 3, -14 = l*b - b + u*d for b.
-4
Let m = -7 + 10. Suppose m*s - 11 = -2*g + 24, 45 = 4*s + g. Solve 5*y - s = 4*c + 6, -c + 2*y - 8 = 0 for c.
2
Suppose -p + 3*b = 16, -5*b + 8 = -3*b. Let x = p + 12. Solve 2*g = 3*g + 2*v - x, 0 = 3*v - 9 for g.
2
Suppose 260 = 5*n + g, n + 208 = 5*n + 3*g. Let q be (-8)/28 - n/14. Let y be 0 - q/(-6)*-6. Solve 2*s + 4*p + y = 0, -4*s = 3*p + 6 + 7 for s.
-4
Let d be 0 + -2 + (-3 - 8). Let b(z) = z**2 + 13*z + 4. Let o be b(d). Solve 4*y + 3*g + 3 = -1, -5*y - o = 4*g for y.
-4
Suppose 0*h - 12 = -4*n - 5*h, -3*h - 12 = 0. Solve 5*p - j = 2*p + n, -2*j = 4 for p.
2
Let w(m) = m**2 - m - 1. Let z be w(-2). Let d be 4/(-12)*4*-30. Suppose x + d = 2*x. Solve -2*b = r + b + 20, -3*r = z*b + x for r.
-5
Let v be (-1 + 12/8)*18. Solve 0*f + 5*u = 2*f + 6, -3*f - 2*u = v for f.
-3
Suppose 29 + 7 = -3*w + 3*n, 2 = -n. Let a = w + 6. Let u be (0 - 6)/(3/a). Solve -4*m + 18 = -2*i, 3*i - u = 7*i - 4*m for i.
1
Let g(x) = -2*x**2 - 16*x + 9. Let w be g(-8). Solve -w = -y - 0*a - 3*a, 2*y + 2 = -a for y.
-3
Let m = -35 + 63. Suppose -m + 3 = -5*t. Solve 4*c + 1 + 1 = -l, 0 = t*c + 4*l + 8 for c.
0
Let i(v) = v**3 + 5*v**2 - 4*v + 5. Let w be i(-5). Suppose -4*z = 2*s + 2*s + 4, -5*z - w = 0. Solve 0 = -4*u - 2*m - 6, -s*u + 8*m - 5*m = -9 for u.
0
Let v(z) = -z - 4. Let q be v(-5). Suppose w + q = 0, -w = -4*f + 1 - 0. Solve -3*c + 5*t + 18 = 4*t, f = 5*c + 5*t - 10 for c.
5
Let c(h) = -13*h. Let n be c(-2). Let v(t) = -2*t**2 - 17*t + 12. Let z be v(-9). Solve -5*g = 2*l + n, z*l + 4 = -g - 9 for g.
-4
Suppose 4 + 2 = 3*s. Solve s*j - k = 1, -4*j - k - 1 = -0*k for j.
0
Let j(p) = p**3 + 9*p**2 - 9*p + 14. Suppose -18 = q - 8. Let t be j(q). Suppose -s - t*s = 0. Solve 0 = -2*b - 4*c - 26, 2*c + s*c + 1 = 3*b for b.
-3
Suppose -3*u = -0*c - c + 1, 4 = -2*u + 4*c. Solve 4*y + 5*l + 8 = l, u = 4*y + 3*l + 8 for y.
-2
Let k = -10 + 16. Suppose 0 = 2*m + m - k. Suppose -3*x + 0*s + 49 = s, -5*s = 5*x - 65. Solve 4*t = -4*b - 16, -5*b - 4*t - m = x for b.
-4
Suppose -4*d + 5*b = 4, 0 = -3*d + b - 4*b + 24. Suppose 0 = -t + 20 - d. Solve 4*v = t, -5*v - 5 = -4*q - 41 for q.
-4
Suppose 6*z - 5*b = z + 45, -2*z + 5*b + 24 = 0. Let f = 8 - z. Let s be 4/f + (-3 - -1). Solve 3*a + 3*y - 2 = 5*a, s*a - 5*y = -6 for a.
2
Let t = -37 + 40. Solve -4*c + 2*v = -20, c - t = 2*v + 2 for c.
5
Suppose -136 = -3*q + 4*t, -132 = -3*q + 2*t + t. Solve -5 - 25 = s - 5*c, 5*c - q = 3*s for s.
-5
Suppose -3*t + 0*t - 2 = -4*z, 0 = 5*t + 4*z - 18. Let n = t - 2. Suppose n = -s - 3*s. Solve 3*a + 1 = -s*f + f, 0 = 5*f + 25 for a.
-2
Suppose -2*g + 5 + 3 = 0. Let x = -16 + g. Let r = x + 17. Solve -4*c - 8 = -3*i - i, 10 = r*i for c.
0
Let j = -167 - -242. Suppose 4*i + i = j. Let d = -10 + i. Solve u = d*n, 2*u = -n + 2*n for u.
0
Let x be (-8)/(-6)*105/10. Solve 5 = 3*y - 3*v + 2*v, -x = -2*y - 2*v for y.
3
Suppose a - h + 0*h - 7 = 0, -2*h = 2. Solve -3*s + 4 = k, 0 = k - 0*s - 2*s + a for k.
-2
Suppose 2*i = 2*s + 5*i - 34, 2*s = 5*i + 50. Let q = 1 + s. Solve 4*t + 0*t = l + q, l + 16 = 3*t for l.
-1
Let h(p) = -p**3 - 13*p**2 - 12*p + 5. Let q be h(-12). Solve 1 = 3*g + q*s - 1, -4*g = -s - 18 for g.
4
Let y be 5025/105 + (-1)/(-7). Suppose 12*s - 9*s = y. Solve -k = 3*p + s, 4*p + 18 = 2*k - 0*k for k.
-1
Let k(v) = -v + 9. Let g be k(-10). Let u = 136 + -131. Solve -u*i - g = o + o, 4*i + 5 = -5*o for i.
-5
Suppose 2*k = 4*k - 8. Let n(g) = 7*g**2 - 2*g - 1. Suppose c - 1 = -2. Let s be n(c). Solve v - s = u - 0*u, 3*u + k*v - 11 = 0 for u.
-3
Suppose 3*m - 4*m + 14 = 0. Solve -5*k + 0*h - m = -h, 3*k - 2*h = -14 for k.
-2
Suppose 2*c = 7*c - 20. Suppose 73 = 5*v + 28. Let o(r) = -r**3 + 10*r**2 - 8*r - 7. Let h be o(v). Solve c*j = 2*m, h = -j - m -