6). Let u(g) = 6*g**2 + 5*g + 4. Let x be u(c). Solve 3*z - 7 = -5*i, -i = -4*i - z + x for i.
2
Suppose 18 = 8*q + q. Suppose -2*a - 2*p = 6, 3 = -3*a - q*p - 1. Solve -4*x + 15 = m, 10 - a = 2*x for m.
-1
Let g = 10 - 8. Suppose 6*a - g*a = 0. Suppose a = -j - j + 8. Solve -u - 3*x = -x - 5, 4*u - 4*x + j = 0 for u.
1
Let o = 185 + -180. Let n be 40/6 + (-12)/18. Suppose 3*f - f = m + n, m - 22 = -o*f. Solve h = 4*j, 0*h - m*h = 4*j for j.
0
Suppose -2*k - 5*l = -20, 8*k - 2*l + 8 = 3*k. Solve 4*s - b - 17 = k, 4*b + 18 - 4 = -2*s for s.
3
Let u be 4/(-5)*(-550)/88. Solve 9*a - u*a = 5*f - 6, 0 = a - 3*f + 5 for a.
1
Let h be 9 + (-8 - -2) + (-48 - 0). Let x = -40 - h. Solve 0 = 2*g + 4*m + 18, x*g - 4*g + 5*m + 24 = 0 for g.
1
Suppose 4*u - 3*u = -6. Let r be (16/u)/(-2)*54/12. Solve 3*w - 9 = 0, 4*k + 2*w = 4*w + r for k.
3
Let v(y) = 2*y**2 + 4*y + 1. Let r be v(0). Solve 0 = 2*t + 2*m - 8, -2*t + 2 + r = m for t.
-1
Let c be (-38)/(-19) + (-5 - 2)/(-1). Solve a = 0, 5*s + 3*a - 24 = -c for s.
3
Let l be (16/(-6))/(-1)*15/5. Suppose 0 = 2*f + s - l, f = -3*s + 13 - 4. Solve 0 = 2*a + 2*a + 16, 0 = f*m + 2*a + 11 for m.
-1
Let p(y) = 10*y - 14. Let j be p(2). Let s be 145 - (1 + 3/(-3)). Suppose 17 = j*r - s. Solve 10 = -5*k + 5*d, -2*k - r = k + 4*d for k.
-5
Let r = 2124 - 2120. Solve -d = 3*d + r*q - 12, d = 5*q + 15 for d.
5
Let b = -53 - -92. Suppose -10*o + b = -7*o. Let q be 2/6 - 128/(-12). Solve 0*a - 2*p - o = 3*a, -q = 5*a - 2*p for a.
-3
Let r(k) = -k + 45. Let i be r(41). Solve 9 = -u - 3*h, -2*u = -u + i*h + 13 for u.
3
Let h be ((-3)/(3/(-13)))/1. Suppose -6*m + 3*m + 9 = 2*c, 0 = -3*c - 4*m + h. Solve -5*u + 10 = 5*r, -2*u - r + 4 = -c*u for u.
-1
Let x(o) = o**3 - 2*o**2 + o - 3. Let l be x(3). Suppose 7*y = l + 5. Solve 2*t - 1 = -2*d + 9, 4*d + 4 = y*t for t.
4
Suppose l = -5 - 4. Let a be 12/l + (-784)/(-12). Suppose 6*m = 2*m + a. Solve 4*p = -4*g - m, -3*p - 12 = -8*p + 3*g for p.
0
Suppose -5*v - 3 = -4*a + 13, -4 = -a + 5*v. Suppose -a*c = -7*c + 15. Suppose 0 = -c*p - h + 22, -2*h = 6 - 0. Solve y + 0 = -2*s - 4, -p*y - 12 = 2*s for y.
-2
Let n(q) = -q**2 - q - 1. Let u(m) = -4*m**2 + 6*m + 3. Let o(z) = -2*n(z) + u(z). Let d be o(4). Solve -3*v + 11 = x, 4*x - 25 = -x - d*v for x.
2
Let y(t) = 11*t**2 - 39*t - 8. Let x(f) = 5*f**2 - 20*f - 4. Let d(b) = -9*x(b) + 4*y(b). Let g be d(24). Solve g*c = -a + 3*c - 1, a = -2*c - 2 for a.
0
Suppose -19 = 3*c - 7. Let d be c/6*(-3 + 0). Suppose d = -4*x + 10. Solve 0 = x*b - l + 6 + 5, 4*b - 5*l = -37 for b.
-3
Suppose 161*k = 7*k + 13*k. Solve 4*w - w - 4*r = 7, w + r = k for w.
1
Suppose 2*c + 4*x = 2, -5*c - 1 + 18 = 4*x. Solve -b = -3*y - 8, -5*b - c*y = -y + 36 for b.
-4
Let p be 18/(-27) + (-77)/(-3). Suppose -1 = 4*d - p. Suppose -20 = -d*g + g. Solve 3*l = 4*l + g*s - 11, 2*s - 10 = 4*l for l.
-1
Let n(u) = 15*u**2 + 2*u. Let c be n(2). Suppose -5*l + c + 16 = 0. Suppose 2*v - 5 = v, 0 = -g + 4*v - 16. Solve -g*t - 4*j + 0*j = l, 3*j = -2*t - 9 for t.
-3
Let x(n) = n**2 + 4*n - 9. Suppose 4*w + 22 = -10. Let o be x(w). Let d = o - 17. Solve 0 = 3*j + d, p - j = -4*p + 22 for p.
4
Let m(g) = g**3 + 8*g**2 + 6*g - 7. Let n be m(-7). Let i be (-3)/(-6)*(n - 0). Solve 4*w + 4*a = i, -3*w + 5*a + 7 - 39 = 0 for w.
-4
Let a = -430 + 431. Solve t - 3*t - 5*q = -16, q + a = t for t.
3
Let i be -3 - (19 - 13 - 7*2). Solve -2*a - 3*g = 21, -3*a + i = -3*g - 1 for a.
-3
Suppose 13 - 5 = -3*t - 5*r, 3*t - 16 = r. Let p = 4 + 18. Suppose -k + 18 = -2*b + 3*k, -5*k + p = -3*b. Solve 3*f + 4*c + 13 = -b, f + t*c + 10 = 0 for f.
-2
Suppose -4*u = 2*h - 16, -4*h + 2*u + 56 = -2*u. Suppose -5*f - h = -22. Solve 0 = j + f*j + 5*l + 10, -5*j + 30 = -l for j.
5
Let m = 14 - 6. Let s be 12/66 - (-90)/(-11). Let c be (2*-1)/(s/44). Solve 4*d - 6*d + c = -t, 4*t = -5*d + m for d.
4
Let f(o) = -o + 2. Suppose 3*h + 3*h - 7*h = 0. Let n be f(h). Solve 5*q - n*t + 4*t = 5, -5*t = 4*q + 13 for q.
3
Let y(x) = -x**3 + 12*x**2 + 26*x + 28. Let w be y(14). Solve 2*n + u - 6 = -0*u, u = w for n.
3
Let b = 320 + -302. Solve -3*t = -3*z - z + 3, -4*t + b = 2*z for z.
3
Let v(l) = l**3 - 13*l**2 + 13*l + 7. Let u be (1 + 15/25)*(-15)/(-2). Let p be v(u). Solve 4*s + p = 3*s - 5*m, 0 = -2*s - 3*m - 17 for s.
-4
Suppose 2 = h - 3*g, -10 + 4 = -3*h - 5*g. Let l = -11 + 2. Let z = 9 + l. Solve 3*n + 5 = -y, -y + z*n - h*n = 4 for y.
-2
Let m be (-6)/6 + 1*19 + -5. Solve 3*b - 15 = 2*n, 5*n = 5*b - 12 - m for n.
0
Let w(l) = -5 - 67 + 25 + 14 + 3*l. Let a be w(11). Solve a = -3*g, 4*t = g + 19 - 7 for t.
3
Suppose 0*g - 5*g = -25. Suppose -4*z - 12 = -g*x, 0 = 3*z - 4*x + 8*x - 22. Let s = z - -2. Solve s*r + 2*u - 3*u + 1 = 0, 11 = -4*r + 3*u for r.
1
Let h(s) = s**2 + 2*s - 44. Let v be h(6). Suppose 126 - 52 = 5*l + o, v*l + 5*o - 55 = 0. Solve -l = 5*i + 5*p, 0*p + 4*p = 0 for i.
-3
Let w be 3*((-2)/2 + (1 - -1)). Suppose 0*h + w = -h - b, b = -3*h + 1. Solve 3*p + 2*p + 5 = 5*c, h = 2*p for c.
2
Let k = 2 + -1. Let w be (0 - k)*(-4 - 13). Suppose 5*n = n + 8. Solve m + n*m + 3*g = 15, -3*m + 5*g = w for m.
1
Suppose -7*g - t = -4*g - 46, -t = -1. Solve 2*j - 2*s = s + 16, 5*j - g = -5*s for j.
5
Let x = 27 - 19. Suppose s - x = 11. Suppose -5*y - 4 = -s. Solve 2*h - 2*o - 6 = -0*o, 3*o = -3*h + y for h.
2
Let s be (360/54)/((12/(-9))/(-2)). Solve 3*x + s = 5*x - 5*j, 0 = j for x.
5
Let f = 150 + -145. Suppose 7*l = 3*l - 84. Let m = 36 + l. Solve -8*u - m = -4*u - a, 5*u - f*a = 0 for u.
-5
Let f = 74 - 42. Let q = -30 + f. Solve -q*y - 4*c - 16 = -4*y, 4*y = -3*c + 10 for y.
4
Let u(p) = -5 + 0*p - 19*p**3 + 15*p**3 - 6*p - p**2. Let g be u(-1). Solve -2*x - 3*x = -2*r - 4, 0 = -g*r - x + 14 for r.
3
Let f be 15 + -13 + (-3 - 0). Let z be ((-1)/f - (-2 + 10))*-1. Solve -2*a - z = p, -2*a + 5*a + 12 = -2*p for p.
-3
Let d(r) = r - 4. Let s be d(4). Suppose s = -5*f - 2*g, -3*g - 5 - 10 = 0. Solve j - 13 = -4*t, f*j = 5*j - 3 for t.
3
Let b = 159 - 156. Solve u + b*p + 9 = 0, 5*u + 0*p - 5*p = -5 for u.
-3
Let f(g) = -g**3 - 10*g**2 - 21*g + 4. Let a be f(-3). Solve -2*l - 25 = -7*l + 5*m, -4 = a*l + 4*m for l.
2
Let q = -2 + 4. Suppose -2*g + 110 = 9*g. Solve 2*w - 7*w + 45 = -5*p, 5*w - g = -q*p for p.
-5
Let g = -10 - -13. Suppose 9 = 4*s - g*j - 18, -j = 4*s - 23. Suppose -4*v + v = -12. Solve 2*w - h = s, -w - v*h = -0*h + 6 for w.
2
Suppose -q - 6 = -8. Suppose 6*l - 8 = 2*d + q*l, 0 = 2*d + 4*l - 24. Solve d*p = 3*y - 8, 5*p + 8 + 2 = -4*y for y.
0
Suppose 2*g = 2*x - 6, -32*g + 29 = -30*g + 5*x. Solve -q + 3*m + 21 = 8, 0 = g*q - 2*m - 10 for q.
1
Suppose -k - l + 20 = 0, -5*k - 2*l + 95 = 2*l. Suppose -a + 1 = g - 2*g, -5*a + k = 0. Solve g*d - 7 = -3*c, -3*c + 13 = 4 for d.
-1
Suppose 4*t = 281 - 265. Suppose -2*o + 6 = 2. Solve -a = -3*f - 7, 5*a = -t*f + o - 5 for f.
-2
Suppose 2*l + 2 = -h, 5*h + 10 = -5*l - 0*h. Let v = -10 + l. Let r be 5/v*-6 - -18. Solve -r = -3*f - 4*s + s, -4*s = -2*f - 10 for f.
3
Suppose h = j - 1, j = -j - 8. Let i = -5 - h. Suppose -z - z = i. Solve 2*p = 3*q + 10 - 25, z = 3*q - 4*p - 21 for q.
3
Let g(d) = -d**2 - 40*d - 391. Let v be g(-21). Solve -3 = 17*n - 20*n, v = -p + 4*n for p.
-4
Suppose 5*u - d - 10 = 0, u - 3*d - 4 = -u. Suppose -y - 3*q = 8, -y = y - u*q - 8. Suppose -y - 7 = -4*p. Solve 4 = 5*f + a, -12 = -p*f + 2*a - 5*a for f.
0
Let r(y) = y**3 + y**2 + y + 3. Let v be r(0). Let t = 12 - v. Let m = 13 - t. Solve -m*b - 2 = 2*k, -2*k + 5*b + 6 = -10 for k.
3
Suppose -3*s - 2*o = -19, 22 = s + 3*s + o. Suppose -s*g + 39 = -1. Suppose -3 = -0*l - 2*l - 3*t, -1 = 5*l - t. Solve l = 4*h - g, -3*y = -5*y - h + 6 for y.
2
Suppose 4*b - 78*b + 296 = 0. Solve 0 = 5*r + b*c + 11, -2*c = 3*r - 7*c - 23 for r.
1
Let m(d) = -d**2 - 15*d - 36. Let p be m(-8). Let b = 3 - 1. Suppose 2*i - 4 = b. Solve -i + 9 = 2*u + t, 5*t - p = 0 for u.
1
Let h(j) = j**3 + 4*j**2 - j. Suppose 7*t + 24 = t. Let f be h(t). Solve -4*r = 3*x - f + 2, -4 = 4*r for x.
2
Suppose 11*z = 14*z. Solve t + 1 = 2*i - 3*i, z = i + 2 for t.
1
Let b = -64 + 68. Solve -5*k - 12 + 2 = 5*n, b*k = 2*n - 2 for k.
-1
Suppose 4*j - c - 113 = 0, -j - 3*c + 53 = j. Let m = j + -23. Solve k + 2*q + 3 = 0, 3*k + 4 = -m*q - 3 for k.
1
Let b(p) = -p**3 - 3*p**2 + 10*p + 5. Let m be b(-5). Solve 3 