t f be y(2). Solve 5*m + 5 = -f*m for m.
-1
Let i = -2 + 5. Suppose 0*g = -g + 3, 0 = 4*r + 2*g - 14. Solve -r*y - i = y for y.
-1
Let p = 12 - 12. Solve -5*q + p*q - 5 = 0 for q.
-1
Suppose -i + 0*i = 0. Solve 5*o + 15 = -i for o.
-3
Let h(y) = -4*y - 14. Let c be h(-6). Solve 0 = 5*f + c + 5 for f.
-3
Let w(p) = -p**3 + p - 1. Let z be (-2)/3*1*3. Let i be w(z). Suppose 0 = 8*x + 4*x - 60. Solve -5 = -x*u + i for u.
2
Suppose 0 = -4*c + 2*c + 4. Solve 5*j = 8 + c for j.
2
Let i(r) = -r**2 + 17*r - 37. Let z be i(14). Solve 7*o - 2*o = z for o.
1
Suppose -7 = 8*g - 39. Solve g*t - 2*t = 0 for t.
0
Let j(n) = -n**3 - 3*n**2 - 4*n - 2. Suppose 1 + 3 = -2*i. Let c be j(i). Solve -c*a + 10 = 3*a for a.
2
Suppose 2*m + 4*a = -0*m - 16, -20 = -m + 5*a. Let o be -5 + 7 - (-8 + m). Solve w - o = 6*w for w.
-2
Let z be (12/10)/(3/(-10)). Let y = 8 + z. Solve 0*l + 20 = -y*l for l.
-5
Suppose -3*y + 13 + 23 = 0. Let n be y/8*(-4)/6. Let x be (6 + -3)/(n/(-1)). Solve 2*w + x - 1 = 0 for w.
-1
Let c(g) = -1 - 5 - 2 - 2*g + 1. Let d be c(-6). Let x(z) = -z**3 + 6*z**2 + 8*z - 7. Let y be x(7). Solve -p = -y*p - d for p.
5
Let z(j) = 11*j**2 - j + 2. Let l be z(1). Let c be l/18 + 2/6. Solve c = -2*m - 1 for m.
-1
Suppose 5*k - 29 - 21 = 0. Let c = k + -8. Solve c*a = -3*a for a.
0
Suppose 2*u = 2*d - 50, 2*d - 4*u - 38 = u. Solve -5*f = -d + 4 for f.
5
Let l = -1 - -1. Let w = 3 + l. Let f be w*(0 + 15/9). Solve 4 = -b + f for b.
1
Let s = -9 + 9. Solve s = -4*w + 8 - 24 for w.
-4
Let t = 33 - 28. Solve -14 = t*q - 4 for q.
-2
Let z be (45/(-2))/((-1)/2). Let y be 2/9 + 440/z. Suppose 3*l + 5*n - 33 - 4 = 0, 5 = 5*l - 3*n. Solve 0 = l*j + 2 + y for j.
-3
Suppose 3*q - 4*q + 4 = 0. Suppose -4*s = -3*s - 1. Let v = s + q. Solve v = -5*y + 30 for y.
5
Let s(z) = -5*z**2 + 3 + 6*z**2 - 4. Let o be s(1). Solve 2*u - 7*u + 25 = o for u.
5
Let w = -45 - -50. Solve -8 = w*z - 3 for z.
-1
Suppose 23 = h + 18. Solve j + 0*j - h = 0 for j.
5
Let l be 0/(-3 - (-4 - 1)). Let n(y) = -y + 2. Let x(i) = i**2 - 3*i - 2. Let s be x(3). Let k be n(s). Solve l = 2*v - 4*v - k for v.
-2
Let j = -9 + 7. Let o be (-1)/(-2) + (-9)/j. Suppose -o*z + 20 + 10 = 0. Solve z*r - 4*r = -8 for r.
-4
Let t = -11 - -15. Solve 0 = -t*x - x - 15 for x.
-3
Let x(p) = p**3 + 7*p**2 + 6*p + 3. Let s be x(-6). Suppose 0 = -2*k - m + 13, 0*m = -s*k + m + 22. Solve 4*n + k = 19 for n.
3
Let k be 10/(-15)*-1*3. Suppose k*s + s = -4*p - 28, -25 = 3*s + p. Let d be 12/s*(-8)/6. Solve 0 = d*w + 2 for w.
-1
Let w(z) = z**3. Let l be w(1). Solve -l = -4*u - 9 for u.
-2
Let l be (0 + (-6)/7)*14. Let w be 3/(l/(-2))*0. Suppose w = -5*k + y + 6, -k - 2*y - y + 14 = 0. Solve k + 2 = -i for i.
-4
Suppose -6 = -2*u - 2. Let c = 12 + 8. Let h be (12/(-10))/((-6)/c). Solve -z + u*z = -h for z.
-4
Let u = -6 + 6. Suppose -2*j = -7*j + 25. Let p = -23 + 48. Solve u*o - p = j*o for o.
-5
Suppose 32 = -0*m + 4*m. Let i = m + -5. Suppose -5 = -4*c + i*u, -4*c - 3*u + 27 = -8. Solve 2*o + 1 = -c for o.
-3
Let u be -4 + 7 + 2*13. Let b = -18 + u. Let k = b + -3. Solve -2 = -2*m + k for m.
5
Let y = -2 + 1. Suppose 0 = -2*l - 5*h - 16, -2*l + 0*h - 2*h - 4 = 0. Let o = l + y. Solve -o = -r - 6 for r.
-5
Let k(i) be the third derivative of i**5/60 - i**4/24 + 2*i**3/3 + i**2. Let j be k(-3). Solve -j = 5*w - w for w.
-4
Suppose 0 = -0*b + 2*b + 14. Let m = b - -2. Let j = 5 + m. Solve j = 5*g - 0 + 5 for g.
-1
Let d(g) = -g + 27. Let i be d(12). Solve 0*c = 5*c - i for c.
3
Suppose 2*y + 5*b - 47 = -17, -b + 45 = 3*y. Let i = -24 + 26. Solve i*v - y = -v for v.
5
Suppose 4*i + 3*o = 10, -5*i = -13*o + 8*o - 30. Solve 2*l = 4 + i for l.
4
Suppose t = -1 + 3. Let m be (-4)/(16/(-20)) + -3. Let k be -1*3 + 8/m. Solve t*v = 3 - k for v.
1
Let k be (-1 + 1)*21/(-21). Solve 2*b + k = 6 for b.
3
Suppose -p = 3*u + u - 2, -6 = 4*u + 5*p. Let g = 101 - u. Suppose q + g = 6*q. Solve -4*d + q = -0*d for d.
5
Suppose -5*j = -3*j - 6. Let n be 3 + 2/6*j. Suppose 2*w + 2 = -n*z + 22, 0 = -z - 2*w + 11. Solve 0 = -z*u + 2*u for u.
0
Suppose -10 = -5*y - c, 0*y + 2*c = -4*y + 14. Solve -y = -q - 0*q for q.
1
Let z = -55 + 59. Solve z*d = 7*d for d.
0
Suppose -9*n + 12*n = -36. Let i be -1*n/(-8)*-2. Solve i*v = 1 - 4 for v.
-1
Let x = 3 - -5. Solve -3*u = u - x for u.
2
Let m(i) = i**2 + 8*i - 4. Let f be m(-9). Suppose -13 = -4*z - f. Suppose -2*w = 2*w. Solve w = -b - z*b - 6 for b.
-2
Suppose 4*z = w - 4, -w = -4*w + 3*z + 3. Suppose 3*v + 4*u - 4 = w, 5*u = v - 2*v - 17. Let a = v + -7. Solve -a - 2 = -3*n for n.
1
Let s be (0 - 4)*(-1)/2*3. Solve 1 = -5*d + s for d.
1
Let a(i) be the third derivative of -i**6/120 + i**5/15 + i**4/24 - i**3/6 + i**2. Let n be a(4). Let c = 15 - 8. Solve 2 = n*h - c for h.
3
Let n(q) = -3*q**3 - 2*q**2 + 1. Let d = 4 - 5. Let r be n(d). Suppose -4 = -t + 2*j, -r = 5*t - j - 22. Solve -g = t*g for g.
0
Let r(f) = f + 1. Let y be r(-7). Let l = y + -13. Let t = -2 - l. Solve 4*v - 1 = -t for v.
-4
Let v(k) = -k**3 + 10*k**2 - 7*k - 18. Let w be v(9). Solve s + s + 6 = w for s.
-3
Let b(i) = i - 8. Let p be b(10). Suppose -4*f + 3*c = -27, c + 4*c = p*f - 31. Solve -2*a = -f*a for a.
0
Let v(b) = -8*b - 2. Let p be v(-1). Solve -p*j + 4 = -7*j for j.
-4
Suppose 5*m = 4*p + 15 + 9, -12 = -3*m. Let h be 6 - (-3 + p + 6). Solve 0 = 2*a - h + 2 for a.
1
Let x(q) = 2*q - 2. Let c be x(5). Suppose 0 = 3*s + s - 52. Suppose 7 = -4*i - s, -a + i = -8. Solve -c*g = -a*g + 10 for g.
-2
Suppose -2*z + 67 = 3*m, -3*m - 2*m = -3*z + 53. Let k = -21 + z. Solve -9 = k*q + 1 for q.
-2
Let r = -1 + -5. Let i = -4 - r. Let m be (-6)/4 + (-12)/(-8). Solve 4 = i*l - m for l.
2
Let k(f) = -f**2 - 10*f + 17. Let r be k(-12). Let t = r - -10. Solve o + t = -2 for o.
-5
Let w(a) be the second derivative of -a**5/20 - a**4/12 - a**3/3 + 4*a. Let x be w(-2). Solve -3*b + 7*b - x = 0 for b.
2
Let a = 1 + -1. Let c(p) = p**3 + 4*p**2 + 2*p + 3. Let x be c(-3). Suppose -9 = 3*f, -2*r + x*r - 2*f - 26 = 0. Solve 2*m + 3*m + r = a for m.
-1
Let k(g) = -g**2 + 5*g - 4. Let n be k(4). Suppose n = 3*m - 6*t + 2*t - 16, -4*m - 20 = 5*t. Solve 2*l + m - 4 = 0 for l.
2
Let t be 46*2/4 - -2. Solve 0 = j - 6*j + t for j.
5
Let d be 4 + 3 + (-3 - -1). Suppose -13 = -0*i - 2*i - 5*n, 4*i - 50 = -2*n. Let p be 4/i - (-36)/21. Solve -p + 27 = -d*z for z.
-5
Let q = 2 - -5. Let t(j) = 6*j**2 + 2*j + 1. Let h be t(2). Let b = h + -25. Solve -q*p = -3*p + b for p.
-1
Let i = -3 + 5. Solve 0 = i*p + 7 - 1 for p.
-3
Let w(p) = -p**2 - 6*p - 1. Let h be w(-4). Let j(r) = r**3 - 3*r**2 - 8*r - 8. Let t be j(h). Let d be 2/5 + t/20. Solve 4*q = -d - 5 for q.
-3
Let p = 6 - 2. Let c = -3 - -8. Let l = c - p. Solve 19 = 4*f - l for f.
5
Suppose 0 = -3*g + 2*y - 6*y + 2, 2 = -2*y. Solve g*h - 3 = -h for h.
1
Suppose -2*g = -4*z - 4, 0 = -g + 3*z + 3. Suppose g = 4*l - 15 - 1. Solve l*f - 15 = -f for f.
3
Let y = 2 + -2. Let c(h) = 13*h - 6. Let u be c(4). Let p = u + -30. Solve y = -2*o - 2*o - p for o.
-4
Suppose -11*q + 14*q = 3. Solve 0 + q = -g for g.
-1
Let u = 33 + -24. Solve -u*r = -11*r + 2 for r.
1
Suppose 0 = 15*d - 14*d - 1. Solve -3*l + 4*l - d = 0 for l.
1
Let h = -4 - -7. Let q(y) be the third derivative of y**4/8 - y**3/6 - 3*y**2. Let v be q(1). Solve 0 = -h*l + l - v for l.
-1
Let o(v) = -v**3 - 2*v**2 + v - 1. Let r be o(-3). Let i be 0/((-2)/(r + -3)). Solve -5*b + b - 16 = i for b.
-4
Let l = 2 - -1. Suppose 3*k - l = -3*h - 0*k, -k - 7 = -3*h. Solve 11 = -3*y + h for y.
-3
Let j = -32 + 34. Solve -j*l + 0 = -10 for l.
5
Let r be (-10)/(-6) - (-20)/15. Solve 0 = -r*o - o + 16 for o.
4
Let a = -25 + 31. Solve -14 = 2*h - a for h.
-4
Suppose -44 = -4*u + 2*u. Suppose 0 = -3*z + 4*a + 3, -3*z - 2*z + a = -u. Solve -z*b + b = 0 for b.
0
Let k(q) = -5*q + 27. Let l be k(5). Let b be 1 - (1*-1 - 5). Solve -l*s = -b*s - 20 for s.
-4
Let n = -13 - -30. Let q = n + -12. Solve -5*t + 5 + q = 0 for t.
2
Suppose 4*p + 6 = 10*p. Solve 4*j - p = 3 for j.
1
Suppose -i - g = 10, g + 26 = -5*i - 32. Let a be 1 + (2 - i - 1). Suppose 12 = 3*z - 5*q - 2, 0 = -2*z + q + a. Solve -2*k = -z - 0 for k.
4
Suppose 6*z = 3*z + 66. Let b be -4 + z/2 + -4. Solve -9 + b = -2*l for l.
3
Let b be 70/30 - 2/6. Suppose 4 = b*w - w. Solve -5 - w = -3*v for v.
3
S