 -b*y - 20 = -10*y for y.
4
Let g(d) be the third derivative of -d**6/24 + d**5/60 + d**4/12 + 2*d**2. Let t be g(-1). Solve 0 = -t*x + 8*x for x.
0
Suppose -4*k - s - 110 = s, -k = 3*s + 15. Let q be 5*((3 - 6) + -1). Let g be (-2)/(-3) - q/k. Solve g = -h + 3*h - 10 for h.
5
Let f(o) = 4*o + 39. Suppose -18*w + 15*w = 27. Let p be f(w). Solve i + p = -0*i for i.
-3
Let g = 14 + -12. Suppose g*f + 9 = -k, -k = 5*f - 5*k - 10. Let y be 2/((f*2)/(-4)). Solve 10 = 4*d - y*d for d.
5
Let f = 84 + -15. Suppose 54 = -3*b + f. Solve 8 = -b*d + 9*d for d.
2
Let p(g) = 4 + g**3 - g - 7*g**2 + 2*g + 8*g**2. Let l be p(0). Suppose -l*o + 2*o = 2*z - 2, -2*z = o. Solve -2*d + 6 = o for d.
2
Suppose 4*b - 5 = -4*l + 19, -3*l + 26 = b. Solve j + 6 - l = 0 for j.
4
Let b be (-2)/(-6) - (1 - (-116)/(-12)). Suppose u + b = -3*p, 0 = u - 2*u - 5*p - 19. Solve 4*a - 22 = -u for a.
4
Suppose 0 = -4*t - 0*t + 20. Let u be (108/30)/(2/t). Solve -2*p = u - 3 for p.
-3
Let o = 36 + -42. Let q = o + 12. Let j(l) = -l**2 + 5*l + 1. Let w be j(4). Solve q - 1 = w*t for t.
1
Let o be (1 + -5)/((-4)/(-6)). Let s(k) = -19*k - 12. Let v(q) = -7*q - 4. Let a(t) = 3*s(t) - 8*v(t). Let l be a(o). Solve l + 2 = d for d.
4
Let t be 93/21 + 18/(-42). Solve 12 = -2*x - t*x for x.
-2
Let g be -3*((-92)/12 + 2). Let h = 22 - g. Solve -h*c = -4*c - 2 for c.
2
Let l(z) = 2*z + 1. Let w be l(4). Solve -5*s + w = -16 for s.
5
Let i be ((-2)/3)/((-8)/36). Suppose -2*t - 3*h + 2*h = -12, -2*t - 4*h = -6. Solve t*s - i*s = 0 for s.
0
Let b = -25 + 8. Let o(y) = y**2 + 16*y - 16. Let x be o(b). Solve 8*m - 9*m + x = 0 for m.
1
Let m(p) = p**2 + 3*p - 2. Let h be m(-5). Let u(o) = 3*o + 13. Let c be u(5). Suppose -9*r + c = -2*r. Solve 0 = -r*t + 2*t - h for t.
-4
Let l(b) = b**3 - 12*b**2 + 11*b + 2. Let x be 22*2/4 + (-2 - -2). Let w be l(x). Solve w*v - v - 1 = 0 for v.
1
Let c(g) = -2*g**2 - 13*g - 3. Let b(u) = -u**2 - 6*u - 1. Let t(a) = -5*b(a) + 3*c(a). Let w be t(-8). Let d be (10/w - 3)*0. Solve d*x + 10 = 5*x for x.
2
Let w be 33/(-22)*52/(-3). Suppose 5*i = 3*i + 5*p + w, 3*p + 12 = 0. Solve -i*d - 12 = -6*d for d.
4
Let c be 4/(1 - 3/4). Solve 0 = -52*s + 48*s - c for s.
-4
Let i be (-2)/(-8) + 7 + 30/(-24). Solve i*v = 4*v for v.
0
Suppose -2*s + 2*n + 5 = 3, n - 8 = -2*s. Suppose s*x = -x + 16. Suppose -5*q - 52 = -3*i - 6, -q = 3*i + 2. Solve i*p = -4 - x for p.
-4
Suppose -5*j - 3*w + 8 = 2, -2*j = -3*w - 15. Suppose -6*t + 3*z = -t - 1, -3*t - z + 9 = 0. Solve t = f + j for f.
-1
Let o = -34 - -18. Let p = o + 16. Let i be (0/(-8))/(2 - p). Solve 3*s - s = i for s.
0
Let k = 16 + -5. Suppose -130 = 4*b - 102. Let s = b + k. Solve 2 - s = c for c.
-2
Suppose -6 + 54 = -4*l. Let o be 26/4*(10 + l). Let a = -12 - o. Solve 0*k + k + a = 0 for k.
-1
Suppose -n + 3*v + 40 = -2*v, 5*v = -25. Suppose 0 = -m - 4*m + 5. Let y be 15/6 + m/(-2). Solve -3*l - y*l = n for l.
-3
Suppose 8 = 4*r, -5*y + 9*r - 6*r + 19 = 0. Suppose 0 = -3*p + p + 30. Solve -y = 4*z + p for z.
-5
Let x(d) = d**2 - 2*d + 4. Let y be x(-2). Solve -20 = -2*m - y for m.
4
Let y(f) = 3*f**2 + f + 1. Let k be y(-3). Let w be 62/93 + 82/(-6). Let h = w + k. Solve h = 5*c - c for c.
3
Let b be 12*(-4 - (-33)/9). Let k be (-3)/6 + (-30)/b. Let d = k + -6. Solve 0 = u - 3 - d for u.
4
Let b be 4/6 + 14/6. Let p = 57 - 54. Suppose p*j - 10 = -2*j, -h + 4*j = 0. Solve -y = -b*y + h for y.
4
Let y(l) = 3*l**2 - 39*l + 39. Let c be y(12). Solve 0 = c*d - 2 + 5 for d.
-1
Let w be 24/38*247/26. Solve -4 = w*z + 8 for z.
-2
Let l be (-6)/10*105/(-14)*4. Let g be 5 - 0*(-6)/l. Solve -x + 6*x + g = 0 for x.
-1
Let y(i) = -i**3 - 5*i**2 + 4*i - 8. Let s be y(-6). Suppose s*z - n - 19 = -2*n, 4*z + 5*n - 31 = 0. Solve 0 = z*w - 4 + 16 for w.
-3
Suppose 2*p - 60 = -5*d - 3*p, 0 = 4*d + 5*p - 43. Suppose 2*n - d = -7. Suppose n = 2*b - 5. Solve 0*z = b*z for z.
0
Let u(q) = -q**3 + 18*q**2 - 64*q + 1. Let s be u(13). Solve -1 - 27 = s*j for j.
-2
Suppose 0 = -2*s - 4*t - t - 6, -4*s = 2*t - 4. Solve s*g - 4*g = 10 for g.
-5
Suppose -3*y + 26 = -5*a - 47, 0 = 3*y + 2*a - 101. Solve 26*t = y*t - 15 for t.
3
Let m(g) = -g**3 + 5*g**2 + 3. Let i be m(5). Let z be i*(-3 - 50/(-15)). Solve -3*a = z + 5 for a.
-2
Let w be (1/(-5))/((-42)/(-315))*-2. Solve w*p + 0*p = 7*p for p.
0
Suppose 11*m = -14*m + 500. Solve j = 22 - m for j.
2
Suppose 54 + 23 = 11*o. Solve 0*a = -o*a for a.
0
Let j be (-260)/312*(-7 - -1)*1. Solve 3 + 22 = j*m for m.
5
Let s(d) = 7*d - 13. Let g be s(4). Let r = -6 + g. Suppose 4*q = -18 + 42. Solve q*a - r = 3*a for a.
3
Let u = 15 + -13. Let g(t) = -t**2 + 2*t**u - 3*t - 2*t**2. Let c be g(-3). Solve 3*k = -c + 12 for k.
4
Let u = -384 - -401. Suppose -5*h = -3*f - 25, 2*f = -2*h - 2*f + 10. Solve 3*j - h = -u for j.
-4
Let o(a) = -a**3 - 7*a**2 - 12*a - 32. Let h be o(-6). Solve 0 = -h*f - f for f.
0
Let x = -729 + 736. Solve x*y - 2*y = -20 for y.
-4
Suppose 0*r + 3*r - 4 = -4*z, -5*r = 3*z + 8. Solve 0*v = z*v - 4 for v.
1
Let m(p) = 8*p - 23. Let w be m(3). Let f(u) = u**2 + 2*u - 3. Let s be f(w). Solve 12 = 4*o - s for o.
3
Let h be (1 + (-6)/4)/(3/(-90)). Solve h + 40 = -11*r for r.
-5
Suppose 0 = 20*k - 16*k - 12. Solve 0 = 4*x - 23 + k for x.
5
Suppose 8*z - 43 = 21. Solve -4*s = -0*s - z for s.
2
Let f(o) = -o**3 - 7*o**2 + 2*o + 17. Let x be f(-7). Suppose -4*m - 1 - 8 = -x*n, -3*m - 12 = -4*n. Solve -i + 7 - n = 0 for i.
4
Let g be 2*(0 - (-153)/18). Solve -g = -5*d - 7 for d.
2
Let s(w) = 10 - w - 2 + 7 - 5. Suppose 36 = 4*j - 2*n, -n - 11 = -3*j + 2*j. Let f be s(j). Solve -h + f*h = 2 for h.
1
Suppose -2*f + 28 = -4*o, 3*f + 5*o = -0*f - 2. Let l(w) = w**2 + 19*w. Let k be l(-18). Let g = 28 + k. Solve -f*j + g = -4*j for j.
5
Let i(m) = -8 - 4*m - 2 + 2*m. Let c be i(-5). Suppose -6*t + 2*t + 20 = c. Solve 14 - 4 = -t*o for o.
-2
Suppose z - 4*z = 48. Let b = z - -17. Suppose b - 7 = -3*y. Solve k + 6 = -y*k for k.
-2
Let a(w) be the third derivative of -7*w**4/12 - w**3/2 + 3*w**2. Let y be a(-3). Suppose 6*h - y - 9 = 0. Solve 3*m = m - h for m.
-4
Let h(b) = -124*b + 1 + 64*b + 61*b. Let k be 2/7 - 18/14. Let d be h(k). Solve d = 2*v + 9 - 1 for v.
-4
Let g be (-3)/3*(-20)/((-6)/(-3)). Solve i - g = -4*i for i.
2
Let l = 19 - 17. Let w(r) = r**2 + 0*r**l + 113*r - 111*r. Let j be w(1). Solve -3 + 0 = -j*m for m.
1
Let n be (2/3)/((-8)/(-132)). Let i = n - 6. Suppose -5*a + 11 = -v - 6, 23 = v + i*a. Solve -v*o + o = -8 for o.
4
Let r be -115 - -138 - (0 + 1). Solve 33*o = 22*o - r for o.
-2
Let n = 69 - 44. Suppose 2*s = -3*s + n. Let z(l) = -l**2 + 9*l - 5. Let o be z(6). Solve -o = s*p + 7 for p.
-4
Suppose 0 = 4*q - 0*q - 52. Let r = 18 - q. Suppose r*a - 14 = 36. Solve -2*w = -0 + a for w.
-5
Let f = -1145 + 1157. Solve -16 = -16*b + f*b for b.
4
Let m = 20 - -6. Suppose 0 = 4*q + 3*n - 21, m = 7*q - 3*q - 2*n. Let w = q - 6. Solve 0 = -w*d - 5*d - 5 for d.
-1
Let p = -41 - -62. Let n = -233 - -237. Solve 0 = -n*d - p + 1 for d.
-5
Suppose -3*a + r + 11 = 0, -r = -4*a + 14 - 0. Suppose -2*d = -a*d + 5. Solve 1 = -d*p + 6 for p.
1
Suppose -25 = -5*n, 0 = t + 3*n - 94 + 60. Solve t = 11*p + 8 for p.
1
Let x(q) = q**3 - 10*q**2 + 31*q - 35. Let j be x(6). Solve p = 6 - j for p.
-1
Let t(n) = -n**3 + 2*n - 1. Let y be t(-2). Let d be (10 + -10)*1/y. Suppose 4*f - 12 = -d. Solve r - 2 = f*r for r.
-1
Let o = -547 + 547. Solve 6*f + 5*f = o for f.
0
Let q = -119 - -127. Solve 0 = -4*k + q - 4 for k.
1
Let b = 339 + -332. Solve b*k - 11*k = 16 for k.
-4
Let z(y) = -y**3 - 5*y**2 - 9*y - 5. Let m be z(-3). Solve m = -3*i - 2 for i.
-2
Let t(s) = 2*s**2 - 5*s + 3. Let f(n) = 2*n - 7. Let j be f(6). Suppose j*r - 22 = -4*y, -3*r + 0*r = 5*y - 21. Let z be t(y). Solve 0 = -2*k + z*k - 8 for k.
2
Suppose 3*o + 2*o + 5*m = 50, -4*o + 4*m + 32 = 0. Suppose 8*v - 5*v = -174. Let z = -52 - v. Solve -3*s - o = -z*s for s.
3
Suppose -3*x = -3*g, -12 = -4*g + 2*g - x. Solve g = v - 1 for v.
5
Let o = 253 + -249. Solve 0 = -2*d + 14 - o for d.
5
Let k(d) be the second derivative of 3*d**3/2 + 13*d**2 + 4*d - 3. Let r be k(-2). Solve -8*n + 12*n = r for n.
2
Let s(m) = m**3 - 2*m**2 - 2*m - 1. Let a be s(3). Suppose -p + a*p = -0*p. Solve 2*j = -p*j for j.
0
Suppose u = -u. Solve 2*z = -u*z + 4 for z.
2
S