lve 2*n + 13 = -q*d, 2*n = 4*d + 1 - x for d.
-1
Suppose 3*m - 4*m = 0. Let g = -4 - -6. Suppose 0 = j + 4*j - 20. Solve 5*i = m, g*s - 6 = j*i + 4 for s.
5
Let x = -1877 - -1879. Solve 0 = -4*m - 4*v - 0*v - 32, -x*m - 3*v - 20 = 0 for m.
-4
Let u be (-1)/(8/9 + -1). Let r be 6/u*(5 + 1). Solve 3*k = -2*t - 11, -4 - 4 = t + r*k for t.
-4
Let z = -190 - -190. Solve z = -2*k - 3*w - 17, -2*k - 6 = w + 1 for k.
-1
Let o be ((-2)/6)/((-1)/6). Let v be 2/5 + 1/(40/224). Solve -5*q + 5*w + 20 = 0, 2*q - w - o = v for q.
4
Let n(t) = t**2 - 10*t - 6. Let c be n(6). Let s = -28 - c. Solve -s*r + 5*x = -10, 5*r + x = -2*x + 25 for r.
5
Let q = 21 - 17. Suppose 3*u = 5*g - 15, -3*g - 9 = -6*g + 5*u. Suppose 2*l + g*l - 32 = -4*y, -5*y + l + 40 = 0. Solve 4*j - y = -3*s - s, 12 = -q*s for j.
5
Let c(t) = -t**3 + 4*t**2 + 10*t + 14. Let h be (20/5)/(3*2/9). Let r be c(h). Solve -p + 3 = -r*w - 2, 0 = -w - p - 1 for w.
-2
Suppose w + 8 = 2*q, -4 = -4*q - 2*w + 20. Suppose -19 = -q*z - 5*b + 3*b, -4*b = -2*z + 22. Solve y + z*p = -13 - 12, -25 = 5*p for y.
0
Suppose 2*i = -8, 3*u + 2*i = -61 + 53. Suppose 134 = 5*x + 39. Solve u = -3*w - 4*t + 14, w + x = -w + 3*t for w.
-2
Let n = 52 + -49. Solve -n*f + 3 = -2*a - 2*a, -a + 2*f + 3 = 0 for a.
-3
Let y = 14 - 9. Suppose y*v + 91 = -94. Let g = v - -52. Solve -2*b = -3*n + 15, -n - g = -4*n for b.
0
Let p(t) = -6*t - 61. Let s be p(-14). Solve 2*w + 21 = b - 3*w, 2*b = -3*w - s for b.
-4
Let p(t) = -t + 4. Let d be p(3). Suppose 3 = -4*b - d. Let a(i) = -7*i**3. Let o be a(b). Solve 0 = -3*k + 3*q, -o*k = -2*k - 4*q + 4 for k.
-4
Let n(g) = -2*g**3 - 15*g**2 - 8*g - 5. Let f be n(-7). Solve u + 21 = -f*l - 2*u, 0 = -l + 5*u + 22 for l.
-3
Let u(p) = p**2 - 24*p + 110. Let h be u(18). Solve 0 = h*z - 2*l + 2, -3*l - 1 + 2 = -z for z.
-1
Let n = -29 + -4. Let o = 38 + n. Solve -o*z - 2 = -2*z + 2*p, -2*z + 1 = -p for z.
0
Suppose 5*f + 33 + 1 = 4*y, 8 = 4*f. Suppose -4*x - y = -2*t - x, -7 = -2*t - x. Solve 4*n + r = 23, 0 = t*n + 3*r - 8*r - 5 for n.
5
Let a(x) = -2*x. Let i be a(-4). Suppose -52 = -5*h + z, 4*z + 28 = h + h. Let s = h - 5. Solve -c - s*d - 10 = 1, 4*d = -i for c.
-1
Let r be 14/(-1)*(6 + 13/(-2)). Solve l + r = 5*l - j, 0 = -3*l - 4*j + 10 for l.
2
Let b(i) = i**2 - 7*i - 8. Let q be 0/2 + 3 - 1. Suppose -2*w - q*w = -36. Let z be b(w). Solve -z = 2*f + 3*f - 5*t, 2*f + 6 = t for f.
-4
Let g be 2688/(-36) - (-2)/(-6). Let a = g - -78. Solve 45 = -4*v + 5*i, -7*v - 5 = -3*v + a*i for v.
-5
Let p be 20/50 - (-114)/(-10). Let n(j) = j**2 + 11*j. Let y be n(p). Suppose -7*s + s = y. Solve g + 6 = -s*g + u, -5*g + 4*u = 25 for g.
-1
Let f be 6 + (9/3)/(-3). Let c = 10 - 18. Let r(m) = -m**2 - 9*m - 6. Let s be r(c). Solve s*j - 2 = f*n - 12, 0 = -4*n + 4*j + 20 for n.
0
Let b = -5 + 10. Suppose -3*r = -b*r - 5*k + 1, 10 = 2*r - 4*k. Suppose 0 = -17*d + 20*d. Solve 3*u + 0*u = r*g + 21, -4*g - 16 = d for u.
3
Let k(v) = 3*v**2 + v + 1. Let p be k(-1). Let s be p + (-64)/(-28) - 4/14. Solve s*t + 3*g + 20 = 8*g, -4*g = 4*t for t.
-2
Suppose -a - 14 + 6 = -2*d, -d + 5 = 0. Solve -1 = 3*m + 4*c, c - 1 = -a for m.
1
Suppose 2*v = -29 + 91. Suppose 0 = -2*n + 5*x + v, x - 2 + 4 = -n. Solve 4*g = -2*r + 8, n*r - 2 = g - 18 for r.
-4
Let n be (-1 + 3)/2 + 1. Solve -7 = 3*r + 4*b, 0 = -2*b + 3*b - n for r.
-5
Let j be 7/(-5)*(-9 - -4). Suppose c + j = 10. Solve 2*u - 5*u = c*o - 18, 0 = -3*o + u - 2 for o.
1
Let d(l) = -15*l - 40. Let t be d(-3). Solve t*n - x = -15, -1 = 4*n - 5*x - 10 for n.
-4
Suppose 4*b + 25 = 85. Let s = -31 - -20. Let g = b + s. Solve -5*j + g*m = -1, 4*m + 2 = -14 for j.
-3
Suppose -3 - 1 = 4*p, -5*r + 5*p = -20. Let u = 3 - -1. Suppose -1 = y - u. Solve b = 2*j - y*j - 6, r*b = -j - 8 for j.
-5
Suppose 0 = -3*u + h + 11, -55*u + 60*u + 5*h = 5. Solve -2*k + l + 2 = 0, 5*k + 4*l - u*l - 12 = 0 for k.
2
Suppose -2*i + 4*y = 0, i + 27 = -i - 5*y. Let f be 5/((-30)/3)*i. Solve g = f*d - 5, -3*g + 3*d = -0 + 15 for g.
-5
Let g(k) be the first derivative of k - 8 + 2/3*k**3 - k**2 + 17/2*k**4. Let b be g(1). Solve 5*v + 17 = -r, -5*r + 9*v + b = 4*v for r.
3
Let p be 4/(-10)*(2 + -15 + -2). Suppose -p = -v + 5. Solve -10 = -4*c - 2*k, -3*k + 2*k - v = -2*c for c.
4
Let u be (-55)/(-3) + 2/3 + 0. Suppose -16 = 4*v, 5*o + 3*v - 4*v - u = 0. Solve 3*q = -4*f + o, 0 = -q + 3*f - 2*f + 1 for q.
1
Let s(a) = -a**3 + 40*a**2 + 38*a + 126. Let m be s(41). Solve -m*b = 9, -3*j + 6*b + 3 = 3*b for j.
-2
Let i(n) = 5*n + 38. Let m be i(-10). Let u be 36/m - (-21)/3. Solve 3*f = 5*v + 2, -f - 2 + u = -3*v for v.
-1
Let x(f) be the second derivative of f**3/2 - 9*f**2 + 2*f. Let g be x(8). Suppose 0 = -3*c + a + g, c - 3*a + 2 = 2*c. Solve i + 3 = c*o - 2, o = 3*i for o.
3
Let k be 4 - 4*(1 - 0). Suppose k = 14*l - 5*l. Solve l = 2*t + 4*f - 10, -t - 2 = 5*f - 7 for t.
5
Let y(a) = 31 - 21 + a**2 + 3*a - 19 + a. Let n be y(-6). Solve 2*b - 6*b = -n*u - 17, 4*u + 12 = 0 for b.
2
Suppose -7*n - 2*r = -2*n + 56, 0 = -4*n + r - 50. Let z = 18 + n. Suppose 21 = z*y + y. Solve -3*k = o + y*o - 9, -3 = -o for k.
-1
Let m = 231 - 229. Solve 3*v = -c - 1, m - 5 = 3*c for v.
0
Suppose q - 1 = 2. Suppose 0*j - q*z = 4*j + 1, 0 = 5*j - 4*z - 22. Suppose x = 2*x + y + 5, j*x = y + 5. Solve -4*h = 5*t, -2*h - 18 = -2*t - x*h for t.
4
Suppose -10*d - 16*d + 52 = 0. Solve -40 = 5*h - 5*x, 2*h - 4*h = d*x for h.
-4
Let q(z) = -z**3 - 5*z**2 - 2*z - 6. Let i(j) = j**3 - 9*j**2 - 5. Let c be i(9). Let x be q(c). Solve 3*m = 6*m - 4*w - 19, w = -x*m + 19 for m.
5
Suppose -36*o + 305 = 89. Solve 5*m + 2*t - 25 = 0, -m + o*t - t = 22 for m.
3
Let o = -1 + 29. Suppose 14 = 4*y - 10. Suppose y = 4*i + 2*s, 2*i - 18 = s + s. Solve 0 = 4*q + i*d + o, -3*q - 18 = q + 2*d for q.
-2
Suppose 2*k - 91 = -q, 3*k + 4*q = -k + 172. Let g = 53 - k. Solve -w + 5 = 0, -3*h + g*w = -2*h + 26 for h.
-1
Let k(q) = 5*q**3 - 1. Let d be k(1). Solve -d*z - 2 = t - 3, 0 = 4*z + 4*t - 16 for z.
-1
Suppose 3*m = 9 - 57. Let v = -29 - m. Let b = v + 13. Solve b = -3*u - 5*s - 18, 5*s + 4 = u - 10 for u.
-1
Suppose 0 = -0*b - b + 14. Let y = b - 9. Let z be 1*y*(-9)/(-9). Solve -3*p + z*p = -3*w, 0 = p - 5*w - 13 for p.
3
Let f be -2 - ((-4)/6)/((-1)/(-15)). Suppose f = -6*t + 8*t. Solve 0 = -2*w, m - 3*w = -t*m - 10 for m.
-2
Suppose 7*w - 84 = 182. Let k = w + -34. Solve -4 = -4*m - k*v + 12, 4*v - 16 = 3*m for m.
0
Suppose 0 = -21*x + 23*x + 5*i - 4, -4*i + 4 = 2*x. Solve 6*v - 3*v + 19 = -5*r, -v + 12 = -x*r for r.
-5
Let d(c) = -c**2 - 4*c + 3. Let o be d(-3). Let v be (1/(-2))/(o/(-36)). Solve 3*g = -3*n + 15, -v*g + 5 = -5*n - 2 for n.
1
Let r = 5 - -19. Suppose -4*x = 2*c - r, -3*x + c = 2*c - 18. Suppose 0 = -4*l, 7*l - 4*l = -2*z + 32. Solve -g - x = y, 0 = -0*y + 2*y + 3*g + z for y.
-2
Let l(s) = 12 - 2 + 5*s**3 + 16*s - 11*s**3 + 7*s**3 - 9*s**2. Let w be l(7). Solve 4*q - w = 4*v, -q + 2*q + 2 = -v for q.
2
Suppose 2*a + 8 = 2. Let v(w) = -3*w - 4. Let j be v(-3). Let b be j/((-2)/(a + 1)). Solve -b*h - 24 = -g - 2*g, g = 2*h + 9 for h.
-3
Let z = 1 + 2. Let m = 17 + -17. Suppose 177*n - 178*n + 3 = m. Solve 0 = 4*v - 5*c + 13, -n*c + 5 = -4*v + z*v for v.
-2
Let y = 316 - 312. Solve 3*q - 5*w + 11 = 4*q, y*q + 6 = 5*w for q.
1
Let f be 26/8 - (-2)/(-8). Suppose 4*r - 4 + 0 = 0, 0 = -p + 4*r - 5. Let l be 0*(3 + p)/4. Solve 0 = d + 4*d + 20, l = g - f*d - 15 for g.
3
Suppose 4*v - 4 = -0. Suppose -9 + v = -2*c. Suppose -w - 4 = 0, -4*g - c*w - w = -64. Solve 0*h + 3*h + 12 = 0, 0 = -3*l + 3*h + g for l.
3
Let d = 417 - 415. Solve -15 = 3*b - d*r, -r + 1 - 6 = b for b.
-5
Let n = -965 - -968. Solve 0 = -4*b + n*w + 23, 3*b + 10*w = 5*w - 19 for b.
2
Suppose -9*s - s - 40 = 0. Let l be 10/3 - (1 - s)/15. Solve 4*k + 5 = -l*c - 1, -2*k = 3*c for c.
2
Suppose 4*q + 5*u = 11, q + 4*q + 2*u - 18 = 0. Let j = 11 - 7. Solve 0 = 5*n - j*x + 7, -2*n + q*x - x - 7 = 0 for n.
1
Suppose 60 = 3*w + 3*w. Let m be 1 + 1 + w + -6 + -2. Solve 16 = m*v, 2*u + 2*v - 12 = -2*v for u.
-2
Suppose 3*o + 1 - 13 = 0. Let a = -1 + o. Suppose 10*j - 18 = j. Solve j*b + 0*l - a*l - 1 = 0, 10 = -b - 2*l for b.
-4
Let j(n) = 8*n + 35. Let y be j(-4). Suppose y*q - 6*q = 0. Solve -3*a + a - 8 = 2*m, q = 2*m + 5*a + 14 for m.
-2
Let l = -1 + 3. Suppose 0 = -