*t + b*f - 4 for t.
2
Suppose 12 = w + w. Suppose -w = -3*b + 3. Let u = 91 + -86. Solve -25 = u*k - s, -5*k = -3*k + s + b for k.
-4
Let c = 122 - 190. Let u = c + 72. Let j = -2 + 5. Solve 2*t + u - 12 = -5*z, 3*t - 3 = -j*z for t.
-1
Let l(r) = r - 11. Let g be l(15). Solve 3 = 2*o + c, 2*o + g*c - 6 = -18 for o.
4
Let u be ((-104)/(-208))/((-2)/(-1 - 19)). Solve -2*s - 2*v + 2 = 6, u*s - 3*v - 22 = 0 for s.
2
Suppose 5*b = -15, -m + 2*m + b - 2 = 0. Solve -4*t = -8*t + 2*p - 10, m*p - 7 = t for t.
-2
Let r(t) = -t**3 - 8*t**2 + 49*t + 13. Let a be r(-12). Let n be a*6/(18/15). Solve 5*j - 14 = 2*s, -s - 9 = -n*j + 2*j for s.
3
Let f(n) = -n**2 - 3*n - 2. Let d be f(0). Let a be (0 + 1)/((-1)/(-7)). Let m be 3 - a - 16/d. Solve -5*h - 4*z + 3*z - 21 = 0, -3*z = -m*h - 32 for h.
-5
Let v be (0 - 166)/(-3 + 2 + -1). Suppose l - 87 = -v. Solve 0 = 2*b + 4*p - l, -3*b - 3*p + 6 = -3 for b.
4
Let o be (-20)/(-50) - (-18)/5. Suppose -o*i = -0*i. Solve i = -v - z - 6, v - 3*z - 1 = 1 for v.
-4
Let g be ((-3)/(-1)*11/(-11))/(-1). Solve -g*z = 2*d - 8, -d = -3*z - 2*d + 10 for z.
4
Suppose 3*o - 28 = -4*f, -5*o + 2*f = 3*f - 24. Suppose -3*p = 2*w - 8, -w - 2*p + 0*p + o = 0. Solve 4*l + 3*t = -4, 0*t - 16 = w*t for l.
2
Let b(h) be the second derivative of -h**5/20 + 2*h**4/3 + 4*h**3/3 + 13*h**2/2 + 12*h. Let s be b(9). Solve -4*v + 28 = s*u, -v + u = 6 - 3 for v.
2
Suppose -5*c + 2 = -18. Let r = c - 22. Let y = -14 - r. Solve y*q + 4 = t, -1 = q - 5*t + 4*t for q.
-1
Let c(m) = 2*m**3 + 7*m**2 + 37*m + 167. Let q be c(-4). Solve -5*p - 7 = q*r, -5*p + 4 = 4*r + 10 for p.
-2
Let r be (16/10)/(6/15). Suppose 14 = 4*h - 2*h. Suppose 10*j = 84 + 46. Solve -h*u + r*w = -2*u - j, -3*u - 4*w - 5 = 0 for u.
1
Let a(y) = y**2 + 12*y - 10. Let m be a(-13). Let w be (-24)/m*9/(-12). Let d(i) = i - 3. Let h be d(w). Solve -5 = -x - 4*l - 25, -h*x - 4 = -2*l for x.
-4
Let s = 83 - 50. Let j = -25 + s. Suppose -j*r = -3*r. Solve -5*b - 25 = 4*a, r = 2*b + 5*a + 10 + 17 for b.
-1
Suppose 5*z - 3*p - 2*p = -55, -4*z - 54 = p. Let i(b) = b**3 + 12*b**2 - 12*b + 20. Let t be i(z). Solve 2*w = 5*x + t, 0 = 3*x + 2*w - 7*w + 8 for x.
-1
Let n = 7 - 4. Let u be n*(3 + 10/(-5)). Solve -h = -2*b - 6, -h + 2*h + 4 = -u*b for h.
2
Let s(x) = -x**2 - 5*x - 2. Let a be s(-3). Suppose 5*m - 25 = -a*n, 5*n + 4*m + 1 = 6*n. Solve -f = 3*j + 1, -n*f = 2*j - 2*f + 10 for j.
1
Let r(b) = -10*b - 27. Let u be r(-3). Solve -5*p + u*y = -0*y + 9, -4*p = y - 3 for p.
0
Let y(r) = -2*r - 3. Let z be y(-2). Let m be (4 + (z - 3))*1. Let c = -65 + 70. Solve -s = -2*s + f - m, c*f = 20 for s.
2
Suppose 31*t - 26*t = 15. Solve -4*v + 3*z + 6 = -0*z, v = t*z - 3 for v.
3
Suppose 10*u - 4*u = 0. Solve v - 3*f = 6, u*v + 2*f - 4 = -2*v for v.
3
Let d(s) = s**3 - 20*s**2 + s - 12. Let n be d(20). Suppose 4*f + n = 8*f. Solve 0 = 2*h + 2*x + 14, -f*h = -4*h + x + 1 for h.
-2
Suppose 2*s + s = l + 17, -3*s - 8 = 4*l. Solve -p = r, r + s*p + 4 = 13 for r.
-3
Let o = -22 - -32. Let t = o - 38. Let i = t + 39. Solve l - 3*k - i = 0, 2*l + 4 = 5*k + 21 for l.
-4
Let b = 104 + -103. Suppose -7*p = -13 - b. Solve 0*s - 3*s - 5*n - 10 = 0, 0 = -3*s - n - p for s.
0
Let j be ((-9)/18)/((-2)/8). Suppose 5*k + 15 = 0, 3 = -l - 3*l - 5*k. Suppose -2*g = -11 + 13, 5*g - 30 = -5*x. Solve l*f - 3 - 2 = j*c, 5*c + x = 2*f for f.
1
Suppose 4 = x - 3*v - 9, 4*x + 5*v = -16. Let q be (4 - x/((-3)/(-9))) + 2. Solve t - q*u + 13 = 5*t, 0 = -t + u + 5 for t.
4
Let w(i) be the second derivative of i**3/6 + i**2 - 8*i. Let g be w(0). Solve -2*u - 4*o + 8 = -0, g*u + 10 = 2*o for u.
-2
Let n be 0/(-2 + 1) + -2. Let h(m) = m**3 + 3*m**2 - 2*m - 3. Let l be h(n). Solve l*b + 19 = -k - 9, -2*k - 6 = 0 for b.
-5
Let l(n) = -n**3 - 3*n**2 + 12*n + 8. Let q be l(-5). Let a be (5/(30/21))/(q/(-4)). Solve j - 9 = 3*g + a, -32 = -4*j + 4*g for j.
4
Let u = 1 + 2. Let w(n) = 3*n - 2. Let d be w(u). Let j = -5 + d. Solve 0 = -2*q + 7*q + 5*k, q = j*k for q.
0
Let r be (8 - 0) + -16*(-13)/(-52). Solve -r*f - 23 - 1 = 3*n, 2*f = -4*n - 22 for n.
-4
Let s(c) = 9*c**2 - 11*c - 69. Let v(i) = 14*i**2 - 17*i - 103. Let g(l) = -8*s(l) + 5*v(l). Let m be g(5). Solve 17 = -m*z + 3*r + 42, r + 5 = 0 for z.
5
Suppose 85*y - 78*y = 0. Solve t = -3*h + 3 - y, -4*t - 20 = -4*h for t.
-3
Let v be ((-11)/2 + 2)*240/(-140). Solve -b - 4 = -d, 2*b + 0*b = d - v for d.
2
Suppose -2 = -3*l - 68. Let t be (-4)/l + (-16)/88. Solve 3*h + 3 = 3*z, 0*z + 4*z + 5*h - 22 = t for z.
3
Let j = 171 + -169. Solve -16 = 4*l, -4*g - 2 - j = 2*l for g.
1
Suppose 0 = -m + 2*k + 14, 204*k = -3*m + 199*k + 9. Solve 0 = 5*g - 2*x + m, -2*x + 3*x - 4 = -4*g for g.
0
Let m = -52 - -57. Suppose m*s = 2*s + 15. Solve 5*c = -f - 5, -5*f + s = -5*c - 3*f for c.
-1
Suppose -8*l - 20 = -4*y - 4*l, 8 = -4*l. Solve -y*a - 9 = 2*j + 4, 9 = -2*a - j for a.
-5
Let a(j) be the third derivative of -j**4/24 + 7*j**3/2 + j**2. Let o be a(10). Solve 2 = 5*g + h - 1, 3*g - 4*h - o = 0 for g.
1
Suppose -f + 3*w = -72, 3*f - w - 158 - 74 = 0. Let c = -73 + f. Solve -5*y + 9*b = 4*b + 35, c*y + 4*b = 1 for y.
-3
Let d(f) = 33*f - 424. Let c be d(13). Solve 0 = -4*w + 3*j - 3, 5*j + 23 + 7 = -c*w for w.
-3
Let w be ((-2)/(-10))/((-13)/650*-2). Solve 0*o + 5 = -5*o - w*f, -4*o - 2 = 5*f for o.
-3
Let c be 6 - (7 - 2 - 6). Solve j - c = -4*r, -5*r = -10*r + 15 for j.
-5
Let v be 3*(3/1)/3. Let n be ((-35)/10 - -4)*8*1. Solve -h = -2*t - 3, -h = v*h - n for t.
-1
Let a = 19 + -17. Suppose 7 = 3*c - a. Suppose c + 3 = 2*o. Solve 0 = -5*q + q - 2*f - 4, o*f = 2*q + 18 for q.
-3
Let f(w) = -w**3 + 2*w**2 + 13*w + 3. Let n be f(5). Let y(l) = -l**3 - 7*l**2 - 3*l - 3. Let r be y(n). Solve -3 = -t - 2*h, 0*t + 2*h - r = -4*t for t.
5
Suppose 0 = 4*n - h + 35 - 158, -2*h = -2*n + 54. Let b = 32 - n. Solve -4*w - 4*s = b, 5*s = 2*w - 0*w for w.
0
Suppose 3*n - 1 + 13 = 0. Let f be (n/(-5))/(8/60). Solve -d - 3 = 2*c - f, -5*d = -3*c + 11 for c.
2
Let n(b) = 5*b - 12. Let x be n(5). Let s(h) = -h - 3. Let r be s(-4). Suppose -r = 3*d - x. Solve -5*y + 2*c = -c - 1, -c + 11 = d*y for y.
2
Let a = 847 - 845. Solve 2 = 5*f - 3*j, a*f + 0*j - j - 1 = 0 for f.
1
Suppose -3*g + 3*b = -2*b - 131, -4*b = -5*g + 240. Suppose -5*t - 47 + g = 0. Solve -5*m - t - 9 = -f, -4*f - 32 = 4*m for m.
-3
Suppose -3*t - 16 = t. Let l be (-186)/t*10/15. Solve 5*q + l = -4*y, y + 7 = -q - 0*q for y.
-4
Let w = -614 - -619. Solve -l = 2*d - 3, -w*l - 1 + 31 = -5*d for d.
-1
Suppose -2*f - f + a + 5 = 0, 5*f + 3*a = 13. Solve -2*b + f*v = -b, 5*b + v = -22 for b.
-4
Suppose -2*m + 3*m = 0. Suppose -5*c = -m*c - 15. Suppose 0 = 4*o - 5*o + 2. Solve -3*l + 2 = o*x - 0*x, -c*x = 3*l for l.
2
Suppose 7 = j + 16. Let o = 9 + j. Suppose -5*z = -3*y - 16, -17 = -4*y - 5. Solve 3*w - 4 = 5*k + 1, o = z*k + 2*w - 20 for k.
2
Suppose i - 4*p + 46 - 90 = 0, -3*i = 2*p - 90. Solve -2*n - 2*n - 20 = 0, 3*m + 4*n = -i for m.
-4
Let m(o) = o**3 - 4*o**2 + 3*o + 2. Let h be m(3). Suppose 1579*v + 20 = 1583*v. Solve -v*q = 4*p - 37, -6*p = -2*q - 2*p - h for q.
5
Let s(m) be the third derivative of m**5/60 - 7*m**4/24 + 4*m**3/3 - 5*m**2. Let y be s(6). Solve -y*w + 13 = w + 4*l, 3*w + 5*l - 14 = 0 for w.
3
Let a be (666/(-24) - -4) + 6/8. Let v = 26 + a. Solve v*y = 6*m - 2*m - 4, -y = -2*m for y.
-4
Suppose 5*c - 28 = -13. Solve k + 2*w - 9 = -2*k, 2*w = c*k - 21 for k.
5
Suppose 5923*o - 5919*o - 52 = 0. Solve -8 + o = 2*x - w, -4*x - 4*w + 40 = 0 for x.
5
Suppose -14*r = -9*r + 550. Let t be (-2)/3 - r/66. Solve h = -5*w + 4, 2*h - 3*w + t = 4*h for h.
-1
Suppose -n + 12 = -0. Suppose -5*y + n + 8 = 0. Solve y*a + 2*r + 0*r = -8, -11 = a - 4*r for a.
-3
Let f(h) = -193*h + 1355. Let d be f(7). Solve -11 = -4*y + t - 6, -7 = d*y - 5*t for y.
2
Suppose -5*d = -3 - 17. Suppose 3*p + g + g - 12 = 0, -d*p - g = -16. Solve 10 = -3*j + v, -j - v - p = 3*j for j.
-2
Let h(g) = 2*g**2 - 39*g + 23. Let v be h(19). Solve z + 0 = -a - 2, -v*z = -4*a + 16 for a.
1
Let q = 2670 - 2649. Solve r + 2*r - q = 2*s, -15 = -3*r for s.
-3
Let y = 5 + -2. Let s = -20 - -21. Let q(o) = 8*o - 2. Let z be q(s). Solve -z = -y*i + 4*r, -i - 3*r + 3 = 1 for i.
2
Let q = 3 + -1. Let j be ((-9)/(-6))/((-6)/(-8)). Let l be -12*j/(-4) - 4. Solve 5*d - q*s - 3 = 