*d. Let c be p(v). Solve c = -i - i + 8 for i.
4
Let y = -1193 + 840. Let o = 359 + y. Solve 8*b + o = 6*b for b.
-3
Suppose 3*i = 6*i - 6. Let w be ((0 - 1) + i)/(4/20). Solve -2*p - w = -1 for p.
-2
Let a = 781 + -741. Suppose -76 - a = -29*y. Let c(i) = i + 8. Let p be c(-5). Solve y*q - 5*q + p = 0 for q.
3
Suppose -4*a = 6*g - g - 206, -3*a + 2*g + 143 = 0. Suppose c + a = 25. Let d be (c/(-16))/(6/4). Solve -i + d = -2 for i.
3
Suppose -18*x + 5*s = -19*x + 12, -s - 84 = -3*x. Solve 2*m - x = -25 for m.
1
Let s = 636 - 606. Suppose v = 11*v - s. Suppose 5*o + 0*o - 45 = 0. Solve -3*q - o = -v for q.
-2
Suppose -5*f - 2*f + 140 = 0. Suppose -3*c - 408 = -f*c. Suppose -5*s - 10 = -0*s, 5*y - c = 2*s. Solve 1 = y*l + 5 for l.
-1
Suppose 0 = 2*g + u, 2*u - 5*u = g + 10. Suppose 0 = -t - 2*t + 6, g*t = r - 30. Suppose 39*a = r*a + 10. Solve 2*x = -4 - a for x.
-3
Suppose 0 = -17*p + 15*p. Let j = 1265 - 1259. Solve -j*u + 35 - 5 = p for u.
5
Let r be ((-3)/18*1388)/((-10)/15). Suppose -3 = 346*m - r*m. Solve -m + 7 = -z for z.
-4
Let d = 15168 - 15130. Solve -d*a + 40*a = -6 for a.
-3
Suppose -4*j + 3*l + 52 = -5*j, 0 = 4*l. Let w = -46 - j. Suppose -10 = -h - w. Solve 0*y = 2*y - h for y.
2
Suppose -45*s + 34*s = -220. Suppose -12*u = -s - 28. Solve -u*q = -0*q for q.
0
Let z = -571 - -572. Let i be -6*(-4)/8*z. Solve -2*p - p = i for p.
-1
Let w be -1 + -16 + -3 + 1. Let i = w + 22. Solve i*k + 0 = -3 for k.
-1
Let y(d) = 7*d**2 + d. Let v be y(-1). Let s = 119522 - 119520. Solve j = -s*j + v for j.
2
Let m be (6/36)/((-14)/(-1596)). Solve -9*z - 17 = m for z.
-4
Let i(z) = -z**2 - 17*z - 1. Let g be i(-14). Suppose -5*w + 104 = -g. Suppose -v + w = 3*d, 0 = -4*d - v + 35 + 2. Solve 0*f = -2*f - d for f.
-4
Let y be 230/8 + 2/(-16)*6. Let w = y + -13. Suppose 0 = -3*i + 5*i + 2*s - 18, 5*s = -w. Solve 6*h + i = 10*h for h.
3
Let t = 431 - 432. Let b(q) = -13*q**3 - q - 2. Let j be b(t). Solve -5*r + r = -j for r.
3
Let k = -3995 + 4005. Solve 7*f + k = 17*f for f.
1
Let u be 114/76*14/3. Suppose u*d - 5*d + 3*w + 1 = 0, 5*w - 3 = -4*d. Solve -16*o = -d*o - 27 for o.
3
Let g(h) = h**3 - 24*h**2 + 18*h + 122. Let u be g(23). Let w be 2*36/8 - -2. Solve k = w - u for k.
4
Suppose -4 = -n, 5*n = 5*w - 50 - 25. Suppose -29 = -2*z + w. Suppose z = -6*k + 18*k. Solve -k - 8 = -2*d for d.
5
Suppose -194*y + 187*y + 70 = 0. Suppose z + 4*v = 24, -y*v + 6*v = -2*z - 12. Solve z*t + 8 = -0*t for t.
-2
Suppose 345 = 5*x + 5*c, 5*x + c - 228 - 101 = 0. Let i = x - 43. Suppose 25 = l + i. Solve -h + l - 2 = 0 for h.
1
Let k be 16/6 - 6/(-18). Let v = k + 13. Let g = -4417 - -4422. Solve j + v = g*j for j.
4
Let y be 1 - 6680/(-115) - (-4)/(-46). Let f = 65 - y. Solve x + f = 3 for x.
-3
Let l(o) = -18*o + 14*o - 5*o - 15 - o**3 + 12*o**2. Let u be l(11). Suppose 0 = a - 10 + u. Solve 2*g + a = g for g.
-3
Suppose 0 = -11*v - 11 + 77. Suppose -3*j + 13 = 1. Suppose 2*o + j = v*o. Solve s + 2 = -o for s.
-3
Let d be (-6 - (-4 + -128)) + -8. Solve -21*w = -8 - d for w.
6
Let v = 144 - 125. Suppose 175 = -v*y + 24*y. Solve 4*t = 11*t + y for t.
-5
Let n(d) = -2*d**2 - 2*d - 5. Let k be n(0). Let t be (-1 - (6 + k)) + (-8)/(-4). Solve t = -0*i + 3*i + 6 for i.
-2
Let c = -13 + 21. Suppose -4*j = -c*j. Suppose 5*g = -a + 19, -2*g - 42 + 48 = 2*a. Solve 0 = g*x - j*x - 8 for x.
2
Let t(k) = -k**3 - 14*k**2 - 24*k. Let z be t(-12). Suppose 12*m + 21 - 117 = z. Suppose m*f = 4*f + 20. Solve 0 = f*r - 0*r - 5 for r.
1
Let a = -163 - -163. Suppose -q + 0*q - 8*q = a. Solve q = 2*z - 8 for z.
4
Let h = 24591 + -24588. Let n(t) = -t + 2. Let o be n(2). Solve h*b - 9*b + 24 = o for b.
4
Let q be 1/(3/6)*(-21)/(-6). Let a be q - ((-4)/1)/12*0. Solve n - a = -4 for n.
3
Suppose -500 = -3*f + 334. Suppose -t - f = -5*w, 3*w - 8*t - 180 = -3*t. Let m = w + -41. Solve -2 - m = -4*d for d.
4
Let x = -373 - -379. Let s be (x/4)/(26/(15600/36)). Solve 0 = 4*l + l + s for l.
-5
Let n be (-15)/10 + 510/(-12). Let b = 3 + 44. Let q = n + b. Solve -q*a + 3 - 6 = 0 for a.
-1
Let j = 499 + -495. Suppose 0 = -5*b - 4*h + 2, h = -4*b + 2 + j. Solve 7*g = b*g for g.
0
Let g = -193 - -191. Let h be (1 + g + -2)*1/(-1). Solve -h*r + 20 = r for r.
5
Suppose n = -9, 62*n = 3*a + 60*n - 42. Solve a*g - 32*g - 48 = 0 for g.
-2
Let w be (-484 - -518) + -4 + 1 + -2. Solve -169 = -33*o + w for o.
6
Let n(h) = 79*h - 312. Let y be n(4). Solve 20 = 12*c - y for c.
2
Let k = 8529 + -8495. Solve 2*q - 38 + k = 0 for q.
2
Suppose -3*d + 3*p - 27 = 0, 0 = d - 5*p - 6 + 27. Let z be 3 - ((-8)/d + 1/(-3)). Solve -4 = 2*h + z for h.
-3
Let d(z) = -z**3 - 14*z**2 + 41*z + 194. Let y be d(-16). Solve -y*x - 5 = -5 for x.
0
Suppose -3*v - 3*v = -18*v + 11*v. Solve v = 1629*l - 1624*l + 25 for l.
-5
Let h = 67 - 65. Suppose -h*g + 670 = 8*g. Let j = g - 47. Solve 0 = 4*s + j for s.
-5
Suppose 3*a + 12 = 6*a. Solve a*p + 3 = -1 for p.
-1
Let i = -37 + 17. Let k = i - -22. Let o be (4/4)/((-1)/(-2)) + k. Solve o*n = n + 9 for n.
3
Suppose 3*v + 808 = -5*j, -j = -2*v + 278 - 106. Let u be (-8)/(-18) + j/(-36). Solve -1 = u*l + 4 for l.
-1
Let p = 218 - 193. Suppose 5*w = -p*w + 480. Solve -w = -4*t - 28 for t.
-3
Let y be 105/28 - 1/(-4). Let o(q) = -6 + 14*q - 3*q**3 + 0*q**3 + q**2 + 2*q**3. Let l be o(y). Solve l*u = u for u.
0
Suppose 3*s - 11*f + 6*f = -172, 0 = 5*s - 3*f + 260. Let n be 258/5 + (-2)/(-5). Let i = n + s. Solve -i + 0 = m for m.
-3
Let w(p) = -p**2 + 11*p. Let x be w(8). Let l(c) = -3*c**2 + 12*c + 100. Let d be l(8). Solve -10*u + x = -d*u for u.
4
Suppose -12*f + 245 = 197. Suppose t + 8 = 5*k, 0 = 7*t - 2*t - 2*k - 6. Suppose 11 = t*q - q. Solve q = f*w + 3 for w.
2
Let n(q) = 28*q**2 - 110*q + 548. Let a be n(5). Solve 7*j + 649 = a for j.
7
Let i(b) = 3*b**2 + 388 + 5*b - 8*b - 392. Let l be i(-1). Solve l*a - 10 = -16 for a.
-3
Let w(x) = 41*x - 370. Let v be w(10). Suppose -2*h - 4*c + v = 0, -41 = -5*h - 3*c + 24. Solve 0 = 3*p + 1 - h for p.
3
Let f = -2902 + 2906. Solve f*n - 166 + 178 = 0 for n.
-3
Suppose 2*b + 212 = 3*m, 0 = 6*m - 2*m - b - 286. Suppose 31*n - 13*n = m. Solve 14*j = 12*j - n for j.
-2
Let n(w) = w**3 - w**2 - 4*w - 4. Let y = 3 - 0. Let k be n(y). Suppose k*z - z = -3*r + 3, 2*z - 22 = 2*r. Solve 0 = 5*b - 2*b - z for b.
3
Let d = 76 - 14. Let t be 2/2 - d - (16 + -17). Let x be 5/3 - 2 - t/18. Solve -x*c + 7*c + 8 = 0 for c.
-2
Let m = -855 - -840. Let l be (27/m)/(664/(-160) - -4). Let n be 1/4 + 70/8. Solve -n*x = -5*x + l for x.
-3
Let k(t) = t**2 + 9*t - 73. Let w be k(6). Solve 0 = -w*l + 26 - 9 for l.
1
Suppose -3*j = 2*j - 3*c - 100, 3*j - c = 64. Suppose -27 = j*n - 26*n. Suppose 5*w + n = -4*x, 0*x + 32 = 3*x - 4*w. Solve f - 5 + x = 0 for f.
1
Let x = 169 - 150. Let h = 41 + -22. Let t = h - x. Solve -p + 3*p = t for p.
0
Let f(l) = -l**3 - 20*l**2 + 125*l - 9. Let g be f(-25). Let c(v) = v**2 + 10*v + 13. Let h be c(g). Solve -h = 6*i + 20 for i.
-4
Suppose -3*g + 5*g + 16 = 5*v, -2*v + 19 = -5*g. Suppose -4*h + v*h + 6 = -w, 2*w - 5*h + 15 = 0. Solve 2*y - 3*y + 4 = w for y.
4
Suppose -d + 5*d - 2*x = 16, 0 = d - 3*x - 4. Let r be (-4 - 0)/(10/(-275)). Suppose 12*t + r = 17*t. Solve -d*u + t = 6 for u.
4
Let i be (0 + 5)*374/170. Suppose -i*j = -8*j. Solve -5*q + 7*q + 2 = j for q.
-1
Let a(n) = -204*n - 1176. Let t be a(-6). Solve -p - t = -17*p for p.
3
Let c be 22 + (-1)/(8/(-56)*1). Solve -c*i = -23*i + 6 for i.
-1
Let b(v) = 11*v**2 + 7*v + 5. Let x = 60 - 54. Let q(i) = 13*i**2 + 8*i + 6. Let o(z) = x*b(z) - 5*q(z). Let g be o(-3). Solve -6 + g = -3*p for p.
1
Suppose 4 = x - 0. Let k(m) = -m**3 + 5*m**2 - 5*m + 8. Let s be k(4). Let l be (-35)/(-3) + 1 - s/6. Solve -x*b = -0 - l for b.
3
Suppose -4*n - 3*q + 32 = n, 0 = 3*n - 3*q. Suppose 3*u + 43 = w + n*u, -180 = -4*w + 4*u. Suppose w*p = 45*p. Solve 0 = -2*c - p*c - 8 for c.
-4
Let k = 1 + -1. Let o = 16132 - 16127. Solve -2*p + o + 5 = k for p.
5
Suppose -3*a + 3 = -15. Let c(h) = -7*h + 69. Let n(o) = 8*o - 68. Let q(z) = -2*c(z) - 3*n(z). Let l be q(a). Solve 2*f - 2 - l = 0 for f.
4
Let a(f) = f**3 - 20*f**2 - 21*f + 3. Suppose -17 + 59 = 2*w. Let b be a(w). Suppose -b*h = -5*t + 22, -3*t + 20 = t. Solve n - h = 2 for n.
3
Let v(q) be the third derivative of q**6/120 + 7*q**5/3