= 10 - 7. Let n = m + f. Solve n*j + 12 = -0*j for j.
-4
Suppose 5*p + 21 = -d, -d = -p - 0*p - 3. Let v be (28/(-6))/(p/6). Suppose -8*k + v*k + 3 = 0. Solve l + 12 = -k*l for l.
-3
Let l = 9 - 4. Suppose 9*d = 3*b + 4*d - 50, l*d + 5 = 0. Let p be 141/b - (-4)/(-10). Solve 6 = 5*v - p for v.
3
Let l(h) = -h**2 + 5*h - 4. Let o be l(3). Suppose 10*j - 5*j - 10 = 0. Solve 0 = -0*r + o*r - j for r.
1
Suppose 2*r + 3*d = -31, -35 = 2*r + 2*r - 3*d. Let j = -9 - r. Suppose -5*l + 40 = -0*l. Solve l + 0 = -j*a for a.
-4
Let o(b) = 3*b - 4. Let d be o(2). Suppose m + 2 = d. Solve 4*v + 1 - 5 = m for v.
1
Let z = -2 - 24. Let a = z + 36. Let w be (a/4)/(8/32). Solve 3*u = 25 - w for u.
5
Suppose 61 + 31 = 4*r. Solve 5*n - r = 2 for n.
5
Let m(o) be the third derivative of -o**6/120 - o**5/15 - o**4/24 - 2*o**3/3 + 3*o**2. Let n be m(-4). Let l be n/(-11)*(-1)/2. Solve 2*c + 0*c - 8 = l for c.
4
Let x be 1/(((-6)/(-34))/3). Let i = -11 + x. Suppose -5*o + 10 + 0 = 0. Solve -i = 4*c - o for c.
-1
Suppose 0*w = 2*w - 2*u + 12, -2*u + 30 = -5*w. Let d be (3/w)/(3/(-12)). Suppose k = -d*k. Solve k = -2*h - 7 - 3 for h.
-5
Suppose -2 - 1 = t. Let m = t + 7. Let y be 18/(-24)*m/(-1). Solve y*v + 5 = -1 for v.
-2
Let k = 838 - 751. Solve 95 - k = 4*m for m.
2
Let o = 43 + -43. Solve o = 2*t - 23 + 13 for t.
5
Let k = -30 - -33. Suppose -4 = -4*h - 4*g, h + 0*g = -k*g - 5. Solve 0 = 3*z - h - 8 for z.
4
Suppose 0 = 29*i + 12*i. Solve i = -5*n - 0 - 20 for n.
-4
Let f(s) = 2*s**3 + 20*s**2 + 17*s - 17. Let d be f(-9). Let b be (-8)/(-6)*(11 + d). Solve b*p = p for p.
0
Suppose -5*p = -3*p - 4*i - 38, 5*p + i = 51. Suppose p*s - 60 = -s. Solve 9 + 6 = s*h for h.
3
Let t = -131 - -79. Let s = -45 - t. Solve 3*p + s = 1 for p.
-2
Let c = -585 - -595. Solve 5*s = 15*s - c for s.
1
Suppose 2*j = -62 + 68. Solve -j*b + 10 = -8*b for b.
-2
Let y(a) be the third derivative of a**4/8 + 17*a**3/6 - a**2. Let u be y(-4). Solve 0 = -j - 0 + u for j.
5
Let g be (9/27)/((-2)/(-6)). Solve d = -g - 1 for d.
-2
Let x = -1914 + 1920. Solve -11 - 1 = x*q for q.
-2
Let g = -35 - -18. Let i = g - -19. Solve 2 = -a - i for a.
-4
Suppose -75*z = -64*z - 55. Solve -2*s = -9 + z for s.
2
Suppose -16*n + 60 = -13*n. Let v = 20 + -40. Let c = n + v. Solve c = -2*i - i - 12 for i.
-4
Let q(a) = -a + 16. Let v be q(10). Let u be (4/(-6) + 1)*(129 + -123). Solve u*b + b = -v for b.
-2
Let w be 24/32 - 489/(-4). Solve 8*c - 83 = -w for c.
-5
Let c(p) = -p**2 - 3*p - 2. Let v be c(-4). Let r = v + 9. Suppose 7 = r*f - 11. Solve -d = d + f for d.
-3
Let k(a) = -a**3 + 12*a**2 - 18*a - 1. Let v be k(9). Suppose -3*x = x - v. Solve -4*u + x = -0*u for u.
5
Suppose -30*m + 556 = 46. Solve -m*i + 16*i - 3 = 0 for i.
-3
Let h be -5 + (-5)/(-1) + -2. Let k = 1 - h. Suppose 0*r - 3*i = -4*r + 9, -k*r + i + 8 = 0. Solve 0 = -0*c + r*c + 9 for c.
-3
Suppose -5 = -13*y - 5. Solve u = -y*u - 2*u for u.
0
Let o(r) = r**2 + 2*r + 3. Suppose -96 = -2*s + 5*s. Let l be 8/s + (-14)/8. Let k be o(l). Solve -w - 4 = k*w for w.
-1
Let s be 16/8 + 8/(-2). Let w be (-6 + s)/4 - (-4 + -1). Solve -19 = 4*o - w for o.
-4
Let x be (1 + -2)*(3 + -12 + 4). Solve x*r + 28 = 8 for r.
-4
Suppose -45*r + 84 = -24*r. Solve r*y + 20 = 8*y for y.
5
Let u(m) = 6*m - 4. Let f be u(2). Suppose -k = -5*k. Suppose k = -5*j + f + 2. Solve -w - j*w + 9 = 0 for w.
3
Suppose -91*u = -87*u - 52. Suppose u = 5*h - 4*j - 1, 4*j = -2*h. Let o be 0/((1 - 2)/(-1)). Solve o = -2*n - h - 6 for n.
-4
Let m be 4 + 0 + (-7)/(-1). Let i(n) = -n**2 + 11*n + 3. Let l be i(m). Suppose 0*b - 3*b = 3*x - l, -5*b - 7 = 2*x. Solve x*z = z for z.
0
Let x be 0 - ((3 - 6) + -2). Suppose 4*p + 2 + 0 = x*d, 3*p = 6. Solve 0 = g + 7 - d for g.
-5
Let l = 331 - 329. Solve l*r - 74 = -72 for r.
1
Let w = -4 + 19. Suppose 23 = p + w. Solve 0*t = 4*t + p for t.
-2
Suppose 1 + 0 = -z. Let i be ((-1 - -1)/1)/z. Suppose -9 = 26*k - 27*k - 5*h, 11 = 2*k + 3*h. Solve -b + k = -i*b for b.
4
Let o(t) = -7*t**2 - 18*t - 8 - 20*t + 32*t + t**3. Let z be o(8). Let g be 3*-6*12/(-18). Solve 4*m + g = z*m for m.
3
Suppose 271*c = 298*c - 702. Solve 16*l = 3*l - c for l.
-2
Let p be 149/6 - (-2)/12. Suppose -3*l + 2*q + 10 = 0, -l + 4*q = 6*q - 6. Let c be 2 + l/1*1. Solve -c*h + p = -h for h.
5
Let u(a) = 17*a - 12. Let n be u(1). Solve -n*s = -6*s for s.
0
Let j(x) be the first derivative of -x**4/4 - 5*x**3 + 35*x**2/2 + 19*x - 26. Let b be j(-17). Solve 2*g + 6 = b for g.
-2
Let g = 67 - 129. Let b be 4*(-3 + 2)*155/g. Solve b = 5*z - 10 for z.
4
Suppose 68 = 61*k - 58*k + 4*j, 14 = k - 3*j. Solve k - 26 = 3*l for l.
-2
Let s be 10/15 - (-16)/(-6). Let y be -1*(-7 - s) + 2. Suppose 2*a + 70 = y*a. Solve 2*p + a = 4 for p.
-5
Suppose -8*y + 35 + 5 = 0. Solve 10*v = y*v + 15 for v.
3
Let h be 3 - 1 - 1*-353. Let n be 2/17 + h/17. Suppose 0 = -2*d + 6*d - p - n, 3*d = 5*p + 20. Solve -x + 16 = -d*x for x.
-4
Let f = 106 - 95. Solve p + f = 7 for p.
-4
Let c be 2349/(-2088) - 33/(-8). Let j = -1 - -2. Solve -r + c = j for r.
2
Let w(c) = -c**2 - 4*c - 1. Let q be w(-2). Suppose -4*m - 4*a = -20, -q*m = 2*a - 6*a - 1. Solve -m = 4*b + 5 for b.
-2
Let m be 4/(-6)*-1*3. Suppose -3*y + d + 6 = -d, y + 4*d - m = 0. Suppose 0 = y*s + 4*s - 48. Solve -i - i - s = 0 for i.
-4
Let g be (0 - 4) + 115/23. Solve -4*b - g = -3*b for b.
-1
Let f = -632 + 633. Let g(p) = p + 4*p**3 + 0*p**3 - 5*p**3 + p**2 - 1. Let t be g(f). Solve -5*n + t = -5 for n.
1
Suppose -2*n + 87 = -3*p, -5*n - 9*p = -11*p - 190. Solve n = -4*b + 52 for b.
4
Let h = 11 - 9. Suppose -h*r = 2*r - 8. Let g = 4 - r. Solve 3*d - g = -14 for d.
-4
Let c(p) = -2*p + 20. Let x be c(6). Suppose x = -7*b + 9*b. Solve -1 = -5*q + b*q for q.
1
Let x be -2*-3*(-4)/(-1). Let p be 2/10 + ((-6)/14 - (-376)/1645). Solve 4*k + 4 - x = p for k.
5
Suppose 7*l - 3*l - 1068 = 0. Let z be -4 - (3 - l)/3. Suppose 0 = -4*a + z + 16. Solve -n = 4*n + a for n.
-5
Let y be (-8)/20 + 3 + (-956)/10. Let f = y + 94. Solve 2*h - f - 9 = 0 for h.
5
Let w be (-108)/(-126)*((1 - 2) + -6). Suppose -44 = 5*u - 4*z, 3*u + 24 = 2*z - 2. Let h = w - u. Solve h*v - 1 = v for v.
1
Suppose -27*y + 96 = -39. Solve -s + y = -6*s for s.
-1
Let w = -24 + 4. Let f = -17 - w. Let i(q) = -q**3 - 8*q**2 - 8*q - 1. Let b be i(-7). Solve f*d = b*d for d.
0
Suppose 4*h = -3*o - 12, -5*h = -o + 14 + 1. Suppose -5*a = -9*a + 12. Solve a*c + o*c + 6 = 0 for c.
-2
Let r(c) = -2*c**2 + 16*c - 22. Let x be r(6). Solve x = 5*z - 3 for z.
1
Let o(l) = l**3 - 9*l**2 + 6*l - 2. Let f be o(9). Let j be (-1500)/f - 2/13. Let b = j - -30. Solve -b + 9 = 4*d for d.
2
Let n be 1690/143 + 8/44. Suppose -3*k + 0*k - 4*c = -35, 5*k = 2*c + 15. Solve -u + k*u = -n for u.
-3
Let h be (4/6*(-27)/(-6))/1. Suppose -5*r + y + 77 = h*y, -4*y = 4*r - 64. Solve 4*x - r = x for x.
5
Let s(r) = 2*r**2 + 4*r + 1. Let d be s(-4). Let b = -11 + d. Suppose 7 = -q - 2*q + 4*a, b = -2*q + 3*a. Solve v + 1 - q = 0 for v.
2
Let m(k) = 2*k**3 - 3*k**2 - 16*k + 3. Let r be m(-6). Let g be 2 - 26/10 - r/35. Solve -10 = -g*v + 7*v for v.
2
Let a(r) = 4*r + 12. Let n be a(-6). Let k = n - -21. Let h = -7 + k. Solve 10 = -0*u + h*u for u.
5
Suppose 2*j - 14 = x - 24, 0 = -5*x - 2*j + 62. Solve 0 = 6*w - x*w + 18 for w.
3
Let g = -2749 + 2792. Solve -20 = -21*z + g for z.
3
Suppose -25 - 53 = 2*n. Let u = -23 - n. Suppose -3*v + v = -u. Solve -9 = -v*d + 5*d for d.
3
Let u = 24 + -8. Let k(a) = -4*a**2 + 2*a + 1. Let h be k(-1). Let l(z) = 3*z + 18. Let r be l(h). Solve -r*m = m - u for m.
4
Suppose -11*x + 14*x - d = 74, -d = -2*x + 51. Solve x*w = 18*w + 20 for w.
4
Let i(f) = -2*f**3. Let u be i(1). Let p be 0*(u/(-3) + -1). Let s be 4*3/24*p. Solve -k - 8 + 5 = s for k.
-3
Let u(m) = m**2 + 16*m + 32. Let d be u(-14). Solve d*k - 6 = 2 for k.
2
Let v(a) be the second derivative of a**3/6 + 13*a**2/2 + a. Suppose 0 = 11*d + 13*d + 216. Let p be v(d). Solve 4 + p = 2*y for y.
4
Suppose -2 = 3*a - 4*b, -b - 18 = -2*a - 16. Solve a*x - 6 - 4 = 0 for x.
5
Let y(h) = h**3 + 8*h**2 + 9*h + 19. Let f be y(-7). Solve 0 = -5*v + f + 5 for v.
2
Let s(o) = -o**2 + 5*o + 7. Let d be 2*(1 - -1) + 2. Let k be s(d). Solve -k = 2*w + 1 for w.
-1
Let m = 5 + 43. Suppose -z - m = -5*z - 4*p, 4*z - 4*p = 80. Solve -4*s +