b - 3*t + 5 for b.
-2
Suppose 5 - 13 = -2*f. Suppose 8 = -2*r + f*r. Suppose 161*c = 171*c - 50. Solve 9 = -c*n - 2*g - 7, -3*n + r*g + 6 = 0 for n.
-2
Suppose 4*m = 13 - 1. Suppose -35 = -5*a - c, -2*a - 2*c + 14 = -4*c. Let y = -6 + a. Solve -20 = 4*l + m*r, -3 = r + y for l.
-2
Let t(q) = 7*q**2 + 3*q - 1. Let b be 4 - (12/(-8) + 3)*2. Let i be t(b). Let g be (-1 - -1) + 2 + -2. Solve g = 4*r - 3*x - i, -3 = -r + 3*x + 6 for r.
0
Let t(o) = 5*o**3 - o - 11 - 4*o**3 + 14. Let k be t(0). Solve -f = -z, f + 2*z - k + 15 = 0 for f.
-4
Let s(t) = t - 2*t + t**2 - 5 - 5*t. Let v(i) = i**2 - 6*i - 84. Let o be v(13). Let f be s(o). Solve -5*b = -0*b - 5, -f*y - 3*b = -5 for y.
1
Let j(u) = -7*u + 2. Let b be j(0). Solve c - 2*c - 8 = b*y, 4*c + 3*y = -22 for c.
-4
Let t(f) = 4*f - 30. Let n be t(9). Suppose 84 = -2*u + n*u. Solve -3*s = s - m - u, -s + 14 = -2*m for s.
4
Let y = 195 - 192. Solve 0 = a - y*f + 17, 4*a + f + 0 = -3 for a.
-2
Let h = -424 - -430. Solve h = -3*k - 8*v + 3*v, 3*v = 0 for k.
-2
Let h = -13 - -11. Let s(z) = -2*z**2 + 2*z + 1. Let i be s(h). Let p = 15 + i. Solve -3*o = -0*o + 3*l - 3, 0 = 3*o - p*l + 18 for o.
-2
Let s(p) = -p**3 + 4*p**2 - p - 1. Let q be s(3). Solve -5*i - q*m - 21 + 6 = 0, 2*m = -5*i - 3 for i.
1
Suppose -8*j = 10*j - 54. Solve h - 16 = j*t, -6*t - 24 = -5*t - 5*h for t.
-4
Let l(r) = r**3 + 3*r**2 - r + 47. Let n be l(-5). Solve -5*g - n*q + 13 = q, 3*q + 7 = -g for g.
5
Suppose -3*l = -3*w - 0*l + 15, -5*w = 2*l - 25. Solve -q + 9 = 5*m, 4*q - w*q - 4*m + 8 = 0 for q.
4
Suppose 4*b - 28 = -3*l + 7*l, -30 = -5*b + 4*l. Let u be (2/b)/(2/6). Solve -g - 5*r = 5, u*r + 4 = g + 9 for g.
-5
Suppose 4*t - 11*p - 16 = -10*p, 5*t - 20 = -p. Solve -t*h = 2*y - 1 - 9, -3*y - 2*h + 15 = 0 for y.
5
Let m(f) be the first derivative of -f**3/3 - f**2/2 + 4*f + 19. Let v be m(-2). Solve -6*d + 2*d = -v*j - 26, 4*d = -2*j + 14 for j.
-3
Let m = -1 + 6. Suppose -s - 13 = -m*w + 3*w, -5*w - 3*s + 5 = 0. Solve -l = 2*d - 10, -w*d + 20 = -l + 5*l for l.
0
Suppose 14 = 2*t + 10. Solve 0*n = n + 3*x - 4, -3*n - 21 = -t*x for n.
-5
Let a(u) = -2*u**2 - 9*u + 11. Let x be a(-5). Suppose 0 = -5*m + 3*m + 60. Let k be (8/x)/(m/45). Solve 0 = 4*f + 3*c + 13, -k*c - c = 9 for f.
-1
Let j(w) be the second derivative of -5*w**3/6 - 13*w**2 - 13*w. Let u be j(-6). Solve -u*x = -4*f, -4*x - 3*f - 18 = 2*f for x.
-2
Let j be 1274/286 - (-6)/11. Solve 0*b = j*p + 5*b, -10 = -4*p + b for p.
2
Suppose -2*w + 12 = -8. Suppose w + 10 = 5*l. Solve -v + 13 = -4*y, 0 + l = 2*y - 4*v for y.
-4
Let x(z) = -z - 1. Let g be x(-1). Suppose g = 5*y - 2*k + k + 18, 0 = 4*k - 12. Let v be (y + 4 + -3)*-2. Solve -2*t + m + 4*m = -7, -v*t - 10 = -2*m for t.
-4
Let b(m) = m**3 + 3*m**2 - 12*m - 7. Let h be b(-5). Solve 2*v = h*y - 2, 2*y + 23 = 3*v + 4*y for v.
5
Let t(j) be the third derivative of j**5/60 - j**4/24 + j**3/6 - 49*j**2. Let f = -2 - -4. Let r be t(f). Solve 0*m - 4*m + 5*x - 6 = 0, m + x - r = 0 for m.
1
Suppose 0 = -f + 3 - 1. Suppose -5*o = -4*q + 20, -10 = -2*o - 0*q - f*q. Suppose o = 3*w - 0*w. Solve 2*r = 2*y - 8, -y + w*y + 3*r = -12 for y.
0
Suppose -3*k + 39 = 5*r - 67, 3*k = -r + 26. Suppose 0*h - r = -5*h. Solve -2*q = -q + 4*m - 2, -m = -2*q + h for q.
2
Suppose 5*o = -11 - 9. Let x be (-7)/28*5*o. Solve 4*l = -x*w + 21, -2*l = -0*l + w - 3 for l.
-1
Let p be (-5 - -4) + -1 + 7. Suppose -4*q = 5*i + 71 - 10, -p*i = 25. Let f be (-1 - q/12)*-4. Solve -3*b + 0*m = 4*m + 4, -m = f for b.
0
Let j = -144 - -97. Let c = 51 + j. Solve c*u - 3*v = 12, -23 + 3 = 3*u + 5*v for u.
0
Let p be (4/(-4))/(1*(-4)/108). Solve j - 3*c = -13, -3*c - p = 3*j - 8*c for j.
-4
Let c be (-210)/(-28) - (-2)/4. Let i be c/44 + 106/22. Suppose -10*k + 20 = -i*k. Solve 10 = 3*y + y + 2*v, -3*y = -2*v - k for y.
2
Suppose 5*j = 11*j. Suppose j = -7*s + 3*s + 8. Solve 4*p = -c + s, -3*p - 2 = -p + 2*c for p.
1
Suppose 0 = 25*a - 41 - 59. Solve x = -v + 5, 6*x = -a*v + 3*x + 16 for v.
1
Suppose -2*t = 2*q - 16, -5*q - 12 = -8*q. Solve -g + t + 2 = 2*y, -2*g - 9 = -3*y for g.
0
Let p(l) = l - 8. Suppose -2*b - 2*t = -t - 13, 2*b - 22 = 2*t. Let u be p(b). Solve 26 = 4*d + 2*w, u*w - 2 = -d + w for d.
5
Suppose 0*k = k - 4. Suppose f = 9 - 5. Suppose 2*o + 4 = f*o. Solve 20 = -4*h - o*m + 6, 20 = -k*m for h.
-1
Suppose 2*c + 4 = -0*c. Let f be (2/(-1))/(2 + -4). Let z be (c - (-1)/f) + 3. Solve -n - 4 = -3*s - 0, 0 = s - z for n.
2
Let r = 2 + 3. Suppose 0 = -7*m + 2*m. Solve n = -m*n + v, v = -r for n.
-5
Let j = 9 + -5. Suppose 6 + j = 2*f. Solve g - 12 = f*d, -4*g + 6 = -g - 5*d for g.
-3
Suppose -39 = -4*k - 9*k. Solve -5 = k*v + 4*c, 0*c = 5*v + 3*c + 12 for v.
-3
Let j = 2148 - 2144. Solve s = j*f, 6*s - 5 = f + 7*s for f.
-1
Suppose 13*r - 7*r = 0. Suppose r = i - 10*i + 36. Solve -i*l + 11 = -n - 2*n, -5*l - 5 = 0 for n.
-5
Suppose 2*j = 3*m - 16, -j = -1 + 6. Suppose 9 = 4*b - 7. Solve m*q + 10 = 4*t + 3*q, -5*t = -b*q - 23 for t.
3
Let j(p) = p**3 - 23*p**2 + 16*p + 141. Let h be j(22). Solve -4*u = -l + 6 - 5, -3*u - 2*l - h = 0 for u.
-1
Suppose -5 + 11 = -2*x. Let h be (-10)/x*6/4. Solve 3*b + 12 = -0*z - 2*z, -b - z = h for b.
-2
Let c(o) = 15*o - 102. Let i be c(7). Solve 2*z - 10 = -4*x, z + i*z - 3*x = 20 for z.
5
Suppose 12 = -f + 11. Let g be 12 + -4 - (2 - f). Solve 4*y - 1 = i + 12, 0 = -g*y + 3*i + 25 for y.
2
Let k = -9 - -22. Suppose -k = -t + 2*t - 4*l, -3*t = -2*l + 9. Let d(v) = 4*v**2 - 1. Let x be d(t). Solve -23 = 3*r + p + 3*p, 0 = x*r - 4*p - 17 for r.
-1
Let m(t) = -t**2 + 14*t - 19. Let b be m(12). Solve -n - 5*p = 11 + 12, 5*n + b*p = -35 for n.
-3
Let z(c) = -c + 5. Let j be z(9). Let s be 14/j*36/(-63). Solve 5*t = s*o - 21, o - 4*t + t = 13 for o.
-2
Let v be (-8 + -1)/(57/(-133)). Solve -4*s - 5*m = -3*m - 18, -3*m = 3*s - v for s.
2
Let g = 166 - 166. Let p = 18 + -12. Solve -3*i - p = -g*i - 3*l, -5*i - 10 = -l for i.
-2
Let j be 4/(3 + -4) - -18. Let s = 13 - 9. Let q = s + -2. Solve 0 = -2*a - 10, -j = q*z + 5*a - a for z.
3
Let r be ((-2)/4)/(2/32 + 0). Let h be (r/6)/((-2)/3). Solve 4*g = -3*q + 3*g - 6, 4*g + 14 = -h*q for q.
-1
Let i be (4 + 0 + 0)/1. Let x = 21 - 15. Let o(q) = -q**3 + 4*q**2 + 14*q + 3. Let c be o(x). Solve -i*r - m = -6*m - 15, -3*r + 5*m + c = 0 for r.
0
Let x(k) = 3*k**3 + 7*k**2 + 6*k + 11. Let c be x(-2). Solve -8*a = -6*a - 5*v + 10, -v + 15 = -c*a for a.
-5
Suppose -5*w + 2*r + 18 = 0, -r - 125 = -5*w - 106. Solve -w*z - 3*f = -f + 8, -5*f + 10 = 0 for z.
-3
Suppose 7*q + 2 = 16. Let p be (3 - q) + 7 + (0 - 4). Solve -4*m - m + 23 = 3*j, -5*j + 21 = p*m for j.
1
Let o = 213 + -136. Let l = o - 49. Let j(v) = v**2 + 5*v - 10. Let g be j(-7). Solve 4*p + 0*z + 2*z = -2, 0 = 4*p - g*z - l for p.
2
Let y(k) = -3*k + 2*k - 1 + 2*k + 0*k. Let f be y(6). Solve 21 = -5*c - 5*s + s, s - 1 = f*c for c.
-1
Suppose -24*s + 10 = -23*s. Suppose -5*t + 10*t = 4*q + 22, -4*q = t + s. Solve -4*n = 2*y, 4*y + t*n = -1 + 13 for y.
4
Suppose o = 2*o. Suppose i = -4*i, 0 = -x - 4*i + 5. Suppose 0 = -b - x*b. Solve 2*h + 4*t - 1 + 3 = b, o = 4*t for h.
-1
Let n be (21/(-12))/(-1) + 13/52. Solve -5*d + 21 = -n*b, -2*d = d - 2*b - 15 for d.
3
Suppose 8*u - 4 = -4. Suppose -6*h = -8 - 10. Let q(i) = i**2 - 5*i - 10. Let g be q(7). Solve -10 = 2*c, -h*c = -g*z - u - 1 for z.
-4
Let d(n) = 5*n**2 - 44*n - 7. Let p be d(9). Solve 3*r - p*b + 11 + 5 = 0, 4*r + 22 = 3*b for r.
-4
Suppose -19*s - 95 + 190 = 0. Solve 0 = s*b + 4*t + 25, 0*b - 2*t = -b - 5 for b.
-5
Let o(w) = w**3 - w**2 + 4*w - 10. Let l be o(2). Let p be ((-18)/6)/(-1 + 0). Solve x = 2*g + p, -x + g = -l*x - 9 for x.
-5
Suppose -2*q + 80 = 3*q. Suppose -4*o + l + q = 0, 3 = 4*o + 2*l - 1. Solve 3*r + 12 = -o*x, -2*x = 2*x - 4*r + 16 for x.
-4
Let a(o) = -o**3 - 16*o**2 + 3*o + 53. Let h be a(-16). Solve 3*q = -7*z + 2*z - 17, h*z - q + 21 = 0 for z.
-4
Suppose 3*z - z = 0. Let d be 0/(z + -4) + 3. Let l = -13 - -31. Solve 4 = 3*i + 4*m + 8, 3*i = d*m - l for i.
-4
Suppose -n = 3*p + 1, 3*n - 10 = -2*p + 1. Suppose -5 - 15 = -n*z. Suppose 2*j + 3*q + 5 = 3*j, 0 = -4*q - 4. Solve 5*y - j = -2*k, 2*k + 0*k = z*y - 16 for y.
2
Suppose -8*q = -3*q - 30. Suppose -8 = 2*h - q*h. Solve -6*n - 5*k = -4*n + 33, 0 = h*n + 4*k + 28 for n.
-4
Let n = 24 