 for k.
-5
Suppose -2*x - 4 = 0, 5*i + x = -2*x + 44. Let v = i + -10. Solve 9 = -v*c + 3*c for c.
3
Suppose -4*u + 6 = -6. Let d be (45 + 0)/((-4)/(-4)). Suppose -5*w = -2*t - d, 4*t = -5*w - 0*t + 15. Solve -w = u*z + 2 for z.
-3
Let h be ((-3)/(-6))/((-3)/(-54)). Solve 0 = 4*n - n + h for n.
-3
Suppose 5*z = 17 - 7, 11 = d + 4*z. Suppose -3*x = -4*x + 18. Suppose b - x = -3*b - 2*r, b + 4*r = 1. Solve -t + b = d for t.
2
Let l(q) = q. Suppose -3*a = -0*a - 9. Let c be l(a). Solve 6 = c*h - h for h.
3
Let u(r) = -r + 10. Let o be u(7). Solve o*n + n + 8 = 0 for n.
-2
Let d = 20 - 14. Solve h = d*h - 10 for h.
2
Let n be 1/5 + (-88)/40. Let c(t) be the third derivative of -t**6/60 - t**5/20 + t**3/6 - 2*t**2. Let o be c(n). Solve o*i + 12 = i for i.
-3
Let r(w) = w**3 - w**2 + 6. Let z be r(0). Suppose 2*k - z = -k. Solve 3*i + k*i = 0 for i.
0
Let i(g) = 3*g + 8. Let s be i(0). Solve -8*p = -4*p - s for p.
2
Suppose 0 = -4*m - 1 + 9. Let h(c) = -c**2 + 5*c + 1. Let z(r) = 2*r - 8. Let p be z(6). Let g be h(p). Solve 13 + m = -g*f for f.
-3
Let q be 2*1*(-26)/(-4). Let a = q - 9. Solve a*s + 4 + 0 = 0 for s.
-1
Suppose 2 = 2*s - 30. Let n = 27 - 36. Let k = s + n. Solve -1 = -4*u + k for u.
2
Let s = -4 + 16. Suppose 4*h + y = -3 + s, 9 = 3*h + 3*y. Suppose 5*o = 3*c - 20, -2*o = -0*c + 2*c + 8. Solve c = -2*u - h*u - 8 for u.
-2
Let h(j) = 2*j - 1. Let u be h(3). Suppose 0 - 10 = -u*a. Suppose o + 4*n + 10 = -o, n + 1 = -a*o. Solve i - 1 = o for i.
2
Let f be 3 + -1 + (-1)/(-1). Suppose -6 = f*i + 21. Let m = i - -13. Solve m*l = -13 - 7 for l.
-5
Let q(d) = -d**3 - d**2 - 2*d + 1. Let y be q(-2). Solve 3*a = -y + 3 for a.
-2
Let a be (-2)/6 + 78/18. Let n = -1 + a. Solve h = n*h - 4 for h.
2
Let o be 124/5 - (-2)/10. Suppose 5*g = o, 5*m - 5*g - 7 = 8. Solve -m = q + q for q.
-4
Let c be 0/(2 + -2 - -2). Suppose -6*t - 6 = -2*t + d, 0 = 3*d + 6. Let h be t/5 - 4/(-20). Solve o + h*o = c for o.
0
Let s(u) = 7*u**2 + 2*u + 2*u**3 - 8 + u + u**3 - 2*u**3. Let x be s(-6). Solve -2*y - x + 4 = 0 for y.
-3
Suppose -3*b + 16 = -0*b - 2*z, -20 = -3*b + 4*z. Let k = b - 2. Suppose 0*j = -k*j + 4. Solve -3*w - 11 = -j for w.
-3
Let z = 55 - 35. Solve 2*h - z = 6*h for h.
-5
Let a(r) = -r + 5. Let g be a(7). Let j be (-1 + 1)/(g - -3). Solve w + j = 5 for w.
5
Let l(y) = -y**3 + 9*y**2 + 9*y + 13. Let q be l(10). Solve -w = q*w + 16 for w.
-4
Let x = -11 - -15. Let h(l) = 2*l + 12. Let k be h(-8). Let s(b) = -3*b. Let i be s(k). Solve -x*z + i = -8*z for z.
-3
Let c(r) = r**3 - r**2 - 21*r + 12. Let x be c(5). Solve -3*f = -x*f - 8 for f.
-2
Let g = 74 - 71. Solve 4 = -g*d + 1 for d.
-1
Suppose -5*m + 0*s = -s - 40, -3*m = 3*s - 24. Let p = m - 2. Suppose p*y = y. Solve y = r + r - 2 for r.
1
Let y be -14*((-15)/(-6))/(-5). Suppose 5*a = -2*m + 18 - 45, 0 = 5*a - 2*m + 43. Let p = y + a. Solve p*g = -g for g.
0
Let f be (-1)/((-1)/(2/2)). Suppose -o + 3*k + 3 = -5*o, -2*k = 5*o - 5. Let y be f/((-1)/(-1))*o. Solve -2 = -y*j - 5 for j.
-1
Let n(q) = -2*q - 11. Let o be n(-6). Solve -o - 2 = f for f.
-3
Let u(c) = c**3 + 5*c**2 - 5*c + 8. Let n be (-2)/11 + (-64)/11. Let s be u(n). Suppose h = s + 1. Solve 5*p - h*p - 6 = 0 for p.
3
Suppose 0 = 4*y - 4. Let n(o) = o**3 + 5*o**2 + 2*o - 2. Let a be n(-5). Let z be (-1 + -2)*4/a. Solve -g + y = -z for g.
2
Let u be 4*(-4)/(-3 + -13). Let m be -4 + u + 2 + 1. Solve -c + 0*c + 2 = m for c.
2
Suppose -4*c + 27 = -3*c - 4*f, 3*c = -f + 16. Let h = c - 14. Let m = h + 13. Solve -g + m = g for g.
3
Suppose o + o - 8 = 0. Suppose t - 5*t = -o. Solve -t = -2*i + 5 for i.
3
Let m = -1 - -1. Let w = 2 - -1. Suppose w*n + n - 15 = -b, -b - 9 = -4*n. Solve -u + n + 1 = m for u.
4
Let o = 95 - 95. Solve -5*i + 5 + 10 = o for i.
3
Let x = 11 - 9. Solve 2*c = -x*c - 20 for c.
-5
Let j be (14/(-1))/(-2 + 0). Let p = -6 + j. Solve -5*n + p = -19 for n.
4
Suppose 0 = -3*g + u + 16, 0 = 4*g + 4*u - u - 17. Suppose -x = 4, 2*z - z = -2*x - g. Suppose 7 = -5*p - z*h + 19, -3*h - 3 = 0. Solve -2*r = p*r - 20 for r.
4
Suppose -2*k + 30 + 14 = 5*v, -5*k = v - 18. Solve 0 = v*x - 3*x - 20 for x.
4
Let y = 46 - 46. Solve 0 = -5*b - y - 5 for b.
-1
Suppose 3*o + 3*d - 7 - 14 = 0, 4*o - 20 = 4*d. Solve -f - 2 = -o for f.
4
Suppose -5*p + 3*p = 2. Let t = p - -8. Solve -t*f = -3*f for f.
0
Let a = 13 - -10. Let q = 18 - 25. Let v = q + a. Solve -5*o + v = -o for o.
4
Suppose 6*a - 3*a - 9 = 0. Solve 0*d = -d + a for d.
3
Let x be (-2)/(-4)*0/3. Suppose x = -2*v + 4. Suppose -v*o + 3 = -11. Solve -3 = 2*a + o for a.
-5
Suppose -29 - 26 = -5*l. Let s be l/44*2*10. Suppose 3*z = 2*n + 11, -5*z = -3*n - 3*z - 4. Solve -s*w + n*w = 0 for w.
0
Suppose 6 = -2*v + 12. Solve -2*k = -1 + v for k.
-1
Let b be (1/(-2))/((-9)/18). Let d(n) = 3*n**2 - 1. Let m be d(b). Solve 0 = -m*s + s - 4 for s.
-4
Let j(k) = k**3 + 3*k**2 + k. Let m be j(-2). Let g = -65 - -70. Solve -m = -g*d + 8 for d.
2
Let n = 50 - 38. Solve -2*f - 2*f - n = 0 for f.
-3
Let n be (-2)/(-1) - -1*1. Suppose 3*x + i + 0*i = 10, -5*x - n*i = -14. Suppose 5*g - x*y = -7*y + 22, 5*y = 5*g + 10. Solve g*w = w for w.
0
Let h be (-2)/4*1*2. Let i = 3 + h. Solve -b = i*b for b.
0
Suppose -2*k - 6 = -2*d, -4 = 6*k - 2*k + 4*d. Let a = k + 2. Solve a*r + 2*r - 2 = 0 for r.
1
Suppose 5*d = -0 + 5. Let y(h) = 6*h**2 + 2*h + 1. Let q(z) = -11*z**2 - 3*z - 2. Let u(l) = -3*q(l) - 5*y(l). Let s be u(d). Solve r - 4*r = -s for r.
1
Let h(j) = j**2 + 17*j + 58. Let l be h(-13). Solve l = -2*u - 2 for u.
-4
Let k = 53 - 53. Solve k = 2*o - 0*o - 4 for o.
2
Suppose 3*k - 4 = 2. Suppose 5*j + 0*g = k*g + 15, 6 = 2*j + 3*g. Solve 5*w - j - 22 = 0 for w.
5
Let s(t) = 2*t - 2. Let j be s(6). Solve -j = 7*a - 5*a for a.
-5
Suppose -2*v + 25 = 5*n, -3*n + 0*v + 14 = v. Solve -2*f = -5*f + n for f.
1
Suppose 2*a = 5*w - 0*w + 4, 5*w - 8 = a. Solve 8 + a = -4*x for x.
-5
Let a(w) = w + 2. Let f be a(4). Let y = -1 + f. Solve -2*k - y = 5 for k.
-5
Let c = 24 + -21. Solve 0*y = y + c for y.
-3
Let l be 1/3 + (-126)/(-27). Suppose l*a - 64 = 36. Solve -j = -6*j - a for j.
-4
Let y be 4/6 + 0 + (-4)/(-3). Solve -x - y = x for x.
-1
Let h = -38 - -102. Suppose -4*v = -8*v + h. Solve -w = -5*w + v for w.
4
Let a(b) be the first derivative of b**3/3 - 5*b**2 + 17*b - 4. Let j be a(8). Solve k - j = -4 for k.
-3
Let r be (-11)/(-2) + (-2)/(-4). Let w(i) = -i**3 + 5*i**2 + 8*i - 8. Let c be w(r). Solve -c = 2*k + 2 for k.
-3
Suppose 0 = 3*a + 5*r - 10, 4*a + 2*r = 29 - 11. Solve -10 = a*g + 10 for g.
-4
Let z be (-1)/((3 - (-64)/(-12)) + 2). Solve z*x + 2*x = 0 for x.
0
Let s(o) = -4*o - 6 + 4*o + o - 4*o. Let c be s(-4). Let r = -4 + c. Solve r*a = a for a.
0
Suppose -3*z - 8 = -0*h - 4*h, 3*h = -2*z + 23. Solve g + z = -0*g for g.
-4
Let p(z) = 0*z - 20 - 2*z + 15. Let r be p(-6). Solve -5*k + 13 = -r for k.
4
Let h(o) = -o - 1. Let p be h(-11). Solve 3*a + p = a for a.
-5
Let g be (4 + (-2 - 0))/1. Suppose 4*z - 16 = g*b - 0*b, b - 3*z + 12 = 0. Solve 3*x - 5*x = b for x.
0
Suppose w + i - 7 = 0, -3*i + 0 = -3*w - 3. Solve 8*x - w*x + 20 = 0 for x.
-4
Suppose -18 = 7*k - 18. Solve 0 = 4*c - k*c for c.
0
Let q be 10/30*(-9)/(-1). Let t = 6 - 3. Solve -q = t*o + 3 for o.
-2
Suppose -6*z = 11*z. Solve -h = 3 - z for h.
-3
Let d be 0 + (-5 + 3)/(-2). Let j be 2 - 1/(0 - d). Solve -j*i + 7*i = -12 for i.
-3
Let c(t) = -t**3 + 3*t**2 + 5*t - 4. Let p be c(4). Let l = 22 + -17. Solve p = l*a + 7 - 27 for a.
4
Let p = -4 - -6. Solve 1 - 5 = p*c for c.
-2
Suppose 3*y - 36 = -3*o, 0*y - 10 = -2*o + 5*y. Suppose -6*u + o = -4*u. Solve 3*m + u = 4*m for m.
5
Let y(g) be the second derivative of -g + 0 - 5/2*g**2 - 1/6*g**3. Let u be y(-5). Solve u = -4*l - l + 25 for l.
5
Let l(y) = -y**3 + y**2 + 2*y + 2. Let k be l(-2). Let s = -5 + k. Suppose 0 = 8*a - 3*a. Solve a = 4*f - s*f + 5 for f.
5
Let q(v) = v + 2. Let u be q(-2). Suppose -3*l + l + 4 = u. Suppose 4*w - 3*w = l. Solve 4*g = 2 + w for g.
1
Let s(w) be the third derivative of -w**6/120 + w**5/10 + w**4/3 - 7*w**3/6 - 3*w**2. Let v be s(7). Solve -5*i + v - 25 = 0 for i.
-5
Suppose -2*k - k = 0. Solve -5*b + 12 + 8 = k for b.
4
Let j(x) = x + 9. Let u be j(-6). Suppose -2*d = 5*z - 2*z + 23, -3*d + 2*z - 54 = 0. Let t be d/56 - (-2)/7. Solve t - 3 = u*b f