*r + z = c for r.
4
Let c(b) = -b**3 + 9*b**2 - 9*b - 24. Let n be c(7). Solve n*g - 40 = 21*g for g.
-4
Suppose -15 - 30 = -5*x - 5*b, -5*b = -5*x + 75. Solve 7*j - x = 2 for j.
2
Let j be -2 - (-1)/(1/7). Suppose j*m + 15 = 0, 3*x + m = 5*m + 18. Suppose -4*y - 26 = -x*u, -3*y - 3 = u - y. Solve -u*r = -3 + 8 for r.
-1
Let g(c) = -3*c + 17. Let j be g(5). Suppose 5*v - 24 = j*v + 4*s, 0 = 5*v + 3*s - 11. Solve v*z = 2*z + 2 for z.
1
Let l be (-5 - -2) + (2 - -6). Suppose 3*q = -9, -q = -3*p - l*q - 6. Suppose -3 - 1 = -p*r. Solve -3*w = r*w - 20 for w.
4
Let a be ((-66)/88)/((-3)/56). Solve -4*q + a + 6 = 0 for q.
5
Let a be 35/90*14 - (-8)/(-18). Solve -4*h + a = -3 for h.
2
Let c(q) be the first derivative of q**2/2 + 4*q - 3. Let s be c(3). Let m = s - 2. Solve 0 = m*k - k - 20 for k.
5
Let s be 15 - (4 - (-7)/(-7)). Solve 0 = d + 2*d + s for d.
-4
Let h be (-28)/(-6) + (-6)/18*-1. Suppose -3*a + h*v + 44 = 12, -a - v = 0. Solve 5*n + a = -1 for n.
-1
Let d = -899 + 908. Solve 3*u - d*u - 30 = 0 for u.
-5
Let d be (66/44)/((-3)/(-10)). Solve -17 = d*f - 12 for f.
-1
Suppose -2*z = -5*z + 9. Let o(p) = -1 + 6 + z*p - 1 - 4*p. Let d be o(4). Solve 0 = 5*y - d*y + 10 for y.
-2
Let g(q) = -9*q**3 + 2*q**2 + 5*q + 5. Let y be g(-1). Solve -y*n = -2*n - 45 for n.
5
Let c = 572 + -572. Solve 0 = -c*k - 3*k - 2*k for k.
0
Let d be -2*(-4)/(-16)*-14. Suppose 0 = -d*s + 5*s. Solve -4 + s = 4*x for x.
-1
Let u(i) = -i**3 - 5*i**2 + 23*i - 5. Let c be u(-8). Solve b = c*b + 5*b for b.
0
Suppose 5*f - 25*f = 0. Solve f = 7*j - 3*j for j.
0
Let z(j) = j**2 - 6*j + 12. Suppose -25*q + 12 = -21*q. Let m be z(q). Solve -n - 6 = -m*n for n.
3
Let y(f) be the first derivative of -7/3*f**3 - 5 + 10*f + 1/4*f**4 - 1/2*f**2. Let g be y(7). Solve -9 = 4*r + g for r.
-3
Let k = -102 + 105. Suppose 3*u + v - 7 = -v, 3*u = k*v - 3. Suppose 0*s = -s + 6. Solve s = -x + u for x.
-5
Let l(w) = -3*w - 1. Let o be l(-1). Suppose 9 = o*v + v. Let u be 2*(-6)/(-4) - 1. Solve -v*b + u*b + 3 = 0 for b.
3
Let u = -88 + 88. Suppose -4*n = 3*h - u - 12, -3 = -n + h. Solve q - 2 = n for q.
5
Suppose 8*h - 27 = -19. Solve c - 1 = h for c.
2
Let k = -24 - -12. Let o be 88/5 + k/(-30). Solve 6 - o = 4*d for d.
-3
Suppose -4*w = m - 11, 0 = -103*w + 106*w - 2*m - 11. Let h = -3 + 8. Let a = h - 2. Solve 2*p - a*p + w = 0 for p.
3
Let k(y) = 213 + y - 213. Let g be k(1). Solve 0 = -4*q + g + 15 for q.
4
Let b be 2/5 - (-16)/10. Let p(l) = -l + 48. Let s be p(16). Suppose -2*q - 11 = -u, 4*u - s = -0*q + 5*q. Solve b*i + u = -i for i.
-1
Let q = 2160 - 2130. Solve 0 = -q*n + 29*n + 2 for n.
2
Let s(v) = -v - 10. Let t be s(-13). Suppose n - 2*n = 0. Suppose 0 = -t*x - n*x + 3. Solve j - 1 = x for j.
2
Let t be (-318)/30 - (-2)/(-5). Let u = 16 + t. Let v(n) = -n - 5. Let m be v(-10). Solve -u*j + m = -4*j for j.
5
Suppose 3*l - 60 = -l. Suppose l = 3*t - 0. Suppose 0 = t*c + 4*b - 27, 0*b + 29 = 5*c + 3*b. Solve c = -4*n - 1 for n.
-2
Let s = 1822 - 1814. Solve 178*k = 176*k - s for k.
-4
Suppose 0*x + 12 = -4*x, 2*q - 2*x = 10. Suppose q*r = -5*m - 1 - 4, -2*r + 2*m + 2 = 0. Solve j + 3*j - 16 = r for j.
4
Let y(m) = -8*m - 600. Let v be y(-78). Solve -31*k + 39*k = v for k.
3
Let s = -5 - -10. Suppose 0 = s*j - 10 - 10. Suppose 4*y - 7 = d, 40*y + d + 1 = 41*y. Solve -t = -j + y for t.
2
Let k(n) = -n**3 - 5*n**2 - n + 4. Let i be k(-5). Suppose i = z - 4*w - 19, 4*z = -3*w + 17. Let r = -5 + z. Solve -v + r = -2 for v.
5
Let n(c) = c**2 + 21*c + 111. Let b be n(-11). Solve -u - b = -2 for u.
1
Let d be -13 + 6 + 7 + 3. Solve -d*a = -102 + 105 for a.
-1
Suppose 16*b - 908 = -572. Solve 14*j + 21 + b = 0 for j.
-3
Suppose 5*c = 6 + 14. Suppose -c*j - 3 = -3. Solve j = l - 3*l + 10 for l.
5
Suppose 2*s - 5*s = 12. Let g be (-6 + -1 - s)/(-1). Solve 0 = 3*a - g - 0 for a.
1
Let f = -250 + 466. Suppose 224 = 4*r + f. Let c = 0 + 6. Solve -c*a = -r*a - 16 for a.
4
Let g(j) be the second derivative of 5*j**4/12 + j**2/2 + 3*j. Let o be g(-2). Suppose -5*d + 30 = -m + 6*m, m - o = -4*d. Solve -5*y + 10 + d = 0 for y.
3
Let m(d) = d**3 + 6*d**2 + 5. Let h be m(-6). Let a(r) = r - 3. Let o be a(h). Let y(p) = p**3 + p**2 + 5*p. Let f be y(0). Solve f = o*n + n - 15 for n.
5
Suppose -7*s = -2*s - 45. Suppose 4*k = -5*h + 50, 0 = -2*k - s*h + 4*h + 30. Let v = k - -15. Solve -a + 6*a - v = 0 for a.
5
Let g be (-278)/2085 - (-4)/30. Solve j + 0 + 1 = g for j.
-1
Let o(a) = -a**2 + 15*a - 7. Let f be o(15). Let i = 15 + f. Let l be ((-6)/(-8))/(2/i). Solve l*d = 7*d - 16 for d.
4
Suppose -4*y + 202 = 182. Solve 8*t = 27 + y for t.
4
Let t(m) = -12*m - 69. Let i be t(-6). Solve 9 = i*y - 0 for y.
3
Suppose 8 = 4*k - 2*k. Suppose 98*f + 315 = 133*f. Solve -k*n + 1 = f for n.
-2
Let w(o) = -7*o**3 - 18*o - 18. Let b be w(-1). Solve -b*y + 1 = -6*y for y.
1
Let w = -102 - -99. Let h be (-4)/(w - 6/(-3)). Solve -4*y + h = -3*y for y.
4
Suppose 6*o - 38 = 250. Suppose -13*i - o = -17*i. Solve -r = 3*r - i for r.
3
Suppose 17*i - 16*i + 9*i - 30 = 0. Let a be (0 - -12) + (-1 - -1). Solve -f - a = i*f for f.
-3
Let o = 113 - 128. Let h be (-72)/(-10) - (-3)/o. Solve -3*d + 5 + h = 0 for d.
4
Suppose -3*q + 12 = 0, 0*r = -r + 4*q - 12. Suppose -5 = -r*t - 1. Let l = 15 + t. Solve 0 = 5*m + l - 1 for m.
-3
Suppose 6*l + 9 = 45. Solve -10*o = -l*o - 12 for o.
3
Suppose -4*y - 4*t = -3*y - 56, 0 = -y + 4*t + 40. Solve -3*l = -y + 51 for l.
-1
Let t be (-38)/(-8) - 1/(-4). Suppose -5*w + t*n + 1 = -4, -2*w - 2*n + 14 = 0. Solve 0*b - 20 = w*b for b.
-5
Let k be ((-213)/(-6) - -3) + (-48)/(-32). Solve 2*r = -6*r - k for r.
-5
Let s = -59 + 84. Suppose 0 = -x - 3*x + 4*t + 36, 5*x = t + 29. Solve x*u = -0 + s for u.
5
Suppose 5*i + 0*i + 3*g + 17 = 0, 5*i - 5*g = -25. Let d(t) = -7*t - 3. Let j be d(i). Solve 2*l + 3*l - j = 0 for l.
5
Suppose -8*w = -3*w. Suppose 2*z - 5*j - 70 = -w*j, j + 54 = 2*z. Solve 6*o - o + z = 0 for o.
-5
Let b(x) be the first derivative of x**4/12 + x**3 + 5*x**2 - 10*x + 7. Let h(q) be the first derivative of b(q). Let d be h(-4). Solve d*w + 3 = 1 for w.
-1
Let v = 0 + 15. Let y be 27/v + (-1)/(-5). Solve 0 = -y*f - 0*f + 2 for f.
1
Let s(r) = -4*r - 12. Let i be s(-9). Suppose -6*d + i = -4*d. Solve 0*t - 3*t - d = 0 for t.
-4
Suppose z + 2*v = -0*z + 7, 3*z - v - 28 = 0. Solve -z*n + 15 = -6*n for n.
5
Let x(c) be the third derivative of -c**5/60 - c**4/8 - c**3/3 - c**2. Suppose 0 = 4*u + 8 - 0. Let s be x(u). Solve r + 4*r - 5 = s for r.
1
Let v(h) = -10*h - 7. Let w be v(-9). Suppose -7*a + w - 13 = 0. Solve -c + 6*c - a = 0 for c.
2
Let u(j) = j**3 - 2*j**2 + 1. Let b be u(-1). Let d be (1 + b - 2)/(-1). Suppose -2*x + 8 = f - 14, -4*f - x = -53. Solve -q - d*q = -f for q.
3
Suppose 0 = 2*r - b + 4*b + 56, 2*b = -5*r - 118. Let k(u) = -u**2 - 22*u + 12. Let m be k(r). Solve 4*t = -m - 8 for t.
-5
Suppose 5*w - 5*a = -196 + 61, 5*a = 4*w + 104. Let q = 33 + w. Solve 2*k = q - 10 for k.
-4
Suppose -3*a + 171 = 6*a. Suppose -3*c + a = -5*j + 69, -4*c = -3*j + 41. Solve -5 = 4*r + j for r.
-3
Let i be -35 + (0 - 7 - -3). Let s = i + 49. Solve -3*c - 5 = s for c.
-5
Let q(u) = -u**3 - 19*u**2 + 20*u. Suppose -5*c - 180 = 4*c. Let o be q(c). Solve o = -j - 2 + 3 for j.
1
Suppose 10*x - 107 - 133 = 0. Solve 9*l = l - x for l.
-3
Let x be 36/5 - 13/65. Suppose -4*g + 15 = 2*l - x*g, 0 = -g - 5. Solve 6*h - h + 15 = l for h.
-3
Suppose -62 = -4*n - 14. Let v be 3*(8 - (-10)/(-2)). Suppose -4*u - 5*f = -2, u - v = f + 2*f. Solve -u*a - n = a for a.
-3
Let i = 105 + -100. Let y be (-2)/(-10)*(-7 + i + 7). Solve 5*k + 14 = -y for k.
-3
Let u(q) = 5*q**2 + 38*q - 38. Let p be u(1). Suppose -3 = -4*d + 1. Solve v + d = p for v.
4
Let f = -2 - -4. Suppose 4*m + 10 = 2*m - 5*g, 3*m - 3*g = 6. Suppose m = -f*p + 8*p. Solve -2*q - 2*q + 8 = p for q.
2
Suppose 0 = 2*i + 5*i. Suppose 4*p - 2 - 6 = i, 4*p - 3 = 5*g. Solve -g + 0 = q for q.
-1
Let r = -1060 + 1097. Solve 6*q + r = 55 for q.
3
Let t be (-30)/(-35) + ((-27)/7 - -4). Let v = -5 + 8. Solve 2*u + t = -v for u.
-2
Let l be (-153)/(-45) + 6/10. Suppose 3 - 51 = -2*x - l*n, 5*n = -3*x + 70. Solve 2*k = -2*k - x for k.
-5
Suppose 2*p = 4 - 4. Solve p = -6*o + o for o.
0
Let n(c) = 2*c + 17. Let i be n(-12). Let w = 12 + i. Let g = 