 for c.
0
Suppose 2*j = 4*j + 14. Let o be (-2 - -1)/(j/14). Solve o + 2 = -r - 2*k, r - 3 = 5*k for r.
-2
Let i be 3*(-8)/(-12) + -2. Suppose -3*v = -12 - 3. Solve -3*r + 18 = -i*u + 3*u, 4*u - 15 = v*r for u.
5
Let j be 8/(-3)*(-30)/20. Solve -i = o + j*o, o = -i for o.
0
Suppose 3*z + z = -z. Solve z = 2*t, c + 1 = -2*t + 4*t for c.
-1
Let s(i) = i**3 - 3*i**2 - 6*i - 1. Let p be s(5). Let m = -19 + p. Solve 4*n + 5 = 5*f, m = 5*f + 2*n - n - 30 for f.
5
Let x be 2/(24/(-14) - -2). Solve 4*w + x = 3*s, 5*w - 4*s = -9*s + 35 for w.
2
Let p(y) = -y**3 - 17*y**2 - 15*y + 23. Let d be p(-16). Solve 4 = 3*l + 4*q, q + d = l + 1 for l.
4
Let l = 8 - -2. Suppose m - 22 = 4*r, 2*m - 1 = -5*r - 9. Let h(u) = u**2 - 5*u - 6. Let t be h(m). Solve t = -2*y - 0*y + 5*p + 4, p - l = -5*y for y.
2
Let d(f) = -f + 8. Let q(x) = -x. Let n(k) = d(k) - 2*q(k). Let j be ((-54)/(-72))/((-1)/8). Let b be n(j). Solve 5*l - 2*y = -17, -5*l + b*y - 14 = -l for l.
-3
Let y(s) = -3*s**3 + s**2 - 2*s + 1. Let f be y(1). Let l be 5*3/(45/6). Let j be 9 + f - (l + 0). Solve -j*m + 4*b + 7 = -13, m = 3*b + 13 for m.
1
Suppose 2*q = -11 + 31. Suppose -4*l - q = -9*l. Solve 3*p = l*b - 13, 0 = p + 1 + 2 for b.
2
Let a(p) be the second derivative of -p**3/6 + 4*p**2 + 2*p. Let h be a(4). Let r be 132/21 - (-4)/(-14). Solve -r = -3*i + 3*f, -2 - 9 = -i + h*f for i.
-1
Let v(o) = 8*o - 1 - o**2 + 2*o**2 + 11. Suppose -4*l = -2*j + 26, 0 = 5*l - 0*l - j + 34. Let g be v(l). Solve 3*k - 2*u + 6 = 0, 5*k - u = -g*u - 10 for k.
-2
Let v(x) = 2*x + 5. Let s(z) = z - 1. Let t(h) = 3*s(h) - v(h). Let c be t(8). Solve -3*b = -5*i - 13, i + 4*b + c + 21 = 0 for i.
-5
Let q = -27 - -32. Solve 11 = 3*n - q*w, -4*w = -4*n + 3 + 1 for n.
-3
Let c be 9/(-27) + (-10)/(-3). Solve -4*o + c*y + 20 = 0, 4*o - y = -6*y - 12 for o.
2
Let p = 9 + -4. Solve -3 = -o + 5*t + 11, -p*o + t = 2 for o.
-1
Let o be (1/1 - -1) + -2. Suppose 5 = 6*a - a. Let f be (a - (0 - -1))/(-2). Solve -4*l - 12 = o, f*l - 8 = 4*k - 4*l for k.
-5
Let y be 2/(-6)*-3*6. Suppose 25 = 3*r + 2*r. Suppose -y = -0*h - 4*h + 2*x, 4*h - 13 = -r*x. Solve -w + 4*u + 11 = 0, 4*u - 4 = -6*w + h*w for w.
3
Let h(c) = 2*c**2 - c + 1. Let q be h(2). Suppose 5*f - q = 13. Solve -f = 2*x + 4*w, x - 2*w + 0*w = 2 for x.
0
Let b = -7 + 18. Let r = -7 + b. Suppose 2*u + 4*k = u + 8, k + 19 = 5*u. Solve d - 5 = c + c, -u*d - r = -2*c for c.
-4
Let r = 60 - 55. Let w = 3 - 7. Let v = w - -7. Solve -m - r*z + 15 = 0, 0 = -5*m + 7*z - 6*z - v for m.
0
Suppose 5*l = -0*l - 5*i + 40, 4*i - 12 = l. Suppose l*m - 75 = -m. Solve 7*d = 4*d + m, -4*d + 17 = b for b.
-3
Suppose 0 = -2*l + k + 6, 3*l - 4*k + 11 = 2*l. Let v be (2/l)/(1/5). Solve v*y = a + 9 - 1, -16 = -4*y + 3*a for y.
4
Suppose 2*r = -4*d + 2, -d - 5*r = 35 - 13. Suppose 3*a = d - 0. Solve 3*j - a = -2*v, -2 + 0 = v - j for v.
-1
Suppose 4*m = 5*y + 22, 0*m - y = 2*m - 4. Solve 5*a = -3*t + 20, t - m*a - 4 = -2*a for t.
5
Let g(k) = 3*k**3 + k**2 - k. Let q be g(1). Suppose -q*d = 5*a - 25, -5*a + 6 = -4. Solve 2 = 5*f + 2*b, -d*b = 2*f - 4*b for f.
2
Suppose -4*w = -2*w - 6. Suppose 6*i - w*i = 6. Suppose -3*d + 21 = 12. Solve 9 = -d*f, i - 4 = 5*q + 4*f for q.
2
Suppose 0 = -5*c + 4*d - 1, -2*c - 5*d + 3 = -23. Suppose -c*l = -0*l - 15. Solve -l*r - 7 = x - 3*r, 3*x - r - 7 = 0 for x.
1
Let x be (-8)/68 - (-140)/34. Solve 4*w = t + 5*w + 6, -x*w = -5*t - 3 for t.
-3
Let w = -28 + -2. Let d = w - -56. Solve -24 = 4*o + 3*j, 3*o + 5*j = o - d for o.
-3
Let z = -4 - -4. Suppose -2 = -z*i - i. Suppose -5*l + 4*y = -y - 30, 2 = -3*l - i*y. Solve l*a + 3*a + 32 = -4*r, -3*a = 2*r + 18 for a.
-4
Suppose 5*f + 12 = 8*f. Solve 2*d - 14 = -0*t - t, -f*d + 8 = -3*t for t.
4
Suppose -u + 6 = -y + 3, y - 7 = -u. Suppose -3*z = 2*c + c - 15, 2*z - 34 = -5*c. Solve q - c - 7 = 3*d, u*d - q + 23 = 0 for d.
-4
Let p be 29 + -29 - (0 - 0). Solve 0*k = 2*k - 4*x - 10, 2*x = p for k.
5
Suppose -5*f = -11 - 9. Suppose -f = 5*a - 19. Suppose 2*j - 11 = -a. Solve -4*m + 2*u - 2 = 0, j*u + 4 = m - u for m.
-1
Suppose -6*s = -s - 20. Let p(l) = -l**3 + 4*l**2 - l + 7. Let d be p(s). Suppose 0 = y - 2 - 1, 3*i = -4*y + 12. Solve -4 = 4*j - i, d*v + j = -16 for v.
-5
Let j be -1*((0 - 7) + 2). Solve 24 = -j*o - 2*x, -o = -x - 0*x + 2 for o.
-4
Let o be (1 + 2)/(-3)*-2. Let a = -8 + 11. Solve 14 + 0 = -2*p + o*b, -5*p = a*b + 19 for p.
-5
Let c(m) = 2*m - 2. Let g = 5 + -2. Let x be c(g). Solve 5*d - 3*p + 14 = 0, -d - 2*p - 12 = -x for d.
-4
Suppose -h - 3 = -2*i + 1, 40 = 5*i + 5*h. Let b be ((-2)/i)/(8/(-32)). Solve -b*p = -4*a - 0*p - 12, -22 = 2*a - 5*p for a.
-1
Suppose -3*r - 3*k = 0, -r = -3*k - 15 + 3. Let f = r + 9. Solve -3*u + 4*v - 18 = -2, -2*u + f = 3*v for u.
0
Suppose 3*z = 5*d - 31, 0 + 3 = -4*z - d. Let m = z + 2. Suppose -6*p + 2*p + 8 = 0. Solve -6*a + p*k - 11 = -3*a, m = 2*a + 4*k + 2 for a.
-3
Suppose 0*m + 2 = 2*m. Suppose 2*c = -a + m, 0 = 2*a - 3*a + 3*c + 6. Suppose -5 = 2*s + 1, -a*t = s - 9. Solve -5*z + 5 = -t*j, z - 3 - 12 = -2*j for z.
5
Let b be 84/8*8/6. Suppose g + 4*g = -q + 8, 3*g = 4*q + b. Solve 5*w - 5 = 5*y, g*w = 2*y - 7*y + 30 for y.
4
Let i be (-2)/(-3) + 10/3. Suppose 5*o = -5*v, -10 = i*o - 2. Solve -3*h = v*f + 14, -2*h = -2*f - 0*h - 4 for f.
-4
Let v = -5 - -8. Solve v*t = 2*g - 21, -t + 10 = 2*g + 3*g for t.
-5
Suppose 0 = -3*p + 10 - 4. Let x = 7 - p. Solve -x*q - 10 = -n, -4*q = -5*n + n + 8 for n.
0
Let d be (8/(0 - 2))/(-1). Let g be 64/24 + (-2)/3. Suppose -g*b + b = -3*y + 4, -y - d*b + 10 = 0. Solve 5*q + 18 = y*m + m, -3*m - q = 0 for m.
1
Let n = 5 - 5. Let a be (-1 - n)/((-1)/4). Let l = 1 + 0. Solve 4*t + 20 = 3*g - l, a*g - 12 = 0 for t.
-3
Let h = -7 + 11. Let x(g) be the third derivative of -g**4/4 - g**2. Let y be x(-1). Solve -2*l = -y, -2*f - 10 + 30 = h*l for f.
4
Let s(o) = -o**2 + o - 6. Let d be s(6). Let w = 61 + d. Let h be (w/20)/((-2)/(-8)). Solve 3*v + 4*q = h, 0 = v - 3*q + 7*q - 7 for v.
-1
Let o = 2 - 2. Let a = -6 + 10. Suppose m - a = -o. Solve -m*k = 0, -4*q + 3*q + 1 = -2*k for q.
1
Let m be (26/(-12) + (-18)/54)*-2. Solve 4*u = 4*p - 28, 0 + m = u + 3*p for u.
-4
Let o = -3 + 8. Let u(b) = 3*b. Let z be u(1). Suppose 0 = -2*d + z*q - 7, 3*q = 4*d + 2*q - 11. Solve -5*p = 5*t, -o*p = -d - 6 for t.
-2
Let d = -176 - -180. Solve -2*n - 2*t + 5 = -t, 0 = -2*n + d*t for n.
2
Suppose 5*o - 11*o + 12 = 0. Solve -3*y + 2*w - 21 = o, 0 = 2*y - 5*w + 30 for y.
-5
Let x be (-705)/65 + (-2)/13. Let s = -6 - x. Solve 8 = 4*a + 2*t, -s*a + 5 = -4*a - t for a.
3
Suppose 3*p - 6 = p. Solve -4*z - 5*w = -p, -2*z - w = 3*w - 6 for z.
-3
Let w be 3 - 1 - (2 - 3). Suppose w*o - 1 = -22. Let y = -5 - o. Solve -1 = -y*v - t - 6, -5*v + 4*t - 32 = 0 for v.
-4
Let r(g) = -g**3 - 12*g**2 - 12*g - 5. Let z = -31 + 20. Let l be r(z). Solve 4*y = n + 19, -2*n - 5*y + 2*y + l = 0 for n.
-3
Suppose -52 - 20 = -3*n - 3*p, 40 = n - 3*p. Suppose -n = -2*u + 4*l, -3*u + 0*l + 4*l + 38 = 0. Solve -5*z + a = u, 0 = z - 3*z + 5*a + 19 for z.
-3
Suppose -7 = -3*d + 5. Suppose 4*h - 14 = -2*l, -d*l + 2*l - 6 = 0. Solve -4*o - 4 = 2*v - h*v, 8 = 2*v - 4*o for v.
-4
Let z(s) = s**3 + 2*s**2 - s - 2. Let v be z(-2). Solve w + w + 2*c = 12, -5*c + 5 = v for w.
5
Let b = 45 + -45. Solve 5*y + b = 5*k + 5, 5*k = 4*y for k.
4
Suppose 0 = 5*q + 5*k - 3*k - 5, 2*k + 10 = 0. Let v be ((-3)/2)/((-6)/8). Solve -12 = v*x + 2*l - 2, -2*l = q*x + 13 for x.
-3
Suppose 2*h + 0*h = 0. Solve -2*a + 9 = f, -3*f + 11 = 2*a - h*a for f.
1
Suppose -3*d - 5*v + 23 = 0, -4*v - 3 = -7. Let r = 0 + -7. Let h be (-1)/(-4) + r/(-4). Solve 0 = 3*y, -4*o - d - h = -y for o.
-2
Suppose -3*n = -0*n. Let y(m) = m + 9. Let i be y(-7). Let p be (1 - n) + (3 - i). Solve 4*c + k + 14 = 3*k, 3*k + 11 = -p*c for c.
-4
Let z be -2 - (-7)/((-14)/12). Let d = -4 - z. Solve 0 = -5*c - 3*x - 4 - 28, 5*c + 36 = -d*x for c.
-4
Let s be -3 + 0 + 15/3. Let y = -35 - -37. Solve 8 = 4*v - 2*v, -s*v + 8 = -y*p for p.
0
Let x(w) = w - 4*w**2 + 5*w**2 - 3*w + w**2. Let c be x(-1). Solve -5 = s, -d + 40 = c*d - 4*s for d.
4
Let c = 9 - 4. Solve -c*t = -5*s, 4*s - 5 - 19 = -2*t for t.
4
Suppose -4*z - 10 = -v, -3*v + 3*z + 21 = -0*z. Solve -2*u + v = 4*d - 2, -10 = 5*u for d.
3
Suppose 0 = 3*a - 2*n - 2, -2*n = -4. 