2 = 0, i*l - 2*r + 6 = 0 for l.
0
Let n = 2 + -1. Suppose -20*f + 190 = 18*f. Solve -2*m - n = w + 3, w + 4 = -f*m for w.
-4
Suppose -2*h = -3*y - 9, -4*y - 19 = -3*h - 6. Solve t + 4*t - 16 = -h*l, 2*t = 3*l - 2 for l.
2
Let q = -133 - -126. Let k(h) = -h**3 - 5*h**2 + 12*h - 9. Let i be k(q). Solve 0 = -n + 3*n - 8, -36 = 4*a - i*n for a.
-4
Let y(s) = s**3 - 10*s**2 + 2*s - 17. Let t be y(10). Solve -3*k = -t*c + 21, 0 = 2*c - 0*c - 10 for k.
-2
Suppose -38*q + 60 = -23*q. Solve -12 = -q*r - 4*b, 2 - 4 = -3*r + 4*b for r.
2
Let n be 8/(-28) - 88/(-14). Solve 4*i + 14 = 5*c, -10 = 2*c - n*c + 2*i for c.
2
Suppose 48*j - 46*j = -128. Let w = -59 - j. Solve -w*y - 3*l - 18 = -l, 5*y + 4*l + 26 = 0 for y.
-2
Suppose -21 = -3*z + 21. Let b = -1889 - -1891. Solve 2*o - b*r - z = 0, o + 4 = -2*r - 1 for o.
3
Let i be ((-20)/2)/(1/18*-4). Suppose 0 = -i*t + 49*t - 20. Solve o + 10 = 6*o - q, -t*q - 21 = 4*o for o.
1
Let o(n) = -2*n + 17. Let h be o(-21). Let p = h - 51. Suppose 0 = -3*t - 5 + 17. Solve -2*f + 4 - p = w, t*w + 16 = -4*f for w.
-4
Let d be (-1)/(-7) - (-344)/(-7). Let v = -44 - d. Solve c = -c - 2, -v*c = 3*g - 7 for g.
4
Suppose 3*n - 6 = 0, 2 = -0*q + 2*q - 5*n. Suppose -2*v + 4*j - 2*j = 0, 2*j = v + 5. Solve -d = -2*k - q - 7, 0 = -3*k - v*d + 13 for k.
-4
Suppose -5*n - 9 = -29. Let b be (3*(-58)/261)/((1/3)/(-1)). Solve 0 = n*i + 2*v, -b*i + 0*i - 3*v + 8 = 0 for i.
-2
Let s be -18 + 17 + 0 + 0. Suppose 32 + 10 = -3*a. Let n be s + 7/(a/(-12)). Solve -2*r + 11 = y - 0*y, -5 = -n*y for r.
5
Let p be 1/(-15*(-1)/12 - 1). Solve -5*c = 2*h + 1 - p, -2*c - 4*h + 14 = 0 for c.
-1
Let s(p) be the second derivative of -p**3/2 + 35*p**2/2 + 21*p. Let b be s(11). Solve -2*z - u = b, -z + 2*z = -3*u + 9 for z.
-3
Let v be ((-4)/(-10))/(1/10). Suppose -20 = -4*a, 5*w - 2*a = 3*a - 10. Solve -2*s - v = -w*n + 3, -5*s + 2 = -n for n.
3
Let m be 1 - -3*(-4 - (-39)/9). Suppose -4*a + 2*n = -6*a + 4, 3*a = -m*n + 9. Solve 0 = -4*g - 0*g + z - 23, -2*g + a*z - 25 = 0 for g.
-5
Let j(u) = -u**2 - 21*u + 3. Let o be j(-21). Suppose 5 = o*x - 4. Let a(g) = -2*g - 1. Let s be a(-2). Solve -l = -0*m + x*m + 8, -5*m + s*l = 18 for m.
-3
Let h(j) = -18*j - 126. Let g be h(-7). Solve y = 0, g = -w - 3*w + 4*y - 8 for w.
-2
Let w(y) be the first derivative of -y + 4*y + 2 + y + y**2 + 6*y. Let n be w(-5). Solve 5 = -2*j - t, -5*t + 10 = 3*j - n*t for j.
-5
Let b be 2/(-3 + 17/5). Suppose b*q - 18 = -3. Suppose -2*x + q*x = 2. Solve 2*c = -4*k + x, -3*c + 15 = 2*c for k.
-1
Let t(d) = 3*d**2 + 5*d + 5. Let l be t(-3). Suppose -3*k - 6 = -2*b, 0 = 3*b + 5*k - 9 - 0. Solve 2*u - 4*u = -2*h - 6, u = -b*h - l for u.
-2
Let g(d) = -d**2 + 17*d + 18. Suppose 672 = n + 5*n. Suppose -n + 22 = -5*j. Let b be g(j). Solve y - 10 = -4*o - y, -5*y - 25 = b for o.
5
Suppose 4*t = -4*l + 68 + 20, 0 = 2*l - 4*t - 14. Let s = 1 + l. Suppose -w - x = -11, -5*x = w - 0*w - 3. Solve 2*d - s = 2*p - 2*d, -2*p + 3*d - w = 0 for p.
1
Let v be (18/12 + -1)/((-2)/(-16)). Let x = 11 - 9. Suppose 27 = x*m - 13. Solve -3*i + q = -q - 10, m = 5*i - v*q for i.
0
Suppose -12*n + 10*n = -206. Suppose 9*o - n = 5. Solve -4*s = -2*p, 2*s + o = -0*s - 2*p for s.
-2
Suppose 16*a - 117 = -23*a. Solve -4*g - 2 = -x, -2 = -x + a*g - 0 for x.
2
Let r(w) = w**2 - 11*w - 10. Let y be r(12). Suppose -x - 2*m + 15 = -y*x, 5*x + 96 = 3*m. Let s = 25 + x. Solve -s*f + 1 = 5*n - 3, 0 = -3*n - 2*f + 2 for n.
0
Let w = 31 + -51. Let h = w + 23. Suppose h*r + s - 1 = 5, -4*r + 24 = -4*s. Solve c - 3*z = -7, 2*c + r*z - 2 = -2*c for c.
-1
Suppose 3 = 3*x, 2*x = -2*k + 6*x. Let r = -20 - -20. Suppose 5*b = 5*p, 15 = -r*b + b + 4*p. Solve 0 = 2*s - k, b*c + s = -c - 7 for c.
-2
Suppose 4*o = 9*o. Suppose o*z + 6*z = 30. Solve 2*d + 6*j = 2*j - 8, 2*d - z*j = 28 for d.
4
Let p(v) = v**3 - 3*v**2 + 5*v - 6. Let b be p(3). Suppose 0*o - b = -3*o. Solve 4*m = 3*h + 9 + 2, -3 = o*m for h.
-5
Let w(p) = -2*p - 20. Let o be w(-11). Let v be -2*(5/2 - 3)*o. Suppose -2*a + 2*m + 29 = -1, 39 = 3*a + 3*m. Solve 3*k + l = v*k - 3, -2*k = -2*l + a for k.
-5
Suppose 0 = -5*k + 25, -6*k - 35 = -5*d - k. Let y = d - 11. Suppose m + y = 3*m - f, 0 = 2*m + 5*f - 19. Solve 0 = -m*c + 5*a - 31, -4*a + 2 + 6 = 4*c for c.
-3
Let t = 86 + -82. Suppose t*f = f. Solve 5*s = 4*u + 33, -4*u - 5*s + 17 = -f*s for u.
-2
Let s be 1 - (-3 - (-10)/(-2)). Let v be (1/2)/(s/36). Solve -3*u - 2 = 4, -u + 8 = -v*g for g.
-5
Let c be -2*18/(-1) + 3. Let a = c + -13. Suppose -6 = 4*r - a. Solve -j + 3*z = 5*z - r, 3*j = 3*z - 3 for j.
1
Let r(i) = 5*i**2 + 7*i + 16. Let k be r(-2). Solve -x = -2*h + 3*h + 1, 4*h + k = 5*x for h.
-3
Suppose -5*k - 12*h + 11*h + 20 = 0, 0 = 2*k - 4*h - 30. Let u be (5/(-3))/(-5)*9. Solve r + u*c + 5 = 0, 3*c - 6 = k*r + 1 for r.
-2
Let c be 3 + (5 - (-5 + 9)). Solve 5*p + c*q = 3*p - 12, 5*p + 2*q = 10 for p.
4
Suppose 5*f - 3*d - 31 = -0*d, 5*f = -3*d + 19. Suppose f*k + 2*k = 21. Solve k*b - w = 5, -2*w = -b - 7*w + 7 for b.
2
Let y = -14 + 18. Suppose -y*a = -2*a - 8. Let z = -2 - -4. Solve -a*f = 4, 0 = -0*v + 5*v - z*f - 27 for v.
5
Let m = 62 - 52. Solve 4*o + 4*v - v = 18, 5*v = m for o.
3
Let b be (4 - 7)/((-27)/18). Solve -18 = 2*z + 3*x, -z + 2*x + 3 = -b for z.
-3
Let v = 279 + -275. Solve -s = v*x, x = s + 2*s + 13 for x.
1
Suppose a - 4*n = -n, 3*a + 4*n = 13. Suppose 0 = -a*t + 3 + 3. Solve 0 = -4*d - 3*u + 6*u + 11, t*d - 2*u = 8 for d.
-1
Suppose 7 + 23 = -3*o. Let m(z) = z**3 + 10*z**2 + z + 12. Let t be m(o). Suppose 0 = -t*g + 6. Solve -7 = -g*s + 4*p, -p - 5 = s + 2 for s.
-3
Let i = 50 - 49. Suppose 4*x + i = 5*x, -2*m = 3*x - 23. Solve m = -5*o - 5*a - 0, -2 = a for o.
0
Let p be (-4)/6 - (-360)/54. Solve 4*x = 2*y - p, -4*x - 10*y + 8*y + 14 = 0 for x.
1
Suppose -4*a = -3 - 137. Let y = a + -35. Let c be (6/4)/(9/12). Solve -g + y*q = -2*q - 2, -3*q + 11 = c*g for g.
4
Suppose 2*t = -0*t + 4. Suppose 0*o = -o - 2*z - 13, t*z + 6 = 0. Let f be 4 - (0 + 7) - o. Solve -3*i - 2*v + 4 = 0, f = 2*i - i + 2*v for i.
0
Let f(x) be the third derivative of x**5/20 - 5*x**4/6 + 4*x**3/3 - 9*x**2. Let c be f(7). Solve 0 = -4*g + 2*l - 0*l - 10, c = -3*g - l for g.
-4
Suppose 1 - 3 = -2*f. Let c = f - -3. Suppose y + y = c. Solve -5*m + y*x = -27, 9*x - 20 = -5*m + 4*x for m.
5
Suppose 46*s - 14*s - 64 = 0. Solve -3*o + 2*z + 6 = 0, -s*o - z - 2 = -6 for o.
2
Suppose 10*k + 4 - 24 = 0. Solve k*z + 2*l = -6, 4*z = 8*z - 4*l + 20 for z.
-4
Let w be 24/(-32) + (-57)/(-12). Let i(l) = l**3 - 4*l**2 + l - 2. Let z be i(w). Solve 2*b - 5 = 5*p - z*p, -5 = p - 4*b for p.
-1
Let f(j) = -4*j**3 - j**2 + 2*j + 2. Let a be f(-1). Suppose t - 2*t + 15 = 0. Let c = t + 5. Solve 3*k - 32 = 5*s, a*s + 4 = 3*k - c for s.
-4
Suppose -2*p = -4*c - 40, 0 = -p - 3*c - 2 + 7. Solve -4*b - 17 = -3*a + p, -b - 24 = -4*a for b.
-4
Suppose -11*c + 162 - 118 = 0. Solve f - 8 = c*f - 5*g, -4*g = -4*f for f.
4
Let r(b) = -339*b + 3053. Let o be r(9). Let j be (-3)/(-1)*6/9. Solve 0 = o*f + 2*m + 4, -j*f - 5*m = -0*f + 1 for f.
-3
Let k be 12*9/6*1. Suppose -k = -f - 3. Let m = -11 + f. Solve 0 = -3*x - t - 2 - 3, -x = -m*t + 19 for x.
-3
Let i(a) be the first derivative of a**2/2 - 3*a + 6. Let u be i(3). Suppose 8*d - 10*d + 8 = u. Solve -d*q + 2*t = -14, -3*t = -6*t - 9 for q.
2
Let v(z) = z**3 + 7*z**2 - 2*z - 9. Let r be v(-7). Suppose -r*x + 48 = -x. Solve 3*l + w + 3*w = x, -16 = -4*l + w for l.
4
Let l = 386 + -384. Solve -4*k - 20 = 0, -h + 5 = l*h + 2*k for h.
5
Let u be (-2)/5*15/12*-8. Let o be u/10 - (1 + (-112)/20). Suppose -7*j + 2*j = -15. Solve o*c + 4*p + 5 = 0, -4*c + p - 1 = j for c.
-1
Suppose -55 = -9*t + 4*t. Let u = 15 - t. Solve 3 = -4*p - 0*l - 3*l, 17 = -p - u*l for p.
3
Suppose 31 = -v - 0*v. Let x = -27 - v. Solve -2*r = r + 2*y - 11, x*y = 3*r + 13 for r.
1
Let b be 4 + ((-2)/1 - 0). Solve 0 = 4*f + y - 15, y + y = -f + b for f.
4
Suppose -7*o - 11 = -2*k - 10*o, -o = 1. Suppose -2*i + 2*g = -52, 3*i - 4*g + 80 = k*i. Solve -4*m - 22 = -0*m - 2*n, -2*m - i = -5*n for m.
-4
Let t be (-24)/56 - (-1185)/21. Let a = t + -32. Solve 5*u = 5*b + 30, -2*u - a = 4*b - 6 for b.
-5
Suppose 8*y = 3*y + 10. Let z be (-25*(-8)/40)/(y/2). Solve 0 = z*k - 5*w - 20, 2*k + 2*w = k - 11 for k.
-1
Let p(u) = -2 - 3*u