or m.
-5
Let j(x) = -5*x**3 - 2*x**2 - 2. Let k be j(-2). Let y = -13 + 20. Let t be 3*(y - 1) - 0. Solve -4*f - f - k = 5*u, -5*f - t = -u for f.
-4
Suppose -8*z = -5*b - 6*z + 10, 0 = 4*b + 3*z - 8. Solve -h - d = 3*d + 1, 2*d = -b for h.
3
Let p(d) = d**3 - 1. Let m be p(1). Suppose -5*z + 16 = 3*c + 4, m = z + 3*c - 12. Suppose z*a - a = -4. Solve -4*n = a*f + 36, 2*n - 2 + 0 = 3*f for n.
-5
Let k = -580 + 585. Solve 8 = -k*w - 4*h - 0*h, -5*h = -15 for w.
-4
Let b = 472 - 467. Solve 3*p - 5 = d, -5*d + b*p - 25 = 2*p for d.
-5
Suppose 2*j + 0*j + 0*j = 0. Let a = j + 17. Solve 4*m + 3*w = 0, -2*w = -2*m - m - a for m.
-3
Let p(x) = x**3 - 4*x**2 + 5*x - 4. Let a be p(3). Suppose -4 = -3*k + 3*g + a, 3*g + 4 = 2*k. Solve -2*i - v - 2 = -5, -i - k*v = 0 for i.
2
Suppose 58 = -3*p - 185. Let a = p + 85. Solve -5*u - a = 4*l, -2*l - u = -1 + 3 for l.
-1
Let g(n) = -n**2 + 17*n + 140. Let w be g(23). Solve 4*h = z - 0*z - 8, 0 = w*z + 8 for h.
-3
Suppose -3*c = -5*x + 24, -c - 2 = x - 5*c. Suppose -3*f + x = -3. Let u be 3 - -3*2/f. Solve 0 = 2*l + 4*n + 18, -u*l + 4*n = n - 20 for l.
1
Let h be 1 - ((-1)/3)/((-17)/(-153)). Suppose h*b - 5 - 11 = 0. Solve -3*f + 3*a = -9, 2*f + b*a + 8 = -4 for f.
0
Suppose 0 = -4*i - 100 + 112. Solve 0 = 5*h + 4*z - 18, 0 = h - i*h + 4*z - 4 for h.
2
Suppose -4*b + 16 = -4*m + 2*m, 5*m + 10 = 4*b. Suppose 3*y - 84 = -3*y. Solve c - y = 2*c + b*l, c = 3*l + 10 for c.
1
Let b = -11 + 17. Let j = 6 - b. Solve -3*x + 2*p - 9 = j, -2*p - 3*p + 3 = -x for x.
-3
Let d be ((-2)/8)/((-3)/12). Let u be (-16)/(-8) + d + 1. Solve -4*p + 4*m + 4 = 0, 0 = u*p - 2*m - 2 - 2 for p.
1
Let j(l) = -3*l**2 - 2*l - 4*l + 4*l**2 - 3*l + 2. Let g be j(8). Let q be (-4)/g + 50/15. Solve 0*a = -2*w + q*a + 4, -2*w - 14 = 2*a for w.
-4
Suppose -4*u - u = -10. Let a be (-2)/(2/(u + -6)). Let m(z) = -2*z**2 + 9*z + 520. Let d be m(-14). Solve -5 = d*t - 5*h + 14, 16 = -2*t + a*h for t.
-2
Let r(y) = -y - 3. Let p be r(-5). Suppose -p*l + 4 = 4*z, 2*l - 2 = -5*z + 1. Solve -3*h = l*u - 8, 8*h - 3*h = -u - 15 for u.
5
Suppose 0*y - 5 = 4*d + y, 1 = -3*d + 2*y. Let f = 6 + d. Suppose f*x - 150 = 2*b - 53, -x + 5*b + 24 = 0. Solve -3*s + s = -2*l + 16, 3*l = 2*s + x for s.
-5
Let l = 53 + -49. Suppose -10 = 3*k - l*i, 11 + 5 = 2*k + 3*i. Solve -4*n + 3 - 27 = -k*j, 2*j + 8 = -4*n for n.
-4
Suppose -k - 4*k + 100 = 0. Suppose 2*r - 19 = -59. Let d = r + k. Solve 8*j + 16 = 3*j - 3*w, 3*j + 3*w + 6 = d for j.
-5
Let y = -83 + 87. Solve -3*g + 5 = -o, 5*g - y = o + 7 for o.
4
Let s(p) = -p + 7. Let h be s(3). Let m(b) = -3*b - 11. Let z be m(-5). Let x = -23 + 26. Solve 3*f = -h*r + x, 2*f + r + 15 = z*r for f.
-3
Let q(v) = -v**2 - 8*v - 6. Let y be q(-6). Let h be (0/2)/(-4*y/(-8)). Solve h = -2*d + a + 5, 4*d = 2*a + a + 11 for d.
2
Let a = 23 + -22. Let o be 2/a + -2 - -1. Solve -2*v - 3 = o, -2*g = 3*v + 6 for g.
0
Let s = -24 + 21. Let d(n) = -n**2 + 5*n - 6. Let i be d(5). Let t = s - i. Solve -m = -5*m, t = -3*g + 5*m for g.
-1
Suppose 7*d - 5*r = -0*r + 235, 5*d - 2*r - 160 = 0. Solve -2*i = -3*z + 4*z - 15, -5*z = i - d for z.
5
Let c(g) = -8*g**3 - 2*g - 1. Let d be c(-1). Suppose -3*m = -4*m + 27. Solve 2*p + 3*v + d = m, 3*v = -3*p + 21 for p.
3
Let i = -19 - -23. Suppose -i*w = -9*w + 10. Solve -2*d = 3*l + w*d - 8, -4*d + 8 = -4*l for l.
0
Let n = 52 - 100. Let u = n + 52. Solve 0 = 2*l - 4*t - 18, 3*l + t = 4*l - u for l.
-1
Suppose 3*u + 12 = 4*y - 1, 2*y = -3*u + 11. Let t(o) = -o + 14. Let a be t(9). Let r be (a - 8)*1/(-1). Solve -y*q = -2*f + f + 17, -r*q - 17 = -5*f for f.
1
Suppose 9 = -l - 2*l. Let r(g) = g**2 + 4*g + 5. Let s be r(l). Suppose 5*j - 5*f - 12 + s = 0, -f + 18 = 4*j. Solve 0 = 5*w - 2*a - 3, 4*a - j = 0 for w.
1
Suppose -5*w = -3*a + 22, -3*a - 3*w + 38 = -4*w. Suppose 10*g - 16 - a = 0. Solve -14 = 3*s - 5*r, -2*s + g*r + 0*r = 9 for s.
-3
Let i = 44 + -12. Suppose 2*b - i = -2*v - 0*b, b = -5*v + 96. Solve 5*l + 17 = -0*z + 3*z, v = -5*l for z.
-1
Suppose -2*d = 5*z + 13 - 3, -3*z = 2*d + 10. Let q be (d + 55/15)/((-4)/30). Solve -2*f + 10 = -3*o, -2*f + 3*o = 5*o + q for f.
-1
Suppose -10 = -2*x, 11*x + 1 = -c + 12*x. Solve 4*l = -4*j + 3*l - 21, 4*j + c*l = -24 for j.
-5
Let c(d) = d**3 + 4*d**2 + 2*d + 3. Let n be c(-3). Let l(x) = x - 1. Let s be l(6). Solve n = q - s*b - 6, 0 = -5*q + 5*b + 20 for q.
2
Let a(d) be the second derivative of -3*d + 5/3*d**3 + 1/2*d**4 + 0 - 1/20*d**5 - 7/2*d**2. Let n be a(7). Solve 4*s = -8*c + 3*c - n, -2*c - 6 = 2*s for s.
-1
Let u be ((-18)/15 - -5) + (-2)/(-10). Suppose 4*h = -4*p + 16, -p + 32 = u*h - 5*p. Solve 4*s - 3*k - 15 + h = 0, 5*s - 4*k - 12 = 0 for s.
0
Let w(i) = -i**3 - i**2 + 10*i + 1. Let p = -17 + 13. Let o be w(p). Solve 5*j - u = o, j + 3*j - 5*u - 24 = 0 for j.
1
Let b(n) = n - 10. Let s be b(12). Let z be 2 + -4 + -2 - -9. Solve s*q + 17 = 3*o, 3*o + z*q + 29 = 6*o for o.
3
Suppose 2*k - 134 = -3*i - 52, -3*k - 59 = -2*i. Solve -3*z + 2*z = -4, 0 = -4*m - 2*z + i for m.
5
Let t be (0/(9/(-3)))/(-1) - -3. Let m = t - -2. Solve 2*g + 3*k + 1 = 5, -m*k = -10 for g.
-1
Let a(t) = -t**3 - 11*t**2 - 2*t - 6. Let x be a(-11). Let n(k) = k**2 + 2*k - 4. Let y be n(-4). Solve -2*q + 2*m = 2*q + x, -y*q - 4*m = -8 for q.
-2
Suppose k + 0*x = -3*x + 2, 4*x = k - 9. Solve 10 = 3*r - z, 0*r - k*z = -5*r + 20 for r.
3
Let h be 0 + (-4 - -5) - -3. Suppose -q - 4*c + 18 = 0, -6*q = -q - h*c + 6. Suppose -q*y + y = -7. Solve -2*f + y = 3*n + 2*n, -3*n + 2*f = -1 for n.
1
Let z be ((-63)/(-9) - 8)*-8. Solve 4*n + 0*n + 4*j - z = 0, 4*n + 2*j - 10 = 0 for n.
3
Let z be 196/35 - 6/(-15). Let g be 29/9 + 2/(-9). Solve k - 5*u = -12, -g*k + 5*u - z = -5*k for k.
-2
Let c be 63/(-189)*0/(2 - 1). Let o be c + (60/10)/(6/4). Let w(k) = -k - 3. Let t be w(-5). Solve x + 0*x + o*u = -22, x + t*u + 12 = 0 for x.
-2
Let w(h) = -4*h - 3. Let s be w(-2). Let o = 58 - 25. Let r be (o/22)/(3/(-2) - -2). Solve 3*v - 3 = 0, 0 = r*t - 7*t + s*v - 9 for t.
-1
Let z = -74 + 77. Suppose -3*s + z*m = -112 + 4, 4*s + 3*m - 109 = 0. Solve -5*c + 2*q + s = 0, 3*c - 2*c + 5*q + 10 = 0 for c.
5
Let z = 2730 - 2700. Let k = 1 + -1. Solve -5*x = 2*w + z, -x + k*w + w = -1 for x.
-4
Let t(y) = y**3 + 5*y**2 + y. Let w be t(-5). Let c be ((-4)/w)/(32/(-80)). Let q be c*1 - (-11 - 8). Solve -4*x + q + 18 = -5*j, -2*x = 5*j + 5 for j.
-3
Let z = 14 + -7. Suppose -2*f + z*f - 60 = 0. Let y(c) = 2*c**2 + 5*c - 15. Let v be y(2). Solve 5*p - 30 = -4*a, -p = v*p - 4*a + f for p.
2
Suppose -4*q = -5*r + 106, 7*r = 5*r - q + 45. Solve 5*z + r = -4*x, 5*z = x + 7*z + 7 for x.
-3
Let h = -286 + 294. Solve -3*n = k + h, -2 + 4 = -k + 3*n for k.
-5
Let w be ((-2)/(-3))/(6/45). Let q be (-24)/(-60)*(2 - 1)*w. Solve 2*z + 5*t = 2, -4*z + 5*t + 2 = -q for z.
1
Suppose -111 - 549 = 10*a. Let q = a - -66. Solve -4*i - 8 = 2*k, 3*i - 3*k + 0 + 24 = q for i.
-4
Suppose -9*j + 53 = 17. Suppose -3*r + 36 - 5 = 2*f, j*f = 2*r + 54. Solve 0 = 2*s + 2, 0*d + 4*d = -2*s + f for d.
4
Let j = -477 - -482. Solve x + 4*d = 11, -5*d + 29 = -j*x - 4*d for x.
-5
Suppose 5*j = -5, n = -2*j + 1 - 3. Solve -2*c - 5*o + o - 6 = 0, n = 4*c + 4*o for c.
3
Suppose -3*v - 5*z = -8*v - 10, 5*z - 4 = 2*v. Let l be -2*6/(-4) - v. Suppose -4*u + 1 = 4*h - 3, u = 3*h - 7. Solve 0 = -5*p + 1 - 6, -l = -h*x + 5*p for x.
0
Let v(b) = -b**2 + 4*b + 3. Let t be v(-3). Let g be (-4)/(-18) - 122/t. Solve -2*f - 11 = -c, 2*c - g*c + 4*f + 25 = 0 for c.
1
Let o be (-295)/(-59)*(1 + -1 + 1). Solve 8*i - 6 = 7*i + 2*g, 5*g + 30 = -o*i for i.
-2
Let s(m) = -12*m. Let g be s(-1). Let d = 22 + g. Let l be 9/15 - d/(-10). Solve p + p - 10 = l*k, 3*p - 3*k - 12 = 0 for p.
3
Let t be ((-12)/3 - -8) + -2. Suppose z - 6 + t = 0. Suppose z*g = 39 + 21. Solve g = -3*s - 3*m, 1 - 2 = -3*s + 5*m for s.
-3
Let v = -417 - -421. Solve -g + 4*f = -0*f - 21, -v*f - 6 = 2*g for g.
5
Let n be 0*((-16)/12 + 1). Let w be (n/6)/(4/(-2)). Suppose w = -7*r + 11*r - 12. Solve -2*j + 18 = 4*x - 0, 3*j = 4*x - r for x.
3
Let p be 8 - (-35)/(-7) - 1. Solve 4*s + 18 = -p*m + 6, -4*m - 12 = -4*s for m.
-4
Let p be (-6)/27 - (-20)/9. Let s = 549 - 531. Solve -3*l + 2*m = p - s, 4*m = 2*l - 16 for l.
4
Let d be (40/30)/(28/(-18) + 2). Let v(m) = -3*m - 3. Let y be v(-2). L