5*d + z for l.
5
Let w(b) = 11*b - 4. Let j be w(1). Solve 3*d - 18 = 4*a + j, -5*a = 20 for d.
3
Suppose 5*h - 17 = i, 0 = 3*i - i - 6. Solve 3*v - 27 = 3*a, 4*v - 3*v - 24 = h*a for v.
4
Suppose 0 = 3*c - 3*y - 6, 0 = -4*y - 1 + 21. Suppose 3 = 4*i + x, 2*i - 3*x = c*i + 5. Solve 0 = i*r - 3*b - 18, 5*b - 2 + 34 = 4*r for r.
3
Let y(s) = -s**2 - 17*s - 64. Let o be y(-6). Solve -5 + 11 = o*p - 2*u, 4*p - 2*u = 16 for p.
5
Suppose 0*s - 6 = -s. Let d be ((-8)/(-6))/(s/(-27)). Let w(p) = p**2 + 2*p - 4. Let z be w(d). Solve -4*j - 2*h = 2*h + z, 1 = -j + h for j.
-3
Let x be -6*(-4)/8 + 6. Solve x = 5*p - 3*u, -25 = p - 6*p - 5*u for p.
3
Let l(w) = -w**3 - 13*w**2 - 11*w + 15. Let y be l(-12). Solve 0 = -4*m + 3*b + y, -2*m + 5*b = -0*m + 9 for m.
3
Suppose 0 = 5*m - 4*r - 4, 2*m = 3*r + r - 8. Solve -4*l = -2*o - 18, -m*l - o + 22 = 7 for l.
4
Let n = -37 + 61. Suppose -t - 12 = -0*t - 4*i, 4*i - n = -2*t. Solve 10 = 2*m + 2*k, 0*m = 3*m + t*k - 20 for m.
0
Let s = 47 + -5. Suppose 4*l - 3*d - 36 = -d, -4*l = d - s. Solve -y + 3*g = 2, -3*y - 5*g - l = 2*y for y.
-2
Let p be 4/(-6) - 33/(-9). Suppose 2*t + p*t = 25. Suppose -2*r = -3*a - 6, t*r = -4*a - 6 - 2. Solve 5*h = 3*u - 4*u + 14, r = 2*u - 5*h + 17 for u.
-1
Let u = -3 + 7. Suppose -3*z + 17 = u*t - 26, -4*t = -3*z + 35. Let f be (-102)/(-14) - (-2)/(-7). Solve 0 = -3*r + 5*j - j - f, 4*j = r + z for r.
3
Let s(q) = -6*q + 7. Let c be s(-8). Let b be c/10 + 6/(-4). Solve -2*p = 4*m + 24, 3*p = b*m - m for p.
-4
Suppose 21 = 2*l + l. Let u(r) = r - 3. Let s be u(l). Suppose s + 4 = -4*o - 5*i, 0 = -3*i - 12. Solve -4*z + 4*a - 8 = 0, -4*a = -o*z - 9*a + 2 for z.
-1
Suppose v + 18 = 4*q - v, -4*v = -4*q + 20. Suppose -q*u + 36 = 3*w, 4*w = 10 + 6. Solve -2*s - 4*c = -0*c - u, c - 5 = -4*s for s.
1
Let b(n) = n**3 + n**2 + n. Let l be b(0). Suppose -6*o + 9*o - 3 = l. Let w = 1 - o. Solve 0 = -d - 5*c - w*c + 18, 2 = -3*d - c for d.
-2
Let b be (6/15 + (-1)/(-10))*12. Solve -b*y - o = -2*y - 11, -2*o + 13 = 5*y for y.
3
Suppose 4*y - 9 + 1 = 0. Solve -2*a + y*k - 2 = -10, k - 20 = -5*a for a.
4
Let n(c) = -c - 2. Let o be n(-10). Let d be 0 + 1 + -3 + 4. Let a(u) = -u**3 - 8*u**2 - 8*u - 7. Let t be a(-7). Solve d*q + o = 0, -5*v + t*q + 5*q = 5 for v.
-5
Let n(s) = -2*s - 27. Let w be n(-15). Solve i - 3*m + 1 = 14, -w = i + m for i.
1
Suppose -84 = -3*k - 0*k. Suppose -4*s - k = -0*s + 4*f, -5*s - 3*f = 33. Let p be (-4)/s + 24/18. Solve 0 = -m - 4*m + p*i - 15, 4*i = -20 for m.
-5
Let t(q) = -8*q - 4. Let h be t(-2). Let j be 66/14 + h/42. Solve 0 = 4*a + j*v - 30, 5*a - 17 = 4*v - 0*v for a.
5
Suppose 36 = -2*s + m, 0 = -2*s + 4*m - 23 - 1. Let k be s/(-6) + (-2)/(-3). Let l be (-2 + 2)/(-3 + k). Solve 1 = w - 3*b, -w + 4*b - 3*b + 3 = l for w.
4
Let c be ((-52)/(-44) - (-2)/(-11)) + 0. Solve 0 = 4*j - w - c - 5, 14 = 4*j - 5*w for j.
1
Let h(i) = i - 1. Let c be h(4). Suppose 0*u - 1 = -u. Suppose -2*o = -u - c. Solve -5*f = -4*w, -o*f - f = -5*w for f.
0
Let r be -4*(-2)/(16/60). Solve 5*b - 5*k = r, -4*b + 2*k = -18 + 2 for b.
2
Suppose 0*v = v - 2. Let d = 13 - 8. Suppose 0 = -j + d*q - 8, 4*j = 2*j + v*q + 24. Solve 2*p + 7*g - 27 = 2*g, -j = 3*p - 4*g for p.
1
Let z = -39 + 42. Suppose 20 + 0 = 5*p. Suppose c = -s + 1, 0*c + 8 = p*s + z*c. Solve -v - 5 = 4*v - a, -2*v - s*a = -25 for v.
0
Let j(w) = w**3 - 7*w**2 + 14*w - 10. Let y be j(5). Solve 4*d - 5*d + 4*g + 18 = 0, 5*d + y = -5*g for d.
2
Let f(l) = l - 2. Let b be f(5). Solve 2*u - 2*m = 7*u + 2, -m - 1 = b*u for u.
0
Let t(c) = -c**3 + 20*c**2 + 20*c + 21. Let j be t(21). Solve -2*w + 2*m + 8 = j, -m + 9 = 2*w - 4*m for w.
3
Let s = 41 - 39. Suppose n - 2*n + 3 = 0. Suppose -n = 2*r - 11. Solve h - 4*x - 1 = -r, -s*h - 3*x = 6 for h.
-3
Let o(f) be the second derivative of f**5/20 - 2*f**3/3 + 3*f**2/2 - 8*f. Let d be o(2). Solve 0*x + 5*k = 2*x + 15, 3*k - d = 0 for x.
-5
Suppose -9 = -3*c - 0. Solve 0 = 2*o - 2*b + 5 + 9, c*b = o + 13 for o.
-4
Let m be (57/12)/(4/16). Solve -3*i + 3 = -2*l + 5*l, i + m = 4*l for i.
-3
Let b be 4/12 - (-3)/(-9). Suppose -5*j + b*j + 35 = 0. Solve 5*v - 28 = 4*s + j, 5*s = -3*v - 16 for v.
3
Suppose 0 = -2*w - o, -o = -5*w + 2*o - 22. Let j = 3 - w. Solve 4*d - 4*s = -3*s - 5, -2*d + 11 = -j*s for d.
-2
Let a = -24 - -37. Suppose -4*t = -m - a, 2*t - t = -5*m - 23. Suppose 0 = v - 2*j + j - 4, -3*v - 4*j = t. Solve s + 10 = 3*p, -v*s - s = 2*p + 8 for p.
2
Suppose -5*k = -2*v - 20, -2*v - 2 = 2*k + 2*k. Let t(u) = u**3 - 3*u**2 - u + 3. Let j be t(3). Solve -x + f - 1 = j, -k*f + 2 = 2*x + x for x.
0
Suppose 6 = 5*p - 4*p. Suppose -p = -n - n. Solve -2*u - 5*w + 6 = 0, -2*u - 3 = -3*u - n*w for u.
3
Let w = 20 - 32. Let n = w - -16. Solve -5*s - n*i - 18 = 7, 2*s + 5*i = -27 for s.
-1
Suppose -7*p + 37 = -2*p - 3*s, -3*s - 29 = -4*p. Let d = 27 + -27. Solve 5*v = c - 3*c - p, -2*c - v = d for c.
1
Suppose -t + 7 = 3*h - 2*t, 2*h + 3*t - 23 = 0. Solve 0 = h*u - d + 3, 5*u + 4*d - 3*d - 3 = 0 for u.
0
Let r = -5 + 8. Let q be 0 - -1*(1 - -14). Suppose s - q = 2*z, -r*s + 7*s = z + 39. Solve -10 = -2*o, 2*k - o + s = -2 for k.
-3
Let k = -22 - -26. Solve 0 = g - 3*g - d + k, 8 = -g - 3*d for g.
4
Let u = 16 + -11. Suppose 0 = 3*j - 27 - 30. Let i(g) = g - 4. Let l be i(4). Solve -r + 3 = -w - 4, l = -u*w + r - j for w.
-3
Let i be 2 + ((-6)/2 - -4). Suppose -10 - 10 = -4*a. Solve t - 3*t + i*y = 5, 0 = -5*t - a*y + 50 for t.
5
Let i be (-46)/(-3) + 2/(-6). Suppose -3*b = 2*b - i. Suppose 1 + 17 = b*p. Solve 0 = j + 2 - 0, -j + p = -2*o for o.
-4
Let a(r) be the third derivative of -r**4/24 - r**3/2 + r**2. Let p be a(-4). Let n be (p - 0)/((-1)/(-9)). Solve -2*m - 6 = -k, 3*m - k = -2*m - n for m.
-1
Let g = 7 + -5. Let m be (-4)/(g + 0 + -4). Solve 4*a + m*q - 4 = 2, q - 9 = 4*a for a.
-1
Suppose -5*f = 3*t - 96 + 10, 0 = -2*f + 8. Let j = t - 18. Solve 0*q - 20 = j*q + 3*p, 4*q + 12 = -p for q.
-2
Suppose -28*j + 35*j = 35. Solve 5*a + 5 = j*w, 2*w - 16 = -3*a - 4 for a.
2
Suppose -16 = -5*z + 4. Let j be ((-10)/(-6))/(z/(-36)). Let v be (3 + -2)/((-1)/j). Solve u - v = 5*r, u - 4*r - 11 - 1 = 0 for u.
0
Let r = -66 + 70. Solve 0 = 5*s + f, 5*f + 24 + r = 3*s for s.
1
Suppose -s - 2 = 35. Let y = -26 - s. Let k = -6 + y. Solve 5*g = -3*i - 8, -3*i + k*i = 2*g + 16 for i.
4
Let s(l) = -2*l + 2. Let k be s(1). Solve k = 2*y + 3*b + 10, 0 = y + 2*y + b + 1 for y.
1
Let w = -202 + 207. Let c = 13 + -2. Solve w*p = 25, 4 = -2*f - p + c for f.
1
Let f = -11 - -13. Solve -5*a - 2*s + 15 = 0, 5 = a - s + f for a.
3
Suppose -2*m + 5 = -3*m + g, -2*m - 4*g + 20 = 0. Solve m = f + 2*o - 3 + 6, 3*f = -2*o - 1 for f.
1
Let x(t) = -2*t + 27. Let n be x(11). Solve 2*s + 14 = -n*d, d = 3*s + 2*d + 8 for s.
-2
Suppose 0*h + 5*o - 27 = -3*h, 3*h - 2*o - 6 = 0. Solve 2*z - 4 = -5*g, 2*z - 5*g - 8 + h = 0 for z.
2
Let b be (-14)/3*(0 - -9). Let k = -30 - b. Solve -k = -4*g + r, g - 3*g + 12 = -2*r for g.
2
Let u be (-1)/((-3)/12*2). Solve 0 = r + u*r - 4*p - 13, -2*r - p = 6 for r.
-1
Let t(m) = m**2 - m - 12. Let s be t(0). Let x = 19 + s. Solve 5*h - z + 0*z + 11 = 0, 2*h + x = 3*z for h.
-2
Let b be -3 - (-19 + (2 - -1)). Solve -2*f + 7 = -2*w + 3*f, -w - 3*f = -b for w.
4
Suppose 5 = v - 6. Let n be (-2)/11 - 13/(-11). Suppose 5*z + n = v. Solve -z*s = 3*g - 5*s + 27, 3*g - 3 = -3*s for g.
-4
Let v be (-1)/(-3)*0 - -2*1. Solve 2*l + 8 = -v*l - 4*b, 2*l - 4*b = -4 for l.
-2
Let u = 5 - 3. Suppose b + 0*b = 3. Suppose 0 = -2*q + 11 - b. Solve 0 = u*r + 3*t - 13, -q*r + 6*r + 2*t - 12 = 0 for r.
5
Let k = 17 - 10. Let s = k - -20. Let p be 102/s - 4/(-18). Solve n - 3*q = 10, 4*n + 5*q + 24 + p = 0 for n.
-2
Suppose -3*w = -g + 71, 93 = 3*g + 2*w - 76. Suppose 4*q - g = 33. Let t be (q + 0)*(-3)/(-3). Solve -2*i - 3*i - 3*v = t, -i = 4*v + 8 for i.
-4
Let b be ((-4)/(-6))/((-6)/(-9)). Suppose -f + 25 = 5*r, 0*f - 3*r = -f + b. Solve 0*y + y + 18 = 4*k, f = 2*k - y for k.
4
Suppose -3*q = 10 - 22. Solve 5*z - 4*c = -0*c - 6, -c = -4*z + q for z.
2
Suppose -2*f - 2 + 8 = 0. Let h = f + 2. Solve 0 = -5*k + h*t + 30, 0 = -4*k + 6*k - t - 8 for k.
2
Suppose -5*p - 5 + 30 = 0. Suppose 2*s = -3*s + 75. Solve 3*d + 5*l = -s - p, l = 3*d - 4 for d.
0
Let d = 21 + -13. Solve -2*u + d = 0, -2*m - u + 8 = u fo