-3
Suppose 0 = -y - p - 5, -4*y - 5 = 2*p - 3*p. Let b be (1/y)/((-2)/16). Suppose -2*j = -2*h + 12, 2*h - 3*j + 9 = -8*j. Solve 0 = h*i + 5 + b for i.
-3
Let p(s) be the third derivative of s**5/60 - s**4/12 - s**3/6 + 12*s**2. Let m be p(3). Suppose m*z - 26 = -10. Solve -2*r + 2 = -z for r.
5
Suppose 0 = -7*c + 16 + 19. Let t be (-2 - 5/(c/(-6))) + -2. Solve -s = t*s for s.
0
Let y be 2/(-12) + 142/(-12). Let r = y + 24. Solve 0 = 2*o + o + r for o.
-4
Let x be (-4)/(-10)*800/32. Solve -7*w - x = -9*w for w.
5
Suppose 0 = -c + 11 - 5. Solve -c*i = -2*i - 8 for i.
2
Suppose 3*j + 1 = n - 0*j, 3*n + 2*j = 3. Let v be 0/(n*(3 - 2)*-1). Solve v = -3*f + f - 4 for f.
-2
Let z = 946 + -946. Solve -3*j + 41 - 35 = z for j.
2
Let a(o) = o - 52. Let y(p) = -25. Let k(u) = 3*a(u) - 7*y(u). Let r be k(-5). Solve 0*m - m + r = 0 for m.
4
Let r(h) = -h**3 - 11*h**2 + 11*h - 7. Let t(x) = x**3 + 3*x**2 - 2*x - 4. Let u be t(-4). Let f be r(u). Suppose 0*s = f*s. Solve s*l + 3*l + 6 = 0 for l.
-2
Let j be (-2)/(-9) - 16/(-9). Suppose 0 = -3*a - j*r + 50 + 7, -5*r - 76 = -4*a. Solve -a + 3 = 4*g for g.
-4
Suppose 35 = -6*b + 47. Suppose -3*a + 0*a = 0. Let h = 4 - a. Solve b + 2 = -h*i for i.
-1
Let b be (-1 - -18 - -1) + (-12 - -8). Solve -4*c - b = 3*c for c.
-2
Suppose 3*n + 5*w = -2*n + 25, -3 = -2*n + 5*w. Solve n*q - 17 = -29 for q.
-3
Let m(i) = -2*i + 1. Let z be m(12). Let f = -33 - z. Let p = 15 + f. Solve -3 = 2*n + p for n.
-4
Suppose -p - 3*p + 40 = 0. Let u(y) = -y + 5. Let f be u(3). Solve 7*d + p = f*d for d.
-2
Suppose 0 = -4*m + 5*j - 63, -6 = -3*m + 3*j - 51. Let r be (0*3/m)/(-2). Solve r = -x + 2*x + 3 for x.
-3
Let p(z) = z**3 - 5*z**2 + 3*z + 5. Let b be p(5). Suppose -5*x = -b, 2*o - x + 0 - 2 = 0. Suppose -2*s = -0*w + 2*w, -o*s - 5*w = 6. Solve j = -s*j + 16 for j.
4
Suppose -3*i + 5*i = 0, 5*i = 2*x - 4. Suppose 5*d - 6 = -x*r, 0 = d - r - 4*r + 15. Solve -5*m = -d*m for m.
0
Let j be (-693)/(-27) + 4/(-6). Let o be (2/(-5))/((-5)/j). Solve -3 = o*d - 1 for d.
-1
Suppose -10 = -5*l + 4*k + 3, -4*l + 26 = 2*k. Let c(w) = -w**2 - 25*w + 1570. Let z be c(-54). Let y be 1*(7 - (-1 + 2)). Solve -l*d - y = z for d.
-2
Let f = -68 + 60. Let s = 11 + f. Solve 2*t = -s*t - 10 for t.
-2
Let q(u) = -4*u**3 + u. Suppose -b = 2*z + 12, z - 5*b - 6 = 10. Let w be (2 - 3)/(-3 - z). Let c be q(w). Solve -c*k + 4 = 19 for k.
-5
Let r be 0 + 6/(1 + 1). Let c(x) = 3*x**3 - 8*x**2 + 7. Let n be c(-1). Let t = r - n. Solve -t = -5*q - 32 for q.
-5
Let b be ((-2)/(-1))/(((-40)/12)/(-5)). Solve 15 - b = -3*d for d.
-4
Suppose 0 = -2*v + 5*n + 30, -6*v + 2*v = 5*n. Suppose -2*r + 9 = -85. Suppose 0 = -g - r + 64. Solve -v + g = -4*o for o.
-3
Suppose 0 = -8*t + 2*t + 54. Let j be (-18)/(-12) + t/6. Solve o + j*o = -8 for o.
-2
Let m(k) = k**3 - 8*k**2 - 7*k + 4. Let z be m(9). Let s be (-1 + z/8)*(8 + -4). Suppose r + 13 = 3*c + 3*r, 0 = 2*c - 4*r + 2. Solve 0 = 4*u - s + c for u.
1
Let y be -9*((-138)/(-24) - 6)*4. Solve -2*i = i - y for i.
3
Let g(o) = -18*o**2 - 3. Let l(s) = -16*s**2 - s - 3. Let a(b) = -5*g(b) + 4*l(b). Let n be a(1). Solve n - 5 = -4*p for p.
-5
Let j be ((-679)/(-56) - -5) + 2/(-16). Solve -16 + j = -w for w.
-1
Suppose -186*d + 188*d - 30 = 0. Solve -7*w - d = 6 for w.
-3
Suppose 28 = 2*k + 4. Suppose 0*u + k = 3*u. Suppose -u*m = -3*w - 6, 4 = -4*m - 3*w - 2. Solve -5*n + m*n = 20 for n.
-4
Let m(q) = q**2 + 6*q + 1. Let b be m(-7). Suppose -5*u = -b*u + 15. Let o = 8 - u. Solve -o*w + w = -2 for w.
1
Let t(r) = 6*r - 15. Suppose 22*l - 12 = 18*l. Let o be t(l). Solve z = -o*z - 16 for z.
-4
Let b(o) = 6 - o - 6 - 2*o**2 + 3*o**2. Let f be b(-2). Let l be (4/7)/(4/14). Solve l*i - 4*i + f = 0 for i.
3
Let j be 89/(-3) - (3 - (-16)/(-6)). Let o be (-3)/(-5) + (-12)/j. Solve -2*y = -o - 3 for y.
2
Suppose 0 = 2*a + 3*q - 62, a - 83 = 2*q - 66. Solve a*t + t = 26 for t.
1
Let y be 5 + (12/(-7))/(16/(-56)). Solve 3*w + 4 = -y for w.
-5
Suppose 2*x - p + 19 = 5*x, 35 = 5*x + p. Suppose 0 = -l - l + x. Suppose -2*a + 26 = 4*m, -l*a - a + 4*m + 9 = 0. Solve -21 = a*n - 6 for n.
-3
Let x(p) = -p**2 - 7*p - 9. Let y be x(-3). Suppose -3*w - y*b - b = -64, -2*w = -3*b - 37. Solve g - 6*g - w = 0 for g.
-4
Let m(s) = -5*s + 3*s + 3*s + 3. Let i be m(4). Suppose 3*y - 2*l - i = 5, y - 5*l - 17 = 0. Solve -6 = -y*n - n for n.
2
Let o = 401 + -392. Let x(y) = y. Let h be x(1). Solve -5*p + h = -o for p.
2
Suppose -5*u = -5*f + 5, 3*f - 5 = 7*f + 5*u. Suppose f = z + 5*s - 2*s + 9, 0 = 4*z + 2*s - 4. Solve 0 = 2*i - 1 - z for i.
2
Let x = -24 + 6. Let a be ((-156)/x - 6) + (-2)/(-6). Solve 6 = -0*g - a*g for g.
-2
Let b(t) = 5*t**2 - t. Let u be b(1). Solve u + 0 = 4*z for z.
1
Let z = -5 + -7. Let i(f) = -f**3 - 12*f**2 - 2*f - 17. Let b be i(z). Suppose 0 = -5*n + 4*d + 60, d = -2*n + 13 + 24. Solve b*g - n = 3*g for g.
4
Suppose -185 = 97*o - 102*o. Solve 6 = -o*m + 40*m for m.
2
Let v(s) = 5*s**3 + 7*s**2 - 7*s + 6. Let k(f) = f**3 - f**2 + f - 1. Let w(a) = 4*k(a) - v(a). Let u be w(-12). Solve -u = x - 4 for x.
2
Suppose -7*d + 17 = -6*d. Let l = d + -16. Let p be (-1)/((-1)/l)*1. Solve 0 = q - p - 2 for q.
3
Let i be 7 - 175/40 - (-9)/24. Solve i = -17*r + 88 for r.
5
Suppose 5*p - 10 = 3*i - 8*i, 2*i - 12 = -4*p. Solve p*c + 8 = -8 for c.
-4
Let x be (12/(-15))/((-14)/35). Suppose 0 = 4*n - 2*l - 6, 3*n + 4*l = 6*n + 3. Solve -x*a = -n*a for a.
0
Let f = 165 + -162. Solve 0 = -4*i + f*i for i.
0
Let w = -140 - -143. Solve -2*d - w*d = -15 for d.
3
Let y be (15/(-9))/(1/(-3)). Suppose y*s - 1 = 14. Let o(f) = f + 3. Let t be o(s). Solve 4*j = 2*j - t for j.
-3
Let q(k) be the second derivative of k**3/6 + 8*k**2 - 4*k. Let x be q(-15). Suppose -3*o - p + 2 - x = 0, -5*o + 3*p - 3 = 0. Solve -t + o = 3 for t.
-3
Suppose 292 = 46*v + 27*v. Solve -2*q = v*q - 30 for q.
5
Suppose -26*w = -32*w + 12. Solve 130*h - 128*h - w = 0 for h.
1
Let s(j) = 2*j**3 - 41*j**2 - 14*j - 147. Let a be s(21). Solve -27*c + 26*c + 5 = a for c.
5
Let q(r) = 12*r + 319. Let w be q(-26). Solve -w = 9*d + 2 for d.
-1
Let c(v) = 7*v + 5. Let q(r) = 4*r + 3. Let i(y) = 3*c(y) - 5*q(y). Let b be i(3). Let l = -332 + 334. Solve -8 = -b*k - l for k.
2
Suppose 0 = -2*l - 5*g - 17, -9 = -l + 2*g + 5. Let q(d) = d + 16. Let c be q(-12). Suppose -8 = -c*i - l*t, 4*t - 8 = -3*i - t. Solve 5 = j + i for j.
4
Suppose 12 = -5*m + 9*m. Suppose 10*q - m = -3. Solve q = 2*n - 3*n + 3 for n.
3
Let f(n) = 3*n**2 - 6*n + 9. Let d be f(2). Suppose -2*s = 3*r - 38, 2*s = -1 + d. Solve 7*b = 2*b - r for b.
-2
Suppose 14*n - 56 = -0. Solve -2*o = 6 - n for o.
-1
Suppose -3*d + 84 = -2*h, 4*d + 6*h = h + 135. Solve -d*w + 27*w = 6 for w.
-2
Let r be ((-6)/5)/(14/(-35)). Let d(c) be the third derivative of c**4/24 - c**3/2 - 3*c**2. Let j be d(r). Solve 5 = -u - j*u for u.
-5
Suppose 5*t - 27 = -5*u - 22, -4*t = 2*u + 4. Solve -u*h - 5 = h for h.
-1
Let k(w) = -w**2 + 5*w + 6. Let u be k(6). Suppose 3*r - 5*r - 36 = u. Let m be r/(-3 - 0)*2. Solve -5*h + 3 = -m for h.
3
Let n(a) = -a**2 + 4*a - 3. Let d be n(3). Suppose b - 4 = -d*b. Suppose 2*x = 7*x + 5*j + 5, -b*x + 2 = -2*j. Solve 3*t + x*t = -6 for t.
-2
Suppose 6*x = 7*x - 13. Suppose y = -3*m + 17, -3*m = -3*y - y + 8. Solve 0 = y*k + x - 3 for k.
-2
Let l be 5*(-8)/(-140) + 52/14. Solve -l*a - 11 = 1 for a.
-3
Let d be 20/30 + (-4)/(-3). Suppose -d*m + 7 = 3*h, -m - 3*h = 2*m - 12. Solve m*p = p for p.
0
Let z be (-5)/20*-20 - -1. Solve 26 = z*q - 4 for q.
5
Let n(f) = -f**2 - 5*f. Let z be n(-5). Suppose -b - 3*b = z. Suppose 3*c = -b*c + 12. Solve -c*l - 4 = 4 for l.
-2
Suppose 3*f = -0*f + j + 24, -4*j - 33 = -5*f. Let v(u) = u**3 - 9*u**2 + 15. Let p be v(f). Let y be 0 - -1 - (-1 - 1). Solve -y = 4*n - p for n.
3
Let z = 14 - 30. Let m(v) = v**2 + 15*v - 12. Let o be m(z). Let b be 8/(-12) - 34/(-6). Solve -o*x + 7 = -b for x.
3
Let i(a) be the third derivative of a**4/12 - 5*a**3/3 + 3*a**2. Let u be i(7). Solve t - u*t - 6 = 0 for t.
-2
Let s be 12/4 - -2 - 3. Let t(x) = x - 2. Let m be t(4). Suppose -4*h + 48 = -m*n, -s*h + 0*n = n - 24. Solve 2*q = -2*q + h for q.
3
Let h = 350 + -347. Solve -h = -3*r + 9 for r.
4
Suppose 4*w = 5*v + 155, -4*w + 137 = -3*v - 20. Solve -t - w = -9*t for t.
5
Let v = 766 - 766. Solv