= w - 7 for w.
-1
Let s = 55 + -50. Solve -4*c + 3*y - 25 = -0*c, -3*y = c - s for c.
-4
Suppose 0 = 5*g - 30 - 70. Suppose 11 - g = -3*b. Solve -24 = -4*q - 0*q + 3*i, b*i + 18 = 2*q for q.
3
Suppose 60 = 26*w - 11*w. Suppose -2*f + p + 0 = -2, -4*f + 12 = 2*p. Solve -12 = f*o + 2*m, -m - 1 = w*o + 20 for o.
-5
Suppose 5*g - 121 = s, -g + 23 = -4*s + 5*s. Suppose 5*h = 6*z - 3*z - 139, 5*z + 4*h - 281 = 0. Let m = 58 - z. Solve d - g = -m*j, j - 3 = 1 for d.
4
Let x(r) = r**3 + 17*r**2 + 30*r + 8. Let m be x(-15). Suppose -3*o - 27 = -3*i, -4*i = -m*i + o + 24. Solve 3*u + 4 = -i*h + 10, u = 2*h - 9 for u.
-3
Let p be 15/(6/(-2) - -6). Solve -p*a = 2*b - 7*b + 25, 0 = -2*b - a + 7 for b.
4
Let p = -10 + -23. Let y = p - -37. Solve -k = -m - 2, -4*k = y*m - 3*k - 7 for m.
1
Let x(m) = -m**3 + 6*m**2 - 4*m + 2. Let r be x(4). Suppose -12 = 4*l - 26*a + 31*a, 0 = -4*l + 5*a + 28. Solve 2*y + 2 = -l*p + 4, -r = -3*y + 2*p for y.
4
Let u = 19 + -16. Suppose 0 = -d - u*d + 16. Let t be ((-114)/(-27) - 4) + (-43)/(-9). Solve -d*w - 15 = t, 0 = -2*k - 4*w - 30 for k.
-5
Suppose -5*b = 3*l - 21, 0 = -b + 12*l - 10*l - 1. Solve 2*i - 4 = 0, 0 = a - b*i + 5*i + 1 for a.
-5
Let t(l) = -l + 20. Let m be t(0). Suppose 3*v + m - 260 = 0. Suppose -3*y + v = 2*y - 2*f, 79 = 3*y + 5*f. Solve 5*a = s + y, -5*a - 4*s + 9 = -19 for a.
4
Let c(w) = w**2 - 9*w + 2. Let g be c(9). Solve 2*l + g = 3*a, l + 2*l - 4 = a for a.
2
Let p(x) = 4*x + 63. Let v be p(-19). Let n be v/(-26)*(5 - 1). Solve -j + 3 = 2*m, 0 = -3*j - 1 - n for m.
2
Let n = -2683 - -2686. Solve -3*x = 2*k - x - 8, 4*x - 15 = -n*k for k.
1
Suppose -43*w = -42*w + o, 3*o + 6 = 3*w. Solve p = 2*m - 7, w = m + 4*p - 7 for m.
4
Let c(h) = -12*h**2 + 4*h + 5. Let s be c(-2). Let v = 56 + s. Solve 6*g = -n + g + 5, 0 = 3*n + v*g - 5 for n.
0
Let l(o) = -6 - o + 2 - 7 + 4*o**2 - o**3 + 15*o. Let r be l(6). Let w be (-4)/(-4)*0/r. Solve w*d = d - u + 7, 4*u - 12 = -4*d for d.
-2
Let a(f) = -f**2 - 11*f - 3. Let m be a(-10). Suppose -m + 17 = 2*h. Solve 3*w - h = -5*v, 4*v = 2*w - w + 4 for w.
0
Suppose 5*h = 3*p - 20 - 16, 0 = -5*h - 3*p - 24. Let g be (h - 0)/(6/(-4)). Let r be 48/(-32)*g/(-3). Solve -4*d + 5*n + 32 = 0, -d = d - r*n - 14 for d.
3
Let h = -890 + 895. Solve r = -2, -h*i + 0*r + 18 = -4*r for i.
2
Let v(w) = -3*w**2 - 23*w + 10. Let g be v(-8). Solve 4*b + 2*q - 10 = 0, 2*b + g*b = 4*q + 28 for b.
4
Let k(v) = v**2 + 19*v + 5. Suppose 281 = 3*l - 175. Let b be (l/(-12))/(2/3). Let q be k(b). Solve -r = -3*n + 10, -4*r + 35 = q*n - 2*n for n.
5
Let l = 218 + -218. Solve -2*z + 2*q + 4 = l, 5*q - 30 = -3*z - 2*z for z.
4
Let o be -1*(-1 - 1*2). Let p be 15 - (-4)/(-3 - -1). Suppose 0 = -6*c - 1 + p. Solve 4*b + 4*n = 0, c*n = o*n for b.
0
Suppose 32*m = 35*m - 81. Suppose 3 + 12 = -5*k, 4*n = 5*k + m. Solve 3*a - 5*f = -0*f - 26, -2*a + 8 = n*f for a.
-2
Suppose 5*l - j = 24, -l + 0*l + 3*j = -16. Let u be (-1)/4 - (-34)/8. Suppose -p + 6*p + 2*s = u, s = 4*p - 11. Solve p = 4*o - o + l*h, 3*o = -5*h + 1 for o.
2
Let c = -200 - -205. Solve 2*x - 4*x + c*q - 14 = 0, -5*q = -3*x - 16 for x.
-2
Suppose -2*w + 14 = 4*j + 6, -5*w - 4*j + 20 = 0. Solve w*z = 5*d - 27, 2*d + 0*z + 2*z = 0 for d.
3
Suppose 0*w + 12 = 3*w + f, 12 = -4*f. Suppose 8*r - 5*r = -3, -4*r = -5*c + 14. Solve x - w*h = c*x, 5*x = -5*h for x.
0
Suppose 88 = 4*s - 0*s. Suppose -4*w - 1 = 7. Let p be (s + 8)/((-4)/w). Solve -c - 3*n = -p, -5*c + 4 = -n - 7 for c.
3
Suppose -2*y - 8 = -6*y. Suppose -b - 5*u + 9 = 0, -3*b + 2*u = u - 11. Let z be -30*(-1 - b/(-12)). Solve 4*t = r - z, y*r = r for t.
-5
Suppose r - 6*r = 0. Let c(u) = -2*u + 30. Let f be c(r). Suppose -g - f = -3*g. Solve -5*n - 3 = d - 23, g = 2*n - d for n.
5
Suppose -3 = -3*s + 2*i + 12, -s + i = -6. Solve -6*v + 2*v = -b - 7, -s*v + 9 = 0 for b.
5
Let q be (-2 + -6 + 8)/(-3). Solve 3*u - 5*b = -25, -3*u - 2*u - 2*b - 21 = q for u.
-5
Suppose -2 = 6*r - 74. Let t be r/(-3) - -2 - -5. Solve -5*v + 7*w = t*w - 40, 3*v + 3*w = -3 for v.
4
Let p = 232 - 218. Solve 9 = 3*n + 4*w, -p = 5*n - 2*w - w for n.
-1
Let j be (-4)/(-6)*(168 + -165). Solve 10 = -j*h - 4*b - b, 0 = 4*h + 3*b - 8 for h.
5
Suppose -4*i + 2 = 5*a + 11, 4*i + a = 11. Solve 4*n = -3*q - n - 10, -4*q = i*n + 16 for q.
-5
Let w(j) = -4*j**3 - 8*j**2 - 8*j - 8. Let x(s) = s**3 + 1. Let d(h) = w(h) + 3*x(h). Let a be d(-7). Solve 0 = a*o - 8*b + 3*b + 29, -o + 3*b - 17 = 0 for o.
-2
Let k = 8 - 5. Suppose 16*m + 18 = 10*m. Let x be 2 + (m - (-2 + 2))/(-1). Solve c + 10 = 4*g, k*g - g + 6 = -x*c for g.
2
Suppose -37*l + 28 = -32*l + c, -2*l - 3*c + 6 = 0. Solve -t - 2*q - 2 = 0, -3 = -2*t + l*q - 3*q for t.
0
Let h = -111 + 111. Solve 2*n - 5 = o, -n - 3*o + 0 + 20 = h for n.
5
Suppose -a = -3, 5*k + 36 = 2*a + 40. Solve -5*q = -i + 2, -q + 4 = 3*q + k*i for q.
0
Suppose 2 = l - 0*h - 5*h, 4 = 2*l + h. Let y be (-9)/l*(-16)/12. Solve -6*w + 3*p = -3*w + y, -p = 2*w + 7 for w.
-3
Suppose 12 = 4*l - 5*m, -6 = -2*l + 4*m - 6*m. Suppose l*i = 5*i + 2*i. Solve -h + 4*p + 20 = i, h = 3*p + 15 + 1 for h.
4
Let p be 9/15 - (-47)/5. Suppose -2 = 2*j - 10. Solve 4*z + 2*l = -2 + 12, j*z - 2*l = -p for z.
0
Let h = 550 - 530. Solve -2*l + 3*r - 17 = 0, -5*l + 2*r + r = h for l.
-1
Suppose -15 = 4*i - 5*i. Solve 5*x + 3*l - 5 = 0, 0 = 4*l - i - 5 for x.
-2
Let l be 17 - (-2 - ((-2)/(-2) - 5)). Let m be (-80)/l*(-2 - (-2)/4). Let p be (3/(-6))/(1/(-8)). Solve p*n - j - j = -m, 10 = -5*n + 2*j for n.
-2
Let y = -27 - -32. Solve -f - 2*k - 14 = 0, -2*f - y*k = 19 + 14 for f.
-4
Suppose 132 = 150*d - 139*d. Solve 9 = h - 3*t, -3*h - 6*t = -10*t - d for h.
0
Let u be (55/(-44))/((-2)/56). Solve -u = -5*h - 4*i, -h - 3*i = 4*h - 30 for h.
3
Let v = -37 + -9. Let b = v + 48. Solve -2*f - b = 0, 3*f + 13 = -3*g - f for g.
-3
Let n(r) = -r**2 - 10*r - 21. Let v be n(-7). Solve 0 = 4*z + 2*c + c + 26, -3*z - 4*c - 23 = v for z.
-5
Suppose 0 = -18*k + 27 + 27. Solve -3*l + 2*l = -k*o + 8, 4*o + 5*l + 2 = 0 for o.
2
Let z(r) = r**3 + 2*r**2 - 17*r - 6. Let y be z(-5). Solve -o + 14 = -b + y*o, -10 = 2*b - 4*o for b.
1
Suppose -3*m - 35 = x, x + 0*m - 4*m + 7 = 0. Let v = 268 - 286. Let g = v - x. Solve -q + 6 = -k - 3*k, -g*q + k - 8 = 0 for q.
-2
Let g(q) = -4*q - 4. Let w be g(-6). Suppose -5*h = 3*k - 17, 2*k + 2*k = -4*h + w. Suppose -s - k*s = 0. Solve 4*z - 6 - 8 = 5*d, 5*d - 5*z + 15 = s for d.
-2
Let t = -235 + 240. Solve 4*x + 22 = -t*w, -3*x - 17 = -0*w + 4*w for w.
-2
Let i(w) = -w**2 + 3*w - 2. Let m be i(3). Let u = 10 - 12. Let n be ((-16)/m)/(u/(-1)). Solve -4*k + n*o - 10 = -22, -16 = -3*k - 4*o for k.
4
Let d = -136 + 139. Solve 3*f - 4*a = -f, -4*f - d = -5*a for f.
3
Let y be 8/10*5 - (-6)/(-3). Solve -y*w + 5*p = -16, -p = -3*w - 6 + 4 for w.
-2
Let h(n) = n**2 - 5*n - 31. Let l be h(9). Solve 3*i = l*c - 9, 0 = -4*c + c - i - 3 for c.
0
Let p = -1108 + 1112. Solve 0 = 5*n - 3*h - 13, p*n + 4*h = -n + 6 for n.
2
Let c(q) = -4*q**3 - q - 1. Let o be c(-1). Suppose o*l = 8 + 12. Solve 10 = -l*z + 4*m, 0 = -5*z + m + m for z.
2
Suppose -3*m + 11 = -10. Suppose -7*v + 14 = -m. Solve 5*l + v*u - 11 = 5*u, -4*l + 3*u + 6 = 0 for l.
3
Suppose 23 = 2*m - 3*i, -2*m + 5*i - 6 = -m. Suppose 3*t = 0, 4*q - 78*t = -80*t + 24. Suppose -2*v = -1 - 5. Solve -4*n + v*p + m = 0, -n + p + q = -0*p for n.
1
Let c(v) = v**3 + 10*v**2 + v + 15. Let m = 40 + -50. Let z be c(m). Solve 3*o - u = 11, o + 4 = z*u + 3 for o.
4
Suppose c - 749 = 5*g - 192, 4*g + 445 = c. Let m = 116 + g. Solve -4*n = -5*f + 13, -f = -m*n - 0 - 9 for f.
1
Suppose -2 = -4*g + o, 3*o - 11 = -3*g - 2*g. Suppose -8*s + 21*s = 130. Suppose 3*d + g - s = 0. Solve -3*n = -d*p + 9, 5*n = p + 3 + 2 for p.
5
Suppose 0 = -2*u + 4*u + q - 1, 4*u + 3*q = -1. Solve -3*y + 7*f = 11*f + 31, u*y - 5*f - 10 = 0 for y.
-5
Suppose 52 = 3*y + 2*o, 0 = y + 4*y + 3*o - 88. Solve 4*a - 15 = 9*a + 5*z, 0 = -5*a + 2*z + y for a.
2
Let r(q) = -15*q - 71. Let g be r(-5). Solve 2*l + 6*m = 2*m - g, 14 = 4*l - 3*m for l.
2
Suppose 0 = -2*f + 3*f + 2. Let k be ((-5)/(-2) + f)*8. Suppose 0 = 36*a - 32*a - 8. Solve k*r = -4*v + 2*v, -r + a*v = 10 for r.
-2
Suppose 0*j + 4*j = 5*s - 4, 3*s = 3*j. Solve j*r = 5*y - 20, -5*y = 3*r - 0*y - 20 for r.
0
Let d = -110 + 114. Solve d*m + 2*z