Let u(x) = -85*x - 8*x**2 + x**b + 3 + 38*x + 38*x. Let z be u(9). Solve 0 = -p - 2 + z for p.
1
Let i = -2616 + 2657. Solve -4*y - i = -21 for y.
-5
Suppose -3*k + 6*k - 3*b = 42, -4*k = 4*b - 80. Let o be k/(-85) - (-332)/10. Suppose -o = -3*x - 21. Solve -8*y = -x*y for y.
0
Let n = 70 - 110. Let v = n - -26. Let t = -8 - v. Solve -i = i - t for i.
3
Let q = 66 + -56. Let n be 758/q - (-3)/15. Suppose -16 + n = 4*i. Solve i + 0 = -5*k for k.
-3
Let c = 20509 - 20502. Suppose -4*k = 3*h - 28, -2*h = -7*h + 20. Suppose 0 = -g - 1, 3*f - k*g - 7 = -0*g. Solve -4*q = -c - f for q.
2
Let j(r) = r**3 + 5*r**2 + 35*r + 250. Let b be j(-6). Solve 5*p = p + b for p.
1
Let x(m) = -m**2 + 8*m + 8. Let s be x(9). Let n(z) = z**3 - 9*z**2 - 32*z - 22. Let f be n(-2). Let k be 1*f/(-2 - s). Solve -9 = -k*l - 3 for l.
3
Let j be 28/6 + 8/24. Suppose 4*x - x - 2*u - 4 = 0, 0 = -5*x - j*u - 10. Solve x = 5*y + 6 + 4 for y.
-2
Let o be (12/28)/(2/14). Suppose -13*v + o = -23. Let i be (18/(-24))/(v/(-8)). Solve i*p = -p for p.
0
Let r = 24 - 15. Let q = r - 6. Suppose g - q*p - 14 = 0, 2*g = 4*g + 2*p + 4. Solve -g*j = 5 + 5 for j.
-5
Let f = -1206 - -1263. Solve 8*j + f = -11*j for j.
-3
Suppose -1 = -k + z, 2*z - 10 = -4*k - 0*k. Suppose -2*y = -x + k - 8, 3*y = 9. Solve 3*s - 6 - 3 = x for s.
3
Let d(u) be the first derivative of -9*u**2/2 + 12*u + 20. Let n be d(-7). Let x = n - 72. Solve 0 = x*r - 9 - 6 for r.
5
Let v(d) = 3*d**2 - 35*d + 98. Let x be v(4). Solve 9*f + x = 24 for f.
2
Let j be (131/(-2))/((-9)/(-1188)*11). Let s = j - -788. Solve t = s*t for t.
0
Let g(t) = 8*t - 38. Let o be g(5). Let v be -3 + o + -19 + 22. Solve -v*q = -1 + 11 for q.
-5
Suppose -3*o - 287*z = -289*z - 70, -o - 3*z + 16 = 0. Solve -n = o*n for n.
0
Suppose n - 6*n + 150 = 0. Suppose -20 - 19 = -3*q. Let d = n - q. Solve 5*k = d + 8 for k.
5
Suppose -3*j = -11*d + 15*d - 489, 2*d - 326 = -2*j. Suppose 27*m - j = 53. Solve 0 = 3*x - 7*x - m for x.
-2
Suppose -6*i + 3*i = 3. Let c be (3 + -3)/((-6)/(i + -1)). Suppose -4*s + 15 + 1 = c. Solve 4*w + s = -0*w for w.
-1
Let r be ((-27)/(-8))/(18/(-24))*-2. Suppose 18*z = r*z + 27. Solve -l + z*l = 0 for l.
0
Let r = 381 - 379. Suppose 5*w - 2*q = 31, r*w - 3 + 8 = -5*q. Solve -w*p = 12 + 3 for p.
-3
Let g(p) = 4*p**3 + 9*p + 6. Let a be g(5). Let i = 556 - a. Solve 11 = -i*d + 6 for d.
-1
Let b = 2632 - 2472. Solve -2 = -b*p + 162*p for p.
-1
Let k = -167 - -233. Suppose k = -10*y + 32*y. Solve -2 = y*v + 10 for v.
-4
Let m = 11941 - 11931. Solve 226 = m*g + 166 for g.
6
Suppose 3*p - 10 = 4*i - 11, -5*p - 3*i + 8 = 0. Let w be 3*p - 3834/(-71). Solve w*n = 60*n - 6 for n.
2
Suppose 144*y = 149*y - 205. Suppose 3*x = -3, -5*f + 46 = 3*x - y. Let u be (-3 - (-1 - 1))*-5. Solve -u*a - f = -3 for a.
-3
Suppose -2*l - 17 = -3*l. Let b = l - 17. Suppose -9*p + 30 = -3*p. Solve b*y = -p*y - 10 for y.
-2
Suppose -149*k + 1743 + 1411 = 17*k. Solve 7*d - 30 - k = 0 for d.
7
Let x = 365 + -215. Suppose -4*f - x = 18. Let y = f + 52. Solve -i = -6*i - y for i.
-2
Let v = 7 + -2. Let h = v + -2. Let m(f) = f**3 - f**2 - 3*f + 1. Let q be m(h). Solve s + s = -q for s.
-5
Let a be (2 - -3) + (-1)/(-2 - -3). Suppose m + 2*z - 16 = -3*m, -a*m - 4 = -3*z. Solve 0 = h - 2*h + m for h.
2
Let i(r) = -r**2 - 8*r + 43. Let n be i(-11). Let c be (3 - (-65)/(-25)) + 16/n. Solve c*o = -7 + 1 for o.
-3
Suppose 0 = -77*v - 376 - 471. Let x(i) = 9*i**2 + 31*i + 19. Let n(d) = 4*d**2 + 15*d + 9. Let h(u) = -7*n(u) + 3*x(u). Let m be h(v). Solve 3 = m*p - 2 for p.
1
Suppose -728 = -38*s + 25*s. Solve -23*d + s = 5*d for d.
2
Let x be -2*(-3 - 4)*1. Suppose 17*i - x*i = 6. Solve i*j - 2 = 6 for j.
4
Let s be (-18)/(-9) - 11*-3. Let n(x) = -17 + 10*x**2 - 19*x**2 + 24*x - s + 10*x**2. Let d be n(-26). Solve d*k = 5*k + 10 for k.
-2
Suppose -109*g = 172*g - 119 - 443. Suppose 2*v - 4*f - 18 = -v, 24 = 4*v - 3*f. Solve -g*j = 4*j - v for j.
1
Let i(c) = 2*c**3 - 17*c**2 - 10*c + 12. Let a = 5 + 4. Let y be i(a). Suppose -40 = -2*v - y*u - 11, 0 = u - 1. Solve -4*t + 5 - v = 0 for t.
-2
Let v be (3 - -7)/((-1)/(-4)). Let t = v + -33. Let p be (16 - 6 - 9) + (-42)/(-2). Solve -3*k - p = -t for k.
-5
Suppose -122 = -2*p + 144. Suppose 4*g = 4*c - c - 67, 0 = 5*c + 4*g - p. Let q be (-8)/10 - (55/c - 6). Solve 0 = 2*v - q*v - 4 for v.
-4
Suppose 0*l + 2*q = -2*l - 136, -3*l - 174 = -3*q. Let k = l - -182. Let d = k - 115. Solve 0 = 2*c - d*c + 2 for c.
1
Let p = 18 - 16. Suppose 2*l = -2*i - 2, l = -4*i + 5*i - 13. Solve -p = -i*y - 2 for y.
0
Let o(m) = 2*m**2 - 8*m + 6. Let i be o(5). Let h = 51 - 11. Let r be -2*(-10)/(h/6). Solve r*u + i = -u for u.
-4
Let r = 38 - 16. Let u = 18 - 39. Let h = r + u. Solve 0 = -s + h - 3 for s.
-2
Let d be 10/45 + (-29)/9. Suppose 53 - 20 = 11*s. Let f be ((3 - s)/d)/(-1). Solve 3*p + f + 3 = 0 for p.
-1
Suppose 69 + 19 = -4*f. Let d be 6/2 + -2 + (-22)/f. Solve -c + 0*c + d = 0 for c.
2
Suppose 0 = -8*z + 2008 - 1640. Solve -10*t + 36 = z for t.
-1
Let l be 3*(-165)/5 + -6. Let h = l + 107. Solve -8*p + h*p = 18 for p.
-3
Let w(k) = 5*k**2 - 8*k + 2. Let u be w(3). Suppose -2*h = 3*p - u, -h - 2*p + 11 = -p. Solve -4 = 2*f - h for f.
3
Let z(o) = -o. Let l(a) = 6*a + 18. Let c(u) = -l(u) - 4*z(u). Suppose -60 = 5*y - 5*d, 17*d - 20*d = 5*y + 44. Let h be c(y). Solve h = 3*x - 1 for x.
1
Let g = 14 - 8. Let a = 4915 + -4907. Solve -a*v = -g*v for v.
0
Let v(c) = c**3 + 3*c**2 - 5*c - 2. Let y be v(-4). Suppose -7*i + 12 = -y. Solve 3*u + i = -10 for u.
-4
Let w = 95 + -70. Let j = w - 23. Let r be (-108)/(-30) + j/5 + -4. Solve r = -4*u - 3 - 5 for u.
-2
Let z(d) = -d**3 + 2*d**2 + 3. Let x be z(0). Suppose 4*p = x*p - 5*w + 45, 0 = 3*p - 4*w - 40. Solve -2*u = 3*u - p for u.
4
Suppose 33*b - 848 = -270 + 742. Solve 37*l - b*l + 12 = 0 for l.
4
Let k(o) = 4*o + 1. Let m be k(1). Suppose 4*h - 22 = -3*j + m*h, 3*h = -12. Solve 0 = 6*l - 3*l + j for l.
-2
Suppose 4*g = -4*u + 20, 4*u = 6*g - g - 16. Solve -6 + u = n for n.
-5
Let x = 299 - 216. Let r = -82 + x. Suppose -4*o - 3*v + 2 = 0, -4 = -o - 2*o - v. Solve -3 = -o*g - r for g.
1
Let i(f) = -14*f + 13*f + 8 + 0 - 2. Let j be i(4). Solve -j*z = -z + 4 for z.
-4
Suppose -34*u + 1255 = -547. Solve 57*c = u*c - 12 for c.
-3
Let s = -35 + 35. Suppose -14 = 2*x + 2*g + 30, 2*g - 4 = s. Let b = x + 24. Solve b = 4*q - 22 + 6 for q.
4
Let b be 61 + (-2)/(-8 - ((-265)/25 - -3)). Solve 125 = -b*i + 91*i for i.
5
Suppose -2*h - 58 = 9*f - 21, 2*h = -2*f - 2. Let n be (-2)/(-8) + 14/8. Solve h = 2*r - n for r.
3
Suppose 21 = -u - 114. Let h = -72 - u. Let r = h + -54. Solve 6*b = 3*b - r for b.
-3
Let a = 46 - 51. Let c(d) = -d**3 - 6*d**2 - 2*d + 19. Let u be c(a). Solve -5*f + 4 = -u*f for f.
4
Let j(n) = n**2 - 4*n - 12. Let z be j(9). Let r = z - 29. Suppose 5*q - 2*x = -r*x, 4*q = -4*x - 12. Solve 3 = q*d + 13 for d.
-5
Suppose a = 5*r - 7, 4*r + 4*a + 17 = 37. Suppose -4*j = r*b - 8, -5*b - 56*j = -57*j - 42. Solve 0 = 9*m - b*m - 4 for m.
4
Suppose -3*c = -d + 4, -14 = 5*c - 9. Suppose 5*a - 2*a + 48 = 3*l, -a = d. Solve -l = 3*s + 2*s for s.
-3
Let h(m) = 4*m**2 + 157*m + 908. Let u be h(-33). Solve 0 = -u*z + 93*z + 50 for z.
-5
Suppose -19*n = -6*n + 312. Let z be ((-8)/(-3))/(21/((-756)/n)). Solve 0*o + 20 = -z*o for o.
-5
Suppose 0*n + 5*n = 10. Suppose 3*h = -r - 65, h - 5*r + 13 - n = 0. Let i be h/(-2) + (-7)/14. Solve -6*t + i = -t for t.
2
Let a(d) = -36*d**2 + 80 - 19*d - 20*d + d**3 + 0*d**2. Let o be a(37). Solve -2 - o = -2*h for h.
4
Let w(o) = 2*o**2 + 7*o + 2. Let k be w(5). Let u = k - 69. Let p be (24/u)/(3/9). Solve p*x - 15 = x for x.
5
Let n = 748 - 844. Let x be (-840)/n + 6/(-8). Solve -14*s - x = -12*s for s.
-4
Let p be 322/92*824/14. Let m = 209 - p. Solve -7*a + 12 = -m*a for a.
3
Let o be (-36)/3 + (2652/(-17))/(-13). Solve o = 45*l - 73*l + 224 for l.
8
Let n be (-34)/(-10) - (-8)/(-20). Suppose 4*t = -5*y + 74, -4*t + 4*y = y - 58. Let h(j) = -j**2 - 25*j - 93. Let m be h(-20). Solve m*d = n*d - t for d.
-4
Let m = 6069 - 6060. Solve 14*g = -79 + m for g.
-5
Let q(w) = -10*w**2 - 311*w - 25. Let n be q(-31). Solve n*t - 16 = -52 for t.
-6
Suppose 2*y - y - 7 = 0. Suppose -j - 2*b + y = 0, 1 = 3*j - 2*b - 12. Suppose -r - 1 = j*w - 8, -2*r -