for w.
-9
Suppose -f = 4 - 7. Let q be 141/15 - f/(-5). Let p be (-5)/(-1 + 26) + 52/q. Solve 0 = -p*o + 6 - 1 for o.
1
Suppose -166 = -9*t + 5*t - d, d = -3*t + 124. Solve 17*i + 9 = -t for i.
-3
Let i(p) = -p**3 - p. Let f be i(-1). Suppose 4*q - 2*q - 2*r = f, 0 = 3*r - 12. Suppose -2*z = d + 2*z - 9, -2*z - 1 = -q*d. Solve -d = k + 1 for k.
-2
Let d = 22768 - 22617. Solve d*o + 75 = 166*o for o.
5
Let w(r) = -r**3 - 123*r**2 + 125*r + 264. Let x be w(-124). Solve -35*u + 0 = -x for u.
4
Let i(o) = 173*o + 6823. Let p be i(-37). Solve 421*q + 5 = p*q for q.
5
Let x be -8 + (310 + -9)/7. Let y be (-62)/(-8) + x/140. Solve -2*j + y = -0*j for j.
4
Let t be 2142/162 - 4/18. Suppose 0*n - n = 5*x + t, -3*n = 2*x. Let h be n - 13/((-52)/24). Solve 0 = -2*i - h for i.
-4
Suppose -v + 5*v = 16. Suppose -16*g + 17*g - 3 = 0. Let u = -2 + g. Solve u = v*j - 11 for j.
3
Suppose -4*f + 0 = -4. Let g(a) = a**2 + 4*a - 30. Suppose 4*b + 33 = 1. Let s be g(b). Solve l - f = s*l for l.
-1
Let z = 187 - 185. Let b(k) = -12*k - 77. Let x be b(-7). Solve -z*f + x*f + 10 = 0 for f.
-2
Suppose 24*o + 35555 = 35651. Solve -8*b - 12 = o for b.
-2
Suppose 3*i + 2*m = 65, 27*m = 3*i + 25*m - 85. Let j be ((-30)/i)/(9/30)*-1. Solve -j*c = -c + 12 for c.
-4
Suppose 70*d - 149*d + 47*d + 224 = 0. Solve -d*s + 18 - 32 = 0 for s.
-2
Suppose 5*b = 4*f + 79, -3*f - 22 = -5*b + 61. Suppose -3*x - 3*h + 21 = 0, 4*h - b = -x - 0*x. Solve -3*q + x = -4*q for q.
-3
Suppose -67 + 110 = h. Let s = h - 73. Let r be (-9)/(-4)*(-160)/s. Solve -4*l + 0*l = -r for l.
3
Suppose 6 + 14 = 4*p. Suppose -3*v + p*j - 19 = 0, -4*v + 32 = 5*j - 1. Solve -v*t = t + 15 for t.
-5
Suppose 14*t - 13*t + 189 = 5*u, -4*t = 4*u - 132. Suppose -u*z = -17*z - 40. Suppose 2 + 4 = 2*r. Solve 3 = -z*q - r for q.
-3
Suppose 40 = 5*o - 20. Suppose -3*y + 5*b = 8, -3*b = -0*y + 3*y - 24. Suppose 24 = y*c + o. Solve 0 = -c*p + 20 - 5 for p.
5
Let k(x) = -30*x + 17 - 2*x**2 + 5*x**2 - 26*x + 0*x**2. Let p be k(19). Solve -p*c = -35*c - 3 for c.
3
Let t be (-28)/(-1)*9/6. Let i = t - 10. Let w = -32 + i. Solve w = -4*n + 3*n for n.
0
Let d be (-189)/(-7) - (4 - 1). Let y be d/(-16)*16/(-6). Suppose 0*t + y*t = 2*q - 16, -q + 7 = -t. Solve -2*v - v - q = 0 for v.
-2
Let g = 32 + -11. Suppose 5*m = m + 4*q + 20, -5*q = 4*m - 56. Suppose 5*o - 11 = m. Solve -5*b + o + g = 0 for b.
5
Suppose 5*l = -4*x + 35 - 105, 39 = -3*x + 3*l. Suppose -4*r = 20 + 24. Let v = r - x. Solve f - v = 2*f for f.
-4
Let l(s) = -4*s**2 - 123*s + 163. Let z be l(-31). Solve 32*q = z + 124 for q.
8
Let w(q) = q**2 - q - 21. Let z be w(6). Suppose -2*h - z = 7*h. Let f be 2 + h + 0 - -1. Solve -t - 3 = f for t.
-5
Suppose -5*j - 181*f = -179*f - 26, 0 = -2*f + 6. Solve -j*b + 39 = 43 for b.
-1
Let q(s) = 23*s + 2324. Let j be q(-101). Let l = -5 + 8. Solve 5 = l*f - j for f.
2
Suppose -19 = -4*m - i, i + 1 + 0 = m. Suppose 0 = 4*c, -m*c = -0*s + 4*s - 24. Let x(l) = -4*l + 1. Let j be x(-6). Solve a - j = s*a for a.
-5
Suppose 0 = -276*p + 291*p + 2340. Let m(l) = l**3 - 10*l**2 - 7. Let y be m(6). Let a = y - p. Solve -3*s - 4 = -a*s for s.
2
Let p = 373 - 231. Let u = p + -141. Solve -26 = -5*b - u for b.
5
Let d(u) = 40*u - 189. Let z be d(7). Solve -70*i + z*i + 105 = 0 for i.
-5
Let t(j) = 2*j - 29. Let l be t(17). Suppose l*x - 629 = 51. Let n = 136 - x. Solve -2*c + c = n for c.
0
Suppose 0 = 5*u - 3*u - 10. Let z(y) be the first derivative of y**4/4 + 6*y**3 - 10*y**2 - 16*y + 5. Let a be z(-19). Solve u*q = a + 12 for q.
3
Let a be (-143 + -2)*(-4)/(-10). Let l be (a/(-8))/(-1 + 5/4). Solve 10 = l*d - 34*d for d.
-2
Let j be (10/12)/((-22 + 12)/(-180)). Suppose n = 22 - j. Solve -2*p - n*p + 18 = 0 for p.
2
Suppose -32*r + 43*r - 242 = 0. Solve -r*o + 6 = -20*o for o.
3
Let m(w) = 4*w + 31. Let t be m(-7). Suppose -10 - 18 = -4*o + 5*j, 0 = -t*o + 4*j + 22. Solve -o*c + 10 = 3*c for c.
2
Let s = 8541 - 8532. Solve -17*a = -s*a for a.
0
Let n(m) = 4 + 203*m + 206*m - 402*m. Let w be n(0). Solve -w = -3*g - 1 for g.
1
Suppose 4*y + 60 = 24*y. Suppose -5*z - 11 = -31. Let i = z - 2. Solve y*u = 4*u - i for u.
2
Let n be 102/(-68) - (-963)/(-2). Let m = n - -483. Solve 0 = -m*s + s + 3 for s.
-3
Suppose 2*d + 8 = 0, 4*d + 8 = -4*x + 5*d. Let l be (-27)/(4/12*x). Let n = 40 - l. Solve -5*k = -n - 12 for k.
5
Let n be 12 + -28*3/(-2). Solve 27*p - 9*p + n = 0 for p.
-3
Let v be (-64)/8 + 11 - 3*19. Suppose 5*n = 3*s + 293, -n + 5*n - 233 = s. Let j = v + n. Solve j*x + 9 = x for x.
-3
Let v(t) = 19*t + 24. Let j(p) = 10*p + 11. Let h(q) = 11*j(q) - 6*v(q). Let x be h(-6). Solve 2*i + 9 - x = 0 for i.
-4
Suppose -j + 15 = -29. Let n be (-80)/30*9/(-4). Suppose 2*l - n = j. Solve -6*x - l = -x for x.
-5
Let x(f) = -f**2 - 18*f - 72. Let t be x(-12). Let a be ((-4)/(t - -4))/(2/(-8)). Solve 6*h = 10*h + a for h.
-1
Let c(v) be the first derivative of -v**4/2 + 3*v**3 - 3*v**2 + 22*v + 167. Let o be c(4). Solve 0*z = -o*z - 42 for z.
-3
Suppose 0 = -13*v + 12*v - 9. Let m(q) = -q**3 - 10*q**2 - 12*q - 18. Let u be m(v). Solve u*c = 12*c + 6 for c.
-2
Suppose 69*r = 164*r - 1045. Solve 0 = -33*k + 55 + r for k.
2
Suppose 166*z - 33 = -d + 170*z, -d - 5*z = 30. Solve -d*p = -245 + 240 for p.
1
Let z(c) = -8*c**2 + 72*c + 8. Let y be z(9). Suppose 0 = k - 2*i - 6, -y*k + 10*k - 4 = -4*i. Solve 36 = -k*w - 5*w for w.
-4
Let v(p) = p**2 - 3*p - 5. Let s be v(8). Let u = s - 34. Suppose 0 = -5*d - 4 - u, 2*g = -4*d + 6. Solve -5*a - g = -0 for a.
-1
Let o = -24301 + 24374. Solve 2 = -15*c - o for c.
-5
Let u(w) = 104*w**2 + 51*w + 48. Let a be u(-1). Solve -18*p = -a + 119 for p.
-1
Suppose 3*n + 11 = 17. Suppose -n*m = b - 20, -20 = -5*m + b + 23. Suppose 12*a - m*a = 12. Solve 0 = -a*p - 20 for p.
-5
Let k be ((-196)/(-441))/((-3 - -7)/72). Solve k*s = 15*s - 14 for s.
2
Let r = -64 - -43. Let m be 7/r - 1/(-3). Let h = -5049 + 5051. Solve h*n + 10 = -m*n for n.
-5
Let v be (-290)/5 - (0 + 0). Let w = 101 + v. Suppose -7*z + 2*z - w = -4*a, 5*z = a - 7. Solve 7*f - a = 3*f for f.
3
Let w(b) = 3*b**2 + 22*b + 146. Let r be w(-7). Let l = r - 134. Solve n = -2 + l for n.
3
Let u be (-170)/(-25)*(9 - 4). Let r = -31 + u. Solve -2*w = r - 1 for w.
-1
Let z(x) = 4*x + 17. Let b be z(5). Let m = b - 29. Suppose 7*n - 9*n = -m. Solve 1 = 3*s + n for s.
-1
Let o(w) = 3*w - 34. Let t be o(10). Let y be (-302)/t + 12/(-8) - 3. Let r = y - 66. Solve 14 = r*b + 4 for b.
2
Let l(q) = q**3 - 18*q**2 - 44*q + 74. Let i be l(22). Solve -84*g - 286 = -i for g.
9
Suppose -6*j - 48 = 2*j. Let y be j/(-4)*40/15. Solve -q = -3*q - y for q.
-2
Suppose 0 = 21*f - 1139 + 4919. Let d = -176 - f. Solve 6 = d*h - 2 for h.
2
Suppose -53*m - 41*m + 1166 = -72*m. Solve 98*b - 641 + m = 0 for b.
6
Suppose -140 = -2194*d + 2187*d. Let o = 395 + -390. Solve 0*k + o*k - d = 0 for k.
4
Suppose l - 2*l = 0. Suppose -17*d = -5*m - 18*d + 14, 4*m = 3*d + 34. Suppose l*u + 2*u - 10 = -s, 0 = -m*u - s + 20. Solve -3 = -8*g + u*g for g.
1
Let y(b) = -2*b**2 + 72*b + 157. Let f be y(38). Solve -f*l - 9*l = 56 for l.
-4
Suppose -x + 3*t + 13 = 0, 6 = 2*x - 3*t - 5. Let k be x*6*(-7 + 150/24). Solve 0 = 24*q - 21*q - k for q.
3
Let n = 5168 + -5163. Solve 17 - n = -6*h for h.
-2
Suppose -3*b - 51 = -4*k + k, -4*k = -6*b - 82. Solve k*s = 20*s - 70 for s.
7
Let s = -356 - -356. Suppose 24*i - 216 = -s*i. Solve -7*v - i = -16*v for v.
1
Let n = 144 - -78. Suppose -2*r - 152 + n = 0. Solve 34*v + 4 = r*v for v.
4
Let i(w) = -2*w + 14. Let t be i(7). Suppose t*h - 3*y = 4*h - 164, 5*h = -2*y + 198. Let u = -36 + h. Solve -u + 0 = l for l.
-2
Let d(l) = 2*l**2 - 2*l - 35. Suppose -9*z = -11*z - 5*v - 13, -3*z + 3*v = -33. Let y be d(z). Solve w - y = -22 for w.
3
Let a(z) = 2*z**2 + 39*z + 277. Let f be a(-11). Solve 0 = 146*u - 131*u + f for u.
-6
Let b(z) = 2*z**2 - 9*z + 6. Let w be b(9). Let p = w - 84. Solve -p*t - 9 = -6 for t.
-1
Let v be (384/(-120))/(4/(-5)). Solve 12*m - v - 32 = 0 for m.
3
Let c = -33423 - -33493. Solve 27*i - 13*i - c = 0 for i.
5
Suppose 2*i + o = 7*i - 117, 107 = 5*i + 4*o. Let t(x) = 5*x - 115. Let s be t(i). Solve 0 = -s*f + 3*f for f.
0
Suppose -84 + 64 = -4*m. Suppose m*y = 4 - 214. Let p = -38 - y. Solve 3*f = p*f - 3 for f.
3
Let d(a) = -109*a + 88