13 for c.
-1
Suppose 0 = -12*t + 9*t + 36. Let l = 15 - t. Suppose 4*x = -4*w + 32, 2*w - 4 = -w + 2*x. Solve l*v = -0*v + 5*u + 26, -w*v - 3*u - 4 = 0 for v.
2
Let w(p) = p**3 + 3*p + 6. Let y be w(0). Solve 5*l - y = -5*d - 1, -10 = -2*d for l.
-4
Let h = -1363 + 1365. Let z be ((-6)/5)/(6/(-40)). Solve -4*b = -2*j, h*j - z = 2*b - j for b.
2
Let c(i) = -6*i - 76. Let z be c(-13). Solve -9 = -g + 2*m, -4*g = -g + z*m + 5 for g.
1
Let j(k) = 2*k**2 + 2*k. Let m be j(-3). Let u = 12 - 10. Suppose 4*i = f + 15, 3*i = i + u*f + 12. Solve 0 = 5*r - 5, 0*v = 5*v + i*r + m for v.
-3
Let b be (15/(-18))/(6/(-36)). Solve 10*h = b*h + 2*z + 8, 3*z = h + 1 for h.
2
Suppose -10*l = -8*l - 10. Suppose -l*f + 24 = 4*n, 3*n = 4*f - 0*f + 18. Let r(p) = 4*p - 1. Let u be r(1). Solve -2*c + 12 = u*y + y, -2*y - 2*c = -n for y.
3
Suppose 3*y - 11 = -2*z, -1 = -2*y + z + 4. Suppose 0 = -5*n - 0*n + 20. Solve 4*o + 16 = 0, 16 = -n*q - 6*o + y*o for q.
-1
Let p = -9 - -15. Suppose -894*a = -900*a + 126. Solve 4*w + a = -3*v, 3*v - 9 = p*v for w.
-3
Let r = -97 - -100. Suppose -1 = 3*y - 3*w + 8, -9 = -y - r*w. Solve -2*o - 9 = -0*o + f, -4*o - 4*f - 20 = y for o.
-4
Let u(j) be the first derivative of 2*j**3 - j**2 - j + 2. Let n be u(-1). Solve 5*s - n = -0*s - 2*h, 0 = -s + 4*h - 3 for s.
1
Let v(o) = -o**3 + 5*o**2 - 8*o. Let h be v(4). Let l = h + 19. Let s(q) = q**2 - 4*q + 3. Let d be s(3). Solve -l*t + 6*t = 2*g + 15, -5*g = d for t.
5
Let y be (-16)/(-12)*(-30)/(-8). Suppose y*o - 6 = -36. Let a be 28/(-12)*o/2. Solve -3*h - 17 = -d, -d = h + 2*h + a for h.
-4
Let p(a) = -a**3 + 3*a**2 + 13*a - 10. Let x be p(5). Solve 22 = 2*u + h - x*h, 1 = -u - h for u.
3
Suppose 4*j + 8 = 2*j. Let o = j + 7. Solve 9 = o*r - 3*u, 0 = -5*r - 4*u + 4 + 2 for r.
2
Suppose 209 = 2*c + j, -9*c + 3*j + 495 = -4*c. Let p = c + -90. Solve 0 = -2*n + 5*g + p, -g = 5*n + 3*g + 36 for n.
-4
Let f(h) = -h**3 - 7*h**2 - 2*h - 10. Let w be 2/(-1)*91/(-14). Suppose 4*r - w = -41. Let x be f(r). Solve 4*s = -4*d - s, x*d + s = 0 for d.
0
Suppose -30 = -4*g + 46. Let z be (24/(-20))/((-1)/(-10)). Let w = g + z. Solve -w = -5*p + 3*k, -p + k + 3*k = 2 for p.
2
Let p be ((-8)/(-12))/(2/6). Let b be (p/6)/(7/231). Suppose b*u = 7*u + 24. Solve 3*q - 4 = 4*d + 16, 0 = q + 5*d + u for q.
4
Suppose 3*q + 14 - 23 = 0. Solve -5*y = -5*u + 40, -q*u + 2*y - 4 = -6*u for u.
4
Let j(b) = b**3 + 4*b**2 - 3*b + 3. Let a be j(-6). Let p = -47 - a. Solve 4 = q - 4*l, 0*q = -5*q + p*l - 12 for q.
-4
Let x be 20/(-6)*(-8 - (-52)/8). Solve 20 = -3*m + x*n, m - n + 1 + 3 = 0 for m.
0
Let o = 7 + -9. Let h(r) = -4*r**3 - 2*r**2 + r. Let f be h(1). Let s be f*(o + (-12)/(-10)). Solve c - s*c + 2*t + 2 = 0, 2 = 4*c - 2*t for c.
0
Suppose -2*i = 5*k - 14, -2*i + 10 = 4*k - 2. Let f be 3/((-2)/(8/(-6))). Let q = 12 + -10. Solve q = -f*u + 4*d, -u = d - k - 3 for u.
3
Let z = 31 + -5. Suppose 34 = 15*y - z. Solve -h + 4*u + 6 = 21, -y*u = h - 25 for h.
5
Let h(o) = o**2 - 10*o - 6. Let n be h(5). Let y = n - -48. Suppose -16*a = -y*a. Solve -4*l - 22 = -2*q, a = -l - 3*q + 8*q - 19 for l.
-4
Let l(a) = -a**3 - 33*a**2 + 74*a + 145. Let k be l(-35). Solve -5*m - 5*t = 5, -3*t - k = m + 4 for m.
3
Let g(k) = 19*k - 247. Let y be g(13). Solve y*u + 3*r = -u - 5, 3*u = -5*r - 7 for u.
1
Suppose 7*b = 2*b + 15. Suppose -12 = -b*q + 42. Suppose 0*x - q = -x. Solve 2*v + 0*v + 4 = 4*n, 5*n = -4*v + x for v.
2
Suppose s + u = 14, -5*s + 65 = 3*u + 5. Let i = -37 + s. Let y = i + 33. Solve -2*m + 8 = j + j, -18 = -y*j - 4*m for j.
2
Let q(z) = -z**2 + 32*z - 189. Let h be q(9). Solve 5*g + s - h = -s, 5*s - 26 = -3*g for g.
2
Let i(t) = 11*t**3 - t**2 + t. Let z be i(1). Suppose -z + 31 = 4*u. Solve u*m + 5 = 2*f, -3*m - 18 - 6 = 3*f for m.
-3
Suppose -2*b - 10 = -i, 2*i + 67 = -5*b + 42. Solve i*w - w = -3*n + 1, 3*n + 4 = -4*w for w.
-1
Let g(b) = -b**3 - 8*b**2 + 10*b + 13. Let u(s) = s**2 + 8*s + 7. Let d be u(-4). Let x be g(d). Solve -5*l - 3 + 27 = x*v, 2*l = -4*v + 12 for l.
4
Let j = -8 + 10. Solve -2*y + b = j*y + 6, 0 = 2*b + 4 for y.
-2
Suppose 0*b - 3 = -b, -5*f + 28 = b. Suppose f*w = 109 + 51. Suppose -2*r + 3*a - 7 + 23 = 0, 0 = 4*r - a - w. Solve -3*c = k + r, 24 = 4*k + c - 3*c for k.
4
Let t = 13 + -13. Suppose 12 = 12*x - 13*x. Let h be 1*15*(-4)/x. Solve 2*a - h*c - 5 = 0, 0 = 5*c - t*c - 5 for a.
5
Suppose 3*q = -s - 12, -q + 7 - 53 = 5*s. Let g = s - -17. Solve y + y = -3*d + g, 4*d = -5*y + 6 for d.
4
Suppose 12 + 8 = 4*x. Let r = x - 1. Let q(m) = -m**3 + 4*m**2 + m. Let p be q(r). Solve 2*b + g - 3*g = p, -3*b + 6 = -g for b.
2
Suppose -3 = 4*v - 5*h, 0 = -5*v - h + 30 - 12. Solve -2*t + v*b - 16 = 0, -8*t - 10 = -5*t - b for t.
-2
Let w = 1034 + -1030. Solve w*s = 2*s + 2, -n - 5*s + 10 = 0 for n.
5
Suppose 13*p - 16 = 5*p. Solve -p*m + 3*m = -2*k - 3, 16 = k - 3*m for k.
1
Suppose 3*z - 47 = -5. Let m be (-2)/7 - (-102)/z. Let r(n) = n**2 - 2*n - 5. Let w be r(4). Solve y = -w*x + m*x - 22, 3*y + 2*x - 4 = 0 for y.
-2
Suppose -4*v + 12 = 0, -c - 4 = -3*v - 3. Suppose -5*b + c + 17 = 0. Solve 3*z = 2*x + 8, 6*z - 3*z - 20 = b*x for z.
0
Let t = -28 + 32. Suppose -20 = -2*m + t*k - 0*k, 25 = 4*m - 3*k. Suppose 5 = -3*v - 5*s + 10, -m*s = -4*v - 4. Solve v*i = -3*i + q + 3, 6 = 5*i - 2*q for i.
0
Let g(h) = -h**3 + 3*h**2 + 8*h - 4. Let x be g(3). Solve 4*k - 5*q + x = -3*q, -5*k - 2*q = 7 for k.
-3
Let i be 0 + -3 - (4 + -7 + 5). Let r(z) = -z**3 - 3*z**2 + 8*z - 5. Let v be r(i). Solve -4*f - 4 = 3*t - 8*t, -5*f - t = v for f.
-1
Suppose -k = -2*o, 3*o - 5 = -2*o. Suppose s + 5 = 2*x, -3*s + 3*x - k - 1 = 0. Suppose 5 + s = g. Solve 0*f + f = 2*n - g, -2 = -f - 3*n for f.
-4
Let d(o) = 41*o - 120. Let m be d(3). Solve -f = -2*k - m, 0*f - 4*f = -k + 2 for k.
-2
Let p(y) = y**3 + 9*y**2 + 8*y. Let o be p(-8). Let f be 18/4 + (4 - (-7)/(-2)). Solve o = -f*s - 5*v - 10, 0 = 3*s - 9*v + 4*v - 2 for s.
-1
Suppose -5*l + 33 = 23. Solve l*p + 5 = 2*s - 3, 0 = 4*s + p - 11 for s.
3
Let q be 2*(-11)/22*-14. Solve 40 = -4*n + 4*o, q*o - 25 = 9*o for n.
-5
Let b = -4 - -4. Suppose -w = -b*w - 7. Suppose w*a - 6*a - 5 = 0. Solve 0 = -k - i, -a*i = 2*k - 6 - 0 for k.
-2
Let t = -100 - -8. Let k = t + 97. Solve -k*n + 15 = -4*r - 8, n = 3 for r.
-2
Let c be (-8)/(-16) + 27/(-6). Let j(m) = -6*m - 18. Let p be j(c). Solve 4*k + 4*a = 2*k - 6, a = -2*k - p for k.
-3
Let x(i) = -8*i - 21. Let d be x(-6). Solve -2*r - d = -3*k - 5*r, -4*k + 4*r = -4 for k.
5
Let k = -98 - -98. Suppose c = w - c - 12, -5*w + 5*c + 70 = k. Solve 0 = -4*g + w, -5*m + g + 0*g = 9 for m.
-1
Suppose 12 - 3 = 3*h. Let l = h - -1. Let s = -1635 + 1637. Solve c - s*a = -c - l, 3*c + 3*a - 18 = 0 for c.
2
Let r be (-3)/12*2 + 264/16. Suppose 0 = -8*y + r + 8. Solve -3*m + 15 = -f - 5*m, y*f = 4*m + 5 for f.
-5
Let i(l) = -l**2 + 13*l - 28. Let g be i(10). Solve -g*j = n - 4, -4*j + 2*n - n - 4 = 0 for j.
0
Let g(v) = -4*v**2 + v**2 + 2*v**2 + 21 - v**3. Let p be g(0). Let z = 23 - p. Solve 0 = l + 2*b - 5, -z*b - 20 = -4*l - 6*b for l.
5
Suppose 0 = -82*j + 83*j - 2. Let p(g) = -g - 2. Let o be p(5). Let z = 11 + o. Solve -z*q - j*y = 3*y - 20, -2*y + 10 = 2*q for q.
5
Let c be 5/((-6)/36*-5). Suppose 6*y - 2*y = 2*q + 24, 3*y = -2*q + 4. Solve -3*i + s + 1 = 0, 2*i - s = c - y for i.
-1
Let m be (54/24)/(6/16). Suppose 2 + m = 4*d. Solve -d*u - 10 = 2*f - 4*u, 3*f - u = -9 for f.
-2
Let u = 58 - 58. Suppose 7*t - 28 = -u*t. Solve 3*r - 2*c - 1 = -3, 0 = -t*r + 2*c for r.
2
Let u(q) = q**3 + q**2 - 3*q + 5. Suppose m + 4 = -m - r, -4*m - 3*r = 12. Let c be u(m). Solve -x + t = -3*t - c, -4*x + 20 = t for x.
5
Let l be 5/2 - 1/2. Suppose -3 = 11*d - 12*d. Suppose 5*v = 5*x + 30, 0 = -4*v - d*x + x. Solve -l*i - v = -2*q + 4, -5*i - 3*q = 23 for i.
-4
Suppose 7*c + 16 = 4*h + 3*c, -c = -3*h + 12. Suppose -6 = -k + z + z, h*k + z = -3. Suppose i = -k*i. Solve i = 5*j + 22 - 2, -5*y + 1 = j for y.
1
Suppose 6*z = z + 100. Let s be 5/(z/(-76)) - 3. Let h = s - -24. Solve -3*i = h*i - 2*u - 13, -5*i + 16 = u for i.
3
Let n = 912 + -908. Solve z - b = 2, -n*z + 0*b - 3*b - 6 = 0 for z.
0
Let u be 1 - (27/(-9) - -2). Solve 0 = -u*l + 3*c - 2, -3*c - 4 = -3*l - 2*l for l.
2
Let f be -3*(-5)/(-15)*-13. Solve 3*m = -5*x - 5, m + 2 = 5*x - f f