*b + 12 for b.
4
Let u = 287 - 165. Suppose 14*h + u = -256. Let i = h + 31. Solve -5*b = -i*z - 4*b + 18, 0 = -3*z - 2*b + 8 for z.
4
Let r be -1*(7 + -9)*3/2. Suppose -r*w + w + 42 = 5*j, j - 26 = 4*w. Solve -5*k = -2*n - 0*k - j, 0 = 2*n + 2*k - 18 for n.
5
Suppose 4*b = 3*m + 16, 16 = -3*b + 7*b + 5*m. Let p be 217*2*7/14. Let v = 228 - p. Solve 2*s = -2*s + b*y + 8, 4*s = 5*y + v for s.
-1
Let k(y) = -y**3 + 6*y**2 + y - 4. Let d be k(6). Suppose -212*w + 479*w = -297*w + 1128. Solve -4*z + z - 2 = 4*m, w*z = -d*m for m.
-2
Let l be (-4)/144*-12*(-90)/((-8)/4). Solve -2*k + 3*k + l = 4*x, 3*k = 3 for x.
4
Let t = 78 - 44. Let q = t + -74. Let d = -28 - q. Solve -f + 3*p - d + 0 = 0, 4*f = -2*p + 8 for f.
0
Let i = 4603 - 4602. Solve 5*j = 20, -d + j = i + 5 for d.
-2
Let s(t) be the second derivative of t**4/6 + 10*t**3/3 + 25*t**2/2 - 28*t. Let a be s(-13). Let u = a - 98. Solve 4*j = 3*k + u + 11, -2*k - 11 = -3*j for k.
-4
Suppose 4*d - 180 = -168. Let h be ((3 - 3)/(-1))/d. Let k(f) = f**2 + f + 1. Let c be k(-2). Solve l = -m - 2 - 1, 4*m - c*l - 9 = h for m.
0
Let d(x) = -29 - 2*x**2 + 57 + 13*x - 36 - 48*x. Let c be d(-17). Solve -2*h + 2 = -4*m - 4*h, 3*m + 3*h + c = 0 for m.
2
Let l = 16 - -456. Suppose 477*h - 20 = l*h. Solve 0 = h*i + 5*t + 3, -15 = i - 3*i + 3*t for i.
3
Let v(f) = -2*f**2 + f + 2. Let n be v(0). Suppose -4*g = n*p - 20, -p + g + 13 = 4*g. Solve -3*q + 5*x - 14 = 0, 3*q = p*q + 3*x for q.
-3
Let b(h) = -5*h - 29. Let w be b(-7). Let i be (12/10)/((-2)/(-15)). Let u = i + -7. Solve -3*n + 12 = u*r + 2*n, 5*n = 4*r + w for r.
1
Suppose 2*n = 2*x - 14, 398*x = 394*x - n - 7. Solve 0 = -2*g + q - 10 + 2, -4*q + 16 = x for g.
-2
Let k(p) = 30*p**2 + 237*p - 24. Let a be k(-8). Solve -3 = -g - a*w - 3*w, -4*w + 5 = g for g.
-3
Suppose -r = -3, -28*m - 2*r = -26*m - 10. Solve -m*n + 16 = 4*d, 16*n = 2*d + 11*n + 4 for d.
3
Let p = -5683 - -5717. Solve -2*g - 5*l - 32 = -p, -2*g + 4*l = -2 for g.
1
Let y be (-4 + 9)*(-1 + 5 + -1). Suppose -2*c + o + 4 = -c, 0 = 2*c + 2*o. Let q be 1 + (2 - 0) - (c + -2). Solve -3*h - y = -3*j, -h - 5 = -q*h - j for h.
0
Let s be 2/12*(41 - 35)*(2 + 0). Solve -2 = g - y, s*y - y = -5*g - 22 for g.
-4
Let l be (-3 - 0/(-1)) + 5. Suppose g + w = -g - 12, -4*g = -4*w. Let m be (g + 4 + -4)/(-2). Solve 0 = m*p - 4, 4*p - 16 + 4 = l*n for n.
-2
Let b(j) = -36*j**3 - j**2 - j. Suppose 0 = 4*h - r + 1, -4*h + 3*r = -h - 6. Let c be b(h). Suppose 21*v + c = 27*v. Solve x = -x - v, p + x - 2 = 0 for p.
5
Let o(t) = -t**2 + 112*t - 735. Let x be o(7). Solve 5*k + 3*j + 3 = 17, j - 3 = x for k.
1
Let p(d) = 2*d**2 - 5*d - 9. Let z be p(4). Let b be z + -3 + 1 + 2. Solve -s + 0*s = 2*j, 7 = -b*s + j for s.
-2
Let u be (-9)/6*(-330)/(-45) - -21. Solve -m + 20 = 5*j, -14 - u = -3*m - 3*j for m.
5
Let v = -862 + 876. Solve -5*y - v = -6*y + 3*t, -5*t - 15 = 0 for y.
5
Let g = 3 + 0. Suppose -20*z + 41*z = 21. Let d be 177/6 - 6 - z/(-2). Solve 0 = -5*w - 2*m + m + d, -g = 3*m for w.
5
Suppose 0 = i + 5*i + 72. Let y be (11 + i)*(-6)/1. Suppose 0*t - 40 = -8*t. Solve 5*h = t, 0*u + y = 5*u - 4*h for u.
2
Let q be 3/(-12) + (-570)/24. Let i = 42 + q. Let k = 18 - i. Solve 4*b + k*h - 12 = -2*h, -5*h + 6 = 2*b for b.
3
Let f be 1/(-2*(-2)/20). Let p = -2170 - -2195. Solve -r + f*s = -10, -6*r + p = -2*r - 5*s for r.
5
Suppose -3*w = -8*a - 296, -4*w - 173 = 3*a - 677. Solve 3*f = 2*r - 127 + w, r + 3*f = -10 for r.
-1
Suppose 15*n = 14*n, 2*m + m - 9 = 3*n. Solve j - 14 = -m*b - 5, -j = 2*b - 7 for b.
2
Suppose -o - 204 = -7*r + 3*r, -268 = -5*r - 2*o. Let l be r/(-39) - (-38)/6. Solve q = 3*i - 14, 0 = l*q - 2*i - i + 22 for q.
-2
Let x(c) = -9*c**3 - 32*c**2 - 20*c + 2. Let z be x(-3). Solve 94*a - 3*s - z = 99*a, 0 = 3*a - 2*s + 14 for a.
-4
Let l be (4/(-6))/(8/(-468)). Let o = l - 39. Suppose -3*k + 16 = 2*g, -2*g + 4 = k - o*g. Solve 4*h - 2*j = -6, 4*h - 2*j = 5*h - k for h.
0
Suppose -65 - 199 = -24*b. Suppose b = 5*m - 2*h, 3*h + 17 = 2*m - 2*h. Solve d + m = -z + 4, -d + 3*z - 5 = 0 for d.
1
Suppose 0*u + 2 = -u, -4*u + 100 = 3*d. Suppose -20*i - 17*i = -d*i. Solve -5*h + a + 23 = 0, 2*h + i*h - 5*a = 0 for h.
5
Suppose -3*p - p = -2*c + 8, -2 = 3*c + p. Suppose -114 + 118 = 2*k, c = 5*f + 3*k - 31. Solve 0 = 5*j + 5*d - 10*d + 20, 0 = 5*j - 2*d + f for j.
1
Let v(r) = -9*r - 122. Let t be v(-14). Suppose -2*w - 2*f = 0, -4*w - t*f = w. Solve -5 = o + 2*o + 5*b, w = -2*o + 3*b + 3 for o.
0
Let t = 14 + -1. Let q(l) = l**3 - 11*l**2 - 27*l + 16. Let j be q(t). Suppose -j = 3*f - 9. Solve -3*c = h - 4*h + 6, -5 = -f*h + 3*c for h.
1
Suppose -5*r - 2*j = -1380, 4*j - 1092 = r - 5*r. Let z = -273 + r. Solve -4*g = 3*y - 8, -3*g + 11 = 5*y + z for y.
0
Suppose 95*w + 164 - 449 = 0. Solve w*j - 3*z + 15 = 0, 32*j = 31*j + 5*z - 21 for j.
-1
Let a be -108*(14/8 + (-1 + -4 - -3)). Solve -j = 4*r + 19, 24*r = a*r - 3*j + 18 for r.
-5
Suppose s = 5*k - 38, 38*s - 12 = 42*s. Solve 0 = -5*g - 10, -9*g = 3*u - 7*g + k for u.
-1
Let v be (-354)/(-9) - (-12)/(-18)*-1. Suppose 5*b - 4*h - v = 0, -10 = -0*b - 5*b - 2*h. Solve -2*s + 27 = 5*t, -3*s = -t - 2*s + b for t.
5
Let a be 54/(-135)*830/(-4). Let g = 86 - a. Let w(n) = n**3 - 10*n**2 + 9*n + 3. Let z be w(9). Solve 4*u - g = -5*y, 4*y = -z*u + 5 - 3 for y.
-1
Let k be (-11)/(-2)*(-36)/(-99). Suppose 4*l + k*l + 4*l = 0. Solve -4*x - x + 30 = o, l = 5*x + 2*o - 35 for x.
5
Suppose 2*p - q - 2 = 0, 3*p - 7*q - 13 = -8*q. Suppose -2*u + 7*u - 66 = 4*j, -26 = -p*u - j. Solve -3*t + u = -2*k - t, 2*k + 10 = t for k.
-5
Let w = 165 + -161. Suppose 0 = -8*m + 5*m + 4*j + 24, -4*m + w*j + 28 = 0. Solve -h + m*u = -17, 0 = 2*h + 2*h - 2*u + 2 for h.
-3
Let m(g) be the first derivative of -g**4/4 - 16*g**3/3 - g**2/2 + 8*g - 98. Let h be m(-16). Solve 5*i = 2*w + 17, -5*w + 4*i - h = -7 for w.
-1
Suppose 3*b - 6*b + 60 = 0. Suppose -2*m = 2*m - b, -2*d + 5*m = 1. Suppose -u - d = -4*u. Solve n = 3*s + 2, -3*s - u*n + 6 = -2 for s.
0
Suppose 0 = 8*f - 23*f - 1920. Let z = 244 + f. Let p be (1 + 0)*-4*(-29)/z. Solve -p = x + 3*d, -2*d - 3*d = -4*x + 30 for x.
5
Let s be (-8)/(14 + -6)*0/(-1). Suppose s = -16*z + 20*z - 8. Solve -24 = -0*f - 2*f - 5*v, 5*f + z = 3*v for f.
2
Suppose 0 = 88*o + 7*o. Solve -7*f - p = -12*f + 1, f - p + 3 = o for f.
1
Let m be ((-1)/(-2))/((-65)/2470). Let a(q) = q**3 + 17*q**2 - 36*q + 42. Let t be a(m). Solve -12 = -t*o + p, 3*o - 2*o - 5*p - 22 = 0 for o.
2
Suppose 0 = 4*n - 2*c - 84, 62 = 4*n + 4*c - 34. Suppose -m + 17*z = 19*z + 1, -n = -2*m + 4*z. Solve -27 = -4*y - 3*p, 3*y - m*p = -7*p + 19 for y.
3
Let z(w) = -w + 10. Suppose 187 + 13 = 25*u. Let j be z(u). Solve -j*i = -4*x - 0*i + 4, 14 = 2*x + 2*i for x.
3
Suppose 40 = 5*f + 3*w + 17, 2*w + 2 = f. Solve -6 = f*h - 25*n + 22*n, -h + 1 = -2*n for h.
-3
Suppose 4*s = z - 13, 5*s + 20 = 357*z - 355*z. Solve 33 = -3*w + z*j + 2, -2*w + 21 = 5*j for w.
-2
Suppose 4*c = j + 182, -5*j = -c - 3*c + 190. Let v be 120/c + 1/3. Suppose 8 = v*b - 37. Solve -5*n - 4*l = -b, 4*n + 3*l + 0*l = 12 for n.
3
Suppose 0 = 5*q - 0*q. Suppose -3*p + 15 = -q*p. Let u be 2/(-5) + (4 - 48)*46/(-460). Solve 5*z = -u*k + 10, 0 = p*k + 3*z - 4 - 2 for k.
0
Let m(c) = 3*c + 32. Let s(t) = -16*t - 10. Let l be s(-3). Let z = -48 + l. Let r be m(z). Solve 2 = 4*k - r*w, -2*k + 5*k - w + 1 = 0 for k.
-2
Let s(b) = -5*b - 14. Let f be s(-14). Let n = -57 + f. Let i be -10*(n + (-16)/(-20)). Solve 4*x + 4 = i*m - 6, 0 = m + 3*x for m.
3
Suppose 3*n - 3*x - 121 = 2*n, 3*x = 2*n - 257. Suppose 2*a + n = 146. Solve 2*m = 5*u + 11, -u + a*m - 17 = u for u.
-1
Let j = 11429 + -11329. Solve -2*m + 10 = 5*z, j*z + 32 = 103*z - 4*m for z.
4
Suppose -16 = f - 5*f. Let k = -46 + 79. Let v = 105 - 100. Solve -f*b - v*h + k = 0, -h + 5 = -0*h for b.
2
Let p be ((-3)/(-5) - (-1798)/(-580))/((-2)/4). Solve 6*q = 2*q - p*a + 19, -4*a + 10 = -2*q for q.
1
Suppose 3*m = 286 + 251. Let a = 214 - m. Solve 5*l - r - 4*r + a = 0, 4*l + 24 = 3*r for l.
-3
Suppose 14 = 3*x + 5*m, 0 = -5*x + 2*m + 7 + 6. Suppose 20 = 4*f, x*y - 8*y + 5*f = 10. Let g = 364 + -353. Solve 5 = -2*z + r - 2, 0 = -4*z - y*r + g for z.
-1
Suppose -5*c - h = -37, 5*c + 9 = 5*h + 34. Solve z = -c*l + 2*l + 9, 3*z = -3 for l.
2
Let z(s) = -18 + 3*s + s