 w(m) = 29*m**2 - 54*m - 5. Let i be w(2). Solve 0 = -h + 4*v - i, 7*h + 4*v = 12*h - 17 for h.
5
Let f = -1573 + 1577. Solve -12 = -3*i + 5*g, -6*i + 24 = -f*g + 3*g for i.
4
Let z(x) = 8*x**2 - 9*x + 35. Let h be z(5). Let g be 608/h + (-4)/(-5). Solve -11 = -2*m - m - g*o, 12 = 4*m + 4*o for m.
1
Suppose 76*c + 161 - 1073 = 0. Solve 18 = 3*l - 5*x, l + 9*x - c*x - 6 = 0 for l.
6
Suppose 15 = -657*o + 660*o. Solve -2*x - l = 2*l + 25, 0 = -l - o for x.
-5
Let l be ((-1)/(-2))/1*(-3 - -1). Let g be 3 - 1 - 0 - (l - 26). Suppose -4*m = g - 45. Solve -5*f + 12 = -3*u, -m*u - 4*f - 1 + 17 = 0 for u.
1
Suppose -n = n - 3*b - 21, 0 = 3*n + b - 4. Let k be 288/30 + 2/5. Suppose 7*c = 2*c + k. Solve 2*s + 29 = -n*s - 4*g, c*g = 5*s + 23 for s.
-5
Let n(u) = -24 - 7*u - 10*u + 133 - u**2 + 45. Let p be n(-23). Solve -p = 5*g + 2*h + 10, g + 5*h + 19 = 0 for g.
-4
Let u(q) = q**3 - q**2 - q + 9. Let b be u(0). Suppose 10*f = b + 21. Let o be 1 - (-1 + f + -3). Solve -2 = o*c - y - 4, 4*y + 8 = -5*c for c.
0
Let i = -90 + 94. Suppose 0 = -4*p - 5*s, 2*p - 3*p = i*s. Solve 0 = 5*w - x - 25, x + 5 = p for w.
4
Suppose -25*c + 4*c + 105 = 0. Solve -21 = -i + 4*n, -2*n = c*i - 8*i + 13 for i.
1
Let f(k) = -k**2 - 15*k - 22. Let j be f(-13). Suppose 0 = -3*p + j*p - 3*x - 2, -x + 8 = 4*p. Solve 0 = -5*r + n - 3, 0 = -2*r - 2*r - p*n - 8 for r.
-1
Let b = 107 - 306. Let z = -196 - b. Solve 13 = -5*r + 4*f, r + 1 = -r + z*f for r.
-5
Let h be (2 + (2 - -1))/(4 - 3). Let t(a) = a**2 - 8*a + 17. Let v be t(h). Let d = -2 - -9. Solve -4*u + j + 26 = d, -3*u + v*j = -18 for u.
4
Let x(h) be the second derivative of -2*h**3/3 - 8*h**2 + 3*h + 3. Let c be x(-5). Solve -5*t + 3*p - 20 = 0, 9 = -3*t + 2*p - c for t.
-1
Let y be 6/16*(-96)/(-18). Suppose -s = -4*s + 213. Suppose -5*g = y*x - s, 2*x - 16 + 75 = 5*g. Solve 0 = -f + 3*o + g, -7 = f + 3*o + 10 for f.
-2
Suppose 0 = -7*x + 10*x - 9. Suppose -2*w = -0*w - u, 3*w + x*u = -18. Let b be 2 - 0 - w/4*2. Solve -b*k + 3*h + 21 = 3, -2*k - 4*h = -6 for k.
5
Let w be (-2)/(-10) + (-267)/(-15). Let r(c) = c**2 - 3*c. Suppose -10 = -201*b + 206*b. Let p be r(b). Solve 3*d - 2*h = 4, 5*d - w = -2*h + p for d.
4
Let g = -15844 - -15864. Solve 3*f - 4*y = -2, -19*f = -g*f - 2*y + 16 for f.
6
Let o be (-9)/(-4) - (-1)/(-4). Let n(l) = 8*l. Let u be n(-10). Let w = 85 + u. Solve -5*v - b = -15, 3*b - o*b = w for v.
2
Let s = -682 + 911. Let b = 261 - s. Solve o + 4 = 4*o + 2*m, 4*o - 4*m = b for o.
4
Let y(i) = -8*i + 7. Let t be y(-6). Let u = -41 + t. Suppose -5*m - u = -24. Solve w = -2*s - 3, s = -4 + m for w.
1
Suppose -152 = 38*g, -3*n + 15*g = 13*g - 23. Solve 3*f = 4*u + 26, -n*u - 7*f = -2*f + 15 for u.
-5
Let b(c) = c**2 - 4*c + 3. Let n be b(3). Suppose -1 = -13*h - 1. Let w(i) = -i**2 + i + 7. Let s be w(h). Solve -q + 3*g + s = -n*q, g = -q - 1 for q.
1
Suppose -24*u + 15*u + 1053 = 0. Let z = -113 + u. Solve 11 = -k + 2*v, 4*v + 8 = -z*k + 3*v for k.
-3
Suppose -14*u - 83 + 3065 = 0. Suppose -u*q - 12 = -216*q. Solve 11 = s - q*p, -p = -5*s - 2 - 0 for s.
-1
Suppose q - 2*d = -5, 5*d = 3*q + 2*q. Solve -4*h - 16 = q*m, 45*m - 42*m - 12 = 3*h for h.
-4
Let j = 111 - 87. Suppose 3*o = -0*o - 3, d - 3*o - j = 0. Solve q = 5*g - d, -5*g + 15 = -3*q + 2 for g.
5
Suppose 0 = 3660*g - 3671*g + 55. Solve 2*r + 9 - 3 = -g*t, -4*r = -2*t - 12 for t.
-2
Let s(j) = -j**2 + 6*j + 1. Let x be s(4). Suppose -12*m + 492 = -13*m. Let v = m + 507. Solve 4*z + z = -5*w - v, 3*z = 3*w + x for w.
-3
Let g = -31753 + 31757. Solve -4*u - 25 = -3*m, -g*m - 15 = -5*m + 3*u for m.
3
Let h = -179 + 183. Suppose i + 5*t = 1 + 3, h*i = -3*t + 16. Solve 0 = q, -5*q - 3 = -i*u - 15 for u.
-3
Suppose 0 = 5*r + 5, -2*w = -4*w - 3*r - 33. Let q be -2*(6 - w/(-2)). Solve 5*n = -2*z + 14, z - 10 = -q*z - n for z.
2
Let y = -31 + 33. Suppose 10*g = 5*g + 3*z + 28, 2*z = -y. Solve b = g*o - 26, -7 = -4*b + 6*b - o for b.
-1
Let g be (-5 + 5)/(1*13/(156/(-24))). Suppose -1 = f - 3. Let a be f/5*(1 - -4). Solve g = m + a*b - 2, 0 = 3*b + 2*b for m.
2
Let h(a) = 119*a - 2613. Let n be h(22). Solve 0*k - 2*g = 2*k + 6, -n*g + 15 = -5*k for k.
-3
Suppose -5*z + 57 = -c, -4*z = -2*c - c - 50. Suppose -19*i + z*i + 72 = 0. Solve i*s = 4*s + 3*a - 31, -2*s + 2*a - 14 = 0 for s.
-5
Let c = 8321 + -8315. Solve 4*r + c = -2*y, -48*y = -3*r - 44*y - 32 for r.
-4
Let p = 247 + -244. Suppose 5*h = 2*c + 4*h - 12, 2*h = p*c - 20. Solve -4*b = -16, -6*b - c = -5*q - 2*b for q.
4
Let g = 105 - 43. Suppose -3*b = -4*x - g, -81 + 17 = -3*b + 5*x. Let q be b*1/2*8/6. Solve -4*h = q, -5*u - 2*h - 2 = 19 for u.
-3
Let j(n) = -2*n - 12. Let o be j(14). Let v = o - 5. Let f = v - -47. Solve -k - 5 = 3*b, 5*k + f*b = -5 - 7 for k.
-2
Let a = -29 + 69. Let r be 2 + a/(-16) + 7/2. Suppose 0 = r*v - v - 6. Solve -g - 5*h + 5 = 0, v*h = -0*g - g + 3 for g.
0
Let j be 371*3/(-6)*(9 + -11). Let o = j + -371. Solve t + 2 = o, -3*g + 0*g = -t + 10 for g.
-4
Suppose 16*r = 17*r + 5, -5*b + 35 = -5*r. Solve 3*u = -q + 9, 12 = 2*u + b*u + 4*q for u.
3
Let a be (6/48)/((-1)/(-24)). Suppose g - 2*u - 1 = 0, u - 13 = -0*g - 4*g. Suppose -g*t - 65 = -8*t. Solve t = a*j + o, -5*j + 4*o + 16 = -0*j for j.
4
Suppose o = 2*x - 15, 4*x + 2*o = -o + 25. Suppose -24*u + 17*u = -x. Solve 3*z - 9 + 2 = -r, -2*z = -5*r + u for r.
1
Let a be (4/(-26))/((-9)/((-1170)/(-10))). Let s be 9 - (-21)/28*(-16)/a. Solve 0 = u + 4, 4*n - s*u = -2 + 14 for n.
0
Suppose 20*z - 6*z = 42. Suppose -10 = -z*c + c. Solve -12 = -4*o - 2*d + 2, c*d = 3*o - 30 for o.
5
Let k(p) = 36*p**2 - 173*p - 18. Let n be k(5). Solve 397*z = 395*z + 5*i - 13, 2*z = -5*i + n for z.
1
Suppose 5*a - 32 = -7. Suppose -8*g - 33 = -a*g. Let q = g + 14. Solve -3*s = 2*f - 17, -5*s + 28 = q*f - 0*s for f.
1
Let t(z) be the first derivative of 2*z**3/3 + 5*z**2 - 8*z - 45. Let y be t(-6). Solve 5*f - 10 = -y*r + 14, 0 = 4*r - f for r.
1
Let s(z) = -5*z - 7*z**2 - 677*z**3 + 3 + 676*z**3 + 17. Let y be s(-6). Solve 0 = -3*k + 2*o + y, -4*k + 0*o = 4*o - 12 for k.
4
Let b(x) = -x**2 + 34*x + 48. Let q be b(27). Let m = -237 + q. Solve l + 6*j - 3*j + 2 = m, -2*l + 1 = j for l.
1
Let a be (21/(-28))/(14/(-8) + 2). Let n be (1/2)/(a/(-12)). Suppose n*k - 20 = 4*x, -3*k + 5*x + 12 = -15. Solve -17 = -k*r + 5*p, -3*p = r + 2*r + 21 for r.
-2
Suppose 86*k = 467 - 37. Solve k*p - 5*m - 15 = -0*p, 5*p + 2*m = 15 for p.
3
Suppose 118*m = 107*m + 319. Suppose -u = -d + 12 - m, -62 = -2*u - 5*d. Solve 3*p = 5*c + u, p + 17 = -3*c + 5*p for c.
-3
Let v = 16762 - 16754. Solve -o - 4*s + 1 + 3 = 0, -v = 4*o + 4*s for o.
-4
Suppose 2829 = 134*t + 1626 - 4693. Solve 4*y - 3*f + t = 20, -4*y = 3*f for y.
-3
Let n = 66 + -50. Suppose 14 = 6*l - n. Suppose c + 5 - 13 = a, 2*c - l*a = 28. Solve c = 2*u - 2*i, -3*u + 0*i - 4*i + 20 = 0 for u.
4
Suppose 559 = 177*y + 28. Let u be 54/15 - (-24)/(-40). Solve -23 = -y*v + x + 3*x, -2*x - 19 = -u*v for v.
5
Suppose -l + 918 = -3*s + 903, -81 = -3*l + 3*s. Solve -4*y + 8 = 0, -5 = l*k - 34*k - 2*y for k.
1
Suppose 0*h - 475 = h - b, 0 = -2*h - 2*b - 942. Let v = -468 - h. Solve 0 = -4*f - v*z + 27, f + 3 = 4*z - 6 for f.
3
Let f = -5865 + 5870. Solve 2*x - 2*z = x + 2, 2*x - f*z = 4 for x.
2
Let s = -3542 + 3556. Solve 13 = -5*z + 4*f - 20, 2*f - s = 2*z for z.
-5
Let n = -242 - -244. Solve -m = -2*l + 2, 2*m + n*l - 2 = -m for m.
0
Let i(n) = -n**3 - 12*n**2 + 48*n - 254. Let g be i(-16). Solve 3*p = y + g - 14, p = 5*y + 10 for p.
-5
Suppose t + 4 = 6. Suppose t*m + 16 = z, 2*z + z - 51 = 3*m. Suppose 5*i = 5*v - 10, -5*v + 8*v + 3*i = z. Solve g - 18 = -5*f - g, -v*f + g + 17 = 0 for f.
4
Let o = -7 + 11. Let i = -217 + 224. Suppose 0 = -5*y + o*n + 37, 4*n = -y + i*n + 14. Solve 28 = g + 4*g + 3*x, -x = y*g - 26 for g.
5
Let z be (6/(-4))/((-2)/(-3) - 77/102). Solve 3*b - 2*r - z = 0, -r + 2*r + 1 = -b for b.
3
Let w(h) = -h**3 + 2*h**2 + 5*h - 6. Let o = -547 + 550. Let a be w(o). Solve -2*y = -4*z + 14, a = 5*y + 3*z + 2*z - 40 for y.
3
Let z be (-140)/5*8/(-28). Suppose 1706 - 1666 = z*f. Solve -3*y - 2*v = 19, -2*y - 4*v - f = 21 for y.
-3
Let f(w) = -14*w**2 - 965*w + 75. Let k be f(-69). Solve x - 3*i = -k, 7*i - 6*i = 3*x + 2 for x.
0
Suppose 0 = 13*l + 15*l - 140. Let m = -13 - -56. Let x = m - 23