9*s. Let p be n(v). Solve 4*d + p = -2 for d.
-2
Let s be (-6 - -12)/(0 - 1) - -74. Solve -s*r + 64*r + 16 = 0 for r.
4
Let n be -4 + (-3)/(-1) + 6 + -2. Solve -2*i = -i - n for i.
3
Let v be 83/9 + 10/(-45). Let q = -5 + v. Let p be q*(3/(-4) - -2). Solve -p*m + 9 = -11 for m.
4
Suppose 34 + 6 = 5*n. Let f(w) = -w**3 + 7*w**2 + 8*w + 9. Let m be f(n). Solve 25 = -4*t + m for t.
-4
Suppose 7*v - 4*v = 9. Suppose -v*o + 7*o + 4*u - 56 = 0, 0 = -o - 5*u + 34. Let f be (-16)/(-28) - 31*(-5)/35. Solve o*q = 4*q + f for q.
1
Let q be ((-12)/(-9))/(4/18). Let s = -12 - -12. Suppose s + 2 = 2*d. Solve u - d = -q for u.
-5
Let y(q) = -q**2 + 7*q - 8. Let g be y(6). Let j(i) = 4 - 3 - 57*i + 55*i. Let r be j(g). Solve -4*s + 3 = -r for s.
2
Let k = 46 + -37. Suppose -r + 2 = -3*u + k, -5*u + 13 = -3*r. Solve 3*h + u*h = -5 for h.
-1
Let g be (4/(-12))/((-2)/(-12)) + 2. Let h be (g - 10/4)*(-408)/340. Solve 0 = h*w + 2 + 4 for w.
-2
Let g(f) = f**3 + 9*f**2 + 7*f - 3. Let p be g(-8). Suppose p*n + z - 10 = 12, -3*n + 9 = 2*z. Solve n*k + 0*k = -5 for k.
-1
Let j = 24 - 53. Let y = -21 - j. Suppose 0 = y*v - 3*v - h - 14, -2*h = -5*v + 18. Solve -i + 15 = v*i for i.
5
Suppose 10*j = 51 - 1. Solve -j*p + 5 = -0*p for p.
1
Suppose -37*o = -43*o + 42. Suppose -12*u = -31 + o. Solve 3 - 5 = -u*t for t.
1
Let z(h) = -2*h + 9. Let r be z(13). Let v = -25 - r. Let n = v + 8. Solve n*i - 4*i = 0 for i.
0
Suppose 2*j + 20 = -3*j, -o - 3*j = 4. Solve -7*p = -11*p - o for p.
-2
Let b(s) = -s**2 + 7*s - 10. Suppose 10*p = -0*p + 40. Let w be b(p). Solve -w*y + 3 = -1 for y.
2
Let g(t) = 5*t**2 + t - 6. Let f(b) = -14*b**2 - 4*b + 17. Let i(h) = -4*f(h) - 11*g(h). Let x be i(-7). Solve 6*q + x = 2*q for q.
-3
Let c be ((-4)/7)/(14/(-98)). Solve h = c*h for h.
0
Suppose l = -4*l. Suppose -2*u = -l*u - n - 7, 0 = 5*u + n - 21. Solve -u = 5*m - 24 for m.
4
Let v be (-18)/24*-4*2. Let j be 39/2 + 5/10. Solve v*r + j = r for r.
-4
Suppose -39*x - 52 = -43*x. Solve 7*b = x*b + 30 for b.
-5
Suppose 5*k - 25 = 0, 9 - 1 = s + k. Let u be 1 + 1*-1 + 0. Suppose u*y = s*y - 30. Solve 0*b = -2*b + y for b.
5
Suppose -3*s + 3*y + 33 = 0, -y - 60 = -7*s - 7. Solve s*d + 4*d = 0 for d.
0
Let n = -1 + 10. Let y be (1/(-2))/(n + 333/(-36)). Solve -g - y*g + 9 = 0 for g.
3
Suppose -54*j + 780 = -24*j. Solve 3*w - j + 17 = 0 for w.
3
Let b = -12 - -28. Let c be 2 + 8/(b/(-4)). Solve c = -4*t + 2*t - 6 for t.
-3
Let q(p) = p**3 - 6*p**2 - 2*p + 6. Let c be (3/6)/(2/24). Let h be q(c). Let l = h - -8. Solve -3*d - 25 = l*d for d.
-5
Suppose -2*b = 5*u - 2 - 42, 2*u = -5*b + 5. Solve -12 = 14*i - u*i for i.
-3
Let o = 72 - 70. Solve -18*x - 16 = o for x.
-1
Suppose 4*r + 45 = -r. Let w(o) = -o**2 - 9*o + 8. Let i be w(r). Solve 0 = -4*v + 24 - i for v.
4
Suppose 2*d = -2*d - 12. Let l be 2/d*27/(-18). Let p be l/7 - 8/56. Solve p = 2*c - 0*c + 4 for c.
-2
Suppose 2*l = -4*r + 6 - 36, r = 4*l + 15. Let b = l - -9. Let i be 21*1 + (1 - 8) + 6. Solve b*o = -o - i for o.
-4
Let q = -1 - -4. Let u be (14/4 - -1)*(-9 - 110/(-10)). Solve -q*h = -u - 6 for h.
5
Let x = -100 - -190. Let w = 143 - x. Suppose -2*j = -o - 0*o - w, -o - 3 = 0. Solve 0 = -0*r + 5*r - j for r.
5
Let f = 124 - 121. Solve -11 = -f*p + 4 for p.
5
Suppose 2*i = 4*j, -4*j - 3*i + 0 = -20. Suppose -2 = j*g - 8. Solve -g*p = -2 - 7 for p.
3
Let b(t) = -t**3 + 2*t**2 + 4*t - 5. Let r be b(2). Suppose r*a - 2 = 2*a. Solve -a*p - p = 0 for p.
0
Let w(j) = j - 3. Let c = -6 + 9. Suppose 0 = -c*g + 2*m + 2*m + 17, -g = 4*m - 27. Let l be w(g). Solve -3*h = -h - l for h.
4
Suppose -9*y + 270 = y. Solve -5*o + y = 7 for o.
4
Let g be 42/6 + -10 + 5. Solve -g = -3*u - 11 for u.
-3
Suppose -529*x + 16 = -513*x. Suppose 5*n - 10 = o, -n = 5*o + 1 - 3. Solve o = 2*y - x + 5 for y.
-2
Suppose 5*d = 92 - 12. Solve -3*t = d - 22 for t.
2
Let r(a) = 3*a**2 + a - 14. Let b be r(-6). Let f = b - 83. Solve 3*y - f*y - 6 = 0 for y.
-3
Let q(f) be the first derivative of -5*f**2 - 3*f + 2. Let k be q(2). Let n = -21 - k. Solve 5*g = n + 8 for g.
2
Suppose -8 = -12*m + 28. Solve 0 = m*j + 5*j - 8 for j.
1
Suppose 0 = -14*c - 1 + 1. Solve c = -5*v + 7*v - 2 for v.
1
Suppose 590 = -8*u + 110. Let w = -50 - u. Solve w = -5*r - 10 for r.
-4
Suppose 3*a + 81 = 3*v, 2*a + a = 2*v - 78. Let m = a + 24. Solve m = 3*l - 7*l + 16 for l.
4
Let k = -94 + 99. Solve 0 = 2*o + k*o for o.
0
Let f(w) = -w**2 + 4*w + 11. Let h be f(5). Let k(y) = y**3 - 7*y**2 + 6*y + 3. Let g be k(h). Solve -g = -2*t - t for t.
1
Let a = -180 - -185. Solve m = 1 - a for m.
-4
Let g(h) = h**2 - 17*h - 8. Let r be g(18). Let l(w) = 2*w - 15. Let i be l(r). Solve 12 = i*j + 2 for j.
2
Let u be 8/(2/4*1). Let o = 26 - u. Suppose 5*j - o*j = 0. Solve 3*p - 15 = -j for p.
5
Suppose -4*v + 125 = 25. Let r be -1 + -3 - v/15*-3. Solve r + 4 = 5*u for u.
1
Suppose 4*i - 4 = -f, 4*i = 7*i - 2*f + 8. Let w be (0 - 0)/(-1) - i. Let q be w + 3/(-1) - -3. Solve 2 = 2*r - q for r.
1
Suppose 8*x = x + 112. Suppose 16 = -2*b - 4*w, w + 2 = -3*b - 2. Let n be b + (4 - (1 - 1)). Solve -n*c = x + 4 for c.
-5
Let l(f) = -5*f - 27. Let m be l(-7). Let c be m/2 - (-1 - -1). Solve -c*h = -h for h.
0
Let l be ((-4)/(-3))/((-2)/(-6)). Suppose 0 = -9*o + 4 + 86. Suppose -k + o = 4*j - 3, 25 = 5*k. Solve -l*t = j - 6 for t.
1
Let h(n) = -15*n**3 - n**2 + 2*n - 1. Let c be h(1). Let q = 1 - c. Let l = -142 + 142. Solve l = 5*z - 4 - q for z.
4
Suppose 14*g - 13*g = -3*f + 18, -4*g + 5*f - 13 = 0. Solve 0 = -2*t - 0*t + g*t for t.
0
Let v = 68 + -47. Suppose 3*w - v = -4*w. Solve -3*a + w = -2*a for a.
3
Suppose 3*f - 3 = 9. Let j be 0*((-3)/2)/3. Let y = -18 - -18. Solve j = g + f - y for g.
-4
Let m(b) = 6*b - 200. Let d be m(34). Solve 0*l + d = l for l.
4
Let x = -10992 - -10996. Let k = -83 - -139. Suppose 43 = 4*v + n, -2*n + n = -5*v + k. Solve -3 = -x*w - v for w.
-2
Let k(o) = o**2 + 6*o + 3. Suppose 4*j = -4*c - 0*c - 44, 27 = -2*j - 3*c. Let t be k(j). Solve t*f = 13 + 2 for f.
5
Let d(s) = s**3 + 11*s**2 + 23*s + 65. Let c be d(-9). Solve c + 6 = 13*a for a.
2
Let x(j) = -j + 4. Let n be x(-1). Solve 32*h + n = 27*h for h.
-1
Suppose -8*p = -4*p - 32. Suppose p*v = 3*v + 5. Solve -v = -3*h + 8 for h.
3
Let c = 0 + 0. Let r(f) be the first derivative of f**4/4 + 2*f**3 + 5*f**2/2 + 3*f + 16. Let m be r(-3). Solve c = -7*u + 2*u + m for u.
3
Suppose 3*v - 3*t = 117, 0 = 5*v - t - 138 - 45. Suppose v = -0*p + 4*p. Let f be p/3 - 1 - 2. Solve c + f = -3 for c.
-3
Let n(f) be the third derivative of f**6/120 + f**5/15 + f**4/24 + 2*f**3/3 - 3*f**2. Let m be n(-4). Solve -u - 2*u - 12 = m for u.
-4
Let o be 18/10 + 28/(-35). Solve o = -3*d - 2 for d.
-1
Let x(c) = c + 20. Let j = -3 - 12. Let f be x(j). Solve 3 = f*y + 13 for y.
-2
Let v(h) = -h + 1. Let k(n) = 3*n - 25. Let z(a) = -k(a) - 2*v(a). Let o be z(15). Solve -4*j + 0*j = -o for j.
2
Let f = -26 - -13. Let p = f + 12. Let r be 24/16*(7 + p). Solve 0 = -5*b - 16 - r for b.
-5
Let l(h) = -h**3 - 26*h**2 + h + 26. Let d be l(-26). Solve d = -64*j + 60*j + 12 for j.
3
Let s be (2 - 2)/(0 - -1). Let j be -2*1 + 19 + s. Suppose g = -4*t + 21, 5*t - 4*g = -0*g + 21. Solve t*m - j = -7 for m.
2
Suppose -3*g = -0*g - 6. Suppose 0*x + 2 = 2*x, -g*x = -3*j - 2. Solve -4*s - 1 + 5 = j for s.
1
Let r(d) = d**2 + 2*d - 2. Let p be r(-3). Let y be p - ((-27)/6 - (-4)/8). Solve y*f + 0*f = 25 for f.
5
Let q(z) = -2*z**3 - 21*z**2 + 11*z + 20. Let n be q(-11). Solve -6*g + g = -n for g.
4
Let a(q) = -5*q + 10. Let d be a(5). Let f = d + 9. Let h be (1 - f/2) + -1. Solve -8*u - 25 = -h*u for u.
-5
Let a be (30/4)/((-51)/(-68)). Suppose -4*y + 2 = 5*q, -a = -y + q - 5. Solve 0 = -y*o + o - 10 for o.
-5
Let y be (12 - -6) + (-2 + 1)*3. Suppose 3*d - y = -6. Solve -d*s + 6 = -0*s for s.
2
Suppose 4*k = 5*p - 38, 5*p - k - 32 = -0*p. Solve -p*a + 2*a = 0 for a.
0
Let w(m) = m**2 - 13*m + 13. Let k(g) = -g**3 + 3*g**2 + 12. Let c be k(0). Let v be w(c). Solve 5*d = v + 9 for d.
2
Let g(x) = -x**2 - 5*x + 3. Let k be ((-1)/(-1) - 9) + (-8 - -12). Let q be g(k). Solve -11 = -c - q for c.
4
Let w be 2*((-5)/4)/((-2)/(-12)). Let r be -4 + (-1)/3*w. Solve d = -r - 4 for d.
-5
Let v(t) = -t**2 - 10*t + 4. Suppose 0 = 2*y - 11 + 31. Let m be v(y). Suppose 0*w - m*w + 4*r