*c - d*c - 12 = 0 for c.
-4
Let b(k) = k**3 - 5*k**2 + 2. Let s be b(5). Suppose -3*c - 11 = -l - s*c, -c = -4*l + 38. Suppose 0 = -3*a + l + 3. Solve 0 = a*v - 9 - 11 for v.
5
Suppose -6 = y + 2. Let k(n) = -n**3 + 3*n**2 - 2. Let r be k(2). Let p = r - y. Solve d + p = -4*d for d.
-2
Suppose 0 = -j - 2*j + 6. Suppose 0 = -5*x + 5*o - 1 + 11, 10 = 5*x + 3*o. Suppose -w + 0*w - x*r = -5, 0 = -4*w + 5*r + 7. Solve -j*p + 5 = w*p for p.
1
Let r = 74 + -69. Solve r*v + 8 = v for v.
-2
Suppose 5 + 4 = 3*b. Let a(n) = -2 + 2*n + b + 2*n**2 - n**2. Let y be a(-2). Solve 4*w - 3 = y for w.
1
Let q = -4 - -6. Solve -q*i = -4*i + 6 for i.
3
Let a(z) = 9*z - 7. Let l be a(1). Let c be (13*(-1)/1)/(-1). Solve -l*v + c = 5 for v.
4
Suppose -4*c = -c. Let m(j) = -2*j - 2. Let f be m(-2). Solve c = y + f - 4 for y.
2
Suppose 0 = -4*r + 4*y + 136, -136 = -3*r + 4*y - 38. Suppose 3*a = -4*h - a + 4, 3*h - 4*a - r = 0. Solve h = 2*b + b for b.
2
Let b(c) = -4*c - 3. Let h be b(-2). Suppose 0 = -6*y + 7 - 7. Solve -h*s - 9 - 6 = y for s.
-3
Let a(h) be the second derivative of h**3/6 - 15*h**2/2 + 4*h. Let t be a(0). Let c = t - -25. Solve i + c = -4*i for i.
-2
Let w(c) = 6*c**2 - c. Suppose r + 3*r + 5*x + 4 = 0, 0 = x. Let a = r - 0. Let h be w(a). Solve 4*m = -9 - h for m.
-4
Let x be (-6)/9 + 14/3. Solve -5*g + x = -g for g.
1
Let p(o) = -o - o**3 + 2*o**3 - 2*o**3 + 22. Let r be p(0). Suppose -3*f + 23 = 23. Solve f = -4*j - 2 + r for j.
5
Suppose -3*t - n = -6, 3*n = -0*n. Solve -t + 12 = -5*m for m.
-2
Let z(y) be the first derivative of -5*y**3/6 + y - 2. Let s(r) be the first derivative of z(r). Let x be s(-1). Solve -x*o + 5 = -4*o for o.
5
Let f(u) = -u - 6. Let g be f(-11). Solve -2*m - g = -3*m for m.
5
Suppose -7*u + 18 + 10 = 0. Solve -n + 15 = -u*n for n.
-5
Let c(g) = -g**3 + 8*g**2 - 5*g - 8. Suppose 3*u - 23 = -8. Suppose 3*b + 22 = 4*h, 2*h + u*b = -3*h + 45. Let x be c(h). Solve -x*p = -p + 10 for p.
-2
Let x(h) = h**2 - 8*h + 3. Let c be x(8). Solve r + 4 = -c*r for r.
-1
Let m = 15 - 12. Solve -2*q = m*q + 10 for q.
-2
Suppose -2*z = -3*m - 10, 2*z + 2*z - 20 = 5*m. Solve -z*p = -p + 16 for p.
-4
Suppose 4*z = 3*a + z - 15, -4*a - 5*z = 7. Solve -l - 3 = -a for l.
-1
Let o(i) = -i**2 + 16*i + 8. Let k be o(16). Suppose -3*w + 0*w = -9. Solve -w*p - k = -p for p.
-4
Let y be ((0/6)/1)/2. Solve y = -g + 3 for g.
3
Let o be 5 - (5 - (-2 + 5)). Let w = -48 + 52. Solve 0 = -o*s - s - w for s.
-1
Let x(q) = -q. Suppose 3*d + 0*f = -f + 2, 4 = 4*d + 2*f. Let g be x(d). Solve 0 = j + 1 - g for j.
-1
Let s = -8 - -7. Let o = s + 12. Solve -4*d = 5 + o for d.
-4
Let r(x) = x**2 - x - 1. Let m be r(-1). Solve m = 3*c - 5 for c.
2
Let w be 1/(1/3*1). Let d(x) be the second derivative of x**5/20 - x**4/6 + x**3/3 - x**2 - x. Let t be d(2). Solve t*v - 2 = w*v for v.
-2
Suppose -347 = -g - 53. Let n be g/77 + (-2)/(-11). Let h(w) = w**2 - 3*w - 3. Let z be h(n). Solve -2*q - z - 3 = 0 for q.
-2
Let n(c) = -c**2 - 5*c - 4. Let w be n(-4). Solve w = -0*l - l for l.
0
Suppose 8*i + 2*i = 0. Solve -3*k - k - 4 = i for k.
-1
Let f(g) = -g**2 + 17*g - 14. Let j be f(16). Solve -3*p - j = -11 for p.
3
Suppose u + 7 = 5*d - 1, -2*u + 6 = d. Suppose -n + 11 = -k + 6*k, -k + 15 = -3*n. Solve k - 5 = -u*a for a.
1
Let i = 43 + -25. Let z = i - 3. Solve -6*h - z = -3*h for h.
-5
Let w = 5 + 4. Let i = -23 - -14. Let y = -4 - i. Solve 16 = y*t - w for t.
5
Let j be 1/(-4)*-2*-10. Let h be (-3)/j - (-18)/(-5). Let m be 5 - (5 + h) - 3. Solve 4 = f - m*f for f.
4
Let f be 4/10 + (-66)/15. Let r = -6 - f. Let j = 3 + r. Solve -3 = -4*d + j for d.
1
Suppose 8 = 4*p - 3*f, -7*p = -2*p + 5*f - 45. Solve -p = 2*z + 5 for z.
-5
Let f = 5 + -5. Suppose 2*y + 14 = 4*k - 9*k, -4*y - k + 8 = f. Solve -o + 2*o = -y for o.
-3
Suppose 4*m = 6*m - 6. Suppose 80 = 3*r + r. Solve m*n - r = -n for n.
5
Suppose z - 5*z - 2*c + 10 = 0, 5*z = -c + 11. Suppose 4*f - z*q - 20 = 0, 0 = -4*f + 4*q - 0*q + 16. Suppose -v = -6*v. Solve 2*x - f*x = v for x.
0
Suppose 0 = -j + 2*r + 5, -j + 4*r + 15 = 2*j. Suppose -i = -4*z + 33 - 0, 0 = i + j. Solve g - 3 = -z for g.
-4
Suppose 0*h - 39 = -4*c + h, c - 4*h - 21 = 0. Solve -5*o + 4 = c for o.
-1
Let i(m) = 0 - 13*m - 4 + 12*m. Let q = -7 - -3. Let l be i(q). Solve l = -4*s - 0 + 16 for s.
4
Let y(p) = -4 + 5*p + 3*p**2 + p**3 - 5*p + 6. Let k be y(-3). Suppose 0 = -k*a - a + 60. Solve -a = -7*x + 3*x for x.
5
Let v(q) = 3*q - 9. Let u be v(10). Let a = -9 + u. Solve 0*g - 4*g - a = 0 for g.
-3
Suppose 5*y - 6 = 4. Suppose -5*m + 1 = -4*b - 14, -6 = 5*b - y*m. Solve z - 1 + 3 = b for z.
-2
Let j(z) = z**3 - 4*z**2 - 9*z - 10. Let w be j(6). Solve 5*s = w*s - 12 for s.
4
Let y = 10 + -20. Let a = -5 - y. Suppose 4*l = a*l - 2. Solve l*z = -0*z + 10 for z.
5
Let b = -14 + 23. Suppose -1 + b = 2*x. Suppose 85*m + 27*m - 2352 = 0. Solve -5*c + m = -x for c.
5
Let q(z) = z**3 - 5*z**2 + 6. Let y be q(5). Suppose -2*h + 7*h - 2*g - 21 = 0, -3*g + y = 0. Suppose -h = -5*u + 25. Solve -u = 3*c - c for c.
-3
Suppose -2*o + 1 + 1 = -4*j, 0 = 5*j - 5*o + 5. Solve l - 3*l - 8 = j for l.
-4
Let f = -20 - -20. Solve -3*y = -f*y + 3 for y.
-1
Suppose 5 = -4*z + 29. Solve z*m - m = -15 for m.
-3
Let c(i) = -i - 3. Suppose 3*h = -2*x + 5*h - 2, -x = -5*h - 11. Let z be c(x). Suppose -24 = -5*l + z. Solve l*o - 9 - 16 = 0 for o.
5
Suppose 0 = 4*p, -3*f + 3*p = -6 - 0. Solve 3*m - f*m - 4 = 0 for m.
4
Suppose 4*m = 5*b - 33, 4*b - 5 = b - 5*m. Suppose -b*h + 5 = -5*s - 15, 2*h - 12 = 3*s. Let w be (s + 4)/(0 - -1). Solve c = -w*c + 2 for c.
2
Let l = 45 + -44. Solve 2*d = d - l for d.
-1
Suppose 0 = -8*l + 5*l + 36. Solve -2*q + l = 2*q for q.
3
Let f(q) = -q + 8. Let x be f(6). Suppose 0 = 4*p - 5 + 1, 9 = x*s + p. Solve 6*z - 2*z = -s for z.
-1
Suppose -8 = 2*m, 0 = -4*n + m + 19 - 7. Let k = 2 - n. Solve 3 = 3*d - k for d.
1
Let t = -22 - -22. Suppose -i + 6*i - 10 = t. Solve i*k = -2*k + 12 for k.
3
Let r(j) = -13*j**3 + 1. Let x be r(-1). Let i = -2 + 2. Suppose -n - 1 + 6 = i. Solve -n*u + 1 + x = 0 for u.
3
Let j(g) = -g**3 - 2*g**2 + g. Suppose 0 = 2*x + 3*l - 8, -5*l + 3 = -x + 7. Let m = 1 - x. Let c be j(m). Solve r - c*r = 25 for r.
-5
Suppose 3*d + 24 = 3*b, -5*d = 4*b - 4 - 10. Let w be (-2)/(0 + b)*-3. Solve 0 = 2*v - 3 - w for v.
2
Suppose 0 = -0*c - c. Let r = 2 - c. Suppose 26 = 5*a + 6. Solve -a*i + r = -2 for i.
1
Let d(t) = -3*t - 15. Let s be d(-6). Solve -f = s*f - 20 for f.
5
Let s be 2 - (-1 + 5) - -1. Let u(y) = 6*y**2 + 2*y + 1. Let j be u(s). Solve -a = -j*a for a.
0
Let z(c) = -c - 13. Let h be z(-14). Solve -3*r - h = -4 for r.
1
Let a = -152 - -176. Solve 8*k - a = 2*k for k.
4
Let y = 53 + -33. Solve -4*i - i = y for i.
-4
Suppose -22 = -4*t + 6. Let h(c) = -c**3 + 7*c**2 + c - 5. Let b be h(t). Solve 18 = -4*j - b for j.
-5
Suppose 9*p = 5*p - 8. Let z be (-50)/(-15) - p/3. Solve j = z*j - 3 for j.
1
Suppose 0 = -4*l - 5*k + 78 - 23, -9 = -3*k. Solve -l*j + 5*j = 15 for j.
-3
Suppose -n = 5, i + 0*n + 20 = -4*n. Let o be (1 - -2)/(-3)*0. Suppose i = -o*z + 5*z. Solve 5*m + 7 + 3 = z for m.
-2
Let m = -11 + 36. Suppose -o - m = -6*o. Suppose o*c - 2 = -3*n - 7, 0 = -2*c - 2. Solve n = 4*a - 0*a - 20 for a.
5
Let k = 2 - -2. Suppose -k = -4*n + 4. Suppose -4*u = 3*y - 27, -u - 5*y + 17 + 11 = 0. Solve -u*r + n = -4 for r.
2
Let q = 18 + -12. Let i be (-23)/(-4) - (-3)/12. Let g be i - (0 - -3 - 1). Solve g*x - x = q for x.
2
Let z be 1/2 - 9/(-6). Solve 0*w - 2*w = z for w.
-1
Let x(t) = t**2 - 7*t + 6. Let k(w) = -w**2 - 2*w + 5. Let u be k(-4). Let y = u - -9. Let b be x(y). Solve 0 = -b*m + 4*m + 20 for m.
-5
Let p(n) = -n**3 + 7*n**2 - n + 10. Let r be p(7). Let g be ((-14)/(-3))/(2/r). Solve -10 = g*y - 2*y for y.
-2
Suppose -4*g - 8 = 0, 6*q = q - 2*g - 14. Let v be (-4)/(q + 6) - -1. Solve t + v*t + 2 = 0 for t.
-2
Suppose 5*j = 7*j - 12. Solve -15 = j*a - a for a.
-3
Suppose -6*n - 5 = -7*n. Solve 3*h - 10 = n*h for h.
-5
Let f(r) = -r**3 + 4*r**2 + 6*r. Let g be f(5). Let o be (-8)/(1 - g) + -1. Solve 3*y + o - 7 = 0 for y.
2
Let q = 189 - 189. Solve -2*r + 6 = -q for r.
3
Suppose -d + 12 = 4. Solve 0*m - d = 4*m for m.
-2
Suppose -11*s + 36 = -2*s. Solve s = -a + 2 for a.
-2
Let v(g) = g**3 + 9*g**2 + 4. Let t be v(-9