pose -w - 5*n = -41, 4*w - 2*w - 5*n = 7. Suppose 0*i + w*i = 0. Solve 0 = -3*a - i*a for a.
0
Suppose -177 = 14*z - 317. Let s be ((-10)/(-3))/((-1)/(-3)). Solve s*q - 8*q = -z for q.
-5
Suppose 327 = -66*x + 327. Solve x = h + 24 - 28 for h.
4
Let g = 217 - 193. Suppose 0 = 3*f + g*f - 81. Solve 7*d + 24 = f for d.
-3
Let a(w) = 9*w + 105. Let h(z) = 4*z + 55. Let m(u) = -2*a(u) + 5*h(u). Let p be m(-23). Solve 0 = 7*t + p + 16 for t.
-5
Suppose -5*h + 2*d + 6 = 0, 2 = 3*d - 4. Suppose 5*f - 80 = h*w, -w = 3*f + 7 - 55. Solve s - f = 5*s for s.
-4
Let a(v) = v**3 + 13*v**2 - 8*v - 213. Let u be a(-12). Solve -u*g - 7 = -34*g for g.
1
Suppose 0 = -33*n + 38 + 490. Solve -n = -266*b + 270*b for b.
-4
Suppose -9*n + 7*n = a - 6, -12 = -3*n. Let h be -2*a/(-8) + (-9)/(-6). Solve 5 = -r + h for r.
-4
Suppose -2*y - 10*y + 36 = 0. Suppose -4*r = 6*z - 4*z + 10, -y*z - 4*r = 5. Suppose 0 = -5*s - 5, z*n - 4*s + 7 - 26 = 0. Solve -8 = -v - n for v.
5
Suppose 6*v - 6*v = -28*v + 5572. Solve -v*i = -196*i - 18 for i.
6
Let g be (-8 + 65/(-15))/((-2)/(-6)). Let s = g + 44. Solve 0 = 2*j - s*j for j.
0
Let u(a) = -4*a + 4. Let c be u(-1). Suppose c - 16 = -2*x. Solve 0 = -x*i + 3*i + 1 for i.
1
Let u = -3128 + 3246. Solve 115 - u = -t for t.
3
Let c be -11 + 3186/90 + (-2)/5. Solve 38*j + c = 32*j for j.
-4
Let s(f) be the third derivative of f**4/6 - 28*f**3/3 + 24*f**2 - 2*f. Let v be s(14). Solve -15*u + 19*u - 12 = v for u.
3
Suppose 1382 + 741 = 11*r. Suppose r*c = 195*c - 6. Solve -9*a + 12*a + c = 0 for a.
-1
Let k(h) = -h + 2. Let b be k(-3). Let a = 105 + -179. Let z = a + 77. Solve -z*n - 2*n = -b for n.
1
Let c(j) = j**3 + j**2 - 4*j - 1. Let q be c(-2). Suppose -4*z - v + 5 = -0*z, 3*z - q*v = 0. Solve 19 - z = 6*n for n.
3
Let r = -3739 + 3791. Solve -20*m = 32*m - r for m.
1
Suppose 5*p = -0*d - 3*d + 3237, 2*p = -5*d + 1291. Suppose -12*o - p = -6*o. Let v = 114 + o. Solve -t = -v*t for t.
0
Let r(n) = n**2 + 31*n + 284. Let h be r(-16). Solve -h*q = -31*q - 13 for q.
1
Let o(c) = c**3 + 5*c**2 - 8*c - 4. Let s be o(-6). Let z = 124 - 120. Let j = -92 - -104. Solve s*v = z*v + j for v.
3
Suppose -3*w - 4 = v - 1, w = -5*v + 13. Suppose 10*o - 6*o + 1 = -5*h, -v*o - 2*h = -8. Solve 0 = t - 3*t + o for t.
3
Let n = -42 + 42. Solve -7*s - 73 + 108 = n for s.
5
Let t = 3631 - 3622. Solve -t*l = 11 - 38 for l.
3
Let n be (-3)/(8 + (-136)/16). Solve 54*i - 60*i - n = 0 for i.
-1
Suppose 0*q = -4*q + 8. Suppose 2*r + 59 = 3*y, -q*y + 2*r + 26 = 4*r. Solve 0 = -2*p - y + 7 for p.
-5
Suppose -6*j = -2*j + 8. Let p be 3 + (0 - j) + -5 + -4. Let h be 5236/153 - p/(-18). Solve 0 = -5*f - h + 9 for f.
-5
Let j(o) = -o**3 + 14*o**2 - 18*o + 527. Let t be j(15). Solve -10*y + 8 = -t for y.
4
Let i be -1*(-2)/(-8) + 460/(-80). Let c be (4/(-3))/(i/(-162)*-6). Solve 22 = 4*h + c for h.
4
Let k = -15952 + 15984. Solve -30*a + k*a = 14 for a.
7
Let x(f) = f**2 + 24*f + 25. Suppose -5*o = 100 + 15. Let j be x(o). Solve y - 1 = j for y.
3
Let j = 264 - 259. Suppose j*k - 65 = -55. Solve -y - k = y for y.
-1
Let v be 2/(-3)*16794/(-36). Let i = v - 298. Solve -12*q + i*q = -1 for q.
-1
Let v be (14 + (598 - 7))/(2/2). Let u = v - 588. Solve 4*l + 13 = u for l.
1
Let c(z) = z**3 - 16*z**2 + 17*z - 27. Let w = -34 + 49. Let x be c(w). Solve 10 = -x*b + 5*b for b.
5
Let i = 1 - 66. Let u = 67 + i. Suppose 0*y - j - u = -4*y, 0 = -3*j - 6. Solve -3*v + y*v = -6 for v.
2
Let z = -65 + 79. Let y be ((-9)/(-1) + -4)/1. Solve 0 = -y*k - 9 + z for k.
1
Suppose v - 1 = -3*p + 49, 4*p + 5*v = 85. Let b = 37 + p. Let l = 54 - b. Solve a + l = -a for a.
-1
Let o = -11201 + 11220. Solve -15 = -24*a + o*a for a.
3
Suppose 2*g - 2 = -h, 0 = g + 2*g. Let i be (-30)/(-6) + -3 - 8. Let m be (i/10)/(-3) + 72/(-360). Solve 0*j + h*j = m for j.
0
Let l be ((-5)/(-10))/((-1)/(-8)). Let i be (-13)/(117/(-36)) - -4. Suppose t - 6 = -c, t - l*c + i = -6. Solve 0 = -2*q - t*q + 8 for q.
2
Suppose 0 = -r + 3*o + 88, 5*r - 2*o = 190 + 185. Suppose 69 = -2*h + r. Suppose -3*m - 5*i = 10, -3*i - 4 = 3*m + h. Solve 2*y - 2 + m = 0 for y.
1
Let x(g) = -g**3 + 41*g**2 - 40*g + 9. Let s be x(40). Solve 4*f + 3 + s = 0 for f.
-3
Let s(x) = -3*x**3 + 12*x**2 - 10*x + 24. Let d be s(3). Solve 6*w + d = -3 for w.
-4
Let x = -3685 + 3734. Solve 9*g + 160 = x*g for g.
4
Let t(j) = -13*j**2 - 14*j - 25. Let d be t(-5). Let l = 281 + d. Solve -h - l - 4 = 0 for h.
-5
Let n = 98 - 102. Let q be -3 - (-5 + 2) - (n - 0). Solve q*d - 10 = 2*d for d.
5
Suppose 0 = -q - 9, -1750*f + 1748*f = -q - 21. Solve -f*d + 44*d + 41*d = 0 for d.
0
Let j = 366 - 370. Let i(t) = 2*t**2 + 10*t + 16. Let g be i(j). Solve g = -11*m + 7*m for m.
-2
Suppose -5*t = 2*q - 44, 0 = -9*t + 7*t + 3*q - 9. Solve -104*n + 107*n + t = 0 for n.
-2
Suppose 2*o = -4*q + o - 20, -4*q = 2*o + 24. Let p be 7 + q + -4 + 9. Solve -4*r - p = -2*r for r.
-4
Suppose 5*y - i = 18, 0*i = -4*i + 8. Let h(o) = 5*o**2 - 14*o - 14. Let b be h(-1). Solve y*q + q = b for q.
1
Let d = 2791 - 2773. Solve -d*x + 122 = 86 for x.
2
Let s(l) = l**2 + 10*l + 17. Suppose 0 = 3*u - h + 32, 49*u - 2*h = 47*u - 20. Let q be s(u). Solve 14*t - 7*t + q = 0 for t.
-4
Let z = 180 + -108. Suppose -27*r = -z - 36. Solve 0 = -4*l - 0 + r for l.
1
Let v be (4/10)/((-17)/(-85)). Suppose -4*i + 14 = -v*s, 5*i - 22 = -0*i + s. Suppose i*r + 3*g = 5*g + 39, 13 = r - 3*g. Solve 0 = -2*p - r - 3 for p.
-5
Suppose -2*g - 2*c + 318 = 0, 27 = g - 3*c - 124. Let x = g - 151. Solve x = -3*i - 9 for i.
-5
Let u = -540 + 545. Suppose -7 = 3*n + u*x, -3*x - x - 11 = -3*n. Solve 2*i - n + 7 = 0 for i.
-3
Let o be -4 - ((3 - 3) + -13). Suppose -5*a + 59 - o = 5*h, -4*a = -3*h - 5. Suppose 0 = a*i - v + 5, 0 = -v - v + 10. Solve 20 = -4*n - i*n for n.
-5
Let v(c) = 361*c**2 + 14*c - 8. Let d be v(1). Solve d = -6*f + 391 for f.
4
Let i(r) = r**2 + 4*r - 40. Let h(n) = -12*n + 15. Let g be h(2). Let m be i(g). Solve 2*q = 1 + m for q.
3
Let n(i) = -3*i**3 + 3*i + 5. Let f = 29 + -31. Let t be n(f). Suppose 1 = 8*c - t. Solve 2*q + c*q = -5 for q.
-1
Suppose -2*o = 2*o. Let a be (-1095)/85 - (-4)/(-34). Let p(x) = -x**3 - 21*x**2 - 103*x + 19. Let c be p(a). Solve o = c*d - d for d.
0
Let a be -3*(-38)/(-95)*-5. Solve -a = 25*i - 27*i for i.
3
Suppose 3*c = c - 5*j + 3, 4*j + 39 = 3*c. Suppose -3*l + 7 = -y - c, 4*y - 11 = -3*l. Suppose -l*u = -2*n - 50, 0 = -n - 4*n + 25. Solve 4*v = -0*v - u for v.
-3
Let t(f) = f**3 - 10*f**2 - 51*f - 66. Let v be t(14). Let w = -2 + 2. Solve -v*b = -w*b - 4 for b.
1
Let c = 357 + -363. Let j = c - -13. Solve j*s = -27 - 8 for s.
-5
Suppose 110*i - 20634 = -71*i. Solve 28*v = -58 + i for v.
2
Let m(a) = -8*a - 246. Let p be m(-35). Suppose 0 = p*k - 99 - 207. Solve -4*j - 5 = -k*j for j.
1
Suppose 526 = 9*g + 22. Let n = g - 52. Let t(x) = x - 4. Let w be t(n). Solve w = 4*p + p - 15 for p.
3
Let b = 284 - 259. Suppose 3*m - 20 = -4*p, 7*m - b = -5*p + 8*m. Solve -p*n = -9*n + 8 for n.
2
Let c(i) = -88*i + 1760. Let n be c(20). Solve 9*x + 3*x + 12 = n for x.
-1
Let z be (-11)/22 - (-2)/4. Suppose 22*a - 19*a - 18 = z. Suppose 5*r - 22 = -4*k, 2*r + k - 1 = a. Solve -r*t + 12 = t for t.
4
Let t be (-9)/(-6) - 3/2. Suppose t = -3*b + 5 + 1. Suppose 0 - 18 = -b*o. Solve -5*m + o = -6 for m.
3
Let t = -6222 + 6223. Solve 12*y - t = 23 for y.
2
Let h be (-2)/(3 - (29/(-31) + 4)). Suppose -h*s = -28*s - 12. Solve -8 = 4*k + s*k for k.
-1
Suppose -24 = -55*x + 47*x. Suppose x*r = 2*l + 4*r - 1, 4*l + 5 = 5*r. Solve -6*z + 11*z = l for z.
0
Suppose 2*j - 8 + 0 = -4*h, -h - 1 = -j. Suppose 0*x - j*x = -x. Solve x*l = 6*l - 24 for l.
4
Let t(j) = j**3 + 14*j**2 - 5*j + 45. Let y be t(-16). Let h = -375 - y. Let m(r) = -r**2 - 5*r - 2. Let z be m(-3). Solve -h = z*i - 0 for i.
-3
Suppose 0*y - 11 = -y - 4*r, y + 3*r = 12. Let k(i) = -17*i - 18. Let g be k(6). Let a = g + 122. Solve a*z + z = y for z.
5
Let k be (-3 + 10)*(4 - 3). Let c(g) = g**2 + 3. Let p be c(0). Let s be -3*(-4)/(-42) + (-272)/(-833)*7. Solve p*t = k + s for t.
3
Suppose -3*d + 202 = -2*d - 4*t, 5*d + 2*t - 1120 = 0. Let g = d + -214. Solve -2*i + g = -0 for i.
4
Suppose 288*i - 3225 - 436 = 2963. Solve -43*f = i*f for f.
0
Let o = 302 + -299. Let s(y) = y**2 - 15*y + 34. Let l be s(14). 