c for c.
-1
Let w(d) = -21*d - 248. Let p be w(-12). Solve 0 = 3*c + 13 - p for c.
-3
Let v(r) = -r**3 - 5*r**2 - r - 37. Let j be v(-6). Solve 0 = -j*l + l - 8 for l.
-2
Let b(q) = 2*q**2 + 13*q - 27. Let h be b(-9). Solve 0 = h*r + 15 + 57 for r.
-4
Let c(j) = j**2 + 8*j - 45. Let d be c(-13). Solve -o + 6*o + d = 0 for o.
-4
Let f be (8/5)/((-2)/(-5)). Suppose 4*q + 8 + f = 0. Let y be q/(-2)*4/3. Solve -y = -x - 4 for x.
-2
Let q(n) = n**2 - 2*n - 3. Let k be q(-2). Let i = 3989 - 3987. Solve -i*y + y = -k for y.
5
Let n(c) be the first derivative of c**2/2 - 15*c - 3. Let y be n(12). Let q be 13/4 - y/(-12). Solve q*i = 7*i + 12 for i.
-3
Let d be (-12 - (1 - 0))*-3. Suppose 3*w + 0*w = d. Solve 5*s + w = -2 for s.
-3
Let x be 12/(-12) + (5/(-1))/(-1). Suppose 0*f + x = 2*f. Solve -f*u = -6*u for u.
0
Suppose -k + 6 = 2*k. Suppose -l + k*l = 5*w, -2*w = -4*l. Solve w = -5*f - 20 for f.
-4
Let c = -31 - -34. Suppose 0 = -c*i - i - 3*g + 22, -5*i = -g - 18. Solve -v = -3*v - i for v.
-2
Let b(j) = -5*j**3 - j**2 + 1. Let t be b(-1). Suppose -4*l + t*c + 20 = 0, 0*l - 2*l + c = -16. Solve 0 = z - 6*z + l for z.
2
Let g = 130 + -28. Suppose 5*s - g = -2. Let t = -16 + s. Solve t*j + 18 = -2 for j.
-5
Suppose -3*x = -6, -3*c - 5*x + 2*x - 12 = 0. Let r be c/(-4)*80/15. Suppose -q + r = q. Solve -w - 15 = q*w for w.
-3
Let n = -49 - -2. Let k = n + 48. Solve 10 = 3*j + k for j.
3
Let l be -5 + (-658)/(-22) - 2/(-22). Solve x = 6*x + l for x.
-5
Let u(o) = -o**2 + 4*o - 5. Let n(r) = -r**2 + 3*r - 4. Let y(j) = 3*n(j) - 4*u(j). Let m be y(6). Solve 4*g + 2 = -m for g.
-1
Suppose -7*f - 3*f = -30. Suppose 0 = 4*g - 17 - f. Solve g*s - 11 = 14 for s.
5
Suppose i - 66 = -10*i. Solve 0 = i*o + 10 + 14 for o.
-4
Suppose 11*g = 9*g - 5*t - 11, 0 = 4*g + 3*t - 13. Solve g - 62 = 11*f for f.
-5
Let m(u) = u**2 + u**2 + 7*u**2 - u**3 - 8*u + 4. Let p be m(8). Suppose 0 = w + 2*g - 7, -p*w + 14 = 2*g - 2. Solve 5 = w*y - 2*y for y.
5
Let o = -202 + 208. Solve o*i = 7*i - 3 for i.
3
Suppose 0*s + 4*s = -8. Let k be s - (0 + -2 - 0). Suppose k = 3*v - 4 - 8. Solve 1 = p + v for p.
-3
Let k(x) = 0*x - 3*x + 6*x + 0*x. Let d be k(1). Let c be d*3/((-18)/(-10)). Solve 0 = 9*w - 4*w - c for w.
1
Let x(s) = -2*s + 16 - s**2 - 9*s + s. Let r be x(-11). Suppose 0 = -5*j + 15 + r. Solve -j - 1 = -5*p for p.
1
Let d = 51 + -49. Let a be -1*4/(d/(-1)). Solve -11 + a = 3*i for i.
-3
Let t(q) = -4*q. Let g be t(-1). Suppose -g = -2*m + 4. Suppose 0 = 5*s + f - 46 + 1, -20 = -m*f. Solve 0 = -2*b - 2 - s for b.
-5
Let j be (1 + 25)*11/22. Solve -8*s = 5*s - j for s.
1
Let g(u) = -u + 2. Let d be g(2). Let j = d + 4. Suppose -j*q - z + 69 = 0, -3*z + 4 + 59 = 3*q. Solve q = 3*s + 4 for s.
4
Let s be (-2 - 160/(-15))*9. Let l = s + -47. Let b = 34 - l. Solve b*q - 20 = -q for q.
5
Suppose 0 = h - 4. Suppose 79 = h*u + 15. Solve -u = k - 5*k for k.
4
Let r(l) = 9*l - 5. Let b be r(-6). Let u = 161 - 245. Let w = b - u. Solve 0 = 4*v + v - w for v.
5
Let b = 20 - 12. Solve 5*m = b*m + 3 for m.
-1
Suppose h = -0*h + 5. Suppose -3*t + 38 = 2*s - 6*t, -5*t = -h*s + 90. Let v = 22 - s. Solve -16 = 5*i - v for i.
-2
Let l be ((-16)/4 - 0)*(1 - 3). Suppose 2*z + l - 16 = -d, 3*z - 9 = 0. Solve -d*t - 6 = t for t.
-2
Suppose -10*v + 15*v + 15 = -3*i, 15 = 5*v - 3*i. Solve v = -19*r + 20 + 18 for r.
2
Suppose -3*s + 21 = 3*r, 0*s + 11 = r - s. Let i(x) be the second derivative of -x**3/6 + 5*x**2 - x. Let z be i(r). Solve -z = 2*v + 3 for v.
-2
Suppose -14*o + 374 = 332. Suppose 0 = n + 2*n. Solve n*a - o*a = -12 for a.
4
Let f be ((-54)/(-24))/((-2)/(-8)). Let t be f/(-12)*1 - 19/(-4). Solve -t*m + 2*m + 4 = 0 for m.
2
Let v = -41 - -39. Let q be (30/4)/((-1)/v). Solve 0*m - q = -3*m for m.
5
Let l(f) = f - 1. Let d be l(5). Suppose 0 = d*y - 3*y - 2. Suppose 0 = -y*r + 4 + 10. Solve -r = -5*q + 18 for q.
5
Let f = 6 - -9. Let n(k) = -k + 3. Let h be n(-4). Let a be (-4 + 64/14)/(2/h). Solve -a*v = -5*v - f for v.
-5
Suppose -1 = -2*x + 3. Suppose 13*o = -26*o + 174 + 60. Solve -2 = x*v + o for v.
-4
Let z(n) be the third derivative of -1/30*n**5 - 2/3*n**3 + 0 + 0*n + 1/6*n**4 - 3*n**2 + 1/120*n**6. Let f be z(3). Solve 0 = 4*g - 1 + f for g.
-4
Let k = 188 - 179. Solve -7 - k = -4*v for v.
4
Suppose 2*p - 1 - 9 = 0. Suppose 2*k + p*q - 20 = -k, 3*k - 22 = -4*q. Suppose -v = -j + 5, 5*j - 14 - k = 4*v. Solve 0 = -3*g - j + 10 for g.
2
Let z(r) = -2*r**2 + 8*r + 8*r - 9*r. Let s be z(9). Let p be (-4)/6*s/22. Solve -j + p = -0*j for j.
3
Let u be (2/(1 + 1)*0)/(-1). Solve -7*x - 10*x - 68 = u for x.
-4
Let z be 2 - 1 - (-1 + 0). Let v be -4 - ((-7 - 0) + 3). Suppose v = 2*i + 3*i. Solve z*h - 2 = -i*h for h.
1
Suppose c = 0, 2*s - 17*c - 14 = -14*c. Solve -s*l + 15*l - 32 = 0 for l.
4
Let v be ((-12)/(-1 - 2) - -17) + 0. Let a(s) = -s**3 + 22*s**2 - 21*s. Let u be a(v). Solve -t = -u*t - 2 for t.
2
Let q(k) = -k**2 - 5*k + 4. Let h be q(-5). Suppose -7 = -2*j - 3*z, -3 = -h*j + 3*j - z. Suppose j*m = 2*t, 2*m + 2*m - t = 9. Solve 0 = r - 1 - m for r.
4
Let h be 28/(-7) + -2*1. Let b be (2 + (-5)/2)*h. Solve -6 = b*k - 3 for k.
-1
Let p(v) = -v**2 - 8*v + 51. Let d be p(-12). Solve -d*m - 10 = -8*m for m.
2
Suppose 3*d + 0 = -24. Let r = d - -10. Solve -r*c + 5*c + 9 = 0 for c.
-3
Suppose -5*y - 4*j + 47 = 0, 3*j + 16 = 3*y - 23. Solve 14*s - y*s - 15 = 0 for s.
5
Let d be -3 - (-1 + -7 + 1). Let s be (10 - (1 - 5)) + -4. Solve 0 = -3*x + s - d for x.
2
Let n(x) = x**2 + 8*x + 17. Let k be n(-3). Solve q - 3 = -k for q.
1
Let t(v) = -2*v - 24. Let g be t(-14). Suppose -2*h - 4*y + g = -2, -15 = -5*h + 3*y. Let s be ((-27)/12)/((-3)/16). Solve h*n = -0*n - s for n.
-4
Suppose 5*t + 109 - 9 = 5*j, 5*t = -j - 130. Let q = t + 37. Solve -3*n = n + q for n.
-3
Suppose y - 3*i - 2 = 0, 12 + 20 = 2*y + i. Let k be y/8 + (-6)/(-24). Solve 1 = -o - k for o.
-3
Suppose -5*h + 5 + 5 = 0. Suppose 0*j + 5*a - 40 = -j, -j - 2*a + 28 = 0. Suppose 3*x + 2*x - j = 0, 3*x - 21 = -3*z. Solve h*q + 20 = -z*q for q.
-4
Suppose -25*n = -14*n - 44. Solve 2*h = -0*h + n*h for h.
0
Let q = -9 + 11. Suppose -5*s = q*h - 4, -4*s + 0*s + 3*h = 6. Solve s = -0*m + 2*m - 10 for m.
5
Suppose -3*r + 6 = -4*v, 3*v = r - 1 + 4. Suppose -r = -m - 4. Solve -m*g = -6*g for g.
0
Let o(q) = q**2 - 4. Let m be o(3). Suppose 4*k - 278 + 99 = -5*a, 102 = 3*a - 3*k. Suppose -a = -5*u - 4*h, -u = -h - 2 + 4. Solve -m = -2*d - u*d for d.
1
Let k(g) = g**2 + 14*g - 36. Let h be k(7). Let j = h - 105. Solve -j = -2*a + 4 for a.
5
Suppose 0 = 64*v - 155 - 805. Solve v = 102*q - 99*q for q.
5
Suppose -2*d - 8 = 3*i, -3*i + d - 21 - 2 = 0. Let w(h) = h**2 + 9. Let n be w(i). Let y be (-6)/4*(-240)/n. Solve -7 - y = -5*b for b.
3
Suppose 0 = -3*m + 9, 3 = 5*l - 2*m - 6. Solve 25 = l*t + 2*t for t.
5
Suppose 0 = 3*l - r - 11, 2*r + 17 = 2*l + 15. Solve -l = 2*y + 3 for y.
-4
Suppose -3*q = -5*q + 4. Solve q*w = 9*w - 4*w for w.
0
Let s(t) = -2*t**3 - 5*t**2 + 5*t + 7. Let f be s(-3). Solve 0 = -42*a + 43*a + f for a.
-1
Let d be (-1)/(-8) - (-5)/(-40). Suppose d = -4*c + 4*y - 104, 0*y - 5*y - 68 = 4*c. Let s = c - -25. Solve -2*b = s + 1 for b.
-2
Suppose -4*v - 46*i = -47*i - 19, 4*v = 4*i + 28. Solve k = 2*k + v for k.
-4
Let k be 5 - (18/(-30))/(1/(-5)). Solve -2 - k = i for i.
-4
Suppose -2*x = 4*q - 26, x - 5*q = -3*q - 7. Let k be 2 - ((-6)/(-1))/(-2). Suppose f = -k, -x*b + 13 = -0*b + f. Solve -l = -b*l for l.
0
Let q be (-5 - -18) + 0/(-2). Let g = q - -7. Solve -g = -0*r + 5*r for r.
-4
Let k be (-1)/((-2)/1) + (-28)/(-8). Let o be k - (-9)/((-9)/(-2)). Solve -10 = -4*m + o for m.
4
Suppose -41*g + 8 = -37*g. Solve g*z + 10 = 4*z for z.
5
Suppose 2*i = 3*i + 3*o, 3*o + 18 = i. Suppose -3*w = i*w. Let c(n) = -n + 2. Let s be c(0). Solve w*z + z + s = 0 for z.
-2
Let f be 56/(-252) + 29/9. Let y = 9 - f. Solve -y*i = -7*i - 5 for i.
-5
Suppose 3*t + 3 = n, -3*t + 4*n + 6 + 0 = 0. Let f be 1 + t + 5 + (-4 - 0). Solve f = 4*z + z for z.
0
Let c = -610 + 610. Solve c = 11*z - 13*z + 4 for z.
2
Suppose -344*g + 28 = -337*g. Solve 2*b - 4 = g*b for b.
-2
Let q be (75/(-6))/(7/(-14)). Solve -3 = q*m - 26*m for m.
3
Let p(f) = 6*f**2 - f**3 - 4*f - 3*f + 2*f + 7. Let a be p(5). Solve -3 - a = -2*b for b.
5
Let d = -10 + 19. Le