 6*n for n.
-2
Let b = -987 + 999. Solve 191*w = 187*w - b for w.
-3
Suppose -5*c = -67 - 143. Let g = c + -5. Solve -2*d + g = 41 for d.
-2
Let g = -184 - -189. Suppose 4*r + 0*r = g*f - 25, -3*r = -5*f + 30. Solve -2*b = -f + 17 for b.
-4
Suppose 5*v - 11 = 4*r, v + 2*v - 14 = -5*r. Let z(b) be the first derivative of 3*b**4/2 + b**3/3 - b**2/2 + 1563. Let w be z(r). Solve o + 3 = w for o.
3
Suppose 4*r + 3*u = -u + 36, -32 = -3*r - 4*u. Suppose r*b = o + 2*b, -b = -2*o. Let l be 1*15 + o/(4/(-4)). Solve 4*v + 1 = -l for v.
-4
Suppose -9*l + 1442 = 44*l - 4282. Solve 0*k + l = -27*k for k.
-4
Let x(n) = -n**3 - 21*n**2 - 57*n - 43. Let o be x(-19). Solve -o*s = -307*s for s.
0
Let t(s) = -67*s**2 + 11*s - 18. Let k(v) = -52*v**2 + 8*v - 14. Let g(n) = 9*k(n) - 7*t(n). Suppose q - 9 = -4. Let i be g(q). Solve -2*x - x + 3 = i for x.
1
Let h be (-9)/(27/24) + (-24)/(-2). Solve -h*t + 5*t = -4 for t.
-4
Let u(k) = 9*k**2 - 21*k + 14. Let a be u(12). Suppose a*o = 1050*o. Solve 6*c - c + 0*c = o for c.
0
Suppose -9*n + 2*n = -42. Suppose 11 - 5 = n*f. Solve -2*j - 1 - f = 0 for j.
-1
Suppose -49*k + 2*n = -46*k - 515, 0 = 3*k + 3*n - 555. Solve -19*j - k = -78*j for j.
3
Let b be 15/((-525)/(-20)) - (-230)/14. Solve b*i = 15*i for i.
0
Suppose -6*p = 3*t - 8*p - 48, 6*t - 3*p = 87. Suppose -3*c + 45 = 2*c. Solve -t + c = j for j.
-1
Let h(m) = 10*m - 74. Let t be h(12). Suppose 0 = -2*v - t + 58. Solve -2*c + v*c - 20 = 0 for c.
5
Let m(z) = -z**2 - 11*z - 29. Let p be m(-7). Let v be 6*12/(-18) - p. Let y be ((-3 - -3)/(-4))/(3/v). Solve y*k - 20 = 5*k for k.
-4
Let x(y) = -y**3 + 5*y**2 - 5*y + 13. Let l = -81 + 85. Let w be x(l). Solve 11*r + 8 = w*r for r.
-4
Let v = -4255 + 4261. Solve v = -743*r + 740*r for r.
-2
Suppose -4*y + 138 = -2. Let o = 38 - y. Suppose 5*s - 2*d = 35, 0 = 6*s - o*s - 2*d - 21. Solve 2*p = s*p + 10 for p.
-2
Suppose -6*p = -4*p. Let x = -3855 + 3857. Solve x*s = -p*s + 2 for s.
1
Let p(s) be the second derivative of s**3/6 - 4*s**2 + 3*s. Let f = -36 + 46. Let r be p(f). Solve 0 = -6*n + r*n - 4 for n.
-1
Let m(c) = 5*c + 52. Let b be m(-9). Suppose 12 + 44 = b*w. Solve -w = 3*h + h for h.
-2
Suppose h - 865 + 1102 = 0. Let z = 240 + h. Solve -5*m + 7 = -z for m.
2
Suppose 0 = 14*w + 201 - 523. Suppose 2*n - 2 = 0, -26*l + w*l + 23 = 2*n. Suppose c + 0 = 1. Solve -c + l = 2*s for s.
3
Suppose 6*g + 798 = 27*g. Suppose 28*o = g*o - 160. Solve 3*y + 4 = o for y.
4
Let g(o) = -o**3 + 7*o**2 + 28*o + 33. Let c be g(8). Suppose -2*s = -x - 76 - 13, 4*s - c = -3*x. Solve 2*d - 44 = -s for d.
-1
Suppose -9*r = -8*r - 63. Let v = -61 + r. Let n be 2 + (-3 - (v - 7)). Solve n = 4*j - 6*j for j.
-2
Suppose 2*x + 419 = 3*n, 3*x + 2*n = 4*x + 210. Let r = x + 222. Solve -3*o + 17 - r = 0 for o.
1
Suppose 0 = -3*u + 101 + 268. Let s = 133 - u. Let x = 12 - 12. Solve x + s = -5*k for k.
-2
Suppose -4*p = -5*m - 0*p + 835, 4*m - 668 = p. Let s = 176 - m. Solve 4*q = s*q - 5 for q.
1
Let a = -42723 + 42737. Solve a*z - 990 = -1116 for z.
-9
Let v = 429 + -304. Let y = v + -109. Solve 0 = 3*z + 4 - y for z.
4
Let k(a) = a + 4. Let u be k(-4). Suppose 3*g - 4*z - z = 384, -256 = -2*g + 5*z. Suppose 0 = -6*f + g - 98. Solve f*n + 23 + 2 = u for n.
-5
Let m be (-23)/3 + 1/(-3). Let l be (m/(-4))/((-2)/(-4)). Let u = 1028 - 1028. Solve -l*w - 28 + 8 = u for w.
-5
Let y be (-32775)/(-228) - 10/(-8). Solve -135*u = -y*u + 40 for u.
4
Let h(y) = -y**2 + 2*y + 39. Let a be h(7). Let g be a + (-36)/8 + 20/8. Solve -g*r = -r for r.
0
Let q = -134 + 136. Suppose t - 6*p = -q*p - 14, -10 = 5*t - 5*p. Solve -t*d + 7 - 3 = 0 for d.
2
Let t(p) = -13*p**3 - 152*p**2 + 34*p - 35. Let s be t(-12). Solve -s = -6*o - 175 for o.
-7
Let s be -25 - (-2 + -1)*4/(-6). Let z = s - -26. Let t be 12/9*(z + 10/4). Solve -4*q + t = -2 for q.
1
Let r(f) = f**2 - 40*f + 13. Let c be r(23). Let j = c - -394. Solve 18 = -2*z + j for z.
-1
Let t be (-88)/(-32)*4 + 5. Suppose -t*y = -173 - 35. Solve 4 = -3*n + y for n.
3
Let b = -5384 - -5410. Solve -5*g = -1 + b for g.
-5
Let q(x) = 2*x**2 + 2*x - 3. Let a be q(-3). Suppose -21 = -4*u + 5*w, 5*u - 30 = 176*w - 171*w. Solve -a*l + 12*l = -u for l.
-3
Suppose 32*b = 16 + 592. Solve -7 = -4*g - b for g.
-3
Suppose 96 = 4*k - 2*k. Let f = k - -32. Suppose -4*q - 4 = -f. Solve 0 = 5*h - q + 44 for h.
-5
Let j be (19/4 + -4)*4. Let d(n) = -n**2 - 6*n - 5. Suppose -8 = 3*i + t, -t + 13 = -2*i - 2*i. Let s be d(i). Solve 0 = s*a - a - j for a.
1
Let n = 4457 - 4451. Solve -30*c + n*c + 24 = 0 for c.
1
Let v = -1 + 5. Let x be 18/(-48) + v/(96/9). Solve x = -4*l + 11*l + 35 for l.
-5
Let r be (-2)/6 + ((-220)/33 - -10). Suppose -20 + 4 = -5*f + r*k, 11 = f + 2*k. Solve f*n = -20 - 5 for n.
-5
Let q be (1 + 0)/((-511)/(-58765)). Solve -25*w + 90 = q for w.
-1
Suppose -3*b + 1092 = 867. Solve b*a = 88*a for a.
0
Let d(q) = -10 - 84*q + 50*q + 27*q. Let s(r) = r**2 + 6*r + 6. Let m be s(-4). Let k be d(m). Solve -k*c + 1 - 9 = 0 for c.
-2
Suppose -10 = 2*g + 5*o, 2*g + 2*o - 1 = -5. Suppose -23*j + 21*j + 8 = g. Solve j*d = 16 + 4 for d.
5
Let x(g) = -5*g**3 - 35*g**2 - 32*g + 53. Let p be x(-7). Solve 15*y = -202 + p for y.
5
Suppose -5*v = 3*b + 1625, -3*b + v - 1633 = 2*v. Let g = b + 561. Solve 5*y - 9*y + g = 0 for y.
4
Let a = 34 - 82. Let s = a + 42. Let n be s*((-6)/(-8))/(6/(-4)). Solve n + 17 = 5*z for z.
4
Let r(b) = b**3 - 52. Let a be r(0). Let v = -48 - a. Suppose 5*n - u - 5 = -2*u, -2*u + 10 = 3*n. Solve n = -v*h + 6 + 2 for h.
2
Let d = 126 + -124. Suppose 4*t + j - 8 = 0, t + 3*j = 2*t - d. Suppose v - 14 = 2*v + 5*k, -5*k = -t*v + 17. Solve -3*o - 7 = -v for o.
-2
Suppose 0 = -p - p - 2, 4*p - 5 = -3*o. Suppose 2*v - 85 = -o*i + v, v = -4*i + 115. Solve 25*z = i*z for z.
0
Let h = -611 - -645. Suppose h*w = 23*w + 209. Solve n - w = -18 for n.
1
Let k(m) = 2*m**3 - 11*m**2 + 14*m + 7. Let h be k(3). Let q be 0*(h + 92/(-24))*-2. Solve q = 10*t - 0*t - 30 for t.
3
Suppose -j + 5*u + 27 = 0, u + 5 = -0*u. Let n be (3/(-4))/((-1)/4). Suppose 6*f = n*f. Solve f = j*a - 6 - 4 for a.
5
Let o(h) = -4*h**2 + 34*h - 49. Let x be o(5). Solve 27 + 57 = x*q for q.
4
Let n(f) = -34*f + 954. Let v be n(27). Solve 0 = v*z - 45*z + 18 for z.
2
Let k(b) = -6*b + 188. Suppose 1766 - 1983 = -7*s. Let o be k(s). Let r(l) = 3*l + 1. Let j be r(1). Solve -j = -o*x - 0 for x.
2
Let m be (-5)/1 - (-8*(-7)/(-28) - 80). Solve 0 = -m*o + 79*o - 10 for o.
5
Suppose 0 = -604*r + 611*r - 637. Solve r*g - 80*g = 77 for g.
7
Suppose -3*g - i + 527 = 0, 3*i = -2*g + 119 + 223. Solve 188*h = g*h for h.
0
Let w(f) = 123*f + 1023. Let p be w(-8). Solve 8*g + p = 47 for g.
1
Let q(k) = -k**3 + 12*k**2 - 13*k + 30. Let v be q(11). Let o = -2 + v. Solve o*a = a - 15 for a.
-3
Suppose d - 4 = -3*d. Let p be d*(0/2 + 11). Let q = 9981 + -9972. Solve 4*b = p + q for b.
5
Let w = -297 - -302. Suppose -8*f + 5*f + 79 = 2*j, -4*j = -w*f + 139. Solve -9 = 6*a - f for a.
3
Let y(n) = n**3 - 33*n**2 + 31*n + 43. Let p = 136 + -104. Let i be y(p). Solve -i*k - 36 = -2*k for k.
-4
Suppose -52*x - 762 = -1126. Let q be -7*12/(-42)*2. Solve -x*h = -q*h - 12 for h.
4
Let t(h) = h**3 + h - 2. Suppose u - 5*u + 137 = -5*l, -l = -3*u + 100. Suppose -32*d + u*d = 1. Let j be t(d). Solve j*a + 5*a = 10 for a.
2
Suppose -f + 126 = 2*m + 49, -221 = -6*m - f. Solve 14*r = 2*r + m for r.
3
Let k(l) be the second derivative of -3*l**3 - 141*l**2/2 - 23*l + 1. Let o be k(-8). Solve -19 = 4*c - o for c.
-4
Let b = -51 - -125. Suppose b = 5*h - 1. Suppose 25 = 20*o - h*o. Solve o*s + 24 = 4 for s.
-4
Let j = 3558 - 3510. Solve j = 2*q - 18*q for q.
-3
Let c(y) = 11*y + 26. Suppose -t + 2*t + 1 = 2*g, 18 = g - 4*t. Let f be c(g). Solve -f*m = -1 + 13 for m.
-3
Let v(n) be the first derivative of -4*n**2 - 25*n - 39. Let i be v(-4). Solve 9 = -i*j + 4*j for j.
-3
Suppose 20 = 3*q + 2*d, q = 5*d + 24 - 23. Let n = 11 + -1. Solve n*o - 13*o = q for o.
-2
Let z = -408 - -428. Let s = 10 + -6. Suppose 0 = -s*f + 2*f. Solve z = -5*j - f*j for j.
-4
Suppose -4*r - 16 = -9*r + j, 0 = r - 3*j - 6. Solve 0 = 3*l + r for l.
-1
Let f(c) be the second derivative of c**5/20 + c**4/6 + 5*c. Let l be f(-2). Let x = 10 - 8. Solve l = -2*a - x for a.
-1
Suppose -5*o + 2*o - m + 15 = 0, 1