2*v + v + 24 = -h*d for d.
-4
Let l = 1 - -2. Let n = -63 + 65. Solve 4*s + 0 = -n*c + 6, -2*c - 8 = -l*s for s.
2
Suppose 0 = -g - 3*k + 11, -4*g - 2*k + k + 33 = 0. Suppose 0 = -g*x + 4*x - 8. Let m be 12/9*(4 - x). Solve 4*w + 5 + 2 = -5*y, -m = 2*w - 2*y for w.
-3
Let t = -924 + 926. Solve 10 = 5*w, 18 = t*l - 0*w + 4*w for l.
5
Let k = 1295 - 1291. Suppose 3*r - m = 9, -5*r - 2*m = -m - 15. Solve r*b + 8 = b, j = k*b + 12 for j.
-4
Let g = 28 - 32. Let i(p) = -p**2 - 6*p - 5. Let s be i(g). Solve o = -5*m - 1, s*o + m + 13 = 6*o for o.
4
Suppose 45*j - 92 = 43. Solve -25 = 5*z + 3*p, z - p - j + 0 = 0 for z.
-2
Suppose 2100*u = 2101*u. Solve 2*l = -j + 4, 3*j - 2*l + 4 = -u for j.
0
Let w be (-70)/(-22) + 112/(-616). Solve 0 = -4*d - w*x - x - 20, -3*x = -d + 15 for d.
0
Let c(l) = -l**2 + 10*l + 156. Let j be c(-8). Solve -4*o + j - 4 = -3*x, 4*o = x for o.
-1
Let a be (533/26 + -21)*(1 - 11). Let o = 8 + -6. Solve -3*k - 11 = o*k - 2*f, 17 = -2*k + a*f for k.
-1
Let c = -47 - -74. Let p = c - 24. Solve 3*u + 2 = p*f - 4, 2*f = -u + 1 for f.
1
Suppose 116 = 5*h - 209. Suppose 5*m - 85 = -h. Solve -2*c - 2*c + 18 = 2*a, -c - 18 = -m*a for a.
5
Let f(y) = 2*y**2 + 8*y + 6. Let w be f(-5). Solve 5*k = -5*c + 40, 0*c - 3*c - k + w = 0 for c.
4
Let s(m) = 12*m + 110. Let n be s(-9). Solve -n*p = -5*b, -5*b + 4*p = -p for b.
0
Suppose -9 + 0 = -f + 3*u, 64 = 4*f + 2*u. Suppose -5*z - f = 5. Let j(p) = p**2 + 4*p + 2. Let w be j(z). Solve w = 5*k + 2*o + 9, -4*k - 4*o = -4 for k.
-3
Let m = 3 - 1. Let h = -8 + 8. Suppose h = 3*w - 9 - 0. Solve w*c + 11 = -m*a + 4*a, -3*a = 5*c - 7 for a.
4
Suppose 2*i = i + 3. Suppose 26 = 7*w + 5. Solve 3*f + i*j = -j + 19, 0 = -3*j + w for f.
5
Let j be ((408/14)/(-17))/(4/(-14)). Solve -4*c + 0*c - 2*k = 28, -k = -2*c - j for c.
-5
Let v be 2/(-8) - 1060/(-16). Suppose -v = 3*y + 9. Let w be (-15)/y - (-17)/5. Solve x + 2*s = -6 - 1, 0 = -w*s - 12 for x.
-1
Let q = -74 + 91. Solve 3*h = -4*y + 7, y + h - q = -4*y for y.
4
Let l = -426 - -430. Solve -2*i + 0*i + 4*u - 4 = 0, 3*i + l*u = -6 for i.
-2
Let g(q) be the second derivative of -q**4/12 + 7*q**3/6 + 6*q**2 + 11*q. Let m be g(8). Solve -2*f - y - m*y + 8 = 0, 0 = -5*f - y - 3 for f.
-1
Suppose -9*y + 110 = -4*y. Suppose 0 = -5*z + 3*f - 4*f + y, -8 = -z + f. Suppose -2*c = z*p - 51, 2*c = -c + 4*p + 19. Solve c = 4*x + 5, 3*i - 2*x = 2 for i.
2
Suppose 10*o - 5*o = 20. Solve 3*w + 4*h + 25 = 2*w, -3*w + 5 = -o*h for w.
-5
Let z(s) = s**3 - 2*s**2 - 12*s - 2. Let b be z(5). Let r be ((16/(-5))/4)/(8/(-120)). Solve 3*j = f + 7*j - b, -r = -4*j for f.
1
Suppose 1 = -4*u + 13. Let b be 8 + (-6 - (-9)/3) - u. Let o = 0 + 2. Solve -21 = 4*p + 3*y, -b = o*y + 4 for p.
-3
Let h(y) = -y - 1. Let s(r) = r**2 + 9*r + 8. Let o(i) = -3*h(i) - s(i). Let l be o(-4). Solve -3*a = -l*v - 18, 3*v + 2*v + 28 = 4*a for a.
2
Let x(r) = -r**2 + 7*r - 4. Let s be x(6). Let v be 7/((-14)/(-48)) - 14/2. Solve -5*t + 3*g - v = 0, -s*t = -6*t + 4*g - 20 for t.
-1
Suppose -2*h = 7 + 9. Let f be (-2)/4 + (-340)/h. Let m be 1/3 - f/(-9). Solve 0 = -5*i + m*k + 45, -3*k + 1 = i + 3*i for i.
4
Let f = 14 + -8. Let l = 3 + -49. Let k = l + 50. Solve -6*q + 4*q + f = 0, k*s = -4*q for s.
-3
Let t be 2/(3*(-1)/(-69)). Let a = -43 + t. Solve j + 15 = a*w, w - 10 = 5*j - w for j.
0
Let k be (-16)/(-7) + 8/(-28). Let o(w) = 6*w - 11. Let n be o(2). Let z be 3 - (n + (1 + 2 - 1)). Solve z = -3*r - 3*i, k*r + 2*i = 3*r for r.
0
Let f(m) = 2*m**2 + 12*m - 4. Let g = 6 - -15. Suppose -4*j - g = -j. Let k be f(j). Solve k = -v - 3*a, -6*v + 2*v = -2*a + 12 for v.
-4
Let v(m) = -17 + m + 11 + m. Let i be (-60)/(-7) + (-9)/(-21). Let d be v(i). Solve d = -y + 5*j, 2*j = -4*y + 2 - 6 for y.
-2
Let v = 223 + -219. Let g(n) = 2*n**2 - 2*n - 1. Let q be g(-1). Solve -3*z = q*d - 24, -v = -z + 1 for d.
3
Let n be (-60)/50*(-10)/3. Suppose -3*o + n = -5. Solve -o*m + 18 = -3*w + m, -5*w = 2*m + 4 for w.
-2
Let b be (-6)/(-4)*(1 - -1). Suppose 0 = 4*d - 4*r + 16, 20 = -16*d + 20*d + 5*r. Solve -c - 8 = -5*v, 3*v + b*c + d + 6 = 0 for v.
1
Suppose -j - 4 = -4*k, -8 + 24 = -2*k + 5*j. Suppose 0 = -2*o - 4, 22 = b + k*b - 5*o. Solve 15 = b*s + 5*q, -4*s - q + 1 = -2 for s.
0
Let y be ((-8)/5)/((-4)/10). Let u be (-30)/(-4) - (-6)/(-4). Let s be 9/2 - (-9)/u. Solve -5*c = 2*h - 11, y*h - 5*h = 3*c - s for c.
1
Suppose 0 = -31*p + 28*p - 162. Let n = 35 + p. Let s(r) = r**2 + 18*r - 15. Let o be s(n). Solve 3*w = -0*w + q - 8, -5*w - o*q - 2 = 0 for w.
-2
Let b be (1/(-1))/((-12)/156). Suppose -15*o + b*o + 6 = 0. Suppose -4*f + 2*f = 5*q + 16, q + 8 = 2*f. Solve f*h - 9 = -o*w, w - 9 = 3*h - 2*w for h.
0
Let a = -13 - -3. Let r = -5 - a. Let o be 0*(15/(-9))/r. Solve -p = 1, -4*c + p - 3 + 0 = o for c.
-1
Suppose v = 5*m - 10, -4*m = m + 2*v - 25. Let t be 3 + m*(-4)/6. Solve -24 = -4*b - 4*g, b + 1 = g - t for b.
2
Let i be 42/(-315) - (-26)/(-30) - -2. Solve 2*a + 3 = l, -4*l - i - 1 = -a for a.
-2
Suppose 459*n - 32 = 443*n. Solve -4*p - 3*v - 4 = n, 4*p - v - 2 = 0 for p.
0
Suppose 5*n = -4*x - 3 + 27, 3*n - 8 = 4*x. Let h be (-16)/12*-6*x. Let r be (0/(-1) - 1)*-4. Solve -4*m - 5*j + h*j + 3 = 0, -4*j - r = 0 for m.
0
Let g(b) = 2*b + 70. Let z be g(-35). Solve -2*m + 3*m + 2*q + 4 = z, -4*m + 4 = -2*q for m.
0
Let a(l) = l**3 - 14*l**2 + 8*l + 8. Let t be a(14). Suppose 5*w - t = -w. Suppose -w = -8*g + 4*g. Solve -4*f - g*b + 7 - 5 = 0, -b + 8 = -3*f for f.
-2
Let w = -50 + 50. Solve -7 = 2*u + p - 1, w = -5*u + 3*p - 15 for u.
-3
Let x(m) = m - 10. Let l be x(12). Let u(n) = -n**3 - n**2 + 3*n. Let h be u(-3). Suppose 14*y - 20 = h*y. Solve 1 = l*o - g - y, 4*o = -4*g + 4 for o.
2
Let o(p) = -2*p**2 - 58*p - 65. Let b be o(-27). Let a = -39 + b. Solve -a*x = 3*s - 9, x = -3*s + 2*x - 6 for s.
-1
Suppose 42 = 2*r + 4*z, -r - 18 = -2*r - z. Solve -3*q - q + 2*p + 2 = 0, r = 5*q - 5*p for q.
-2
Let l = -286 + 290. Solve -l*w = -2*c + w - 7, -3*w + 9 = 0 for c.
4
Let c = 12 + -4. Let o = c - 2. Let q be (0*1/(-5))/(-1). Solve q = -5*j - 2*s - o, 12 = 3*j - 4*j - 4*s for j.
0
Suppose 3*u + 10 = -2*u. Let p(h) = -2*h - 182. Let w be p(0). Let x be w/(-98) + u/(-14). Solve z - x*a + 15 = a, -3*z - 3*a = -15 for z.
0
Let t(h) = 3*h**2 + 19*h + 4. Let q(i) = 2*i**2 + 13*i + 3. Let v(x) = -7*q(x) + 5*t(x). Let u be v(-5). Solve -3*m = -2*o + 2 + 2, 0 = -u*m + 5*o + 4 for m.
-4
Let b be 6 - (-2 + 3 + 4 + -5). Solve -3*x = 3*i - b, i + x - 20 = 6*x for i.
5
Let f(j) = 2*j**2 + 8*j + 11. Let r be f(-3). Solve -5*n + r = -7*n - 5*t, -4*n + 2*t - 22 = 0 for n.
-5
Let m(t) = t - 4. Let y be m(6). Suppose y*h + 3 = 3*h. Suppose -f + 3*s = -s - 9, -h*f = 4*s - 11. Solve -2*z - b + 2 = -3*z, 0 = 5*b + f for z.
-3
Let v be (0/(1 - 0))/(-1). Let k be ((-3)/1 + v)/(3/(-2)). Solve -4*w + 3*s = -k*s + 25, 5 = 3*w + s for w.
0
Let s(d) = 73*d - 649. Let b be s(9). Solve -4*k = -b, -3*p = -8*p - 2*k - 16 for p.
-4
Suppose 24 = 4*s + 2*i, s + 3*i + 1 = -3. Suppose s = 26*f - 22*f. Solve 0 = 3*p - 2*c + 1, f*p + 1 - 27 = -4*c for p.
3
Let w = -359 + 372. Solve 0 = -a + 6*z - z + w, -3 = z for a.
-2
Suppose -4 = -5*b + 6. Suppose 12 = -3*d, 5*n + 2*d - 57 - 85 = 0. Suppose n = 3*h + 2*k + 9, -h = 4*k - 7. Solve v + b = 5*z, v + 5*z - z = h for v.
3
Let u(g) = 2*g**3 + 16*g**2. Let n be u(-8). Solve n = -5*j - 5*c, -j - 5*c - 8 = -0*c for j.
2
Suppose 0 = -4*s + 2*p + 56 + 6, 0 = 2*s + 4*p - 6. Solve -3*w + 5*n + 9 = 0, -2*n = -w + 3*n + s for w.
-2
Let v = -2 + 2. Suppose 0*p - 2*p + 12 = v. Let j = -331 - -334. Solve -19 = -4*b - o, b + p = j*o + 1 for b.
4
Suppose 3*i - 3*h = h, 0 = 4*i - h - 13. Solve -10 = -5*n, n + i*n - 14 = -4*l for l.
1
Let d be (-2)/(-4) - 55/(-110) - -4. Solve 5*k = -d*m + m + 18, 4*k - 5*m = -2 for k.
2
Let m = -45 - -61. Solve 2*b = 3*s + 4, 3*s - 5 = -3*b + m for b.
5
Suppose -10*i - 1012 = i. Let f be 2 + i/(-22) + 4/(-22). Solve l = 4*k + 16, 3*l + 2*k - f = -0*l for l.
4
Let d be (-60)/(-5) + 4/(-1). Suppose 0*c = 4*c - d. Suppose 0 = m + 2*m - n - 5, m - c*n = -5. Solve 0 = -2*l + m*p + p - 4, 10 = -2*l - 2*p for l.
-4
Let a = 1405 - 1401. Solve 20 = 4*n - 5*c, 2*n + 9*c - 10 = a*c for n.
5
Let m = -677 + 681. Solve 5 = -0*b - 5*b - 4*g, 2*b + 2 = m*g for b.
-1
Suppose f + 0 = -1. Suppose 