2 = -w + 8 for x.
-5
Let o(z) = -z**2 + 2*z + 1. Let x be o(3). Let u be (-12)/(x*(-2)/(-4)). Suppose -2*l + u = 4. Solve -3*v - 31 = -4*g, 2*v - l*g = 4*v - 6 for v.
-5
Let d be 0 + 6*(-11)/(-22). Solve g - 6 = -5*k, 0 = -3*g - 2*k - d*k - 2 for g.
-4
Let d be (25 - 2)/(7/14). Let z be ((-9)/((-27)/6))/(4/d). Solve c - 4*k - z = 0, 0*k + 2*k = -c - 7 for c.
3
Suppose 3*h - 9 = -3. Let r be (-7)/1*8/28. Let m be 1/r*(-5 + -3). Solve -x = -h, 2*d = 4*x - m - 12 for d.
-4
Let m = 38 + -30. Let j be 25/2*m/20. Solve 45 = 4*g + 5*t, 30 = j*g + 3*t - 2*t for g.
5
Suppose -4*s = -133 + 13. Let x = 34 - s. Solve -14 = -x*i - 3*j, -i = -3*j + j + 2 for i.
2
Suppose -9*o - 8 = -26. Suppose 0*a + 41 = a. Solve -o*n - 3*n = 4*q - a, -3*q - n = -17 for q.
4
Suppose 39*k - 682 = 332. Suppose -2*q - 17 = -q + 5*t, 0 = -2*t - 6. Let b = q - -4. Solve 4*d = -b*u - u + k, -3*u - 2*d + 16 = 0 for u.
2
Suppose -291*x + 280 = -251*x. Solve 0 = -g - 4*w + 16, x*w - 2*w - 20 = 0 for g.
0
Let o be (-4 - 0)*(-3)/6. Let l = 39 + -31. Let g be (-6)/l + 45/12. Solve 0 = -o*z - m - g, -3*m + 12 = -5*z - m for z.
-2
Let n(x) = -x**3 - 13*x**2 - 2*x - 10. Let c = -29 - -16. Let l be n(c). Solve 2*s - 9 = -i, -l - 4 = -4*i - 4*s for i.
1
Suppose -2*a - 4*k = 10, -2*a + 4*k + 23 = -7. Suppose 0 = m - 2*m - a, -l + 10 = -m. Solve 0*w - 5*w = -2*b + 11, 4*b - w + l = 0 for b.
-2
Suppose 4*i = 10*d - 13*d + 4, 0 = 3*d. Solve 3*a + 4*o - 12 = 0, a - 5 = 5*o - i for a.
4
Suppose -5*x - 81 = 204. Let h = x - -59. Solve -h*b - 12 = -2*g, -2*g - 3*g = -10 for b.
-4
Let o = 176 + -173. Solve j = -u, u - o*j + 8 = -0*j for u.
-2
Suppose i = 15*i. Solve 4*f + 2*d - 22 = i, 3*d - 6 - 3 = 2*f for f.
3
Suppose -4*q - 4*f = 152, -4*f + 54 = -2*q - 28. Let x = -37 - q. Solve 2*u = 4*a - 4, -19 = 5*u - x*a + a for u.
-4
Let o be 108/27 + -1*4. Solve 2*r + 6 = -p, o = -r - 2 - 2 for p.
2
Suppose 14*q - 18*q + 42 = 2*r, q - 15 = r. Solve 9 = -3*l - 5*k, l + q = -3*l - k for l.
-3
Let z(l) = 2*l - 9 + 6 - 3*l + 2. Let n be z(-6). Solve 0*g + n*g - 23 = -o, 2*g - 11 = -o for g.
4
Let l be ((-1)/2)/((-2)/12). Suppose l = o + 2*o. Let q = 19 - 11. Solve 3*i - q*i - 17 = d, d = -i - o for i.
-4
Let u(v) = -7*v**2 + 2*v + 2. Let d be u(2). Let j = d - -20. Let z = j - -2. Solve z = 4*a + a + 3*y - 16, y = -3 for a.
5
Suppose -6*u + 10*u - 128 = 0. Let y be u/176 + (-31)/(-11). Solve -y*m + 6 = 2*m - 2*z, 0 = 5*m + 2*z - 14 for m.
2
Let a = -1506 - -1511. Solve -a*o = 5*s + 33 - 8, -3*o - 15 = -5*s for o.
-5
Suppose -4*k + 4 = -4*u - 0, k - 21 = -4*u. Suppose 12 = 2*o + u*o. Solve 15 = 3*s - 5*t, 2*t + 6 = -o*s - s for s.
0
Suppose -2*k + r - 3 = -7, -3*k = 2*r + 8. Suppose 4*u + 17 + 39 = k. Let b = u - -18. Solve 0*f - b*p + 7 = 3*f, -5*p = 10 for f.
5
Let h = 17 + -12. Suppose 10 = h*t - 15. Solve g + 2*j = -t, -4*g - 4 = -2*j + 6 for g.
-3
Let t = -115 + 83. Let x be (-20)/t*(5 - -3). Solve 0 = -4*d + x*f + 27, 2*d + 3*f = 6*d - 21 for d.
3
Suppose 4*j - 5*t - 8 = 0, 2*j + 4 - 8 = -2*t. Suppose 0*k - 3*k + 9 = -j*p, 3*p - 12 = -4*k. Solve p*g - 8 = -4*n - 4*g, -10 = -3*n + g for n.
3
Let r be 1/(18/(-42) - (-97)/210). Let y(z) = z**3 + 5*z**2 + 4*z - 1. Let b be y(-3). Suppose 9 = 5*q - 11. Solve -b = d - q*v + 2, -3*d + r = 5*v for d.
5
Suppose s - 36 = -8*s. Solve 5*b + 15 = j, 2*b + s = 2*j - 2 for b.
-3
Let h = 14 + -88. Let r be (-12)/(-42) - h/(-14). Let y be r/(2 + 12/(-4)). Solve 0 = 4*s + f + 13, f + y = -0 for s.
-2
Let d(g) = 4*g + 5. Let v(i) = 3*i + 4. Let l(o) = 2*d(o) - 3*v(o). Let t = -674 - -664. Let x be l(t). Solve -c - 5*n = 9, -2*c + n = 6*n + x for c.
1
Let s(a) = a**3 + 8*a**2 + a + 7. Let d be s(-8). Let q be -4*d/6*3. Solve -g = -w - 2, q*g - 2 + 0 = w for w.
-2
Let y(o) = 2*o**3 + 48*o**2 - o - 20. Let q be y(-24). Solve 0*r - r = -3*u + 13, q*u - 16 = 2*r for r.
2
Suppose 4*u - u + 4*q - 8 = 0, -3*q = u + 4. Solve -x + 3 = -2*s, x = 3*s - u*s - 18 for s.
-3
Suppose -y + 4*t = 2*y - 13, 2*t = -2*y + 4. Solve i - 2*d - 8 = 0, 4*d + 27 - 7 = y*i for i.
4
Let s = -67 - -72. Suppose 4*c = -20, -2*c + 39 = 4*g - s*c. Solve 0 = -x + g*x - 5*t - 40, 5*t + 25 = 0 for x.
3
Suppose 2*b = 2*x, 3*b - 12 = -0*b - 3*x. Let t be b*(-3 + (-10)/(-2)). Suppose 2*u - 12 = -t. Solve -z + y + 4 = 2*y, -z - u = -y for z.
0
Suppose 2*s + 48 = 8*s. Suppose s*t - 12 = 5*t. Solve 4*q = j + 17 + 6, -3*j - t*q = -11 for j.
-3
Let f = 1075 + -1066. Solve 4*k = 3*u - 35, -2*k - f = -u + 6 for u.
5
Let s be 5/(-12)*18/20*-8. Solve -v = 2*l - 3, 3*v + 2 = -s*l - 1 for v.
-5
Suppose -56 = -3*t + 11*t. Let y(b) = -2*b**2 - 16*b - 12. Let j be y(t). Solve -2*s + 2 = -j*v + 12, -4 = 4*s for v.
4
Suppose -19*q + 39 = -6*q. Solve -3*o - 5*l = 35, 5*o - 3*l = 2*o - q for o.
-5
Suppose 3*k = 2*k - 3*s + 11, -s + 2 = 0. Suppose k*a - 28 + 3 = 0. Solve 2*m + 6 = 4*u, -3*u + 2*u + a*m = -6 for u.
1
Let o(z) = z**2 - 10*z - 2. Suppose 0*j - 3*j = -33. Let v be o(j). Let x be 15*(30/v - 3). Solve 0*l - 3*l = r + x, 3*l - 3 = -3*r for r.
4
Let o be (1 + -2 - -52)/(120/40). Solve -3*m - 2*a - 16 = -o, 2*m + 4*a + 2 = 0 for m.
1
Let u be (-273)/(-12) + (-16)/(-64). Solve 0 = -3*i + 2*h - u + 8, -4*h + 12 = 0 for i.
-3
Let o(a) = -15*a - 6. Let u be o(-3). Suppose -24*v - u = -27*v. Solve -v = -2*d + 3*g, -5*d - 1 + 21 = 5*g for d.
5
Let r = 242 - 232. Solve -p - r = -2*l, -5*l - p + 6 + 5 = 0 for l.
3
Let a(n) = -n**3 - n + 24. Let t be a(0). Suppose t = 13*f - 9*f. Solve 0 = -2*p + f, -3 = 2*y + 2*y - 5*p for y.
3
Suppose -3*k - 7 = 2. Let n(i) = -i**2 - 4*i - 1. Let v be n(k). Let z = v + 0. Solve z*c - 6 = p, 0*c + 2*c - 18 = -2*p for p.
4
Let q(g) = -g**3 + 2*g**2 - g + 12. Let f be q(3). Solve 0 = -4*t + 3*d + 35, f = 4*t - 3*d + 6*d - 5 for t.
5
Suppose 37*c = 40*c + 27. Let w = -9 - c. Solve -2*x + 6*x + 3*r + 23 = w, -x = -2*r - 8 for x.
-2
Let o = -20 + 10. Let i = o + 12. Let c = 2 + i. Solve 0 = c*v + q - 15, 3*q = q - 2 for v.
4
Let z be (4 + -4)*-3*(-2)/(-12). Solve 0 = -3*q + 6, z = -2*m - 3*m + 5*q for m.
2
Let c(t) = t**3 + 9*t**2 - 4*t - 34. Let i be c(-9). Solve 4 = -2*h - 2*n, -n = -5*h + i*n - 26 for h.
-4
Let w(u) = 3*u**2 - 43*u - 26. Let b be w(15). Solve b = d + 3*r - 3, -4*d - 4*r = -4 for d.
-2
Let y be (2 - -5) + -1 + -8 + 2. Solve y = -d - d + c + 8, c - 10 = -4*d for d.
3
Let m(s) = s**2 - 4*s - 8. Let q be m(6). Let o be (-1)/(7 + (-176)/24). Solve f - 9 = -o*f + 3*z, -f = -q*z + 1 for f.
3
Let r = 226 + -212. Solve 0 = 2*i - 0*i + 5*w - r, 5*i - w - 8 = 0 for i.
2
Let r be ((-48)/(-32))/(3/4). Suppose -r*n - 4*g + 20 = -g, 4*g = 16. Suppose 0*v = n*v. Solve 4*t + 3*l + 19 = -v*t, -22 = -3*t + 5*l for t.
-1
Let b = 1083 + -1080. Solve 5*z - f - 25 = 0, 0*z - b*f + 10 = 2*z for z.
5
Let z = 29 + -26. Solve -q + 3 = g - 3, -4*g = z*q - 23 for q.
1
Let c(h) = h**2 + 4*h. Let q(x) = 7*x**2 - x**2 + x - 7*x**2 - 4*x. Let n be q(-4). Let f be c(n). Solve f*d - 5*d = 5*p + 50, 0 = 3*p + 15 for d.
-5
Suppose 14*j - 12*j - 3*a + 3 = 0, -2 = -2*a. Solve 2*c - 10 = -j*d + 4*d, -d = 4 for c.
-3
Suppose -4*k + 7 + 45 = 0. Suppose 14*c = 5*c + 18. Suppose -2*q - c*d = -8, 5*d - 6 = 3*q + 14. Solve -4*f - k + 1 = q, 0 = -4*x + 3*f + 1 for x.
-2
Suppose -4*r = -3*r - 29. Let q = 40 + -38. Solve -5*m = 3*v + r, m = q*v - 2 + 4 for v.
-3
Suppose -3*z + 4*t + t + 46 = 0, 34 = 3*z + t. Suppose 16*p = 20 + z. Solve 0 = -p*m - 2*o - 16, -2*m + 0*o = 3*o + 20 for m.
-4
Suppose 0 = 2*t + 2*y, 4*t + 2 - 3 = -3*y. Let z(r) = 17*r**3 + r**2 + 2*r - 2. Let x be z(t). Solve 4*i - x = 5*q, q + 3*i - 16 = 6*q for q.
-2
Let y(a) = a**3 + 2*a**2 - 2*a - 2. Let m be 1 + (-20)/28 + (-12)/(-7). Let d be y(m). Solve 0 = -z + c - 1, -d = z + 3*c + 3 for z.
-4
Let a be 2/(-7) + 74/14. Let i(m) = -2*m - 3. Let w be i(-3). Suppose 5*v - 9*v = -16. Solve -v*y + 15 = x, -4*x = -a*y + 48 - w for x.
-5
Let k be (-2)/8 - 27/(-12). Let r be (-14)/21 - 2/(-3). Suppose r = k*g + 2*g. Solve -s = -h - 5, g*h + 18 = 4*s - 3*h for s.
3
Suppose m + 4 = 2*n - 2, -4*m - 2*n = -26. Suppose 4*w + 28 = -3*p, w - m*w = p + 11. Let v = 10 + p. Solve -2*c + 2*g = -8, 0*c + 2*c + v*g = 8 for c.
4
Suppose 2*i = 2*q - 67 + 73, -3*q - 9 = 0. Solve w + 5*x - 23 = i, -2*w + 2*x - x = -2 for w.
3
Let z(a) = -a**3 - 9*a**2 - 16*a - 4. Let k be z(-7). S