3 + 5)). Suppose i = k - 3 - z. Solve 2*d = 4*d - k for d.
2
Let m(k) = -k**2 + 7*k. Let h be m(4). Suppose -s + 4 = i, s = -5*i + 4*s - h. Let t be 1/(-1) + i + 5. Solve -q = t*q for q.
0
Suppose -3*d = -3*a - 51, 2*d + 4*a + 56 = 5*d. Solve 0 = -8*v + d*v for v.
0
Let s(i) = i**3 + 4*i**2 - 2*i - 8. Let f be s(-4). Suppose -5*o + 2*k = -k + 6, 3*k = -3*o + 6. Solve f = t - o*t for t.
0
Let u(z) = -17*z. Let p be u(-4). Suppose -23 = 5*q - p. Let t be 3*((-12)/q + 2). Solve o = t*o + 5 for o.
-5
Suppose -5*f + 32 = 2. Let k(v) = 3*v**2 + 15*v + 18. Let n be k(-5). Solve 3*h - f = -n for h.
-4
Let f be -2 + 1/((-1)/(-3 + 1)). Solve f = 3*x + x for x.
0
Let r = -109 - -113. Solve 0 = -r*d - d + 15 for d.
3
Let l = 33 - 1. Solve -5*f + l = 7 for f.
5
Let g be 14/35 - 138/(-5). Suppose -g + 8 = -5*w. Solve 2*t + w = -2*t for t.
-1
Let r be (-21)/(3/(-2) + 2). Let v = -22 - r. Solve 0*a + 5*a = -v for a.
-4
Suppose 2*h = b - h - 32, 0 = 2*b + 3*h - 19. Let o = 30 - b. Solve 2 + o = 3*y for y.
5
Suppose 4*p - 8 = -136. Let g be p/(-10) + 2/(-10). Suppose g + 3 = n. Solve -2*v + n = -4 for v.
5
Suppose 2*d + 5 = 13. Suppose -d*j - 6 = -18, 2*a - 2*j = 18. Solve -2*i + a = i for i.
4
Suppose 0 = 5*l + 2*w - 202, 0 = 4*l - 2*w + 3*w - 161. Let n be l/5*(-2)/(-4). Solve 4 = -n*b - 8 for b.
-3
Let p = 1 + 1. Suppose -3*v - 2*v + 44 = -d, 0 = 4*d - 4. Solve -a + v = p*a for a.
3
Let h = 3 + 1. Let f(c) = -6*c + c + h*c + 7. Let q be f(7). Solve 4*y + 16 = -q for y.
-4
Let f(w) = -w**2 + 9*w - 4. Let c be f(8). Suppose 4*n = j - 17, -4*j + 40 = 2*n - 4*n. Solve -j = c*y - y for y.
-3
Let y(f) = -f**2 + 18*f - 25. Let s be y(15). Solve 2*w = 6*w + s for w.
-5
Let z = 108 - 102. Solve -s = -z + 4 for s.
2
Let b be (8/(-4))/(2/(-1)). Suppose b = r + 5. Let y = r + 4. Solve 3*h - 2 - 1 = y for h.
1
Suppose 5*z = 5*a, 0 = a - 2*z - 0 + 2. Suppose 0*h + 84 = a*h. Solve 5*n - h = -17 for n.
5
Suppose -3*l - 4 - 5 = 0. Let r(h) = -2*h + 0 - 3 + h. Let o be r(l). Solve o = -y - 2 for y.
-2
Let s = -65 + 68. Solve -s*k + 0 = 15 for k.
-5
Let g = 9 - 7. Suppose 3*d - g*d - 16 = 0. Let t be d + -1 - (-6 - -6). Solve 2*p = 5*p + t for p.
-5
Suppose 0 = 3*v - 2 - 7. Suppose -3*l + 21 = 5*z, 2*z + v*z - l - 13 = 0. Let t = z - 0. Solve -2*y - t*y = 0 for y.
0
Suppose -3*i + 4*q + 252 = 0, 4*q + 229 = -5*i + 617. Suppose 4*s - 5*z = i, 3*s + 2*s - 2*z - 83 = 0. Solve 0 = 4*f - f + s for f.
-5
Let x = -8 + 11. Let b(t) = -t + 13. Let f be b(10). Suppose 4*c - 45 = f*z, -2*z = 5*c - x*c - 12. Solve 4*w + 11 = -c for w.
-5
Let p(o) = o**3 + 12*o**2 + 11*o - 6. Let j be p(-11). Let t be (-32)/(-6) + 2/j. Solve -8*w = -t*w + 9 for w.
-3
Let o be 20/(-5) + (3 - -8). Let z(h) = 3*h - 3. Let s be z(2). Let i be (s/2)/(9/24). Solve -i*r + o - 3 = 0 for r.
1
Let r = 8 - 6. Let u be (-13)/(-2) - (-1)/r. Solve u*n - 4*n = 0 for n.
0
Let j = -42 + 44. Solve j*f = f for f.
0
Suppose 22 = 4*o + 2*s, -4*o + s - 11 = -30. Solve 0 = o*z - 3*z - 10 for z.
5
Let o = 17 - 10. Let q = -4 + o. Solve 0 = q*w - 2 + 5 for w.
-1
Let b be (1/(-2))/(2/12). Let c(p) = -p - 3. Let l be c(b). Let k = 162 - 158. Solve -q - 3*q + k = l for q.
1
Let p = 4 - 1. Suppose -2*r + 8 = 0, p*k - 16 = -r + 6. Suppose 2*b - k = -0*b. Solve 2*f = b*f - 5 for f.
5
Let g(c) = c**3 - c - 1. Let z be g(0). Let t be 2 - (-1 - (0 - z)). Suppose 0*r = -t*r + 80. Solve w - 6*w = -r for w.
4
Let c = -60 + 62. Solve 7 + 1 = -c*s for s.
-4
Suppose 0 = 3*i + t + 3 - 1, -t - 2 = -2*i. Suppose a + 4*a - 25 = i. Solve -5*s = -0 - a for s.
1
Let v be 1/(-4) - 10/(-8). Let d = -1 + v. Solve 2*j - j - 3 = d for j.
3
Let i be 30/(-4)*6/(-9). Solve -4*f + i = f for f.
1
Let n(t) be the third derivative of -t**6/120 + t**5/10 + 7*t**4/24 + 2*t**3/3 + 9*t**2. Let y be n(7). Solve 4*w + 0 - y = 0 for w.
1
Suppose v - 4*v = -18. Suppose -v = 4*j - 34. Solve 0 = 5*l + 8 + j for l.
-3
Let o be 1/(-1) - 1 - -4. Suppose -5*p = -3*l + 4 - 19, -5*p = 5*l - 15. Let y be 0 + l - 40/(-2). Solve -o*u - 2*u - y = 0 for u.
-5
Let i(f) = f + 6. Let y be -9 + (-2)/(1*-2). Let n be i(y). Let t be n/6 - (-50)/15. Solve -t*l = -0*l - 9 for l.
3
Suppose 9 - 3 = 3*s. Suppose 0 = s*d - 4*u + 24, 6*u - 3*u - 60 = 5*d. Let y be (-69)/d - 3/(-12). Solve -x + y = x for x.
3
Suppose 0 = 8*k - 42 + 10. Solve 2*d = k + 6 for d.
5
Let s = -18 + 24. Solve -s*a + a + 25 = 0 for a.
5
Let j be 2*-2 - (17 + -23). Suppose j*d = 3*d. Let y(b) = b**3 - 5*b**2 - 4*b - 7. Let a be y(6). Solve a*p - 20 = -d for p.
4
Suppose 0 = -3*t + 5*t + 5*r - 15, 5*r = 15. Solve t*m - 4 = m for m.
-4
Let z = 8 + -14. Let h = -2 - z. Suppose 4*r + 5*y - 57 = 0, -4*r + 4*y + 4 + 8 = 0. Solve 2*c - h = -r for c.
-2
Let w(k) = k**3 + 4*k**2 + 10*k + 8. Let m(y) = -y**2 + y. Let h(z) = -3*m(z) + w(z). Let q be h(-6). Solve -q*v = -6*v for v.
0
Let k(d) = -d**3 + 14*d**2 + 15*d + 4. Let n be k(15). Solve 5*q = n + 11 for q.
3
Let k(c) = c + 13. Let v be k(-9). Suppose u - v = 1. Solve u*h = 2*h - 15 for h.
-5
Suppose -6 = 3*u + 3. Let w = u - 3. Let h = -4 - w. Solve -h*s - s = 15 for s.
-5
Let x = 14 + -8. Solve -2*z + 16 = -x*z for z.
-4
Suppose 4*c = 9*c - 45. Let y be 2/c - 32/(-18). Solve 7*n - y*n + 20 = 0 for n.
-4
Suppose -4*f - 11 = -15. Solve 2 = -i + f for i.
-1
Suppose -i - k = -4*i + 16, 2*i + 4 = -3*k. Let s = i + -1. Suppose -4*q + 6*a = 2*a + 20, q - s*a + 15 = 0. Solve q = -4*d + 2*d + 4 for d.
2
Suppose 0 = o + 3*o - 12, -2*y - 5*o = -51. Let k = 32 - y. Suppose 5*w - k + 4 = 0. Solve w = -0*z - z for z.
-2
Suppose 6*d = 8*d - 42. Let b = d - 21. Suppose 0 = 4*v - 3*o - 12, -4*v - 14 = -5*v - 2*o. Solve b = -4*j + v*j - 8 for j.
4
Suppose -4*f + f + 6 = 0. Let l(g) = -11*g + 3. Let r(m) = 5*m - 2. Let x(h) = -4*l(h) - 9*r(h). Let k be x(6). Solve 0 = f*n - k - 8 for n.
4
Suppose -32*p = -31*p - 3. Solve 5 - 8 = -p*j for j.
1
Suppose -5*m - 5*c + 52 = -3*c, -2*m + 3*c = -17. Solve -4*x = -9*x - m for x.
-2
Let j be 0*-1*1/(-2). Let f be j + -3 - -6 - -1. Solve -f*a = -3*a + 4 for a.
-4
Let p(l) = -l**2 + 5*l - 3. Let k be p(4). Let z = 15 + -10. Solve z*c = 4 + k for c.
1
Let a be (8/10)/((-14)/(-35)). Solve 0*j = -a*j + 4 for j.
2
Let g(f) = f**3 + 6*f**2 - f - 3. Let d be g(-6). Let b be ((-88)/6 - -2)*-3. Let k be (-2)/(-7) + b/14. Solve k*c = 2*c - d for c.
-3
Let x = -7 - -15. Let f = -32 + 64. Suppose 4*y = -f + 128. Solve y = -4*v + x for v.
-4
Suppose 4*v = 5*v - 16. Let q = -32 + 36. Solve q*l = -0*l - v for l.
-4
Suppose -13*s = -10*s - 15. Solve -2*h + s + 1 = 0 for h.
3
Suppose -3*a + 5 + 4 = 0. Solve z = -0*z + a for z.
3
Let d be 0 - (-2 - 0) - 0. Suppose n - d*n = 0. Solve -4 = -m - n for m.
4
Suppose 3*x = x + 6. Suppose -5*k = -x*k - 4. Let n = k + 2. Solve o + n*o - 25 = 0 for o.
5
Suppose -5*b + 0 = -4*j - 26, -b - 3*j - 10 = 0. Suppose 61 = 5*d - 4*u, 0 = -4*d - 2*u + 6*u + 52. Let g be 5/3*1*3. Solve 0 = g*c - b*c + d for c.
-3
Suppose -5*y + 0 = 2*d + 4, -5*y = 4*d - 12. Let g be (-62)/(-22) + d/44. Solve 2*f + g*f = -25 for f.
-5
Let w = -1 - -1. Let n = -11 + 41. Let h be (-1)/3 - (-70)/n. Solve w*s + h*s = -4 for s.
-2
Let p be 0 + 9 - (4 - 1). Let d be 28/p - 3/(-9). Solve d*x + 7 - 2 = 0 for x.
-1
Let j(l) = 0*l - 4 + 2*l - 3*l + 2*l. Let f be j(6). Suppose f*y - 7 = 1. Solve -c = -0 + y for c.
-4
Suppose -s = -6 - 3. Let j = 3 + 2. Let x = s - j. Solve p = x*p for p.
0
Let j = 42 + -37. Solve 0 = -4*i + j*i + 2 for i.
-2
Let a(f) = 4*f**2 + f - 2 - 2*f - f - f. Let q be a(-2). Solve -z - 4*z = -q for z.
4
Let c = -76 - -124. Suppose x = -3*x + c. Solve -b - 3*b + x = 0 for b.
3
Suppose 0 = 7*w - 2*w. Solve w*k - 4*k - 12 = 0 for k.
-3
Let s = 23 - 32. Let k = 13 + s. Solve k = 2*c + 2*c for c.
1
Suppose 0 = 4*z + j - 71, 3*j = z - 1 - 7. Suppose -3*x = -4*d - z, -d = d - 5*x + 5. Let v = d - -8. Solve 5*i = v*i + 10 for i.
5
Let g(h) = 5*h + 35. Let w be g(-6). Solve 27 - 7 = w*q for q.
4
Let f be 6/9*-3 + 0. Let m = 1 - f. Let r be 1/3*m + -1. Solve -h + 3 - 4 = r for h.
-1
Let g(t) = -t - 9. Let u be g(-14). Solve 3 = u*r + 28 for r.
-5
Let w be (-8464)/(-40) - 2/(-5). Let v be 2/6 + w/12. Let x be (-12)/v - (-2)/3. Solve q + 2*q = x for q.
0
Suppose 5*a = 4*h + 9 + 29, 0 = -5*a - 2*h + 26. Solve 2*g - a = -g for g.
2
Let d be (1 + -1)*(-5)/10. 