ppose 10 = 25*b - 20*b. Let u(m) = -b*m - 9*m**2 + 11 + 3 + 10*m**2. Let f be u(0). Solve 1 + f = 5*w for w.
3
Let i = 30 + -28. Suppose -n = -v + i, -5*v + v - 4*n = 0. Solve t + 2 = v for t.
-1
Suppose 8*f = 14*f - 138. Suppose -f*z + 110 = 18. Solve -k - z = -0 for k.
-4
Let v = 101 + -48. Let x = 76 - 125. Let n = v + x. Solve -2 = -n*y + 2 for y.
1
Let p = -2509 + 2730. Solve -15*d + p = 281 for d.
-4
Suppose -21*r = 26*r - 864 - 264. Solve -r*o + 119 = -7*o for o.
7
Let a = -88 + 55. Let u = a - -48. Solve 2*d = 7*d + u for d.
-3
Suppose -9*b = -12*b + 6. Let l = 24 - 4. Suppose -4*n - 5 = 5*q - 5*n, 0 = 5*q - 4*n + l. Solve b*o = -q*o - 6 for o.
-3
Let q be -1003 - -1040 - (36 + 1). Let w(u) = u**3 + 5*u**2 - 3*u + 2. Let m be w(-5). Solve 7*h - m + 24 = q for h.
-1
Let a(l) = 15793 - 15702 - 4*l + 7*l. Let r be a(-22). Solve -56*v - r = -51*v for v.
-5
Let s = 72 - -45. Suppose 0 = -9*r - 99 + s. Solve -5 + 1 = -r*c for c.
2
Suppose 39 + 34 - 85 = -4*f. Suppose -6*v = -v. Suppose -12 = -u - v. Solve -f*r - u = -6*r for r.
4
Suppose 17299*a = 17390*a - 7826. Solve -12*d + a + 10 = 0 for d.
8
Let j(p) = 10*p**3 + 7*p**2 - 31*p + 2. Let b be j(3). Solve -b*t = -244*t + 12 for t.
6
Let z(u) = 28*u**2 - 216*u - 32. Let m be z(8). Solve m*i - 40*i - 24 = 0 for i.
-3
Let r = 300 - 201. Solve 16*y + 17*y + r = 0 for y.
-3
Let h(y) = 101*y**2 + 1. Let c be h(1). Suppose -4*r - c = 2*n, -5*n - 75 = 3*r - 2. Let q be (-4)/r - (-896)/91. Solve -9 = i - q for i.
1
Let c(k) = k**2 - 13*k + 129. Let a be c(6). Suppose -25*i = -a - 13. Let b be (-10)/40 + (-2)/(-8). Solve b*z + 4 = i*z for z.
1
Suppose -2*t + 2*k + 96 = -18, -5*k - 163 = -3*t. Solve 0 = 15*b + 16 - t for b.
3
Suppose -5*v = 2*j - 2*v, -j = -0*v + v. Solve 98 = 14*o - j*o for o.
7
Let d be 32/72*(2 + (-15)/(-6)). Let y be d*((-6)/48)/((-1)/8). Solve 2*n + y = 8 for n.
3
Let w(d) = -10 - 7*d - 3*d - 24. Let c be w(-4). Solve s = 4*s - c for s.
2
Let p(s) = -7*s - 75. Let l be p(10). Let i be (-60)/(-27) + l/45 + 3. Solve 11 - 5 = -i*x for x.
-3
Let y(t) = -4*t**2 + 6*t + 25. Let o be y(-6). Let p = -152 - o. Solve 0 = -11*i + 10*i + p for i.
3
Let b(z) = z + 7. Let h be b(0). Let v be 3/1*(-12 + 11). Let s be (1/v)/(344/(-48) + 7). Solve s*r - h*r = -20 for r.
4
Suppose c = -2*a + 55, -6*c + 3*a = -9*c + 150. Solve c - 81 = 6*i for i.
-6
Let d be 24/(-8) + 355 - (-2 - 2). Let v = d - 350. Solve v*j - j = 20 for j.
4
Let b = -1676 - -1692. Solve -b*c - 38 - 58 = 0 for c.
-6
Suppose 0 = -f, 0 = -2*m - 2*f + 1325 - 383. Solve -623 = 19*g - m for g.
-8
Let a = -522 - -529. Solve -5 = -y - a for y.
-2
Let h = 343 - 14. Suppose -h = 5*f - 339. Solve 0 = -f*g + 1 - 5 for g.
-2
Let g be -3 - ((2 - 1) + (-8)/2). Suppose x - 7 = 4*s - 0, g = -5*x + 5*s + 20. Solve -x*l = -0*l - 3 for l.
1
Suppose 21 = 8*m - 27. Let f be (144/(-120))/(m/(-10)). Solve -f*p - 18 + 14 = 0 for p.
-2
Let b be 40 - (144/120)/(310/(-75) - -4). Solve -119*g = -126*g - b for g.
-7
Let u be 8 + (-10)/20*16. Solve u = 14*f - 35 - 35 for f.
5
Let n be (-288)/336 + -3 + 1002/42. Solve -468*l - n = -473*l for l.
4
Let n be (-1700)/(-700) - (-2)/(-14)*3. Suppose n*h + 9 = 5*h. Solve 1 + 2 = h*w for w.
1
Suppose -58*u - 5 = -53*u - 5*m, 0 = -2*u + 3*m - 7. Let l(a) = -2*a. Let x be l(-1). Solve u*p - 10 = x for p.
3
Let o(r) = 7*r + 13. Let y be o(-5). Let m be 11/y - 33/(-6). Let n be m + 30/(-12) + 2/(-4). Solve -n*k = -0*k + 8 for k.
-4
Let h be ((-5)/15)/(-2 + 3)*-36. Suppose 0 = -h*b + 31 + 29. Solve 4*a - b = 3*a for a.
5
Let n(u) = 48*u - 424. Let t be n(9). Let b be 4/22 - (4 + (-2180)/110). Solve -12*l + b = -t*l for l.
4
Suppose 14 = -4*m + 2*b, 0*b = -2*m - 5*b + 23. Let f(c) = c**2 + 6*c**2 - 8*c + 21*c - 9*c + c**2. Let x be f(m). Solve -p - p = x for p.
-2
Let b be (7 - 21)/(-1*1/3). Suppose 0 = -b*a + 14 + 28. Solve -12*y = -13*y - a for y.
-1
Suppose 0 = 140*d + 96*d - 7080. Solve -d*p + 101 = 11 for p.
3
Let d(x) be the second derivative of x**4/6 - 16*x**3/3 - 69*x**2/2 + 6*x - 17. Let g be d(18). Solve -2*k + 7 = -g for k.
5
Suppose 3*t + l = 17, -3*l = t - 4*t + 21. Let s be (-1)/(6/(-14))*t. Solve 19*i - s*i + 5 = 0 for i.
-1
Let s = 102 - 19. Let z = s - 79. Let g be (-1)/1 - (z - 30/6). Solve 5*w - 5 = -g*w for w.
1
Let g be (-9)/(15/20 - (-15)/(-18)). Suppose -102*w = -g*w + 18. Solve w = h - 0*h for h.
3
Suppose -16*q - 301 = -429. Suppose 0 = -4*p - 2*m + 106, -p = 4*p - 2*m - 128. Solve p - q = -6*i for i.
-3
Suppose 4*b - 59 = -3*w, -4*w = -6 + 2. Suppose -2*j = 7*z - 3*z - 26, -2*j - z = -b. Suppose 0 = 3*i + 9, 1 = j*d + i - 21. Solve d*k + 15 = 2*k for k.
-5
Let i be -5*88/(-55) - -82. Solve -9*w - i + 27 = 0 for w.
-7
Let d(n) = -n**3 - 30*n**2 - 101*n + 129. Let s be d(-26). Solve -3 = -s*p + 54*p for p.
-1
Let p = -47 + 47. Suppose -6*t + 2*t - 2*u = p, -6 = 3*u. Let n be 10*10/25 - t. Solve 2*z = z + n for z.
3
Let q(y) = -y**3 - 2*y**2 + 12 + 6*y - 9*y**2 - 5*y. Let o be q(-11). Suppose -3*a + 10 = o. Solve -s - 4 + a = 0 for s.
-1
Let x(u) be the third derivative of u**4/24 + 2*u**3 - 8*u**2. Let q be x(-8). Suppose 24 = q*c - c. Solve -3*o + c = -o for o.
4
Let i = -17292 - -17699. Solve -25*s = i - 357 for s.
-2
Let j = -196 - -212. Suppose -2*g + 19 = 3*b - 1, -2*g + 4 = b. Suppose 4*i - j = b. Solve -5*x = -i*x - 4 for x.
-4
Let i = -225 + 234. Suppose -5*n - 88 = -i*n. Solve 4*o - n = -14 for o.
2
Let g(j) = 3*j + 22. Let k be g(-5). Suppose -15 + k = -4*m. Suppose r + m = 8. Solve 25 = h - r*h for h.
-5
Suppose 22*r + 40 = 25*r - l, 0 = 2*r + 3*l - 34. Solve r*u = 22*u - 24 for u.
3
Suppose -3*t + 60 = -u - 28, 2*t + 2*u = 56. Solve t = -3*x + 14 for x.
-5
Suppose 0 = -3*g - 4*l + 58, 10*l + 51 = g + 5*l. Solve 0 = -9*o - g*o - 70 for o.
-2
Suppose -6*a + a = 15. Let c(j) = j + 110. Let l be c(-88). Let g = l - a. Solve -6*r + r = -g for r.
5
Let n(u) be the third derivative of -u**4/3 + u**3/6 - 3*u**2. Suppose d - 5*f + 7 = -d, 2*d - 1 = -3*f. Let x be n(d). Solve -5*k + 2*k - x = 0 for k.
-3
Let z(b) = b**3 - 4*b**2 + 2*b - 5. Suppose -32 = -246*h + 238*h. Let o be z(h). Solve -8*s - 25 = -o*s for s.
-5
Suppose -2*q - 3*t - 406 = 0, -4*q - 6*t + 4*t - 820 = 0. Let d = 211 + q. Solve i - 6*i - d = 0 for i.
-1
Let k be ((-6 - -954)/((-6)/(-4)))/2. Let j = k - 190. Let w be 3 + ((-2)/(-7) - 36/j). Solve -w*y - 20 = 2*y for y.
-4
Let v = -7899 - -7899. Solve v = 28*y + 18 + 66 for y.
-3
Let s(l) = -l**3 - 5*l**2 + 6*l + 15. Let b be s(-6). Let w be 26/6 - (2 - 40/15). Let p = 0 - 0. Solve w*t = -p - b for t.
-3
Suppose 8 = 2*p + 2. Suppose 0 = 8*n - 16*n. Suppose -35*w + 44*w = n. Solve w = 8*o - p*o + 10 for o.
-2
Let g = -78 + 134. Suppose 2*u - g = -26. Solve -49*l + u = -54*l for l.
-3
Let o(j) = 8*j - 7. Let n be (19/(-38) - (-9)/10)*5. Let f be o(n). Suppose -f*y = -y + 3*y. Solve -5*z = -y*z - 25 for z.
5
Let o(q) = q**2 + 39*q - 25. Let s be o(2). Solve -6*h + s = 15 for h.
7
Let i be (-2)/((-7)/((-147)/(-14))). Suppose 2*z - 27 = i*r, -3*z + 3*r - 21 + 54 = 0. Solve -d - d = z for d.
-3
Suppose 9*w + 13 = 11*w + s, s = -5*w + 37. Suppose w = r + 4*g - 10, r + g = 6. Solve r*j - j - 3*j = 0 for j.
0
Suppose p - 2*i + i = 5, -2*p + 17 = 5*i. Suppose p*x = 3*x + 6. Let n = 2 - 0. Solve 4*u + n = x*u for u.
-1
Let o(q) = -q**3 + 28*q**2 + 25*q - 1226. Let t be o(27). Solve 66*c - 20 = t for c.
3
Let u = -2004 - -2022. Solve 31*z - u = 22*z for z.
2
Let y be ((-1)/3)/((-2)/(-1194)). Let r = y + 201. Solve -r*i + 9*i - 14 = 0 for i.
2
Suppose 0 = r - 0*r + 5*i + 9, -4*r + 3*i + 79 = 0. Suppose -3*b + 4*s = -32, b - r = 4*s - 0*s. Suppose b*q - 12 = 6*q. Solve -2*z = -q*z - 4 for z.
-1
Let d(u) be the second derivative of u**3/2 + 38*u**2 - 11*u. Let z be d(-24). Solve 0 = 3*c + z + 2 for c.
-2
Suppose -52*h - 52*h + 232 = -912. Solve -3*s + 32 = -h*s for s.
-4
Let o = -72 - -122. Suppose o = 12*b - 130. Solve b*a - 6*a = 45 for a.
5
Suppose 0 = -6*g - 11*g + 1700. Let u = g + -100. Solve d + 2*d - 15 = u for d.
5
Let a = -29006 + 29118. Solve -a + 97 = -15*u for u.
1
Let i(f) = -2*f + 5. Let z be i(0). Suppose 2*u - 38 = -z*b, 4*u - 3*b - 100 = -b. Suppose -u*o + 6 = -21*o. Solve -1 = o*w - 3*w for w.
1
Let g = 5457 - 5083. Solve 347 - g = -3*a for a.
9
Let b(c) = -226*c + 116*c +