+ 18, 5*i + 4*z - b = 0 for i.
4
Let h(o) = -o**3 + 19*o**2 + 21*o - 6. Let y be h(20). Solve t = 5*t - 3*k + 22, 0 = -2*t + 3*k - y for t.
-4
Suppose 0 = -5*f + 20, 2*k + 4*f + 8 = k. Let j = k - -24. Solve j*q + 2*q + h = -5, 3*q + 4*h + 20 = 0 for q.
0
Suppose 4*l - 76 = -4*m, -4*l - 3*m = -49 - 29. Let q be (-50)/8 + 2/8. Let r = -4 - q. Solve -5*f = -t - l, 0 = 5*f + r*t - 38 + 5 for f.
5
Suppose -t + 2 = l, 4*l = 4*t - 9*t + 12. Let k = l + 2. Solve 5*f = -d + 3*d + 11, -3*d + 3*f - 12 = k for d.
-3
Suppose r = -3*k + 93, k - 3*r - 5 = 26. Suppose -i = -2*d - 21, -3*d - 2*d = -4*i + 81. Suppose k + i = 2*n. Solve 2*g + w = -0 - 13, 0 = -5*w - n for g.
-4
Suppose w - 2 = -6. Let o = 6 + w. Suppose o*k - 110 = -3*k. Solve 6*a - a + 1 = 3*y, 4*y = -5*a - k for a.
-2
Let y be (-2)/4 - 15/(-2). Let g = y - 2. Suppose -16 = u - g*u. Solve u*h - 27 = -5*x, -4*x + 9 = -h - 0 for x.
3
Let n be 13/(-26)*(0 - 6). Solve 3*m - 6 = 3*k - 15, 0 = -n*k - 2*m + 14 for k.
4
Let b be 28*1 + -2 + -3. Suppose -5*a + 2*l = 4*l - b, 5*a = 5*l + 30. Solve 3*k - a*k + 12 = -2*n, 7 = 3*n + 2*k for n.
-1
Suppose -y + 2 = -3. Suppose -2*h + 7 = 5*v, 8 = 2*v - 5*h - 18. Solve 5*r - 22 = -y*t + 13, -v*r - t = -15 for r.
4
Let r be 2/(-6) - (-195)/45. Solve -4*j - 13 = 3*y - 9*j, 3*j = -r*y + 31 for y.
4
Let u(g) = -2*g - 8. Let s(q) = -2*q + 2. Let b be s(4). Let o be u(b). Let x(n) = -n + 7. Let t be x(-5). Solve 2*z = -7*v + 3*v - 4, 0 = -o*v + 2*z + t for v.
1
Let w be (3 + -5)/(1/(-2)). Suppose -s = 4*z - 4, 5*z = 2*s - 0 + 5. Solve -w*k - f - f - 18 = 0, -2*k + f - 11 = s for k.
-5
Let p be ((-1)/(-1))/(1/8). Suppose k = 5*k - p. Solve 3*g = 5*t - 17 - 6, k*t - 3 = -5*g for t.
4
Let r(o) = -o + 8. Let l be r(0). Let j be (-1 - -3) + l*2. Solve -m - 5*y = -8, 3*m + 2*m + j = 4*y for m.
-2
Let n be ((-6)/12)/(1/68). Let d be ((-2)/2)/((-2)/(-46)). Let k = d - n. Solve 0 = 3*j + 4*l - k, 0*l - 1 = j - l for j.
1
Suppose 0 = p - 0*p - 3*b + 6, 4*p + 4 = 2*b. Let l be (-138)/(-30) + (-2)/(-5). Solve p = -2*g - 6, -l*o + 3*g + 29 = -0*g for o.
4
Let o = -18 + 10. Let p(x) be the third derivative of x**5/60 + 5*x**4/24 - 4*x**3/3 + 2*x**2. Let b be p(o). Solve -b = -4*g - 4*r, 5*g - 4*r - 10 = r for g.
3
Suppose -3*q = 2*q + 3*s - 6, 0 = -3*q + s + 12. Solve 3*y - q*o + 1 = -y, 25 = -5*y - o for y.
-4
Let t be (((-51)/2)/(-3))/(55/110). Solve -3*h + 3 = 3*i, 0*h + 4*h + t = 3*i for i.
3
Suppose -g = -2*c + 6, 3*g = 2*c - g - 6. Suppose -2*i + 2 = -i. Solve -o + c = -0*o, 4*o - 18 = -i*l for l.
3
Let g(n) = n**2 + 2*n - 8 + 4 + 3. Suppose -r - 2 = 0, p + 3 = -4*p - 4*r. Let a be g(p). Solve -4*c - 5*y - 2 = 0, 2*y = a*c - 2*y - 12 for c.
2
Let r(n) = 2*n**2 - 3*n + 5. Let x be r(-4). Let q = -29 + x. Solve -j - 5*l - 9 - 13 = 0, 5*j = l + q for j.
3
Let g(b) = -6*b - 2. Let w be g(-1). Solve -c = 5*y + 13, 21 = c - w*y + 7 for c.
2
Let z(b) = b**2 + b - 7. Let q be z(3). Solve 2*k - v - q = -4*v, -v = -5*k - 30 for k.
-5
Let j(r) = r**2 - 11*r - 15. Let x be j(13). Suppose 0 = 3*v - 4*v + h + 5, 0 = -2*v + 3*h + x. Solve 2*w = -n - 7, v*n + 3 + 10 = -5*w for n.
3
Let n be (4 + -4)/(2 - 3). Let o be ((-19)/2)/((-1)/2). Suppose 0 = -5*g - 3*y + 26, 5*y = -g + 13 + 1. Solve -3*b - 4*f - 18 = n, -g*f = 5*b - f + o for b.
-2
Let d = -2 - 5. Let r = d + 12. Solve -5 = -4*m - r*q, 5*m + q - 13 = -3*q for m.
5
Let y(k) = k**3 + 10*k**2 - 12*k + 4. Let t be y(-11). Suppose -t = -3*i - 0*i. Solve -2*x = -l + 3, 17 = -i*l - 4*x - 24 for l.
-5
Let o be 1/(27/6) + (-102)/(-27). Solve 2*w - 2*g = 4*w - 18, -g = o*w - 21 for w.
4
Suppose -4*l + 14 = 6. Solve 4*o = 4*r - 8, -2*r - l = 5*o + 15 for o.
-3
Suppose -2*a + 5*a = 15. Solve a*y = 3*i - 11 + 39, 3*i = -3 for y.
5
Suppose 9*t + 6*t = 6*t. Solve 4*m + 1 = y, -3*m + t*y - y = 6 for m.
-1
Suppose 8 = 7*r + 1. Solve 5 + r = -f + 5*b, 5*f + 2 = -3*b for f.
-1
Let n(p) = -p**2 - 21*p - 51. Let m be n(-17). Solve 21 = -5*j - f + 2*f, m = -5*j + 2*f for j.
-5
Let k = 25 + -21. Solve 0 = 5*v + 15, -3*y + 5*y - 8 = k*v for y.
-2
Suppose -45 = -5*v - q, -4*q + 6*q = -2*v + 26. Solve 3*k = 5*m - 0*k + 29, -4*k = m - v for m.
-4
Let y(d) = -6*d + 2. Let m be y(-3). Let u be 4/(-6) + 20/3. Solve f = 3*w + 5, 2*w - u*w + m = 4*f for w.
0
Let c be (-94)/(-18) + (-8)/36. Suppose 0 = -n - c*u - 0*u, -3*n + u = 0. Suppose 5*o + n*o = 140. Solve -s + 3*g = -8, 3*g + 0*g + o = 5*s for s.
5
Let v be (-2)/4 + 9/6 + 2. Solve -v*b + 4*t + 7 = 2*t, 2*b - 18 = 4*t for b.
-1
Let n(s) = s + 1. Let d be n(1). Let l be d/(-5) - (-22)/5. Let v be (-2)/3*-3*1. Solve -j = -4*t + v, -5*j + j = -4*t - l for j.
2
Let y be (-1)/((-62)/40 - (-36)/24). Solve c + c + 10 = -3*i, 5*i + y = 0 for c.
1
Let p be (-4)/(4 + -2) + 4. Suppose -75 = -3*k - p*k. Solve 4*n + 13 = -c, 1 = -3*n + 4*c + k for n.
-2
Suppose 2*p - 5 = -1. Let k be ((-4)/8)/((-1)/(-10)). Let x = k - -8. Solve x*g + 12 = 5*n, -2*n + p*g - 4 = 3*g for n.
0
Let s(j) = -j**2 - j + 35. Let k be s(0). Solve g + k = 6*g + 5*z, 4*g = 2*z + 10 for g.
4
Let n(v) = -8*v + 12. Let w(x) = 2*x - 3. Let t(c) = 2*n(c) + 9*w(c). Let q be t(3). Suppose -s + q + 13 = 0. Solve 3*i + 13 - 1 = 0, s = -d - 3*i for d.
-4
Suppose -i - 5*u = -u, 0 = u. Suppose -60 = -6*f + 3*f. Solve i = 2*o + 4*q + f, 2*o + 0*q = 4*q + 20 for o.
0
Suppose -b - 35 = 2*b - 4*w, -w = -3*b - 47. Let m = -16 - b. Solve 0 = c - 4*t - 2 - 2, -m = -5*c + t for c.
0
Suppose 4*h + 5*m = -36, -2*m - 61 = 5*h + 1. Let c be (-38)/h - 6/(-21). Solve 2*d = -2*v + 18, 3*d + c = v + 10 for v.
5
Suppose -3*d - 4*o = -5*d - 12, d + 21 = -3*o. Let s be d/(-9)*3/2. Solve -3*h = s*w - 2*h - 2, -h = -4 for w.
-1
Suppose -2*u + 41 = m, 17 = u + 2*m - 5. Let y = -6 + 9. Solve 0 = 4*k - 2*o + y*o + u, 8 = -3*k + o for k.
-4
Let m(h) = -4*h**2 - 5*h - 4*h + 1 + 3*h + h**3. Let j be m(5). Let g = j + 12. Solve 2*o + 12 = 5*o - 3*d, -g = -o + 3*d for o.
2
Suppose 0 = -3*g - 7 + 16. Let d = -1 + 1. Let j = g + d. Solve 25 = -5*c - 0*m + 4*m, -j*c - 8 = -m for c.
-1
Suppose -2*v + 1 = -2*w - 1, -2*v - 5*w = -16. Solve -b = -2*s - 0*b + 13, v*s - b = 17 for s.
4
Let b = -12 - 4. Let i = -7 - b. Let u be 3*6/i + 0. Solve -12 = u*p - 6*p - 4*l, -4*l = -8 for p.
1
Let r(o) = -7*o**2 + 3*o - 32. Let a(c) = 3*c**2 - c + 16. Let q(i) = 5*a(i) + 2*r(i). Let z be q(0). Solve -n = -4*l - z, 5*l - 3*n - 4 + 24 = 0 for l.
-4
Let m(h) = h**3 + 5*h**2 + 6. Let x be m(-5). Let i(g) = -2*g - x - g + 2*g. Let p be i(-9). Solve -2*t - 14 = 4*j, 4*t - p*j + 4 = -2 for t.
-3
Let l = 19 + -11. Let g be (l/(-20))/((-1)/5). Suppose 0 = -g*x + 8. Solve 0*f - 16 = 4*f, x*f = -2*i - 6 for i.
5
Suppose 0*l - 80 = -4*s - l, s - 2*l - 29 = 0. Let w be 4/7*s/6. Solve 4*x = -5*t + w*x - 21, -x = -4*t - 22 for t.
-5
Suppose 5*g + 0*g = 105. Let v = 31 - 27. Suppose -v*b + g = -b. Solve 4*l + c = b, c + 2 = 3*l + 2*l for l.
1
Let r be 10/6 + (-3)/(-9). Suppose -12 - 20 = -r*o. Solve -k - d - 2*d + 8 = 0, 4*d - o = -4*k for k.
2
Let r(t) = t**2 + 5*t - 2. Let n be r(-4). Let m be (-8)/1 - 20/(-10). Let c = n - m. Solve k + 6 = -c*k + 5*z, -5*k = 4*z - 28 for k.
4
Suppose -4*v = a + 3, 9 = 2*a - a - 2*v. Solve -2*g + a*j + 9 = -3*g, -j = 2*g for g.
1
Suppose 3*d = d. Suppose 2*a - 92 = -5*y, -a + d*a - 4 = 0. Suppose 5*c - y + 5 = 0. Solve 0 = 2*w + c*m - 7, 25 = 4*m + m for w.
-4
Let v = -3 + 12. Let k = v + -6. Suppose -o = o + k*j - 14, -2*o = -4*j. Solve -t + o*n = -10, -4*n - 20 = 5*t - t for t.
-2
Suppose 0*x = -2*x - m + 8, 9 = x - 2*m. Solve -4*u + 2*w = 26, 0 = -2*u + 4*u - x*w + 25 for u.
-5
Let i be 2/2 - (-24)/(-4). Let t = i + 10. Solve 9 = -2*m + t*m - n, 15 = 5*m + 2*n for m.
3
Suppose -2*p + 4*p = 12. Let y = -1 + p. Let n be (34/(-6))/((-10)/30). Solve 4*u + 0*u + n = y*z, -3*z = u for z.
1
Suppose -3*t + 6 + 2 = -2*n, 8 = 2*t - 4*n. Solve 14 = -t*s + b + 5, 4*b + 29 = -5*s for s.
-5
Let v = -38 + 43. Solve 0 = s + 4*i - 13, -i = -s - v - 2 for s.
-3
Let j(a) = -a**2 + a + 9. Let u be j(3). Solve -u*x - 17 = 5*n + x, -5*n - x - 23 = 0 for n.
-5
Let w = -2 - -7. Let b be -2 - (-1 + -1 + -1). Suppose -2*x - 2*o + 1 + w = 0, -o = -b. Solve 2*u + 21 = 3*z - 0*u, -u - 13 = -x*z for z.
5
Suppose 3*s + 4*f - 4 = 7*s, f = -3*s + 17. Let i = 6 - s. Solve -3*j + 0*b + i*b = -10, -2*j = 2*b for j.