 + n for m.
-2
Suppose 0 = z + 108 - 111. Solve -3*b + 2*b = 2*k + 4, 4*b = z*k + 6 for k.
-2
Let n = 10 + -17. Let u = -4 - n. Suppose 12 = 3*d - 4*f, 3 = -3*d + 2*d - f. Solve 5*h + 4*y - 4 = d, 0*h + u*h - 2*y = 20 for h.
4
Let w be (86 - 86)/(-3*1). Solve 2 = -3*t + 2*n - 1, -5*t - n - 5 = w for t.
-1
Let f(m) = -m**3 - 6*m**2 - 3. Suppose 5 + 1 = -w. Let r be f(w). Let g be (-1 - r - 4) + 6. Solve -v - 25 = -g*l - 0*v, 0 = -4*l - 3*v + 5 for l.
5
Let p be (0 + -1 - 0)*-1 - 39. Let q = p + 46. Solve -3*t + 4*r = -13, t = 2*r + 3*r + q for t.
3
Let c be (48/(-64))/(-2 + 58/32). Suppose -4*l = r - 5 + 2, 0 = -l - r - 3. Solve c*h - 8 = 5*n - n, l*h = -4 for n.
-4
Let i = 11 + -8. Let a be 8/i*(-9)/(-12). Suppose -4*w + 2*w = a*g + 8, 3*g - 8 = 2*w. Solve -3*o + g*o + 5*v - 19 = 0, -28 = -4*o - 4*v for o.
2
Let k be (6*(-7)/28)/(1/6). Let w be (-30)/k + -2 + 8/3. Solve -5*f + w*z - 10 = 10, z = -5*f - 20 for f.
-4
Let x be (-25 + 0)*(-8)/(-20). Let r be (x/(-20))/((-1)/2). Let h = 1 + r. Solve -3*g + h*d + 5 = 2*d, -5*d + 7 = 2*g for g.
1
Let v(x) = -x**2 + 25*x - 19. Let i be v(24). Suppose -3*r + i = -1. Solve 4*g + 3 = 5*n, g - 5*g = -r*n + 6 for g.
-2
Let a = 1 + -9. Let m = a - -15. Solve -3*h = -5*p - m*h + 14, 2*h = -2*p + 6 for p.
2
Let o(p) = 10*p + 30. Let m(i) = 29*i + 89. Suppose 0 = -3*k + 25 + 26. Let l(j) = k*o(j) - 6*m(j). Let d be l(-11). Solve 3*w = 3*n - 0 - 3, 4*w + d = 0 for n.
-4
Suppose -2*j + 0*y + 24 = -5*y, -14 = -3*j + 2*y. Let b be -1 - j*9/(-6). Solve -x + 3*r = -r + 8, 0 = 5*x - b*r + 4 for x.
0
Let g(m) = 4*m**3 - 1. Let c be g(1). Suppose 0 = -579*f + 637*f - 406. Solve -2*z + c*t = -21 + f, -4*t = 16 for z.
1
Suppose 3*l = 5*n - 9 - 10, -5*n = -10. Suppose 0 = 50*y - 86 - 114. Let s be y/l*33/(-22). Solve 1 = -0*d - 3*d + o, o = 4*d + s for d.
-1
Let l = -1064 + 1067. Solve -h = -0*g - l*g + 4, -4*g - 5*h = -37 for g.
3
Let r = 879 + -877. Solve -m = -r*o + 13, 0 = 5*o - 8*m + 4*m - 37 for o.
5
Let c = -64 + 69. Solve -o - 3*v = -2 + 3, c*o + v - 9 = 0 for o.
2
Suppose 4*m + 3 = -9. Let t be 0 + 0/(m + 1). Suppose t = -2*g - 4*p + 26, p - 4 - 1 = 0. Solve -v + 0*v = 0, -g = -c + 5*v for c.
3
Suppose -36 = -6*s - 18. Suppose 13 = 2*v + s*p - 16, 0 = -v - 5*p + 32. Solve -5*f + 5 = -4*n, 2 = -5*f - 3*n + v for f.
1
Let t be (18/(-30))/(2/(-10)). Suppose 4*l - y - 4 = t*y, -2*y = 2*l + 2. Solve 8 = -2*w + 4*g - g, 4*w + 3*g - 20 = l for w.
2
Let l = 1814 + -1810. Solve 3*d - 21 = -4*k + 4, 0 = l*d - 5*k + 8 for d.
3
Let m be (-1 + 4/12)/(3/18). Let p be (-103)/m - (-36)/(-48). Solve -2*n - 5*c = p, n = 4*n + c + 18 for n.
-5
Let h be -1*(14/35 - 268/20). Solve 5*y = -t - 2*t, h = 5*t + 4*y for t.
5
Let i = 246 + -165. Let d be (2/(-2))/((-27)/i). Solve 3*c = -4*x - 8, 0*c - 37 = -d*c + 5*x for c.
4
Let w be ((-1)/(-3))/((-6)/(-144)). Suppose 0*y - w = -2*y. Solve 0 = 2*i - 10, i = y*s + 2*i - 21 for s.
4
Suppose 3*c - c = 10. Let z = -31 - -31. Suppose -9 = 3*k - z*k, k + 11 = 2*q. Solve -4 - 4 = 3*t - c*r, -3*t - q = -4*r for t.
4
Let i(p) = p**3 + 7*p**2 + 4*p - 6. Let x be i(-6). Suppose 4*z = 6 + x. Solve 30 = -3*c - 8*s + z*s, -5*c - 34 = 3*s for c.
-5
Let d = 795 + -792. Solve -2*p = -6*p - 5*t, d*p = t for p.
0
Let d be 2 + -1 - (11 - (-180)/(-15)). Solve -3*w = -5*w + n - d, -4*w = 5*n - 10 for w.
0
Let y be 3 + ((3 - 1)*3 - -2). Suppose -10*k + y*k = 27. Solve -5*g = -4*q - 25, -5*q + 2*g = -0*g + k for q.
-5
Let g = -5 + 7. Let d(t) = -6*t - 60. Let a be d(-10). Suppose a = 5*s + 26 - 36. Solve 0 = g*r - 5*p, -4*p = s*r + 23 - 5 for r.
-5
Let m(r) = 45*r**2 - 17*r**2 + 1 - 5*r + 0*r + 2*r. Let n be m(1). Solve -5*l = -4*h + 8, 5*l + n = -0*l - 2*h for l.
-4
Let j = 253 + -251. Solve -2*v = -w + 6*w - 7, -3*w = -5*v + j for v.
1
Let s(w) = -6*w - 32. Let z(p) = 11*p + 65. Let k(u) = 5*s(u) + 3*z(u). Let j be k(-10). Solve 0 = -4*d + 4*v + 32, 9 = 5*d + j*v - 1 for d.
5
Let j(d) be the first derivative of d**4/4 + 8*d + 17. Let n be j(0). Solve -2*i + h = 5*h + n, 0 = 5*h + 5 for i.
-2
Suppose -9*w - 64 = -91. Solve -2*m - w = 5*y, 5 = -4*m + 5*m - 4*y for m.
1
Let r(i) = -i**3 + 8*i**2 - 11*i + 15. Suppose 4*c - 2*g - 32 = -0*g, 0 = c - 4*g - 22. Let t be r(c). Solve 9 = -5*b - 2*z + 4*z, -4*b - t = 3*z for b.
-3
Suppose -4*h + 11 = 3. Suppose -k + 0 = -h. Let s = 3 + k. Solve 0 = -5*r - n + 6*n + 35, 3*r = s*n + 25 for r.
5
Let v be (-5)/(-2) - (-1 + (-6)/(-4)). Suppose 0 = k - 5*k - v*k. Solve -3*c + k*c = b + 1, -3*c = 6 for b.
5
Suppose 2*k + 97 = 5*s, -62*s - 4*k = -59*s - 53. Solve 0 = -4*y - j, 2*y - 5*j = 3*y - s for y.
-1
Let c = 102 + -99. Suppose -4*h = -20, 4*h - c*h + 3 = 2*z. Solve 0 = -4*x + 3*v + 28, 16 = z*x - 5*x - 5*v for x.
4
Let i(a) = -a**3 - 4*a**2 + 5*a + 2. Let h be i(-5). Solve -16 = 2*m + h*m - 4*o, 0 = 2*o + 2 for m.
-5
Suppose 47*t = 42*t + 210. Let c = t - 26. Solve 0 = k, k - 4*k + c = -4*p for p.
-4
Let y(x) = 14*x - 4. Let p(t) = -5*t + 1. Let a(z) = 17*p(z) + 6*y(z). Let m be a(-8). Let q be 99/54 - m/(-6). Solve 4*b + 17 = -5*w, -7*b - 15 = -q*b for w.
-1
Suppose -5*w = -11 - 4. Let r be ((0/6)/(-4))/(-1 - -4). Solve r = -4*b + 3*n + 12, -w*b + 4*b + 2*n + 8 = 0 for b.
0
Suppose 2*x - 5*x - 4*w = -41, 0 = -5*x - 3*w + 50. Let m = -178 - -183. Solve 5*y = 4*l + 1, -2*l + 4*l - x = m*y for l.
-4
Suppose -b - 5*v + 15 = 0, 5*v + 5 = b + 20. Let d be (272/(-51))/(1/3). Let q be 2/(-4)*(d - -12). Solve b = q*w + 5*a + 31, 2*a + 5 = 2*w + 1 for w.
-3
Let i be 2/((-2)/(-3)) - -1. Suppose -2*m + 4*v - i = 0, -v = m - 6 + 2. Solve 2*w = -g - 1, -w + 15 = 4*g - m for w.
-3
Let m(r) = r**3 - 9*r**2 + 3*r + 22. Let d be m(8). Let j be (d/30)/((-1)/5). Solve 4*c - 6 = -2*z, 4*c + 0 = -3*z + j for z.
-3
Let k be ((-6)/(-4))/(2 + 10/(-8)). Let z(b) = b**3 - 3*b + 3. Let y be z(k). Solve y*m - 13 = 2*n, 2*m = -2*n - 3*m + 17 for n.
1
Let q(w) = -20*w - 256. Let m be q(-13). Solve 4*a - m*g = 0, 2*g - 5*g = -2*a - 4 for a.
4
Let j(k) = -16*k - 3. Let g be j(-2). Let x = g - 23. Suppose -3*u = -u - x. Solve -3*n = -u*v, 4*v + 8 = -2*n - 22 for n.
-5
Suppose -u + 7 = -0*n + n, -3*u + n + 1 = 0. Solve 5*v + u*k + 15 = 0, k = -0*k for v.
-3
Suppose 25 = -56*s + 58*s + 5*y, -2*s - 3*y + 19 = 0. Solve -p - 3*n = -17, -2*n + 30 = s*p + 2*n for p.
2
Suppose -2 - 7 = -3*u. Let l be (1 - 241)*-2*5/10. Suppose 11*i = 101 + l. Solve -d = -5, a + 3*d - i = -u*a for a.
4
Let s(j) = -j**3 - j**2 + 4*j - 1. Let i be s(-3). Let p = -2 + i. Solve 3*t + p = 4*d - 6, -5*t - 15 = 0 for d.
0
Let x = 28 + -20. Let s(o) = 2*o - 14. Let q be s(x). Solve -q*g = -3*g, 0 = 3*j - 2*g - 15 for j.
5
Suppose -4*w = 2*m - 21 - 23, 0 = -3*w - 3*m + 36. Suppose -2*u + w = -0. Solve 21 = -t - u*y, t - 3*y - 31 = -3*t for t.
4
Let s(x) = x**3 + 18*x**2 + x + 7. Let z be s(-18). Let u = z - -14. Suppose -2*q + 115 = u*q. Solve y - 3*y - 23 = -5*v, v = 5*y + q for y.
-4
Suppose -3 = 5*x - 4*c - 21, 0 = -5*x + 2*c + 14. Solve -x*k = 3*o - 4*k + 2, k = -3*o - 8 for o.
-2
Suppose 4*p - 3 = p. Suppose 4*z - p = k, 3*z + 2*k + k = 12. Solve -n + 5 = 2*o + z, 2*n + 19 = 5*o for n.
-2
Suppose -7*w - 13*w = -400. Solve -f + 0*f = 4*q + w, 15 = -3*q for f.
0
Let f(j) be the second derivative of -j**3/6 - 2*j**2 - 2*j. Let p be f(-4). Let h = -172 - -176. Solve p = -2*u + 4, 22 = 5*s + h*u - 6 for s.
4
Let g = 62 - 62. Suppose -h - 3 = -x, g*x - h - 19 = -5*x. Solve 0 = -4*p - 0*p, x*s - 8 = -2*p for s.
2
Suppose 2*q = 7*q + 140. Let b be (4/14)/((-4)/q). Let o be 9/6 + 7/b. Solve -3*m = -t + 1, -3*t + o*m + 1 = -2*t for t.
1
Let p be (-64)/48*(-3)/2. Solve -p*n + 3*j = -15 + 5, 0 = 2*n + j + 6 for n.
-1
Suppose -9*u - 11 = -20*u. Solve -5*z - 14 = v, -u - 5 = 2*z for v.
1
Suppose 2*i = -7 + 25. Suppose 4*d - 3 = i. Suppose 4*c - d*v = -v + 54, -2*c = -5*v - 47. Solve 3*y = h + c, -3*h - y = 4 - 1 for h.
-2
Let s be ((-207)/92)/(1/(-4)). Solve -5*i + 5*o - 7*o + s = 0, 5*o = -4*i + 14 for i.
1
Let x = 2436 + -2433. Solve 2*h - 18 = 2*f, -x*h + f - 16 = -7*h for h.
5
Let h be (-16)/(-20)*10/4. Let k be -1 + h/1*2. Let g be 3/(-27) + (-652)/(-36). Solve k = -2*r + 13, -2*r + g = 2*n for n.
4
Let k be 13/(78/36) + -3. Solve -5*o = 10, -3 - 8 = -c + k*o for c.
5
Suppose -4*l = -87 + 99. Let q be (1 + 1)*-1 + 26 + l. Solve 5*o - 4*o +