 for c.
3
Let n(b) = -b**3 - 6*b**2 - 6*b - 3. Let h be n(-5). Let l be -4*h/4*-1. Solve -l*f - f + 3 = 0 for f.
1
Suppose -4*l - 37 = -3*h, 0 = h - 3*l - l - 15. Suppose 2*i - h = -5. Solve -s = -2*s + i for s.
3
Let t(y) = y**3 - 4*y**2 + 4*y. Let f be t(3). Let w be 30/9 + (-1)/f. Suppose 3*h = -2*v, v - w*h + 0*h = 0. Solve -5*m = -v*m for m.
0
Suppose -14*r = -21*r + 14. Solve r*f - 4*f = 6 for f.
-3
Let g(v) be the second derivative of v**4/12 + v**3/6 + v**2 - 3*v. Let k be g(-6). Solve 4*j + 12 - k = 0 for j.
5
Let t be 5 - (2/(-3) - (-22)/6). Solve 4*k - t - 6 = 0 for k.
2
Let u(p) = p**3 + 8*p**2 - 2*p - 6. Let b be u(-8). Let v be 2/5 - 4/b. Let o = 10 - 6. Solve -o*f - f = v for f.
0
Let n(a) = 9 - a**3 + a**3 - 8*a - 6*a**2 + a**3. Let l be n(7). Solve 6 = l*v - 2 for v.
4
Suppose 72 = -3*s + 198. Suppose s = 3*g - 0*g. Suppose 3*h - 9 = -v, -5*v - 2*h + g = -5. Solve 0 = -v*j - 4 + 1 for j.
-1
Suppose m + 4 - 1 = 0. Let a(g) = -2*g + 2. Let j be a(m). Let c be (j/6)/((-2)/(-6)). Solve 9 = t - c*t for t.
-3
Suppose x - 3 + 0 = 0. Let t(a) = a**2 + 4*a - 5. Let h be t(-5). Let w(o) = 4*o - 6. Let r be w(3). Solve h*q = -x*q + r for q.
2
Let l be -3 + (-4 + 1)*-1 + 3. Solve l*q = q for q.
0
Let t = -57 + 62. Solve 2 = -t*u + 7 for u.
1
Let r(d) = -d + 6. Let t be r(6). Solve 0 = -5*l - t*l + 15 for l.
3
Suppose 12 = 3*f + f. Suppose 0 = 2*z + 2, 13 - 1 = 3*b - f*z. Solve 0 = -j - b + 2 for j.
-1
Let d = -73 + 75. Solve d*r - 8 = -0 for r.
4
Let c = 24 + -24. Solve 0*v - 3*v + 12 = c for v.
4
Suppose 6 = 4*q - 2*b, -3*b + 11 = q - 1. Solve -2*z - 25 = q*z for z.
-5
Suppose -5*s + 45 = 3*p, -5*p = -4*s - s + 85. Suppose -k = -2, 3*k - 14 = -5*m + s. Suppose 3*x - 5*u = -2*u + 12, -18 = -m*x + 5*u. Solve -r - 3 = x for r.
-5
Suppose 48 = -c - 3*c - 4*m, 60 = -3*c + 5*m. Let l = -15 - c. Solve 3*y + 9 + 6 = l for y.
-5
Let x be 12 + (-9)/(-3) + 1. Let v = x + -11. Solve v*z - 25 = -0*z for z.
5
Suppose 0 = -4*x - 3*f + 5, 3*x - 3*f - 1 - 8 = 0. Solve x*n + 2*n = -8 for n.
-2
Let v = 5 + -5. Let c = -3 - -3. Solve v = -c*x - x for x.
0
Suppose -30 = -5*g - 5*f, f = -2*g + 3*g. Suppose -2*s - 3 = g. Let l = s - -11. Solve -l = 2*r - 4 for r.
-2
Let g(s) = -s**3 + 5*s**2 + 12*s + 17. Let y be g(7). Solve 4*l - 2 = y*l for l.
2
Let w(p) = 2*p - 7. Let t be w(6). Suppose -x + 2 + 3 = -4*z, -4*z - 2*x + 10 = 0. Suppose -4*s = -2*b - 16, -4*b + z*b = 2*s - 18. Solve -t*m + b = -13 for m.
3
Let c(w) = -17*w**3 + 19*w**3 + 0 - 1 + w. Let o be c(1). Solve o*h = h for h.
0
Suppose -2*c = -5 - 5. Suppose -4*b - b = 3*i, 4*b - 4*i = 0. Solve -c*s = -b*s - 25 for s.
5
Let z be (-5)/((-15)/8)*135/18. Solve -4*f + z = -9*f for f.
-4
Suppose 0 = 5*f + n - 13, -6 = -2*f + 4*n + 8. Solve 3 + f = 3*l for l.
2
Suppose 4*j - 2*j - 17 = -3*s, 3*s - 4*j = -7. Suppose 0 = s*q - 9. Suppose -3*x - n + 10 = 0, -2*n = -q*x - n + 8. Solve -4*k = -x*k for k.
0
Let c be 1/2*0 - (1 + -3). Solve 4 + 0 = c*a for a.
2
Let p(q) = q**2 - 11*q + 14. Let k be p(10). Suppose k*z - z - 17 = -2*x, 0 = -4*x + z - 1. Solve 5*r = -x + 21 for r.
4
Let j = -6 + 14. Let u(g) = -4*g - 4 - 2*g + 0 - g**2. Let i be u(-3). Solve -l = -i*l + j for l.
2
Let a(g) be the first derivative of g**2/2 + 5*g + 2. Let b be a(-5). Solve b*f + 20 = -4*f for f.
-5
Let i(m) = -m**3 + 3*m**2 - 3*m + 3. Let v = 6 - 4. Let r be i(v). Let j be (r - -6)*2/7. Solve -j + 3 = -o for o.
-1
Suppose 2*h = 5*z - 3*h + 10, -5*z - 3*h + 6 = 0. Solve -4*m + m - 15 = z for m.
-5
Let o(v) = v**3 - v + 8. Let j be o(0). Let a be j/10*(10 + 0). Solve -3*q - q - a = 0 for q.
-2
Let h be (-2)/(-5) - 46/(-10). Suppose -g + h*i = 1 + 10, 0 = 3*i - 9. Solve -t + 20 = g*t for t.
4
Let r be (-18)/(-6) - (1 - 0). Let i be ((-3)/(-6))/(r/8). Solve -z - 3 = -i*z for z.
3
Suppose -2*d - 5*w - 40 + 15 = 0, 5*d = -2*w - 10. Solve d*v + 12 = 4*v for v.
3
Suppose 0*l - l - 4 = 0, 3*l = 3*a. Let v = 7 + a. Solve -r = v*r for r.
0
Let j be 3 - (-4)/((-2)/(-1)). Let b be (j - -2)*1*1. Solve -20 = -b*i + 3*i for i.
5
Suppose 0 = i + 2*i - 30. Suppose 1 = -q + i. Let a = 12 - q. Solve -t + a*t = 8 for t.
4
Let t = 19 + -28. Let u(a) = a**2 + 7*a - 18. Let l be u(t). Solve l = -x + 5*x for x.
0
Suppose -20 = -3*k - k. Solve 19 = -k*y - 1 for y.
-4
Suppose 0 = -5*p - 13 - 2. Let m be -1*(3 + p + 0). Solve m = a - 5*a for a.
0
Let w be 2/(3/(-6) + 1). Suppose -3*z = 2*c - 14, 0*c = 4*z - c - w. Let a be z/9 - 43/(-9). Solve -a*f + 15 = -0 for f.
3
Let b = -31 - -32. Solve -w = -3 - b for w.
4
Suppose -5*i + 5 + 16 = -p, 3*i = -2*p + 10. Let v be p/(-2) + 177/6. Suppose 4*w + w = v. Solve -2 = -s - w for s.
-4
Suppose -2*m + 3*z + 2*z + 22 = 0, 7 = -m - 2*z. Solve 2 + m = -3*s for s.
-1
Suppose 0 = -x - 0*x + 12. Solve -x = -3*o - o for o.
3
Let m be ((-2)/7)/(2/(-14)). Let j(a) = 2*a - 2. Let p be j(m). Suppose -8 = -5*d + p. Solve d*g + 3 = 3*g for g.
3
Suppose 7*m - 5*m = 0. Let q = 4 - -3. Suppose q*c - 3*c - 28 = m. Solve c = -3*b - 2 for b.
-3
Let p(s) = s - 6. Let j be p(9). Let f(k) = 0*k**2 - 4*k - 1 - 4*k**2 + j*k**2. Let m be f(-3). Solve 3*t = m*t + 5 for t.
5
Let v(w) = w**3 - 6*w**2 - 5*w + 1. Let u be v(7). Suppose -j - 3*l - 5 = -3*j, 0 = 4*j - l - u. Let k be j/2*(-4 + 5). Solve -a + 3 = -k*a for a.
-3
Let d = -12 - -12. Solve d = -2*i + 3*i + 3 for i.
-3
Let d(u) = 2*u - 7. Let w be d(5). Suppose 2*v - a - 11 = 2*a, 25 = -5*a. Let p be -4*3/(-4) - v. Solve -p*y + 2 = -w*y for y.
1
Suppose -64*y = -62*y - 10. Solve -y*r - 31 + 11 = 0 for r.
-4
Let f be -10*1/((-1)/1). Let u be 1/(-2)*(-1 + 1). Let v be 5*1 + u/(-3). Solve -v*p - f = -3*p for p.
-5
Let z(w) = 3*w**2 - 2*w + 1. Let i be z(1). Suppose -5*s + 8 = -i. Suppose s*x - x = 6. Solve -t - t = x for t.
-3
Let i be (-4 + 3)/((-2)/(-14)). Let t(l) = -3*l**2 - 3*l**3 - 3*l**2 + 2*l**3 + 7*l + 4. Let x be t(i). Solve -x*k = k for k.
0
Suppose 13 = 3*k - 47. Solve 4*f - k = -f for f.
4
Suppose i + 3*i = 4, -i + 3 = j. Suppose 5*w - 4 = -q + w, 0 = -2*q + j*w - 2. Solve q = -4*v - 0 - 20 for v.
-5
Let h(n) = n**3 + 5*n**2 - 9*n - 1. Let i be h(-6). Let f(j) = j**3 - 4*j**2 + 4*j - 4. Let t be f(4). Let p = i - t. Solve -p*c - 8 = 7 for c.
-3
Let y(r) be the first derivative of -r**2/2 - 6*r + 2. Let x be y(-8). Solve 4*q + x = 3*q for q.
-2
Suppose 0 = -8*n + 41 - 25. Solve n*i + 5 = i for i.
-5
Suppose -2*g - 6 = o, -2 = o - 6*o - 2*g. Suppose o*q = 4*q. Suppose q = 5*a - 4*a - 6. Solve p = 3*p - a for p.
3
Let j(s) be the first derivative of s**4/4 + 4*s**3/3 + s**2 + 3. Let d be j(-3). Solve -1 + d = -n for n.
-2
Let w(r) = 4*r**3 - r. Let u be w(1). Solve 11 - 26 = u*o for o.
-5
Let b(v) = v**2 + v - 2. Let d be b(-2). Let f = -4 - -7. Solve 5*z - 22 - f = d for z.
5
Let r = 4 - 0. Suppose 2*b = k - 28, 3*k - r*b = -b + 72. Solve 0*t = -4*t + k for t.
5
Suppose -2*n + 0 = s + 2, 0 = n + 2*s + 4. Solve -3*v + n*v = 15 for v.
-5
Let d = -4 - -6. Suppose 3*r + r + 4*u - 8 = 0, 2*r - 5*u = 4. Solve -r*j - d*j = 0 for j.
0
Suppose 2*g + 2 = 3*g. Solve 7*a + 5 = g*a for a.
-1
Let x(s) = -s**3 - 7*s**2 + 7*s - 3. Let j be x(-8). Solve -l - 4 = -j*l for l.
1
Let g(f) = 19*f - 17*f - 2 + 6*f**2 + 4*f**3 - 3*f**3. Let k be g(-5). Solve 4*z = k + 7 for z.
5
Let l = 19 - 7. Let k(o) be the first derivative of o**4/4 - 4*o**3/3 - 5*o**2/2 + 4*o + 3. Let x be k(5). Solve -4*j = -l - x for j.
4
Suppose -2*t - 3 + 11 = 0. Let v(m) = 3*m + 1. Let s be v(1). Let r = t - s. Solve -5*a = -r*a - 15 for a.
3
Suppose -4*i + 9 = -3. Suppose -c + i*c - 12 = 0. Solve c*x = 2*x + 16 for x.
4
Suppose -3*t - 12 = 3*k, 2*k - k = 4*t + 16. Let p = 4 - k. Suppose -j = -5*n + 44, j - 19 = p*n - 54. Solve -l - 2*l = n for l.
-3
Suppose -3*c = -4 - 8. Solve -4*u + 0 = c for u.
-1
Let s = 6 + -4. Suppose s = r + 5*t, -4*t = r - 1 - 1. Suppose 4*d + d - 2*k = 8, 5*d - 11 = -k. Solve -i = -d*i + r for i.
2
Let g be (-9)/2*6/9. Let m(w) = -w**3 - 2*w**2 + 1. Let q be m(g). Solve 3*b - 8*b = -q for b.
2
Suppose l = 6 + 2. Suppose -3*i = m - 16, 3 + 13 = 2*m + 2*i. Suppose 5*c + 2*u - 2 = 2, -c + m*u - l = 0. Solve c = -3*d - 4 + 7 for d.
1
Let d = 94 + -92. Solve -d*l = -3*l for l.
0
Suppose 12 = -4*x - 0*x. Let s be (40/12)/((-2)/x). Solve -4 = s*q + 1 for q.
-1
Suppose -2*z + 16 = 4*i - 0*i, -i - 5*z + 22 =