i - 6 - 2 = -n*t, i = -3*t. Solve 1 = f - t for f.
2
Let b(y) = y**3 + 12*y**2 - 7*y - 9. Let p be b(-13). Let k = p + 92. Suppose -3*s = 4*r - 29, k*s + 0*s = 2*r + 5. Solve r = 2*d - 3 for d.
4
Let c(v) = -30*v**2 - 4*v + 6. Let k be c(-2). Let u be 0/k + -2*6/(-4). Solve -u*y = y - 4 for y.
1
Let o(d) = -d**3 + 7*d**2 - 2*d - 8. Let p be o(6). Suppose 3*r - 68 = -3*x - x, 0 = -4*x - p. Let q be r/(-154) - 167/(-11). Solve 0 = -3*g + 6*g + q for g.
-5
Suppose -7*w - 638 = -211. Let u = w + 23. Let t be (-19)/u*(5 + -1). Solve -b = t - 3 for b.
1
Let w be (-2)/4*((-2702)/7 + 8). Let v = 193 - w. Solve -v*k - k - 20 = 0 for k.
-4
Let g(o) = -o**2 - 11*o - 19. Let m be g(-8). Suppose -3*s + 10 = 2*s, -z + 2*s = m. Let l be (z + 1)*9/18. Solve 0 = -4*y - l*y + 20 for y.
5
Let b = -143 + 144. Suppose -4 + 1 = -2*s - u, -s - u - b = 0. Solve -d = d + s for d.
-2
Let q be 15*484/330 - 12. Solve 0 = -q*c - 32 + 12 for c.
-2
Suppose 3 = 5*b - 17. Suppose -b*z + 85 - 5 = 0. Solve -19*s - z = -14*s for s.
-4
Let p = 355 - 350. Suppose -p*d - 152 + 167 = 0. Solve d*c = -1 + 4 for c.
1
Suppose 10*m - 5656 = 24*m. Let g = -373 - m. Solve -g*u = -29*u + 4 for u.
-2
Let k = 930 + -906. Suppose 89*a - 97*a + k = 0. Solve 10 + 2 = a*z for z.
4
Let i = 18 + -18. Suppose -3*l - 3*d + 238 = -d, 4*l + 4*d - 320 = i. Solve -l*h = -76*h + 6 for h.
-3
Let q(d) be the first derivative of d**3/3 - 2*d**2 - 12*d + 1. Suppose -5*u = 4*h + 43, -1226*u + 1223*u - h = 16. Let m be q(u). Solve -8 = 7*s - m*s for s.
4
Suppose -5*r + w + 35 = 0, 4*r - 14 = 3*w + 3. Suppose -27 = -p - r. Solve -3 = -4*s - p for s.
-4
Suppose -174 - 477 = -3*n - 3*x, -n + x = -205. Solve 3*a - 193 + n = 0 for a.
-6
Let d(w) = 3*w**2 - 2*w + 1. Let q be d(1). Suppose -q*u - 4 = -26. Suppose 5 = -h + u. Solve 25 = -s + h*s for s.
5
Let n(x) = -x**3 - 4*x**2 + 6*x + 64. Let m be n(-4). Solve o + 9*o = m for o.
4
Let m = 20 + 20. Suppose -3*u + m = 2*i, -3*i = 3*u + i - 50. Solve 19*g - 21*g + u = 0 for g.
5
Let z(t) = -t**2 + 51*t - 2. Let x be z(35). Let u = -558 + x. Solve -q + 46 - 45 = u for q.
1
Suppose o + s = -8, -4*o - 37 = -s - 0*s. Let n = o - -40. Let v = n + -25. Solve -1 = -5*r - v for r.
-1
Let d(c) = c**3 - c**2 + 3*c - 2. Let l be d(2). Let r be 2/20*5 + 28/l. Solve f = r*f + 15 for f.
-5
Let n be (-172)/(-1)*5/20. Let k = -22 + n. Let r be ((-6)/8)/(k/(-112)). Solve r*y + 16 = -0*y for y.
-4
Let c(w) = -116*w - 1906. Let p be c(-17). Solve p = -21*g - 12*g for g.
-2
Let w(v) = 2 - 1 - 4 + 6*v - 7*v. Let x be w(-4). Solve -2*d - 3 = x for d.
-2
Let x be (-7035)/(-42) + (-1)/2. Let v = x + -156. Solve 14 + v = -5*n for n.
-5
Suppose 5*b - 17 + 7 = 0. Let o be (98/(-539))/((-2)/44). Suppose -95*q + 92*q + 2*l = -14, -o*l + 16 = 5*q. Solve b*s + 0 = -q for s.
-2
Let d(a) = 2*a**2 - 24*a + 65. Let j be d(3). Solve j*w = 29 + 4 for w.
3
Let p = -2131 - -2236. Solve 18*i = p + 3 for i.
6
Suppose -5*r + 2*p - 102 = -190, p = -3*r + 55. Solve -16*j + 4 = -r*j for j.
-2
Suppose -12*o = -6*o - 336. Suppose 23*m + o = 25*m. Solve 7*h - 7 = -m for h.
-3
Let a be (4 - (-4)/(-6))*-6. Let q be 255/(-6) + (a/8)/(-5). Let r be q/(-28)*(-4)/(-3). Solve 4 = r*c - 3*c for c.
-4
Let i(u) = -220*u - 4156. Let r be i(-19). Solve 24 = r*w + 96 for w.
-3
Let c(t) = 4*t + 42. Let r be c(-9). Suppose 0 = -r*b + 14 + 10. Solve -3 = b*p + 5 for p.
-2
Let j be 66 - 5/((-5)/(-6)). Suppose 2*n = 4*k + 6, 4*n = -k - 3*k + j. Solve -n = -3*m - 26 for m.
-5
Suppose -30*u + 0*u = -13380. Solve 447*v - u*v = 6 for v.
6
Let n be (-4)/(-10) + (-8)/(-80)*-4. Suppose 0 = -n*v - 4*v + 12. Suppose 0 = -q - v*q. Solve q = j + 4*j for j.
0
Let m = -4829 - -4979. Solve -9*l - 132 = -m for l.
2
Let s = 24 - 2. Suppose -3*u = -y + 11, 5*y - 3*u - s = u. Suppose r - 2 - y = 0. Solve r*v = -0*v for v.
0
Suppose 1017 = 29*m + 321. Suppose 0 = m*f - 52 - 68. Solve -z = f*z for z.
0
Let h(r) = -30*r - 434. Let c be h(-15). Solve -23*u + 35 = -c*u for u.
5
Let m(h) = -28*h - 336. Let u be m(-18). Solve -158*l - 40 = -u*l for l.
4
Suppose -11*l = 98*l - 2398. Solve -21*g + 83 + l = 0 for g.
5
Let r be (7 - 15) + 8 - -54. Solve 5*b = -r + 44 for b.
-2
Suppose -11*g = -14*g + 18. Let n(r) = -4*r - 26. Let x be n(g). Let z = x - -58. Solve -12 = -z*d + 5*d for d.
4
Suppose -9*y - 600 = -33*y. Solve 0 = -2*j + 17 - y for j.
-4
Suppose 15*n = -14 + 44. Let o be (84/24)/((3/3)/n). Solve -5*q + 27 = o for q.
4
Let m be -22 + 14 - -92*2. Solve m = 3*k + 194 for k.
-6
Suppose 0 = 4*j - 2*s - 26, -4*s - 9 = 2*j + 3. Suppose 0 = 29*g - 40*g + 88. Suppose -1 = l - 2*o, -g = o - 5*o. Solve -l*z = -z + j for z.
-2
Let c = 237 + -123. Let s = c - 92. Suppose s = 5*u + 2. Solve -4*v - u = 4 for v.
-2
Let t = 251 + -173. Let x = t - 46. Suppose -x = 2*v - 52. Solve -3 = 7*p - v*p for p.
1
Suppose -5*f + 0*f = 2*i - 229, -3*i = 3*f - 141. Let g(p) = -93*p**2 + 0 + 46*p**2 + p**3 + 6 - 3*p + f*p**2. Let w be g(2). Solve 0 = -w*m - 4*m + 16 for m.
4
Let w = -50 + 56. Suppose 3*s = -w*q + 2*q - 58, -q = 5*s + 23. Let t(v) = -v**2 - 15*v - 14. Let a be t(q). Solve 3*x + x = a for x.
3
Suppose 2*g = 2*m - 8, -1 - 25 = -5*m - g. Let y = 9 - m. Suppose 3*i = 16*i + 20*i. Solve y = 2*c - i for c.
2
Let a(g) = -895*g + 1847. Let z be a(2). Solve -z*k + 19*k + 114 = 0 for k.
3
Suppose g + 287 = 313. Suppose 14 = 10*z - g. Suppose 3*s - 12 = -0. Solve s*f - 16 - z = 0 for f.
5
Suppose -y = 2*z + 131, y - 5*z - 6 = -137. Let j = -57 - y. Let i = j - 71. Solve 0 = -6*r + 5*r - i for r.
-3
Suppose -21 = 3*i, j - 7*i - 67 = -2*i. Solve -592*l + 608*l = -j for l.
-2
Let b(p) be the third derivative of p**6/120 + p**5/60 + 5*p**4/24 - 5*p**3/6 + 7*p**2. Let f be b(-4). Let o = -69 - f. Solve -1 = -q + o for q.
5
Let m = -3453 + 3475. Solve -17 = -m*f + 49 for f.
3
Let k = 52 - 113. Let p = 81 + k. Suppose 2*j - p = -4*q, -q + 3*j + 10 = 3*q. Solve 2*f = q*f - 6 for f.
3
Suppose -4*v + 83 = j, 5*v + 5*j - 7 = 78. Solve -v*t - 3 = -23*t for t.
3
Suppose 4*w - 2*i = 0, -23*i + 8 = -2*w - 21*i. Let y = -33 - -53. Solve -4 = -w*m - y for m.
-4
Suppose -3*u - 15 = 0, 2*y - 6*y + 2*u + 38 = 0. Let c be y/(-28) - (-14)/(-8). Let q be (-14)/56 + c/(-8). Solve q*n + n + 5 = 0 for n.
-5
Suppose -51*c = 217*c - 17688. Solve -9*w - 3 + c = 0 for w.
7
Let y(f) = 6*f - 118. Let w be y(20). Let n be (6/8)/(3/(-96)). Let d = 32 + n. Solve 0 = -w*v - 2*v - d for v.
-2
Let t = -2668 + 2702. Solve -16*w + t = 18 for w.
1
Suppose 3*y = 3*q - 6, -5*y + 2*q - 5*q = -6. Let k be 4/8*(y - -10). Solve -1 = k*u + 19 for u.
-4
Let j = -432 + 434. Suppose -j*h + 328 = 320. Solve -21 = -h*y - 17 for y.
1
Let h(c) = -c**2 + 36*c - 202. Let t be h(11). Suppose -t*w + 68*w = 0. Solve -4*j + 9*j + 10 = w for j.
-2
Let u(c) = -8*c**2 + 7*c + 6. Let f be u(-1). Let a(o) = 2*o**2 + 13*o - 45. Let h be a(f). Solve 0*y + 6*y - 4*y = h for y.
0
Let f be ((-6 - 3) + 3)*-1 + -3. Let b(m) = 13*m**2 - 3*m - 3. Let v be b(f). Let n be 6/(-63) - (-2110)/v. Solve -5*k + k + n = 0 for k.
5
Let g = -19789 + 19838. Solve 8 = g*v + 57 for v.
-1
Suppose 4*a - 7 = 1, 2*s - 3*a - 34 = 0. Suppose 2 = 3*r + x, 18*x - s = 23*x. Solve 2*t + r + 8 = 0 for t.
-5
Suppose 0 = 5*o - 4 + 19. Let d be 30/24*(-1 + o). Let k = 19 + d. Solve -5*f - 11 - k = 0 for f.
-5
Let i be (((-136)/(-6))/2)/((-2)/(-15)). Solve -2*w - i = -19*w for w.
5
Let a be (-1 + 7)*(-10)/15*-1. Suppose 2*d - 5*s = 1, d + 2*s - 1 = a. Suppose -k + d = -1. Solve -k*i = 6 + 10 for i.
-4
Let x = 3665 - 3588. Solve 0 = x*n - 67*n for n.
0
Suppose 0 = -3*j - r + 58, 11*j + 10 = 12*j + 5*r. Let v(q) = -3*q + 3*q + q - 18. Let f be v(j). Solve -f*t - t = -3 for t.
1
Let u = 35 - -280. Let w be -5*27/u - (-62)/14. Solve -7*n = -w*n + 15 for n.
-5
Let s = 136 - 34. Suppose 4*q + 20 = -0*q, -4*q = 2*o - s. Let h = o - 59. Solve -2 = -h*j + 2 for j.
2
Suppose -4*b - 1 = 3. Let t = b - -1. Suppose -2*l + a + 22 = t, 0 = l - 0*a + a - 8. Solve -2*k + 0*k - l = 0 for k.
-5
Let o be (-3)/15 - (-1)/5. Suppose -v + 28 = -3*u + 31, 3*u + 4*v - 18 = o. Solve 3*h = 7 + u for h.
3
Suppose 20*l = -139 - 61. Let o be 5/l*4/6*-6. Solve o*d = 2 + 4 for d.
3
Let m(f) = -f**3 - f**2 - 1. Let o be 2/4*-4*(-3)/(-6). Let p(c) = 7*c**2 + 9*c - 2. Let g(z) = o*p(z) + 2*m(z). Let v be g(-