 - 31 = -n for m.
5
Let x(s) = s**3 - 8*s**2 + 3*s + 6. Let b be x(7). Let g = 22 + b. Solve -3*v + 16 = -2*n, g = -4*v - 0*v + 5*n + 33 for v.
2
Suppose -3*s + 0*s - 2*x + 15 = 0, -10 = -2*s + 5*x. Let l = 2 + 9. Solve -s*u = -y + 4*y + l, -20 = -4*y + 2*u for y.
3
Let j be (-5)/5 + (1 - -2). Solve -2*w - 4 = 3*a - 2, -a + 10 = -j*w for a.
2
Let h = 12 + -24. Let g = h + 12. Solve -4*x - 5 = -i + 14, i + x + 6 = g for i.
-1
Suppose 5*u + 46 = -9. Let r(q) = -q + 2. Let i(d) = -3*d + 6. Let s(x) = u*r(x) + 4*i(x). Let h be s(0). Solve 0 = 4*w - 4*o, -2*w - h*o + 2 = -6*o for w.
-1
Suppose -5*l = 4*w - 18, 0 = -3*w - 0*l - 2*l + 10. Solve 0*s = -5*z - w*s + 20, -4 = -z - s for z.
4
Let l = 75 + -71. Solve 4*k + 5*p - 20 = 0, 3*k - p = l*k - 5 for k.
5
Let j = -7 - -13. Suppose 3*h = j - 0. Solve 4*t - 4*a + 8 = 0, -5*t + 5*a - 8 = -h*t for t.
-1
Let y be (-1)/(-2) + (-7)/(-2). Suppose -4*u = u - y*h + 4, 0 = -3*h + 3. Solve 5*i - 4*v + 28 = u, -3*i = -0*i - 4*v + 20 for i.
-4
Let x(y) = -2*y + 2*y + 1 + y. Let q be x(2). Suppose -5*z - r + 40 = 0, q*z - 31 = -6*r + 4*r. Solve -3*v - z - 8 = 3*p, 2*p - 18 = 5*v for p.
-1
Suppose -g = -4 + 2. Suppose 56 = i - 34. Suppose -4*w + g*r = -0*w - i, 4*w = -4*r + 72. Solve 5*a - w = 4*m, -2*a - m - 3 = -a for a.
1
Let g be ((-3)/6)/(2/(-8)). Suppose g*t + 3*x = 4*t - 3, -3*x + 3 = 0. Solve s = t*s - 5*b + 17, 3*b = 15 for s.
4
Let i(n) = 9*n**2 - 1. Let f be i(1). Solve -f = 2*b, -3*x + 3*b = 2*x - 27 for x.
3
Suppose -g + 5*g - 2*v = 18, 5*g - 2*v = 22. Solve h + 21 = 5*f, 2*h - g = -f - 2 for f.
4
Let x be (-14)/((-2)/(1 - 0)). Suppose -3*y + x = -2. Solve -h + y*b = 6, -4*b + 30 = 5*h + b for h.
3
Suppose -j + 15 = -6*j. Let l = j - -5. Solve -l*s + 5*o = 16, 0 = s - 3*o - o + 14 for s.
2
Suppose 7*s = 8 + 13. Solve s*a = 4 + 5, 3 = 2*n + 3*a for n.
-3
Let t be (-110)/(-8) - 5/(-20). Let v = 16 - t. Solve -4*b = -7*b + 15, v*b = -2*r + 6 for r.
-2
Let o(w) = -w - 3. Let n be o(-8). Suppose -2*g + 15 = n*l, 3*l - g - 9 = -0*g. Solve 3*p - 19 = 2*h, -7*p + l*p = h - 18 for h.
-2
Suppose 2*t + 0*t - 10 = 0. Solve 3*v = -x + 4, 3*x - t*x + 8 = -v for v.
0
Let h(s) = s**3 - 3*s**2 + 5*s - 2. Let g be h(2). Solve -2*y + 2*m - 2 = -4, -4*m = -2*y - g for y.
4
Let b be 5 - 2 - 6 - -5. Suppose 23 = 5*c + g, b*c - 2*g + 1 = g. Solve 4*o - 4 = -r + 7, -c = -2*o for r.
3
Suppose -4*m = 33*t - 30*t - 13, t = 3*m + 13. Let o(k) = 2*k - 1. Let h be o(3). Solve 3*q - 25 = -h*l, -3*l - 3*q = -t*l + 20 for l.
5
Suppose -3*h = -h - 38. Suppose 5*r - 6 - h = 0. Solve -3*z + z + r*y = -24, 20 = 2*z - 4*y for z.
2
Let c(l) = 4*l - 8. Let u be c(7). Solve -h + x = -3 - 4, 0 = 2*h - 5*x - u for h.
5
Suppose 0*u = 3*u - 3*q - 21, 3*u + 3 = -5*q. Let l = -30 + 37. Solve -3*v + d = -l*v + 20, -4*v + 20 = -u*d for v.
5
Suppose -4*l + 2*y = -8, 4*y + 4 = -2*l + 6*l. Suppose l*n - 7*n = 0. Solve n = -2*r + 5*t - 6, r + 4*t = -4*r + 18 for r.
2
Let r be ((-6)/15)/((-1)/10). Let z(y) = -y - 4. Let q be z(-4). Suppose 4*d + q*j - 74 = 2*j, 2*j = -3*d + 45. Solve -3*x - 13 = r*u, -5*x = u + u + d for x.
-3
Let y(z) = 2*z. Let h be y(1). Solve 0 = h*r - 4*l + 6, -r + 5 = 2*l - 0 for r.
1
Suppose 0*p = p - 3. Let y(z) = -2*z - 1. Let f be y(-6). Solve -d + f = 5*r - 11, -r = -p*d - 14 for r.
5
Let l be 16/(-72) - 281/(-9). Let j = l + -15. Solve 3*i = -3, -3*b + j = i - 2*i for b.
5
Suppose 16 = 5*x - 2*a - 2*a, -5*x = -a - 19. Solve x*h - 32 = 4*p - 0*p, -2*p = 2*h - 4 for h.
5
Suppose 26 = h + 5*y - 5, -5*h + 10 = -4*y. Suppose 2*l + h = 5*l. Let i be (2 - 0 - l)*-1. Solve -5*w = -1 + 6, i = 2*a - 3*w - 1 for a.
-1
Let j = -10 + 14. Let w(s) = 4*s - 1. Let n be w(4). Let l be n/2 - (-1)/2. Solve j*g = 2*x, -2*g + 3*x = -4*g + l for g.
1
Let p = 12 - 9. Solve -2*w - 5 = -2*f + p, -3*f + w = -6 for f.
1
Suppose -20 = -4*o + 2*o. Suppose 0 = 4*u - 16, -3*d + 3*u + 13 = 2*d. Solve -d*p + o = -5*l, 0 = 4*l + 5*p + 11 + 6 for l.
-3
Let y(d) = -d**2 + 9*d + 16. Suppose 0*u + 2*u = 16. Let l be y(u). Solve 0*n - 3*m = 5*n + l, 0 = n + m + 6 for n.
-3
Let r(u) = u**2 + 2*u. Let f be r(-2). Suppose -4*y + 0 + 8 = f. Solve -3*l - 2 = 2*k - 0*l, 0 = 2*k - 5*l + y for k.
-1
Suppose -2*q = -4*w, q - 6*q = -w. Suppose 0*x - 6 = -2*i + 4*x, -i = -3*x - 3. Let h = i - q. Solve -3*j - n + 1 = 11, h*j - 4*n = -35 for j.
-5
Let o(t) = -t**3 + 3*t**2 + t - 3. Let q be o(3). Let k be (-1)/3 + 294/18. Suppose -2*x = 2*x - k. Solve -5*u - 2*v = 14, 0 = 2*u - q*v - x*v - 4 for u.
-2
Suppose 0 = -5*g - 25, -5*y = -g - g - 90. Let u be y/(-6)*3/(-2). Solve u*o - 14 = -3*w, -4*w + 1 = -2*o - 3 for w.
2
Let q(z) = -z**2 + 3*z + 4. Let d be q(3). Suppose -2*n = -5*o - 0 - 7, -4*n + 44 = -4*o. Solve -n = -3*h + i, -d*i + 0*i - 28 = -3*h for h.
4
Suppose d = 4*d - 9. Solve 2*r - 3*g = 2, 3*r - d*g + 8 = -4*g for r.
-2
Let i = -3 - -6. Suppose -3*t + 4*s + i = 0, -t - 2*t + s = -3. Solve -5*q - t = 3*j, 0 = q - 3*j + 6*j + 5 for q.
1
Let p(w) = w**3 + 6*w**2 + 5. Let k be p(-5). Suppose s + 0*s + a = k, 92 = 4*s - 3*a. Solve 5*q - 2*n = s, -q + 3*n + 1 = 4*n for q.
4
Let w(o) = 4*o - 6. Let s(u) = -8*u + 13. Let y(t) = 6*s(t) + 13*w(t). Let i be y(3). Let a = i + -9. Solve -l + a*j = -5 - 4, -4*j - 8 = 0 for l.
3
Suppose -6 = 4*n - 3*r - 18, 4*n + 4 = -r. Solve n = -0*m - 5*m + 5*c, 2*c = -2*m for m.
0
Suppose 2*s = -4*h + 1 + 13, 0 = -5*h + s + 14. Let x be (-7 - (-9)/h)/(-2). Solve -4*m - 5*o + 4 = 0, -x*o = 2*m - 5 + 3 for m.
1
Let k(r) = r - 6. Suppose -2*y = -5*x + y + 47, 2*y + 43 = 5*x. Let g be k(x). Let f be -1 - (g + 4/(-2)). Solve 8 = -2*c - 2*w, f = 4*c - w - 3*w - 16 for c.
0
Let j(q) = -q + 8. Let y be j(6). Let t be 5 + y*(-1 + 0). Solve -5*i - 3*g = 1 - 11, 10 = -t*i - 5*g for i.
5
Let k(q) = 2*q**3 - 2*q + 2. Let o be k(1). Let i = -1 + 1. Solve 4*y + 7 = 5*p, y + o*p - 1 + 6 = i for y.
-3
Let b(d) = 7*d**3 - 3 - d**3 - 7*d**3 - 4*d - 3*d**2. Suppose -5*x = 4*p + 8, 2*p - 1 = 4*x - 5. Let v be b(p). Solve 0 + 5 = -3*g + a, -a = 3*g + v for g.
-1
Suppose 2*t + 2 - 38 = 0. Solve 3*o + 4*v = -21, -5*o + 0*v = v + t for o.
-3
Suppose o + 8 = t - 0*o, 4*o + 20 = 0. Suppose 3*k - 39 = -2*k + t*g, 2*g = -6. Solve 2*q = -4*a + k, 2 = 2*a + 4*q - 4 for a.
1
Let w(l) = 5*l + 12. Let f be w(-5). Let i = 15 + f. Solve i*p + 4*m = -2*p + 4, p - 5*m + 29 = 0 for p.
-4
Suppose -a + 3*a = 0. Suppose 43*n = 38*n. Solve 2*s + 3*r - 1 = n, a*r = -5*s + r + 28 for s.
5
Let h = 2 - -92. Suppose -o + 4*o = 18. Let y be h/18 + o/(-27). Solve -5 = -y*p - 4*x - 46, 2*x = 3*p + 7 for p.
-5
Let q = -47 + 55. Solve 0 = -4*v + q, 4*c - 4*v = -13 + 1 for c.
-1
Let a = 36 + -33. Solve -3*m + 27 = a*o, -1 - 1 = 2*m - 2*o for m.
4
Let h be ((-10)/(-12))/(1/6). Solve 2*j = 2*v, -h*v = 2*j - 0*j for j.
0
Suppose -2*p - 40 = -48. Solve -4*a + a - 16 = -p*u, -4*a + 12 = 3*u for a.
0
Let s = 2 + 1. Suppose -39 = -4*g - s*w, 3*g + 0*w - 3 = 3*w. Suppose 5*p + 3 = 23. Solve -j = -5*y - 25, j + g = -p*y - 5 for j.
5
Let i(j) be the second derivative of 1/2*j**2 + 4*j - 1/12*j**4 + 11/6*j**3 + 0. Let k be i(11). Solve 0 = 4*n, n - 3 - k = 2*m for m.
-2
Suppose 3*x - 28 = -x. Solve 4*d = 5*b + 25, -4*d - 4*b = -9 - x for d.
5
Suppose 4*d + 0*j - 43 = j, d - 3*j = 8. Let r = -11 + d. Solve r = -4*u + 20, -2*s + 1 = 2*s - 3*u for s.
4
Let u(f) = -2*f - 6. Let c be u(-6). Let t be (-9)/(-6) - c/(-4). Solve -5*r + l - 4*l - 12 = 0, -t*l = -3 for r.
-3
Suppose -4*x = -2*x - 4. Let q be (-3 + x + -14)*-1. Let t be ((-3)/2)/(q/(-20)). Solve -6 = 2*c - 3*g, -t*g + 2 = -6 for c.
3
Let q be (-4)/(-6) - (4/3)/(-1). Let u = 0 - -2. Solve -2 = 4*i - u*n, q*n + 3 - 4 = 5*i for i.
1
Let g(p) = p**3 + 4*p**2 + 3*p + 1. Let a = -1 - 1. Let t be g(a). Solve 5*y = -z + 3*z + 23, t*y = z + 13 for y.
3
Suppose -4*m + 9 - 1 = 0. Suppose 9 = -m*b + 5*b. Let d be (3/6)/((-2)/(-76)). Solve l - 5*y = 20, -b = -4*l - 4*y - d for l.
0
Let k(b) = -b**2 - 10*b. Let i be k(-10). Let c = i + 2. Solve -a = a - 2*x, -2 = c*x for a.
-1
Let y = 3 + -1. Suppose 4*m = 17 + 3. Solve z - 3 = 2*n + y*n, 5*n = m*z for n.
-1
Suppose -j = -7*j. Solve 2*v = -4*u - 14, u + 5*v = -j*u + 1 for u.
-4
Suppose 0*s + 4*s - 24 = 0. Suppose -4*z + 4*o = 8, -z + 4*o = -s*z + 35. Solve -4*w - z = 2*h - 7, 0 = 5*h - 3*w + 3 for h.
0
Suppose -