4*k + m - 12 = x, 0 = m + z for k.
5
Suppose 0*l = 2*l - 6. Let x = 6 + -9. Let n be (-1)/(-1) - (x - -2). Solve 11 = -5*v + l*f, 5 = v + n*f + 15 for v.
-4
Suppose -3*y - 2*y + 2*u + 73 = 0, -2*y = u - 31. Solve 3*k + y = -d, 4*k + 0*d + d + 19 = 0 for k.
-4
Suppose 5*a = 11*a. Let x(z) = z**3 - 4*z**2 + 3*z + 2. Let j be x(3). Suppose a = j*y + 4*y - 12. Solve 0 = 2*v, -5*v - 3 = y*l - l for l.
-3
Suppose 4*w - g = 14 - 1, 0 = -4*w + 5*g + 33. Let x = 3 - 1. Solve -x*c + 3*z + 3 = w*c, -2*z = 5*c + 2 for c.
0
Let d be ((-2)/(-4))/((-4)/144*-6). Solve -y = 4*m + 2*y - 15, 3*y = d*m - 6 for m.
3
Let i = 400 + -400. Solve 0 = -7*u + 4*u - 6, 5*s + 5*u + 30 = i for s.
-4
Suppose -2*l + 6*l + 5 = q, -10 = -2*q + 2*l. Let m(v) = -v**3 + 5*v**2 + 2. Let s be m(q). Solve 2*k + 5 = -s*t + 3, 0 = -3*t + 2*k - 23 for t.
-5
Let i be (2 + -3 + 9)*(-1)/(-4). Solve 5*b = i*z - 14, z = b - 2*z + 8 for b.
-2
Suppose 2*b + 23 = 3*x, 5*x = -5*b + 4 + 1. Solve -o = -x*o - 2*m - 22, 5*o + 24 = m for o.
-5
Suppose -5*v + 12 = s, -3*s + 6 = -0. Solve 3 = -r + 2, 5*r = v*b - 3 for b.
-1
Let m = 786 + -773. Solve a + 4*y = 17, -4*y - m = -4*a - a for a.
5
Suppose 3*p + f + 3*f + 14 = 0, -2*p - 3*f - 11 = 0. Solve 0 = k + 3*r + 3, k - p*r = -2*k + 13 for k.
3
Let s(r) = r**3 - 30*r**2 + 56*r + 2. Let x be s(28). Solve -x*a = 2*k, k - 5*k = -4*a + 32 for a.
4
Let w be 8 + 270/(-35) + (-52)/(-14). Let b(h) = -10*h - 3. Let c be b(-6). Let v be c/6 - (-6)/w. Solve 2*m + 4*z - 2 = 0, m = -3*m - 3*z - v for m.
-5
Suppose 8*y - 88 = -36*y. Solve -b + 3*m - 4 + 3 = 0, 3*b + y*m + 3 = 0 for b.
-1
Let m = -152 - -167. Solve 0 = u + 3*b + m, 0 = -2*u - 3*b - 18 - 0 for u.
-3
Let z be 6/2 + (-4 - -3) + 3. Let g be ((-175)/28 - -6)*-12. Solve 2*i - 5 = 3*w + 4, g*w - 12 = -z*i for i.
3
Let y(u) = 2*u**2 - 4. Let j be y(-2). Let o = 0 + j. Solve -o*f - 2*a + 4 = 0, -5*f - 1 = -5*a + 9 for f.
0
Let s = 10 - 20. Let b = s + 15. Suppose 9*o = b*o. Solve w = 5, i + w + w - 9 = o for i.
-1
Suppose 713 - 681 = 8*x. Solve x*r - 27 = 5*h, -r + 5*r = -5*h - 3 for h.
-3
Let b(r) = 15*r - 3. Let n be b(-4). Let x = n + 63. Solve 2*m + x*m + 8 = -3*v, 4*v + 18 = m for v.
-4
Let c = 5 - 2. Let p = -35 + 36. Let q be 0/(0 + -1 - p). Solve q = -2*h + 2*x - 4, 4*x - 1 = c*h + 4 for h.
-3
Suppose 0 = 8*a - 2*a - 72. Suppose -13*k + 6 = -a*k. Solve 3*w + 32 = -4*u, 0*w - w + 2*u = -k for w.
-4
Suppose -11*m + 7*m = 4*b - 32, -3*m = -12. Suppose -4*g - 2*j = 5 - 1, 4 = -2*j. Solve 4 - 2 = 2*t - 5*x, g = -b*x for t.
1
Suppose 0 = 5*s + 44 + 71. Let o = 28 + s. Suppose -o*i + 12 = -2*i. Solve -4*z + 5*x + 1 = 12, i*z + x = -17 for z.
-4
Let x = -11 - -19. Let i be (-6*(-8)/(-18))/((-18)/27). Solve 2*v + x = 5*c, -i*v - 5 = -5*c + 1 for c.
2
Suppose 0 = y - 4*k + 4, -4*k + 0 = -8. Suppose 4*o + 0*o + 3*n - 46 = 0, 8 = -y*n. Let q = o - 10. Solve -7*p + 2*p + j - 9 = 0, 17 = -5*p + q*j for p.
-1
Suppose 10*v - 425 + 2225 = 0. Let x be 5*(-9)/(v/16). Solve 8 = 4*g + x*y, 2*g - y - 10 = -0*y for g.
4
Suppose -3*s = -0*s - 4*t - 16, 4 = -s - t. Suppose -5*r - 72 = w, s = 3*r + 2*w + 34 + 5. Let z = r - -35. Solve 0 = -2*o - 3*o - z, 18 = m - 5*o for m.
-2
Let v be 6 - -2*(-10)/20. Solve 8*g = -2*r + 4*g + 14, v*r = -5*g + 10 for r.
-3
Suppose -33*d + 28*d = -15. Solve 0 = -h + 2*x + d, -h - x - 3*x = 3 for h.
1
Let v be ((-2)/8)/(3660/(-912) - -4). Solve -15 = 5*w + 5*p, 5*w + 2 = p - v for w.
-4
Let a(x) = -3*x - 1. Let j be a(-2). Let u(v) = 18*v + 25. Let b be u(3). Let i = b - 75. Solve 4 = -4*n, 0 = -7*y + i*y + j*n + 11 for y.
2
Let x = -7 - -23. Let i = x + -10. Suppose 17 = 4*k - g + 4*g, 4*g = -2*k + i. Solve 2*q + 0*q = -8, -3*o = k*q + 8 for o.
4
Let u be (9/21)/((-4)/(-28)). Solve 4*t = u*k, 3*k = -2*k - 3*t for k.
0
Let g = 170 + -167. Solve -4*v - 28 = -g*i, 0*i - 2*v - 24 = -4*i for i.
4
Let i be ((-3)/(-6))/((-3)/(-18)). Solve 2*g + 7 = r, -4*g + 1 - 10 = i*r for g.
-3
Let c(m) = 2*m**2 + 14*m - 33. Let b be c(6). Suppose 0 = -119*t + b*t - 16. Solve -25 = t*z + 3*r, -2*z - 14 = -0*z + 2*r for z.
-4
Let n(w) = -5*w + 30. Let i be n(6). Solve i = z - b + 3*b - 7, z - 3 = 2*b for z.
5
Let g = 87 - 88. Let k be -6*g*(-3)/(-6). Solve -4*m = -2*j + 20, 7*m + 16 = k*m for j.
2
Let h be -25 - -20 - (-10 - 0). Solve h*l + 4*r + 7 = 2*r, -16 = 4*l - r for l.
-3
Suppose -10 = -0*x - 5*x. Suppose -3*v + v = -4. Solve -10 = 2*f + 3*z, -v*f - 3*z + x = -6*z for f.
-2
Let c(h) = -h**3 + 19*h**2 - 35*h + 25. Let v be c(17). Solve -2*k = -0 - 8, 4*q + k = -v for q.
-3
Let n(t) = -t**2 - 3*t + 20. Let f be n(-6). Suppose -f*j + 4*j = 0. Solve j = -p + 2*r - 3*r - 5, 2*p + 20 = -4*r for p.
0
Let k = -308 + 311. Solve -4*m - f + 12 = 1, k*m + 4*f - 5 = 0 for m.
3
Suppose q = 21 - 3. Suppose 22 - q = d. Solve -d*i - 4*l = -8, i - l - 8 = l for i.
4
Suppose -34*j + 80 = -14*j. Solve -2 = -5*y + 3*y + j*m, -1 = -y + 4*m for y.
1
Let d(n) = n**2 + 24*n + 35. Suppose 25*a = 21*a - 96. Let w be d(a). Solve -5*u = -4*h - h + w, 4*u = -5*h - 10 for h.
2
Let h(c) = -11*c + 165. Let m be h(15). Solve k = 2*x - m*x, 3*x - 3 = 3*k for x.
-1
Let k be (7/((-63)/24))/((-32)/48). Solve 3*f = -0*f + u + 4, k*f - 3*u = 2 for f.
2
Let u(t) = -t**3 + 7*t**2 + 10*t + 1. Suppose 5*m + 2*j - 30 = 0, 7*m - 2*m + 5*j - 15 = 0. Let n be u(m). Solve -4*a + 2 = -3*s + n, -13 = 2*s + 5*a for s.
1
Let u be (63/(-135) - (-1)/(-5))*-6. Solve 5*i - 9*n = -11*n + u, -2*n + 4 = -4*i for i.
0
Let f = -7736 - -7740. Let r(d) = -d**3 - 9*d**2 - 9*d - 5. Let t be r(-8). Solve f*p - t*o = -4*o + 9, -o + 6 = p for p.
1
Suppose -5*v - 82 = -2*p + 4*p, -3*p + 48 = -2*v. Let w be (-506)/v + 4/(-36). Solve -a - 5*g + 10 = 0, -3*a - 3*g = 2*a - w for a.
5
Let j(r) = -61*r**2 + 2*r - 1. Let z be j(-1). Let n be ((-1)/8 - 8/z) + 2. Solve -2*g + 4 = 5*y, -2*y = n*g + 2*y - 4 for g.
2
Suppose 3*q = -4*l + 4 + 144, -l = 2*q - 32. Let m = l + -38. Solve 2*z + z = 2*n + 5, 2*z + m = 0 for n.
-4
Suppose -7 = -3*x + 29. Let g(m) = 2*m**2 + m + 1. Let q be g(-1). Let s be (-8 - -7)*6/(-2). Solve 0 = 3*c + x, -1 = -q*a - c + s for a.
4
Let p(b) = 2*b**2 + 4*b + 3. Let s be p(-2). Suppose -s*j + 24 - 9 = 0. Suppose j*r = 3 + 47. Solve 7*w - 4*w + 2 = -4*g, 3*g = 2*w - r for w.
2
Let h = 138 - 135. Solve 4*o - 9 = 3*w, 2*w - 17 = -8*o + h*o for w.
1
Let p be 2/(-17) - (-9048)/1768. Solve -y + p*t = -4, 6*y - t = 4*y - 1 for y.
-1
Suppose 17 - 19 = -p. Suppose -5*q = -p*i - 1, 9 - 25 = -4*i + 4*q. Solve 5*l + i*g - 3*g + 15 = 0, 2*g - 9 = 3*l for l.
-3
Suppose 100*u = 90*u + 20. Solve 0 = m + 5*i - 0*i - 16, 5*m = i + u for m.
1
Let f be ((-21)/(-7))/(3 + -2). Solve 5*j = f*t - 21, 0 = t - 6*t + 10 for j.
-3
Suppose 2*b - 9*d + 6 = -6*d, 4 = d. Suppose -t = -77 - 28. Suppose b*z = -2*z + t. Solve -3*w + 9 = -5*g, -5*g - 6 = 5*w - z for g.
0
Let p(h) = -h**2 - 20*h + 44. Let b be p(-22). Suppose -5*z + 19 = 3*x, 2*x - z = -b*x + 17. Solve -2*i - 5*s + 3 = -x, 0 = 4*i + s - 13 for i.
3
Suppose f - 32 = -27. Suppose -f*a + 2*g + 51 = 0, 0 = 2*a - g - 2*g - 27. Solve -2*h = -5*w + a, 5*h + 10*w - 5*w + 5 = 0 for h.
-2
Suppose 3*u + 4*q = -q - 13, -u = -5*q - 9. Let h be u + 8 + -3 - 2. Solve 3 = -b - h*g - 2, -12 = 3*g for b.
3
Let k be (-8)/(-24) - (-23)/3. Solve -i + 5*h + 5 = -k, 2*i + 4*h + 2 = 0 for i.
3
Let i(l) be the third derivative of -l**5/15 - l**4/12 + 2*l**3/3 - 19*l**2. Let m be i(0). Solve 2*g + 3 = 3*t, -2*g - m*t + 15 = -g for g.
3
Let u be (-4 + -1)/((-16)/64). Solve -2*v - v - 3*w = -3, -4*v - u = -4*w for v.
-2
Suppose -3 = 2*l - 11. Suppose 14 = -2*c - 2*f + l, 5 = -4*c - f. Suppose 2*p + 4 = 3*p. Solve 7*j - p*j = -4*r - 8, c = 3*j - 5*r + 17 for j.
-4
Let k(q) = q**3 - 6*q**2 + 5*q - 7. Let w be k(6). Let p = w + -15. Solve -2*n - 2*h - p = -n, 3*n + h = -9 for n.
-2
Suppose 0*k = 4*c - 4*k - 4, -5*k = 4*c - 40. Solve d - 2 = 3*d, c*d + 5 = 5*l for l.
0
Suppose -30*u + 258 = 15*u - 2*u. Suppose -2 = z - 4. Solve u = -5*k - z*t - 2, -2*t - 8 = -3*k for k.
0
Let n = -50 + 52. Suppose 20 = 3*z - 13*a + 8*a, -z = -n*a - 6. Solve 7*h - 2*h = q + z, 3 = h for q.
5
Suppose -i = 5*a - 17, -4*a - 27 = -5*i - 0. Solve 0 = 4*g - 3*k + 25 - i, -4*g + 5*k = 22 for g.
-3
Let k = -4 + 7. Suppose -3*p = p - 24. Let s be 8/(-12)*(-27)/p. Solve 2*x + s = 1, -3