4*m, -4*h + 4*m = -u*m for h.
4
Let b(o) = 4*o**3 + 2*o**2 + o. Let u be b(-1). Let s = u + 4. Suppose 3*y = 15, 0*i + 2*i - y = -s. Solve -i*z - 9 = -5*r + 2, 3*r - 3*z = 12 for r.
1
Let v(s) = 2*s**2 + 2*s + 1. Let p be v(2). Suppose -5*y = 25, -3*y + 6*y + 3 = -3*d. Solve -4*f + 3 = -d*b - p, 4*b = -20 for f.
-1
Let k(b) = -b - 13. Let i be k(-15). Suppose -4*w + 30 + i = 0. Solve 6 = -4*t - 3*c, 2*t + 2*c - 6*c - w = 0 for t.
0
Let i(w) = 2*w - 17. Let u be i(12). Solve x + u = -2*h, -1 = -x - 0 for h.
-4
Let s be (-1 - -4 - 1) + -1 - -2. Solve 0 = -3*k + 9, 0 = -s*m + 5*m + k - 3 for m.
0
Suppose -2*k + 0*k + 6 = 0. Suppose -k*q = -5*s - 6 + 17, -q = -3*s + 9. Suppose -2*u + 6 = -s. Solve 4*r - 5*r + 5*z - u = 0, 0 = 3*r + 3*z - 3 for r.
0
Let k = 60 - 60. Let z be (-1)/(1*(-1)/4). Solve 3*j + 24 - 9 = k, -4*c = z*j + 40 for c.
-5
Let g(i) = i + 1. Let h be g(5). Let d be (h/(-5))/(3/(-15)). Let f be -6*((-9)/d + 1). Solve -f*y + 3*j = -15, 2*y + 2*j + 10 = -0*j for y.
0
Let g be 162/21 + (-2)/(-7). Suppose 3*y = -w + g, -2*y = w + w. Let t = w - -9. Solve 0 = 2*z - 2*q, -4*q = -5*z - t*q + 24 for z.
4
Let r(s) = -2*s - 4. Let q be r(-4). Let o(n) = -n**3 - 4*n**2 - n + 4. Let k be o(-4). Solve -k = -4*w, 0*i - i + 13 = q*w for i.
5
Let r(q) be the third derivative of -q**6/120 + 2*q**5/15 - 5*q**4/24 - 5*q**3/3 - 3*q**2. Let c be r(7). Solve -c*f = -3*m - 5 - 4, f = 4*m - 1 for f.
3
Let p be 3/((-9)/6) + 17. Let s = -8 + p. Solve -2*l + 1 = 5*b, 5*l + s = 3*b + 25 for l.
3
Let v be ((-6)/(-5))/(3/(-10)). Let b be (-54)/(-8) + (-1)/v. Let a = 5 + -2. Solve -k + 3 = z, a*z - z - b = -k for k.
-1
Let b = 20 - 17. Solve 4 - 20 = 3*c + 4*z, 0 = b*z + 3 for c.
-4
Let b = -49 - -53. Solve v = -4*l + 7, -2*l - 2*l = -b*v - 32 for l.
3
Let t(r) = r**3 + 8*r**2 + 2. Let f be t(-8). Let c be (f/3)/((-4)/(-138)). Solve -2*v = -5*a - 16, -4*a - 2*v + 3 - c = 0 for a.
-4
Let r(h) = h - 3. Let j be r(-3). Let q(x) = x**3 + 6*x**2 - 5*x - 8. Let m be q(j). Solve 0 = -4*w + 3*f - 21, 5*f = w - 4 + m for w.
-3
Suppose -5*v - p - 8 + 25 = 0, 0 = 4*v - p - 19. Suppose 0 = 2*c - v*g - 12, 2*c - 4*g = 3*c + 6. Solve -2*d - 20 = 5*k - 5*d, 3*k = -d + c for k.
-1
Suppose -4*j = -5*w + 32 + 12, -4*j - 28 = -3*w. Solve w*r - 3*r - 15 = 2*b, -2*r + b = -5 for r.
5
Suppose -5*t = -2*q + 18, -q + 4*t = t - 10. Let n be (3 - q)*1*-3. Solve 3*z + 9 = -n*x, -5*z = -3*x - 6 + 21 for z.
-3
Let c(g) = -7*g + 3. Let n be c(-4). Let y be -2*1/2*-19. Suppose 5*z - y - 1 = 0. Solve 0*w = -3*s + 4*w + n, -4*s + z = 4*w for s.
5
Suppose -4*p + 2 = -x - 13, 5*p = x + 20. Solve -x*r = 0, 0*h - 3*r + 4 = -h for h.
-4
Suppose -2*o + 4*o = 74. Suppose -3*n = 3*u - 7*n - o, 3*u - 3*n = 39. Solve -6 = l - 5*q + 7, -u = -5*q for l.
2
Let s be 4/8*10 - -2. Solve 4*z - 15 = 5*m, 2*z + s = -5*m + 22 for z.
5
Let o = -17 + 27. Suppose -3*s + 9 + 6 = 0. Let x be ((-6)/s)/((-2)/o). Solve -3*u = -j - 15, -j + 11 = -x*j - u for j.
-3
Let h be (-1 - -1)/((-11)/11). Solve 2*a - 5*x + 11 = 0, -1 = -h*a + a + 2*x for a.
-3
Suppose k = -3*k - y + 16, 0 = -k - y + 1. Let d = -595 - -616. Solve k*p = -b + d, -2*b = -0*b - 2 for p.
4
Let d = 1 - 0. Suppose 2*i + 3 - d = b, 3*i - 4 = -2*b. Solve w - 11 = 4*a, -a - 2*w - 10 - 4 = i for a.
-4
Suppose -1 = 4*w - 3*l, 0 = 3*w + l + 3*l - 18. Solve 0 = 4*c - w*k, 2*c - k - 6 = 6*c for c.
-1
Let b(d) = -d - 6. Let y be b(-7). Suppose -3*u - y = 2*k - 10, 0 = -5*u - 5*k + 10. Let x = -33 - -36. Solve -3*m - 14 = -u*f, f + 8 = -0*f - x*m for f.
1
Suppose 0 = 4*a - 5*a + 12. Let y be (1 - 2)*a/(-6). Solve -2 = 5*j - m, 2*j - y*m + 8 = -4*m for j.
-1
Suppose 20 + 115 = 15*v. Solve m - 2*d = -9, -2*d + v = -3*m - 5*d for m.
-5
Let t be -6*8/(-12)*2/4. Solve -2*x - t = -2*p, 0 = -2*p + 4*p + 5*x + 5 for p.
0
Suppose 5*q = p - 84, -3*q + 194 = 5*p - 338. Suppose -4*l + p = 6*b - 4*b, -3*l + 85 = -2*b. Let i = 47 - l. Solve 8*o = 2*d + 3*o - i, 5*o = 4*d - 20 for d.
0
Let f be (-148)/(-18) + (-2)/9. Let q = 27 - f. Suppose 4*y = 61 + q. Solve 4*a + 25 = k - a, y = -4*a for k.
0
Suppose -3*q = 3*q - 108. Solve -5*c - 20 = 0, 2*k - 3*c = -c + q for k.
5
Suppose 0 = 3*h - 0*h - 12. Let f = -46 - -50. Solve -h*p - f = 3*o + 4, -3*p = o + 1 for o.
-4
Suppose -5*t = -0*x - 5*x - 30, 3*t - 23 = -2*x. Let a = 11 - t. Let h be (-2 + 51 - -2) + 2. Solve -3*y - 25 = 2*d, -8 = -a*y - 5*d - h for y.
-5
Let n be 2 + -1 + 2 + 1. Let z(k) = k - 21. Let l be z(7). Let v = l - -18. Solve -4*c = 4*b + v - 0, -5*c + 22 = -n*b for b.
-3
Suppose -45 = 4*d - 1. Let c(b) = -b**3 - 10*b**2 + 11*b + 4. Let l be c(d). Solve -3*j + 0 = w - 1, 3*j + 5 = -l*w for j.
1
Let f = 33 + -24. Solve 4*y - 1 = b + f, 0 = -4*b - 4*y + 20 for b.
2
Let i(r) = r**2 - 10*r + 13. Let n be i(9). Let a be (-6)/n*(-10)/3. Solve 5*f + 5 = k - 0*k, -17 = a*k - 4*f for k.
-5
Suppose 4*c - 125 - 83 = 0. Suppose -2*r - c = -6*r. Solve -m + n = 3, r = m - 4*m + n for m.
-5
Let z = -33 - -51. Let f = z - 4. Suppose 10 = 4*w - 2*x + 5*x, -3*x + f = 5*w. Solve -5 = 3*i + 5*d, -w*d = -13 + 5 for i.
-5
Let z = -16 - -20. Solve -2 = -z*y - a - 3, -4*y = 2*a + 2 for y.
0
Let c be ((-19)/(-5))/(2/10). Suppose 3 = -4*m + c. Solve -13 = -m*n + r, n = 2*n + 3*r - 13 for n.
4
Suppose 5*v = 4*v. Let j be -2 + v - (-4)/1. Suppose -9 = -7*r + 4*r. Solve -2 = -c + r*o, -j*c = c + 4*o + 20 for c.
-4
Suppose 3 = c - 2. Solve 3*t + 0*t = -5*g - 27, t - 11 = c*g for g.
-3
Suppose -5*z + 90 = 5*c, c = -3*z + 4*c + 66. Suppose -3*b = b + z. Let v be 1/b - (-280)/25. Solve l - v = -4*u, 0*u = 2*l - 3*u for l.
3
Let u = 7 + -1. Let k be 10/(-3)*12/10. Let i = k + u. Solve i*d + 2*y + 6 = 0, 5*d - 4*y - 9 = -y for d.
0
Let s = -46 - -68. Solve 0 = -2*c - 3*v - 19, 6*c + 4*v + s = 4*c for c.
-5
Let o be (-2 + (-15)/(-6))*48. Suppose -2*z = -2*p - 10, 5*z + 2*p - o = 6*p. Let i = z + -1. Solve -4*x = -w - x + 18, -i*w = -2*x - 19 for w.
3
Suppose -20 = -5*q + 5. Let z = 14 + -4. Let u = 27 - 17. Solve 4*p + q*x = u, 2*p + z = 4*x + x for p.
0
Let f(y) = -y + 17. Let b be f(0). Suppose 4*v + b = 5*v. Let r = 43 - 23. Solve g = -3*n - r, 8 = -5*g - v for n.
-5
Let b(o) = o**3 - 6*o**2 + 5*o + 4. Let z be b(4). Let q be ((-2)/4)/(2/z). Let u be (2/(-3))/(q/(-6)). Solve u*t + 5*m = t, -2*m = -t for t.
0
Let a be 1*-9*(-2)/6. Suppose -5*g = a*d + 57 + 14, 3*g - 3*d + 57 = 0. Let z be 1 + -4 - (g + 8). Solve 4*y + z*s - 23 = 0, -2*y - 4*s = -6 - 10 for y.
2
Let k = -11 - -15. Suppose 0*w + 1 = w. Let s = k - w. Solve -i - 3*f = 5, -3*f = s*i - 4*i + 13 for i.
4
Suppose 5*d = 5*k + 66 + 9, 0 = -5*k + 25. Solve -5*c = -3*i + 7*i - d, 0 = 3*c - 2*i + 10 for c.
0
Let g be (-8)/(-6) - (-10)/15. Solve u + 0 = 2*n - g, -3*u + 2 = -2*n for n.
2
Suppose -15 = 3*y, 2*y = w - 0*y - 13. Solve f = a, -2*f - w*f + a = -12 for f.
3
Suppose -m + 2*m - 6 = -v, -5*m + 24 = 2*v. Suppose 0 = 2*d + 3*h - 19, -d + 6*d + 5*h - 35 = 0. Solve -3*q = d*y - 10, 2*y - 6*q + 2*q + m = 0 for y.
2
Let a(p) = -3*p + 4. Let t be a(0). Let c(r) = r**2 - r - 4. Let b be c(3). Suppose 0*g + b*g = 0. Solve t*j + 5*o = g, -4*o + 4 = -2*j + 6*j for j.
5
Let b(j) = j**2 - 6*j + 5. Let q(m) = m - 2. Let a be q(7). Let d be b(a). Solve 0*o - 2*o = 2*y - 6, -3*o = d for y.
3
Suppose -2*l - g - 95 = -6*l, 0 = 3*g - 15. Solve -5*z - l = 2*a - 6*a, 5 = -5*z for a.
5
Suppose 0*n - 4*n + 59 = -c, 4*c - 19 = -n. Suppose -3*y + 0*y - 5*m + 22 = 0, -m = 3*y - 14. Solve n = y*p - g, -4*p + 0 = -3*g - 5 for p.
5
Let p = 9 - 0. Suppose -p = -y + 4*q + 6, q - 60 = -4*y. Let f = 2 + 0. Solve -5*h - 22 = f*r, 2 = 2*h + 5*r + y for h.
-4
Let v(a) = -a**2 + 3*a + 4. Let o be v(3). Let h be (o/(-14))/((-2)/14). Solve 0 = h*g - 5*z + 8, 3*g + 4*z + 0*z = 11 for g.
1
Let g(n) = 5*n**2 - 3*n. Suppose 0 = -0*y - 2*y + 4. Let d be g(y). Solve -28 = 3*c + 5*r, 4*c + r + d = -r for c.
-1
Suppose 7*p + 4 = 11. Solve 5*w = 4*r - 12, -13 + p = 4*r + w for r.
-2
Let m(w) be the first derivative of 1/2*w**2 - 2 + 10*w. Let f be m(-8). Solve 0 = f*t - b - 8 + 1, -1 = t + 4*b for t.
3
Let h be (6/(-2))/((-30)/310). Solve 8*j = 3*q + 3*j, 0 = 5*q + 2*j - h for q.
5
Let x(c) = -8*c**3 + c**2 + c - 1. Let m be x(1). Suppose 4 = -7*s + 8*s. Let u = s - m. Solve -4*v = w, 5*w + u + 5 = -4*v for v.
1
Suppose -3*c - 3*j - 27 