ppose -8 - 40 = -6*k. Let j be -4*(-8 - k/4). Suppose -10 = -42*s + j*s. Solve -g - 4*m + m = -6, 2 = -s*g + m for g.
0
Let j be -17 - (-18 - (16 - 15)). Solve -6 = 4*w - 6*w, j*w - 12 = 2*k for k.
-3
Let g(k) = -6*k - 1. Let r be g(-1). Suppose 13*j = 241 - 3764. Let f = j + 283. Solve -r*h - 13 = 2*a + 2, -3*a = -3*h + f for a.
-5
Let p(f) = -3*f**2 + 422*f + 1445. Let a be p(144). Solve 0 = -b + 3*j - 2, 118 = -3*b + a*j + 116 for b.
1
Let f = -640 + 651. Suppose 4*s + f = 9*s - 4*d, 3*d = 3. Solve -34 = s*b + 5*g, 15 - 35 = 4*g for b.
-3
Suppose -347*c = -345*c - 8. Suppose -c*j - 2*q + 0 + 6 = 0, j - 3*q - 5 = 0. Solve -3*m + 3 = -2*o - 6, 2*o + 6 = j*m for o.
0
Suppose 0 = -175*d + 464*d - 32079. Solve -4*w = 5*m - 1, 115*w + 4 = d*w for m.
1
Suppose 413*l = 412*l + 4. Solve 0 = k - a + 27 - 21, l*a - 19 = 3*k for k.
-5
Let b = -4492 + 4498. Solve r + b = -q, -4 = q + q for r.
-4
Let c be -2 + ((-4)/(-26) - (-3175)/65). Suppose 43*n = c*n - 12. Solve -n*y + 8*y + 7 = 4*k, 5*k + 4 = 2*y for y.
-3
Let t(m) = -3*m - 15. Let x be t(-5). Suppose 3*u - 15 = x, 7*k + 2*u = 6*k + 13. Solve 5*l + 5*a = 25 + 15, 4*l - 3*a + k = 0 for l.
3
Suppose -70*l + 171*l = -54*l + 465. Solve 2*p + 3*w - 6 = 2*w, -p = 5*w - l for p.
3
Let v = 66 - 24. Let i = -45 + v. Let d = i - -8. Solve 5 = -5*b - d*s, -4*s + s = -12 for b.
-5
Let z(p) = p**2 + 8*p + 18. Let n be z(-3). Suppose -n*w = w - f - 4, 4 = -w - f. Solve -5*h = w, h - 9 = -5*t + 2*t for t.
3
Suppose -3*o + 6 + 3 = 0. Let y(j) = j**2 + 70*j + 549. Let t be y(-9). Solve t = 3*p - 5*m - 22, -2*m - o*m - 24 = -p for p.
-1
Suppose -3*d + 4*d = -2. Let v be (5 + 3)/d - -9. Suppose -v*z + 34 = 9. Solve j + 24 = -z*f, 2*j - 1 = f - 5 for j.
-4
Let s(j) be the first derivative of -3*j**2 - 47*j + 62. Let n be s(-8). Solve 0 = 5*b - 4*d + 2 - 7, 0 = b + 2*d - n for b.
1
Let a = 285 + -280. Solve -5*h = -a*v, -2*v + 3 = 8*h - 9*h for v.
3
Let c be (-91)/2*(-228)/133 + -3. Suppose -19*l + c = -4*l. Solve -l*i + 14 = v, 5*i = 2*v - 0*v + 2 for v.
4
Let j be ((-2)/7)/(12/84) - -123. Suppose -125*k = -j*k. Solve k = -4*n + 2*c + 5 - 13, -5*c = 2*n + 4 for n.
-2
Suppose -25 = q - 26. Suppose -2*h = 2, 2*d = -0*d - 2*h + 2. Solve k + d*n = q, 0*n - 4*n = -k + 1 for k.
1
Let c be 14 - ((1 - 1) + 3). Let m(k) = -k**2 + 10*k + 15. Let i be m(c). Suppose i*y - 3 = 3*y. Solve -2*h + 3*r = r + 2, -2*r - 3 = y*h for h.
-1
Let k = 4382 + -4371. Solve -47 = -3*n + k*f - 3*f, f + 19 = 3*n for n.
5
Let b(k) = k - 18. Let p be -1 - (-4 + 3 - 18). Let m be b(p). Let l be m + (-1)/((-4)/16). Solve -t + l*x + 2 = 12, x - 9 = -3*t for t.
2
Let v(z) = z**3 + 5*z**2 - 31*z - 3. Let t be v(4). Solve -31 = 3*j - 22, -4*j = p + t for p.
-5
Suppose 0 = 4*m + 3*y - 5, -9*m - 87 = 3*y - 102. Solve -n + 2*j + m = 0, 5*n + 14 + 2 = -3*j for n.
-2
Let i(c) = 17*c**2 - c + 2. Let a be i(1). Let b be 794/a + 4/(-36). Let q = b + -39. Solve 5*v - 4*l + q*l = -13, -2*l = 6 for v.
-2
Suppose 47*v = 134 + 54. Solve -4*t + 4 = -4*q, 0 = 3*t + 2*q - v + 6 for t.
0
Let f = -28 - -32. Suppose -2*u = -4*t - 0 - 8, u = -3*t + f. Solve -5*y + 5 = 5*z, t = y + 2*z + 2*z - 4 for y.
0
Suppose 9*l - 40 = 14. Suppose -3*a = -m + l, 0 = -3*m + 2*m + 5*a + 8. Let s be 2/(-3) + 8/12. Solve s*x - x - 8 = -m*w, -2*w + 4*x = -22 for w.
1
Suppose 17*b - 13*b - 2*z = 58, -3*z = 2*b - 1. Solve -4*j - y + b = 0, -j - 1 = 40*y - 36*y for j.
3
Suppose -4*n + 56 = -2*s, 17*n - 15*n - 4*s - 46 = 0. Solve -2*g - 2*r = r + n, 0 = g - r + 3 for g.
-4
Let z be (0 + (-12)/5)*((-8)/(-24) - 2). Solve -2*v = z*i + 2*v + 4, 3*i + 4*v = 1 for i.
-5
Let r = 18276 - 18272. Solve -r = -6*v + 9*v + 4*n, 0 = -n + 2 for v.
-4
Suppose i + 3*u = -11, u + 21 = 2*i + 8. Suppose 2*n + 1 = m, m + 7*n = 6*n + i. Suppose 2*p - 6 = -0. Solve -c + 3*l - 14 = 6*l, -p*l - 24 = m*c for c.
-5
Let d = 276 - 141. Let i be (-6)/(d/(-20) + 6). Solve 4*b = i, 4*v - 5*b - 1 + 7 = 0 for v.
1
Suppose -2*n + 687 = 5*h, -22*h + 24*h - 286 = 2*n. Solve s + 22 = h*z - 143*z, s = 2*z + 8 for z.
-5
Let v(n) = 113*n**2 - 72*n - 1. Let b be v(1). Solve 4*c - 4 = -5*i, -5*c + 3*i + 8 - b = 0 for c.
-4
Let j be 253/(-33)*(3 + -4)*3. Solve -4*a + 4*z = 1 + j, 0 = 2*a + 4*z - 12 for a.
-2
Suppose 0 = -16*f + 17*f + 4*d - 164, -4*f + 3*d = -732. Let k = f - 176. Solve 3*x + 0*x - u = -k, -u = x for x.
-1
Let c be (-6)/6*(0 + -1) + 1. Let a be c/((-2)/(-3))*300/180. Solve -4*b + 11 = -0*b - a*q, 2*b = -2*q + 10 for b.
4
Suppose -o + 172 = 3*o. Suppose o = 4*k + 11. Let x(s) = 2*s**3 + 42*s**2 + 196*s - 152. Let j be x(-13). Solve -y = c, -3*c - k = -j*y + c for y.
1
Suppose -4*q = -8*q - 192. Let h = q + 49. Let x be 1/((11/10 - h)*2). Solve -4*b + x*m - 5 = 0, 3 = b - 3*m + 13 for b.
5
Suppose 3333 = -0*j + 11*j. Let g = j + -300. Solve 0 + 4 = l - g*a, -5*a = l + 4 for l.
1
Let q be 28/(-3)*(-36)/(-24). Let j(h) = 12*h + 170. Let d be j(q). Solve 5*u + 21 = -2*k, 4*u = d*u + 5*k + 9 for u.
-3
Suppose -4*g - 2*y - 9 = -21, -3*g + 5*y = -9. Solve 4 + 25 = -4*a + 5*v, a - g*v + 16 = 0 for a.
-1
Suppose 0 = -f - 5*t - 19, 4*t = -18*f + 20*f - 32. Solve 2*a + 4*i - 16 = f*a, 2*i = 0 for a.
-4
Let x be -14*5/40*-60. Let n = x - 104. Solve h + 4*a = -2*h - 10, -h = -3*a - n for h.
-2
Suppose -2*m + 24 = 4*r, 33 = 5*r + m + m. Solve -3*l = -2*t - 6, r = 4*t + 3*l - 15 for t.
3
Let z(q) = q**3 + 4*q**2 + 11*q + 24. Let i be z(-3). Suppose 8*n - 33 - 159 = 0. Solve i = f - 3, -2*f + n = -4*b + 2*f for b.
-3
Let n = -40 + 33. Let p be (-42)/98 + (-59)/n. Suppose -p*b + 44 = -44. Solve -s = a + 1, b = -5*a - 2*s - 0 for a.
-3
Let j(t) = -t**3 + 225*t**2 - 29 - 229*t**2 - 4*t - 15. Let r be j(-5). Let y be (18/(-3))/(r + (-5)/2). Solve 2 = -2*c + 3*f, -y*f + 47 = 4*c + 11 for c.
5
Let j = -9551 + 9553. Solve 6 = 2*m, -2*m = 3*q - j*q - 4 for q.
-2
Suppose 3*j = 7*j - 32. Let s(v) = v**3 - v + 114. Let i be s(0). Let h = i - 79. Solve -5*r - 3*n = -29, j*r - 3*r = -5*n + h for r.
4
Let v(m) = -m**3 - 3*m**2 - 4*m - 9. Let i be v(-3). Suppose 3*c + 9 = 0, 4*w + 7 = -i*c + 6. Solve w*s + 5*o - 25 = 0, -5*o = -3*s - 2*o + 6 for s.
5
Suppose 21*u - 210 = 23 + 313. Solve 29*p - u*p = 3*l, -3*l = 3*p for p.
0
Let c(f) = -5*f**3 + 253*f**2 + 364*f. Let p be c(52). Solve 4*s + 0*s + 12 = p, g = 3*s + 10 for g.
1
Let i be -1 - -2 - (-132)/12. Suppose 2*k - i = 42. Solve 2*n = 3*y - 8*y + k, 3*y = 4*n + 11 for y.
5
Let b(u) = -3*u**2 + 19*u + 5. Suppose -18 = -5*d - 3. Suppose -h = 2*i, i + d = -0. Let y be b(h). Solve 0*g - 2*g = 2, 5*m + 4*g - y = 0 for m.
3
Suppose 13*k - 62 = -10. Suppose 3*l + x = -266, 0 = 2*l + 3*l - 4*x + 466. Let m be (42/(-70))/(2/l). Solve -3*u - 3*c = -m, k*c + 0*c - 16 = 0 for u.
5
Suppose -15*v + 1188 = 29*v. Suppose 0 = -26*y + v + 77. Solve -s - 3*w + 7 = -0*w, 0 = 4*w - y for s.
4
Suppose 0 = 6*s - s. Let n be (-2)/(-13) + -10 + 2205/117. Suppose -72*p = -75*p + n. Solve p*q - v = -q + 1, -2*q + 3*v + 3 = s for q.
0
Let n be (240/(-10))/(-12) - -2. Solve -n = 2*f + 2*d, -9*d = -2*f - 8*d + 11 for f.
3
Let w(a) be the first derivative of a**4/4 - 2*a**3 + a**2 + 18*a - 38. Let m be w(5). Solve -m*z - 2*g = 2*z - 28, 4*g = -4*z + 32 for z.
4
Suppose 708 = 23*c + 61*c + 34*c. Solve -c*n = 0, j + 5 = -n + 3 for j.
-2
Let r = 100 - 99. Let i be (5 - (-74)/(-14))*-7*r. Let w(l) = 2*l**3 - l**2 - 4. Let v be w(i). Solve 4*u = -4*m + 8*u + v, -u + 8 = m for m.
5
Suppose 0*m - 3*g - 347 = -2*m, -2*m + 342 = 2*g. Let h = -172 + m. Solve -2*c + 5*j - 25 = 3*c, 4*c - 2*j + 14 = h for c.
-2
Suppose 3*t = -y - 12, -32*y + 27*y + t + 36 = 0. Solve 3*o = 4*i + 1 - 0, -o - y = 5*i for i.
-1
Let p be (-13 + 1)*276/18. Let z = -179 - p. Solve 0 = -z*j - t + 5*t + 3, -5*j + 2*t = 1 for j.
-1
Let p be -92*2 + -13 + 5 + 3. Let z = p + 196. Solve -z = -b + 2*v, -v = 3*b + 4*v + 23 for b.
-1
Let n be (-48)/(-9) + (-9)/54*8. Solve -7 = 2*a + 5*y, -n*y = -5*a + a for a.
-1
Let o be ((-4)/(-2) - -1)/((-4)/(-56)). Suppose 0 = 8*b + 6*b - o. Solve 0 = -3*n - 9, -5*v - b*n + 0*n = -16 for v.
5
Let x be 90/(-126)*-301*1. Solve o = -1, -3*g - 217*o + 10 = -x*o for g.
4
Suppose -7*n = 14*n - 63. Let d be (75/(-9))/(-5)*(-2 + 5). Suppose 2*f + 15 = d*i + 5*f, -i - 5*f + 25 = 0. Solve 7 + 16 = -5*c + n*g, i = -4*g + 4 for c.
-4
Suppose -5*v