 c.
0
Let r(s) = s**2 + 2*s - 1. Let h be r(-3). Solve 0 = -h*g + 4*g for g.
0
Let u(i) = 3*i**2 + 1 - i**3 - 2*i + 2*i**3 + 3. Let y be u(-3). Solve x = -x + y for x.
5
Let y = 2 + 0. Let t(r) = 4*r + 10 + y*r - 5*r**2 + 4*r**2. Let s be t(7). Solve 0 = -4*p - s - 1 for p.
-1
Let g be 1 + 4 - (2/1 + 2). Solve -4*y + g + 3 = 0 for y.
1
Suppose 0 = 2*u - 10. Suppose 5*r = -5*d + 20, -u*r + 0*r - 3*d + 12 = 0. Solve 0 = -r*g - 3*g - 3 for g.
-1
Suppose 3*i = -14*i + 34. Solve 1 = 3*y - i for y.
1
Let a = 25 - 20. Let v be (-1 - -2)*1 - -7. Suppose -x = -a*x + v. Solve 4 - x = k for k.
2
Suppose -8*q - 20 = -4*d - 4*q, 5*d + 7 = -3*q. Solve 0 = 4*a - d + 9 for a.
-2
Let f be (8/4)/(1*(-2)/(-8)). Solve -2*p - 2*p = -f for p.
2
Suppose -49*t - 5 = -54*t. Solve 0*p - t = p for p.
-1
Let y be (-133)/(-38) - 1/2. Solve -s = -y*s + 4 for s.
2
Let u(r) = -r + 2. Let w be u(2). Solve w = h - 0*h for h.
0
Suppose -2*s - 3 = 1. Let d be s*6/(-20)*5. Solve o - 2*o = -d for o.
3
Let l(i) be the first derivative of i**2 - 4. Let g be l(3). Suppose -g = j - 3*j. Solve -j + 9 = -2*t for t.
-3
Let y = 6 - 2. Let b = 3 + -4. Let m = b + 7. Solve -y*p = -m - 6 for p.
3
Let t(s) be the third derivative of s**5/60 - 5*s**4/24 + s**3/6 - s**2. Let p be 10/(-4)*(-4 - -2). Let u be t(p). Solve u + 8 = -3*k for k.
-3
Let f be 54/7 + 8/28. Suppose -2*u + 4*t + 4 = -0, -4*u = -2*t - 8. Solve -f = -2*q + u for q.
5
Let x(g) = g - 12. Let r be x(12). Suppose 2*k + r = 4. Solve k*n = -2*n - 16 for n.
-4
Let d = -39 + 39. Solve -2*w + d*w - 4 = 0 for w.
-2
Let q = 14 - 5. Suppose -5*r + q = -4*y, y + 37 = 4*y + 5*r. Solve j - 1 = -y for j.
-3
Let j(i) = i**3 + 9*i**2 - 12*i - 17. Let v be j(-10). Solve v*w = -2*w for w.
0
Let k(u) = u**3 - 3*u**2 + 5. Let o be k(3). Solve 0 = o*h - 2*h + 3 for h.
-1
Let r(a) = -a**2 + 7*a - 3. Let z be r(6). Solve z + 1 = 2*m for m.
2
Let x(f) = -f - 5. Let l(a) = 4*a**2 - 10*a**2 - 3*a**2 + 1. Let z be l(-1). Let n be x(z). Solve -5*i = -4*i + n for i.
-3
Let x(d) be the third derivative of -1/12*d**4 - d**2 + 1/6*d**3 + 0 + 0*d. Let k be x(-2). Solve -4 - 21 = -k*y for y.
5
Let d be 2/(3/9*3). Let g(a) = -a**3 + 9*a**2 - 8*a + 1. Let c be g(8). Solve -c = 3*j + d for j.
-1
Suppose 7*k = -5*k + 36. Solve -k*x + 16 = -7*x for x.
-4
Let h = 12 - 3. Solve 5*f + 16 = -h for f.
-5
Let h be 14/49 - 47/(-7). Solve -h*r + 5 = -2*r for r.
1
Let z = -45 - -63. Let b = z + -13. Let x(j) = 25*j**3 - j**2 + j - 1. Let d be x(1). Solve -d = -b*g + 1 for g.
5
Let g be (196/(-16))/7*(-8)/2. Solve -g + 19 = -3*q for q.
-4
Suppose 2*c - 4 = c + 4*d, -5*c + 4*d + 4 = 0. Let r be 0/(c + 0 + 3). Let x = r - -2. Solve 8 = -x*b - 2*b for b.
-2
Suppose -9 = -3*k - 2*t, -k - 2*t + 5 = 2. Let j(p) = -p**2 + 2*p + 3. Let z be j(k). Let r = 1 + z. Solve 0 = -2*q + q - r for q.
-1
Let d(f) = -f**3 + 14*f**2 - 14*f + 15. Let c be d(13). Solve 3*g - 1 - c = 0 for g.
1
Suppose 4*x + 8 = 3*x - 5*d, -4*d = -3*x + 14. Suppose k = -x*k. Solve -v + 5 = -k*v for v.
5
Let g = 0 - 4. Let u = g + 6. Suppose 4*y + u*f - 9 = -f, 4*y = 2*f + 14. Solve -a = y*a - 8 for a.
2
Let k(b) = b**3 - b**2 - 1. Let f be k(2). Suppose -130 = i - 133. Solve -2*y + i = -f for y.
3
Let v = 9 + -4. Solve -r = -2*r + v for r.
5
Suppose 2*n - 33 = -3*p, 0*n - 3*p - 39 = -4*n. Solve 16*o = 12*o + n for o.
3
Let o(z) = z**2 + 6*z + 2. Let g be o(-6). Solve -g*p = -5*p for p.
0
Suppose 2*j - j = 0. Let d(u) be the second derivative of -u**3/6 + u. Let k be d(j). Solve 5*y = -k*y + 5 for y.
1
Let g(b) = 2*b - 6. Let r(k) = k**3 + 11*k**2 + 9*k - 6. Let q be r(-10). Let l be g(q). Solve -l*o - 3*o = 0 for o.
0
Let x = -14 - -27. Suppose 0 = x*j - 10*j - 12. Solve 0*q - j*q + 8 = 0 for q.
2
Let b be (-1 - -88) + -1 + -1. Suppose -3*z + 0*r - r = -b, z - r - 23 = 0. Let k(q) = q. Let d be k(5). Solve -d*i - z = -2 for i.
-5
Let b be 0 + -1 - 3/(-1). Let c be 0/(-1)*9/(-27). Solve c*f = -b*f + 6 for f.
3
Suppose -5*j + 14 = -2*x, -11 - 3 = -2*x - 2*j. Suppose -120 = 5*p - 3*b, x*p = 3*b + 2*b - 72. Let i be p/(-9) + 6/(-9). Solve 0*r = i*r - 4 for r.
2
Let k(v) be the second derivative of v**5/20 - 11*v**4/12 + v**3/6 - v**2/2 - 8*v. Let d be k(11). Solve -3*t + d = -2 for t.
4
Let n = 23 - 16. Let k(y) = 0*y - 4*y - 2*y + 7 + 5*y. Let o be k(n). Solve 5*l = -o*l + 15 for l.
3
Let a be (-3 + 0)*(-1)/1. Suppose 5*p = a*p + 6. Solve -f = 2*f + p for f.
-1
Suppose -48 = -l - 11*l. Solve l*u = 12 + 8 for u.
5
Suppose 3*x + 0*x - 4 = 5*j, 4*x = 2*j - 4. Let f(d) = d**2 - 2*d - 3. Let b be f(j). Solve b*r + 15 = -0 for r.
-3
Let d(k) = k**2 + 2*k - 11. Let m be d(3). Solve i - m = -i for i.
2
Let m = -78 + 84. Solve m*d = 3*d - 9 for d.
-3
Let v = 13 - 3. Solve -6*l + 4*l + v = 0 for l.
5
Let y(f) be the second derivative of -f**5/20 + f**4/3 - f**3/6 - 7*f. Let a be y(3). Solve -n - n + a = 0 for n.
3
Suppose -l + 2*l = 0. Suppose l = -3*y + 6, y = t - 0*y - 1. Solve -t*i - 4 - 2 = 0 for i.
-2
Let d be (-9)/(-5)*11 + 5/25. Let z = 9 - 6. Suppose -2*g = z*g - 10. Solve 2*l - d = -g*l for l.
5
Let x = 23 + -23. Solve -3*q = -x*q + 3 for q.
-1
Suppose 68 = -4*y - 5*j, 6*y - 3*j + 24 = 3*y. Let t = y + 15. Solve 0 = -t*w + 2*w for w.
0
Suppose 2*v - 4 - 2 = 0. Suppose 3*s - 4*y = -16, 1 = v*s - 2*y + 9. Solve s = -g - 4*g - 25 for g.
-5
Let s(w) = -w + 4. Let m be s(-3). Solve 3*z - m*z = -12 for z.
3
Let z be (-2)/8 + 27/12. Solve 6*m - z*m = 0 for m.
0
Let z be (-1)/(-2) + (-15)/(-6). Suppose 0 = z*w - 4 - 11. Solve -w = a - 0*a for a.
-5
Suppose 0 = z + z. Let v(o) = -o + 5. Let d be v(z). Let b be -2 - -2 - (-13)/1. Solve -b + 3 = d*n for n.
-2
Let m = -17 - -12. Let c(t) = t**2 + 5*t + 2. Let i be c(m). Suppose 0 = -i*k - 0*k. Solve k*l = -5*l for l.
0
Suppose -84 = -2*v - 5*o - 9, -5*v + 120 = -o. Solve 4*l + 5 - v = 0 for l.
5
Let q(s) = -s - 1. Let x be q(-3). Suppose 2*p + 36 - 86 = 0. Solve -x*f + p = 3*f for f.
5
Suppose -2*o + 212 = 2*o. Let u be o/5 - 2/(-5). Let g(c) = c**2 - c + 1. Let p be g(2). Solve -p + u = 4*w for w.
2
Suppose 0 = 5*y + 2*u - 12, -3*y = -5*y - 5*u + 9. Suppose y = -m + 4. Solve m = -5*d - 3 for d.
-1
Let h be (20/7)/(4/14). Solve 2*r = -3*r - h for r.
-2
Let x be 36/(-9) - (-8 - 1). Solve x = r + 4*r for r.
1
Let w(s) = -s**3 + 3*s**2 + 2*s - 3. Let i be w(2). Let m(c) = -c**2 - 5*c + 8. Let f be m(-6). Solve -i*o + f*o = 6 for o.
-2
Let k(a) = -a**2 + 4*a - 1. Let b be k(3). Let o = 3 + b. Solve t + o = 2*t for t.
5
Let j be -2*(1 + 6/4). Let h = -2 - j. Let v = h - 1. Solve -v*x = -x for x.
0
Let m be (-160)/(-90) + (-4)/(-18). Solve m*u + 8 = 4*u for u.
4
Let t(a) = -2*a - 4. Let z be t(-3). Solve -1 = z*r - 7 for r.
3
Let v = -7 + 12. Suppose 10 = 5*h - k, 0*k + 5*k = -5*h + 10. Let b be ((-16)/(-40))/(2/15). Solve -b*g = -h*g + v for g.
-5
Suppose 0 = -4*v + 47 - 7. Let b(q) = -q + 4. Let x be b(4). Solve x = u + 4*u - v for u.
2
Let x = 0 + 8. Suppose -3*j - 3*o + 24 = 0, -j - 3*o + x*o = 4. Solve 2*n + 16 = j*n for n.
4
Suppose 0*u = -2*u + z - 11, 4*u + z + 7 = 0. Let k = u - -8. Solve 0*j + j - k = 0 for j.
5
Let f(z) = -z**3 - 4*z**2 + 3. Let i be f(-4). Let q be ((-3)/i)/((-1)/6). Suppose 0*v + 2*v = -2*l - 8, l + 5*v + 20 = 0. Solve 2*b = -l + q for b.
3
Let k(l) = -l**2 + 4*l + 1. Let g(p) = p**2 + 3*p - 7. Let b be g(-5). Let c be k(b). Solve -d - 6 = -c*d for d.
2
Let t(l) = -6 + 22 + 4*l - 3*l. Let g(j) = -j - 18. Let a be g(-7). Let i be t(a). Solve i*x - 1 - 24 = 0 for x.
5
Let k = -19 + 41. Let z be k/5 - 4/10. Suppose 2*w = -z + 30. Solve -5*y = 3 - w for y.
2
Suppose -2*d - h = -17, -2*d - h + 11 = -d. Suppose 2*s = d + 8. Suppose 0 = 4*l - 33 - s. Solve 3*r = r + l for r.
5
Let w(y) be the first derivative of 5*y**3/3 + y**2 - 7. Let f be w(-2). Solve 0 = -3*l - f + 4 for l.
-4
Suppose 5*b = -0*d + d + 5, b = 1. Let v be 1 + d + (-2 - -1). Solve 5*h = -v*h + 20 for h.
4
Suppose -4*r = -0*r - 52. Suppose -3*f + 15 = 2*d, 4*d - 9 = f - 0. Solve r - 4 = -f*k for k.
-3
Let n(d) = -1 - 4 - d - 1. Let s be n(-10). Solve 8*b = s*b for b.
0
Let y be (-1)/(-1*(1 - 2)). Let d = 7 + y. Solve 5*a = 4 + d for a.
2
Let s be 183/12 + (-1)/4. Let d = s + -13. Solve -o - d*o = 0 for o.
0
Let b be 8/(-20) + 8/(-5). Let f be (b + 3 - -1) + -2. Solve f = -5*u + 2*u - 3 for u.