 w + 24, 0 = -3*n - 33*w + 30*w + 18. Solve -2*u + n*y - 2*y = 7, -2 = 4*u - 2*y for u.
1
Let d be 5 - 3/3*1. Suppose 0*n - d*n = -60. Let w be ((0 - -1) + 2)/(n/5). Solve 6 - w = -5*r - 3*t, 5*r = 5*t - 5 for r.
-1
Suppose -20 + 10 = -2*j. Suppose -4*p + 5*x + 25 = 4*x, -2*x - j = p. Solve 0 = -p*m + 20, 2*m + 0*m - 2 = 2*c for c.
3
Let n(p) = 4*p**3 - 2*p**2 - 5*p + 6. Let o = -219 - -220. Let h be n(o). Solve 2*f + 2*f - 2 = s, -3*f = -h*s - 6 for s.
-2
Let w(z) = 7*z**2 - 204*z + 35. Let s be w(29). Solve -2*o + s*o = -5*h - 40, 4*h + 31 = -3*o for h.
-4
Let b(n) = -4*n + 190. Let m be b(46). Solve -5*r + 18 = -4*a, -5*a - 8 = -2*r + m for a.
-2
Suppose -3*o - 2*o = -10. Suppose 6*i - 2478 = -2412. Solve 3*r + i = o*s - 5, -r = 2 for s.
5
Let w be 4/(-24)*(-48 - -24). Solve g - 2*b + w = -2, 3*g - 4*b + 12 = 0 for g.
0
Let u = 742 - 742. Solve 0*w + 23 = -3*w - 4*x, u = -w - 4*x - 13 for w.
-5
Let w(k) = -267*k + 806. Let s be w(3). Solve 3*f - 12 = 28*h - 25*h, 3*f = -s*h + 4 for f.
3
Let h = -12986 - -12992. Solve h*l - 5*v - 5 = 11*l, 4*v = 0 for l.
-1
Let i be (-7)/((-42)/(-30)) + 4 + 4. Solve -42*p + 7 = -i*g - 43*p, 3 = -3*p for g.
-2
Let j(t) = -t + 8. Let f be j(6). Let z be (1 + 8)*-25*-3. Let w = z + -673. Solve -6 = 2*x + 5*p - 8*p, 0 = -2*x + f*p - w for x.
3
Suppose 0 = 3*u - 39*u + 1616 - 464. Solve -3*k = 4*d - u, k + 2*d - 20 = -6 for k.
4
Let y(i) = -i**2 + 32*i - 104. Let h be y(4). Suppose h*k - 109 = 43. Solve 8*u = 3*u - 3*r + k, 2*u - 4*r = -8 for u.
2
Let q = 31 + -33. Let a = 4 + q. Let g(t) = -t**2 - 16*t + 38. Let s be g(-18). Solve 0 = v - 2*m - a, 2*v = -s*v - 4*m + 8 for v.
2
Suppose 80*s = 56*s - 96. Let j be s/4*5 + 0 + 7. Solve -i + j*n = 6, -3*n + 1 = -5*i - 8 for i.
0
Suppose 4*g - 4*k + k = 11, -4*g - 3*k + 29 = 0. Let f be 15/20 + 18/8. Solve -g*s + 23 = q, 4*q + f*s - 18 = 6 for q.
3
Let t be ((-18)/15 - -2)/(4/30). Let g(l) = -5*l**2 - 136*l - 24. Let o be g(-27). Solve -4*a + t = -2*w - 0*w, w + o = -5*a for a.
0
Suppose 0*d = 5*d + 3*u - 150, -190 = -5*d + 5*u. Let n = d + -32. Let k be (-4 + 2 + n + -4)*-1. Solve -3*z = 2*v + 6, v + k*z + 6 = 2*z for v.
0
Suppose -47*f - 2*o = -44*f - 29, -5*o + 30 = -f. Solve 3*n - 16 = -f*i, n - 8 = -i + 2*n for i.
5
Let w be 165/143 + 4/(-26) - -5. Suppose 0 = -w*c + 4*c + c. Suppose c = p - u - 3, p = 6*p + 2*u - 29. Solve -4*h - h - 2*v = 20, 4 = -h + p*v for h.
-4
Let r(g) be the second derivative of -1/3*g**4 + 0 + 11*g + 5/6*g**3 + 2*g**2 + 1/20*g**5. Let p be r(3). Solve -6 - 6 = 2*f + 4*a, 3*f - p = a for f.
2
Let s be (2/(2 - 3))/((-58)/58). Suppose 0 = -m - s*c - 6, -2*c = -2*m + c + 23. Solve m*k + 3*v - 16 = 0, -3*k + 10 + 2 = -v for k.
4
Let u be ((-8)/(-3))/((-32)/(-48)). Suppose -y - 13 = -5*m - u*y, 0 = -3*m + y + 19. Suppose -m*g = -g. Solve g*p + p - 18 = -5*k, -k - 3 = -2*p for k.
3
Let g = 785 + -105. Let v = g + -677. Solve -t = -2*y - 1 + v, -7 = -5*y + 2*t for y.
3
Suppose 13*k - 5*x + 3 = 316, -4*x - 32 = 0. Solve 2*g = -2*u - 6, g - u + k = -4*g for g.
-4
Let b be (-256)/(-24) + (-6)/9. Suppose -3*k = 3*h - 9, -4*h - 1 = -3*h. Solve -4*m - 3*y - 1 = 12, -b = k*m + 2*y for m.
-1
Suppose 0 = 105*b - 465 - 127 + 67. Solve -31 = -5*x + 4*r, 0 = -b*x + 2*r + 23 for x.
3
Let p = 6674 + -6669. Solve 5*g = p*y - 20, 8*y + 10 = -4*g + 6*y for g.
-3
Let k be (-80)/(-14)*(-364)/(-104). Suppose -k = -2*z + i + 3*i, -4*z + i + 5 = 0. Solve 0 = 5*w + 20, 3*t + 4*w = -z*t - 1 for t.
5
Let s be (1/1)/1*4. Let k(m) = -4*m + 17*m - 8*m - 7*m - m**2 + 3*m**3 + 11 - 9. Let z be k(1). Solve 18 = x + z*x - 3*c, -20 = s*c for x.
1
Let m = 329 - 324. Suppose -m*c = -2*t + 25, 6*c = -t + c - 10. Solve -t*g + u = 0, -u + 23 = 2*g - 6*u for g.
-1
Let f be (18/15)/(9/60). Suppose 14*p - 7*p = 21. Suppose f = 5*r - p*r. Solve 0*m = -m - g, -m - 2*g + r = 0 for m.
-4
Let t(z) = 2*z**2 + 70*z + 3. Let y be t(-35). Solve 0*k - k + 10 = y*a, -3*a - 5*k = -26 for a.
2
Let w be (-5)/2*984/(-60). Let h = 36 - w. Let n be (h/(-2) + -2)*0/(-2). Solve 5 = -x + 3*r, -r + 5 + n = -x for x.
-5
Let v = -20294 + 20295. Solve 20 = -4*h, -18*t = -20*t + h - v for t.
-3
Suppose -3*y - 8 + 2 = 0. Let b be 1/4*y - 36/(-24). Let n be -1 - ((-216)/45 + b/(-5)). Solve h + n*h + 16 = 4*i, -12 = -3*i - 2*h for i.
4
Suppose 23*q = 298 - 275. Solve -w = 3*t + 16, -4*t - q - 11 = 0 for w.
-7
Suppose 3*v - 3*f + 6 = 30, 4*v + 5*f = -4. Suppose 338 = 9*k + 257. Suppose 7*u + k = 30. Solve -u*p = t + p, 0 = -4*p + v for t.
-4
Let y = 43 - 28. Suppose 73*r - y = 68*r. Let l be 2 - ((r - 3)/4)/(-2). Solve -4*t - l*d - 20 = -3*d, t = -5*d - 5 for t.
-5
Let y = -12968 + 12972. Solve -5*z + 23 = 3*x, 9*z = y*x + 4*z + 16 for x.
1
Let q(x) = -x**3 + x**2 + 1280. Let n be q(0). Suppose -n = 13*i + 3*i. Let j = -77 - i. Solve 0 = j*o - 2*y - 19, 3*y + 4 = 3*o + 4*y for o.
3
Let l = 38 - 41. Let u be l + 0 - (-90)/18. Suppose -i - u*t = 2*i + 8, 4*t = 2*i - 16. Solve -2*h + 8 = -4*p, i*p = -2*h - p - 12 for h.
-4
Let b be (0 + -1)*-1*9. Let z be ((-1)/3)/(32 + 4235/(-132)). Solve -4*v + z*m - 8 = -3*v, m + b = 3*v for v.
4
Let v = 10201 + -10198. Solve 2*w + 14 = -i, -5*i - 46 + 11 = v*w for w.
-5
Let l(v) = -61*v + 1592. Let y be l(26). Solve y*s - 5*b = 3*s - 43, 0 = 3*s + 5*b - 7 for s.
-6
Suppose -8 = p - 2*p. Suppose -q + p = -2*f, q + 4 = -0*q - f. Let o(j) = 7*j - 150. Let d be o(22). Solve 7*w = 2*w - z - 3, q = w - d*z - 12 for w.
0
Suppose m + 0*m - 38 = -3*t, -5*t - 4*m + 68 = 0. Suppose -t*y = -59 - 397. Let f = y + -28. Solve -4*o - 4*g = -2*g - f, -5 = -5*o + 5*g for o.
2
Suppose 7*g + 5*d = 11*g - 207, -3*g + 150 = -2*d. Solve 4*f - 44*a + g*a + 12 = 0, -2*a = 4*f + 2 for f.
2
Suppose 5*q = -43 + 278. Suppose 0 = -16*z + q + 33. Solve 1 + 5 = -3*b + 4*x, 0 = 2*b - z*x + 11 for b.
2
Suppose 0 = 3*o - 9*o. Let x(d) = -d**3 + 45*d**2 - 43*d - 41. Let w be x(44). Solve -3*r + p + 5 = o, 3*r + 0*r + w*p = 9 for r.
2
Let s be ((3 - 0)/9)/((-7)/(-861)) - -2. Solve 4*r - 23 = p, -2*r = -p - s + 32 for r.
6
Let p(b) = -b**2 + 3*b - 3. Let r be p(3). Let c(n) = -9 + 3*n - 10*n + 3*n. Let a be c(r). Solve -a*d + 12 = 0, -4*w - 3 = w + 3*d for w.
-3
Suppose -7*z + 2*z + 5*x + 15 = 0, 0 = -2*x + 10. Suppose 45 - 29 = z*r. Solve r*j - 4 = 4*s, -4*s - 1 = j - 3*s for j.
0
Let s(c) = -2*c**2 - 70*c - 84. Let x be s(-34). Let v(i) = i**3 + 15*i**2 - 17*i - 16. Let q be v(x). Solve q = 5*b - 7*w + 3*w + 3, 0 = -2*b + 4*w + 6 for b.
-3
Suppose -2*v - 1285*n = -1282*n + 19, 4*v + 3*n + 11 = 0. Solve 0 = 5*d - v*q + 34, 5*d + 22 = 38*q - 36*q for d.
-2
Suppose -5*t - 12*r + 37 = -8*r, 0 = 4*t + 4*r - 32. Solve -t*i = -4*f + 34, -2*i + 3*f + 21 = -6*i for i.
-6
Let n(q) = -3*q**3 + q**3 + 53*q + 18*q**2 + 18 - 55*q. Let x be n(9). Suppose 5*f = 4*b - 5, -4*f = 4 - x. Solve -3*c - o + 23 - 5 = b, -3*o + 4 = -c for c.
5
Suppose -12*w = 552 - 96. Let k = w + 34. Let t be (-6)/(-9)*(-6)/8*k. Solve 4*u = 4*h + 28, t = 3*h + 3*u - 1 for h.
-3
Suppose -37 = -2*t + c, -3*t = -2*t + 2*c - 21. Suppose t*l - 71 - 5 = 0. Solve -2*r - 3*d - 21 = 2*d, l*r + d + 15 = 0 for r.
-3
Let s = 142 - 130. Suppose 3*p + 0*o + 5*o = 5, 2*p - o = s. Solve 5*x = -2 + 7, p*q = x - 16 for q.
-3
Suppose -6*c = -4*c + 10, 3*a + 5*c + 58 = 0. Let w(d) = 3*d**2 + 33*d + 4. Let l be w(a). Solve -2*t + 4 = -4*t - 3*h, -2*t - l = -2*h for t.
-2
Suppose n + 3*n - 62 = -2*u, n = -3*u + 68. Suppose 60 = u*g - 9*g. Suppose -19 = -g*y - 9. Solve 2*o - k - y = 4*k, 2*k - 3 = -3*o for o.
1
Suppose -3*l + 5*j = -9*j - 100, -5*l + 40 = 2*j. Solve -c - 27 = -5*p, -7*p - 5 = -l*p - 5*c for p.
5
Let h be (135/(-21) + 7)*35/5. Solve h*s = w - 7, -20*w + 22*w + 22 = -4*s for w.
-5
Let h(b) = 7*b - 142. Let n be h(26). Suppose -16*p + 8 = -n. Solve 5*u + i = 4*i - 27, p = -5*u - 3*i for u.
-3
Suppose -94*j - 101 + 291 = -280. Solve 15*y = 5*m + 10*y + j, 25 = -5*m - 5*y for m.
-3
Suppose 14 = 5*t - 2*v + 34, 4*v + 50 = -5*t. Let z be t*7/(63/(-6)). Solve -3*i = -2*a - z, 3*a - 7 = i - 3*i for a.
1
Let k(u) = u**3 - 4*u**2 + 7*u - 24. Let j be k(3). Let n be (-1221)/(-77) + j/14. Solve -5*d = 5*p + n, 2*p + 0*p = 2*d + 10 for d.
-4
Let y be 5 - (24/16 + -1)*0. Suppose -4*l - 3*o - 2*o + 221 = 0, -5*l = 5*o - 275. Let f = l + -31. Solve 3*x + 5*t + f = y*x, -2*