-31 for c.
2
Let v(d) = -d**3 + 24*d**2 - 22*d - 7. Let w be v(23). Let p = -6 + 8. Suppose -5 = -h - p. Solve 0 = h*o - w + 1 for o.
5
Let x = 6 + -2. Suppose -4*i - 174 = -5*y, 0 = -0*y + 3*y + 3*i - 126. Let c = 38 - y. Solve 4*d + c = x for d.
1
Let f(j) = j - 7. Let v be f(7). Let u(m) = -m**2 + 11*m - 6. Let r = 14 + -4. Let k be u(r). Solve a - k*a = v for a.
0
Let p(t) = 4*t + 35. Let q be p(-16). Let m = 29 + q. Solve 5*k - 19 - 1 = m for k.
4
Suppose -12 = -6*b + 2*b. Suppose -b*n + 4 = -n. Suppose 18 = n*g - 0*g. Solve 3*k - 3 = g for k.
4
Let d(w) = 2*w**2 - 78*w - 371. Let j be d(-5). Solve j*i = 71*i + 4 for i.
-2
Let z(g) = g**2 + 8*g + 5. Let m be z(-8). Let s = m - 3. Solve s = 2*l - 0 for l.
1
Let u = 9 - 7. Let n(s) = u*s**2 - 5*s + 2*s**3 + 2 - s**3 - 3*s**2. Let t be n(3). Solve t*b - b = 0 for b.
0
Let a = 32 + -32. Suppose 0*d - 6*d + 3*d = a. Solve 2*p - 9 + 1 = d for p.
4
Let j = 395 + -392. Solve -j*b = -2*b + 5 for b.
-5
Suppose 4*y = 4 + 12. Suppose -3*u - y = -5*u. Suppose -c - u = -3*c. Solve 2 = -3*h - c for h.
-1
Let y(g) = -g**3 - 4*g**2 + 8*g + 37. Let b be y(-5). Solve -18 = -b*l + 26 for l.
2
Let z(i) = i**2 - 11*i + 22. Suppose -k + 3*n + 21 + 1 = 0, 0 = 4*k + 5*n - 20. Let m be z(k). Solve g = -2*g - m for g.
-4
Let r be ((-9)/(-6))/(2/(140 + -4)). Solve 0 = -101*d + r*d - 5 for d.
5
Let c be (-2770)/(-110) - (-2)/(-11). Suppose 5*a - c = 2*m + m, 25 = 5*a. Suppose 4*t + 20 = m, -3*d - 4*t + 9*t = -31. Solve i - d*i = -5 for i.
5
Suppose -49*d + 63 = -35. Solve 3*u + 11 = d for u.
-3
Let j = 16 + -15. Let q be (-2)/(-2) - 0/j. Solve 1 = -m - q for m.
-2
Let d(i) = 3*i**2 + 1. Let j be d(1). Suppose j*u - 4*u = -2*u. Solve u = -4*w - w + 10 for w.
2
Let d be (-2 - -5 - (0 + 1)) + 6. Suppose -2*u - 18 = -d*u. Solve -2*s - u + 7 = 0 for s.
2
Let l = 156 + -151. Let j be 0 + 1 + (-2)/(-1). Solve l*p - 2 = j for p.
1
Let s(p) = -p - 1 - 3*p - 3 + 0. Let d be s(-2). Solve -8 = -0*l - d*l for l.
2
Suppose n + 2*n = -18. Let q be (2 + 14/n)*-15. Let w = -4 + 7. Solve -w*p + q = 20 for p.
-5
Let m be (-189)/(-105) + 2/10. Let p be 1 - (-5 + 2/m). Solve 0 = -p*a - 7 - 8 for a.
-3
Suppose 4*r = -5*f + 13, 0 = -7*r + 11*r - 3*f - 37. Solve -17*n = -10*n - r for n.
1
Let t be (-5)/(-10) - (-4)/(16/(-590)). Let n = t + 148. Solve 13 = 3*k + n for k.
4
Suppose 0 = -23*h - 22*h + 7*h. Solve 3*l - 6 + 15 = h for l.
-3
Suppose 6 = -4*q + 22. Suppose 43*i - 30 = 40*i. Suppose -q*b = -i*b. Solve -2*w + 5*w = b for w.
0
Let i = 31 + -6. Let f = i - 22. Solve 5 = f*h + 2 for h.
1
Suppose -11 = 13*w - 14*w + 4*p, 4*w - p - 14 = 0. Solve 46 = w*o + 49 for o.
-1
Let c(x) = -5*x + 4. Let p be c(0). Let l be (-3)/(6/4)*-3. Solve l + 2 = p*g for g.
2
Let g be (-4 - (-20)/4)*-18. Let p = g - -18. Let m be 0/(5 - (3 - p)). Solve -9 = -m*l - 3*l for l.
3
Let z = -798 - -812. Solve -12*n = -z*n - 8 for n.
-4
Suppose 3*h = 2*h - 3. Let b be (-10)/(-15) + (-16)/h. Solve -3*x - b = 6 for x.
-4
Let z be 31/(-2) + 4/8. Let b be (-9)/z*-1*15. Let l be (b/(-3))/(-3)*-3. Solve f = -l*f for f.
0
Let h(n) = n**3 + 43*n**2 - 92*n - 87. Let f be h(-45). Solve 3*g - f = 9 for g.
4
Let a(s) = -2*s + 17. Let n be a(5). Solve t - 18 = n*t for t.
-3
Let t(c) = c**3 + 12 + 8*c - 19*c + 12*c**2 + 12*c. Let p be t(-12). Solve x - 3 + 2 = p for x.
1
Suppose -13*p - 189 = -20. Let y(c) be the first derivative of -c**3/3 - 7*c**2 - 13*c - 1. Let q be y(p). Solve -g = -q*g for g.
0
Let g = -489 + 489. Solve -21*w + 16*w + 25 = g for w.
5
Let c = 13 - 7. Suppose -2*r + c*r + 20 = 0, -o = r - 3. Let g(x) = 2*x**2 + 11*x - 4. Let i be g(-6). Solve o = 4*q - i*q for q.
4
Let c = 127 - 126. Let a = 6 - 1. Solve -a*n + 4*n = -c for n.
1
Let d be (-45)/(-135)*(84 - -3). Solve -30*x - 3 = -d*x for x.
-3
Let w(q) = -2*q**2 - 51*q - 292. Let m be w(-14). Solve 16*a = m*a + 70 for a.
-5
Let y(o) = 6*o**2 - 2*o + 1. Let u be y(1). Suppose -u*v + 0*v = 0. Suppose v = 2*b - 4*b + 4. Solve 0 = -b*n + n + 3 for n.
3
Let f = -5 + 7. Solve 4*i - 18 = -f for i.
4
Let o = 105 - 81. Solve 6*q + o + 6 = 0 for q.
-5
Let f(u) = -2*u + 26. Suppose 2*s - 8 = 2, -5*x - 5*s - 35 = 0. Let b be f(x). Suppose -2*i = -7*i + 3*c + b, -i - 3*c + 28 = 0. Solve 0 = 2*t - 5 + i for t.
-4
Suppose 5*a = -25, -r - a = a + 5. Suppose 0 = -5*k - r - 15, -5*v - 3*k + 88 = 0. Suppose -4*b = -17 + 1. Solve -d + v = b*d for d.
4
Suppose 0 = 2*a + 3*h + 2*h + 5, 2*a - 15 = -h. Let b = 15 - a. Suppose k + 2*p + 31 = 6*k, -k = 4*p - 15. Solve k = -b*c + 22 for c.
3
Let q be 208/24 + 3 + 2/6. Solve 0 = -6*d + 3*d - q for d.
-4
Let t(b) = 2*b**3 - 2*b**2 - 2*b - 1. Let h be t(-1). Let p be (12/h)/((-3)/6). Let n(z) = z**3 - 9*z**2 + 8*z + 6. Let y be n(p). Solve 2*c + c = y for c.
2
Let z = 344 + -340. Solve 5*i = -14 + z for i.
-2
Suppose 0 = 3*z + 2*z + 75. Let t = z - -20. Suppose 2 = -d + t*n, -n - 4 = -5*n. Solve -d*k - k = 0 for k.
0
Suppose -129 = 4*k + 115. Let c = -53 - k. Solve -5*q - c = -3*q for q.
-4
Let h be 8*5/(-10) - -6. Suppose -h*f = -5*i + 17, 7 = -2*f + 4*i - 5. Suppose 2*l + o + 1 = -0*l, -f*o - 17 = -5*l. Solve 3*t - l = -7 for t.
-2
Let v = -46 + 40. Let z be (21 + -23)*v/4. Suppose -c - 18 = -2*o, 11 = -o + 4*c + 34. Solve -z*u = -o - 8 for u.
5
Suppose -3*g + 5*g = -88. Let t = g + 51. Solve -4*p = -t*p for p.
0
Let r = 811 + -807. Solve r = 3*y + 7 for y.
-1
Let u be (-1 + 3)*6 - 0. Solve 8*x - u = 11*x for x.
-4
Let a be (3/4)/((-4)/112). Let s be a/4*(-24)/9. Suppose 3*c = -15, -2*c = -5*w + 44 - s. Solve r = 2*r + w for r.
-4
Let d = 1853 + -1805. Solve -7*v - 13 = -d for v.
5
Let l = 3 + 8. Suppose x - 7 = l. Solve x = 5*f + 3 for f.
3
Let p(y) = -14 + y + 2*y - 28 - 12*y. Let m be p(-6). Solve 3*q = 7*q - m for q.
3
Let r be 0/((-2)/(-5 + 3)). Suppose 4*d + 0*o + 2*o - 10 = 0, 5*d + 2*o - 14 = r. Solve d = -5*y + 14 for y.
2
Let v be (0 - 0)*(-57)/342. Solve 11*z + 23 + 32 = v for z.
-5
Let l be (0 - (-32 - 1)) + 12/6. Suppose 50 = g + l. Solve -g = -o + 6*o for o.
-3
Let k = -20 - -26. Suppose -40 = -8*s + k*s. Solve 11*o - 6*o = s for o.
4
Let l = 13 - 11. Suppose 0 = -2*t - 4, -2*c - 2*c + l*t = 4. Let h be c/(8/4) + 3. Solve -s = h*s for s.
0
Let d be (6/(-1 + -1))/(21/(-119)). Solve l - 14 = -d for l.
-3
Let k(x) = 12*x**2 - 106*x - 17. Let b be k(9). Suppose -2*w - 3*w + 10 = 5*v, -5*w = 3*v - 4. Let p = v + b. Solve -g = -2*g - p for g.
-4
Suppose -29*w + 1148 + 128 = 0. Solve 0 = -22*z - w - 0 for z.
-2
Suppose -s = -v - v - 1, -2*s + 16 = 3*v. Solve q - s*q = 8 for q.
-2
Let b be ((-51)/(-204))/((-2)/6)*-4. Let t = 2 + 0. Let h be ((-6)/(-2))/(3/t). Solve b*s - h*s = 0 for s.
0
Suppose -561 = -13*u - 535. Suppose -2 + 32 = 5*k. Solve 0 = -0*n - u*n - k for n.
-3
Let f(r) = r**3 + 5*r**2 + 2. Let h be f(-5). Solve h + 24 = -13*s for s.
-2
Let d(h) = -h**2 - 7*h - 1. Let x be d(-2). Let k(t) = -t**2 + 8*t + 12. Let u be k(x). Solve 3*a - 3 = u for a.
2
Let f = 351 - 325. Solve -4*v = f - 22 for v.
-1
Let n(f) = -f**2 - 18*f - 29. Let p be n(-2). Solve 3 = p*c + 12 for c.
-3
Let x be 4/(-10) + (-32)/(-5). Let n(d) = -d**2 + 1. Let m(i) = 5*i**2 - i - 4. Let y(f) = -m(f) - 3*n(f). Let t be y(1). Solve t*v = -2*v - x for v.
-3
Let g = -13 + 11. Let n = g + 2. Suppose -3*m - 2*m + 10 = n. Solve 2*i - m = -0*i for i.
1
Let f(h) = h**2 - 3*h + 11. Let n be f(-4). Let a = n + -36. Solve r + 6 = a*r for r.
3
Suppose p - 208 = -3*p + 4*s, 0 = -5*p + 2*s + 269. Let i be p/33 + (-20)/(-6). Solve i*m - 7*m = 8 for m.
-4
Let f(b) = -12*b - 33. Let i be f(-7). Let q = -50 + i. Solve 0 = -2*a + q + 1 for a.
1
Let d = 1 + 14. Let t(j) = 16*j + 97. Let r be t(-5). Let a = r - d. Solve -a*i = -5*i for i.
0
Let l be (-41)/(-4) + 4/(-48)*3. Let w(i) = i**2 - 11*i + 15. Let h be w(l). Solve 4*o - 1 = h*o for o.
-1
Let d(g) be the third derivative of g**6/120 - 7*g**5/60 + 5*g**4/24 + 11*g**3/6 + 27*g**2. Let m be d(6). Solve m*p - 10 = 7*p for p.
-5
Let q = 9 + 44. Suppose -q = 5*m + 47. Let a be (-392)/m + 2/5. Solve j = 5*j - a for j.
5
Suppose 15*m - 3*t - 27 = 13*m, -4*t = -2*m + 30. Solve -m + 25 = -4*a for a.
-4
Let t(x) = 12*x + 99. Let z be t(-8). Solve -z*m = 13 - 4 for m.
-3
Suppose -2*t = -5*p + 7, -2*p - 4*t = -3*p - 13. Suppose -9 = -2*w + p. Let u be -1*(-1*5 - -2). Solve w*