 for w.
0
Let o(i) = -i**2 + 14*i. Let r be o(14). Suppose -f - 3*f + 4 = 4*l, -l - 2 = r. Solve 3*v + 4 = -5*g, f*g + 2*g = 4*v + 17 for v.
-3
Suppose 3*r - 10*x - 12 = -15*x, 3*r - x = 12. Solve -r*o + 5 = -4*s + 1, -o + 2*s + 2 = 0 for o.
0
Suppose -5*y + b = -2 - 27, -2*b + 2 = 0. Suppose 0*x - 3 = 3*x - 5*g, 3*x - 2*g - y = 0. Let h = 208 - 201. Solve 4*c - 13 - 7 = -x*i, 0 = -c - 3*i + h for c.
4
Suppose 0 = f + 4*h - 11, 8*h - 10*h - 11 = -5*f. Suppose -2 - 106 = -f*a. Solve 2*j - 6 = 2, -a = 4*g - 5*j for g.
-4
Let u = 45 + -45. Solve d + 3*a = -0*d - 16, u = -d - a - 8 for d.
-4
Suppose 3*m + 4*c = 4*m + 5, 4*c = -3*m + 17. Let n(a) = 6 + 0*a + 3*a - a**m + 6*a**2 - 5*a. Let z be n(5). Solve -o = -4*f - z, 3*o - 3*f - 3 = 24 for o.
5
Let o = 601 - 599. Solve -4*l = -w - 2*l - 1, -2*l = -o for w.
1
Let f = 2714 + -2711. Solve -2*b - l = 1, f*b - 5*l = b - 7 for b.
-1
Let z be (1 - -5)/(0 + 2). Suppose 6*d - 22 = -22. Let l be d + 1 - 132/(-33). Solve -2*o = -j + 3, -z*o - 3*j + 13 = -l for o.
1
Let t(d) = -d**3 + 6*d**2 - 2*d - 4. Let m be t(5). Let b = 11337 - 11322. Solve 2*h + 6*a - 3*a + m = 0, -5*a - b = 5*h for h.
2
Let z(w) = -8*w - 52. Let p be z(-7). Solve -2*t + 2 = -4*g + 5*g, -p*t = -g - 16 for t.
3
Suppose -h = -2*h + 14. Let c = 32 - h. Solve -3*t + 2*t - 5*g = 11, 0 = 3*t - 2*g - c for t.
4
Suppose 5*q = -3*n - n + 60, -3*q = 12. Suppose 0*b + b = 2*l, -5*b = -n. Solve m + 6 = -l*g, g + 0*g - m = -6 for g.
-4
Let h = 1119 + -1114. Solve 0*c - h*w = -2*c - 25, 0 = -2*c - 4*w + 2 for c.
-5
Let g(b) be the first derivative of -1/3*b**3 + 2*b**2 - 5 + 7*b. Let k be g(5). Solve -4*n + 8 = k*a - 7*a, -4*n = 3*a + 24 for a.
-4
Let x = -2203 - -2207. Solve 0 = -2*u + k + 5, -40 = -4*u + x*k - 8*k for u.
5
Let a(p) = p. Let j be a(0). Suppose 0 = 4*y - j*y - 36. Let d be -3 + 2 - (7 + -10). Solve 0 = -4*w + 5*i - y, -d*w + 4*i = -1 + 13 for w.
4
Let x(p) = 8*p**2 - 2*p + 3. Let t be x(2). Suppose 0 = -2*m - 2*i + 6, -3*m + 2*i - 10 = -m. Let f = m + 3. Solve -5*y = 5*s - 40, f*y + 3*s - t = -2*s for y.
3
Let j be (-4)/12 - 200/3. Let h = j - -67. Solve 0 = -n - 2*k + 13, h = 4*n - n + 5*k - 35 for n.
5
Suppose -2*y + 5*r = -1 + 12, 0 = y - r + 1. Solve -4*j - y*f - 14 = 0, -4*j + f = j + 7 for j.
-2
Suppose 4*c + 20 = 0, -8 = 3*l - 3*c - 74. Let o = -12 + l. Solve -12 = -y - a - a, -25 = -o*y - 3*a for y.
2
Let x(b) = b**2 - 15*b - 4. Let t(h) = -3*h - 2. Let a be t(-6). Let w be x(a). Solve -4*n + 30 = -5*i, 6*i - 2*i + 4*n = w for i.
-2
Suppose 9*r + 5 = 41. Solve 4*i = -0*i - r, -5*o - 10 = -5*i for o.
-3
Let i be 6*((-80)/(-12))/10. Solve -v + r = -3, 8*r - 3*r = -i*v - 24 for v.
-1
Suppose w - 5*b + 7 = 0, -3*b + 21 = 2*w + 9. Solve 2*i = i - a - w, -3*a - 7 = 2*i for i.
-2
Suppose p - 12 = -4*d, -p - 2*d + 9 = 1. Solve p*q = -3*t + 1, 5*q + 6*t + 13 = 7*t for q.
-2
Suppose 3*z = 5*v - 4 + 21, 0 = 3*v + 4*z - 13. Let u be (4/(-7))/(v/7). Solve u*p = -5*s - 41, 13 = 2*p - 5*s - 4 for p.
-4
Let i = 33 - 22. Let b be (-4 - (5 - i))/(1*2). Solve -a - b = 3*x - 11, -2*x + 5*a + 35 = 0 for x.
5
Let i = 122 - 108. Solve i = 2*o - 3*g - 5, -3*o - 3*g + 6 = 0 for o.
5
Suppose -5*a + 76 = -2*f + 3*f, 2*a + 4*f = 34. Let l be (-2)/(-4) - a/(-10). Solve -3*g = -2*r + l, -8*g + 3*g = -5*r for r.
-2
Suppose 0*d = -2*d + 4. Let m be ((-1)/2 - -2)*(-24)/(-36). Solve -t = i, -2*t = 5*i + d + m for t.
1
Suppose 3*a = n + 7, n = 2*a - 3*a - 3. Suppose a - 9 = -2*q. Solve 3*x - d + 12 = 2*d, q*d - 1 = -x for x.
-3
Let w(g) = -g**2 + 41*g + 48. Let d be w(42). Solve -2*c - 15 = -5*f, -c - 6 = -4*f + d for f.
3
Let y(s) = s**2 - 6*s - 5. Let a be y(7). Suppose a*f = 3 + 3. Suppose -52 = -f*q + q. Solve -p - q = -5*d, -5*p + 0*p = d for p.
-1
Let r be (-5 - 1)/2 + 5. Solve -d - 11 = 5*m - 0*m, 8 = -r*d - 3*m for d.
-1
Suppose m + 18 - 5 = 4*u, -12 = -3*u. Solve 6*n = 3*w + 3*n + 24, m*w + 5*n = 0 for w.
-5
Let u be (11/22)/((-2)/(-8)). Suppose 2*m - 2 = u. Let x be (-12)/(-4) - (m + 1). Solve 4*z = 8, -z = 5*o - x + 23 for o.
-5
Let w be ((-3)/(-12))/(6/72). Solve -w*m + 2*g + 8 = 0, -2*m + 4*m + g + 4 = 0 for m.
0
Let b = 11 + 9. Suppose 2*y - 7*y + 30 = 0. Suppose 2*h - n + y*n + 15 = 0, -3*h - 3*n = 9. Solve -5*j + b = h, 5*j - 14 = -3*c - 0 for c.
-2
Let l = 1800 + -1799. Solve 0 = z + l, 5*z - 15 = -3*d - 2*d for d.
4
Suppose -18 + 66 = 4*q. Let j(t) = -10 - 4*t - t**2 - q*t - t + 8*t. Let h be j(-7). Solve 0 = 5*w - 3*u - h, -4*w = 5*u - 2 - 16 for w.
2
Let x be ((-6)/(-3) + -2)/((-4)/2). Suppose h = -x*h + 4. Solve -2*y - 16 = 2*q, 3*q + h*y + 21 = 2*y for q.
-5
Suppose 2 - 16 = -7*x. Solve 0*i + x*k = 5*i + 10, k - 5 = 3*i for i.
0
Let q = 73 + -63. Let a be (8 + -5)/((-6)/(-10)). Solve -5*w + 5*k = -q*w, 20 = a*k for w.
-4
Let p(g) = 3*g**2 - g - 1. Let l be p(3). Let w = 27 - l. Let n be 6/(-8)*-2*10. Solve 4*c - 4*a = -w, 3*c - 4*c + 5*a = -n for c.
-5
Let m = 22 + -17. Solve 5*c + 5*g - m = 0, -4*c + 4*g + 10 = -c for c.
2
Let c be 1*(2/(-2) + 0)*-1. Let h(z) = -z**3 - z**2 + 2*z. Let b be h(-2). Solve j - r = b, -c = 4*r - 3*r for j.
-1
Suppose 434 = 7*o - 567. Suppose -5*m = 83 - o. Solve 0 = -4*p + 5*d + 30, 2*p = -d - 4 + m for p.
5
Let r(s) = 8*s**2 + s - 1. Let f(u) = -2*u**2 + 41*u - 19. Let j be f(20). Let g be r(j). Solve -4*z = -4*d - g, 4*d = -3*z - 20 - 9 for d.
-5
Let g = 154 + -150. Solve -2*x = x + 4*q + 6, g*x + 8 = q for x.
-2
Suppose u = 0, q - 2 - 3 = -3*u. Solve q*k = -3*f + 24, -f = 3*k - 4 - 8 for f.
3
Let w(v) = v**3 + 9*v**2 - v + 1. Let p be w(-9). Suppose 15 = 5*z - p*z, -4*z - 57 = -5*d. Solve 5*k + d = -2*j, 0*k + 2*k + 4*j = 6 for k.
-3
Suppose -6 = -j - 5. Suppose -2*y + j = -3*y. Let u(l) = l**2 + 2*l + 1. Let x be u(y). Solve d + x*d - 17 = 4*a, d = -4*a - 15 for a.
-4
Suppose 5*f - 44 = -3*o, 61*o - 4*f = 65*o - 48. Solve o = -4*i, 3*m + 3*i + 18 = -m for m.
-3
Let l be 4*2*2/2. Let b = 12 - l. Suppose -b*q = -37 - 75. Solve -4*h + q = 5*r - 0*h, 2*r - 4 = 2*h for r.
4
Suppose -2*d = -7*d. Suppose 3*i = 59 - 44. Let r be (-16)/(-8) - 0/3. Solve d = -o - 2*y + i*y - r, 5*o - 4*y + 10 = 0 for o.
-2
Let n = -244 + 264. Solve -5*a - 2*p - 15 = p, a + 4*p = -n for a.
0
Let v = 4 + 0. Let p = -32 - -38. Let a = 9 - p. Solve -v*c - 29 = 2*b - 7*b, -3*b - a*c = -12 for b.
5
Suppose 0 = 3*m - 8*m + 15. Let c be (-16)/(-12)*27/m. Suppose 15*h + c = 18*h. Solve 0 = 4*k + 8, -4*j - k = -5*k + h for j.
-3
Let k be -1 + 1 - (7 + -18). Let w = 5 - 2. Solve -5*b - k = -2*v, w*v - 1 - 11 = 3*b for v.
3
Let k(n) = -n**2 - 22. Let o be k(0). Let h be o/8 - 2/8. Let i = h + 7. Solve -3*j = i*m + 25, -2*m - 4*j = 2*m + 28 for m.
-4
Let g be 4/(8/(-6)) + 3. Suppose -5*t - 15 = g, -5*u = -0*t - 3*t - 69. Let b be ((-15)/u)/((-3)/36). Solve -15 = 5*r + a, -a - 2*a = b for r.
-2
Let k = 14 - 1. Suppose 5 - k = -2*i. Let x(l) = l + 7. Let t be x(-5). Solve 0 = -2*d - 0*d + i*b + 16, -8 = t*d + 4*b for d.
2
Let o be 7/(-2)*(-8)/7. Let w = 8 - o. Let m = 8 + -6. Solve 14 = m*n + 2*i, -w*n + i + 14 = -2*i for n.
5
Let n be (52/22 - 2)/(2/11). Solve -5*i + n - 15 = 3*j, 5*i + 5 = -5*j for j.
4
Let j(p) = -p - 12. Let v be j(0). Let i be -34 - 0/(v/(-4)). Let w = i + 61. Solve 3*x - 2*f = -1, -w + 2 = -5*f for x.
3
Suppose -54*p + 2 = -56*p. Let t be p/(0 + 5/(-155)). Solve -5*a + t = 4*x, -3*x + 2*x + 13 = 3*a for a.
3
Let z be (171/(-38))/(1/(-2)). Suppose z*k - 14*k = -35. Solve -3*r - 4 + k = -2*t, -5*t - 11 = -4*r for t.
-3
Let p(j) = -37*j + 113. Let d be p(3). Solve -3*r + 4*h = -4, -d*r - h - 3*h = -16 for r.
4
Let b(h) = -h**3 - 4*h**2 + 6*h + 5. Let i be (-21)/3 - (-1 + -1). Let j be b(i). Suppose j = -4*n - 0 + 20. Solve -x + 3*x = 2*w + 2, n*w - x = -21 for w.
-5
Let v = 73 + -55. Let x = -60 - -94. Let u = x - v. Solve 2*l - 12 = n - 0*l, -u = 3*n - l for n.
-4
Let q(w) = -w**3 + 11*w**2 - 13*w + 51. Let x be q(10). Solve 3*b - x = -4*s, -2*s = -5*s + 9 for b.
3
Let j = -2 + 6. Let o(m) = -7 - 3*m + 1 + j*m - 3. Let i be o(13). Solve 0 = -i*x + 3*d - 9 - 0, 2*x + 9 = -3*d for x.
-3
Let l(r) = -2*r - 29. Let f be l(-16). Suppose 0 = -2*i - 5*b + 28, 4 = f*i - i - b. Solve 0 = -j + i, -4*j + 12 = u - 2*j for u.
4
Let n(j) = j**2 + 6*j + 12. Let d be n(-3). Suppose -6 = -6*h + d*h. Solve -2*i + h*k + k + 4 = 0, 5*i + 4