d - 2*i + 10, -3*i - k = -20 for d.
0
Suppose z + 4*d = -11, 3*d - 8*d - 5 = 0. Let q = -5 - z. Suppose o - 3*h + 9 = -2*o, -12 = -4*o - 4*h. Solve -10 = -q*v, -3*n + o*v - 2*v = -22 for n.
4
Let m(k) = -k**3 + 8*k**2 + 12*k - 5. Let v be m(9). Let t = -9 + v. Solve 3*b - 6 = 0, -4*f + 3 = 3*b + t for f.
-4
Suppose 4*r = 6*r. Suppose -5*i + 0*i - 27 = -3*n, r = 2*n - 3*i - 17. Solve n*s = -5*b - 17, b - 2*b + 11 = -4*s for s.
-3
Let w be 8 + (1 - (1 - 4)). Let c = w - -5. Solve 3*i - z + c = 0, -4 = i - 2*z + 5 for i.
-5
Suppose h - 7 = -3*a + 2*h, -2*h = -5*a + 11. Solve 22 = -4*m - f, -a*m - 3*f + 14 - 35 = 0 for m.
-5
Suppose 3*d - 9 = 0, 0*z - 5*z + 9 = 3*d. Solve z = -5*k - 3*c + 20, 3*k + 5*c - 20 + 8 = 0 for k.
4
Suppose 3*g - 1 = -d + 2, -d - g = -1. Suppose -4*y - y + 20 = d. Solve 4*i + 8 = 4*r, -4*i + y = -r - 0*i for r.
4
Let w = 28 + -24. Solve 4*b = 5*b - w*u - 6, b + 2*u = 0 for b.
2
Suppose 5*f - 26 = 14. Suppose -b - 5*d - 16 = 4, -3*b = 2*d + f. Solve b = 3*z - 3*a - 21, -z - 4*a - 13 = -0*z for z.
3
Let t = -2 - -3. Solve 0 = -d + t, -2*d + 2 = -c - 4*c for c.
0
Suppose 170 = 5*w + 5*w. Solve -2*v + w = 3*p, 8 = -v + 3*v for p.
3
Suppose t + 57 = 61. Solve w + w = 4*n - 14, -3*w = -n - t for w.
3
Let z be (2/(-4))/((-5)/50). Solve 3*x = -15, -5*m - 3*x = -0*x - z for m.
4
Let m(p) = -3*p**3 - p - 1. Let i be m(-1). Let t be ((-4)/i)/(1/(-6)). Solve -g + t = y, -3*g - 2*g = y - 28 for y.
3
Let p = 4 + -9. Let q = p + 8. Solve -q*u + 20 = 4*l, 2*u - u + 10 = 2*l for l.
5
Let b = 18 - 16. Solve b*x + 5*d + 20 = 3*x, d + 4 = -3*x for x.
0
Let v = 7 - 5. Suppose 4*d = 0, -23 = -4*a + 4*d - 7. Let l be (4/3)/(a/6). Solve 3*o + 1 = h + l, -v*o = -4*h - 4 for o.
0
Let j be -1*2 + 8 + 0. Let p be (j/(-4))/((-1)/2). Solve -1 = k + p*w, 3*k + 3 = 5*w + 14 for k.
2
Let n be 1/((1/(-2))/(-1)). Solve 0 = -n*t + 2*f - 17 + 7, -3 = -f for t.
-2
Suppose -2*y - 6 = -5*y. Suppose 4*f = 2*x - 4*x + 12, 2 = -y*f - 5*x. Solve m + 3*a + 1 = -0*m, 2*a + 24 = f*m for m.
5
Let y = -32 - -67. Solve -5*j + 5*z - y = 0, -2*j = -z + 6*z for j.
-5
Let s(a) = a**3 - 9*a**2 - a + 11. Let c be s(9). Suppose c*r - 5 = 11. Solve -i = 3*i - r, 5*p + 5*i - 30 = 0 for p.
4
Let n(q) = -2*q. Let a be n(-1). Solve 0 = -h + 2*y + 7, 4*y = h - 19 + a for h.
-3
Let o be (-1)/(1/(-3)) + 2. Let j be (-1 + o + -2)/(-2). Let c be j/(-3) + (-10)/(-15). Solve 3*m - 3 = s - 0*m, -4*s + m = c for s.
0
Let i(z) = 3*z**2 - z**2 + 4*z**2 - 5*z**2 + 12 + 3*z. Let c be i(-7). Solve -j + 5 = 0, c = -4*a - 0*a + 4*j for a.
-5
Let h be (-1*(-4)/(-3))/(344/(-516)). Solve h*q - 1 = -y, -2*q + 16 = 2*y + 2*y for q.
-2
Suppose 2*u = -2, m - 3*u + 8*u = 0. Solve m*z - k + 2*k = 0, 2*z + 5*k + 23 = 0 for z.
1
Suppose 7*f + 5*f - 36 = 0. Solve 2*m - b = -8, 2*b - 13 = 5*m + f*b for m.
-3
Let s be (-4)/(-3)*3 - -1. Solve 0 = -4*i - 0*i + s*b + 12, -5*i = -4*b - 15 for i.
3
Suppose 0 = 11*i - 15*i + 16. Solve 4*s = q + 3, 0 = -i*s + 4*q + 2 + 10 for s.
0
Suppose -3*o + 7*o = 20. Let p(n) = -2*n**2 - 7*n - 3. Let d be p(-2). Solve -o*s - 2*l + 21 = -3*l, -2*s + d = 5*l for s.
4
Let p = -3 - -5. Let s be -2*(-1)/p*3. Suppose -23 = -s*f - 2*u, 2*f + 3*u - 7 = 15. Solve 0 = z + f, 3*b - 7*z = -3*z + 8 for b.
-4
Let k(v) = 2*v**2 + 6*v + 3. Let g be k(-5). Let q = g - 14. Solve -q*p + 4*p - 25 = 3*a, p = a - 5 for p.
-5
Suppose 54 = -5*k + 279. Suppose 4*w + 2*b - 54 = 0, 3*w + 2*b = -b + k. Solve 0*s = -a + 4*s - 20, -a = 4*s - w for a.
-4
Let l = -3 - -8. Solve 0*b = 4*b + l*w - 2, 5*w = 5*b - 25 for b.
3
Let g = -4 + 14. Suppose -2*z + g = 0, 0 = v - 2*v - 2*z + 14. Solve -u - 1 = 3*d - 8, 0 = -4*u + v*d - 36 for u.
-5
Suppose -x - 4*x = -2*l + 14, 5*x - 5*l + 20 = 0. Let c = x - -3. Solve -m + 3*a + c = 0, 0 = -2*m - a - 5 - 0 for m.
-2
Let r(p) = -p**3 - 11*p**2 + 13*p. Let q be r(-12). Let n = -8 - q. Solve -4*b = n*l + 8, -5*l = -6*b + b + 10 for b.
0
Let l be -2*6/(-2 + -1). Suppose x = 4*d - 2 + 7, 0 = 3*d + x + 2. Let m = d + 5. Solve -2*z - m = v, 3 = -l*v + 2*v + z for v.
-2
Let d(t) = 3*t. Let p be d(-2). Let y(g) = g**3 + 5*g**2 - 6*g + 4. Let z be y(p). Solve 7 = -5*o + 2, z*r = -o + 11 for r.
3
Let b(j) = j**2 - 4*j + 6. Let w be b(4). Suppose p - w = -p. Solve -v = 3*v + p*s - 8, -v = -s + 5 for v.
-1
Let t = -7 + 11. Suppose 0 = -2*l + t. Suppose 14 = 2*s + l. Solve 0 = 2*c + 5*y - 3, 6*c - 3*y = 3*c - s for c.
-1
Let b(d) = -d + 16. Let k be b(8). Solve 2*o = -5*r - 18, 6*r - 4*r + o = -k for r.
-2
Suppose 0 = -7*c + 2*c + 10. Solve 2*n + t - 7 = 6*t, 0 = 2*n + c*t for n.
1
Let o = 1 - -4. Solve 4 = -3*m - o*n, m = 5*m - 5*n - 18 for m.
2
Let q be (-1)/(-4) - 38/(-8). Suppose q = 4*x + x. Let o = 14 + x. Solve -o = -4*f + c, -4*f + 40 = -5*c + 13 for f.
3
Suppose -10 = b - 15. Solve -4*h - 3*c - 20 = 3, -b*c + 5 = -2*h for h.
-5
Let w(u) = u**3 + 2*u + 1. Let x be w(-1). Let i = 4 + x. Suppose 0 = i*z - z. Solve 2*o - o + 2 = -2*h, z = -3*o + 4*h - 16 for o.
-4
Suppose -3*j + 2*j = 5*c + 4, 3*j + 4*c + 1 = 0. Let p be 12/j*(1 + 0). Solve -3*l = -p, 20 = -5*w + 3*l - 17 for w.
-5
Let l be (-2 - -4)/((-2)/(-3)). Suppose -l*b - 35 = -4*b. Solve -4*s + 20 = -2*a - 6, -3*a + 5*s = b for a.
-5
Let f = 5 - 0. Suppose -2 = -2*i + 3*c - 3, -f*i + c + 17 = 0. Solve -2*j + 6 = -2*v - 2, j - i = 4*v for v.
0
Let u(m) = -m**3 - 7*m**2 - 9*m + 7. Let i be u(-5). Solve w + 18 = -4*g - i, -3*g - 3*w - 24 = 0 for g.
-4
Suppose 0*h = 4*h + 24. Let z be (-2)/(-4) - 39/h. Solve 3*o + 2*p - z*p = -2, -2*o + 2*p - 4 = 0 for o.
-4
Let j = 19 + -17. Suppose 4*m - 4 = 8. Suppose m*y = 5*y. Solve 2*z - j*r - 5 = r, y = -r + 1 for z.
4
Let k(j) = -j - 1. Let f be k(2). Let b = 1 + -2. Let i be b/(-1) - (2 + f). Solve 4*t = -2*y - 14, -3*t = -0*y - i*y + 21 for y.
3
Suppose -15*k + 9 = -14*k. Let v(h) be the third derivative of -h**5/60 + 13*h**4/24 + h**2. Let t be v(k). Solve j + 6*b - 24 = 2*b, -4*b + t = 4*j for j.
4
Suppose 3*i + 11 = -9*m + 11*m, 2*i + 2 = 0. Solve -3*l = m*u - 7, 3*l + 4*u - u = 3 for l.
-3
Let y(t) = t**3 + 4*t**2 - 5*t + 3. Let n be y(-5). Solve -2*p - 6 = 0, 8*l - 4*p - 22 = n*l for l.
2
Let u be 10 + 3 + (3 - 1). Solve -v + g + g + 6 = 0, -3*g - u = -3*v for v.
4
Let k be 2*((0 - 2) + 3). Let a be k + (-1 - (-2)/1). Solve -3*g = -3*o, o + g + a = 1 for o.
-1
Suppose 0 = -p + 4 - 2. Let x = -8 - -8. Let f = 5 + -3. Solve p = 4*v + q - 3*q, -f*v - 4*q + 6 = x for v.
1
Let p = 47 - 43. Solve 4*b = p*u - 24, 4*u - 10 = b + u for b.
-4
Let v = 0 - -20. Solve 4*b + v = -3*m, b + 2 = -2*b + m for b.
-2
Let o be 45/6 + (-3)/(-6). Let j(k) = k - 4. Let s be j(o). Suppose 2*t + 1 + 77 = s*n, 2*t + 98 = 5*n. Solve 0*z - 4*g = -4*z + n, 3*z + g = 3 for z.
2
Suppose 5*z - 110 = 5. Let c = 46 + -40. Solve c*f - 3*f = 2*u + 18, -5*f = -u - z for u.
-3
Let i(p) = 2*p - 6. Suppose -29 + 5 = -4*h. Let l be i(h). Suppose a - l*a = 0. Solve 3*j = 2*s + 4, 2*j - s - 4 = -a*j for j.
4
Suppose 0 = -v - v. Suppose -25 = -n - v*n. Solve 19 = -4*h - 6*c + 3*c, 5*c = -n for h.
-1
Suppose -5*w = 3*s - 26, 4*w + 2*s - 5*s - 10 = 0. Solve 0 = i + h - w*h, 4*h = 5*i for i.
0
Suppose 3*x + x - 12 = 0. Suppose x*w - 2 = 2*w. Solve 0 = t - 4*d + 17, 0*d - 3*d + 14 = -w*t for t.
-1
Let g be (2/(-9))/(3/(-27)). Suppose 0 = b + s + 1, -2*s - 6 = -0. Solve 2*x = -h - 7, -g*h + b*x - 11 = 5*x for h.
-1
Suppose -2*w + 3*m = 9, 2*w - 2*m = -3 - 3. Let r = 8 + -5. Solve 3*i = 4*c - r - 8, -3*i - 15 = w for c.
-1
Suppose 0 = 2*w - w + 1. Let y be w/(7/4 + -2). Let k(u) = -2*u**3 + 2. Let a be k(-2). Solve 20 = 3*z + z, a = 2*c + y*z for c.
-1
Suppose 27*m + 5 = 28*m. Solve -4*d + m*d + 10 = 3*z, -3*d = -5*z + 14 for z.
4
Let n be (13/3 - (2 - -1))*6. Solve -4*w - n = -3*r - r, 3*w = 2*r - 2 for w.
2
Let h = 0 - -1. Suppose -m = -h - 3. Solve -m*q = 2*d - 7 - 3, 4*q - 15 = -d for d.
-5
Let p(y) = 2*y**2 - 5 + 0 + 2*y + 6. Let x be p(-2). Suppose -3*n + x - 2 = 0. Solve 0 = -4*v + 3*w - 17, -3*v + 2*v + 4*w - n = 0 for v.
-5
Let h(y) = 3*y - 12. Let a be h(10). Solve 2*k = -3*g - g + a, 0 = -g - 2*k + 12 for g.
2
Let a = 118 - 109. Solve 5*f + 25 = -5*v, -4*v - 1 = 2*f + a for v.
0
Suppose 5*c + 5*l - 140 = 0, c + 0*l + 4*l = 19. Let t = c + -28. Solve 3*b = -4*j - j + 14, t*b - 10 = -4*j for b.
-2
Let u = -1 + -6. Let