f - 18 for w.
2
Suppose -2*o - 5 = -13. Suppose -5*u - h + 22 = 5, 5*h + 23 = 2*u. Solve -5*k + o*z = -29, -k + 2*k - 1 = -u*z for k.
5
Let d be 10*(21/30 - (-3)/(-15)). Suppose o = -3*o - 4*z + 24, z - 22 = -d*o. Solve 0 = -4*j + 3*v + 12, -o*v + 12 = 4*j - v for j.
3
Suppose -5*i - 1624 = -w + 34, -5*i = -3*w + 1654. Let x be 1/(5/i) + (-6)/10. Let z = -63 - x. Solve -13 = z*d - s - 4*s, -s = -5*d + 10 for d.
3
Let n be (32 + -35)/(4 - 1). Let o be n - -2 - (-17 - 2). Solve 4*r + 0*q + q + o = 0, -3*q - 20 = 2*r for r.
-4
Let d(i) = -1. Let x(m) = 7*m - 72. Let s(q) = -3*d(q) - x(q). Let g be s(10). Solve 0 = -2*k - 3*a - 8, -5*a = g*k - 6*a + 3 for k.
-1
Suppose 23*n - 130 + 38 = 0. Solve -8 - 4 = 4*l, -13 = n*f - l for f.
-4
Let l(n) = -2*n**3 + 22*n**2 - 36*n - 34. Let j be l(3). Let o(y) = -y**2 - 8*y - 3. Let d be o(-6). Solve 2*s + 0*b + 18 = j*b, -5*s = 4*b + d for s.
-5
Let d(v) = -34*v - 335. Let x be d(-10). Solve -r + p = -2*p + 17, x*r - 5*p = -35 for r.
-2
Suppose n - 3*t + 6 = 3, 0 = 4*t - 8. Let i(c) = 13*c - 8. Let m be i(-16). Let l = 220 + m. Solve 3*r = -5*q + l*r - 3, n = -2*q + r for q.
0
Suppose 0 = 6*r + 10 + 8. Let y be ((-22)/r)/((2/3)/(-2)). Let c = y + 26. Solve 5*i + 7 = -c*a + 2, 3*i = -4*a - 11 for i.
3
Let n = 0 - -4. Let t(m) = 9*m**2 + 68*m - 274. Let x be t(3). Solve -n*b + 5 = -2*r - 1, 5*r + 3*b = x for r.
1
Let j be 10 - (-4 - (-9 - -3)). Let g be (-9)/(-6) + 6/4. Solve -c - 4*a + j = -g*c, -3*c - 3*a - 12 = 0 for c.
-4
Suppose -5*u = -4*b + 16, 4*b - 3 = -5*u - 27. Let v be 93/(-21) + u/7 - -21. Suppose 0*x - 4*x = -32. Solve 4*i = 5*r - x, 4*i + 0*r + r = v for i.
3
Let c = 4074 - 4074. Solve -l - 3*g - 7 = c, -5*l + g = -l + 2 for l.
-1
Let x(a) = -a**2 - 11*a + 134. Suppose 5*v - 60 = -5*v. Let s be x(v). Solve y - 4*y - 4*g = s, 2*y + 3 = g for y.
-4
Let m(y) = -2*y**2 + 12. Let x be m(4). Suppose 13*o - 19*o + 24 = 0. Let u be ((-8)/10)/(o/x). Solve 2*p - 2 = g - 3*g, 0 = u*p for g.
1
Suppose 0 = -4*t - 3*u + 6 - 7, 13*t + 3*u = 44. Solve 5 = -t*p, 21 - 4 = -3*c - 5*p for c.
-4
Suppose 144 = 56*w - 8*w. Solve -w*m = 2*i - 4, -4*i = i + m - 23 for i.
5
Let n(w) = -2*w**2 + 75*w - 25. Let i be n(37). Solve g - a = -6, -2*g - 2*a - i = 2*g for g.
-4
Suppose -1006*d = -868*d - 690. Solve 5*l - 205 = -3*w - 168, 4*w + 44 = d*l for w.
-1
Suppose -5*g - 81 = -3*q, 0 = -4*q - 120*g + 124*g + 100. Solve 15*i - 17 = p + 10*i, 5*p = 4*i - q for p.
-2
Let g(o) = -o**2 + 49*o + 4237. Let d be g(94). Solve 2*w + s + 11 = 0, -19 = -2*w + 12*s - d*s for w.
-3
Let g be -10*((-765)/75 + 10). Solve -n + 2*u - 5 = 0, g*u - 1 = -5*n - 2 for n.
-1
Suppose -22 = -g + 5*y, 9*g = 10*g + 5*y + 18. Solve 0 = g*w - 4*s - 0*s - 22, -9 = 3*s for w.
5
Suppose 0*g + 8 = 4*g. Suppose -38*j - 34 = 80. Let z be g/(-4 + 2 - j). Solve -3*b - 5*a - z = -6, 6 = b + 4*a for b.
-2
Let q = 8034 + -8029. Solve 452 = -5*m - n + 470, q*m + 3*n = 24 for m.
3
Let t be (-190)/1425 - 572/(-15). Solve 0 = 2*c - 3*p - 8, -5*c - t = 2*p - 20 for c.
-2
Let y(i) = i**2 + 5*i - 4. Let v be y(-6). Suppose -2*s + 3*s - v = 0. Suppose 34*q - 4 = -4. Solve -j + s*z - 10 = q, -3*j + z = 4*z - 15 for j.
0
Let v(g) = g**2 + 53*g - 287. Let y be v(5). Solve 7*z - 13 = 9*z + y*q, 3*q + 1 = 4*z for z.
-2
Let k(f) = f**3 - 17*f**2 - 67*f - 10. Let z be k(-3). Solve -z*i = -10*i, 4*p = 4*i + 4 for p.
1
Let h(t) = -6*t**3 + 4*t. Suppose f = 2*f - 2. Let o be h(f). Let q = -35 - o. Solve -4*d = b - 21, 2*d - b - 14 = -q*b for d.
5
Suppose 17*m - 10*m = 168. Let z be m/(-14)*14*(-3)/9. Solve w - 5*t + 1 = 0, 5*w + z*t - 3*t - 25 = 0 for w.
4
Suppose -6 = -0*o - 2*o. Suppose 9*z - 103 = 77. Solve -o*y = -4*g + 2 - 6, 3*g + 2*y = -z for g.
-4
Let y be 14/8 - ((-122)/(-183))/((-16)/6). Solve 3*f + f = -5*p + 2, 0 = -2*f - 4*p - y for f.
3
Let q(f) be the second derivative of -f**5/20 - 29*f**4/12 - 9*f**3/2 + 15*f**2 - f + 3. Let s be q(-28). Solve 0*r - r = -3*d + 7, s*r = -d for d.
2
Suppose -3*o = -l - 13, 8*l = 3*l - 5. Solve 0 = -5*d + r - 20, 0*r - r - 25 = o*d for d.
-5
Let a(c) = -105*c**2 - 14*c - 29. Let f be a(-2). Let b = f + 425. Solve 2*v - 5*t - 21 = 0, 0*v + 3 = -b*v - 5*t for v.
3
Suppose -2*s - 3*h + 14 = 0, -s + 5*h - 155 = -149. Let v = -2 - -4. Solve -s*n - v = -3*p + 4, 3*p = -n + 6 for n.
0
Suppose -5*a = 30*m - 29*m - 34, -2 = -a - 5*m. Solve -x + 3*d - d = 0, -d = -4*x - a for x.
-2
Let h = 5 + -2. Suppose -44 = 11*u - 15*u. Suppose -y - 48*i + 50*i = -u, -3*y + i = -58. Solve 12 = -3*g + h*k, g - 5 = 5*k - y for g.
-1
Let r be (-25)/(-10)*8/4. Solve -r*d - 4*k + 4 = 0, 0 = 4*d - 4*k - 0*k - 32 for d.
4
Let a = -36 - 136. Let n = a + 176. Solve 1 = -t - n*q, 2*t + 5*q - 3 = -8 for t.
-5
Let j = -7198 - -7207. Solve -j*k = 3*z - 4*k + 27, 5 = -5*z + 5*k for z.
-4
Let u be 1/(49/14 + -3). Suppose 4*n = u*x + 7 + 9, 4*x + 12 = -2*n. Solve -j - n*z = -3*z - 1, 3*j - 7 = 5*z for j.
-1
Let b(m) = m - 1 - 5 + m**2 + 5 + 4*m**2. Let h be b(1). Suppose 3*r - 6*r = -2*x + 44, -85 = -5*x - h*r. Solve 3*w = -5*s - 15, -4 = -5*s - x for w.
0
Let u be 58/7 - 4/14. Let z = u + -6. Let l(n) = -n**3 - 14*n**2 + 58*n + 812. Let h be l(-14). Solve h*f - d + 5 = -z*f, 2*f = -d - 3 for f.
-2
Let c be 2/(-5) + (2/8 - 345/(-300)). Let q = 2 + 2. Solve p = -3*p - 2*s - q, p + 2*s = -c for p.
-1
Let z be (450/180)/((-10)/(-8)). Solve 4*f - 2*n + 8 = -4, -12 = 4*f + z*n for f.
-3
Let m be (1 - 2)/((-23)/(-46)). Let h be 198/42 + m/(-7). Solve -5*n - 26 = -2*i + i, -h*i + 2*n + 15 = 0 for i.
1
Suppose 46*x - 49*x = -204. Suppose -x + 83 = 3*w. Solve 5*z - 2 = w*n + 8, 2*n + 8 = -2*z for z.
-1
Suppose -5*x = 43 - 108. Suppose -6*j - x = -43. Solve 27 - 2 = 5*d + 3*v, -j*d = 4*v - 25 for d.
5
Let w be 135/(-90)*(-4)/3. Solve 5*b - b + 26 = -i, -w*b - 22 = 2*i for b.
-5
Suppose 0 = 2*u + v - 34, 4*u - 2*v - 33 = 27. Solve p + 3*y = -3*p - 22, 5*p = 2*y - u for p.
-4
Suppose -5*t + 45 = 5*c, -3*t + c - 2 = -17. Suppose t*l = 2*l + 16. Let p = 9880 - 9876. Solve -20 - 9 = l*z - 5*a, 4*z - p*a = -24 for z.
-1
Let v = 33 + -29. Suppose p = v + 1. Let a be -3 - p/(-2 + 1). Solve 2 = a*h, -2*r + h - 21 = 3*r for r.
-4
Let s be (-3 - 20/(-1)) + -1. Suppose 0 = 4*g - 4 - s. Solve 17 = -5*n + 4*z, -3*z - 2*z - 35 = g*n for n.
-5
Let u be (-2)/6 + 152/24. Let g be 4/(-12) + (-4)/(u*-2). Solve g = 3*v - v - 3*h, -4*h = -v - 5 for v.
3
Suppose -5*x - 3*j - 8 = 0, 13*x - 15*x - 26 = 5*j. Solve g + x*f - 3 = 6, 2*g - 4*f = 2 for g.
5
Let l(q) = q**2 + 38*q + 74. Let m be l(-36). Let j(x) = x**3 - 8*x**2 - 4*x + 36. Let t be j(8). Solve 17 = -b - 4*r, 0 = m*b - t*r - r - 31 for b.
3
Let t(v) = -v**3 - 7*v**2 - 10*v. Let b be t(-5). Suppose -13*l + 18*l - 10 = b. Solve -9 = l*h - 0*h - 5*s, 3*h + 3*s = 18 for h.
3
Let d(x) = 30 - 22 - x - 20 + 9*x**2. Let u be d(-2). Solve 4*p + 12 = 0, 8*l + 2*p = 3*l - u for l.
-4
Let u be 1*(6/2 - 0). Let i be -3*680/153*66/5. Let z = i - -181. Solve z*k + u*c = 29, k + 3*c = -k + 17 for k.
4
Suppose -5*a + 373 = 4*i + 14, 0 = -5*i - 20. Let b = -73 + a. Solve 2*l = q - 2*l - 15, 5*l = b*q - 15 for q.
-5
Let b(y) = -5 + 2*y**2 + 7 + 70*y - 7*y**2. Let i be b(14). Solve -h + 3*a = 2*a + 5, 0 = -i*a + 10 for h.
0
Suppose -65 + 71 = -s + 3*o, 3*s - 20 = -10*o. Solve s = 5*u - 10, -u + 4*u - 6 = -2*i for i.
0
Let a = -27315 - -27320. Solve -a = -5*y - 5*q, -12*y + 11*y - 2*q = -1 for y.
1
Let s = -102 - -104. Let a be (-13 - -14)*1/(s/10). Suppose 3*l + 6 = -3*z, 2*z - l + 0 = 5. Solve 27 = -2*n - 5*m - z, -a*n - 12 = -2*m for n.
-4
Let l(a) = 73*a + 954. Let z be l(-13). Let d(c) be the first derivative of -c**2/2 + 9*c - 1. Let v be d(z). Solve -i + 2 = 5*q - v*q, -3*i - 2 = -5*q for q.
1
Let g = -10 - -34. Let x = -204 + 213. Let z(j) = j**3 - 10*j**2 - 24*j + 3. Let t be z(12). Solve 0 = 4*n - m + t, -g = 3*m - x for n.
-2
Let k(c) = -12*c - 95 - 3*c - c**2 - 14*c + 33. Let j be k(-26). Solve -2*t + 2 = 3*v - 0, 0 = -5*t + 3*v - j for t.
-2
Let m be 5026/(-6) + (-21)/9. Let p = m + 841. Solve w - 4*y = 19, -3*w + 2*w - p = y for w.
3
Suppose i = 3*d - 15, i = -3*d + 67 - 58. Solve -2*f - d = 2*v, -4*f = -6*f + 2 for v.
-3
Let x(h) = 7*h**2 + 24*h + 9. Let y be x(-4). Solve 5*q + 2 - 1 = 3*k, -5*q = 5*k + y for q.
-2
Let s be 24 - (-1 - -4 - -9). Solv