o + 24, -z - 18 = -5*s - 5*o for s.
5
Suppose -i + 21 = -4*i + 2*o, 4*i + 5*o = -5. Let y(j) = -2*j - 6. Let w be y(i). Solve 0 = 3*z + 6*n - 3*n - 6, 3*z - w = -5*n for z.
3
Suppose 5 = 29*d - 53. Solve 0 = 3*h - h - 5*l - 6, 0 = d*l for h.
3
Let z(w) be the first derivative of w**4/4 + 7*w**3/3 - 4*w**2 + 5*w - 8. Let i be z(-8). Solve -4*x + 2 = -5*p - i, 0 = -3*x + 2*p for x.
-2
Suppose 0 = -168*f + 164*f + 16. Solve 0 = -f*y + 12, 5*y - 3*y = -2*i + 6 for i.
0
Let c(n) = -n**3 + 25*n**2 - 20*n - 54. Let l be c(24). Suppose -l = 5*d - 19*d. Solve z = -d, -4*q = -z - 4 - 3 for q.
1
Suppose -9*j + 8*j = 0. Suppose j*n = n - 4. Solve 3*c + n*q - 16 = 0, -10 = 4*c + 4*q - 30 for c.
4
Suppose 2*u = -0 - 4. Let g be 147/15 - u/10. Let x(s) = -s**3 + 11*s**2 - 9*s + 12. Let v be x(g). Solve v = -2*l + l - 5*y, -3*l + 4 = y for l.
3
Suppose 13*d - 65 = 8*d. Suppose -d*m = -8*m - 45. Solve -2*q + 0*q + w = 0, 5*w = q + m for q.
1
Let b be 2/(-2 - -4) - -2. Suppose 4*j - 15 = -3*m, -2 - 2 = -4*m. Solve -b*v + 15 = 4*g + 1, -j*v - g = -8 for v.
2
Suppose -4*v + 20 = -4*s, -2*v + 27 + 7 = 4*s. Solve a = 3*q - 2*q - 5, 2*a = q - v for q.
1
Suppose -5 = -3*l + 1. Suppose -l*q - 10 = 0, -a - 2*q = -5*a + 22. Suppose a = 3*y - 18. Solve -4 = -5*c + 4*n, 2*c - y*c - 5*n - 5 = 0 for c.
0
Let l be (5 - 3) + (1 - 1). Let d = 1 - 3. Let g be (-30)/(-9) + d/(-3). Solve 2*y - g = -3*n - l*y, -4*y + 4 = 0 for n.
0
Let y be -2 + -13 - (-1)/1. Let h be y/(-6) - 18/(-27). Solve k + 4 = 3*k + 3*x, k + h*x - 8 = 0 for k.
-4
Let y = 75 + -60. Let m be (-6)/4*(-1 + (-5)/y). Solve m*c - 7 = -d - 0*c, c = -d + 6 for d.
5
Suppose -4*o - 3*j = -249, j + 59 - 2 = o. Let r be 1/(-6) + 10/o. Let u be (-4)/16 + 17/4. Solve l + r - u = -2*b, 2*l - 3*b + 13 = 0 for l.
-2
Let p be (-288)/(-120) - (-2)/(-5). Solve 0 = 3*y - 2*w - 1, y + p*w + w - 4 = 0 for y.
1
Let m(h) = -5*h + 19. Let j be m(3). Solve -i - 2*n - 2 = -0, -2*i - j = 5*n for i.
-2
Suppose 16*r - 20*r = 84. Let g = -18 - r. Suppose 0 = -4*m + 5 + g. Solve -2*u + 5 = m*t - t, 0 = -5*t - 3*u - 10 for t.
-5
Suppose -32 = 3*k - q - 75, 0 = k - 2*q - 16. Solve -2*f + k = 2*m, 2*m = 3*m - 3*f + 1 for m.
5
Let c(l) = -l**2 + 9*l - 6. Suppose 0 = -a - 2 + 7. Suppose -3*v - 5*n = -19 - 0, a*n = 2*v - 21. Let g be c(v). Solve i - g*i = -5*u + 16, 2*i + 2*u = 4 for i.
-1
Suppose h = 6*h - 20. Let w be (-352)/(-80) + h/(-10). Suppose 60 = 3*v + 2*v. Solve 5 + 4 = -3*x - 2*k, -4*x = -w*k + v for x.
-3
Let j = 80 + -55. Suppose -k - 4*p = 0, -5*k + p + j = -4*p. Let z(h) = h**2 + 3*h + 5. Let i be z(-4). Solve 3*w = 5*w + 2*g, k*w + i = -g for w.
-3
Suppose -3*y + 9 = 0, 2*y - 12 = -3*q + y. Suppose -19*k + 22*k = 9. Solve 5*v - k = -q*x, 3*x + 4*v = -0*x for x.
-4
Let a(c) = -c**2 + 8*c - 3. Let n be a(8). Let o be 13 + (-2)/n*-3. Solve 3*r + o = -0*r + 5*i, r - 5*i = -17 for r.
3
Let v = 1476 + -1470. Suppose 2*x - 4*x - 10 = 3*a, -3*a + 15 = -3*x. Suppose a = -v*r + r + 130. Solve 4*f + r = 8*f + 2*s, -4*f + 17 = -s for f.
5
Suppose y - 220 + 217 = 0. Solve 0 = -3*w - 5*t - 6, -5*t = -3*w - y*t + 15 for w.
3
Let m be (2/4)/(19/(-1178)). Let a = -31 - m. Solve -r - j = 5 - a, 2*r + 3*j + 10 = 0 for r.
-5
Let t(u) = -8*u - 17. Let a be t(-5). Suppose 0 = 22*q - a*q + 5. Solve 5*j - 10 = -5*v, 0 = 8*j - q*j + 5*v for j.
5
Let d = 108 - 105. Solve 5*l + w - 21 = 0, -4*l - d*w + 20 = w for l.
4
Let z be (-7)/(-28) - 19/(-4). Suppose 0 = -4*y + 4*x - 4, -2*x - 3*x = 2*y - z. Suppose y = -2*m + 9 + 1. Solve -5 = -4*c + m*o + 4, 29 = -c - 5*o for c.
-4
Suppose c + 194 = -2*c - 4*y, 2*c + 132 = -4*y. Let u = 87 + c. Let v = 23 + -23. Solve -5*w - u = -5*z - v*w, -4*w - 12 = 4*z for z.
1
Suppose -52*v = -38*v - 28. Solve -l + m - v*m + 3 = 0, -3*m + 12 = 0 for l.
-1
Suppose 0 = 4*u - 4*x - 52, -30 - 8 = -3*u + 2*x. Solve 5*b + p - u = 2, -9 = -4*b - 3*p for b.
3
Let s(i) = -14*i + 71. Let j be s(5). Solve j = -4*d - 3*o + 3, -3*d + 2*o = -10 for d.
2
Let o be 6*(1 + 3)/8. Suppose 3 - o = 10*w. Solve -2 = -2*u - 2*x, 4*x = 4*u - w*x - 4 for u.
1
Suppose 3*c - 127 + 46 = 0. Suppose -8*m = 3 - c. Let h be ((-8)/22)/((-12)/66). Solve h*d = -2*f - m*d + 25, -4*f = -5*d + 25 for f.
0
Let o = 104 - 101. Solve -y + 0 = -2*b + 1, -3*y - b - o = 0 for y.
-1
Suppose -5*n = h - 135, -2*n = -0*n + h - 54. Let z = n + -25. Solve 14 = 3*j - 6*j + t, -4*j - 2*t - z = 0 for j.
-3
Suppose 3*k + 5 = -25. Let o be (0 - 1)*2/(k/25). Solve 3*g - 1 = 2*i - 12, g + o*i + 15 = 0 for g.
-5
Let w = 1 - 0. Let h = -1 + w. Let n = -525 + 529. Solve h = -2*i + 4*z + 6, -n*z = -5*i - 5*z - 18 for i.
-3
Let h be ((-2)/3)/((-2)/9). Let o be (-2)/4 - 12*12/(-32). Solve -g = -h*u + 17, 4*g = -u - o*u for u.
4
Let u be (12 + -9)*(-312)/(-9). Suppose -u*h + 4 = -103*h. Solve -3*f = -4*g - 11, -9 = -h*g - 3*f + 2*f for g.
1
Let o be 8/6 + (-24)/(-36). Let q(c) = -c. Let z(p) = p + 1. Let u be z(-6). Let y be q(u). Solve 5*s - 3*j + 6*j + y = 0, -o*j = 0 for s.
-1
Let w be ((-24)/15)/4*-10. Suppose 1 = -a, b + 2*a = -w + 5. Suppose 0 = 6*u - 12*u + 30. Solve b*x + 1 = u*p, -5*p - 7 = 4*x + 6 for x.
-2
Suppose 0 = -q - 3*b + 24, 5*q + b + 2*b = 84. Let y be 1*3/9*0. Suppose -p + q = -3*i, 0 = -y*p + p - 5*i - 11. Solve n - p = -5*d, n + 3 + 4 = 2*d for d.
4
Let o be 0 - -1*(0 - -21). Solve -2*p - p + 18 = -3*c, -5*c = 4*p + o for c.
-5
Suppose 0 = -v - 0 + 1. Let l = 6 - v. Suppose -2*c + l = 1. Solve 24 = -4*i + 4*a, c*a - 20 = -2*a for i.
-1
Let l be 1/(-5) + 42/10. Let t = 9 + 20. Suppose 11 = 2*d - t. Solve 0 = -l*o - 5*i + 6*i + 20, d = 4*o + i for o.
5
Suppose 53*h = 56*h - 4*z - 12, -h = -3*z - 9. Solve p - 4*w = -h*w - 6, 0 = -2*p + w + 2 for p.
2
Suppose -h - 28 = -5*d, h = -2*d - 16 - 5. Let s = 75 + -38. Let n = h + s. Solve 2*g = -0*t - 2*t - n, 5*t + 15 = 5*g for g.
-2
Suppose 17*u + 27 = 26*u. Solve z - u*s + 17 = -0*z, 0 = z - 5*s + 25 for z.
-5
Let w(i) = i**2 + 7*i + 3. Let s be w(-7). Suppose 0 = 3*c - 57 + 51. Solve -4*n - s = -c*k + 3, -2*n = -3*k + 9 for k.
3
Let i be ((-4)/2)/(-1 + 0). Let g be (2/3)/(15/(21 + 69)). Solve -4*a + l + 0*l + g = 0, 0 = -2*a + l + i for a.
1
Suppose 3 + 7 = 5*f. Suppose -6*w + f = 2*z - w, -2*w - 34 = -5*z. Suppose -2*t = -4*p - z - 8, 0 = -p - 2. Solve 2*h + 5*y + t - 17 = 0, -1 = -5*h - 4*y for h.
-3
Suppose 5*q - 31 = -2*h - 7, 2*h = -3*q + 16. Suppose q*l - 2 = 2*b, -l - 3*b = -2*l - 12. Solve 0 = -2*z + 4*j - 14, -j = -l*z + 2*j - 9 for z.
1
Let y(m) = m**3 + 6*m**2 + 2*m + 8. Let d be y(-6). Let r be ((-2)/d + -1)/(5/(-170)). Solve 4*q - 12 - 17 = -5*l, 2*q + 3*l = r for q.
1
Suppose 3*w - 1 - 4 = -2*y, -w + 4*y + 11 = 0. Suppose -u + 3*c + 4 = 0, 7*c = -w*u + 3*c - 1. Solve 2*g - 5*b + 5 = 0, 3*g + u = 2*g + b for g.
0
Suppose -3*j + 6 = -0. Let d(g) = 14*g - 2. Let o be d(j). Suppose 2*y + 0 - o = 0. Solve 2*q - 17 = -5*z, y = 4*z - z + 4*q for z.
3
Suppose -38 = -4*d + 26. Suppose -24 = -4*q - d. Solve s - 2*t = -s + 14, q*t = -6 for s.
4
Suppose 2*m + 5*y - 21 = 0, -2*m - 4*y + 17 = -5. Suppose -n + m - 10 = 0. Solve -5*l + n*x + 35 = 0, 5 = 4*l - 2*x - 21 for l.
4
Let f be 1/(-13) + 16/208 + 0. Solve 5*k = -3*p - 7, -3*k + f*k = -p - 7 for k.
1
Suppose -21 - 15 = -3*p. Solve -3*f + 2*f = 3*u + p, u + 5 = 0 for f.
3
Suppose 4*r - 58 = -0*r - b, -b - 2 = 0. Suppose 0 = -42*s + 45*s - r. Solve 0 = s*p + 5*g + 30, 10 + 2 = 4*p - 5*g for p.
-2
Suppose -4*w + 3*w = -2*w. Suppose -2*i + 79 - 69 = w. Solve -5*c + 5*b + i = 0, -1 = -b - 6 for c.
-4
Suppose -3*l = 2*l + 6*l. Solve -5*g + l*w = -w - 15, -w = -2*g + 9 for g.
2
Suppose 0 = d - 2*w - 3 - 6, -8 = 4*w. Suppose -3*n + 121 = -14. Solve 0 = -5*q - 4*r - n, -2*r = -d*q - 10 - 5 for q.
-5
Suppose 3*l + 0*n = -2*n + 2, -5*l = 3*n - 4. Solve -p + 3*t = -3, -p - l = -5*p + 2*t for p.
0
Let i(h) = -2*h**2 - 10*h - 3. Let n be i(-4). Suppose -k = 4*v - n*v, 0 = 2*k - v - 4. Solve -k*y - 4*p = 8, -5*p = 3*y - 0*p for y.
-5
Let o(x) = 2*x**3 - x + 1. Suppose 1 = y - 0. Let j be o(y). Suppose -3*u + 4*g - 20 = 0, u = -g - 3 + 8. Solve 0 = 3*r - 2*d + 23 - 9, j*r + 5*d + 3 = u for r.
-4
Let k be 5/10*12*2. Suppose 5*i = i + k. Suppose i*h - 4 = -3*q + 2*q, -h - 5*q = 8. Solve -2*u + 0*z = h*z - 2, 5*z = u + 29 for u.
-4
Let h(l) = -l - 6. Let g be h(-6). Suppose j - 5*v - 