 - 1 for m.
4
Let b(s) = -s**3 - 13*s**2 + 32*s + 40. Let r be b(-15). Suppose v + 5*i = -v + 54, 2*v - i = 54. Solve 2*c - v + 7 = 2*u, -5*c + r = 3*u for c.
5
Let u(o) = -o**2 - 49*o - 323. Let g be u(-41). Solve g*w + 3*n = 19, 3*w = w - n + 8 for w.
5
Let y = 62 - 59. Suppose 0*a - 4*x - 13 = -y*a, 0 = a + 4*x + 1. Solve 0 = 2*l - 3*t, -2*l - 1 = -5*t + a for l.
3
Let p = -2 + 7. Suppose a - 3 - 5 = -4*f, -a = -2*f + 4. Suppose f*z + 5*h + 1 = 16, -4*h = -3*z - 12. Solve z = p*l - 3*n + 3 + 3, -n + 2 = 2*l for l.
0
Suppose 306 = -0*w + 6*w. Let f = 54 - w. Solve 6*l - 1 = f*l - 2*v, -3*l - 4*v = -11 for l.
-3
Suppose 4*r = 3*w - 6, -r + 3*w + 0*w - 6 = 0. Solve 0 = 4*x - 5*f + 11, -x = -r*x + 2*f - 7 for x.
1
Let a be 51/(-119) + 92/(-14). Let q be (((-21)/(-4))/a)/((-6)/120). Solve 4*y - l = -q, -2*y + 6 = 3*l + l for y.
-3
Let g = -13 + 26. Let b be 0/(1 - (-1)/((-5)/10)). Solve 0 = -2*c + 3*x + g, b = c + x - 4*x - 14 for c.
-1
Suppose -2*w + 1 = -w. Solve -2*q - 12 + 9 = 3*j, j + w = 4*q for q.
0
Let z(t) = 2*t**2 - 17*t + 8. Let i be 8 + 0/(-9)*2/6. Let u be z(i). Solve u*d + 3*d - 4*m + 17 = 0, 5*d + 2*m = 15 for d.
1
Let q(w) = -w**3 - 9*w**2 - 7*w + 5. Suppose -7 = -4*j - 39. Let d be q(j). Let m be 1 + (-3 - d) + 2. Solve 0 = -m*r + r + 4*i - 18, -16 = -4*i for r.
-1
Let v(y) = -y**3 + 8*y**2 + 2. Let u be v(7). Let w = -31 + u. Suppose -3*o = 2*o - w. Solve 2*i = 2*a + 10, -2*i + 2*a - 6 = o*a for i.
1
Let v be 10/10 + 10/2. Let r(o) = -o**3 + 7*o**2 - 5*o + 13. Let b be r(v). Solve -5*d = 4*s - b, -2*s + 0*s + 3*d = 7 for s.
1
Suppose -5*u = -9*u. Let l(j) = j**3 - j + 4. Let t be l(u). Suppose 7*z = t*z + 15. Solve -z*g + 32 = -4*d, 4*d - 2*d = -4*g + 10 for g.
4
Let g(n) be the second derivative of n**4/12 + 5*n**3/6 + 4*n**2 - 5*n. Let k be g(-9). Suppose 5*i = i + k. Solve v + 19 = 5*w, 3*v + i = w - 4 for v.
-4
Let v = 168 - 166. Solve 2*m - 5*r + 8 = 0, v*m - 2*r + 3 = -5 for m.
-4
Suppose 0*a - 3*a - 18 = 0. Let l(p) = 20*p - 21 + 13*p - 37*p. Let q be l(a). Solve -q*w + 2*w = 1, 3*w + 2 = -f for f.
1
Let z = 3 - 1. Solve l - d + 2 = 0, 4 = -z*l + 6*d - d for l.
-2
Let v = -32 - -41. Let u(s) = -s**2 + 8*s + 10. Let h be u(v). Suppose 9 = t - h. Solve 3*l - l = -5*r - t, -5*l = -2*r - 33 for r.
-4
Let t = 2 - 2. Let j be 15*(t + 2*(-4)/(-24)). Solve -4*s + 20 = -j*v, 0 - 4 = v + 4*s for v.
-4
Let u = -9 + 11. Suppose 7*w = 11*w - w. Suppose -6 + w = -u*i. Solve d = -3*n - 1, i*d + 2*n + 7 - 18 = 0 for d.
5
Let c = 44 - 43. Solve 5*t + c = -3*f - 1, -4*f - 10 = 3*t for t.
2
Let q(h) = -h**2 + h + 2. Let b be q(0). Let x be (-6 - -3)*(-1)/(-3). Let g = x - -9. Solve -f + b*u = -3*f - 18, 0 = 2*u + g for f.
-5
Let r(p) = 3*p**2 - 21*p + 6. Let q be r(7). Solve -3*l - 2*t + q = 1, -4*l = -2*t + 12 for l.
-1
Let t = 9 + -7. Suppose 0 = c + t*c. Let z be ((-10)/(-4))/(90/108). Solve -7 = -y - z*a, c = 2*y - 5*a + 19 for y.
-2
Suppose -6*s - 59 = -161. Solve -3*j - s = 4*g, 4*g = 3*g + j + 1 for g.
-2
Let c be 4 - 39/9 - 10/(-3). Suppose 7*g - c*g - 33 = -5*m, 29 = 2*g + 5*m. Solve -2*f + 3*i = g*i - 5, 0 = -4*f + 5*i + 13 for f.
2
Let c be (-110)/(-44)*16/10. Suppose 0 = -c*i - 0*i. Solve i = 4*t - 5*k + 3, -5*t = -2*t - k + 5 for t.
-2
Suppose 10*o = 6*o + 12. Let r(g) = g + 5. Let p be r(-5). Let y = 5 - p. Solve -17 = -w - o*d, y*d = -8 + 28 for w.
5
Let a(j) = 3*j**2 + 4*j - 3. Let p be a(1). Suppose -4*z = 2*s + 4, -10 = 5*s + 6*z - z. Let l = s - -2. Solve 0 = u - 2*r - p, -u + l*r = r + 8 for u.
-4
Let f be 3 - -3 - (1 + 2). Let h(r) = -r**2 + 7*r - 10. Let w be h(f). Let x be w/(-1) - (8 + -12). Solve -5*y - x*i + 19 = 0, 5*i + 2 = -13 for y.
5
Suppose -3*f + 2*x + 0 = -82, 0 = 5*f - 2*x - 142. Solve -4*w - o + 15 = 0, -5 + f = -5*o for w.
5
Let h(d) = -d**3 - 5*d**2 - 2*d - 6. Let u be h(-5). Solve 2*g = -u*t - 20, -4*t + g = t + 11 for t.
-3
Let h be 5 + 0 - (2 + -3). Let k be h + (-5)/(15/9). Suppose 5*r = k*f - 14, -3*r - r - 10 = -2*f. Solve b - 2*b = 4, 4*x + f*b = -12 for x.
0
Suppose 121*v - 117*v = 472. Let q = v + -115. Solve -2*u = -3*b - 9, u = q*b + 8 + 4 for u.
-3
Let w(g) = -g**3 - 2*g**2 - 6*g - 7. Let a be w(-2). Solve -a*k = -2*p + 9, p + 6*k = 4*k for p.
2
Let y(l) = -12*l - 280. Let u be y(-25). Solve r + 6*o - 2*o = -4, 5*r - 3*o + u = 0 for r.
-4
Let z = 119 - 113. Let r be (z/15 - (-4)/(-10))/2. Solve -5*l + r*l + 31 = 4*a, 0 = -2*l - 5*a + 26 for l.
3
Suppose -4*o + 22 = -38. Solve 5*j + 5*b + 20 = 0, -2*j - o = 2*j + 3*b for j.
-3
Let c(b) = b**2 + 19*b + 3. Suppose 2*d + 3*d + 2*f + 91 = 0, 2*d - 4*f + 46 = 0. Let g be c(d). Solve i - 4 = 0, g*a = 6*a + 4*i - 10 for a.
-2
Suppose 5 = -4*u + 29. Suppose r - u = -r. Solve -4*n - r = -0*v - v, -4*n + 2*v + 2 = 0 for n.
-2
Let o(r) = -r - 3. Let s be o(-7). Let h(m) = 5*m**3 - 3*m**2 + m + 1. Let v be h(1). Suppose 0 = -0*n - v*n + 64. Solve -s - n = 5*y, 23 = -a - 5*y for a.
-3
Let v be -3 + (4 - 0) + 7. Let p = -41 - -33. Let f = v - p. Solve 2*h - 14 = -h - 4*s, -4*h - 4*s = -f for h.
2
Let k(p) be the first derivative of -p**2 + 10*p + 9. Let j be k(5). Solve -q + 2*q - 3*x + 1 = j, 7 = 3*q - 4*x for q.
5
Let n = -79 - -79. Suppose 12 = k + k. Let m = 73 + -61. Solve 2*b = -4*p + k, 4*b + n*b - m = p for p.
0
Let m = -88 - -92. Solve -6*j - m*b - 8 = -2*j, 1 = -b for j.
-1
Let r = -124 + 124. Suppose -4*v - t = -8, 2*v + 2*t - 4 = -r*t. Suppose 4*g - 5 - 11 = 0. Solve -g*w + 1 + v = -3*p, -5*w - 4*p - 4 = 0 for w.
0
Suppose -13 + 13 = -i. Let o(x) = -x**2 - 4*x + 3. Let n be 6/(18/(-4) - -3). Let y be o(n). Solve y*d - 5*w = 10, d - 4*w = -i*d + 1 for d.
5
Suppose -5*s - 35 = -5*y, 0 = -s + 20 - 24. Let w be 4*-1 + 38 + 2 + -5. Suppose -3*d + 2*d = -5. Solve -14 = v + y*f, -w + 2 = -4*v + d*f for v.
1
Suppose -102*h = -100*h - 52. Solve -2*l + 3*x - 19 = -6*l, 5*x = -l + h for l.
1
Let y = 354 + -350. Solve -y*b + 16 = 0, 0 = -h + 4*b - 24 + 5 for h.
-3
Let k(d) = -d**3 - 4*d**2 + 4*d + 16. Let n be k(-4). Let j be (-4 - -3)*3 - -3. Solve -2*p = -j*p - 5*x, -3*x = n for p.
0
Suppose 2*d - 50 = -w, 4*d - 132 = -d - 6*w. Solve 4*v + v - 4 = -4*q, q = 5*v - d for q.
-4
Let l = 23 + -21. Suppose 2*y + l*y - 5*q = -12, 0 = 2*y - 2*q + 4. Solve 0 = y*o + 4*i + 2, -18 = 5*o - 3*o - 4*i for o.
-5
Let i(p) = 6*p**2 - 228*p + 2. Let j be i(38). Solve 5*d + 5 = -0, 5*r = 3*d - j for r.
-1
Let s(m) = m**2 + 9*m + 4. Let c be s(-9). Solve -5*d + 19 = z, 0*z - 3*z - 19 = -c*d for z.
-1
Let u be (-160)/(-30) + (-4)/(-6). Suppose -4*n + u = -18. Solve f = -2*o + n, -6 = -3*f + 5*f - 5*o for f.
2
Let n(s) = s - 6. Let w be n(8). Let o(h) = h**3 - 2*h**2 + 3*h. Let r be o(w). Let z = r - 4. Solve -z*u - 9 = 2*q + 5, -4*u - 18 = 2*q for q.
-5
Let c(p) = -5*p - 9. Let n(f) = -4*f - 8. Let l(i) = -3*c(i) + 4*n(i). Let m be l(-10). Solve m*j + 2*b = 5*b + 8, j - 20 = -4*b for j.
4
Suppose -n + 1 = 3*s - 4*s, 0 = 2*s. Solve 11 = 4*l - 3*a, -3*a = -l + n + 4 for l.
2
Suppose -2*j - 2 = -14. Let i be (-3)/1 - (j - 9). Let t be (i/3 + -1)*0. Solve t = -4*d + 4*s, 0*d + 2*s = 4*d + 8 for d.
-4
Suppose 1 = -2*k + 3. Let t = k - -1. Let y = -3640 - -3640. Solve y = -t*b - 5*u - 10, -2*b + 5*u + 25 = -7*b for b.
-5
Let l(g) = g**2 - 2*g - 4. Let w be l(3). Let p be 8/(-10)*w*10. Suppose p = -d + 11. Solve d*i + 4*s = 8*i - 10, 4*s + 16 = 2*i for i.
-2
Let w be (-16)/2*(1/2 + -1). Let x(g) = -g**2 - 8*g - 7. Let t be x(-7). Suppose 5*z - 10*z = t. Solve 2*s - w*v + 22 = z, -v = 2*s + v - 2 for s.
-3
Suppose 0 = -5*n + 2*y + 14, -9 = -3*n + 14*y - 13*y. Solve -n = 2*t + 3*b - 0*b, -2*b = -3*t - 19 for t.
-5
Let i(x) = x**2 + 13*x - 20. Let k be i(-15). Let v = k + -8. Let f be -1*2*9/(-6). Solve r + 3*t - v - 5 = 0, f*r = t + 11 for r.
4
Let u be 6/(-5) - (-1)/5. Let a be (-10)/4 - u - (-120)/16. Solve -n + 5*l - 13 = 0, 2*l = 3*n - 2*l + a for n.
2
Let q be (-4)/(7 + -9) + 13. Solve d + 5*b = 13 + q, -3*d + 14 = b for d.
3
Suppose -5*i = -3*i - 10. Suppose -30 = -0*w - i*w. Suppose -3*o + w*o = 6. Solve 2*s + 4 = -4*c + 2, c + 3 = o*s for s.
1
Let q(k) = -81*k. Let s(z) = 5*z. Let l(c) = -2*q(c) - 33*s(c). Let y be l(-1). Let o = -2 - -4. Solve 4*i - 5*w - 35 = 0, -i + o*w + 26 = y*i for i.
5
Let o be (-2)/2*-4 - (-2)/(-2). Suppose r + 6*d = o*d + 10, -5*r + 30 = 5*d. S