= 2*f - 28, 2*f + 0*z + z - 8 = 0. Solve 2*t - f = 2 for t.
4
Let d = 13 - -87. Let z be d/12 + (-1)/3. Solve -3*y - z + 2 = 0 for y.
-2
Let o = 138 + -132. Solve o*j = 7*j + 2 for j.
-2
Suppose 0 = -u - 0*u. Let a be (u + 10)/((-6)/(-3)). Suppose -4*b = -7*b + 21. Solve a*v - b = -2 for v.
1
Let d(c) be the third derivative of c**4/12 - c**3 + 2*c**2. Let m be d(5). Solve 3*o - 11 - m = 0 for o.
5
Suppose 3*n = -y, 4*n - 3*n - 4 = -y. Solve 2*a = 5*a - y for a.
2
Let a be (8/(-16))/(3/(-42)). Solve a - 1 = -3*q for q.
-2
Let x(y) be the third derivative of 0 + 0*y + 3*y**2 + 1/60*y**5 + 7/24*y**4 - 1/3*y**3. Let q be x(-8). Solve m + q = 3*m for m.
3
Suppose 0 = -5*v - 4*j - 16, -2*v + 0*v + 20 = -5*j. Let c(g) = -g**2 + 6*g + 3. Let t be c(6). Solve v = -3*l - t - 9 for l.
-4
Suppose 2*h = -2*h + 28. Let u(m) = -4 + 7*m**2 + 0 + m - m**3 + 0*m**3. Let t be u(h). Solve -2 = -t*p + p for p.
1
Suppose -2*p - 4 = 4*a, 4*a + 11 = 3. Suppose 3*b + 1 = -2*u - p*u, b + 4*u = -3. Suppose -i + b = -4. Solve 5 = -0*d + i*d for d.
1
Let g = -10 - -10. Suppose -i + 0 + 2 = g. Solve i*r - 3 + 5 = 0 for r.
-1
Suppose -s + 18 = 2*f, 27 - 11 = 2*f + 2*s. Solve -2*p - f = -2 for p.
-4
Suppose -3*y - m = -0*y - 6, -2*y + 5*m + 4 = 0. Solve y*j - 3 = -j for j.
1
Let s be 3*(-15)/(-9)*1. Suppose 0 = -2*n - 1 + 3. Let g = 2 - n. Solve -g + 11 = s*z for z.
2
Let l(z) = -4 + 2*z**2 + 4 - z**2 - 5*z. Let f be l(6). Solve 3*m - 3 = f*m for m.
-1
Let d(f) = -6*f. Let l be d(-1). Let k(s) = 3*s + 2. Let r be k(2). Let c = r - l. Solve -c*a - 20 = 3*a for a.
-4
Suppose -4*n - 5 - 7 = -a, -5*a + 110 = 5*n. Solve -8*x = -4*x - a for x.
5
Let a(n) = -n**2 + 6*n - 1. Let l = -12 - -17. Let b be a(l). Suppose t - 9 = k - b*t, -3*k + 3*t = -9. Solve -k = -3*y + 6 for y.
4
Let c(v) = v**2 - 4*v - 1. Let u(j) = -j**3 + 3*j**2 + 6*j - 3. Let q be u(4). Let s be c(q). Solve 2*n = s*n + 10 for n.
-5
Let p(b) = 3*b**2 + 8*b**3 - 1 - 7*b**3 + 4*b + 3*b**2. Let o be p(-5). Solve -5 - 7 = o*k for k.
-3
Suppose 0 = 3*f + 6, -96 = -2*c - 3*c - 2*f. Suppose 4*z - c = -8. Suppose 0 = -3*o + 4 + 2. Solve z*x - 20 = -o*x for x.
4
Suppose w - 5*l = -0*w + 3, -4*l + 16 = 0. Let y be (-6)/2 - ((-40 - 2) + 0). Let v = y - w. Solve 0*d - v = 4*d for d.
-4
Let b be (-3 + (-4)/(-8))*(-12)/15. Solve -b*p = 4 + 2 for p.
-3
Let i be 2/(-4)*0/(-4). Solve -3*j + 2*j - 1 = i for j.
-1
Let p be 3 - (1 + 1 - 2). Suppose -5 = -2*f + p. Solve -f = l - 3*l for l.
2
Suppose 6 = 4*v + 3*z, 3*z = -z + 8. Solve v = j - 0 + 4 for j.
-4
Let t be (-1)/(-5) + 24/(-20). Let p be 292/12 - t/(-3). Let b be 6/p + 7/4. Solve -7*g + 20 = -b*g for g.
4
Suppose -5*t - 5 = 0, t = 4*y - 9 - 40. Suppose o = -3*o + y. Solve o*h - h + 2 = 0 for h.
-1
Let y be -3 + -4 + (1 - -2). Let h be ((-6)/(-9))/(y/(-18)). Solve h*p + 4 + 2 = 0 for p.
-2
Suppose 11 = 5*i - 4. Solve 3*k - 12 = i for k.
5
Let i = -23 + 38. Solve -5*l - i + 40 = 0 for l.
5
Let s(b) = -b + 1. Suppose 2*r - 6*r + 5*a = -24, -2*a = 8. Let p be s(r). Let g be (-4)/(-6)*-3 + 11. Solve 3*q + p = -g for q.
-3
Let v(c) = 2*c**3 - 2*c + 1. Let z be v(1). Let d be 6/(-30) - z/(-5). Solve -3*g + 5*g + 6 = d for g.
-3
Suppose -2*u = -2*p + 10, 5*p - 15 = 5*u + 2*p. Let z be (-27)/(-6)*4/6. Suppose u = -z*b - b + 28. Solve 9 = 4*t - b for t.
4
Let l(t) = -2*t - 6. Let n be l(-6). Solve 1 = 5*f + n for f.
-1
Let s = 79 - 54. Let d = 27 - 27. Solve d = -i - 4*i + s for i.
5
Suppose 2*a - 6*r - 4 = -3*r, 4*a - 4*r - 8 = 0. Suppose 3*t = -a*i - 61, 0 = i + 2*t - 17 + 46. Let g be ((-2)/7)/(5/i). Solve 0 = 4*h - 6 - g for h.
2
Let c be 2/(-6) + 34/(-6). Let f(d) = -d**2 - 5*d + 6. Let p be f(c). Let i = 90 - 86. Solve p = -3*h + h - i for h.
-2
Let i be (2 - -3)*(-1)/(-1). Suppose -5*k + 1010 = -i*j, j + 3*k = 5*j + 809. Let z be 1/5 + j/(-35). Solve 3*h + 3 = z*h for h.
1
Suppose -15 = -8*f + 1. Solve -a + 2 = -f for a.
4
Let k = 0 + 10. Solve 2*u - 4*u = -k for u.
5
Let o be (9 + -9)/(0 + 1). Solve o = -3*u + 7 + 2 for u.
3
Let t = -29 - -45. Let l be (2 - 6)*(-20)/t. Solve l*x = -3 + 23 for x.
4
Let b(j) = -j**3 - 6*j**2 + 3. Let g be b(-6). Suppose g*y = 5*r - 82, r + y - 1 - 17 = 0. Suppose r = 5*n - 13. Solve f + f = n for f.
3
Suppose 3*o = -5*v - o, 0 = -v - 5*o. Let j = v - -4. Suppose j*c + c = 0. Solve 4 + c = -k for k.
-4
Let k be -2*(5/2 - 0). Let u(z) = -z**2 - 7*z - 6. Let n be u(k). Suppose -4*d + 12 = -4*t, 5*d = -4*t + 2*t + 1. Solve -5 + d = -n*x for x.
1
Let s be (-9)/(-2) + (-3)/(-6). Suppose 0 = n - s + 1. Solve -2*x = -n*x + 8 for x.
4
Let d be (-189)/(-35) + 4/10*-1. Solve -d*a - 8 = -33 for a.
5
Suppose m + 3*m - 20 = 0. Let a(b) = b**2 - b + 3. Let t be a(-3). Let y = t + m. Solve -3*h = h - y for h.
5
Let x(r) = 2 - 2 + 10*r + 8 + 2*r**2. Let z be x(-6). Let d(a) = a**3 - a**2 - a. Let i be d(0). Solve 5*s - s - z = i for s.
5
Let t(h) = -h**3 - 10*h**2 + 11*h - 2. Let u be t(-11). Let i = -4 + u. Let f = i - -6. Solve f = 2*m + 3*m for m.
0
Suppose -15 = -19*b + 16*b. Solve -b*g = -3 - 12 for g.
3
Suppose -3*f = v - 26, -4 + 8 = -3*f + 5*v. Solve w - f + 3 = 0 for w.
4
Let a be (-7)/(-2)*(-160)/(-56). Solve -3*x = -x - a for x.
5
Let k be 2/5*(-35)/(-1). Suppose g = 1, -m + 2*g - k = -2*m. Suppose m = 5*s - 2*s. Solve -s*o = -6*o for o.
0
Suppose j = 3*j - 10. Let r = -2 + j. Suppose r = -0*v + v. Solve v*l = -l - 16 for l.
-4
Let k = 12 - 8. Solve -3 = k*w - 23 for w.
5
Suppose -2*o + o = -4. Suppose -1 = -2*q + 3. Solve q*g - 10 = -o for g.
3
Let f(y) = -5*y - 2. Let u be f(-2). Let h be 2/u*-2*-2. Solve m = -h - 2 for m.
-3
Suppose 5*f + 24 = -6. Let c = f + 10. Suppose c*t - 9 = -u, -4*t = -2 - 2. Solve -u*m + 5 = -0*m for m.
1
Let o = 10 - 2. Solve -i = i - o for i.
4
Let q(m) = -m**3 + 3*m**2 + 4*m - 10. Let h be q(3). Solve -5*s = h - 22 for s.
4
Suppose 5*i - 2*i = 18. Let h = i - 3. Solve -6 - h = 3*y for y.
-3
Suppose 15 = 4*m + m. Solve 0 = 3*w - 2*w + m for w.
-3
Let y be 5*(-1 - (-18)/10). Let c(u) = 4*u**2 - 11. Let o be c(3). Solve 9 = -y*k + o for k.
4
Let a = -7 + 22. Solve 4*z + a - 3 = 0 for z.
-3
Let c(r) = -r**2 - 3*r + 2. Let z be c(-3). Suppose z*a = -2*a. Solve a*f = -f for f.
0
Suppose -3*b = -b - 280. Suppose 4*c = -c + b. Suppose -w + c = 4*x, -x - 4*w = -5*x + 28. Solve 2 = -g + x for g.
5
Suppose -5*s + 0*v + 35 = 5*v, 3*s = 5*v + 29. Solve 4*c + s = -4 for c.
-3
Let l be -5 - -4 - 10*-1. Let a = 7 - 5. Solve a*o + l = 3 for o.
-3
Suppose 0 = -2*w + 2 + 8. Suppose 5*y - 82 = -q, 0*q + w*q = -2*y + 42. Let g(b) = b**3 - 9*b**2 - 10*b. Let d be g(10). Solve d = -7*z + 3*z + y for z.
4
Suppose 0 = -4*z - 4*i + 24, -2*z - 2*i = -6*z + 24. Solve -l = -3*l + z for l.
3
Suppose 3*r + 3 = 15. Suppose 0*i = -i - r*c - 14, -4*i = 4*c - 4. Solve i*b - 20 = 2*b for b.
5
Suppose 40 - 15 = 5*v. Suppose -2*g = -5*c + 1, 2*g - v*c + 11 = 5*g. Solve 0*a + g*a = 10 for a.
5
Let y be 13/6 - (-17)/(-102). Solve 14 = -4*v + y for v.
-3
Let o(u) = 6*u - 27. Let w be o(5). Solve -2*q = 1 + w for q.
-2
Suppose d = -m + 7, 2*d + m = -0*m + 9. Let u be (-57)/(-21) + d/7. Let r be 56/5 - (-2)/(-10). Solve 4*j = u - r for j.
-2
Suppose 24*b + 6 = 26*b. Solve -q = -4*q + b for q.
1
Let i(y) = 5*y - 11. Let v(g) = 6*g - 12. Let p(b) = -5*i(b) + 4*v(b). Let n be p(4). Solve 0 = -0*q + n*q - 9 for q.
3
Let k = -29 - -16. Let o = 5 + k. Let b(q) = q**3 + 8*q**2 - q - 7. Let y be b(o). Solve -y = 5*f - 11 for f.
2
Let z = -18 + 12. Let r = -4 - z. Suppose o = -r*o. Solve -w + 3 - 5 = o for w.
-2
Suppose 5*g - 4*g = 3*g. Solve 2*s + 3 + 1 = g for s.
-2
Let b be (-4)/(-5)*10/4. Suppose f = b*c - 6*c + 7, -f = -5*c + 2. Solve -f*m = -0*m + 15 for m.
-5
Let t(x) = 4*x + 19. Let h be t(-5). Let c(d) = -3*d**3 + d + 1. Let b be c(h). Let r be -1*(-1)/1*4. Solve b*j - r = 2 for j.
2
Let x(k) = -k**2 + 19*k + 48. Let t be x(21). Solve -4*y - 10 = -t*y for y.
5
Let q be ((-24)/(-20))/((-12)/(-30)). Solve -q*u + 8 = -1 for u.
3
Let h be (-1 - (-2 - -8))*-1. Let i = h + -5. Solve -15 = i*k + k for k.
-5
Let x be ((9 + -3)/3)/(2/5). Let r = -1 - -5. Suppose 5 = x*z + 5*q, -r*z - 4*q = -2*q - 8. Solve -10 = -8*p + z*p for p.
2
Let g be (-6 - -2)/((-4)/6). Let u(h) = h**3 - 6*h**2 + 6. Let p be u(g). Solve -3*b = -p*b + 6 for b.
2
Let g = 124 - 108. Suppose -5*i + 