 -8*p - 11 for p.
2
Let y be (-3)/(-2*(-5)/30). Let f(x) = -8*x - 60. Let m be f(y). Solve 3*w = -w - m for w.
-3
Suppose 0 = 5*r + 5*d - 10, -r - 4 = -4*d + 8*d. Solve r*i = 5*i + i for i.
0
Let r(j) = j**3 - 3*j**2 + 8*j - 5. Let s be r(6). Let h = s + -145. Solve -3*v + h = -0*v for v.
2
Suppose -4*b - 4 = 0, 1 = 2*x + 5*b - 0. Suppose -3*h + 21 = 3*n, 5*n - 3*h - x = -0. Let s(v) = v + 9. Let o be s(9). Solve n*y = 3 - o for y.
-5
Let h(s) = 5*s + 2. Suppose -5*a = -3*j, -3*j = -2*a + 3*a. Let v be h(j). Suppose 2*m - v = -2*b, -m + 10 - 3 = -b. Solve -6*z - 10 = -m*z for z.
-5
Let b = -571 - -862. Let j = b + -288. Solve -j*c + 68 = 62 for c.
2
Let p(k) = -k**3 - 13*k**2 - 15*k - 27. Let r be p(-12). Solve 20*s + r - 89 = 0 for s.
4
Let x be (285/38 - -2) + 1 + 3/(-2). Solve x*d - 56 + 11 = 0 for d.
5
Let q = 1248 + -1187. Solve 1 - q = -30*c for c.
2
Let y(u) = u**2 - 2*u - 20. Let i be y(-9). Suppose -5*s = -0*d + 5*d + 130, -i = 4*s - d. Let a = 23 + s. Solve -a*t = -t for t.
0
Let s(i) = i**3 + 3*i**2 + 6*i + 22. Let o be s(-6). Let t = -119 - o. Solve -8*a + 20 = -t*a for a.
4
Let a = 28 - 24. Suppose -2 = -2*x + 2. Let v(i) = 4*i - 1. Let t be v(x). Solve 9 = a*r - t for r.
4
Let k be (60/40)/(((-2)/32)/(-1)). Suppose 3*b + k = 9*b. Suppose 3*a + j + 8 = 17, 0 = -b*a - 3*j + 17. Solve q = -q - a for q.
-1
Let a(l) = -203*l - 5794. Let k be a(-31). Solve 0 = 14*n - 625 + k for n.
9
Suppose 2*b = 3*b - n - 24, 60 = 4*b + 5*n. Suppose -b + 3 = u - 5*w, 2*u = 4*w - 10. Solve 0*i - 6 = -u*i for i.
2
Let f = -12118 - -12132. Solve 0 = -41*c - f*c + 165 for c.
3
Let q be (-6769)/(-126)*2 + (-8)/18. Let g = q - 107. Solve -2*i + 0*i = g for i.
0
Let m be (2 + -1)*(-33 - -35). Solve 2*j = -10 - m for j.
-6
Let l(f) = -10*f**3 - 3*f**2 - f + 1. Suppose 4*t + 6 - 2 = 0. Let n be l(t). Suppose m - n + 6 = 0. Solve -m*y - 7 = -1 for y.
-2
Let u(a) = 2*a**3 + 30*a**2 + 8*a + 13. Let l be u(-14). Let s = 333 - l. Solve -38*t = -s*t + 2 for t.
1
Suppose -2*u - 44 = -24. Let w be (-6)/(-4) + (-45)/u. Suppose 4 = -s - v, w*s = 3*s - v - 2. Solve -2*c + 7 - s = 0 for c.
3
Suppose -4*k = 5*i - 644, -5*k - 4*i = -106 - 708. Solve 173*j = k*j + 21 for j.
3
Suppose -5*i - 5 = -4*r - 17, -4*i + 5*r + 6 = 0. Solve 207 = -i*c + 215 for c.
2
Suppose -109*l = -113*l. Let m be -2 - ((-44)/4 - 1). Solve l = -5*n + m*n - 25 for n.
5
Suppose 118*c - 120*c + 12 = -3*i, -24 = -2*c - 3*i. Solve 872*u - 863*u = -c for u.
-1
Let v = 72 + -69. Suppose 4*s - 5*g = v - 11, -3*g + 21 = 3*s. Solve s + 1 = -c for c.
-4
Let d(x) = x**3 + 14*x**2 - 5*x - 56. Let m be d(-13). Let g = m + -163. Solve -g = -6*r - 45 for r.
-5
Suppose -4*c - 176 = -0*c + 4*z, 220 = -5*c + z. Let l = 48 + c. Suppose -a + 5 = 4*q, -l*q - 12 - 3 = -3*a. Solve -g + 0 + 1 = q for g.
1
Let f = 18482 - 18482. Solve f = -19*d + 15*d + 12 for d.
3
Let d(p) be the third derivative of p**5/15 - p**4/2 + 11*p**3/6 + 89*p**2. Let g be d(2). Solve g*b = -b for b.
0
Suppose 6*u + 24*u - 320 = -2*u. Solve -3*a - 5 = u for a.
-5
Let o(k) = -3*k + 26. Let f = 78 - 94. Let m be 87/(-58)*f/3. Let z be o(m). Solve -10 = -2*t - z for t.
4
Let p be ((-554)/(-2))/((23 + -25)/(1*-2)). Solve 6*o = 241 - p for o.
-6
Suppose 725 = -52047*i + 52052*i. Solve -129*u - 64 = -i*u for u.
4
Let a = 2036 - 1896. Solve 5*h + 135 - a = 0 for h.
1
Let j = -39 - -41. Suppose j*r + 1 = -3*l - 2, 4*r - 5*l = 5. Suppose r = 44*h - 45*h + 4. Solve -3*u - 5 - h = 0 for u.
-3
Let l be (-4 + 12/4)*-53. Suppose -16*m + l = -11. Solve m = 3*y - 11 for y.
5
Let c be (-1)/((10/(-25))/2). Suppose -2*n + 149 = c*m, 0 = 2*n + m - 92 - 61. Let q = n - 74. Solve 0 = 4*o - 1 - q for o.
1
Suppose 3*k - 5*j = 54 + 352, -3*k + 413 = 2*j. Suppose 108 = 7*c - k. Solve -4*l - 3*l = c for l.
-5
Let v(j) be the first derivative of -j**4/4 - 2*j**3 - j**2 - 7*j - 7. Let q be v(-6). Suppose 5*r - q = 5. Solve r*m - 2 + 0 = 0 for m.
1
Let g(u) = 27*u - 393. Let k be g(15). Suppose 2*p - 3*p = 3*v + 3, 0 = -3*p + 3*v + 51. Suppose -p*r + 8*r = -k. Solve 0 = r*w - w - 8 for w.
4
Let x = 83 + -24. Suppose -29 + x = 5*n. Suppose -3 = -4*g + 2*f + 5, 3*g = 2*f + n. Solve 0 = -2*t + g + 4 for t.
3
Suppose -26*h - 97 = 241. Let d(q) = q**2 + 7*q - 71. Let t be d(h). Solve -s - t = 6*s for s.
-1
Let j(k) = k**3 - 6*k**2 + 5*k + 3. Let x be j(5). Let l(t) = -589*t**2 - 2*t - 4. Let d be l(-1). Let v = -587 - d. Solve -x*f = -4*f + v for f.
4
Let j = 413 - 403. Let r(f) = -2*f**3 + 18*f**2 + 23*f - 29. Let c be r(j). Solve -c - 3 = o for o.
-4
Let h be 3*(3 + 0) - 1980/(-165). Solve -h*i = -273 + 336 for i.
-3
Suppose -18*z = 10*z - 30*z + 244. Solve 123*b - z*b = 0 for b.
0
Let h(w) = -w**3 + 7*w**2 - 5*w - 3. Let c be h(5). Let k = c + -15. Let d(n) = -n**3 + 6*n**2 + 7*n. Let l be d(k). Solve 0 = -l*b + 2*b + 2 for b.
-1
Let x = 2540 - 2525. Solve x*w = 24*w for w.
0
Let r = 8566 + -8557. Solve 0 = -22*n - r - 101 for n.
-5
Suppose -y - 22*n + 5 = -21*n, 2*y + 35 = 7*n. Solve 254*q - 252*q + 6 = y for q.
-3
Let p(w) be the third derivative of -19*w**4/24 - 40*w**3 - 31*w**2 + 3. Let n be p(-13). Solve -15 = -4*t + n*t for t.
-5
Suppose 3*n + 6*n - 54 = 0. Suppose 3 - n = -3*i - 2*h, 5*i + h - 12 = 0. Solve i*s = -0*s + 3 for s.
1
Let b(q) = 13*q + 74. Let g be b(-6). Let d be (-1 + (-6)/g)/(1/6). Solve 0 = d*t - 0*t for t.
0
Let y = -366 - -381. Let o(m) = -m**3 - 8*m**2 - 7*m + 4. Suppose 0 = -l - z - 5, 0 = 2*l + 2*l + 2*z + 24. Let v be o(l). Solve v*c - y = c for c.
5
Let g be 13/(77 - 12) - 1/5. Suppose -2 = -4*n - x, -4*n + 10 = 5*x - 0. Suppose 2*k + 2*k = n. Solve k = -g*t - t for t.
0
Suppose -427*u - 7424 = -529*u - 826*u. Suppose -5*r - 3*q + 57 = -3*r, -5*r + q = -100. Solve j + r = u*j for j.
3
Suppose 3*w - 2*u = 226, 0 = -w - 16*u + 14*u + 86. Solve -80*t - 4 = -w*t for t.
-2
Let w = 35 - 23. Let b = 15 - w. Suppose p - 4*u = -0*p + 5, -b*u + 12 = p. Solve p*s = 5*s for s.
0
Suppose 12 = 74*d - 72*d, -3*d + 45 = 3*c. Solve 7*z - 51 = -c for z.
6
Let u = -8 - -16. Suppose 4*x - w = 25, -5*w + 0*w = -3*x + 23. Let y be (x/(-7))/(4*u/(-224)). Solve -5*k + 2*k = -y for k.
2
Let c = -36085 + 36087. Suppose 3*x + 10 - 55 = 0. Suppose -b = -3*h - 3*b + 16, 0 = 3*b - x. Solve 4*k - c = h*k for k.
1
Let v(f) = -2603*f + 13023. Let p be v(5). Solve -4056*h + 4055*h = p for h.
-8
Suppose -24*x + 11*x = -26. Suppose 10*o - 8*o - j - 51 = 0, 0 = -x*j - 6. Solve -23*d - 3 = -o*d for d.
3
Suppose -2*w + 1 - 9 = -2*k, -w - 25 = -4*k. Suppose 0 = 6*n - 458 - 220. Let i = -113 + n. Solve 4*d - 1 - k = i for d.
2
Let v(t) = -t**3 - t**2 - 2*t + 3. Let j be v(-3). Suppose -5*q + j - 7 = 0. Suppose 6*l - 11*l + 15 = 0. Solve l = -q*u + 5*u for u.
3
Let u(z) = -4*z - 24. Let n be u(-6). Suppose -3*q + 3 = -18. Suppose -q*v + 3*v + 16 = -k, -2*v + 8 = k. Solve -m + v*m = n for m.
0
Suppose -4*i - 4 = 4*c, -2*i + 6 = -2*c - 0*c. Let a(n) = 34*n + 96. Let f be a(c). Solve 0 = 3*h + f - 37 for h.
3
Let m(g) = 372*g - 3342. Let o be m(9). Suppose 6*y - 3*y - 19 = -5*h, -8 = -4*y + 2*h. Solve 0 = -y*r + o - 9 for r.
-1
Let z be (10/3 - 4)*-3. Suppose 8 = z*q + 2. Suppose -6*j + q = -5*j. Solve 0 = -o - 2*o - j for o.
-1
Suppose 98*r + r - 7425 = 0. Solve r*u = 64*u - 11 for u.
-1
Let x be 598/104 - 5/(-4). Suppose -5*a + 100 = -2*n, 5*a - 3*n + x*n - 100 = 0. Solve 3*y + a = 5 for y.
-5
Let u be (722/(-10))/((-11)/55). Suppose -u*p = -364*p + 27. Solve -4 = -p*l + 41 for l.
5
Let h be (-4 + 148)/9 - (-5)/(5 - 4). Solve -h*g + 149 = -40 for g.
9
Let t be (-255)/(-12) - 1/4. Suppose -15*v = -3*d + 126, 3*d - 3*v = -9 + 63. Solve -d = -t*u + 25*u for u.
-3
Let c(i) = i**3 + 6*i**2 - 4*i + 11. Let u be c(-6). Let d be 90/6*14/u. Let h be 1 - -1 - (-1 + 1). Solve f + h*f = d for f.
2
Let q = 32635 + -32590. Solve -82*p - 119 = q for p.
-2
Let q(b) = -3*b**2 - 28*b + 9. Let m be q(-9). Let l be 2/4*(70/(-7) + m). Solve 11 = l*a + 3 for a.
2
Let y = 4781 - 4773. Suppose -4*j + 0*j - 2 = i, -5*i - 10 = -5*j. Let f(s) = s**2 - s + 5. Let d be f(j). Solve 0 = d*a + y + 17 for a.
-5
Let i(a) = a**3 + 12*a**2 - 8*a + 375. Let m be i(-14). Solve m = 14*q + 11 for q.
6
Suppose 4*k + 5*i + 318 - 1503 = 0, 5*k - 1473 = 2*i. Solve -k = 7*n - 267 for n.
-4
Let v = -463 - -289. Let x = -170 - v. S