 3*u + 37 = 100, 3*u - 15 = 0. Let j = k - -88. Suppose -2*p = -0*p - j. Solve 0 = -4*b - 17 + p for b.
-3
Let c be (42/(-70))/((126/135)/14) - -33. Let u = -3 + 8. Solve u*z - c = -z for z.
4
Suppose 0 = 4*a + 2*z - 32, 0 = 4*a + 35*z - 37*z - 8. Let l = 0 + 10. Solve l = a*d + 30 for d.
-4
Let n be (-63)/30 + (228/30 - 8) - (-33)/6. Suppose -3*y = -2*y - 12. Solve -n*q - y + 9 = 0 for q.
-1
Suppose 29 = -7*d + 22. Let u be 20 + -15 - (1 - d). Let m(j) = j**2 - 1. Let s be m(-2). Solve -u = s*b - 6 for b.
1
Let w(r) = r**3 - 44*r**2 + 483*r - 19. Let c be w(24). Solve c*h = 56*h + 3 for h.
-1
Let r(b) = 2*b**3 - 50*b**2 - 2*b + 57. Suppose -60 = -3*p - 3*y, -p - 4*y + 2 = -3. Let x be r(p). Solve 2*s - x = -1 for s.
3
Let w = -36158 - -36253. Solve 27 = -w*o + 312 for o.
3
Let m = 9490 + -9472. Solve -25*y = m*y - 43 for y.
1
Suppose -4*d + 2*y = -16, 4*d - 3*d + 3*y - 11 = 0. Let a(o) = -34*o - 58. Suppose -4*z = -20, -4*n - 5*z + 0*z = -17. Let u be a(n). Solve 10 = -d*q - u for q.
-4
Let j(a) = -a**2 + 3*a + 1. Let x be j(3). Let w = x - -3. Let n = -4801 + 4803. Solve 0 = -n*v - w for v.
-2
Let w(f) = -4*f - 11. Let o be w(-11). Let h = -144 - -147. Suppose 0 = h*t + 6 - o. Solve 5*k = t - 29 for k.
-4
Let u = -445 - -518. Let f = -69 + u. Solve 0*n - 12 = f*n for n.
-3
Suppose -r - 4*f + 16 = f, -5*r = -3*f - 80. Suppose 8*v = -4*a + 4*v, 3*a = v + r. Solve 0*y = -a*y + 16 for y.
4
Suppose v - 8 = 1. Suppose v*c - 112 - 113 = 0. Suppose -2*j - c + 55 = 0. Solve -4*m - j = m for m.
-3
Suppose -12 = -4*z - 0*z - 4*h, h + 1 = 3*z. Let x(k) = 6*k**2. Let u be x(z). Let w be 4*(u/2)/6. Solve 0 = -r + w*r + 1 for r.
-1
Let t = 5997 - 5984. Solve -t*s + 25*s - 48 = 0 for s.
4
Let r = -455 - -462. Let m(u) = -2*u**2 + 14*u + 17. Let t be m(r). Solve 0 = -t*s + 22*s - 20 for s.
4
Let d(j) = 5*j - 30. Let a be d(6). Let u be 24/156 - (-189)/39. Solve u*p + 2*p + 28 = a for p.
-4
Let n = 14210 - 13018. Solve 4*k + 1168 - n = 0 for k.
6
Let q be (-10)/8*-2*(0 - -2). Suppose -3*p = 2*u + 3, 2*p + 15 - 2 = -q*u. Let a be 2*3/(-24) + p/4. Solve -5*n = -a*n + 20 for n.
-4
Suppose 3*b - 4*m - 2 = 0, 2*m = -3*b - 4 - 6. Let y(p) = -3*p**2 - 4*p - 4. Let v be y(-4). Let s be (-3)/b - v/(-24). Solve -3 = -r - s*r for r.
3
Let r(m) = m**2 - 4*m - 18. Let t be r(7). Let l = 1 + t. Let w be -1*(l - 3)*0/1. Solve 3*k - 9 = -w*k for k.
3
Suppose -2*i + 2*x + x - 76 = 0, 5*x = 3*i + 114. Let l = 2 - 38. Let g = l - i. Solve g*h + 3*h = 20 for h.
4
Let p(w) = w**2 - 265*w + 2060. Let v be p(8). Solve v*m + 150 = 34*m for m.
5
Let t(q) = -68*q**3 - 3*q**2 - 4*q - 2. Let a(l) = l**3 - l**2 + 1. Let y(z) = -2*a(z) + t(z). Let v be y(-1). Let w = v + -66. Solve 0 = -w*o + o for o.
0
Let p(z) be the first derivative of 1/3*z**3 + 18 - 11*z**2 + 43*z. Let q be p(20). Solve -2*m + q = -7 for m.
5
Suppose 0 = 144*n - 154*n + 450. Suppose 0 = -33*a + 144 - n. Solve 0 = 4*b + 9 + a for b.
-3
Suppose -8*t - 6*t + 2*t = 0. Solve p = -t*p - 2*p for p.
0
Let f be (-18)/20*(4 + 126/(-9)). Solve -n - f*n = 30 for n.
-3
Let w(t) = 2*t**3 - 2*t**2 - t + 1. Let a be w(1). Let l be (6 - -54) + 3 + -1 + a. Let s be (-18)/135 - l/(-15). Solve -7*c = -s*c for c.
0
Let v(a) = a**3 - 2*a**2 + a. Let t be v(3). Let s be (66 - 56)*((-42)/(-12) + -3). Solve -13 - t = -s*j for j.
5
Let n(d) = -82071*d - 410325. Let k be n(-5). Suppose -3*c = -c. Solve -k = -c*j + 10*j for j.
-3
Let n(x) = 2*x - 8. Let i be n(6). Suppose -5*k + 0*k + 4*s - 8 = 0, -3*k = i*s - 8. Suppose -6*j + 36 = -k*j. Solve 4 = j*a - 7*a for a.
-4
Suppose -2*p - p = -3*d + 138, 2*d = -5*p + 71. Suppose -2249*i + 2263*i - 672 = 0. Solve 0 = -i*o + d*o - 5 for o.
-1
Suppose 27*t = 135*t + 68*t - 31680. Solve 2*a + t = 62*a for a.
3
Let z(k) = -k**2 + 3*k + 71. Let i be z(9). Solve i*n - 42*n + 150 = 0 for n.
6
Let s = 21 - 142. Let a = -120 - s. Solve -y = -0*y + a for y.
-1
Let i(x) = -x**3 + 2*x**2 + 3*x + 1. Let g be i(3). Suppose -4*d + 0*m = 3*m - 316, 4*d - 300 = m. Suppose d = 3*j + j. Solve -4*k - g = j for k.
-5
Let c(b) = -3*b**2 - b + 100. Let j be c(0). Solve 19*p - 14 = j for p.
6
Suppose 217 = -c + 8*x - 3*x, -16 = -4*x. Let a = c + 201. Solve -a*m + 2*m = -10 for m.
5
Let p = 2462 - 2470. Let m(t) = -6*t**2 - 39*t + 49. Let c(a) = 4*a**2 + 26*a - 33. Let r(y) = 8*c(y) + 5*m(y). Let d be r(p). Solve -d*o = 4 + 1 for o.
-1
Suppose 302*j + 7 = 309*j. Solve -7*p = -20 - j for p.
3
Let p be (3354/301)/((-1)/(-7)). Let v be 130/p*(-18)/(-10). Solve -2 + 17 = -v*w for w.
-5
Let m be (14/4)/(14/(-8) + 2). Suppose m*v + 4*v = 36. Solve -v*g - 5 - 5 = 0 for g.
-5
Let m(d) = d**2 - 9*d - 48. Let u be m(13). Suppose -f = 4*f - 45. Solve -u = z - f for z.
5
Let l(a) = a**2 + 6. Let n be l(0). Suppose -8*m + 4 = -n*m. Suppose -3*f = m*v - 18, -4 = -f - 2. Solve v*p = p + 20 for p.
4
Suppose -25 = -4*j + g, -5*j + 11 - 1 = 3*g. Let n(u) = u**3 + 39*u**2 - 90*u - 301. Let l be n(-41). Solve 4*f + j*f = l for f.
3
Let b(u) = 4*u - 63. Let n be b(17). Let p be (12/n)/((-6)/(-20)). Solve 0 = 2*q + 2*q + p for q.
-2
Let v be 1/(3/(-3) - (5 - 5)). Let k be (-28*(-4)/16)/(v/(-2)). Solve -5*i = -k + 4 for i.
2
Suppose 4*c - 179 = 3*d - 12, -2*c + d + 81 = 0. Solve -19*j = 57 + c for j.
-5
Suppose 8694 = 169*c - 8*c. Solve -33*t - c*t = -609 for t.
7
Let s = 130 + 112. Let q = s + -222. Solve -f = 3*f + q for f.
-5
Let g(j) = -286*j + 861. Let s be g(3). Solve -14*q = -15*q + s for q.
3
Let l = 69 - 68. Suppose -5*z + 0*z = -5*b + 35, 0 = 4*b - 2*z - 20. Let o = -5 - -9. Solve l = o*m - b for m.
1
Let d(u) = -4*u + 28. Suppose -6*k = 3*k - 288. Let t be (-31 + k)/((-1)/(-7)). Let y be d(t). Solve 5*b + 0 - 5 = y for b.
1
Let x = 5 + -1. Let o be (-1224)/28 - 6/21. Let l be (-5 - o/12) + (-120)/(-9). Solve -7*i = -x*i + l for i.
-4
Let j be -4 - (65/(-9) + 4/18). Suppose h = -2*o, h + j*o + 1 = -0. Solve 0 = -h*z - 4 - 4 for z.
-4
Let k be (-20)/(-7)*9*14/6. Solve 36 = k*z - 66*z for z.
-6
Suppose -2*k + 4 = 0, 0 = 3*a - 6*k + k - 137. Suppose 54 = a*l - 43*l. Solve -9*o = -6*o - l for o.
3
Let k = -424 - -426. Suppose -k*m + 92 = 4*l, 38*l = 5*m + 37*l - 219. Solve 12*o + m = 8 for o.
-3
Suppose o = 5*r - 194, -2*r + 82 = 2*o + 2*o. Suppose -3*m = 21 - r. Suppose -7*x + 2 = -m*x. Solve x*g = 2 + 2 for g.
2
Suppose -4*p = -5*w - 2 - 27, 2*p - 22 = 4*w. Let l be (-84)/(-5) - 2 - p/(-5). Suppose 28*x + l = 31*x. Solve 2*j - x*j = -3 for j.
1
Suppose 2*l + 3*w - 42 = -l, -5*w + 6 = l. Suppose l = -2*r + 40. Solve 4*i - r = i for i.
4
Suppose k = -3*c + 13, -6*c = -2*c - 12. Suppose 17*n - k*n = 195. Let l be -1 + ((-2)/(-6))/(1/n). Solve -l*u - 3 - 5 = 0 for u.
-2
Let o = -5950 - -5955. Solve -266*b + 271*b + o = 0 for b.
-1
Let c(s) = 122*s**3 + 6*s**2 - 8*s + 3. Let g be c(1). Suppose 124*m = g*m + 12. Solve -15*y = -m*y + 9 for y.
-3
Let j = 13 - -49. Let o = -72 + j. Let b be o + 18 + (-3)/(-3)*-3. Solve 2 = b*z + 17 for z.
-3
Suppose 8*d = -1654 + 2142. Solve -d*z - 30 = -55*z for z.
-5
Suppose -3*u = -3*k + 3222, 5*k - 18*u - 5364 = -14*u. Solve 0 = 6*t - k + 1026 for t.
7
Let j(z) = 373*z - 1342. Let b be j(11). Solve b*a + 5 = 2762*a for a.
5
Let h = -18 + 108. Let u = -88 + h. Solve u + 1 = -k for k.
-3
Let u = -3226 + 3226. Suppose 5 + 4 = 3*q. Solve q*b - 3 = -u for b.
1
Suppose 0*m - 141 = -m - b, -7*m - 5*b = -987. Solve m*i = 151*i - 30 for i.
3
Let v be (1/(15/6))/((-4)/20). Let o(p) = -9*p - 6. Let r(f) = -f - 1. Let w(s) = -o(s) + 12*r(s). Let m be w(v). Solve 2*d + m = -2 for d.
-1
Let v be 0/(((-8)/(-12))/((-12)/(-18))). Solve -42*l - 47 - 79 = v for l.
-3
Let g = 280 - 276. Suppose 8*r + g*r - 36 = 0. Solve 5*b - 17 = r for b.
4
Suppose 0 = -8*j - 280 - 0. Let f be -1*(-2)/4 - j/10. Suppose -5*x + 70 = -5*i, -x + 4*i = -f - 19. Solve -2*t + 1 - x = 0 for t.
-5
Let u = 10906 - 10897. Let w(x) = x**2 + 6. Let a be w(0). Solve u*i + 3 = a*i for i.
-1
Suppose n + 2*v + 26 = 0, 2*v - 89 = 3*n - 3*v. Let x(b) = -5*b - 137. Let f be x(n). Solve 2*w = f - 11 for w.
-4
Let f = 23712 + -23658. Solve 0 = -14*t - 54 + f for t.
0
Suppose 3*a = -2*v + 3, 0 = 5*v - 0*v - 4*a - 42. Suppose -2*i = 16*z - 19*z - 12, 0 = 3*z + v. Solve -i*f + 2 = -4*f for f.
-2
Let m(g) = -g**2 - 18*g - 17. Let v(u) = 2*u**3 - 9*u**2 + 3*u - 10. Let