13 for k.
3
Suppose 3*l - 3*h = 51, -4*h = 5*l + 30 - 151. Suppose 3*m = -0*m - 5*o + l, 5*m = -3*o + 51. Let v = -49 + 86. Solve -v + m = -5*b for b.
5
Let v = 6 + -4. Solve v*p - p + 1 = 0 for p.
-1
Let c(g) = 11 - g**2 - 3*g + 7*g - 6 + 2*g. Let z be c(6). Let p = z - -11. Solve -m = -5*m - p for m.
-4
Suppose 0 = -3*r - 13 + 4. Let x be (-2)/1 + (r - -13). Solve -5*p - x = -p for p.
-2
Let k be (-34)/(-6) - (-2)/6. Solve 5*c - k + 1 = 0 for c.
1
Let k = 3 + -1. Solve -3*c + 8 = k for c.
2
Suppose -3*h - 2*h = 5*x + 5, -4 = h. Solve -x*u = -6*u for u.
0
Let b(m) = -m**3 + 8*m**2 + m + 4. Let k be b(8). Solve a + 2*a = -k for a.
-4
Suppose -5*u + 6*x + 16 = 3*x, -u + x = -4. Solve 0 = 2*y - y - u for y.
2
Suppose 4*j + 9 = 21. Solve j*o = -0*o + 9 for o.
3
Let p be (-8)/(-4) + (-9)/1. Let s = p - -7. Solve h + s = 1 for h.
1
Suppose -n - 16 = 4*p + 3*n, 0 = -p - 4*n - 19. Suppose y = -2*y + a + 6, 3*y - 2*a - 6 = 0. Solve y*f - 1 - p = 0 for f.
1
Suppose 0*a + 2*a = 28. Solve 5*t - 11 - a = 0 for t.
5
Let z be (-1 - 0)*-6*1. Suppose z*g = g. Solve d = -g*d for d.
0
Let c = 4 - -1. Suppose u = -c*i + 10, 2*i - 4 = -3*u - 0*u. Let t be 13 + (-3 - (-2)/1). Solve u*m - t = 4*m for m.
-3
Let b(j) = j**3 - 13*j**2 + 7. Suppose -3*r + 18 = -21. Let i be b(r). Solve 0 = 4*w + i + 5 for w.
-3
Suppose 5*i - 68 - 12 = 0. Solve 5*v + i = v for v.
-4
Suppose 5*n - 3*z = 40, 2*n + 5*z = -0*n - 15. Suppose 13 = n*d - 7. Let h be 2 + (-2)/(-4)*d. Solve 4 = -h*y - 0*y for y.
-1
Let s = 8 - 6. Let v = 14 - 10. Suppose 0 = -v*h + 20, 2*r - 68 = -2*r - 4*h. Solve u = -s*u + r for u.
4
Let d(w) = w**3 - w**2 + w + 1. Let i be d(2). Let m = i - 3. Suppose 13 = m*j - 7. Solve 3 = -2*g - j for g.
-4
Suppose 0*g = -2*g + 3*x + 32, -5*g = 3*x - 59. Suppose -8*b - i = -4*b - g, -3*i + 25 = 5*b. Solve b = 4*l - 2*l for l.
1
Suppose -4*d + 2*d + 39 = 5*t, -t = 5*d + 6. Solve 3*z + 0*z - t = 0 for z.
3
Suppose 5*r = -2*l + 31, 0*l - 3*r + 9 = -2*l. Solve l*p = 2*p + 1 for p.
1
Let i(f) = f**3 + 11*f**2 + 9*f - 7. Let z be i(-10). Solve -z*j + 10 = -j for j.
5
Let i(w) = -2*w + 9. Let t be i(2). Solve -20 + 0 = t*m for m.
-4
Suppose 24 = 2*u - 14. Solve 0 = -5*z + 4 - u for z.
-3
Suppose 2*r - r - 4 = 0. Suppose 0 = -r*c - 2*z + 40, -z + 2*z = 4*c - 28. Solve 0 = 5*s - c + 23 for s.
-3
Let u be 2/(-3*(-2)/15). Let p = u - 2. Suppose -4 - 2 = -p*k. Solve 1 + 3 = k*w for w.
2
Suppose -5*y + 2*t = t - 25, -3*t + 15 = 0. Let j(a) = a**2 + 4*a + 2. Let k be j(-4). Suppose -k - 8 = -5*c. Solve c - y = f for f.
-4
Suppose -i = i - 4. Let x be (2*6)/i + 2. Let j = x + -4. Solve -3*f + f = j for f.
-2
Suppose 0 = 3*l + 3*c + 6, 0 = 2*l - 4*c - 16 - 10. Suppose 4*m = 2*m + l*y + 3, -3*m - y - 1 = 0. Suppose -3*s + 4*s = 0. Solve -p + m*p = s for p.
0
Let p(t) = -t**2 - 10*t - 6. Suppose -j - 3*a = -5*j - 45, -4*a = -3*j - 39. Let m be p(j). Suppose -m*d - 4*w - 5 = -23, 2*d + w = 12. Solve -z = -d*z for z.
0
Let y(c) = 2*c**2 - 2*c - 3. Let h(d) = 5*d**2 - 5*d - 8. Let w(q) = -3*h(q) + 8*y(q). Let l be w(2). Suppose 0 = l*x + 2*x - 40. Solve 0*u - 5*u + x = 0 for u.
2
Let o(x) = -3*x**3 + x**2 + x + 1. Let y be o(-1). Suppose 8 = 3*s - s + a, -2*s + a + y = 0. Solve -f = -0*f - s for f.
3
Let a be 6/21 + 38/14. Suppose -a*u - c = 4*c + 19, 14 = 2*u - 2*c. Suppose -d - 5*w - 15 = 6, 0 = 5*d + w - 15. Solve -u*t - 14 + d = 0 for t.
-5
Suppose 7*x + 126 = 25*x. Solve -4*s + x*s - 9 = 0 for s.
3
Let n(q) = q**2 + q - 39. Let b be n(6). Solve 5*v = -8 + b for v.
-1
Let p = -4 + 7. Solve -r + p = -2 for r.
5
Let k = -3 - -5. Let c be (-1 + 5 - k) + -8. Let j = 8 + c. Solve -10 = -4*o - j for o.
2
Let c = 11 + -8. Suppose -6 = -3*l + 3. Solve 0 = -c*j - 0 + l for j.
1
Let j be 10 - (0/3 - 2). Suppose -4*u = -4*h + j, 2*u + 4 - 1 = h. Solve u*x - 12 = -4*x for x.
3
Let p(o) = -7*o**3 + 19*o**2 - 7*o - 1. Let b(f) = 3*f**3 - 9*f**2 + 4*f. Let j(h) = -5*b(h) - 2*p(h). Let g be j(6). Solve m = -m - g for m.
-1
Let d = 17 - 11. Suppose 4*m = 6*m - d. Let u = 0 - -1. Solve m*v - 2 = u for v.
1
Let m(t) = 3*t**2 + 2. Suppose 2*u + 2*u = 8. Let r be m(u). Let g be 24/14*r/4. Solve -g*s = -2*s + 16 for s.
-4
Suppose 3*o = 5*o. Suppose -5*l = -5*i, -2*l + 7*l - 3*i = o. Solve l*g - 2 = -2*g for g.
1
Let i be -1 + 3 + 40/10. Suppose 5*l = 19 + 1. Suppose 0 = -l*c + i - 2. Solve h = -3 - c for h.
-4
Let u be 4/(-6) - (-40)/6. Suppose 4*h - q - 12 = 5, 2*h - 3*q - 11 = 0. Let k be (h + -6)/((-2)/4). Solve u - k = 2*f for f.
1
Suppose 4*s - 33 = 35. Let p = s - 10. Solve -d + 2 - p = 0 for d.
-5
Suppose i = 2*i - 3. Suppose 4*k = 4*m + 13 + i, 2*m + 4 = k. Solve -3*t + k = 16 for t.
-4
Let u be (-8)/44 + (-2)/(-11). Solve 4*z - z + 12 = u for z.
-4
Let g = 10 - 15. Suppose 0 = c - v + 2, 3*v = 5*c - 1 + 17. Let p = c - g. Solve -3*a + 0*a = p for a.
0
Let l be -2 - (-3 + 1) - -3. Suppose 1 = q - l. Suppose 3 = 3*k + j, -j = q*k + k - 7. Solve k + 3 = c for c.
5
Suppose 1 = z - 2. Suppose -z*g = g. Let r be 6 + -7 + (1 - -2). Solve g = -r*h - 11 + 1 for h.
-5
Let x = -52 - -52. Solve -o + 2*o + 4 = x for o.
-4
Let s(l) be the second derivative of -l**3/6 + 4*l**2 + 2*l. Let b be s(6). Suppose 3*a + 2*t - b = 3*t, -5*a + 4*t + 8 = 0. Solve a = -8*p + 3*p - 20 for p.
-4
Let p(n) = -3*n**3 - 2*n**2 + n - 2. Let r be p(-2). Let g be (-4)/(-24) + 58/r. Suppose 0 = -4*c + g*c - 2. Solve 0 + c = 2*o for o.
1
Let q(m) = -m + 6. Let x be 2/3 - 6/9. Let j be (0 - 2/(-4))*x. Let a be q(j). Solve a - 2 = n for n.
4
Suppose 2*u - 8 = -0*u. Solve 0 = u*g + g + 5 for g.
-1
Let w = 28 + -21. Let x be 7/(w/(-4)) - -4. Solve -d + x = -4 for d.
4
Suppose f - 2*f + 30 = 0. Suppose 0 = z + 4*z - f. Solve z = -4*c - 14 for c.
-5
Let a(w) = -w**2 + 11*w - 10. Let k(o) = o**3 - o**2 - 2*o - 4. Let t be k(3). Let c be a(t). Solve -c + 2 = -4*p for p.
3
Let c be (-30)/(-25)*5/4*2. Solve 0 = 3*j + c + 9 for j.
-4
Suppose -2*w - 15 = -5*w. Suppose t = -3*t + 8. Solve t*g - g = w for g.
5
Suppose 65 = -7*y + 2*y. Let r = y - -13. Solve r = -2*q - 3*q + 20 for q.
4
Let w(a) = 3*a + 13. Let c be w(-3). Solve 0 = 5*m + c + 6 for m.
-2
Let o = 25 + -13. Suppose 0 = 5*z + 20. Let a = o + z. Solve -4*w - a = 8 for w.
-4
Let j(d) = d**2 - d + 1. Let m be j(0). Suppose 6 = 5*i - 4. Let c = i + m. Solve f = 1 - c for f.
-2
Let d be 4/(-3)*(-30)/(-4). Let j be ((-12)/d)/(10/25). Solve c + 1 = -j for c.
-4
Let m(o) = 7*o**2 + 2*o + 1. Let s be m(-2). Let j(u) = -4*u - 10. Let k be j(-4). Solve b - s = k*b for b.
-5
Let b be (-208)/(-10) - 6/(-30). Let q = b - 21. Solve q*w - w = 0 for w.
0
Let o be ((-9)/3)/(15/(-3) + 4). Solve 2*v - o = v for v.
3
Suppose 0 = -3*c + 11 + 1. Suppose c*m - 3*m - 6 = 0. Solve 5*y - 2*y = -m for y.
-2
Let n = 9 - 7. Let f(i) = -i**3 + 4*i**2 + 7*i - 5. Let v be f(5). Suppose a = 4*y - v - 3, -5*a = -20. Solve n*k = y*k + 3 for k.
-3
Suppose 8*n - 3*s - 34 = 4*n, 0 = 3*s + 6. Suppose 22 = 5*a + n. Solve -a*m + m = -10 for m.
5
Suppose -x - 2*p + 2 = 0, -2*x - 4*p = -2*p - 2. Let q be (x/(-1))/((-12)/6). Solve -5*u - 3 + 18 = q for u.
3
Let k(f) = -f**3 - f + 17. Let r be k(0). Suppose -r = -4*s + 5*a + 12, a = -s - 4. Solve 0 = -i + 2 + s for i.
3
Suppose -4*c + 2*d = -18, 2*c - d - 4 = c. Suppose -4*a - 2*p = 2*p - 8, 0 = 5*p + c. Solve 0 = 2*m - a*m + 4 for m.
4
Suppose 2*i = -4*h + 4, h - 3*h - 22 = 5*i. Let v be (-4)/(8/i) + 2. Solve v*p = 4 + 6 for p.
2
Suppose 5*b - 2*b + 3*k - 18 = 0, 0 = 2*b - 3*k - 2. Suppose 8*o = 4*o - f + 16, -8 = -b*o + f. Solve -o - 1 = y for y.
-4
Suppose -3*a - 15 = -5*d, 0 = 5*d + 4*a - 0*a + 20. Suppose d = -2*k + 10. Solve 25 = -0*m - k*m for m.
-5
Let w = -27 + 27. Solve w = 5*z + 7 + 3 for z.
-2
Suppose -2*y = -11 - 3. Suppose 4*b - 1 - y = 0. Solve 0 = -3*p - b*p + 10 for p.
2
Let m(d) = 4*d**2 + 73*d + 89. Let a(u) = u**2 + 18*u + 22. Let r(c) = 9*a(c) - 2*m(c). Let p be r(-15). Solve 0 = p*h - h for h.
0
Let b(l) = -5*l**2 - 10*l + 9. Let n(t) = 2*t**2 + 5*t - 4. Let h(w) = 3*b(w) + 7*n(w). Let j be h(4). Solve j*y + y = 0 for y.
0
Let h = -26 - -26. Solve h = 4*d + 8 for d.
-2
Let x be 3/(-6)*-1*64. Suppose 0*k - x = -j + k, -3*j + 2*k + 91 = 0. Suppose 3*h - 6*t + 2*t = j, 3*h = -4*t + 3. Solve h*w = 2*w - 3 for w.
-1
Suppose 2*d - 20 = -3*d. Suppose 2*i - 6*i + 12 