.
2
Let l(m) = -3*m**2 - m**3 - 9*m + 8*m - 8 + 3*m + 0*m**2. Let f be l(-4). Let k(z) = 2*z - 3. Let d be k(3). Solve -d = -w - f for w.
3
Let m be 1/(-3) + 210/(-18). Let r = m + 14. Solve r*d + 1 = 9 for d.
4
Suppose 5*q - 10 = n + 2*n, -5*q + n + 10 = 0. Solve q*i - 1 = -7 for i.
-3
Suppose -5 = w - 2*w. Suppose -w*g - 20 = -10*g. Suppose 3 = -d + 2*r, -5*r + 12 = -3. Solve g = -5*o + d*o for o.
-2
Let b = 6 - 3. Let m = b + -2. Solve g = 3 + m for g.
4
Suppose -2*z - 3*z + 2*i + 11 = 0, 5*z - 5*i = 5. Let u = -3 + z. Solve u*f + 12 = 4*f for f.
3
Let t = 33 - 6. Suppose a - 2*y - 12 = 0, 0 = -a - 0*y - y + t. Let v = -14 + a. Solve -n + v = n for n.
4
Let x(j) = -j**2 - j + 2. Let g be x(1). Solve 3*d - 4*d - 1 = g for d.
-1
Let c = -6 - -3. Let m = 0 - c. Solve 0 = -x + m for x.
3
Let m(f) = 6*f**2 + f. Let o be m(-1). Let p be -6*1*(-2)/4. Solve o*r - p = 22 for r.
5
Let a(c) = c**3 + c**2 - 3*c - 3. Let f be a(-2). Let n be -2 - -3 - f - -4. Solve -5*k + 14 = -n for k.
4
Let t = -8 - -11. Suppose -5*o + 10 = 0, -16 - 16 = 2*a - 4*o. Let f = -12 - a. Solve f = t*q + q + 16 for q.
-4
Let t = -56 + 81. Solve 0 = 3*p + 2*p + t for p.
-5
Suppose 2*p - 1 - 16 = -m, 2*p = m + 7. Solve p*g - 3*g = -6 for g.
-2
Let j be 47/6 - (-5)/30. Solve -4*g = -0*g + j for g.
-2
Suppose 4 = 4*b, 3*o + b + b = 8. Solve y = o*y + 1 for y.
-1
Let h be 27 + -6*(-1)/(-2). Let n = -13 + 25. Let p = h - n. Solve -3*v - v + p = 0 for v.
3
Let y = -118 + 119. Solve 2*u - 3 + y = 0 for u.
1
Let m = -1 + 6. Solve -m*w - 2 - 13 = 0 for w.
-3
Let d(z) = z**2 + z - 2. Let f be d(-2). Suppose 0 = b + 4*v + 8, 2*b + 2 = -b - v. Solve -4*q + 4 + b = f for q.
1
Let l be 1*((-6)/(-3))/2. Suppose -h - 7 - l = -2*p, 3*p - 17 = -h. Suppose -4*r - 20 = -p*a, -4*r = a + 4*a - 20. Solve -z + r*z - 4 = 0 for z.
-4
Let a(r) = 6*r**3 + 11*r**2 + r + 3. Let x(b) = b**3 + b**2 - 1. Let q(t) = a(t) - 5*x(t). Let z be q(-6). Solve s = -1 - z for s.
-3
Let x be (-32)/6*9/6. Let c(r) = -r - 8. Let z be c(x). Suppose 4*d + d - 20 = z. Solve 4*t + 0 = d for t.
1
Let r = 1 - 5. Let h = -10 + 14. Let z = h + r. Solve 4*p + 9 + 3 = z for p.
-3
Suppose -q = -5*v + 24, 2*v - 2*q = 3*v - 7. Suppose -v*k + 117 = 37. Solve -f - 3*f - k = 0 for f.
-4
Let l(b) = b**3 + 16*b**2 - 18*b - 17. Let y be l(-17). Solve y*d - 5*d = -15 for d.
3
Suppose -4*d + 1 = 13. Let k = d + 5. Suppose k*t = -t. Solve t = -2*l - l for l.
0
Suppose -2*s - 7 = -4*b - 7*s, 5*b + 3*s - 12 = 0. Let i = 52 - 28. Suppose -5*n + 5 = 2*o - i, b*n - 2*o - 11 = 0. Solve -5*p + 0 - n = 0 for p.
-1
Suppose 0*s - 5*s + v + 16 = 0, 2*s = -4*v + 2. Solve l + 2 = -s for l.
-5
Suppose 0 = 5*u - u - 12. Let l be (1 + 0 - u)*6. Let v = l + 39. Solve 5*d - 2 = -v for d.
-5
Let m = 78 + -63. Solve 3*l - 8*l = m for l.
-3
Let n(l) = l**2 - 2*l - 8. Let b be n(-4). Solve -5*o = -9*o + b for o.
4
Let o be (1/3)/((-8)/(-48)). Solve 6 + 2 = o*s for s.
4
Let q = 0 + 0. Suppose 3 = y + 3*y + 5*w, -4*y = 4*w. Let m = q - y. Solve -m*o + 5 = 2*o for o.
1
Let g = 34 + -27. Solve g = -5*l - 8 for l.
-3
Let n be 39 - (3 + -3)/(-3). Suppose -5*i = -1 - n. Let l = i + -8. Solve l = -6*w + 3*w + 6 for w.
2
Let j = 23 + -21. Solve 0 = p - j*p + 4 for p.
4
Suppose -4*l = -6*l. Suppose l = 7*j - 2*j - 15. Suppose 0 = 2*x + j*x - 15. Solve x*p = 17 - 2 for p.
5
Let o(p) = 2*p + 6. Let f be o(-6). Let t be (2/f)/(2/(-12)). Solve -t*v + 9 = v for v.
3
Let d(i) = i**3 + i**2 + 4. Let x be d(-2). Solve x*l + l + 2 = 0 for l.
-2
Suppose 0 = 5*q - 3 - 17. Suppose -20 = q*y, 4*y = -x - 0*y - 18. Solve -4*b + x*b - 8 = 0 for b.
-4
Let i(w) = -w + 11. Let d be i(-6). Solve 8 = -5*z - d for z.
-5
Let p = 12 + -12. Solve k + 0 + 4 = p for k.
-4
Let g(r) = 2*r**2 + 4*r + 2. Let y be g(-2). Solve -y*n - n = 9 for n.
-3
Let p be (1*(-3 + 3))/1. Solve 0*l + l + 2 = p for l.
-2
Let z(n) = -n**3 - 4*n**2 + 2. Suppose 0 = -3*r - 2*b + 7, -3*r + 6 + 29 = -5*b. Let v(h) = -h + 1. Let g be v(r). Let p be z(g). Solve -x = p*x + 6 for x.
-2
Let t(v) = -3 + 6*v + 5 + 5 + 0*v**2 - v**2. Let j be t(7). Suppose a - 1 = 1. Solve -3*k + a - 5 = j for k.
-1
Suppose 8 = 2*r - 2*v, -2*v + 4 = 5*r - 23. Let j be (-5 + r)*1/(-3). Solve 4*m + 3 + 13 = j for m.
-4
Suppose -20 = -8*j + 3*j. Let t = 10 - j. Solve 3*a + t = a for a.
-3
Let i(t) = -t - 1. Let o(z) = 5*z - 3. Let b(f) = 3*i(f) + o(f). Let u(r) = -r**2 + r + 7. Let a be u(0). Let q be b(a). Solve -q*h = -4*h for h.
0
Suppose -3*z + r = -24, z + 2*r = -r + 18. Let b = z + -2. Suppose 0 = -4*d - u + b, 2 = -3*u - 1. Solve d*a = a - 4 for a.
-4
Let o(x) = 8*x**2 - 2. Let z be o(-2). Let g = 65 - z. Suppose 3*s + 2*s - g = 2*a, -4*a - 28 = -4*s. Solve s*l + 20 = 2*l for l.
-4
Let f(l) = 2*l - 3. Let p(h) = -h - 1. Let j(u) = f(u) + 3*p(u). Let q be j(-3). Let b = q - -3. Solve b = 4*n + 3 + 17 for n.
-5
Suppose -3*p - 3 = 0, -t = 3*t - 3*p - 11. Solve 0 = t*a - 3*a + 3 for a.
3
Let m be 4/14 + (-36)/(-21). Solve m*q = -5 - 3 for q.
-4
Let b = -64 - -69. Solve b*s = 1 + 4 for s.
1
Let k(t) = -t**3 + 2*t**2 + 4*t + 1. Let h be k(3). Suppose -106 = -5*p - 91. Solve -p = -h*q + q for q.
1
Let x be ((-15)/(-10))/((-3)/(-4)). Suppose 3*m = 4*g - 7, -x = -4*g + 5*m + 7. Let j be (-1)/4 + 37/4. Solve -2*n = -g - j for n.
5
Let o be ((-3 + 3)*1)/1. Solve 2*c = -o*c + 10 for c.
5
Suppose -l = -3*d - 5, 0 = -4*d + 6*d - 4*l + 10. Let t = d + 30. Suppose 12 = -3*f, b - t = 3*f + f. Solve -3*n - b = 2 for n.
-5
Let i be (0/(-4))/(3 - 2). Suppose 0 = 5*y - 2*y - 4*g - 2, -3*g + 1 = -y. Solve i = -t + y*t + 5 for t.
-5
Let h(k) = 5*k + 32. Let y be h(-6). Solve 0 = -y*i - 2*i + 16 for i.
4
Suppose -24 = -2*t - 9*h + 4*h, 4*h - 43 = -5*t. Suppose 5*v - t = 13. Let u(c) = c. Let n be u(v). Solve -2*l + 2 + n = 0 for l.
3
Let t = 10 - 2. Solve -d = -5*d - t for d.
-2
Suppose 12 = -11*y + 15*y. Let h be 26*y/6 + -3. Solve -2*z - h = -0 for z.
-5
Suppose 0 = -4*o - 24 - 0. Let j = o - -5. Let c be ((-20)/4)/(1*j). Solve -c*k + 9 + 11 = 0 for k.
4
Let n be 0/(0 + 0 - 2). Suppose 3*v + 2*s - 42 = n, 5*s + 14 = 3*v - 2*v. Suppose -2*j - 3 = 2*c - 3*j, c = 3*j - v. Solve c = -x + 2 for x.
1
Let y(o) = -o**3 - 6*o**2 - 6*o - 2. Let x be y(-5). Suppose -x*i - 14 = 7. Let h = 12 + i. Solve h*t = t for t.
0
Let b be ((-18)/(-15))/(3*2/15). Solve -w - b = 2*w for w.
-1
Suppose -w - 5 = 3. Let m be 2/w - 34/(-8). Solve c + 10 = -m*c for c.
-2
Let z(n) = -n**3 - 5*n**2 - 2*n + 2. Let t be z(-4). Let w = 10 + t. Solve w*r - 15 = -r for r.
3
Let a = -7 - -11. Solve -a = q - 1 for q.
-3
Suppose -4*c - c = 0. Let m be -2 + (c + -1)*-5. Solve -m*f + 7 = -2 for f.
3
Let j(a) = a**2 + 10*a - 36. Let d be j(-13). Solve -d*t + 0*t = -9 for t.
3
Let d(h) = -h - 3. Let j be d(-5). Suppose 12 = m + j*m. Solve s = 1 - m for s.
-3
Let h = -4 - -6. Let n be (5/10)/((-3)/(-30)). Solve n = 7*l - h*l for l.
1
Suppose 12 = 4*v - b, 5*b + 11 = -9. Solve -v*a = -7*a - 25 for a.
-5
Let c(y) = 5*y**2 + 4*y + 3. Let l(o) = 2*o**3. Let h be l(-1). Let a be c(h). Let x = 9 - 3. Solve a - x = 3*t for t.
3
Suppose 4*q - q + 4*u - 23 = 0, -3*q + 26 = u. Suppose 5*b + 5 = 5*o, 0 = -5*o - q + 24. Suppose -n = 3*n - k - 59, 42 = 2*n + 2*k. Solve -n = -b*t - 2*t for t.
4
Let w(b) = 4*b - 1. Let q be w(1). Solve 7 + q = 5*j for j.
2
Suppose 4 + 0 = 2*h. Suppose 5*f - 25 = -5*k, -4*f + 4 = -16. Suppose k = -0*i - i. Solve 4*n - h*n - 6 = i for n.
3
Suppose -2*w - 2 = -4. Solve p = 3 - w for p.
2
Suppose -16*s + 17*s - 6 = 0. Let c be (-1)/(-2) - (-3)/2. Solve -4 = c*a - s for a.
1
Suppose -4*q - 15 = -5*o - 2*q, -2*o + q = -6. Solve -2*j - 1 - o = 0 for j.
-2
Suppose -i + 4*w - 92 = -5*i, 3*i = -w + 73. Let j(b) = b**2 - b - 3. Let c be j(0). Let m be 2/c + (-2)/(-3). Solve -5*l - i = -m*l for l.
-5
Let r(p) be the second derivative of -p**4/12 - p**3 + 3*p. Let v be r(-6). Solve 0*t - 3*t + 12 = v for t.
4
Suppose k - 7 - 13 = 0. Solve 0 = 4*a - k for a.
5
Let y = -10 + 14. Solve z - 3 = -y for z.
-1
Let d(w) = -w**2 - 24*w - 59. Let g be d(-21). Solve g*p - 12 = 10*p for p.
-2
Let o(m) = 10*m + 4. Let g be o(0). Solve g*k + 1 = 5 for k.
1
Let p(m) = 3*m. Let y be p(1). Suppose 4*c - c = y. Let j = c + 8. Solve -j = -3*w + 3 for w.
4
Let i(k) be the third derivative of k**6/120 - 17*k**5/60 + k**4/2