n*d + 2 for v.
3
Let y be (-11 - (-1544)/104) + (-2)/(-13). Solve w - p = 2, 8*w - 3*p = y*w + 10 for w.
4
Let u = 374 + -370. Solve u*t + t - 3*w = 3, -4*t = w + 1 for t.
0
Suppose 4 = 4*p, p + p = -g + 56. Let h = 63 - g. Solve -5*q + h = 24, 5*k = 5*q + 25 for k.
2
Suppose -24 = -7*d + 11. Suppose 2*h = -2*o + 6, d*o + 0*h - 3*h = 31. Solve -x - o*w + 13 = 3*x, w - 5 = -2*x for x.
2
Suppose 0 = -342*u + 365*u - 598. Solve 3*i - 7*i - 2*a = u, -24 = 3*i + 3*a for i.
-5
Let n(w) = -w**2 - 14*w + 95. Let v be n(-19). Solve -5*p + 20 = v, 5*u + 7*p = 11*p - 26 for u.
-2
Suppose -2*q - 4*q + 30 = 0. Solve 3*z - 5 - 5 = -2*b, 5*b + q*z = 25 for b.
5
Let a be 7*(-13)/(273/(-270)). Let t = -90 + a. Solve -b - 1 = s - 5, t = -5*b for s.
4
Let o = -24 - -29. Suppose -5*v + o*c + 54 = -41, 2*c = -4*v + 76. Solve 5*z + w - 3*w + v = 0, 5*z + 9 = -3*w for z.
-3
Let o be 1 - -1 - (-13)/((-52)/(-32)). Suppose -8*z = -o*z + 6. Solve -z = 4*g - s, 3*g - 3*s = -1 - 8 for g.
0
Let r(x) = -3*x**2 - 2*x + 1 + 4*x**2 + 4*x**2. Let i be r(2). Let n = i + -17. Solve -5*q + 2*w + 23 = n, -3*w = -4*q - 2*w + 19 for q.
5
Let p(s) = 3*s**3 - 26*s**2 - 9*s + 2. Let c be p(9). Solve 5*z - 25 = 3*o, c*o + 2*z + 2*z + 2 = 0 for o.
-5
Let a(o) = o**2 - 7*o - 1. Suppose -d = 2*d - 21. Let j be a(d). Let r be (0 + 2 + -2)/j. Solve 4*b + 3*q - 6 = 2*b, r = -b + 4*q - 19 for b.
-3
Let z = -19 - -38. Let v = -14 + z. Solve -3*a - v*k = -13, -2*a - 3 = 4*k - 3*k for a.
-4
Suppose -5*a + 2*b + 75 = 0, 4*a + 3*b = -0*b + 37. Suppose 0 = -5*f - 25, 3*i + 4*f + 46 = 32. Solve a = y + 4*u, 0*y + i*y - u + 1 = 0 for y.
1
Suppose -7 = -3*x - j - 5, 4*j + 4 = 0. Solve 0 = -3*b - 2*r - 2, -x = 3*r - 2*r for b.
0
Suppose g = 13*g + 60. Let j(n) be the third derivative of n**5/60 + 5*n**4/24 + n**3/6 + 2*n**2. Let y be j(g). Solve y = 2*b - 4*w - 25, -3*b = 2*w + 1 for b.
3
Suppose 0 = 2*r + 2*s - 16, 5*r - 12*s = -8*s + 40. Solve -4*p = 4*v + 8, 4*p = -r*v + 11*v - 1 for p.
-1
Let f be 1*-4 + 16/(-1). Let n be -3*(f/(-12) + -3). Suppose 2*p + 22 = 5*p - 4*h, -n*p + 12 = -h. Solve -3*l - 2*l = t + 17, 4*l + p*t + 10 = 0 for l.
-4
Let p be (3/(-15)*38)/(42/(-105)). Solve 0*f + 3*l = -2*f - p, 4*f - l = -3 for f.
-2
Suppose 6*j - 277 = -175. Solve 0 = 3*u - u - 4*m + 14, -3*u = -5*m + j for u.
1
Suppose -59 - 213 = 8*h. Let w = -32 - h. Solve 0 = -5*b + p + 5, 4*b - w*b - 4*p - 20 = 0 for b.
0
Suppose 5*p - 2*y = 8, -p + y = -3 + 2. Let m be p + (3 - 2) - 21. Let a = -14 - m. Solve 2*b - 4 = 3*c, -11 = b + a*c + 9 for b.
-4
Let v(q) = -q**3 + 5*q**2 + 5*q + 9. Let a be v(7). Let p = a - -75. Let n be (3/(-2))/(2/(-4)). Solve 5*g - p = -n*x + x, 12 = 5*x - g for x.
3
Suppose 0 = -4*m + 5*m + 1. Let t be (4/(-16))/(m/16). Solve -4*q = 2*y - t, -4*q = -8*q + 8 for y.
-2
Let n = -1788 - -1792. Solve 5*r = 3*j + 30, 15 = r + n*r for j.
-5
Let b(i) = 3*i - 12. Let g be b(5). Let u be 22/66 + (-1)/((-3)/8). Solve 5*a = 2*o + 8, 0 = -0*o + u*o - g for a.
2
Let i = -76 - -78. Suppose 0*m - 2 = -2*m. Let g be i + -1 + (2 - m). Solve 16 = 3*w + 2*b, -3 = -b + g for w.
2
Suppose -4*i + 230 = -3*o, 4*i + o + 0*o = 222. Suppose 5*a - i - 49 = 0. Let r = 30 - a. Solve 5*b = 4*p - r, 0*b = -p - 2*b - 1 for p.
1
Let o = -725 + 729. Solve -3*g + 2 = -2*d - 0*d, o*g = -3*d + 31 for d.
5
Let y(b) be the first derivative of b**2 - 2*b - 14. Suppose -5*l = -6 - 9. Let i be y(l). Solve 0 = -4*o + i*x + 8, -3 = -5*o + 4*x + 2 for o.
-3
Suppose -16 - 4 = -4*o. Suppose 0 = 2*g + o*i - 1, i + 0*i + 31 = 2*g. Let s be (g/2)/((-4)/(-8)). Solve -4*d - 2*q - q - s = 0, q = 3*d for d.
-1
Let r(z) be the third derivative of z**5/20 - 5*z**4/24 - 4*z**3/3 - 27*z**2. Let j be r(4). Solve 4*y + 2*l + 4 = -3*l, 0 = 5*l + j for y.
4
Suppose 0 = 4*r - 65 + 1. Suppose -2*y + 7*c - 9*c = -8, 0 = -5*y - c + r. Solve 3*a = -0*a - 9, 3*t = 3*a - y for t.
-4
Let h(u) = 2*u + 38. Let c be h(8). Let g = c - 54. Solve g = -2*m - 2*b - 2, 4*m - 2*m - 12 = 5*b for m.
1
Let u = -2 - -7. Suppose m = 5*z - 26, m = -u*z + 18 + 6. Let w be z/(2 - (0 + 1)). Solve 5*f - 15 = 0, 14 + 2 = -w*x + 2*f for x.
-2
Suppose 3*g = -y + 1 - 0, -2*g + 18 = 5*y. Suppose -5*d - y*h - h + 120 = 0, -2*h = 8. Let k = 61 + -52. Solve w + k = -x, 2*w + x = -3*x - d for w.
-4
Let c be (4 + 3 - 4) + 12. Let o = c - 14. Let n be ((-1)/o)/((-1)/3). Solve 0 = q + 5*g + 11, 2*g - g + 5 = -n*q for q.
-1
Let f be 6/54 + 62/9. Solve -4*t + 10 = -s - 12, s + f = t for t.
5
Suppose -2*z - 39 - 17 = -4*n, 44 = 4*n - 5*z. Suppose 4*y + 0 = n. Solve -2*t - 14 = y*d, 0 = -4*d + 3*d - 5 for t.
3
Let z(f) = f**2 + 5*f + 6. Let m be z(-4). Let x be m/11 + (-336)/(-88). Solve -5*r - x*t = 33, -3*r + 2*r - 4*t - 13 = 0 for r.
-5
Suppose 4*g + 2*l = 0, 3*g = 7*g + 5*l + 6. Let c(v) = -g - 1 - 1 - v. Let m be c(-6). Solve b - 3*f = -f - 6, -m*b - 10 = 2*f for b.
-4
Let o = 16 - -11. Suppose 0 = -l + 2*k - 6, -2*k - 2 - 8 = -5*l. Solve -5*h + 5*n = 25, 10 - o = l*h - n for h.
-4
Suppose 6*y = 4*y + 10. Suppose y - 60 = -5*d. Suppose 2*a + 3 = d. Solve 16 = -2*f - 4*n, -a*n - 17 = 4*f + n for f.
2
Suppose -4*n - n = -15. Suppose 0 = 3*j - 7*j - n*m + 19, -j = -2*m - 2. Solve 6*z - 2*t - 16 = 2*z, j*t - 4 = -4*z for z.
3
Suppose -2*p + 0*p - 3 = -5*k, 4*k = p + 6. Suppose 0 = -3*w + p*w - 63. Suppose -w = -2*q - 7. Solve 2*f + 3*r + 1 = 0, -2*f + 4*r - q = 15 for f.
-5
Let x = 432 - 429. Solve -o = 3*v + 3, -x*o - 10 = -1 for v.
0
Suppose 7*j - 20*j - 2*j = 0. Solve -4*x + 5*a = -0*a + 16, j = 4*x - a + 16 for x.
-4
Suppose -133 = -5*l - 2*l. Suppose 0 = -l*i + 9 + 29. Solve 3*b - 13 = i*j, 2 = -4*j - 2*b - 0 for j.
-2
Let s(t) = -t**2 - 2*t - 4. Let f be s(-8). Let d be 96/f + 6/(-39). Let u be -2*d/(-4)*-3. Solve 0 = u*h + a - 1 - 11, 0 = 4*h + 2*a - 14 for h.
5
Let i = 37 + -28. Let y = -6 + i. Suppose -y*v = -4 - 8. Solve -4*s = v*x + 36, -2*s - 9 = x + 5 for s.
-5
Let b(i) = -i**2 - 5*i + 4. Let w be b(-2). Solve w = 2*r + s, 4*r = 2*r + 2*s + 10 for r.
5
Let t(d) = d + 6. Let q = -12 - -5. Let l be t(q). Let w = 2 - l. Solve -5 = -v + a, v - 4*a - 2 - w = 0 for v.
5
Suppose -2*y - 8 = 0, -4*m = 7*y - 9*y - 16. Solve -p - 4*i + 15 = m, -7 = p - i for p.
-3
Let j(u) = u**3 - 13*u**2 - 29*u. Let c be j(15). Solve l = -q, c = 2*l - 0*q - q for l.
5
Let n(m) = -m**3 - 8*m**2 - 2*m - 12. Suppose 2*s + 0*s = -u - 17, 12 = 4*s. Let t = u + 15. Let c be n(t). Solve -5*b = 2*w + 3, 3*w - 1 = -c*b - 2 for w.
1
Let z be (-18)/5*(-20)/6. Let c = 12 - z. Suppose -v = -c - 2. Solve 5*r + 4 = 6*r + 3*f, -v*r + 3*f = 1 for r.
1
Let b = 98 + -66. Suppose -3*m + b = -m. Let g = -12 + m. Solve 6 = -3*i + 3*f - g*f, 3*i + 9 = -2*f for i.
-1
Suppose -3*x + 1 = -5. Let v be 24/30*(-5)/x. Let s be 1*v - (-8 - -2). Solve 3*z + 16 = 6*z - s*w, 2*w = -8 for z.
0
Suppose 5*z - c + 3*c - 10 = 0, 2*z + 4*c - 4 = 0. Solve -z*i + b - 12 = 0, 0*i = -3*i + 3*b - 24 for i.
-4
Suppose 49 - 65 = -4*i. Suppose 0 = 2*t - 8, -5*h = -2*t - 3*t + 10. Let v = h + 0. Solve v*u - i*m = -0*u - 14, -4*u = 5*m + 2 for u.
-3
Suppose 5*p = 0, -12 = -2*x - 2*x - 5*p. Solve 5*q + 4*b = q - 8, x = -4*q - 3*b for q.
3
Suppose 0 = 4*j - 3*x - 188, -3*j + 16*x - 19*x + 120 = 0. Suppose 0*s - 20 = -4*s. Solve 29 = -5*t - 2*r, -5*t - s*r - j = -9 for t.
-5
Let d(s) = 14*s**2 - 2*s + 1. Let r be d(1). Let f = 17 - r. Let p be 16 + -1 + -1 + f. Solve 5*m + 25 = -b, 4*b + 2*m + 10 = -p for b.
-5
Suppose 207 = -12*a + 231. Solve -3*x - 2*w = 3*w + 10, -x + w + a = 0 for x.
0
Let n = 4 + -4. Let b(q) = 2*q**2 + 2*q - 3. Let z be b(2). Suppose v + 3*v = u + 16, 5*u + 8 = -4*v. Solve -3*l - v*y + 6*y + z = n, -3*y - 21 = 3*l for l.
-2
Let z(p) = -11*p + 345. Let u be z(31). Solve -6*x + 4*x + 13 = d, 3*d - 29 = -u*x for x.
5
Let c(w) be the first derivative of w**4/4 + w**3/3 + w**2/2 - 4*w + 5. Let t be c(2). Solve -r - 4 = d, -r - 4*d - t = -0*r for r.
-2
Let x(s) = -3*s + 19. Let y be x(6). Let v(h) = 3*h + 1. Let f be v(y). Solve -8 = 3*m + f*p - 0, -3*p + 5 = 5*m for m.
4
Suppose 0 = 2*d + 28 - 14. Let m(p) = p**3 + 9*p**2 + 11*p - 21. Let q be m(d). Solve h = -4*z + 5*h - 36, 4*z + 2*h + 6 = q for z.
-4
Let j = 10 + -8. Let v(t) = -7*t**j - t**3 + 3*t**3 + 6*t - t**3 + 3. Let w be v(6). Solve 2*d - g + 1 = 2, -3*g = -w for d.
1
Let u = -