c for c.
-4
Let w(y) = y**3 - 5*y**2 - 4*y + 12. Let c be w(5). Let a = 17 + c. Solve -8*x + 5*x = -a for x.
3
Let l = 96 - 96. Solve 9*i - 8*i + 2 = l for i.
-2
Let i = -19 + 16. Let s be (1 + i)*(4 - 5). Suppose -16 - 2 = -s*k. Solve 2*l + l = k for l.
3
Suppose -4*a - 12 - 1 = d, -4 = a. Suppose -4*x + 26 = d*s, 0 = -3*s - 3 - 3. Let t be 6*4/x + 0. Solve 0 = -j - t*j - 16 for j.
-4
Let q = -3 + 6. Suppose 0 = 2*a + 3*z - 3 - 0, -2*a + 4 = 4*z. Suppose a*k + 2*k = 4*g - 4, 2*k + 6 = 5*g. Solve 5*o = k*o - q for o.
-1
Suppose -3*m + 4*k = -2*m - 24, 5*m = -3*k + 5. Suppose -4*y + 4 = n - 3*n, -2*n = 5*y - 23. Solve -m*v - 7 = -y for v.
-1
Suppose 3*j - 12 = 0, 4*l + 0*j + 120 = j. Suppose 0*o - 29 = -o. Let s = o + l. Solve 2 = n - s for n.
2
Let c(g) be the third derivative of -g**5/60 + 3*g**4/8 + 5*g**3/6 - 3*g**2. Let u be c(9). Solve u*s + 33 = 8 for s.
-5
Let x = -1950 - -1960. Solve -x = 3*s - 4 for s.
-2
Let f be (-20 + 11 - -41) + -3. Solve 4*z - f*z - 50 = 0 for z.
-2
Let x = 138 - 97. Let q = x - 38. Solve q*w = 1 + 11 for w.
4
Let n(w) = 2*w**3 + 2*w + 1. Let q be n(-1). Let b be 4 + (q - (-1 + -3)). Suppose b*h + 0*h = 5. Solve v - 2 = h for v.
3
Suppose -78*h = -70*h - 40. Solve 1 = -h*o + 6 for o.
1
Let w(h) = -h**2 - 7*h. Let r(i) = -2*i + 5. Let m be r(6). Let c be w(m). Solve 2*s = 2 - c for s.
1
Let a(b) = 2*b**2 + 4*b + 8. Let p be a(-4). Let n = 28 - p. Solve -c - 9 = -n*c for c.
3
Suppose -16 = -26*j + 10*j. Solve 7*v = 8*v - j for v.
1
Suppose 0 = 49*j - 48*j. Suppose -3*b + 38 - 20 = j. Solve -u = u - b for u.
3
Let o(i) = -7 + 6*i - 4*i**2 + 0 + 2*i**2 + 3*i**2. Let a be o(-8). Let p be 0*(a/(-6) + 1). Solve 3*h + 0 - 15 = p for h.
5
Let v = 116 + -114. Suppose 0 = -2*g - c + v*c + 18, -38 = -2*g - 4*c. Solve 3*m + 20 - g = 0 for m.
-3
Let a(w) = 2*w**2 - w + 1. Let g be a(1). Let y(f) = 5*f - 4. Let q(m) = 11*m - 9. Let o(k) = g*q(k) - 5*y(k). Let h be o(-6). Solve h - 5 = -3*c for c.
-5
Suppose 10*p - 8*p - 5*o = -1, 5*p - 45 = 3*o. Solve -p*y + 11 - 35 = 0 for y.
-2
Suppose 2*t = -j - 15, 24 = j - 5*t + 4. Let f be -4*(55/(-10) - j). Solve 20 = -3*q - f*q for q.
-4
Let f = 1184 - 1127. Solve -2*m = 17*m - f for m.
3
Let m(c) = -3*c - 2. Let d be m(-2). Let f = 7 + -4. Suppose h = -f*h. Solve -d*u + h*u = -20 for u.
5
Let r(x) = x**3 - 4*x**2 + 7*x - 2. Let s be r(5). Suppose 6*j - s = -4. Solve j + 6 = 5*h for h.
3
Suppose 4*b - 28 - 6 = 3*a, -b + 2 = -4*a. Solve -5 = -11*u + b*u for u.
5
Let f(y) = -y - 10. Let n = -42 - -27. Let i be f(n). Solve 12 = i*a - 3 for a.
3
Let b be (6 - 18)*(-4)/3. Let w be 2/(-2 - (-36)/b). Suppose -f = -7 + 3. Solve -w = -0*a - f*a for a.
2
Let a be (-3)/21 - (-165)/77. Solve 0 = -a*n - 5 + 13 for n.
4
Let u = 94 + -91. Suppose 5*q - u*g = 24, -24 = -4*q - g + 2. Solve 4*s + 2 = q for s.
1
Suppose -i - 1 = 2*d, -1 - 4 = 5*i. Solve -4*v - v = d for v.
0
Suppose -24*s - 353 = -3449. Solve s*f = 127*f - 8 for f.
-4
Let g be 6/9*30*7/28. Solve g + 27 = -8*c for c.
-4
Suppose -67*o + 699 = -105. Solve -o*d - 20 = 8*d for d.
-1
Let r be (3 + (-25)/2)*-2. Suppose 14*m - r*m = 0. Let a(g) = 4*g**2 + g - 1. Let z be a(1). Solve -16 = -m*q + z*q for q.
-4
Let p(b) = b**2 + 10*b - 22. Suppose 4*x + 5*f + 17 + 11 = 0, -5*f = -2*x - 44. Let v be p(x). Solve 2*u + v*u = -4 for u.
-1
Let f = -14 - 18. Let k = 23 + f. Let g = k - -15. Solve i = g*i - 20 for i.
4
Let g(d) = d**3 - 8*d**2 - d + 6. Let z(h) = -23 + 33*h**2 + 9*h - 4*h**3 - 13*h + 8*h. Let c(b) = 9*g(b) + 2*z(b). Let r be c(6). Solve 7 = r*t - 3 for t.
5
Suppose 0 = -t + 2*a - 33 + 12, -3*t = 4*a + 13. Let g(v) = v + 13. Let z be g(t). Let x be 3/((0 + -4)/(-16)). Solve -p + x = z*p for p.
4
Let n(y) = -6*y**3 - 2*y**2 + 1. Let l be n(1). Let f(t) = -2*t**3 - 16*t**2 + 16*t - 2. Let k be f(-9). Let v = k + l. Solve -c - 2*c + v = 0 for c.
3
Let w(b) = b**2 - 3*b + 2. Let f be w(2). Suppose -2*i - 3*c + 7 = 0, 14 = -3*i + c + 41. Let y(q) = q + 1. Let s be y(i). Solve -2*x - x + s = f for x.
3
Let o be (-1)/(-2 - 195/(-100)). Let h be (-4)/14 + (-24)/14. Let x be 4 + (h/(-2) - 2). Solve -o = x*u + u for u.
-5
Let f be -7 - ((-8)/(-2))/4. Let m be 12/2 - (f - -12). Suppose m*h + 0*h + 5*r = -8, h - 4*r - 22 = 0. Solve g - h = -g for g.
3
Suppose -18 = -3*q - 0*v - 5*v, 4*q - v = 1. Let z be (q - 0) + -5 - 0. Let y = 4 + z. Solve y*f = 3*f - 12 for f.
4
Let d(j) = j**3 + 14*j**2 - 3*j - 35. Let m be d(-14). Solve -5 = m*r - 19 for r.
2
Let o(g) = -2*g + 44. Let z be o(24). Let j be (8/(-14))/(z/14). Solve -j*r = r + 12 for r.
-4
Let t(v) = -v**3 - 9*v**2 + 51*v + 6. Let r be t(4). Solve -99 = -r*h - 99 for h.
0
Let r(g) = 4*g**2 - 4*g + 4. Let t(o) = -o**2 - o - 1. Let u(h) = -r(h) - 5*t(h). Let z be u(-9). Solve 0 = 4*c - 9 + z for c.
2
Let k = 152 - 128. Suppose 4*m - 42 = -3*n + 9, 0 = m + 3*n - k. Solve h + 2*h = m for h.
3
Suppose 24 + 248 = 16*i. Solve -i*g = -8 - 9 for g.
1
Let g be (-9)/3*12/(-18). Suppose -5*a - 5 = -2*s, -4*s - s - 2*a - g = 0. Suppose k + k - 6 = s. Solve k*j - 1 = 4*j for j.
-1
Let r = -897 + 905. Solve -14*z = -12*z + r for z.
-4
Suppose -2*r + 5*p - 13 = 2*r, 3*p - 9 = 2*r. Suppose 5*q - 20 = 0, -10 = -2*k - r*q + 8. Solve -k*u = -5*u + 4 for u.
2
Let m(u) = -19*u**2 + 400*u - 2. Let l be m(21). Solve -l = -13*q + 7 for q.
2
Let g be -2 + (2 - 3) + -61. Let q = 67 + g. Solve -4 - 2 = q*z for z.
-2
Suppose 0 = -2*o + 3*b + 32, -o - 9*b + 16 = -12*b. Solve o*p - 18*p = 2 for p.
-1
Let j(q) = q**2 - 3*q - 4. Let u be j(4). Suppose u = b - 4*z - 16, z + 8 - 5 = 0. Suppose 2*d = -3*c + 10, -d + 14 = 4*c + 2*d. Solve b = -2*y - c*y for y.
-1
Let i be ((-2)/4)/(((-22)/8)/11). Suppose 5*d - 4 = 4*b + 8, 2 = 5*b - i*d. Solve 5*o + b = -8 for o.
-2
Let c(a) = a + 2. Let j be c(-2). Suppose j = -8*r + 32. Let s(i) = 4*i**2 + 1. Let o be s(-1). Solve -o*h - r = 1 for h.
-1
Let b = -23 - -54. Suppose -2*r + 110 = -4*c, 3*r + b = 2*c + 180. Suppose 0 = 5*j - r - 68. Solve -8 + j = 5*s for s.
3
Suppose 516*z = 518*z - 12. Solve z*k - 10*k = -20 for k.
5
Suppose v + k + 3 = -2*k, -5*k = 4*v + 5. Let l = 2 + v. Suppose 0 = -6*b + l*b. Solve b = 2*u - u for u.
0
Let q be (-4)/22*(32 + -54). Solve 0 = v - q*v for v.
0
Suppose -3*f + 5*h = -250, 3*f + h - 170 = 104. Let b = f + -84. Solve b*r - 5*r = -2 for r.
-2
Suppose -4*s - 7*s = -176. Let q be (-9)/2*(-72)/27. Suppose -q = 4*m - s. Solve -m = 2*d + 1 for d.
-1
Suppose 7*c - 49 = -7. Suppose 8*p = c + 10. Solve -p = 3*b + 1 for b.
-1
Let w = -131 + 149. Solve -3 = -5*x - w for x.
-3
Suppose -15 = 11*d - 15*d - o, 0 = -5*o - 5. Solve 2*z + d = -2*z for z.
-1
Let p be (-21)/(-14)*20/(-6). Let b(j) = -j + 2. Let c be b(p). Let v be 323/119 - (-2)/c. Solve 0 = v*q - 3 - 0 for q.
1
Let l(z) = -14*z - 96. Let d be l(-7). Solve d*p + 2 = 6 for p.
2
Suppose 4*d - 20 = -0*d. Let l be (6/4)/((-15)/(-40)). Let t(n) = n + 1. Let c be t(l). Solve -d*x + 4*x - c = 0 for x.
-5
Let j be ((-100)/24 + (-3)/6)*3. Let d be (12/2)/1*j/(-21). Solve 0 = -d*a + 16 for a.
4
Let n(b) = b**3 - 4*b**2 + b - 1. Let v be 5/(-10)*(1 - 9). Let d be n(v). Suppose -j = -4*a - 2*j + 11, -2*a + d*j = 5. Solve -y + 1 = -a for y.
3
Let m = -4 - 6. Let w(l) = l**3 + 10*l**2 - 2*l - 11. Let r be w(m). Let t = r - 3. Solve 0 = g - t*g for g.
0
Suppose -3 - 9 = -4*t, 5*t = -5*v. Let d be (1 + 0)/(v - (-48)/15). Solve -d*n + 0*n - 5 = 0 for n.
-1
Suppose -5*s + 38 = -22. Let g be (-11)/2*s/(-33). Solve g*b + 0*b = 10 for b.
5
Suppose 0 = -12*k - 10*k + 220. Solve -k*v + 7 = -3*v for v.
1
Let f = -823 + 856. Solve -26*v = -f*v - 35 for v.
-5
Let d = 16 + -7. Let i be 0*(5/(-30) + 14/12). Solve i = -4*r + r + d for r.
3
Let u be (75/(-10) - 3)*-8. Let o = u - 79. Solve 12 = 2*s - o*s for s.
-4
Let t(r) = r**3 + 6*r**2 - r - 4. Let s be t(-6). Let w be (2 - s)/((-2)/(-1)). Let z = 6 + -5. Solve w*c + c = z for c.
1
Suppose -3*a - 12 = 3*c, 3*c - a = 3*a + 16. Let r be (c - 1) + -12 + 14. Solve -3*m - 2 - r = 0 for m.
-1
Suppose 9 - 4 = j. Suppose -2*c = -5*g + 7, 4*g + 0*c + c = 16. Let p = -4 + 6. Solve g*n - j = -p for n.
1
Let o be 0/(7/(-1) + 4). Suppose -4*x + x + 15 = o. Solve x*w = 4*w + 3 for w.
3
Suppose -2*d = -10*d. Solve -6 = -2*v - d*v for v.
3
Let i = -200 + 200. Solve i*l - 5*l = 0 for l.
0
Suppose 