ve 0 = -6*c + d + 9 for c.
5
Suppose -21 + 1 = 5*r. Let o be 10/(-6)*(r + 3)*15. Solve 2*l + 3*l = o for l.
5
Let x = -222 - -228. Solve -x*k + 12 = 6 for k.
1
Let p(d) = -d**3 - 6*d**2 + 8*d + 11. Let g be p(-7). Suppose i - f = 5*i - 5, -g*i + 2*f + 2 = 0. Solve 2*c + i - 11 = 0 for c.
5
Let s = 151 + -151. Solve s = k - 2*k - 3 for k.
-3
Let v be ((-3)/2)/(15/(-200)). Let g = v - 18. Solve -3 = -g*j + 3*j for j.
-3
Let m = 843 + -798. Solve 0 = -t + 10*t + m for t.
-5
Let o(y) = 2*y**2 - 14*y - 14. Let l be o(8). Suppose m + l*z - 5 = 0, 3*m = 6*m + 4*z - 13. Solve -t - 8 + m = 0 for t.
-5
Suppose -p + 125 + 224 = 4*b, -273 = -3*b + 3*p. Solve -2*m - 96 = -b for m.
-4
Let s be ((-4095)/(-52))/15 + 10/(-8). Solve 0 = s*o + 18 + 2 for o.
-5
Let w = -34 + 36. Let k = 11 + -11. Suppose k = 4*m - 5 - 27. Solve -3*x - m = -w for x.
-2
Let y(p) = p**2 + 6*p - 5. Let f be y(-8). Suppose -5*a + 4*b = -5 - 9, -5*b - f = -3*a. Let t be (-24)/(-30) + a/10. Solve 2*c - t = c for c.
1
Let q(l) = -2*l**2 + 47*l + 32. Let c be q(24). Solve -2 = -c*i + 30 for i.
4
Let w = 10 - -1. Suppose 5*z = 5 - 15, -z - w = -3*b. Suppose b*i = -3*t - 0*t + 24, i = 3*t - 20. Solve 3*j = t*j - 8 for j.
2
Let s(g) be the first derivative of -1/3*g**3 - 6*g**2 + 0*g + 3. Let z be s(-10). Solve 2*n - z = -2*n for n.
5
Let t be 20 - ((-56)/7 + 9). Solve -6 = 22*m - t*m for m.
-2
Suppose 0*h = -4*h + 8. Let k(v) be the second derivative of -v**3 - v**2/2 - v. Let t be k(-1). Solve h*y = t*y + 9 for y.
-3
Suppose -1020*g + 1035*g = 210. Solve -6*v = g + 10 for v.
-4
Suppose -15*y + 79*y - 448 = 0. Solve 8*z + 45 = -y*z for z.
-3
Let l be (3/2)/((-3)/16). Let t(d) = -d**3 - 7*d**2 + 8*d - 4. Let p be t(l). Let z be p/10 + (-77)/(-5). Solve 6*a - z = 3*a for a.
5
Suppose -8 = -u - 3. Suppose -3*p + u*p = 2*m, -5*m + 4 = -3*p. Solve p*q = 4*q + 8 for q.
-4
Let q(j) = -24*j - 129. Let l be q(-6). Solve 5*f + l - 40 = 0 for f.
5
Let i = -29 + 30. Suppose -4*c + 21 - i = 0. Solve 2*b = c + 3 for b.
4
Let l = -18 + 18. Suppose j + j - 10 = l. Let c be j - (4 - (-3 - -5)). Solve c*w + 0*w = 0 for w.
0
Suppose 2*d - 7 - 1 = 0. Suppose 0 = 2*c - 3*q - 23, -d*c - 5*q + 4*q + 11 = 0. Let b(x) = x**2 + 3*x + 2. Let z be b(-2). Solve 0*h - c*h = z for h.
0
Suppose 0 = o - j + 40, 0*o + j + 86 = -2*o. Let a be 108/(-14) + 12/o. Let p = a - -10. Solve 2*c + 20 = -p*c for c.
-5
Suppose -7*w + 22 = f - 4*w, 0 = 4*w - 20. Solve -3 = -p - f for p.
-4
Suppose 0 = 2*l + 8, -4*t + l - 200 = -l. Let x = t - -54. Solve x*u - 1 - 3 = 0 for u.
2
Suppose 0 = -o + o + 5*o. Suppose 15 = 3*a + 4*r - o*r, 2*r = -3*a + 15. Solve -a = m - 3 for m.
-2
Let r = -124 + 260. Let s be (-17)/r + 15/(-8) + 2. Solve s*k = -2*k + 4 for k.
2
Let c be (-2 - -3)/(1/14). Let m = c - 11. Solve -7 + 1 = -m*s for s.
2
Let c(p) = -p**3 + 5*p**2 - 3*p - 2. Let o be c(4). Suppose -n + o*n = -5*q + 16, -4*q + 26 = 3*n. Let i = -1 + 1. Solve i = -3*g + n for g.
2
Let m = -517 + 530. Solve 3*d = m - 19 for d.
-2
Let w be 0 + (-2)/(1 - (-18)/(-14)). Let n(v) = v**2 - 7*v. Let f be n(w). Solve f = -4*o - 8 + 28 for o.
5
Suppose 3*o - 14 = -2. Suppose -o*s + 5*k - 13 = 0, 6*s - 2*s + 3 = 3*k. Solve 3 = 3*p - s for p.
2
Let c(d) = 18 + 7*d + 2*d**2 + 3 - 3*d**2 + 1. Let i be c(9). Solve -5*k + i*k + 5 = 0 for k.
5
Let l(a) be the first derivative of a**2/2 + 7*a - 12. Let z be l(-12). Let t = -2 - z. Solve t = x + 5 for x.
-2
Let n = 740 + -723. Solve -n*d = -13*d - 20 for d.
5
Let y be 16/((-16)/9) + 27. Solve 3*m - y = -3*m for m.
3
Suppose 23 - 51 = -14*k. Solve 5*y - 6*y = -k for y.
2
Let i be ((-2)/4)/((-1)/14). Let u be 18/i - 39/(-91). Let l be ((-2)/u)/(7/(-84)). Solve 2 = -5*m - l for m.
-2
Let j(s) = 168*s - 15. Let h(g) = 42*g - 4. Let w(p) = -15*h(p) + 4*j(p). Let c be w(-1). Let v be (-324)/c + 4/14. Solve 4*l - 2*l = -v for l.
-4
Suppose -80 = -388*y + 372*y. Solve 86 = -y*q + 61 for q.
-5
Let t(w) = 2*w**2 + 5*w + 5. Let z be t(-1). Suppose -4*f + z = -10. Solve -f*l + 8 + 4 = 0 for l.
4
Let b be -110 + -2 + (-1 - -2). Let n = -109 - b. Solve 3 + n = j for j.
5
Let t = 620 - 605. Solve 6*a + 3 = t for a.
2
Suppose 0 = 5*w + 2*w - 21. Suppose -2*o = w*o - 30. Solve -25 = -t + o*t for t.
-5
Let d = -71 - -71. Suppose 5*s = -5*l - 5, 2*l + d = -s - 5. Solve s*k = 4*k - 1 for k.
1
Suppose 2*w - 3*z - 1 = 0, 4*w = -z + 66 - 29. Solve 2*m - w*m + 12 = 0 for m.
2
Suppose -5*m + 69 + 304 = 3*a, m = 2*a + 85. Solve m = -6*c + 89 for c.
2
Suppose 4*h - 36 = 4. Let t be 44/h + 32/(-80). Solve 0 = t*q - q + 6 for q.
-2
Let m be (-14)/(7/((-21)/6)). Suppose m*p - p = 60. Solve -2 - p = -4*a for a.
3
Let x(v) be the third derivative of -v**5/60 + v**4/2 + 8*v**3/3 + 5*v**2. Let b be x(13). Solve 2*t - 1 - b = 0 for t.
2
Let x be (18/12)/(2 + 15/(-8)). Solve 36*t = x*t - 96 for t.
-4
Suppose 5*k = 2*u - 7 - 30, -3*k = -5*u + 83. Let v be (15/10*u/(-6))/(-1). Solve t = v*t for t.
0
Let q = -14 - 5. Let s = 20 + q. Let u be (-2 + 0)/(s - 2). Solve 4*r - u*r - 6 = 0 for r.
3
Suppose 67*m - 25*m = 42. Solve m = k - 4 for k.
5
Suppose -3*v - 2*f + 25 = -14, -3*f + 6 = v. Suppose v = 5*c + 10. Solve m - c - 3 = 0 for m.
4
Let v(m) = -2*m + 8. Let o be v(2). Suppose -c = -3*b + o*c + 31, -3*c + 1 = b. Solve 3*x = 5 + b for x.
4
Let v = 129 - 233. Let j be (6/8)/((-39)/v). Solve j*h = -2*h for h.
0
Let q(o) = -5*o + 63. Let w be q(7). Solve -4*m = -w + 16 for m.
3
Let z(j) be the first derivative of 7/2*j**2 + 3 + j. Let p be z(2). Solve -2*s - 5 = -p for s.
5
Suppose -4 + 4 = -3*p. Let t be (-4 - -10)/(1 + (1 - p)). Solve t*z + 1 = 10 for z.
3
Suppose j + 0*j = -5*u + 14, -u + 2*j + 5 = 0. Let r = 96 - 106. Let z(k) = -k**2 - 8*k + 23. Let q be z(r). Solve -q*m = -0*m + u for m.
-1
Let b(u) = 28*u - 329. Let i be b(12). Solve i*h + 55 = 20 for h.
-5
Let m(o) = o**3 + 14*o**2 + 14*o + 25. Let x(b) = -b**3 - 15*b**2 - 15*b - 26. Let s(a) = 4*m(a) + 3*x(a). Let k be s(-10). Solve -2*n + 6*n = -k for n.
-3
Let h(n) = 2*n**3 - 7*n**2 + 6*n - 4. Let x be h(3). Solve 0 = -x*o + 10*o + 15 for o.
-3
Let b(d) be the second derivative of -d**5/20 + 23*d**4/12 - 11*d**3/3 + 5*d**2/2 - 5*d. Let a be b(22). Solve -a*l - 23 - 2 = 0 for l.
-5
Suppose 5*g + t + 7 = 0, -3*t = 3*g - 7*t + 18. Let j = 6 - 4. Let x = g + j. Solve x = -0*u + 3*u - 9 for u.
3
Let p(f) = f - 3. Let h be p(3). Suppose h = -g - 5*g. Solve g = -0*i + 5*i - 15 for i.
3
Let c be 6*(-4 + 51/6). Let z = 32 - c. Solve n = z*n for n.
0
Suppose 6*o + 3*d = o + 19, -5*o + 5*d - 5 = 0. Solve 1 = -3*x - o for x.
-1
Suppose 0 = -w + 4*o - 12, 3*w + 12 = 6*w + 4*o. Suppose w = -30*r + 32*r - 14. Solve -r*j + 25 = -2*j for j.
5
Let k = 18 - 16. Suppose -3*m = k*h - 4*h - 9, -4*m + 12 = h. Solve 2*x + m = -x for x.
-1
Let n(w) = -123*w**3 - 3*w**2 - 5*w - 3. Let c be n(-1). Let m = c - 117. Solve 5*l = m - 0 for l.
1
Let t be (-464)/87*6/(-8). Solve -t*r = 16 - 0 for r.
-4
Let d(h) = h**2 + 7*h - 3. Let l be d(-8). Suppose -p = -l*p + 12. Solve -p*j - 2 = 13 for j.
-5
Let q = 13 - 9. Let b = 6 - q. Let j be -1 + 3 - (-2 + -2). Solve 5*p + j = b*p for p.
-2
Suppose 7*c = 16 + 47. Solve -6*b - c - 3 = 0 for b.
-2
Let b be 2*6*18/72. Solve 12 = -b*u + 7*u for u.
3
Let u = -1 - 9. Let i = u - -10. Let g be 1/(2 - (-2 - -3)). Solve 2*h - g - 1 = i for h.
1
Suppose -3*d - 4 = 5*g - 0*g, -5*d = 15. Let s be (-1*(-2 - 0))/g. Let i = s + 1. Solve i*x = -2*x - 25 for x.
-5
Let m(y) = 15*y**2 - 3*y - 8. Let j be m(-2). Let w = j + -42. Solve x = 5*x - w for x.
4
Let f(q) = q**3 - 12*q**2 + 19*q + 75. Let u be f(9). Let d be (-3)/(-9) - (-1)/(-3). Let k be 1 - (d/(-2))/(-2). Solve u + k = p for p.
4
Let c = -186 + 207. Solve 26 = -5*a + c for a.
-1
Suppose 0 = -3*k + 226 - 4. Let s = -74 + k. Let m = -33 - -53. Solve m = -5*v - s for v.
-4
Let g(z) = -z + 6. Suppose -4*w - 12 = -2*r, 3*r = -2*w + 3*w + 3. Let t be g(r). Solve 4*u - 6 = t for u.
3
Let a be 1/3 + (-289)/(-51). Solve -3*i = -0*i + a for i.
-2
Suppose -4*r - 4*d = -988, 0 = 5*r - 6*d + 4*d - 1214. Solve 247*t = r*t + 3 for t.
1
Suppose 3*o - 4*d + 28 = 0, -5*d - 14 = -4. Let z be 1/(-4) + (-15)/o. Solve -2*s - z - 3 = 0 for s.
-2
Let f(r) be the third derivative of r**4/24 + 3*r**3/2 - 8*r**2. Let d be f(-5). Solve 0*k = -d*k + 20 for k.
5
Let m