k**2 + 3*k + 9. Let m(g) = -3*c(g) - 5*u(g). Let d be m(-2). Solve -d*n - 4*t + 1 = n, 0 = 2*n - t - 8 for n.
3
Suppose 3*k = -8 - 1. Let d be (-24)/(-3)*(2 + k). Let m = d + 15. Solve 0 = o + 5*i + 2, m*o - 2*o + 2*i - 13 = 0 for o.
3
Suppose -3*z + 18 = 2*w, -w - 2*z + 14 = w. Solve -2*u - w*u - 3*m - 28 = 0, -16 = 3*u + m for u.
-5
Let d = 11 + 3. Let q(z) = -14*z + 1. Let k be q(-1). Let m = k - 13. Solve m*c - 5 = 2*s - 13, -5*s + d = -2*c for c.
-2
Suppose -94 - 34 = -4*j. Solve 4*z = -3*r - 14, 5*z - 5 = r - j for z.
-5
Let c be -5*1*66/(-15). Let w = c + -17. Solve -w*j + 5*l = 35, 2*l - 17 = 3*j + l for j.
-5
Suppose y + 2*y = 75. Suppose 2*z + 3*z - y = 0. Suppose h = z*h. Solve 2*t - 6*t + 2*o - 2 = h, -2*t = 2*o - 8 for t.
1
Let a(o) = -o**3 + 3*o**2 + 8*o - 11. Let j be a(4). Suppose -4*m = 5 + 3, -d + 2*m + 6 = 0. Solve j*x + t = 2*t - 19, d*x = -2*t + 2 for x.
-3
Suppose 544 = -5*y + 559. Solve 4*k + y*a - 23 = 0, 0 = -5*k + 4*a + 8 + 13 for k.
5
Suppose 3*y = y + 4. Suppose 61*u = 60*u. Solve -3*d - 2*d + 2*j = u, y*j = -2*d for d.
0
Suppose 4*y - 30 = 3*n - 5*n, -4*y = -n + 9. Let b be -7 + (0/(-1) - -2). Let c be 2/(-5) - 7/b. Solve a - c = k, 6*a + n = a - 4*k for a.
-1
Suppose -y + 5*p = 16, -4*y + 7 + 29 = 5*p. Suppose 0 = 5*k - 1 - y. Suppose 4*b - 3 = 9, 2*b - 11 = -m. Solve m*w - 10 = -z, -z = -2*z - 2*w + k for z.
-5
Let h = 5 + -2. Suppose 4*b = -i + 5*b, -b = i. Solve h*z - 9 = i, -2*r - 5 = 2*z - z for r.
-4
Let k be 1 + (0 - 1) - -2. Suppose 0 = -0*u + u - 4, 16 = -k*b + 4*u. Suppose b = 4*p - 3 - 13. Solve 5*q = -4*f + 16, -3*f - 2*f + 20 = -p*q for q.
0
Suppose 0 = -6*z + 5 + 7. Solve -2*c - 3*q + 5 = 3, z*c = 5*q - 14 for c.
-2
Suppose -2*z + 3*j = -82, -5*j = 4*z - 4*j - 178. Let t = z - 24. Solve 2*m - t = 4*u, 10 = -0*u + 2*u + 4*m for u.
-3
Let b be 51/15 - (6/15)/1. Solve 0 = a - 0*a - 5*z + 23, -4*a + b = -z for a.
2
Let v(r) = r + 1. Let d = -8 + 7. Let c be v(d). Solve 0*b + 5*b = 3*t + 3, c = 5*b - 4*t - 4 for b.
0
Let t = -19 + 31. Let j be 3/t - 33/(-12). Solve i - 10 = -6*l + 3*l, -j*i - 4*l = -15 for i.
1
Let j = 9 - 7. Suppose 3*h = -0 + 9. Solve -h*v = 3*z - 0*v - 12, -j*z - v + 5 = 0 for z.
1
Suppose -11*k + 96 = -7*k. Solve 5*t - p - 1 = -k, 0 = -2*t + 5*p for t.
-5
Let f = 7 + -2. Let o be 56/10 - (-2)/f. Let w be (4/o)/((-2)/(-18)). Solve 3*k - 9 = -5*s, -s + 13 = k - w*k for s.
3
Suppose 0 = p + 2*p - 12. Solve -p*g - 5*t = -5, -4*g - 4*t = -2*g - 4 for g.
0
Let b(r) = -2*r**3 + 5*r**2 + 8*r + r**3 - 3 - 10*r. Let z be b(4). Suppose 0 = -w + z, 0*n = 2*n + 5*w - 35. Solve -u - n*g = 3*u + 33, -5*g - 35 = 5*u for u.
-2
Suppose 11*n + 12 = 13*n. Suppose 2*o - 3*p = 4, -o - 2*p = p - 11. Solve -10 = o*y, -n*t + 2*t - 16 = -2*y for t.
-5
Suppose 0 = o + 5 - 7. Suppose -o*n = 3*y - 58, 4*y - 5*n + 2*n - 49 = 0. Solve 5*g = -5*z - 10, -3*z = 2*g - 5*z - y for g.
3
Let l be (-6)/(-10) - 7/(-5). Suppose -l*i = -5*b - 26, 0 = -2*i + 2*b + 11 + 3. Solve -4*w = -i*m + 11, w = 4*m - 0*w - 19 for m.
5
Let t(u) = -u**2 + 4*u. Let r be t(3). Solve 10 = -k + r*w, 4*k - 2*k = w - 5 for k.
-1
Let d = -15 - -20. Solve 4*t - 2 = d*c, -2*t + 19 = 3*t + 2*c for t.
3
Let h be (-24)/(-9)*(1 + -7). Let b be (-2)/(-4) + (-392)/h. Solve -2*u - 5*t - 10 = 0, -2*u - b = 3*u - 5*t for u.
-5
Let b(p) = p**2 - p - 2. Let d be b(3). Suppose -2*o - w - 2 = -6*w, -w = -d*o + 14. Solve r - 3*s = -2, o*r + s - 1 + 9 = 0 for r.
-2
Suppose -44 = 2*a - 52. Solve 4*f + 2 = 2*f, -v - f + a = 0 for v.
5
Let f be 6/15 - (-126)/10. Suppose f = 4*t + 1. Suppose 4*g + 2 = -h, 3*h + t = -4*g - 3. Solve 2*o + 9 = 5*i - 3, -i + o = g for i.
4
Let z be ((-14)/42)/(2/6). Let o be ((-32)/z)/(5 + -3). Solve o = 3*w - s, -5*w + 0*s + 36 = -4*s for w.
4
Let j(o) = 3*o**3 + o - 1. Let b be j(1). Solve 5*y + 13 = b*r - 3, -y - 4 = -r for y.
-2
Let k = -102 - -43. Let d = k - -91. Suppose 0 = 2*v - 2*j - 6, 3*v + 0*v - 30 = -4*j. Solve 4*w - 2*b = -v*b - d, -3*w = 5*b + 30 for w.
-5
Let i = -6 - -9. Suppose 0*x - 38 = 3*x - 2*k, 0 = -i*x - k - 26. Let r be (-28)/x + (-3)/(-15). Solve -3*f - 8 = c, -5 = -2*f - r*c - 22 for f.
-1
Suppose 2*d - 12 + 2 = 0. Solve -5 = d*l, -11 - 3 = -3*h - l for h.
5
Suppose 1 = k - 1. Suppose 2*v = -0*v - k. Let b = v + 3. Solve a - 19 = 5*f, -3*f - 21 = a + b*f for a.
-1
Suppose -4*g + 87 = 4*y - 3*y, 0 = -4*y - 4. Solve 0 = -a - 3, 4*a = 4*n - g - 6 for n.
4
Suppose -18 = -5*r - 3. Let c be (4/(-3))/((-18)/27). Solve r*o = 5*n - 14, -4*n + c*o + 13 = -o for n.
1
Let b(z) = z - 4. Let c be b(4). Let x = -32 + 43. Solve -4*y = h - x, -2*h + c*h + 6 = 4*y for h.
-5
Let z = 0 - 2. Let m be (-18)/4*z/3. Suppose -3*d - 3*f + 9 = 0, d - 1 = m*f - 2*f. Solve 3*a = d*l - 10, -3*l + l = 3*a + 14 for a.
-4
Let w = 6 + -4. Suppose o - 3 = 2, -4*f + 4*o + 8 = 0. Solve -w*c = -m + f, -c - 1 = 4 for m.
-3
Suppose 13*o = 128 - 11. Let b be 0*(3 + -1)/2. Solve b = -i + t - 0*t - 2, -o = 3*i - 4*t for i.
1
Suppose 0 = -m + z - 3, -31 = -3*m - 9*z + 4*z. Let q(l) = 2*l - 1. Let n be q(m). Solve 2*b = -5*x - 10, -n*b + 0 + 11 = x for x.
-4
Suppose -3*k + 8 = -3*v - 2*v, 3*k - 7 = 4*v. Solve 11 = 2*d + 5*z, -2*z - k - 6 = -3*d for d.
3
Let k be (51/(-18))/((-5)/30). Solve 0 = -4*m - 5*d + k, -m + d - 2 = -4 for m.
3
Suppose 5*n - 3 + 4 = -3*c, 0 = -3*c - 3*n + 3. Suppose -2*q - 2 = 4*u + c*q, u - 3*q = 8. Solve j + u*b = -4*j + 7, 3 = j + 2*b for j.
1
Let s = -7 + 11. Suppose s*d - 5*g = 10, g - 7 = d - 2*d. Let c = 5 + 0. Solve 3*n - 20 = -5*x, -c*x - 3*n = -d*n - 20 for x.
4
Suppose -3*b + 6 = 4*f - 7, f + 2*b = 2. Solve 0 = 5*x + f*w - 8 - 7, 14 = x + 3*w for x.
-1
Let i = 33 + -27. Solve 9*z = 4*z + j - 18, z = -j - i for z.
-4
Let g(x) = -x**3 + 13*x**2 - 12*x + 3. Let o be g(12). Suppose -5*c - o*a = -6, -3*c - 2*a + 6 = c. Solve 4*z + c*q - 2*q = 2, 5*z + 6 = 3*q for z.
0
Let i(j) = 3 + 0*j + j**3 - 2*j**3 - 9*j - 10*j**2. Let r be i(-9). Solve 16 = h + r*h, 0 = 3*f + 5*h - 17 for f.
-1
Let i(m) = 7*m + 3. Let x be i(-3). Let g be 9/18 - x/4. Solve 2*a + 23 = -g*n - 10, n = -a - 9 for a.
-4
Suppose -5*j + 1 = -19. Suppose 4*w + 13 = 4*i + 57, 2*w + 2*i = 2. Suppose -8 = -7*n + w. Solve -j*f = -4, 2*l + 6*f = n*f for l.
-2
Let v(u) = u**3 - 3*u**2 - 9*u - 2. Let o be v(5). Solve -o*x - 2*m + 25 = 3*m, 3*m - 11 = -x for x.
5
Suppose 0 = b - 1. Suppose -2*r = -5 - b. Solve -r*n - 11 = 2*m - 0*n, n = -3 for m.
-1
Let v = 38 - 33. Solve -2*d + 15 = v*r, -d = r - 2*r - 4 for d.
5
Let g = -67 - -71. Solve 3*y + 9 = -g*h, 3 = -y + 4*h - 0*h for y.
-3
Suppose -4*l - 5 = -2*d + 21, 0 = 4*l + 20. Solve 3*k + 26 = -3*f - k, d*k + 15 = 0 for f.
-2
Let f(h) = -2*h**3 - 4*h**2 - 2*h + 1. Let i be f(-2). Suppose 11 = 4*q + i*u - 1, 2*q - 5*u - 6 = 0. Solve -q*n - y + 3 = 3*y, 0 = n - 3*y + 12 for n.
-3
Let l = 17 - 14. Solve 3*c - 12 = -l*b, 2*c - 3*b + 10 = 4*c for c.
2
Let f = -2 - -6. Solve -3*h + 2*y + 9 = 0, 3*h + 2*h = f*y + 15 for h.
3
Let r be 0 - (-2 + 0 + 0). Solve r*y - 3*u = 2, -3*u - 17 = -3*y + 4*y for y.
-5
Let s = 25 + -20. Solve m - 2*m - s = 2*v, 4*m = v - 20 for v.
0
Suppose 0 = -2*d + 5 + 1. Solve 5 = -l, -m = d*l - 6 + 22 for m.
-1
Let p(m) = 2*m**2 - 2*m - 1. Let j be p(-1). Let s = -4 - j. Let n = s - -10. Solve 0 = 3*u - 4*q + n*q - 4, -12 = -2*u - 4*q for u.
2
Let f = -31 + 31. Solve -5*g = -5*j - 2*g - 26, f = 3*j + g + 10 for j.
-4
Let u be 300/(-24)*(0 - 2). Solve 0 = 2*c - 2*p - 14, -5*p = -2*c + u - 5 for c.
5
Let d(u) = -u**3 - 9*u**2 - 7*u + 10. Let x be d(-8). Suppose -x*c - 1 = -s + 6, -4*s - 2*c = -8. Solve 0 = -3*k - 5*a - 10, -k + s*k - 20 = 2*a for k.
5
Let k be -6*(-2)/(-3)*-1. Suppose -30 + 10 = -4*v - k*z, 4*v = 4*z - 4. Suppose 2*h = 2 + v. Solve 0 = -5*t + 2*l, h*t - 3*t + l - 3 = 0 for t.
2
Suppose 0 = 6*v - 2*v - 56. Solve 3*m + v + 18 = -5*b, -2*b + 4 = -3*m for m.
-4
Let l be 20/(-8)*(-6)/5. Suppose 5*a - 2*k = -l*k + 21, a - 6 = -2*k. Solve a*d - 12 = 4*h, h + 4*d = -4*h + 30 for h.
2
Let n = -3 - -9. Let u(d) = -2*d + 9. Let i be u(n). Let o = 6 + i. Solve -c + 0*p = -5*p - 21, 0 = -3*c + o*p + 3 for c.
-4
Let l = -13 + 18. Suppose 2*u = -o - u + 12, 4*o + l*u = 13. Let j = 15 + o. Solve -5*x + j = -3*a, -2*a + 0*a - x = 8 for a.
-4
Suppose -8 = -4*h - 2*u, 3*h = h - 5*u - 12. Solve -i + l - 3*