for c.
-2
Let v = 233 + -194. Suppose -2*m = -4*l + 114, -3*l + 4*m + 68 = -25. Solve -3*p - l + v = 0 for p.
4
Let b be 56/8 + 1 + 5 + -10. Solve b = -v + 7 for v.
4
Let w(p) = p**3 - 7*p**2 + 14*p - 11. Let b be w(5). Suppose -1 = -3*a + 17. Solve 0 = -b*i + a*i for i.
0
Suppose -127*m + 56*m + 2113 = -869. Solve -n - 49 = -m for n.
-7
Let p be ((-66)/20 - 2)*-4 - 15/75. Solve p = -a + 22 for a.
1
Suppose 3*o = 3*u + 996, -33*u = 5*o - 34*u - 1672. Solve i = -333 + o for i.
2
Suppose 0 = q - 1 + 17. Let d be ((-12)/q + -1)*-8. Suppose -3*p + 4 = -d. Solve 2*v + p - 4 = 0 for v.
1
Suppose l + 8*l + 43*l - 260 = 0. Let n be (2/3)/((-6)/(-45)). Suppose 0 = 5*a - 4*a - n*s - 9, 0 = 5*a - 3*s - 23. Solve -l*t = 29 - a for t.
-5
Let o(n) be the first derivative of n**3/3 + 2*n**2 - 18*n - 41. Let r be o(3). Solve z = -r*z - 20 for z.
-5
Suppose -2*s + 3 = -3*y, 4 = -2*y + 2. Suppose 2*q - 5*z - 26 - 14 = s, -52 = -4*q + 3*z. Solve -q = -11*v + 12 for v.
2
Suppose 0 = -91*d - 42*d - 36*d. Solve d = -24*l + 30*l for l.
0
Let y(c) = -5*c**2 - 3*c. Let b be y(-2). Suppose -5*l + 3*o - 100 = 0, 2*l + 40 = -45*o + 46*o. Let i = b - l. Solve 0 = 3*a - 0*a + i for a.
-2
Suppose 4*z = 20 + 4. Let r be (4 - -2)/((z/(-4))/(-1)). Suppose r*g = -4*q + 48, 5*g - g = -8. Solve 0 = -4*w - 2 + q for w.
3
Let a = -55 - -82. Suppose -4*r + 5 = -a. Let f be (18/r)/(-9) + 63/12. Solve -21 = f*q + 4 for q.
-5
Suppose -23*x + 20*x + 64 = -62. Solve 0 = -12*w - 6 + x for w.
3
Suppose 32 = 4*d - 2*i, -567*i + 570*i = 2*d - 12. Solve -20 = -11*x - d for x.
1
Let l be (-2)/(-4)*0*2/8. Let u = 23 - 17. Suppose -c = -u*c. Solve -j + c*j + 2 = l for j.
2
Let t = 3 - -2. Let u(m) = -6*m - 14. Let h(l) = l + 1. Let w(d) = -5*h(d) - u(d). Let p be w(-3). Solve t*j - p*j = -1 for j.
1
Let j = 53 - 49. Suppose 3*y - 4*y = -23. Suppose -16 = -3*u - 2*t, -u - 2*u = -5*t - y. Solve -u*l = -j*l for l.
0
Suppose p + 7*p = 72. Let t(j) = 4*j + 0*j + 8*j**2 - 4 - j**3 - p*j - 7. Let b be t(7). Solve -c + b = -0*c for c.
3
Let k(n) be the second derivative of n**4/12 - n**3/3 - n**2 - n. Let l be k(3). Let s be 0/((-45)/(-42) + 33/(-462)). Solve -l = r - s for r.
-1
Let s(b) = -b**3 + 6*b**2 + 5*b - 31. Let y be s(6). Let f be ((-18)/(-135))/(y/(-15)). Solve -4*d - f*d = -d for d.
0
Let a = 28259 + -28157. Solve -4*m - a = -110 for m.
2
Let q(g) = -2*g**3 - 26*g**2 + 2*g + 26. Let c be q(-13). Let f be (-50)/(-5)*(2 + c + -1). Solve 3*t = 8*t - f for t.
2
Suppose 0 = -4*h - 0*h - 3*k + 257, -63 = -h - k. Solve -75*u = -h*u for u.
0
Let l be 30/(-7 - -1) + 43. Solve l*z - 49*z + 44 = 0 for z.
4
Suppose -21*b - 73*b = -10*b - 6300. Solve 72*x - 291 = -b for x.
3
Let q(f) = 6*f**2 + 22*f + 3. Let m = -65 - -67. Let d(k) = -k**2 + k + 1. Let c(s) = m*d(s) + q(s). Let j be c(-6). Solve 0 = g - j - 0 for g.
5
Suppose 0 = -4*w - 305 + 313, 4*w - 34 = -2*a. Solve -35 + 35 = -a*d for d.
0
Let k = 15368 - 15315. Solve -k*y + 58 - 164 = 0 for y.
-2
Let m(s) = s**3 + 4*s**2 - 2*s + 11. Let u be m(-5). Let p be 2/u*9/((-45)/40). Let c(t) = -4*t + 16. Let a be c(p). Solve 4*r + 0*r - 20 = a for r.
5
Let b(a) = -2*a - 3. Suppose 4 = 4*v, -10 = 5*f - 2*v + 27. Let x be b(f). Suppose 5*k - 17 - x = -i, 4 = -2*i. Solve 25 = -y + k*y for y.
5
Let v be (32 + -167)*2/(-6). Solve v*q - 208 = -7*q for q.
4
Let n = 38 - 36. Suppose -2*b = -j - 148, -5*b - 3*j = -n*j - 377. Let p = b + -75. Solve p = -2*m - 0 - 6 for m.
-3
Let r(s) = s**2 + 251*s + 12336. Let z be r(-67). Solve 0 = z*u + 6*u + 70 for u.
-5
Suppose -2*d = -d + 5*d. Suppose 0 = 3*g - 5*j - 1, 4*j = -0*g + 3*g - 5. Suppose 0 = g*c - 0*c - 7. Solve d = -s + c + 1 for s.
2
Suppose 14*k - 1 - 111 = 0. Let q be 118/k - 6 - (-2)/8. Solve -q*c + 27 = -9 for c.
4
Suppose 2*m + w = 3*m - 42, -4*w - 16 = 0. Suppose 30*g + 72 = m*g. Solve 1 = -2*l - g for l.
-5
Let o be ((-62)/16)/((-15)/120). Suppose 8 + 54 = o*h. Solve 0*u = -h*u + 8 for u.
4
Suppose p - 1 = -2*o + 3, -p + 2*o - 4 = 0. Suppose -6*h = 19*h + 3150. Let d = h + 130. Solve -q + 0 - d = p for q.
-4
Let x be (2/(-2))/(19/361). Let i(r) = r**3 + 18*r**2 - 23*r - 76. Let t be i(x). Solve -2*u + 7*u - 10 = t for u.
2
Let l = -4116 - -4209. Solve -9 = -34*d + l for d.
3
Let p = 92 + -84. Let w = -153 - -156. Solve 0 = w*g - 7 - p for g.
5
Suppose 0 = -v + 4, 3*q - 2143 = 5*v + 405. Suppose -45*c + q + 224 = 0. Solve 5*a + c + 1 = 0 for a.
-5
Let p = 388 - 29. Let h = 361 - p. Solve 2*s + h = -0 for s.
-1
Suppose -157 = -5*p + 2*r, -3*r + r + 140 = 4*p. Suppose 2*s = 2*b + 14, -5*s + 4*b + p = 2. Solve 0 = 3*i - 0*i + s for i.
-1
Suppose 283 = -26*z + 595. Solve 0 = -2*a + 8*a + z for a.
-2
Let w(z) = 9 - 17*z + 16*z + 2*z. Let y be w(-4). Solve -2*i + y*i = 3 for i.
1
Let c be (45/(-12) - -6)*28. Solve -117 = -c*x + 72 for x.
3
Suppose 0 = -5*i + 4*j + 750, 0*j + 4*j + 20 = 0. Let k = i + -144. Solve k*w = -0*w + 10 for w.
5
Let u(z) = -4*z - 32. Let s be u(-19). Suppose -4*n = -2*h - 2*h - s, 0 = -2*n - 4*h + 34. Suppose 0 = n*x + 2*x - 60. Solve 7 + 1 = x*g for g.
2
Let s(p) = 79 - 2*p - 43 - 44 - 2*p. Let v be s(-2). Solve v = -13*a + 19*a for a.
0
Let q be 3/7 + (-518)/(-49). Suppose -7*a = -q*a - 60. Let g = -9 - a. Solve -31 + g = 5*d for d.
-5
Let d = -110 + 113. Suppose -9*v + d = -15. Solve -v*f = 2 - 4 for f.
1
Let z be 3/(-5 - 4) - (-37)/3. Let u(y) = 6*y - 51. Let a be u(z). Solve n = 16 - a for n.
-5
Suppose -153*x + 151*x - 3*d + 15 = 0, x - 4*d - 24 = 0. Solve h + 15 - x = 0 for h.
-3
Let u(p) = p**2 + 6*p - 2582. Let f be u(-54). Solve -11 = -r - f*r for r.
1
Let b be 304/7 - (-16)/(-168)*-6. Suppose 2 = -5*v - z + b, 0 = -3*z - 9. Solve -4*x = -v*x + 15 for x.
3
Suppose -7*l + 8*l = 14*l - 273. Solve -3*c + l*c = -108 for c.
-6
Let a(x) = -x**3 - 6*x**2 + 5. Let m be 14/49 + (-472)/(-14) + -2. Let h = m + -38. Let r be a(h). Solve 2*p - r = 3*p for p.
-5
Suppose 3*b - 3132 = -2*k + 2062, -13006 = -5*k - 11*b. Solve 0 = 14*s + 2518 - k for s.
5
Let h(r) = r**2 + 9*r - 23. Let n be h(-12). Let k(d) = d - 5. Let o be k(n). Suppose -10*l = -14*l + o. Solve -4*x = l - 6 for x.
1
Let n = 39 - 44. Let a(s) = s**2 + 5*s + 4. Let b be a(n). Suppose b*m + l = -1, 3*l = 4*l + 5. Solve y + 0 = -m for y.
-1
Suppose 0 = -25*q + 139 - 121 + 157. Solve 537 - 551 = q*n for n.
-2
Suppose -6*n + 6 = -3*n. Let f(g) = -g - 4. Let b be f(-5). Let c be (3/30*6)/(b/10). Solve n*t + 8 = c for t.
-1
Suppose -220 = 3*r + r. Let v be r/(-8 + (12 - 5)). Solve 61 - v = 3*k for k.
2
Let u(k) = 5*k**3 - k**2 + k - 1. Let m be u(1). Suppose 4 = b - m. Suppose 53*x - 89 - 91 = 8*x. Solve b = x*y - 0*y for y.
2
Let s be 1274 - ((4 - 1) + -28 + 30). Solve -1267*v = -s*v + 4 for v.
2
Let z(p) = -113*p - 856. Let q be z(-8). Solve 36 = -3*x + q for x.
4
Let f(v) be the first derivative of -3*v**2/2 + 58*v - 50. Let b be f(15). Solve -4*g - 36 = -b*g for g.
4
Suppose -18*q - 8*q = -130. Let c(x) = -x**3 - 4*x**2 - 4*x - 1. Let p be c(-3). Suppose -2*i - 2 = -u - 3*i, -4 = -p*i. Solve b + 4*b + q = u for b.
-1
Let a(i) = 15*i. Let g be a(1). Suppose -4*b + 7 = 5*r - 38, -5*b = -3*r - 10. Suppose -16 = -r*o - w, -10 + 26 = o - 3*w. Solve -o*j - g = j for j.
-3
Suppose -6*r + 3*r + 12 = -t, -31 = -2*t - 5*r. Let h be ((-5)/((-5)/3))/1. Let q be (h - 5)/(10/(-15)). Solve q*o - 6 = -t for o.
1
Let z = -101 - -121. Suppose 5*o - 3*x = -2*x + 45, -3*x = o - 25. Solve -o*v + z = -6*v for v.
5
Let k be 228/627 - 234/(-22) - -2033. Solve 0 = 2043*l - k*l for l.
0
Let p = -5710 - -5942. Solve 0 = -23*b + 52*b + p for b.
-8
Suppose -1276 = -66*g - 55*g + 5*g. Solve -g*o - 6 = 27 for o.
-3
Let s(p) = 2*p - 23. Suppose -2*j = 7*t - 3*t - 202, -t = 3*j - 53. Let v = -36 + t. Let h be s(v). Solve h*k + 1 = -4 for k.
-1
Let i = -238 - -276. Suppose 47*q = i*q + 108. Solve q*s + 8 = 10*s for s.
-4
Let m(t) = t**3 - 27*t**2 + 19*t + 49. Let a(n) = -n**3 + 28*n**2 - 18*n - 46. Let y(p) = -2*a(p) - 3*m(p). Let r be y(24). Solve 0 = r*o - 12*o for o.
0
Suppose 136 - 440 = -104*w + 320. Let k be (-1)/(-1 + 2/4). Suppose k*o + 2*g + w = -2, -2*g = -5*o + 8. Solve -i + 1 + o = 0 for i.
1
Let y = -35266 - -36321. Solve -y*t + 1043*t = 108 for t.
-9
Let o = -52 - -225. Suppose o = 4*z - 0*z - 5*a, -47 = -z + 5*a. Let v = z - 36. Solve v*s = 2*s