*b for z.
3
Let v(w) = -w**2 - 11*w - 13. Let u be v(-9). Suppose -4*d + 9 = -5*a - 12, 4*a - 57 = -u*d. Solve -3*x = -2*x - p - 7, 0 = -x - 3*p - d for x.
3
Suppose 14*w = -24 + 66. Solve -p = -w*j - 10, 0*j - 2*p + 17 = -5*j for j.
-3
Let u(w) = w + 5. Let m be u(5). Let r = 23 + -51. Let t be r/(-8)*(-8)/(-14). Solve 4*v = t*b + m, -2 + 1 = -4*v - b for v.
1
Suppose 5*g - 2*g - 2 = -4*v, 4*g = v + 9. Let z(l) = -1 - g - 3 - 1 + 6*l. Let y be z(4). Solve -5*t + y = -2*q, 2*q = 6*q + 4 for t.
3
Suppose 13 = -6*i + 277. Let x = i + -42. Solve -4*l = -5*k - 5*l - 12, 4*k + x*l + 12 = 0 for k.
-2
Let t be 2/((-2)/(0 - 62)). Suppose -2*v - 22 = -i - 3*v, 2*v = -3*i + t. Solve 3*z + i = -0*z + 3*h, 2*h = 4 for z.
-4
Suppose -34*a = -47*a. Solve 3*o + 4*v - 21 = -0*o, 5*o + v - 18 = a for o.
3
Let n = -42 + 47. Solve -n*b + 5*u - 1 = u, 4*u + 7 = -3*b for b.
-1
Let c = 138 - 136. Suppose -n - 2*f + 2 = 0, 4*n - f - 54 + 19 = 0. Solve s + 1 = 2*z, -c*z + n = s + 1 for s.
3
Let o be 0 - (4/2 + -9). Let l(h) = -h**2 - h + 5. Let g be l(4). Let m = 19 + g. Solve -3*k + 5*k = -f + o, -m*f - 5*k + 16 = 0 for f.
-1
Let k be -3 - 33/44*-8. Solve 15 = 2*f - 5*h, k*f - 4*h - 30 = -11 for f.
5
Suppose 3*l = 5*l + 2*l. Suppose l = 4*n + 5 - 13. Solve -2*v + 3*z - 10 = -0, 5*z - 10 = n*v for v.
-5
Let w = -7 + 17. Let v be (-12)/(-15) - (-22)/w. Suppose 2*k - 20 = -v*k. Solve 3*i = -4*d - 17, 9 = 3*d + k*i - 9*i for d.
-2
Let v be (3/2)/(3/2). Let d(u) = 16*u. Let x be d(v). Let p be 1/(-3) + x/3. Solve -4*b - 6 = -2*w, -p*w = 2*b - 16 + 37 for w.
-3
Suppose 0 = 48*k - 25*k - 115. Solve -j + 4*i + 1 = 6*i, -2*i = k*j - 21 for j.
5
Let w(c) = c - 35. Let l(p) = p + 1. Let y(s) = 3*l(s) - w(s). Let n be y(-18). Solve -2*r = 4*i + 24, -n = 2*i + r - 5*r for i.
-5
Let i be (-3)/(6/12 + 3/(-2)). Suppose 3 = -y + v, 0*v + 3*v = -y + 9. Solve -i*f = -4*g - 6 - y, g - 2 = -f for f.
2
Let p(t) = -t**3 + 4*t**2 + 6*t - 3. Let j be (-28)/(-6) - (-4)/12. Let d be p(j). Suppose 1 = -3*x + 10. Solve z = -d*n - 5, 7 = -z - 6*n + x*n for z.
-1
Let m be ((-4)/2)/(10/5). Let q = 5 + m. Suppose -5*i = q*g - 52, 3*i - g - 15 = 6. Solve 2*p + 8 = -2*x, -2*x - 3*p = -4*p + i for x.
-4
Let p = -27 - -27. Let d be (144/32)/((-3)/(-4)). Let y be (d/(-8))/(15/(-40)). Solve p = 5*u - f + 6, 3 - 10 = 5*u - y*f for u.
-1
Suppose 2*p = -2*p - 40. Suppose 21 = -3*f + 3*h, -f = -h + 6*h + 25. Let x = f - p. Solve -4*t - 6*m = -m + 7, x = -5*t + 4*m - 19 for t.
-3
Let l(u) = -2 + 5 + 7*u**2 - u - 5. Let r(q) = -3*q**2 + q + 1. Let v(n) = 2*l(n) + 5*r(n). Let w be v(2). Solve 3*a = w*h + 9, 0*a + 4*a - h = 18 for a.
5
Let r be 12/((-12)/3) + 11. Let z be 0/(2 + r/4). Solve -x - 15 = -6*x, z = w + 3*x - 14 for w.
5
Let r be 2/(-10) - (-3774)/370. Suppose 5*z = 6 - 1, 0 = -2*m - z + 7. Solve m*c - r = -d - 0*c, 0 = d - 5*c + 30 for d.
-5
Suppose 3*s - 19 = -16*s. Solve 0 = -d - v - s, -5*d + 2 = -2*d + 2*v for d.
4
Let t(j) = -j**3 - 6*j**2 + 6*j - 4. Suppose -n + 0*a = 2*a + 5, 5*n + 32 = -3*a. Let x be t(n). Solve 0 = -x*d + 15, 4*r + 12 = -3*d + 7*d for r.
2
Suppose 0 = 3*i - b + 67, -i + 0*b = 3*b + 39. Let q = 21 + i. Let p be 1*(-4 - q) - -4. Solve p*k + 4*f + 0*f + 7 = 0, 2*f - 3 = 5*k for k.
-1
Suppose 5*s = 2*b + s - 40, 5*s = -5*b + 70. Solve y + 3*r = 3*y + b, 0 = -2*y - 5*r + 16 for y.
-2
Let b(q) = 2*q - 9. Let z be b(5). Let d be ((-1)/(-3)*3)/(z/13). Solve -3*n = 4*i + 2*n - 7, 4*i = n + d for i.
3
Let t be (-4)/1 - (-1 - 5). Suppose 3*r = -t*v + 44, 0*r + 5*v + 9 = r. Let g = 6 - 4. Solve 0 = 3*s + 2*o - r, 5*s = g*o + 1 + 1 for s.
2
Suppose t = -5*s + 1 - 11, -2*t - 2*s - 4 = 0. Let i be 4 + 4 - -1 - 6. Solve t*v + v - i*p - 4 = 0, -2*v - 25 = 5*p for v.
-5
Let a(f) = 9. Let v(s) = -s - 1. Let g(w) = a(w) - v(w). Let l be g(-5). Suppose -l*o + 6 + 19 = 0. Solve 4*n + o*r + 26 = 0, -3*r + 2 = -3*n + 2*r for n.
-4
Let l(g) = -5*g + 93. Let c be l(15). Solve 0*j = -2*j - 4*t + 12, 4*j + 5*t = c for j.
2
Let p(i) = -i**2 - 6*i + 525. Let g be p(20). Solve 0 = 3*r - 15, -5*z - g*r + 4 + 31 = 0 for z.
2
Let o = 133 + -131. Solve -2*f + 8 = 0, -o*t + 3*t = 2*f - 10 for t.
-2
Suppose 2*v + 5*r + 20 = 0, 0*v = 3*v - 2*r - 8. Suppose 5*h - k = -3*k + 44, -h + 4*k = v. Solve 16 = 4*g, 3*g + 40 = -4*y + h*g for y.
-5
Let w(m) = m**3 - 4*m**2 + 3*m + 2. Let f = -27 - -30. Let r be w(f). Suppose -18 = -6*p + 3*p. Solve r*v = d, p*v = 2*v - d + 12 for v.
2
Let j(g) = -g**3 + 19*g**2 - 4*g + 88. Let l be j(19). Solve 0 = 4*t + l, 0 = 3*y + 6*t - 4*t + 9 for y.
-1
Let h be (390/156)/(-2*(-5)/8). Solve 4*p + 3*i + 13 = -h, 2*p = i + 5 for p.
0
Let a(j) = -2*j + 22. Let s be a(-8). Let z = s + -36. Solve c = -z*y + 5*c - 4, -4*y = -c - 6 for y.
2
Let z = -763 + 765. Solve 0*m - z*m = -2*n - 6, -4*m + 26 = 3*n for n.
2
Suppose 4*q - 23 = -3. Let y be (-1 - -4)*q/3. Solve -3 = 3*t + 3, -y*i + 17 = -t for i.
3
Suppose -5*s + 16 + 5 = 2*t, -2*t = -s + 9. Solve r = 3*v - s, 0*r - 2*r + 3*v - 7 = 0 for r.
-2
Suppose -5*a = 5*h - 0*a - 45, -4*h - 5*a + 38 = 0. Solve 2*u - 3 + h = -4*s, 4*s - 3*u = -24 for s.
-3
Suppose 0 = p - 5*p + 120. Suppose -3 = -22*g + 21*g. Let j = -6 - -11. Solve -5*m = -j*r + p, -r + m - g*m = 3 for r.
3
Suppose -5*j + 15 = -5*b, 5*b + 5 - 6 = -3*j. Solve 0 = 3*k - 4*t - 6 + 2, -k = j*t + 12 for k.
-4
Suppose 0 = 18*q + 15 - 69. Solve -2*d = 3*l - l - 14, l = -q*d + 13 for l.
4
Suppose -24 = -349*j + 343*j. Solve -5*a + 3*h = -0*a + 14, -h = -j*a - 7 for a.
-1
Suppose -d = 3, -7*d + 3 = 3*i - 5*d. Solve 5*t - 3*v = -1 - 23, -t + 6 = i*v for t.
-3
Let d(q) = -q**3 + 20*q**2 + 19*q + 47. Let i be d(21). Solve 0 = -i*a - 3*b, 4*a = 3*b - 2*b for a.
0
Let t = -20 + 37. Suppose -123 = y - 128. Suppose -2*z + t - 4 = 5*v, 5*v - y*z - 20 = 0. Solve v*o + 3*a = -3 - 3, 0 = -4*o - 5*a - 12 for o.
2
Let p = 362 + -348. Solve -o - 2*k = -5, -2*o + 4*k - p = -0 for o.
-1
Suppose -5 - 25 = -c. Let y = -25 + c. Suppose 0*s + 20 = y*s. Solve 0 = 5*q + p - 27, -p + 24 = s*q + 2 for q.
5
Suppose a + 3*a + 5*i - 17 = 0, -4*i + 1 = -a. Solve -5*v + w - 15 = -a*w, -v - 24 = -5*w for v.
1
Let p(o) = o**3 + o**2 + 5*o. Let q be p(0). Solve -5*f - 3*c - 2 = 0, 0 = -q*f - 3*f - c + 2 for f.
2
Let u(a) = -a + 3. Let k be u(-1). Let c(s) = s**2 + 4*s - 60. Let r be c(-10). Solve -2*v = -r*v - q + 1, 0 = 4*v + k*q - 28 for v.
2
Let b(p) = -45*p - 72. Let l be b(-2). Solve -v = -4*a - l, -3*a + 0*v = -2*v + 11 for a.
-5
Suppose 584 - 98 = 27*r. Solve -2*h + r = -0*z + 4*z, -3*z = -4*h + 14 for h.
5
Let z(j) = -j**2 - 2*j + 6. Let m be z(-3). Let a be 8/(-12) + 23/m. Solve -4*s - a + 3 = 0, 5*v + s + 21 = 0 for v.
-4
Let z be -6*((-36)/(-8) - 5). Solve 5*n = z*b + n, 2*n = b for b.
0
Suppose -30*t + 39 = -51. Let w(x) = -x**3 + 1 - x + 1 + 2*x**2 + 4*x. Let f be w(t). Solve 0 = 3*j - f*j + 4*p - 16, -5*p = -j - 20 for j.
0
Let a = -113 + 124. Suppose 0 = 3*f - 3*n + 15, -26 + a = -2*f - 3*n. Solve 4*i + f*t + 2 = -2*t, 0 = 2*i + 3*t + 11 for i.
2
Let a = -126 + 128. Solve -5*k + 3*z + 18 = 0, z - a = -2*k - 3*z for k.
3
Suppose m + 120 = -3*m. Let k = m - -32. Solve -k*v = -4, -4 = w + 3*v - 12 for w.
2
Let l be -2*6/(-120) - (-78)/20. Solve 0 = -l*b + 4*z - 40, 3*b + 2*z + 7 = 2 for b.
-5
Suppose -b - 5*t = -14, 5*b + 0*t - 50 = -5*t. Suppose -b*k = -99 + 27. Solve 4*j - k = 2*j + m, -3*j = -2*m - 11 for j.
5
Let o(q) = -q**2 + 13*q - 32. Let j be o(16). Let v be j/6*36/(-24). Solve r = 4*z + v, 0*r - 5*r - 5*z - 25 = 0 for r.
0
Let s be (-304)/(-40)*15/6. Solve 2*i = -3*i - 3*q + s, -4*i = -q - 5 for i.
2
Let m(k) be the third derivative of -k**5/60 + k**4/8 + k**3/6 - 12*k**2. Let q be m(2). Solve -20 = 5*y, 0*c = q*c - 3*y + 3 for c.
-5
Let l(f) = 2*f**2 - 39*f - 14. Let w be l(20). Solve -w*v - 8 = -7*v + 3*p, 3*v - 12 = -3*p for v.
5
Let f be (6 - (4 + 2))/1. Solve -2*o = -2*z - 10, f*o - 25 = -5*o - z for o.
5
Let g be (-24)/(-56) - (-78)/14. Solve g*y - 2*y = -5*u + 45, 2*y - 15 = -u for u.
5
Let p be (-6)/(-12)*(-3 - -13). Let t(i) = -5*i - 14. Let g be t(-4). Solve 0 = -p*z + 2*z + 2*v + g, -3*v - 9 = -2*z for z.
0
Let h(y) = -2*y**2 - 57*y + 96. Let v be h(-30). Solve -4*x - 4*t = 24, -x + v = -7*t + 2*t for x.
-4
Let o be 4/(-3)*6*1. Let r(u) be the third derivative of u**4/24 + 2*u**3 - u**