- 25 = -9*m for d.
-1
Suppose 0 = 5*u + j + 82 + 40, u + 2*j + 28 = 0. Let r be (-17)/6 + 4/u. Let p be (r - 1) + 6 + -2. Solve 4*n - 19 = -5*c, c + p*c - 6 = -3*n for n.
1
Let c = 287 - 283. Solve -9*r + c*r = 0, -4*z - 20 = 3*r for z.
-5
Let v(h) = h**2 - 26*h + 71. Let m be v(23). Solve 5*b = 3*o + 3*b + 23, m*b - 33 = 5*o for o.
-5
Let k(j) be the third derivative of j**5/60 + j**4/8 + j**3 + 2*j**2. Let l be k(-5). Solve 3*z - l = 5*g + 7, 5*z + 5*g = -15 for z.
1
Let x be (-75)/(-3) - (1 + -1). Suppose -13*p + 8*p = -x. Solve 3*v - w - p = 0, 3*v = -3*w - 10 - 5 for v.
0
Suppose -92 = -10*w + 48. Solve 3*t - w = -2*j + j, 18 = 2*t + 5*j for t.
4
Let j = -80 - -78. Let o be (j/(-4))/(7/70). Solve 0 = 2*c - 4*t - 0*t + 14, -3*c - 20 = -o*t for c.
-5
Suppose 2*z - 5*p = -15, 64 = 3*z + 5*p + 24. Solve -3*m = z*a, 19 = -3*m + 4 for a.
3
Suppose 3*q + 20 = 7*q. Suppose 2*h - 2 = -x + 5*h, -3*x - q*h + 34 = 0. Let d(y) = 2*y**3 + 1. Let v be d(1). Solve 5*t = -5*f - 35, -f + x + 5 = -v*t for t.
-5
Suppose 16 = 4*h - 3*z - z, 3*h + z = 28. Solve h = -2*g + b, -2*g - b - 3 = 5 for g.
-4
Let k(a) = a + 3. Let z(w) = -4*w - 13. Suppose 0 = y - 1 + 3. Let h(o) = y*z(o) - 9*k(o). Let q be h(-1). Solve 6*i - 2*i - 15 = x, -4*i + 5*x - 5 = q for i.
5
Suppose -1 = -2*j - 3*l - 4, 0 = j - 2*l - 9. Solve j*a - 5*t - 10 = 0, -6*t + 7*t = 1 for a.
5
Let j(q) = 5*q - 2. Let n be j(1). Suppose -o + 2 = -n. Suppose -2*u + 18 = 4*f, o*f = 2*f + 3*u. Solve 0 = 2*d - 4*g - 12, -12 = -f*d - 0*d + 3*g for d.
2
Let n(v) = -v**3 + 6*v**2 - 6*v + 7. Let y be n(5). Let c be 1*16 - (y - -1) - 3. Solve -d + 3*d = -c, 4*x + 5*d + 9 = 0 for x.
4
Suppose -3*s = 2*s + 3*y + 595, -2*s = 5*y + 257. Let p = 120 + s. Solve 4*n - 4*m - p = -0*n, 5*m + 5 = 4*n for n.
0
Let c(n) = n**2 + 5*n - 22. Let b be c(3). Solve -q + s - 6 = 0, s + s = b for q.
-5
Let o = -255 - -257. Solve 3*j = -v + 5*j + 13, 0 = o*v + 3*j + 2 for v.
5
Let g be (34 - 22)/((-3)/(-2)). Suppose 5*n - 11 - 9 = 0. Solve n*a + g = -3*t - 0*a, -2 = -t + a for t.
0
Let r(u) = -13*u - 36. Let j be r(-3). Solve 0 = -4*s + 4*o + 28, -j*s + 0 + 9 = 3*o for s.
5
Suppose 4*v = 4*j - 28, -3*j + 10 + 21 = -5*v. Solve 0 = k - 4*u - 5 - j, 4*k + u + 23 = 0 for k.
-5
Suppose 3*o - 2*t = 189 - 195, 0 = -o - 5*t + 15. Solve 5*q + o*r + 4*r - 10 = 0, 0 = -5*q + r + 10 for q.
2
Let y(w) = -2*w**3 - 32*w**2 - 55*w + 19. Let x be y(-14). Solve -4*u - u + 4*j = 14, 9 = -2*u + x*j for u.
-2
Let r = -938 - -953. Solve 3*x + 5 = 4*t, 4*t + r = 7*t for x.
5
Let n = 129 + -130. Let a(g) = -g**3 - g**2 - 3*g - 1. Let c be a(n). Solve 0 = 5*t + m + 11 + 18, t + c*m = -13 for t.
-5
Let j = -491 + 498. Solve -5*c = z - 15, 2*c = 3*z - 4 - j for c.
2
Suppose -156*b = -181*b + 250. Let v(g) = g**3 - 5*g**2 - 6*g + 5. Let j be v(6). Let u be (27/6 - 3)*2. Solve -b = -3*z - u*t - 1, -z + 15 = -j*t for z.
5
Let c be 5 - 1 - (-8 + 12). Suppose c = -h + 2. Solve 0 = -h*x - 4*s + 28, 2*x - 5*s + 17 = -0*x for x.
4
Let a = -108 + 112. Suppose 35 + 1 = a*u. Solve 0 = -2*v - n - 6, -u = 4*n - 1 for v.
-2
Let f(y) = 33*y - 62. Let l be f(3). Suppose 5 = 3*g - 10. Solve -4*o - o + 4*m = l, -4*m = g*o + 13 for o.
-5
Let x be 10/4*8/5. Suppose -g = -4 + 3. Let t = 889 + -886. Solve x*o + g = 5*h - 3, -t*h + 3*o + 3 = 0 for h.
0
Suppose 3*y + 0*y = -3*i + 24, 0 = 5*y - 25. Suppose 19 = 2*k + i. Solve -5*p + 14 = -2*b + 4*b, k = -p - 4*b for p.
4
Suppose -5 = -4*u - 3*j + 25, 0 = 2*u - 5*j - 28. Let h = -21 - -22. Solve 0 = -2*f - 2*c + u + 1, f - c - h = 0 for f.
3
Suppose -3*j = 1 - 19. Let i be -1*2/(-2)*2. Suppose z + 4*l = -12, 0*z + 5*z = -l - 3. Solve n = i*u, -n = -z*u + u - j for u.
2
Let g be -12*(-4)/(-9)*3. Let r = 21 + g. Solve -o - 21 = -2*o + 4*m, r*o + 2*m + 5 = 0 for o.
1
Let h(y) = -y**2 - 3*y + 9. Let x be h(-4). Let n be (-50)/x*(-4)/8. Solve 0 = -2*a - 8, 3*r - 32 = -r + n*a for r.
3
Let b be 8/(-2) + -1*(-4 - 0). Solve b = -2*q + 4*c + 22, -3*q - 4*c - 11 = 6 for q.
1
Let n = -10 + 15. Let o be ((-4)/6)/((-6)/72). Solve -n*d + o = p, -d + p = -2*p + 8 for d.
1
Let m be 10/(-8)*(0 - -4). Let i = m - 0. Let b = 0 - i. Solve -y + 3 = b, 2*g - 4*y = 8 for g.
0
Suppose -m - 2*d + 24 = 0, -6*m - 10*d + 12*d = -116. Solve 0 = 3*s + b + 8, 9*b - 4*b + m = -5*s for s.
-2
Let k be 3/(-6)*(-1)/(-1)*-10. Solve k*m + l - 11 = 2*l, -2*m = -3*l - 7 for m.
2
Let h(g) = -5*g - 17. Let k be h(-9). Solve 4*o - k = -3*j, 0*o - 3*j = 2*o - 20 for o.
4
Let i = -10 - -12. Solve 0 = -2*h + 5*l, -4*h + 16 = i*l - 8 for h.
5
Suppose -8 = -6*s + 2*s, -5*v + 4*s = -2. Solve -3*z = -4*q - 11, z + v*q = -q - 18 for z.
-3
Let v(y) = y**3 + 9*y**2 + 17*y - 19. Let j be v(-8). Let l be (-1 + -4)*(j/(-35) + -3). Solve l*x - 6 = -2*p, -p = -5*p - 5*x + 13 for p.
2
Let b(m) be the first derivative of 8*m**3/3 + m**2/2 - 2*m - 4. Let x be b(1). Solve u + 8 = -5*c - x, 3*u + 2*c = -6 for u.
0
Let c be (59/3 + 5)*3. Let d = c - 69. Solve 2*h = 3*h + 3, -d*n - 4*h = -13 for n.
5
Suppose 23*i - 33 = 59. Solve q + i*p + 14 = 0, -3*p = -q - p + 4 for q.
-2
Let x be (-876)/12 - (1 + -5). Let o = -34 - x. Solve -5*u + o = 5*c, -3*c + 2*c - 2*u = -12 for c.
2
Suppose -164*d + 46 = -141*d. Solve -3*n - d*n + 2*s + 6 = 0, -3*n = -2*s - 2 for n.
2
Let b(c) = c - 9. Let k be b(13). Suppose -4*a = 5*m - 18, k*m - 6 = 2. Let f be 2/2 + 3 + -2. Solve 4*x - a*w - 2 = -0*w, 5*w + 29 = -f*x for x.
-2
Suppose 0 = -4*x - 8, 3*u + 2*x - 740 = 153. Suppose -5*s = 8*s - u. Solve 3*b = 5*j - 10, -5*b + 12 = 2*j - s for j.
5
Suppose 5*n - 5*h = 120, -4*n - 8*h + 108 = -6*h. Solve 5*k = 9*g - 6*g + n, -3*g - 14 = -2*k for g.
-2
Let p be -9 + 7 + 4*1. Suppose 0 = u - p*u. Let z be (u - 1 - -3)/1. Solve -3*y - z*a + 0*a = 5, 10 = 5*a for y.
-3
Suppose -2*g + 5*p = -16, -3*g + 2*g = p - 8. Let m be 1*g + (-40)/10. Solve -10 = 2*h - 0*f + 2*f, -m*h - 24 = 5*f for h.
-1
Suppose -k + d = -7, -5*k + d + 8 = -11. Suppose 0 = -2*f + 5*f - 9. Solve 3*v = 3*s + k, 3*s + s - f*v + 2 = 0 for s.
1
Suppose 3*o - s - 2 = 0, 5*o + 10*s + 30 = 5*s. Let i be (-3 - (o + 1))/((-24)/16). Solve -l - 8 = h + 2*h, -i*l + h + 5 = 0 for l.
1
Let v be (2/(-6)*2)/(29/(-261)). Suppose -r = v*r - 49. Solve -o + 2*i + r = 0, -3*i = -4*o + 5*o - 2 for o.
5
Let i be (2 + 2 - 3)*5. Suppose -3*n + 4*j + 0 - 14 = 0, -i*j + 7 = -2*n. Let p be ((-12)/n)/(1/14). Solve -4*w + p = 7*b - 3*b, -4*b = -2*w - 16 for b.
5
Let r be (-30)/4*(-4)/6. Suppose 5*a - 3 = -78. Let o be (-216)/a + 6/(-15). Solve 2*m = -4*l + 2 - o, r*m + 25 = -5*l for l.
-1
Suppose 110 = -5*w - 15. Let a be (-2)/(-6) + (-76)/3. Let q = w - a. Solve -f + 6 = 3*p, 2 = p - q*f - 2*f for p.
2
Let u = -714 - -718. Solve u*m - 31 = -3*q - 2*q, 3*m = 12 for q.
3
Suppose -4*x = 3*z + 3, 0*z - 3 = 4*z + 5*x. Let b = 380 + -377. Solve -3*p - z - b = v, 12 = 5*v + p for v.
3
Let m be -4 + (-1 - -5) + 0. Suppose m = -6*q + 2*q + 12. Solve 0 = 4*c + 2*x + 24, -12 = c + q*x - x for c.
-4
Let k be (-4 - 0) + 0 + 7. Solve -13 = q + k*w, q = 4*w + 1 + 14 for q.
-1
Let p = 16 - 15. Suppose -2*t = 6, p = 3*w - 5*t - 29. Solve -w*c + l = 7 + 16, 3 = l for c.
-4
Let o = 5 - -6. Let v(s) = s**2 - 10*s + 11. Let j(d) = -d - 1. Let c(b) = -2*j(b) - v(b). Let a be c(o). Solve -k + 4 = -t, -5*t - 4*k + 9 = -a*t for t.
-1
Suppose 0 = 10*t - 10 - 10. Solve 3*o - 8 = -2*x, 2*x = -2*o + 6 + t for x.
4
Let a(o) = 17*o + 192. Let w be a(-11). Solve 4 = -3*n + w*x, 2*x = -3*n - 5 - 6 for n.
-3
Let q = -78 - -80. Let m = 42 - 22. Solve -m = 5*g + 4*z - 0*z, q*g + 8 = 5*z for g.
-4
Let w = -636 - -648. Solve 2*z = -2*f + w, -3*z - 4*f + 25 - 3 = 0 for z.
2
Let r = 33 - 22. Suppose 2*y + 3*y = 0. Let h be (y - 3) + 66/r. Solve -4*u - 28 = 2*d, 2*d = -h*u - 0*d - 23 for u.
-5
Let h be (56/126)/((-4)/(-54)). Solve -t - 3 = -y, -4 - h = 2*t for y.
-2
Let a = 33 + -30. Suppose -a*y - 7 = -22. Solve 5*d + 10 = -n + 2*d, -5*n = y*d + 20 for n.
-1
Suppose 0 = -3*d + 4*d + 5*x - 13, 1 = -3*d - 5*x. Suppose -4*o - 44 = -0*o. Let n = d - o. Solve -3*b - b = -i + 13, -n*i = 5*b + 11 for b.
-3
Let j be (-3 + 5)/(-1 - -2). Solve -j*l - q = 11, 3*l - 16 = 4*l + 4*q for l.
-4
Suppose 0 = -14*c + 10*c + 16. Suppose d + 5 = c*h - 13, -14 = -2*d - 2*h. Solve -2*o = -d*g, -5*o - g + 35 = g for o.
5
Suppose -3*s + 7 - 2