c(m) = -4*m**3 - m**2 + 13*m + 14. Let l be c(-1). Let n(d) = -d**3 + 8*d**2 - 6*d - 6. Let k be n(7). Solve 0 = -2*h - l*x - 14, 3*h - 2*x - k = 2*h for h.
-3
Suppose 4*h + 2*u + 28 = 0, -u - 21 = 3*h + 3*u. Let w = h + 9. Let d be 1*w*(4 - 2). Solve -i = -5, -3*o + d*i + 13 = 6*i for o.
1
Let j be 13 + -1 + (-7 - -4). Suppose -15 = -3*o - 3. Solve -p - j = c + o*p, -3 = -c + p for c.
1
Let q = 23 + -16. Suppose 5*w = q*w - 20. Solve 4*s + 24 = 4*v, -3*v + s + w = -v for v.
4
Let k(d) = d**3 + 5*d**2 - 7*d + 3. Let t be k(-6). Let q = 316 + -314. Solve 3*w + t = 0, q*x + 2*w = -2*w - 2 for x.
5
Suppose 9*v = 13*v - 24. Solve 2*a - 5*x = 4, 4*a + v*x - x = 8 for a.
2
Let z = -786 + 538. Let w be (-9)/(-21) + z/7. Let l = -34 - w. Solve -g = -h + 5, 2*g + l + 9 = -2*h for h.
0
Let c = 174 - 172. Solve -2*z - 15 = 3*b, -4*z - z - 10 = c*b for z.
0
Let v(n) = -42*n + 591. Let p be v(14). Solve 0 = p*m - 2*w + 1 - 16, -4*m + 5*w = -20 for m.
5
Let d(y) = 3*y + 19. Let n be d(-6). Let h be 0*(63/(-18) + (n - -2)). Solve 4*c + h - 1 = -v, -3*c + 2*v - 2 = 0 for c.
0
Suppose -3 + 2 = g. Let z be -3 - (g - 8/4). Let j be -36*(z - 2/4). Solve 4*r = -2*o - 0*o + j, 5*o + 2*r - 13 = 0 for o.
1
Suppose 0 = -5*q + 4 + 6. Suppose -3*i - q*i = 0. Suppose -2*g - 11 = -3*c, 4*g + 12 = 8*c - 4*c. Solve -5*x = -a + 5*a, g*a + 3*x + 2 = i for a.
5
Let k = -583 + 606. Suppose 4*f + 11 = 5*u, -7*f + 3*f = -4. Solve 5*c - 5 = s, -u*c + k = 3*s + c for s.
5
Let p(o) = o**3 - 2*o**2 + 3*o - 1. Let m be p(2). Let t(v) = m - 4*v - v + 4*v. Let r be t(3). Solve -r*l - 2*i = 16, -2*i - 20 = 2*i for l.
-3
Suppose 25*w - 21 - 29 = 0. Solve 3 = w*z - 3*d - 10, -11 = -4*z + 3*d for z.
-1
Suppose -10*w = 47*w - 171. Solve 6*i - 7*i = 5, 0 = 5*f + w*i - 10 for f.
5
Suppose 2*c + 7 = 3*g, -8 = 22*g - 26*g + 3*c. Solve 0 = -4*z + 2*z - 4*v - 6, -z = -g*v - 4 for z.
-1
Let y(s) = 8*s - 10. Let u be y(4). Suppose -2*b - 2 + u = 0. Suppose -15 = -5*i - 5. Solve -i - 26 = 4*n - 4*o, -4*n = 5*o + b for n.
-5
Let n(j) = -3 + 3*j**2 + j**3 + j**2 - 6*j**2 + 2*j + j**2. Let a be n(0). Let h = a - -5. Solve 2*c + 18 = -3*c + 2*i, 0 = h*c + 3*i - 8 for c.
-2
Let o be (30 + -10)/((-4)/(-1)). Solve -o*q + 5 = -b, -b - 1 = 5*q + 4 for q.
0
Let l = -18 - -38. Suppose 0 = 3*j + 2*j - l. Solve -1 - 4 = -j*z + 5*m, -2*z + 5 = -3*m for z.
-5
Suppose -4*t + t = 0. Let k = t + 0. Let p = 2 - 0. Solve u - 3*u = -2*m + 4, 2*u + p*m + 16 = k for u.
-5
Let b be 3/(30/8)*5. Solve -b*i - 17 = -5*q, q = -5*i + 4*q - 18 for i.
-3
Let o = -171 + 174. Solve -8 = -o*c - 4*i + 6, -4*i = 5*c - 18 for c.
2
Let f be 2/(-1) - (2 - (-4 + 8)). Solve -3*a = 3*x, -3*a + f*a + 4 = 5*x for x.
2
Let f = 221 + -217. Solve f = 5*a - 16, -5*a + 20 = 4*v for v.
0
Suppose 5*u + 0 = 2*l - 18, -8 = -4*l - 4*u. Suppose q - 5*z = 5 + 23, -2*q = 2*z + l. Solve 3*a - 5*o + 16 = 0, 29 = q*a - 4*o + 8*o for a.
3
Let i be (-270)/10 + 29 - (-1 - 1). Suppose 5*c + r - 19 = 2*c, -4*c + r = -16. Solve -5*x - n - i*n = -10, -c*n = 4*x - 13 for x.
-3
Suppose i - 20 = -4*i. Suppose 0 = i*d + 2*r - 22, -r + 13 = -4*d + 4*r. Let p be ((-2)/6 - -1) + 76/(-114). Solve -k + 5 = p, 4*j - 3 = -2*k + d for j.
-1
Let v(b) = 10*b - 1. Let h be v(1). Solve -h = i - 6*i - 4*y, 0 = 3*i - 5*y + 2 for i.
1
Let y(v) = -58*v - 223. Let h be y(-4). Solve -z - 3*l - 12 = 0, -h = 5*l + 11 for z.
0
Let b(k) = -6 + 0 + 6 + k + 14. Let d be b(-10). Solve -o - 8 - 1 = -m, 3*m = -d*o - 8 for o.
-5
Let u = 1436 - 1433. Suppose n + 4 = -2*l, -n - 4 = n + 3*l. Solve w - c + 0*c = 2, -n*w = -u*c - 10 for w.
4
Let h be ((-15)/12)/((-2)/(-8)). Let u(y) = y**2 + 7*y + 4. Let f be u(h). Let q = 9 + f. Solve 2 - 4 = -5*d + q*w, d = 4*w + 14 for d.
-2
Let t = 36 - -2. Suppose 2*g - 32 = 2*k - 6*k, -3*g - k + 33 = 0. Suppose 30 = -4*a + g*a. Solve 5*x + t - 11 = 2*m, -5*x = a*m + 20 for m.
1
Suppose 10 = -x + 4*l + 3, 4*x = -2*l - 46. Let f = 5 + x. Let y = f + 7. Solve 5*k - 24 = q, 0 = 4*q + 2*k + 9 - y for q.
-4
Let c = -221 - -224. Solve 3*n - 5*d = -0 + 4, c*n + 2 = 2*d for n.
-2
Suppose 2*b + 2*b = 24. Let l be (-9)/(-12) - (-171)/12. Solve 0 = 4*w - 12, 2*w - l = -3*u + b for u.
5
Suppose 17*s - 24 = 13*s. Let q be -2 + s - (-6 - -5). Solve -4*r = -4*i - r + 1, 2*i + 19 = -q*r for i.
-2
Let l = -5 + 7. Let w be (-1)/((4/3)/(-4)). Suppose 2*m - 49 = -w*i - l*m, -m = -1. Solve -5*d + i = -2*d, -q = -2*d + 9 for q.
1
Suppose -5*b + q + 122 = 0, 7 = 3*b - q - 65. Suppose -40*a + 123 = 43. Solve a*w + d = -2*w - b, 2*w = -d - 15 for w.
-5
Suppose -5*m + 7 = -4*a, 3 = 3*a + 3*m - 12. Solve 2*o = o - j - 6, -4*o - 22 = a*j for o.
-5
Let y be (-220)/8 + (-2)/4. Let h be (14/y)/(2/(-24)). Solve 3*x - 2*n = -x + h, -4*n = -2*x for x.
2
Let b(o) = -o - 12. Let u = 9 + -27. Let q be b(u). Solve -3*z - q = -2*p - 2*z, -10 = -p + 4*z for p.
2
Suppose -7*t = -11*t + 8. Let n(l) = -l**2 + l + 6. Let x be n(0). Solve m - 3*m - x = t*g, 0 = -4*g + 4*m - 12 for g.
-3
Suppose 5*v - 16 = x + 14, 0 = 5*v + 2*x - 30. Suppose -3*p = 8*j - 4*j - v, 4*p = 4*j - 20. Solve 2*n = -2*m + 12, -2*m = j*n - m - 8 for n.
1
Let g = -15 + 34. Suppose 2*m - g = -13. Solve -3*i - 5*k = -4*k - 7, -m*k + 12 = 0 for i.
1
Let a(i) = -2*i**2 + 21*i + 1. Let o be a(12). Let j = o + 41. Solve -l + j = l + 4*m, -l + 9 = 5*m for l.
-1
Let m(c) = -18*c + 85. Let l be m(4). Solve -3*f = 3*p + 21, -4*p + p = -f + l for f.
-2
Let p = -15 - -15. Suppose -2*b + b - 5 = p. Let d = 5 + b. Solve d = 4*g - 2*n + 3*n + 24, -5*g - 5*n - 45 = 0 for g.
-5
Let b(y) = -y**3 - 2*y**2 + 3*y + 3. Let v be b(-3). Suppose -v*d - 4 = -c + 2*c, 3*d - 16 = -5*c. Solve 0 = -4*i - c*q - 35, -5*i + 5*q = 6 + 4 for i.
-5
Suppose -112*v - 107*v = -209*v. Solve v = 2*q + g + 7, 4*g - 4 = -4*q + 8*g for q.
-2
Let v = 66 - 66. Solve 0*j = -2*j - 4*i - 10, v = 4*j - 2*i - 20 for j.
3
Let m be 0 - 7/(14/(-32)). Let o = m + -11. Let w(i) = 4*i - 2. Let y be w(o). Solve r - 4*r - 3*l + y = 0, 0 = 2*r - 4*l for r.
4
Let k = 251 - 248. Solve -2*u - 4 = 0, k*h + 8 = h + u for h.
-5
Let a(p) = -13*p**2. Let v be a(1). Let m be 0 - 2*v/2. Let n = m - 6. Solve 3*s + l - 3 = 0, -2*s - n*l + 2 = -2*l for s.
1
Suppose 5*v - 131 - 54 = 0. Let x = 40 - v. Solve -3 = r + 4*c + 1, x*c = 0 for r.
-4
Let x be 16/(-4) + (-6)/(-1). Suppose -3*k + 2 = -2*k, 0 = 2*l - 3*k + x. Solve -2*a - 2 + 6 = -g, 8 = -l*g for a.
0
Suppose 32 = -7*a + 3*a. Let f(q) = -q**3 + 8*q**2 - 4*q. Let y be f(8). Let n be (1/2)/(a/y). Solve 5 = -3*j - b, 4*j + n*b = 2*j + 2 for j.
-3
Suppose -11*q - 30 = -16*q. Suppose s - q = -0*s. Solve -4*u + 21 = -t, -s*u = -u - 5*t - 45 for u.
4
Let g = 1935 + -1917. Solve 4*f + 4*w + g = 54, 4*w = 5*f for f.
4
Suppose -2*s = -7*s + 4*j + 33, 2*s = j + 12. Solve -4*a + 9 = h, 21 = s*a - h - h for a.
3
Let f be (6 + -3 + 5)/(-3 + 5). Solve 2*v - 4*k - 24 = 0, 0*v = 4*v + 5*k + f for v.
4
Let t(l) = -l**2 - 16*l - 24. Let v be t(-14). Suppose 96 = v*a - 4*u, -4*a + 4*u + u + 100 = 0. Solve -3*c - 20 = b, 0 = c + 3*c + a for b.
-5
Suppose -c + 27 = 19. Suppose -c*b + 24 = -2*b. Solve 0 = 2*d + i - 15, 0*i + b*i = -3*d + 35 for d.
5
Let r(o) = 2*o**2 + o - 116. Let v be r(-8). Let h(a) = 2*a - 2. Let y be h(2). Solve 3 = -y*l - w - 5, -3*l + v*w = 12 for l.
-4
Let r be -4 + 0/3 + 9. Suppose r*q - 7 = 3*l + 18, 3*q + l - 15 = 0. Solve -9 = -3*a - a - q*h, -4*a + h = -3 for a.
1
Suppose 3*m + 87 = 4*x, -2*x + 6*x - 77 = m. Let w be (-52)/(-24) - 3/x. Solve -c = 4*g - 2, -w*g = -2*c + 5 - 1 for g.
0
Suppose 0 = 2*d - 5*r + 743, -1875 = 6*d - d + 5*r. Let l be d/(-33) - (-4)/6. Let t be 28/6 - (-4)/l. Solve 0 = -p + m + 7 - 2, 2*p - t = -3*m for p.
4
Let s(w) = -w**3 + 6*w**2 + 4. Let k be s(6). Solve -3*z - 15 = -4*y, -3*z - k*y - 6 = -5*y for z.
-1
Let y = 257 + -253. Solve -5*w + 20 = 4*a, 10 = a + a - y*w for a.
5
Let c = -5 - -4. Let z be 2 - (c - 0) - 30. Let m be (z/9)/((-6)/8). Solve 0 = m*d - 2*o + 2, 0*d + 2*o + 22 = -4*d for d.
-3
Suppose -3*g - 105 = 5*p + 22, 65 = -3*p + g. Suppose -f + 4*f = 0, -2*c - 32 = 2*f. Let r = c - p. Solve -3*n = -2*u + r*u + 26, -5*n = -2*u + 2 for u.
-4
Let g(x) = -x**2 + x + 3. Let u be g(0). Let z(j) = -j**2 + 4*j + 12. Let f be z(6). Solve -3*a = -h - 8*a - u, -4*a = f for h.
-3
Let z be (-24)/(-15)*(-105)/(-42). 