*r, -6*b + 3*r + 8 = -b for b.
4
Suppose -3*m = 2*m. Suppose 2*v - 3*v - 5*d = -37, -4 = -d. Let n = 18 - v. Solve -2*b + 11 = 4*j - b, j - b + n = m for j.
2
Suppose -3*v = 21 + 114. Let q = v - -45. Solve q = 2*n + 5*z + 21, 3*n + 6 = z - 0*z for n.
-3
Let m be (-1)/(-3) + 117/(-27) + 8. Solve -2*k - 3*k - 3 = -3*c, -m = -4*k + 4*c for k.
-3
Let w(q) = -q**2 - 9*q - 5. Let l be w(-8). Suppose l*a + 2*a = 15. Suppose -27*s = -10*s - 136. Solve -a*c + c + 23 = 5*z, -5*c + 4*z + s = 0 for c.
4
Suppose -18 = -102*l + 96*l. Solve -m = l, -m - 10 - 18 = 5*r for r.
-5
Let s = 2 - -2. Let w(g) = 6 - 5 - s*g - 3. Let l be w(-2). Solve 0 = 4*j - j - 5*b + l, j + 3*b - 12 = 0 for j.
3
Suppose 0 = -4*b - 4*s + 28, 2*b + 2 + 4 = 2*s. Suppose 0*h + 2*h = 0. Solve -2*y - 10 = 4*z - z, y - b*z - 2 = h for y.
-2
Let n = 71 + -67. Solve 4 = -4*x + n*r, -4*x - r - 10 = -3*r for x.
-4
Let p(u) = -74*u**3 - u**2 + 2*u - 1. Let w be p(1). Let a = w - -91. Solve -a = -2*f + 2*c + c, 4*f + 2*c = -6 for f.
1
Let v(q) = q**3 - 3*q**2 - 6*q. Let h be v(-4). Let f = 93 + h. Solve -4*r + 2 = -2*a, -2*a + f*r = -a + 10 for a.
5
Let x(a) be the third derivative of a**4/24 - 4*a**3/3 - 6*a**2. Let t be x(12). Solve -t*v = 5*h + 23, -5*v + 4*v = -5*h - 13 for v.
-2
Let g(j) = j**2 - 2*j + 3. Let x be g(5). Let z = x - 26. Let u(f) = f + 10. Let h be u(z). Solve -h*k = -4*k - 4, 3*k - 19 = 5*t for t.
-5
Let r(a) = -9*a**2 + 9*a + 4. Let o be r(-4). Let i be (-4)/10 - o/40. Solve 0 = -4*h + 3*p + 14, -i*p + 3 = -h - 0 for h.
5
Let j be (2/(-3))/((-9)/(-324)). Let t = -21 - j. Suppose 3*k - t = 3. Solve 0 = l - 0*n + k*n - 2, 0 = 5*n for l.
2
Let a(u) = -u**2 + 4*u + 1. Let c be a(4). Let r be ((-25)/10 + 3)*6. Solve -2*v + 3*t = 7, -2*v - 2*v + r*t = -c for v.
4
Let v = -307 - -316. Solve -6 = 4*n + 3*s, 2*n - 4*s = -v*s + 4 for n.
-3
Suppose 26 + 2 = -4*h. Let c(o) = o**2 + 6*o + 8. Let u be c(h). Suppose -3*d = -w - 20, -w - 4*w = 4*d - 33. Solve -u = 5*x - g, -3*g = 5*x + 2 - d for x.
-2
Suppose 6*t - t - 30 = 0. Let l be (t/15)/(1/25). Suppose 5*s = -0*s. Solve s = -5*x + 3*j + 20, l*x - 20 = 5*x + 5*j for x.
4
Let b = -299 + 302. Solve -2*p - 21 = -5*z, -b = 3*p + 6 for z.
3
Let v be (-2 - -2)/3 + -64. Let a = v - -64. Let g(u) = -u - 2. Let i be g(-10). Solve a = 4*t + z + 6, -1 = t + 4*z + i for t.
-1
Let h(z) = -z**3 - 3*z**2 - 11*z - 57. Let l be h(-4). Solve 0 = -3*j - 5*w + 25, -8*j + 15 = -l*j + 3*w for j.
0
Let r be (-16)/18*531/(-59). Solve 3*v = m + r, -m = 3*m + 4*v for m.
-2
Suppose -91 = 2*z - 3. Let d be (-8)/z + 126/33. Solve -5*j - 18 = -2*o, -2 = 4*o - d*j - 14 for o.
-1
Suppose 7*x = -q + 3*x + 30, -x = -q + 20. Solve p + 16 = -2*p + 5*r, 4*p = -2*r + q for p.
3
Suppose 3*f = -9, 5*f - 2*f = -d - 7. Let g be (d - 1)*(2 + 3). Let n be (9 - 5)*(-2)/(-2). Solve 5*k + 5 = q, -5 = -g*q + n*k + k for q.
0
Let w be (-4)/28 + 142/14. Suppose -w*r + 45 = -r. Solve 2*b + 4 = -2*v, 2*b - 5 = -r*v - 0 for b.
-5
Let u = -15 + 18. Solve 4*o = 0, 5*o - u = l - 1 for l.
-2
Let x(m) = -m + 14. Let c(t) = -7 + 8 + 1 + 8*t. Let r be c(1). Let y be x(r). Solve 2*p + 2 + 1 = 5*i, 2*p = y*i - 4 for p.
-4
Let f be (18/(-6))/((-30)/4 + 6). Solve -5*u - 3*s = -17, -5*u = -f*s - s + 7 for u.
1
Suppose -2*d + 3*d - 12 = 4*m, -4 = -d - 4*m. Suppose 8*z = d + 32. Solve -4*q - z*y = -19, y - 2*y = -4*q + 1 for q.
1
Suppose 3*g + c - 21 = 0, -5*g + 0 + 36 = 2*c. Let y(r) = 4*r - 3*r + 21 - 2*r - 3*r + 4. Let w be y(g). Solve 2*b = 2*a - 3 + 1, -5*a + b + w = 0 for a.
0
Suppose 0*y + 4*y - 120 = 0. Let a = y + 22. Suppose -2*v - 2*v = -a. Solve -b = 1, 8*g - 3*b + v = 4*g for g.
-4
Suppose -16*s + 13*s - 195 = 0. Let j = s - -85. Solve -4*n + v - 2 = 11, 0 = 4*v - j for n.
-2
Suppose -4*o + 5*s = -40, -2*o - 3*s - 6 + 4 = 0. Solve -o*m + m + 5*p + 37 = 0, m + 3*p = -12 for m.
3
Let s = -227 - -255. Solve 2*r - 5*u + s = 0, -2*u + 4 + 4 = 0 for r.
-4
Let g be 4/(-6) - ((-176)/6)/11. Solve -5*a - 3*y = -13, g*a + 2*a - 5 = 3*y for a.
2
Let f(n) = n**2 - 13*n + 19. Let k(u) = 10*u**2 - 2*u. Let d be k(-1). Let c be f(d). Solve -1 = 3*v - 2*w - c, w = -3*v - 3 for v.
0
Let g = 361 - 358. Solve 5*m + w + 26 = 0, -3*m = 2*m - g*w + 22 for m.
-5
Suppose -2*b + 5*b = 6. Let j = -9 - -13. Suppose 4*i + j = h + 1, 5*h = i + 15. Solve 5*o + 2*l = -b*l - 32, h*o = 4*l for o.
-4
Let v be (1/(2/2))/((-1)/127). Let b = -125 - v. Let g = -5 + 9. Solve x = -b*h + g, -6 = -5*x + 2*x for h.
1
Suppose 0 = -3*m + 4*z + 12, 0 = 5*m + 3*z - 1 + 10. Solve -5*n + 4*p - 29 = -9, m = 3*p - 15 for n.
0
Suppose 0 = -2*h + 26 - 40. Let j be h/(21/(-12)) - 22. Let t = j + 23. Solve 3*c + 2 - t = -3*a, -3*a = -2*c - 8 for a.
2
Let g(q) = 11 + 9*q - 4 + 7*q - 18*q. Let i be g(7). Let v = 48 + i. Solve 3*c - 15 = 5*t - v, -5*t = 2*c - 16 for c.
-2
Let r = -14 - -14. Solve -2*l - 4 = 4*d - r*d, 5*d + 35 = 5*l for d.
-3
Suppose -3*c + 8 + 4 = 2*r, -c = r - 5. Solve 2*u + 2*b = 4, -1 = -5*u + b - r for u.
0
Suppose 7*q - 8*q + 2 = 0. Suppose 3*m = -2*w + 17, -5*m + 7 = -0*w - q*w. Solve 5*c = c + m*s, 0 = 2*s + 8 for c.
-3
Suppose -3*k + 2*k + 22 = 5*d, 4*k - 8 = -4*d. Let u(o) = -o**2 + 7*o - 7. Let x be u(5). Suppose x = -s + 7. Solve d*b - s*a = 18, 0 = -5*a - 2 - 8 for b.
2
Let q = 5 + -46. Let r = -36 - q. Solve 4*z + 10 = -3*f + 2*z, -z = -2*f + r for f.
0
Let x be (188/(-282))/((-1)/((-3)/(-2))). Let l(z) be the first derivative of z**2 + 1. Let w be l(x). Solve 0*c - 4*b = -4*c - 4, w*b = c + 4 for c.
2
Let i = 12 + -10. Suppose 13 = 5*z + 2*g - i, 0 = -5*z - 5*g + 15. Solve -2*x - 6 = 3*b, 5*x + z = -2*b + 4*x for b.
0
Suppose 21*t - 4 - 416 = 0. Solve 15 = 5*u, -5*c + 2*u + 4 - t = 0 for c.
-2
Let d(r) = r**3 - 10*r**2 - 12*r + 13. Let j be d(11). Suppose -6*z = -j*z. Suppose 3*s + 9 - 60 = z. Solve -2*m - m + 5*x = -34, -4*x - s = m for m.
3
Suppose -2*g - 13 = -0*g - 5*v, -5*v = -25. Let x = -185 - -187. Solve 3*i - g = -t + x*i, -2*i = -t - 6 for t.
2
Let r be 190/45 + 5 + (-2)/9. Suppose 0 = r*m + 3*m - 36. Solve o - 11 = -m*z, 2*o - 4*z = -2*o - 20 for o.
-1
Let w = 5 - 5. Let m = 1 - -2. Let h be 4 + m/6*22. Solve 5*l = 5*d + h, -4*l = -w*d + 3*d + 16 for d.
-4
Let c be (-5)/15 + (-7)/(-3). Solve -3*a + c*d + d = -12, 5*a - d = 12 for a.
2
Suppose -4*t + 8 = -8. Suppose 5*w = -5 + 30. Solve -t*y + 0*y = 5*m + 21, 0 = -4*m + w*y - 25 for m.
-5
Let a be (6/(-4))/((-15)/(-20)). Let x(d) = -d**2 - 6*d - 6. Let g be x(a). Solve -4*f + g*n = 5*n + 21, 5*n = -15 for f.
-3
Let o(x) = -x**2 - 4*x. Let z be o(-2). Let p = 43 - 40. Suppose 0 = 10*n - 12 - 18. Solve -k + n = -4*v - 2, 0 = -z*k - v + p for k.
1
Let g be 99/12 - 8 - 7/(-4). Solve -3*m = -0*m - 5*t + 10, -g*m - t + 15 = 0 for m.
5
Suppose 4*i + 216 = -u, 3*i + 159 = -2*u + 2. Let l be (i/10 + 4)*-2. Solve -l*v + 3 = s, v + v - 4*s = 16 for v.
2
Let w be ((-3)/(-4))/(-6 - (-25)/4). Solve 14 - 2 = -w*a, 4*m - 2*a = 8 for m.
0
Suppose -2*a = d - 5, -a + 0*d - d = -5. Solve a = -f + z - 1, -f = 3*f + 5*z - 32 for f.
3
Suppose 0 = -4*a, -4*c + 4*a - 12 = -0*a. Let b be (-5 + -2 - 1)/(-1). Let x = c + b. Solve 3*z + 0*z + x*w - 34 = 0, -4*z - 3*w = -27 for z.
3
Suppose -26*a + 4*a = -22. Solve -g = -2*z - 2 + a, 0 = -2*g + 6 for z.
1
Let z be 5 + 2*(29 + 2). Suppose -z*j - 27 = -70*j. Solve -v = -3*y + 2*v - j, 3*y - 5*v = -13 for y.
-1
Let n be 0 + 3*(-4)/(-2*6). Let b(i) = 4*i**2 - 4*i + 1. Let j be b(n). Suppose -11 = -3*v + 2*v. Solve 10 = -2*l, -2*w + 4*l + j = -v for w.
-4
Let x = -3 + 7. Suppose 3*h = x*h - 3. Let q be h/(-15) - (-52)/10. Solve 4*j + q*k = 0, k = -k for j.
0
Let l be 22 - 27 - (-5 - 0). Suppose 39*q - 34*q - 45 = l. Solve 2*u = -t + 4*u + 6, -5*u - q = -t for t.
4
Suppose 18 = 7*w - 10*w. Let j be ((-18)/(-21))/(w/(-28)). Solve -j*o - 5 = 2*t + 7, 0 = -o - t - 5 for o.
-1
Let k(i) be the first derivative of -11*i**2/2 + 2*i + 7. Let g be k(-1). Solve -2*d - 3 = o, -g = 4*o - d - 1 for o.
-3
Let b(p) = p**2 - 15*p + 56. Let w be b(6). Solve 8 = -5*r + r - 2*j, 0 = 4*r - w*j for r.
-1
Let z be (4 + 0)/(30/15). Solve -2*h = 5*s + 4, z*s - 4*s - 4 = 0 for h.
3
Let r be (-8)/16 + 10/4. Let d be 1*6 + 1 + -3. Suppose r*z - 2*j + d = -2, -3*z = -4*j + 13. Solve -2*v - 4*i = 21 - z, 3*v = 4*i + 10 for v.
-2
Let j be (-2 + 23)*2/6. Let g =