-3 - (-2)/1). Let n be (h + 15)*(-7)/((-70)/4). Solve 15 = n*k + 3 for k.
3
Let x = 84 - 76. Solve -12 = -x*c + 12 for c.
3
Suppose 29*x - 406 = 754. Solve 3*q = x - 34 for q.
2
Let t = 68 + -60. Let l(o) = o**2 - 9*o + 10. Let r be l(t). Solve -r*c = -5*c for c.
0
Suppose 2*j = 99 - 39. Let p = 34 - j. Suppose -o - 5*g = 20, -4*o - 5*g - p = 1. Solve 13 - 3 = o*k for k.
2
Let z(j) = j**2 - 9*j - 7. Let l = 15 + -10. Suppose -2*m = o - 7*m + l, 0 = 5*o - m - 47. Let s be z(o). Solve -s*f = f - 12 for f.
3
Let b(l) = -2*l**3 - 2*l**2 + 6*l - 5. Let g be b(-3). Solve -5*p - g = -3 for p.
-2
Let x(y) = -12*y - 9. Suppose q = -2*q - 3. Let u be x(q). Solve 3 + 12 = u*b for b.
5
Suppose -26 = -4*n + 2. Suppose -n = 5*h - 37. Solve 14 = -5*i - h for i.
-4
Let j = 90 - 77. Let m = j + -10. Solve f = -m + 4 for f.
1
Let f(k) = -2*k**3 - 5*k**2 - k + 2. Let a be f(-5). Let v = 134 - a. Suppose -2*p + 9 = 3. Solve -v + p = c for c.
1
Let m = 7 + 8. Let u be (m + 2)*(1 - 0). Solve -3*s - 2 + u = 0 for s.
5
Suppose 3*r + 72 = 9*r. Solve r = -32*m + 28*m for m.
-3
Suppose 40 = b + 35. Let z(i) = -2*i**2 + 11*i. Let k be z(b). Solve -k*j - 6 = -2*j for j.
-2
Let i = -1021 + 1034. Solve -i*y = -9*y + 12 for y.
-3
Suppose 310 = 5*c + 5*p, -3*p = -7*c + 2*c + 342. Solve 3*a - c = 25*a for a.
-3
Suppose 3*q - 40 + 13 = 3*p, 0 = -5*q + 3*p + 37. Solve 0 = -5*b - q + 20 for b.
3
Let t(a) = a**2 + 34*a - 25. Let h be t(-35). Solve 0 = 2*w - 7*w + h for w.
2
Let h(a) = 2*a**3 + 29*a**2 - 12*a + 63. Let s be h(-15). Solve s*n - 14*n = 0 for n.
0
Let i(d) = -2*d**3 - 12*d**2 + 36*d + 34. Let q be i(-8). Solve -32*r + 2 = q for r.
0
Let c be 536/(-14) - (-20)/70. Let y = 38 + c. Solve y = -5*z + z + 12 for z.
3
Suppose -a = -3*u - 0*a, 2*u = 3*a. Let y(z) = -2*z**3 + 2*z + z**3 - 13 - 32*z**2 - 11*z + 26*z**2. Let g be y(-5). Solve u = 3*r - g*r - 8 for r.
-2
Let w be ((-18)/7)/(1/(56/(-12))). Solve -5*r - w = -17 for r.
1
Let g be 3 + 4 + (2 - 3). Let b be (-1*3)/g + (-88)/(-16). Solve -b*p - 2 = -4*p for p.
-2
Let g be 98/(-8) + (-2 - (-18)/8). Let i(u) = u**3 + 12*u**2 - 3*u - 30. Let s be i(g). Solve 2*k = -s - 4 for k.
-5
Suppose -2*v - 30 = 6. Let w = v - -4. Let m = -11 - w. Solve 0 = 5*u + 22 + m for u.
-5
Suppose 3*f + 12 = u - 6, -u - f = 2. Suppose u*y + 4 = 5*y. Solve y*a + 10 = -0 for a.
-5
Let m(k) = 3*k - 1. Let h be (9 + (-3 - -1))*1. Suppose 0*r + 3*r - 14 = l, -2*l - h = r. Let c be m(r). Solve c = -4*d - 8 for d.
-4
Let t be (-38)/(-4) - (42/12 - 4). Suppose -t*r + 31 + 29 = 0. Suppose 3*i + 12 = 5*b - 1, 2*b = 2*i + 2. Solve l - i*l - r = 0 for l.
-2
Suppose 3*m - 117 = 3*g, -m = -6*m + 3*g + 205. Let w be (-1)/(-3) + m/12. Suppose -w*r = -5*h - 10 + 1, 9 = 3*h. Solve -n - n = r for n.
-3
Let t(i) = 6*i + 46. Let p be t(-7). Solve -p*f = f for f.
0
Let p(u) = -2*u - 10. Let r be p(-8). Suppose r = n - 1. Suppose -4*h = -n - 5. Solve 2 + h = s for s.
5
Suppose r = 4*k + 17, r = -4*r - 4*k + 13. Suppose -r*w = 31 - 51. Solve 0*c - w = -4*c for c.
1
Suppose -12 = 7*s - 10*s. Suppose 3 = s*z - 13. Solve 4*j + 0*j + z = 0 for j.
-1
Suppose -1 = -6*t + 5*t. Let w(a) = 13*a - 2. Let r be w(t). Suppose r*z - 14*z + 6 = 0. Solve 2 = -0*d + z*d for d.
1
Let x be (-8 - 216/(-32))*-4. Solve -12*w - x*w - 17 = 0 for w.
-1
Let l(n) = 5*n + 4. Suppose 23*u - 30*u = 0. Let q be l(u). Solve -4*y = -q + 16 for y.
-3
Suppose 414 = 23*s + 46. Solve 8*y + s = -24 for y.
-5
Suppose -5 = -n - 2. Suppose 14 = n*f - 1. Solve -f*x = -1 - 9 for x.
2
Suppose j = 2*k, 0*k + 5*k - 26 = -4*j. Solve -k = 4*y - 10 for y.
2
Let j(f) = 6*f. Let g be j(1). Suppose 86 = -5*b + 61. Let a(u) = -u**3 - 6*u**2 - 6*u - 5. Let s be a(b). Solve 2*z - g*z = s for z.
0
Let t = 5 - -28. Suppose 0 = 2*l + 2, t = 5*a - 3*l. Solve 3*m + a = -0 for m.
-2
Let b = 104 - 104. Solve -j + b*j = -2 for j.
2
Let g(b) be the third derivative of b**6/120 + 2*b**5/15 - 11*b**4/24 - 3*b**3 - 36*b**2. Let n be g(-9). Solve -i - 5 = -n*i for i.
-5
Suppose -5*m + 53 = 3*k, 14*m - 13*m - k - 9 = 0. Solve m*s + 26 - 6 = 0 for s.
-2
Let n(i) = i**2 + 11*i + 30. Let l be n(-5). Solve j + j - 4 = l for j.
2
Suppose 20 = 2*c - 4*c + 4*u, 0 = c - 3*u + 15. Suppose 5*q + 2 - 7 = 0. Let x be 1/(1*q/5). Solve 3*g + x + 4 = c for g.
-3
Let d = 79 + -72. Solve -5*l = -8 - d for l.
3
Let h = 68 + -70. Let s be 8*h*15/(-80). Solve s*c - 1 - 2 = 0 for c.
1
Let q(a) = a + 15. Let t be q(-7). Let c be (t + -5)*(-68)/(-3). Suppose -5*f + c = 13. Solve -f = -5*p + 4 for p.
3
Let n = -12 + 29. Let z = n - 14. Let j be 10/2*3/z. Solve -j*s = -7 - 3 for s.
2
Let l = -639 - -654. Solve l = 10*p + 5 for p.
1
Let l(s) = -s**3 + 3*s**2 + 3*s + 2. Let b be l(4). Let m be 4 + (b - 6/(-2)). Solve -o - 4*o = m for o.
-1
Let y(w) = -w**3 + 6*w**2 - 3*w - 5. Let b be y(5). Suppose 0 = 5*i - 2*c + b, -5*i + 0*i + c = 0. Let t be 3 + -3 + 0/1. Solve t = k + i for k.
-1
Suppose 3*u + 4*g = 6, -3*u - 3*g + 8 = 2. Solve -4 = -x - u for x.
2
Suppose 4*f = -f + 30. Let p be ((-4)/4)/((-2)/f). Solve -p*m = -4 + 16 for m.
-4
Let i = -871 - -877. Solve -i*k + 8 = 2*k for k.
1
Suppose -15 = -700*z + 685*z. Solve -10*n - 1 = -z for n.
0
Suppose -4*m + 3*m = x - 1, 3*m - 4*x - 24 = 0. Suppose 3*v = 35 + 37. Solve -4*b - v = -m for b.
-5
Let s(q) = 2*q**2 - 6*q - 4. Let h be s(5). Let m = h + -6. Let a = m - 8. Solve 7*v = a*v for v.
0
Let f(a) = -a**3 + 19*a**2 + 21*a - 16. Suppose 5*r = -2*p + 20, 2*p - 84 = -2*p + r. Let q be f(p). Solve -q*d + 15 = 3 for d.
3
Suppose 52 = 3*c + 1. Solve c = -6*i - 1 for i.
-3
Let c = -794 - -798. Solve 70 = -c*w + 78 for w.
2
Suppose 0 = 5*f + 4 - 49. Let k = f - -6. Let y be (4 + (-65)/k)*-12. Solve i = y*i - 9 for i.
3
Suppose v + 3*i + 4 = 0, 0*v + 1 = -5*v + 4*i. Suppose 0 = 4*o + 3*w - 1 - 4, -o = -2*w + 7. Let q = o - v. Solve -2*y + 1 + 3 = q for y.
2
Suppose -3*t + 16 = 2*s, -5*t + 18 = 3*s - 4*s. Let w = 1 + s. Suppose 60 = -32*q + 124. Solve -q*h = h - w for h.
1
Let b = 257 + -254. Solve 4*u = -b + 11 for u.
2
Let y(c) = 2*c**2 + 9*c + 6. Let q be 1/(-2) - (4 + 7/(-14)). Let x be y(q). Solve -4 - x = 3*k for k.
-2
Let m(q) = -2*q**3 - 8*q**2 - 4*q - 6. Let j be m(-4). Let b be (-6)/j - (-1032)/120. Solve 2 = 2*x - b for x.
5
Let m be -3 + -1 - (-36)/4. Suppose -4*t + 2 = -t - 2*i, 3 = 2*t - i. Let j be 1/t + 5/(-20). Solve m*n = -j*n for n.
0
Let z be (16/6)/1*9. Let n = 1210 + -1205. Solve -z + 4 = -n*r for r.
4
Let l = -1 + 4. Suppose 33 = a + 3*s - 3, -5*a - 4*s + 125 = 0. Suppose -14*m + a + 91 = 0. Solve m = -l*c - 4 for c.
-4
Let f = 24 - 24. Suppose 0 = -f*z - 2*z - 54. Let x = 52 + z. Solve -x = 4*c + c for c.
-5
Let k be (-8)/(-52) + -3*(-4)/(-78). Let v(b) = b**2 - 17*b + 32. Let n be v(15). Suppose 7*d - 3*d - 2*s - 14 = 0, 3*s = -4*d + 9. Solve k = -d*j + n*j for j.
0
Let r be -6 + 0 + (-72)/(-63)*7. Suppose 3*a + 2*a - 60 = 0. Solve -a = 5*z - r*z for z.
-4
Let t(m) = -m**2 + m - 26. Let o be t(0). Let i = -24 - o. Solve -q - 1 = -i for q.
1
Let i(w) = w**3 + w + 1. Let t(l) = 2*l**3 + 6*l**2 - 2*l - 12. Let x(p) = -i(p) + t(p). Let k be x(-6). Solve 4*v + k = 17 for v.
3
Let z(y) = -69*y + 360. Let g be z(5). Solve -g = -0*m - 3*m for m.
5
Let k(w) = 3*w - 4. Let c be k(-3). Let j = -5 - c. Suppose -z + 4*b - 3 = -2, -4*b + 13 = 3*z. Solve -j = a + z*a for a.
-2
Let j be 24 + 0 + (-18 - -21). Let c = -22 + j. Solve 4*q - 7 - c = 0 for q.
3
Suppose -6*h + 1049 - 1025 = 0. Solve -h = 6*t + 14 for t.
-3
Let q(h) = -10*h + 76. Let u be q(8). Suppose -3*i + 12 = -2*r, 10 = -5*i - r + 43. Let j = i + u. Solve -j*x + 2 = -6 for x.
4
Let c(d) = 21*d**2 + 29*d + 31. Let j(a) = 4*a**2 + 6*a + 6. Let y(m) = 2*c(m) - 11*j(m). Let l be y(-3). Solve -t + l*t = -2 for t.
-2
Let p = -5 - -7. Solve -4*b - p = -3*b for b.
-2
Suppose 0 = 35*x - 35 - 455. Solve -x*d - 10 = -16*d for d.
5
Let l be 6/4 - 3/2. Let x(c) = c - 4. Let g be x(6). Suppose q - g = -l*q. Solve q*j - 3*j = -2 for j.
2
Suppose 0 = -z - 15 + 9. Let l = 0 - z. Let o be 1 - 3/((-9)/l). Solve 2*j + 1 = -o for j.
-2
Let z be (0 - -106)/((-7 + 6)*1). Let b = 110 + z. Solve 3*w = -1 + b for w.
1
Suppose 5*r = g - 45, 0*g + 66 = 2*g + 2*r. Solve -4*q - 31 = -g for q.
1
Suppose r - 3*k = 2*k + 4, k = 5*r - 20. Suppose 98 = r*c + 90. Solve 6*v - c*