3*o - 4, 0 = 4*h + m*o - z for h.
4
Let a(w) = w**3 + 5*w**2 + w + 5. Let h = -7 + 2. Let n be a(h). Solve -s - 2*p - 6 = n, 4*s - 5*p - 4 = -2 for s.
-2
Let z be (4/(-2))/(2/(-7)). Let p = z + -5. Let c be 0/(-1*1 - 0). Solve c = y + p*y - 3*h, 4*h = 5*y for y.
0
Let w(t) be the third derivative of -t**6/120 - t**5/5 + t**4/2 - 5*t**3/3 + 8*t**2. Let d be w(-13). Solve 2 = -5*u + 2*m, 2*u = d*u + 2*m - 2 for u.
0
Let h(i) = -i - 1. Let t be h(-1). Let c(k) = -3 - k + t*k + 5*k - 2*k. Let o be c(4). Solve -o*u = 2*w - 7, 4*w - w + 6 = -2*u for w.
-4
Let r(i) = 3*i. Let o be r(-4). Let s be (-28)/(-6)*(-18)/o. Solve g + 2*g - 3*a + 6 = 0, 3*a - s = 2*g for g.
1
Let t(v) = v**3 - 6*v**2 + 3*v + 10. Let c be t(5). Solve -z - n + 4 = 3, c = 5*z + 4*n for z.
-4
Let l be 1*(-2 - 6/3). Let a = l - -14. Solve 0 = -3*z - c - a, 6*z - 2*z = c - 25 for z.
-5
Suppose -a - 10 = 4*a. Let h(k) = 3*k**2 + 2*k. Let x be h(a). Solve 2*p - 2*z = x, -z = p - 0*z - 4 for p.
4
Let j(q) = -q**2 - 11*q. Let w be j(-10). Let k = w - -2. Solve 19 = -3*o - 6*y + y, k = -2*o - 3*y for o.
-3
Suppose 0 = -2*l + 10, 4*n - 2*l - 2 = -0*n. Solve -3*p = -2*o - n, -5*o + 4 = p + 3 for o.
0
Let z = 5 + 0. Solve z*o + 4*y + 39 = 9, -5*o - 5*y = 35 for o.
-2
Let b be 8*(-3)/(-6) - 0. Let m be 1/1*(-1)/1. Let r = m + 5. Solve y + r*t = -3, -6*t - 6 = -b*y - 4*t for y.
1
Let k be 2 - ((-12)/(-3) + -4). Suppose -5 = k*r - 11. Let d be 0 - (-1 + 0 - 17). Solve 0 = 2*i + j + 4*j - 15, -r*i + d = 3*j for i.
5
Suppose 16 = 2*a + 2*a. Solve r - 2*k + 2 = 0, a*r + k = -3*k + 16 for r.
2
Let h(w) be the third derivative of -7*w**4/24 + w**3/6 - w**2. Let g be h(-1). Suppose -g = -3*u + 16. Solve 2*z + 3 = f, 2*f - u = 5*z - f for z.
-1
Let q = 15 - 9. Let l be q/(-5)*25/(-10). Solve -2*f - r - 8 = 1, 0 = -f + 2*r + l for f.
-3
Let d = 7 - 5. Let y be (-40)/15*(-3)/d. Solve -2*u - 8 = 0, 0 = -h + y*u - 2*u + 12 for h.
4
Let k = -14 - -8. Let c(v) = 2*v**2 - 17*v - 1. Let y be c(9). Let f = y + k. Solve -3*z = -f*a + 12, 4*a = -3*z + z + 8 for z.
-2
Suppose -2*r + 1 = -3. Let o = r - -2. Solve -2*l + 3*l = o*t - 6, 5*l = -t + 12 for t.
2
Suppose 1 = m - 3. Suppose 0 + 4 = 2*q. Solve 5*i + 33 = -4*r, 4*r - 2 = -q*i + m*i for r.
-2
Let b(p) = 2*p. Let i be b(1). Solve -i*s = 8, 2*g = -5*s - 14 - 10 for g.
-2
Suppose -11*p = -16*p + 15. Solve 4*l - y + 16 = 0, 2*y + 12 = -p*l - 2*y for l.
-4
Let t(f) = 2*f**2 - 2*f + 1. Let n be t(2). Suppose 4*a = -2*i + 16, -4*a - 10*i = -7*i - 14. Solve a*c = -6*k + k + 25, -n*c - 2*k + 22 = 0 for c.
4
Let m be (-27)/(-12) - (-1)/(-4). Suppose 3*z - m*z - 4 = 0. Solve 0 = 4*a + 4*c + 20, -z*a + 2 = -2*c + 10 for a.
-3
Suppose 5*g = 2*g - 2*g. Solve 0*u - 8 = u + x, g = -5*u + 3*x - 8 for u.
-4
Suppose -w + 2*y + 7 = 0, 3*w + 4*y - 14 = 3*y. Solve -11 = -3*u + m, -3*u - 4*m - w = 9 for u.
2
Let s = -44 - -52. Solve o - 3 = 0, -l + 2*l + 3*o - s = 0 for l.
-1
Let s = 9 + -3. Let g(i) = -i**2 - 19*i + 20. Let v be g(-20). Solve 2*w - 5*w + s = 4*f, 4*f - 5*w - 22 = v for f.
3
Suppose 3*t = 12, 2*t = 3*v - 2 - 2. Let d = -6 - -10. Suppose x + 5*s + 33 = 5*x, d*x = s + 13. Solve 2*i = -q - q - v, 6 = -x*i - 4*q for i.
-1
Let f = 88 + -86. Solve -m - 1 + f = n, 3*m = 3*n + 9 for m.
2
Let a(c) = c**3 - 7*c**2 + c - 2. Let v be a(7). Let g = -25 - -26. Let b = v - g. Solve -x - m - 10 = -1, -b*x - 2*m - 26 = 0 for x.
-4
Let r(i) = -9*i + 2. Let g be r(-1). Let w = g + -9. Solve w*t + t = 3*z - 18, 5*z = -t + 6 for t.
-4
Let l(x) = 5*x - 2*x - x - 3*x - 3. Let t be l(-9). Let n = -2 + t. Solve 2*m = 4*j, 0 = -n*m - 4*j - 13 + 1 for m.
-2
Let h be 5 + -1*(-3)/(-3). Suppose -3*x = -h*m - 21, -2*x - 4*m + 0 = 6. Solve 2*d = -5*p + 21, 4*d + x*p = -2*p + 27 for d.
3
Let h be -9*(3 - 3 - 1). Suppose a + 3*x = -0*a - h, a - 3*x = 9. Solve a = 3*r - 9, -3*l + 2*r = 6*r - 3 for l.
-3
Let k be (-3 - (-114)/30)/(4/10). Solve 4*y - 3*z + 8 = 0, -3*y - 19 = -k*y - 5*z for y.
1
Let h be ((-116)/(-20) - 5) + (-16)/(-5). Solve -5*m + 4 + 21 = 0, -f + h*m - 16 = 0 for f.
4
Let g(z) be the third derivative of z**4/24 - 3*z**3/2 - z**2. Let t be g(8). Let c be t + (-5)/(15/(-6)). Solve 2*r = -4*j + 6, -3*j + 3 - c = r for j.
-1
Suppose -4*y - y + 29 = -3*i, -4*y + 3*i = -25. Let j be (1/(-2))/(21/(-126)). Solve -j*x - y*u = x + 8, 0 = 3*x + 5*u + 16 for x.
3
Let k(m) = m**3 - m**2 - 3*m + 2. Let l be k(2). Suppose 15 = 5*o - l*o. Let t(j) = -2*j + 17. Let b be t(6). Solve -2*a = -o*w - 9, -5*w + 3 = -b*a + 13 for a.
-3
Let x(a) = -4*a. Let j be x(-1). Let s be (1/(-4))/((-1)/j). Let h be -2*(15/(-2) - (-2 + 0)). Solve t = 4*g + 2*t - h, 4*g + 3*t - s = 0 for g.
4
Suppose -z = 0, 0*l - 4*z = l. Suppose -2*p + 4*p = l. Solve 28 = -4*h + 2*w + 2*w, p = -3*h - 2*w - 11 for h.
-5
Suppose 0 = -15*q + 128 + 172. Solve 2*h + 8 = s - 0*s, -s - 5*h - q = 0 for s.
0
Let m = -8 - -22. Let i(v) = -28*v**2 - v**3 + 4 + 24*v**2 + 0*v**3. Let k be i(-4). Solve -2*a - 2*f + k = -8, -3*a = f - m for a.
4
Suppose 2*s + 3*b + 0*b - 4 = 0, 5*b = 0. Let n = 4 - 2. Suppose -n*k + 4*k = 6. Solve 0 = 3*v + i, -4*v - 5*i - s = -k*i for v.
1
Suppose -4*l + 16 = 2*q, l - 3*q + 5*q - 4 = 0. Suppose -3*p + 2*p = -3. Solve m = 5*j - 4, -j + p*j - 6 = -l*m for m.
1
Let k = 54 + -44. Suppose -z = -2*q - 1, -11 = -4*q + q - z. Solve 5*r = 4*y + 31, -y = -q*r - 0 + k for y.
-4
Let d = -12 - -20. Let p be d + 0 + -1 + -2. Solve 2*z - 15 = p*a, -3*a = -z + 9 + 1 for z.
-5
Let w = -20 - -19. Let a be (w - 1)/(2/(-3)). Solve a*q = 3*m - 24, 5*q + 3*m + 31 = 5*m for q.
-5
Let b be -5*(34/(-10) - -3). Let g(n) = -n**2 - 10*n. Let t be g(-9). Solve 4*x = -b*q, 2*q - 5*x + t = -0*x for q.
-2
Let d(a) = -a**3 + 2*a**2 + 2*a - 1. Let m be d(2). Suppose 8*x = 3*x + u + 16, -3*x - m*u + 24 = 0. Solve x*c + 0*y - 29 = -5*y, y - 5 = 0 for c.
1
Suppose -3*b + 5*b = -8. Let s be (-6)/b*(-20)/(-15). Suppose -2*m + 2 = -s. Solve -4*d + 3*a = 25, -m*d - 4 = -5*a + 19 for d.
-4
Let y be 13/(-52) - 21/(-4). Solve 5*g - p = -y - 4, -9 = g - 2*p for g.
-1
Let m be 19 + -2 + -1 - 2. Solve -4*c - 2*k - 22 = -0*c, 0 = 3*c + k + m for c.
-3
Let p be ((-30)/(-9))/(2/3). Let y be (-2)/p + 6/15. Let n be y*((-21)/(-6))/(-7). Solve -q - 5 = n, w - q = 2*q + 11 for w.
-4
Let f(g) = -g + 6. Let y be (8/(-20))/(2/(-20)). Let w be f(y). Solve 7*z + 15 = -2*o + w*z, 0 = 2*o + 3*z + 9 for o.
0
Suppose 0*d = 2*d + 154. Let j be (-6)/(-10) + d/(-5). Solve -h - 5*u + 0*u = -j, h - 4 = -2*u for h.
-4
Let s(x) = -2*x - 4. Let q be s(-4). Suppose 3*p + 19 = 25. Solve -2 = 3*t - t + i, -q*t - p = i for t.
0
Let i be 88/(-3)*(-3)/2. Suppose -3*f - i = -u - 5*f, 2*u - 80 = -2*f. Suppose k + 3*q + u = 4*k, q = 4*k - 33. Solve -p + 2*r = 3*r - k, 0 = -2*r + 10 for p.
2
Let w be 7/(70/(-4)) - 68/(-20). Solve 0 = 3*q + w*z - 12, 2*z - 2 = -0*z for q.
3
Suppose -4*s + 16 = 0, 5*h - s - 4*s = -15. Solve 5*p - 3*n = -22, 3*p + 5*n - h + 21 = 0 for p.
-5
Suppose 2*a + w = 11, 2*a = -0*a + 5*w + 5. Suppose a*g - 16 = -1. Let y(r) = r**2 - 2*r + 2. Let k be y(g). Solve -13 = x - 3*h, x = -x - h - k for x.
-4
Let x = -12 + 7. Let j be 50/15*(-6)/x. Suppose -j = 2*m - 6. Solve -4*l - 10 = -2*p, p + m = 4*l + 8 for l.
-1
Let x = -22 + 26. Suppose 0 = 5*z + 10, -15 = -i + 5*z + x. Solve -3*y + 2*j + i = 5*j, 2*j = y - 9 for y.
5
Suppose -1 = -2*m - 3. Let b(o) = -3*o. Let h be b(m). Solve 2*u = -2*r - 14, 0*u = -r - h*u - 13 for r.
-4
Let f(o) = 2*o + 8. Let z be f(6). Let y = 9 - 1. Let h be (0 + -1)*0/y. Solve z = -4*k, -3*k - 7 = -2*n - h*n for n.
-4
Let j = -8 + 11. Let h be 1 + -5 + (6 - 4). Let r be j/(7/2 + h). Solve 4 = -s + 4*s - o, -4*o - r = -5*s for s.
2
Let i(v) = -3*v - 1. Let t be i(-2). Let s(b) = 4*b + 5 - t + b**2. Let z be s(-4). Solve 2*p + 3*j - 12 = z, -4*p + 4*j = -1 - 3 for p.
3
Let g be 2 - 1/(-2)*0. Suppose -g*l + 21 = -l. Suppose u - j - 4*j = 27, -l = -3*u + 3*j. Solve -q + 8 = -3*w, q = -u*q - 3*w - 24 for q.
-4
Suppose 0 = 2*z - 4*i - 8, 5*z - 2*i = -1 + 5. Solve 0 = b - 2*x, 3*x = -z*b - b for b.
0
Let g be 48/20 + 9/15. Suppose d + 0 = g. Solve a + d*q = -12, 2*a - 3*q - 18 = a for a.
3
Let a(j) = -5*j + 3*j + j - 7 + 0*j. Let s be a(-7). Let w = 3 - -1. Solve s = -2*i + 5*y + 4, 1 = 2*i - w*y - 1 for i.
-3
Let l(i) = i + 29. Let w be l(-29).