
Let t(u) = -706*u + 3. Let d be t(0). Solve -d = 2*w + 1, -5*p + 23 = -4*w for p.
3
Suppose 4*h = -2*d + 24, 3*h = -3*d + 81 - 69. Solve 3*b + 0*a - h = -4*a, -3*a = -2*b + 11 for b.
4
Let g(v) = v**2 + 6*v - 11. Suppose -6*r + 2*r - 3*s = -5, r - 4*s = 6. Let t be g(r). Solve -5*b + 2*m - 17 = 0, 0*b - 12 = t*b + 3*m for b.
-3
Suppose -12 = -4*f + s, 12 = 5*f + s - 3*s. Let v = f - -1. Let c be 68/(-51) + (-30)/(-9). Solve h - 10 = 5*x, -c*h + 2 = v*x - 3 for h.
5
Let p = 111 - 111. Let r be 32/(-5) + 16/40. Let u be (-1)/(-4 - 21/r). Solve -o = -5*q - 1, 2*o + 0*o + 2*q - u = p for o.
1
Let q = -11651 - -11653. Solve 4*j - 3*r + 0*r = 18, -2 = -2*j - q*r for j.
3
Let y be 32/(135/(-35) - -4). Suppose y = -12*c + 5*c. Let m be (-76)/(-6) + c/48. Solve -p + 5*g = -17, 3*p = 5*g + m + 9 for p.
2
Let y = -53 - 279. Let n = y - -332. Solve i - 10 = 4*j, 3*j + n*i + 2*i = -13 for j.
-3
Let b(a) = -a**3 - 22*a**2 - 98*a - 27. Let p be b(-16). Let t = 65 + -61. Solve 3*i + 2*i = -p*u - 35, t*u + 22 = -i for i.
-2
Let f(v) be the second derivative of v**5/10 - 11*v**4/12 - 11*v**3/6 + 15*v**2 + 19*v + 1. Let l be f(6). Solve -2*n + l = 6, -u + 10 = -2*n for u.
4
Suppose -3*s + 42 = -5*j, 4*s = -10*j + 8*j + 56. Suppose -62 = -s*b + 106. Solve -r - 3*r = b, -5*g + 20 = -5*r for g.
1
Let k be ((-92)/8)/((-1)/4). Suppose -430 = 2*t + 8*t. Let b = t + k. Solve -b*h + 11 = 5*r + 39, 4*h - 11 = 3*r for h.
-1
Let j be (0 - (-72)/40)*20/6. Suppose 25*b = j*b + 6*b. Solve -3*o + 3*s = 8*s + 1, 4*o + 4*s - 4 = b for o.
3
Suppose 0 = 41*j - 43*j + 10. Let x be (-156)/208*-2*(-4)/(-3). Solve 0 = -x*s + 3*s - 5*g + 30, -4*s - 5*g + j = 0 for s.
-5
Suppose 3*j = 381*h - 386*h - 11, 5*h = -5*j - 5. Solve -4 = 3*u + 4*a + 13, -2*u - j*a - 12 = 0 for u.
-3
Let v = 46 + -46. Suppose -5*m + 1 - 6 = 5*l, v = 3*m + 2*l + 4. Let x(d) = 2*d**2 + 2*d. Let h be x(m). Solve 4*z - 4*q + 16 = -z, 5*z + h*q - 16 = 0 for z.
0
Let i(p) = 2*p - 8. Let x be i(5). Let y be 0 + (x + -1)*10. Let u(k) = -155*k - 155. Let q be u(-1). Solve q - y = -5*z, 7 = -n + z for n.
-5
Suppose 8*o = 74 - 66. Solve 4*x = c - 5, -5*c = -5*x - 24 - o for c.
5
Let p = 291 - 241. Suppose -406*j + p = -396*j. Solve 4*a - 3*a - 3 = -4*t, -25 = 3*a - j*t for a.
-5
Suppose -2*c - 12 = -20. Let t be 3 - 2 - c - (0 - 7). Suppose 15 = 2*o - 7*o, 0 = t*r + 4*o - 108. Solve 3*x + 17 = -0*z + z, -2*z = -5*x - r for x.
-4
Suppose 32*v - 34 - 36 = -6. Let c(z) = z**3 + 8*z**2 - 10*z - 4. Let f be c(-9). Solve -f*s + 4 = -s, 0 = -3*y + 4*s + v for y.
2
Let q = -7 - -15. Let y be 5/(-2) + (-6)/4 + q. Solve -3*u = y*p - 4, 2 = 2*p - 8*u + 5*u for p.
1
Let m be 12/20 - -2 - 4/(-10). Suppose -21*j = m*j - 48. Solve -4*t + j*t - 5*g + 19 = 0, 2*t - 4 = -2*g for t.
-3
Let k(c) = -6*c**2 - 20*c + 7. Let w be k(-6). Let n = -85 - w. Solve -5 = -n*l + 5*f, -f - 14 = -4*l + 3 for l.
5
Suppose 172*w = 39 + 892 - 71. Let d(j) = -j**3 + 10*j**2 - 10*j + 9. Let u be d(9). Solve -2*b + 33 = w*z, -z + 5*b = -u*z + 15 for z.
5
Let p(n) be the second derivative of n**4/12 - 6*n**3 + 133*n**2/2 - 9*n - 1. Let s be p(32). Solve 3 = q + s, -q = d + 3 for d.
-1
Suppose 4*i = -3*p - p + 316, 5*i = 4*p - 325. Let a = p + -68. Suppose -4*j = 3*s - 0*s - a, 0 = 5*j - s + 4. Solve 4*n + o - 4 = -j, 0 = -5*n - 3*o - 2 for n.
2
Suppose 3*k = k + 3*c + 80, 5*k - 2*c = 222. Suppose k - 38 = 2*m. Solve 32 = -3*y + m*l, 2*y - 2 = -2*l - 0*l for y.
-4
Suppose 3*r + 26 = 3*m - 4, 3*m = -4*r - 5. Suppose -m*f = -31 - 29. Solve -2*a - f = -4*b, 0 = -5*a + 4*b - 3 - 9 for a.
0
Let k(i) = i**2 + 18*i + 60. Let y be k(-14). Let d be (-12)/15*5/(-2). Suppose -3*r + d = -13. Solve y*a = 3*b - 11, 0 = 5*a - 5*b - r + 15 for a.
-5
Suppose -95*j - 64 - 40 = -579. Solve 0 = -3*o + o + j*n - 27, 5*o - 4*n + 25 = 0 for o.
-1
Let y(z) = 28*z + 18. Let r be y(-1). Let l be 1/1 - (r - 18/(-3)). Suppose -4*s + 3*s = -2. Solve 2*x + 13 = l*a, 2*a + 3 = -s*x - 3*a for x.
-4
Let s be 5 + ((-4)/(-1))/(-2). Suppose 88 = 4*u - 5*r, s*u + 5*r - 155 = -2*u. Solve 0 = -5*q + 4*h - 3*h - u, -h = 2*q + 8 for q.
-5
Let w be (-10584)/(-39690)*((-1)/(-3) + 44/3). Let i(j) = -j**2 - j + 8. Let z be i(0). Let r be 2/z - (-94)/8. Solve m + w*u + 1 = r, 4*m + 3*u - 5 = 0 for m.
-1
Let c be ((-800)/280)/(16/(-56)). Solve -t - 5*y - 13 = 0, 28*y - 26*y = -2*t - c for t.
-3
Suppose 3*d = 3*w - 3, -4*d - 9*w + 10*w - 1 = 0. Suppose d = -78*p + 80*p - 12. Solve p*i - i - 31 = 3*f, -7 = -i + f for i.
5
Let g = -2 + 4. Suppose 0 = -2*k + 34, 0 = 4*c - 134*k + 139*k - 109. Solve 0*v + 2 = -g*v, 5*z + 4*v = c for z.
2
Let d = 37 - 28. Suppose 4*y - 26 = 5*o, 0*y + y - 14 = 5*o. Suppose -d = -y*l + l. Solve 4*a - 12 = 4*m, l - 9 = -4*a + 2*m for a.
0
Let x be 5/2*30/(-25). Let k be (9/(-15))/(x/15). Let g be -2 - -2 - (k - 7). Solve g*a + a = 4*c - 5, -5*a + 5 = -2*c for c.
5
Let o(s) = 4 + 2587*s - 2583*s - 33. Let l be o(8). Solve -r - 10 = -j, -l*r = -3*j + r + 35 for j.
5
Suppose -6 = 6*k - 78. Let x be 3/(-2 + ((-33)/k)/(-1)). Solve u = 4*q + x + 1, 4*u - 5*q + 2 = 0 for u.
-3
Suppose -2*h = -2*d + 10, -3*h = d - 15 + 30. Solve -6*a + a + 9 = -3*y, d = a - 4*y + 5 for a.
3
Let w = -288 + 346. Suppose 4*i - 4*l = 80, l - 2*l - w = -3*i. Solve 4*v = -2*z - z + i, 2*v = -5*z + 27 for z.
5
Let w be (-7 - 38/(-6))/(2/201). Suppose 5*g - 355 = 2*d + 3*d, 3*d = 12. Let z = w + g. Solve -3*p + z = -i - 0*i, -32 = -3*i - 5*p for i.
4
Let p(t) = -18*t**3 - 2*t**2 - t. Let u be p(-1). Suppose 4 + u = 7*j. Suppose k + 0*k - 4 = 0. Solve a - j*y - 12 = 0, -a + 10 = k*a - 5*y for a.
-3
Suppose -9 = d - 27. Let n be (-906)/(-30) + (d/(-15) - -1). Suppose i = -5*i + n. Solve -3*j + 15 = -2*k + i*k, j + 3*k = 9 for j.
3
Let w(h) = 23*h**2 + h**3 + 17*h + 8*h**2 - 45*h**2 - 49. Let i be w(13). Solve 4*q = 4*d + 8, -5 - 1 = -i*d for q.
4
Let f be (-24)/(-16)*((-48)/(-9) + -4). Suppose f*h = h. Solve -2*s = -z + 3*z + 4, 3*z = h for s.
-2
Let t be 2 - -4 - ((-18)/(-36) - 28/(-8)). Solve 0 = -5*v - 5, 4*q - 2*v = -4*v + t for q.
1
Let l be 9/18 + 1*(-5)/2 + 6. Solve 0 = -l*y + 12, 4*z - z + 30 = 5*y for z.
-5
Let j(z) = 2*z**2 - 2*z**3 - z**2 + 78*z - 70*z + 6. Let a be j(-3). Let y = a + -28. Solve 5 = -5*d - 6*r + r, r - y = 5*d for d.
-3
Let b be (-2)/9 + 34/153. Suppose b = -5*s + 4*t + 14, 3*s - 16 = s - t. Suppose 5*g - s = 3*g. Solve -4*o + 12 = 0, -2*q + 5*q + o = -g for q.
-2
Let s(a) = 6*a + 62. Let g be s(11). Let o = g - 98. Suppose o = 6*i + 4*i. Solve i*x + 15 = 0, -4*x - 37 = -4*w + x for w.
3
Let t be (-14)/(-1)*11 + 3. Suppose 152*m - t*m = 0. Suppose -5*s - 17 = 2*z - 5, 36 = 5*z - 4*s. Solve -v + 8 = 4*v - 4*b, v + 2*b + z = m for v.
0
Let g be (0 - -50)*8/12*-24. Let n be (g/48)/((-2)/18). Suppose 7*r = r + n. Solve 0 = 5*k + r, -2*k + 9 = 5*d + 24 for d.
-1
Let a = -150 - -848. Let c = a - 681. Solve -5*v = -m, 0 = -3*v - 0*v + 4*m - c for v.
1
Let i(j) = j**2 + j - 1804. Let r be i(42). Solve x + r*w - 7 = 3*w, -w - 15 = -3*x for x.
4
Let z = -90 + 95. Suppose -u + z*u - 4*a = 16, -5*a = -3*u + 16. Solve 2 = -k - 2*j, -u*j + j = 2 for k.
2
Let r(d) = -4*d**3 + 30*d**2 + 15*d + 11. Let y be r(8). Solve -43*x - 21 = -40*x + 2*o, 0 = -o - y for x.
-5
Let r = -266 - -269. Suppose -6 = 5*w + r*q - 17, -2*w - 6 = -4*q. Solve -u - w = x, -4*x - 3 = 5*u + 4 for x.
2
Let s = 5454 - 5445. Solve k + 2*b + s = -5, -2*k = 3*b + 23 for k.
-4
Let n(w) = 266*w**2 + 248*w**2 - 515*w**2 + 3*w + 182. Let u be n(-12). Solve -2*i - 2*p - 20 = -7*i, 0 = u*p for i.
4
Let h(x) = -86*x + 436. Let j be h(5). Solve r - 5*w = -18, 4*w - j*w + 6 = 0 for r.
-3
Let t(l) = 29*l - 2781. Let y be t(96). Solve -7 = -y*p + u, 36*p = 39*p + 2*u - 13 for p.
3
Suppose 2219*m - 2152*m = 1273. Solve -j + 2*o + 5 = 0, -5*o - m = 557*j - 553*j for j.
-1
Suppose 0 = a - a - a. Suppose h + a*h + 2*s = 10, -4*h - s + 5 = 0. Suppose 2*r - x - 7 = h, 0*x = r - 3*x + 4. Solve 4 + 4 = 5*f - 4*m, -r*m = 3*f - 27 for f.
4
Suppose 218*d - 26*d = -21 + 597. Solve 0*a + k = -a, -10 = 5*a + d*k for a.
-5
Let w be 16704/180 - 2/(-10). Let r = w - 89. Let z(a) = -a**3 - 2*a**2 + a + 2. Let q be z(-2). Solve 2*j - r*d + 30 = 0, -4*j - 15 = -q*j + d for j.
-5
Let m = 5117 + -5115. Solve 2*o + 7 = -3*q + 5, 2*o - m = -2*q for q.
-4
Let f = -65