= 1 for w.
3
Let j(k) = k**2 - k + 5. Suppose -c = c + 10. Let p be j(c). Solve 5*x + p = 5*q, x - 6 = -2*q - 1 for q.
4
Suppose -25 = -10*t + 25. Solve 6 = 5*d - 3*y, -12 + 4 = -t*d + 4*y for d.
0
Let o = 14 + -14. Solve 0 = -5*f - 2*h - 14, o*f = 5*f + h + 12 for f.
-2
Suppose -3*c + 58 = 16. Solve -s + c = 4*g - 9*g, -3*s + 14 = -g for g.
-2
Let y(i) be the third derivative of i**5/15 - i**3/6 - 2*i**2. Let p be y(-2). Suppose -3*s + p = -30. Solve 4*m - c = 18, -m + c + s = 6*c for m.
5
Suppose 2 + 10 = 4*d. Solve 0 = -o, u - 3*o + 0*o = -d for u.
-3
Let s(r) = -r**2 - r + 6. Let u(d) = -d**3 + 2*d**2 - d + 2. Let z be u(2). Let v be s(z). Let i be (4/6)/(2/v). Solve w + h = 10, -5 = i*h - 15 for w.
5
Suppose 2 = -6*s + 7*s. Solve -s*j - 2*x = -0*j - 10, 2*x = 4*j - 14 for j.
4
Let y = -9 - -12. Solve -20 = -4*s, 2*q + y*s = -q + 27 for q.
4
Let k(b) = 4*b + 22. Let r be k(-9). Let s = -12 - r. Solve -4*l - 5*o = -l + 30, o - 7 = s*l for l.
-5
Let u(g) = 2*g - 4*g**3 + 0 - 7*g + 3*g**2 - 2 + 5*g**3. Let o be u(-4). Solve 3*q + 4*p - 7 = 2*p, 0 = o*q - 3*p - 22 for q.
5
Let l be -1*(-4)/(-3)*-3. Suppose k = -k + l*u + 8, -5*u = -2*k + 8. Let r = k - -1. Solve 5*a = 4*v - r*v, -5*v - 5*a = -20 for v.
5
Let d(g) = -g**3 + 6*g**2 + 2*g - 6. Let t = 15 - 9. Let p be d(t). Solve 4*x = 5*c - 9, -p = -c + 6*x - x for c.
1
Let q = 0 - -6. Let d be 32/18 + q/27. Solve -5*b + 4*r = 37, d*r = 3*b + 4*r + 9 for b.
-5
Let f be (20/(-4) - -2) + 4. Solve 4*p = -3*u + 1 + f, u = -2*p + 2 for u.
-2
Suppose -54 = 4*v + 3*u, 5*u - 3*u = -4. Let y be ((-1)/(-3))/((-1)/v). Solve 0 = l + 5*p + y, 3*l - p + 3*p - 1 = 0 for l.
1
Suppose -8*p - 14 = -15*p. Solve -2*y - w + p = -2*w, -4*w + 10 = y for y.
2
Suppose 2*z - 4*z - 3*l + 12 = 0, -l = 3*z - 11. Suppose -5*v + 3*b + 68 = 2*b, 3*b = -v + 20. Solve -x - 2*c - 6 = -z*x, -5*c = -4*x + v for x.
1
Let a = -12 + 30. Suppose 4*i - 2*w - a = -0*w, 0 = 5*i - w - 18. Solve -3*b - b = i*j - 18, -b - 5 = -4*j for j.
2
Let y(m) = -m**2 + 9*m - 5. Let s be y(8). Suppose -s*q = -5*f + 14, 0*q + 10 = -q + 3*f. Solve t - 4 = 0, 5*t = -q*h - 3*h for h.
-4
Let w = -4 - -6. Suppose -w*x = 2*x. Suppose x = -h - 0*h + 4*l - 10, -5*h + 5*l = 5. Solve h*g - 2*p - 2 = 0, -2*p = -3*g - g + 10 for g.
4
Let l = -57 + 171. Suppose 5*b - l = -19. Solve s - 13 = -2*c - 3*c, 0 = 2*s - 5*c + b for s.
-2
Suppose -5*t - 2*r + 92 = 2*r, 0 = 4*t - r - 61. Let m be 24/t*20/6. Suppose 8 = m*x - 7. Solve -9 = 3*y - 2*z + 2, x*z - 17 = 5*y for y.
-1
Let u = 37 + -35. Solve -u*w = -7*w + 10, k + 5*w = 15 for k.
5
Suppose -h = -g - 4*h + 15, 0 = -2*g - 2*h + 18. Suppose -j = q + 2 + 3, 3*j = -9. Let c be q/3*(-8 + 5). Solve -4*d = 5*i - 23, -d = -c*i + g*i - 14 for d.
2
Let k be (-13)/(-4) - (-2)/(-8). Let v = -27 + 29. Solve 0 = 5*f + k*a + a - 3, -f + 3 = v*a for f.
-1
Let n be (12/6)/(3 + -1). Suppose -n = 3*l + 4*v - 14, -4*v + 1 = -l. Solve -l*z - 2 = 2*k + 8, 5*z + 18 = -4*k for z.
-2
Let x = 3 + 4. Let r(f) = 4*f. Let c be r(2). Let b = c + -5. Solve 5*z - k = 13, -3*z + x*z + 1 = -b*k for z.
2
Let y be ((-2)/(-3))/((-6)/9). Let p = y + 1. Solve -3*q + u = -9, q = -u - p - 1 for q.
2
Suppose -4*v + 16 = 0, 2*v - 3*v = s - 9. Solve -5*j - 2 = -3*c, -s*c + 0*c - 3*j = 8 for c.
-1
Suppose 3*r - 4*l + 438 = -0*l, -3*l = -3*r - 435. Let j be r/(-10) + 2/(-10). Solve -y + 3*t = j, -3*y + t - 8 = 2 for y.
-2
Let q be (-1 - -4)/(3/(-14)). Let z be 52/14 + (-4)/q. Suppose 2*k + b + 0*b = 6, z*k - 5*b - 26 = 0. Solve 2*i = -5*m - 13, -3*m - 5*i + k - 8 = 0 for m.
-3
Let t = 2 - 11. Let f = 11 + t. Solve -7 = 2*g + 5*d, g - 4*d - 5 = -f for g.
-1
Suppose -2 = -3*b + 10. Suppose -b*q = -2*j - 10, 0 = -4*q - 4*j - j + 45. Solve 3*l + 2*v - q = -4, 5*l = 3*v + 8 for l.
1
Suppose 264 - 268 = -p. Solve -p*w + 4*g + 6 = -6, 3 = -4*w - g for w.
0
Suppose 3*a = 11*a - 112. Solve 0 = -4*p + 3*q + 11, 0 = 4*p - 2*q + 4 - a for p.
2
Let h = 17 + -12. Let g be 8/3 + h/15. Suppose 0 = 4*p, -g*p - 2*p = k - 5. Solve q + 2*f + k = -2*q, -4*q = -5*f + 22 for q.
-3
Let h(o) = o**3 + 6*o**2 + 8*o + 5. Let w be h(-5). Let l(x) = -x**2 - 11*x + 2. Let u be l(w). Solve 3*t - u = 3*d, 3*t - 5*t = -d - 6 for d.
-2
Suppose 2*f - 16 = -2*f. Suppose 3*w = -4*h + 72, w - f - 22 = -2*h. Solve -5*o - 3*y = -w, 2*o - y - 12 = -o for o.
4
Let i(x) = -x**3 + 6*x**2 + x - 6. Let o be i(6). Suppose o*m + 5*m = 15. Solve -3*g = -m*s - 9, 0 = -2*s - 3*g - 17 + 1 for s.
-5
Let j(i) = i**2 - 5*i. Let p(s) = -6*s - 1. Let w be p(-1). Let c be j(w). Solve 3*n - 5*a - 15 = c, a + 3*a + 12 = 0 for n.
0
Let k be -1*8/(-12)*21. Solve v + v + 4*s = k, -s = 4*v for v.
-1
Suppose 4*d = 3*k + 24, 3*k + 6 = -6. Let i be d/(-2) - 21/(-2). Solve 2*r - 2*v = 16, 2*v + i = -v for r.
5
Let o = 1 - -5. Let k be o/(-4)*(-12)/9. Solve 5*x - 5 = k*z - 0*z, -4*z - 5 = -5*x for z.
0
Let f be 0/(-3)*(-4 - -5). Solve f = 5*h + 15, h = 5*t + 2*h + 23 for t.
-4
Suppose -r = 4*s + s + 4, -5*r + 2*s = -34. Let n be 20/30 - (-20)/r. Solve 0*h + 5*i + 35 = -5*h, -i = n*h + 13 for h.
-2
Suppose -3*w = 2*w - 10. Suppose -w*k + 34 = -0*k. Solve q + k = 2*q - 3*r, 4*q - 12 = -2*r for q.
5
Suppose -3*z + 0*z - 24 = 0. Let q = z + -37. Let r = q + 65. Solve -4*s + r = 3*j, -18 = -5*s - j - j for s.
2
Suppose o - 15 = -3*g - 2*o, -2*o = g - 10. Solve 0 = -3*t - g*t - n - 13, 0 = -4*t + n - 8 for t.
-3
Suppose 16 = -0*j - 4*j, -3*v + 3*j = -36. Solve -2*c = 2*a - 8, -v = -5*c + a - 0*a for c.
2
Let w(z) = -z - 11. Let c be w(-15). Suppose 0 = c*q - 0*q - 8. Solve -5*v + 3*t = -31, -3*v - q*t = -v - 6 for v.
5
Suppose -15 = -4*z + z. Suppose 14 = 2*i - 2*b, -6 = -3*i + 5*b + 15. Suppose i = 5*q + 2. Solve -4*t + z*w = -31, -4*t - q = 2*w - 11 for t.
4
Let s = 65 - 63. Solve 5 = -5*r - 2*h - 9, -s*r = 4*h - 4 for r.
-4
Let m be (-4)/(3 - 2 - 3). Suppose m*q + 18 = q. Let t be (8/12)/((-4)/q). Solve -t*d - 16 = d, 3*d + 12 = -5*c for c.
0
Let q = -2 + -2. Let h = 4 + q. Solve -p - k = -h*k + 3, 2*p - k + 3 = 0 for p.
-2
Let l be 426/(-18) + (-4)/(-6). Let q be 2/(-7) - l/7. Let m be q*1/3 + -1. Solve -5*f - 2*b = -b - 22, m = -5*f - 3*b + 26 for f.
4
Suppose -3*o + 0*o + 15 = 0. Solve -3*l = 3*g, 0*l - o = -l + 4*g for l.
1
Suppose 2*j = -k + 13, -5*j + 5*k = 6 - 1. Let g(l) = l - 2. Let c be g(j). Let w be -2 + 1 + (-1 - -7). Solve -3*t - 13 = 2*b, -2*b + w = -t - c for t.
-5
Let t = 1 + 2. Solve 2*h = t*z, 1 = -h - 2*h + 5*z for h.
3
Let h(n) = n + 9. Suppose 1 = 4*m + 29. Let l be h(m). Suppose g + 3 = 3*c - l*g, 5 = c + 3*g. Solve 2*w + 8 = 0, 4*u + 3*w - 2 - c = 0 for u.
4
Suppose 2*d + 8 = 4*d. Solve 0 = d*b - m - 0 - 14, -3*m - 10 = -4*b for b.
4
Let g be (-28)/(-3) - 36/(-54). Solve -v + 5 = -2*v, l = -3*v - g for l.
5
Suppose 0 = -2*u + 6*u - 12. Let t be 4/(-10)*(-15)/u. Suppose 4*d - 54 - 46 = 0. Solve -2*v + 5 = 4*a + d, 4*a + 4 = t*v for v.
-4
Suppose -4*i = i - 15. Let m = -3 + 5. Suppose m*h - 7*h + 4*n = -29, 4*n + 4 = 0. Solve 5*j + h*v = 0, -3*v + 11 = -i*j - 19 for j.
-5
Let z = -2 - 3. Let r = z + 8. Solve 2*o = -4*k + 7*k - 19, 0 = -r*k + 3*o + 21 for k.
5
Suppose 0 = -4*w - 20 - 36. Let l = 22 + w. Solve -4*t - v = -t - 13, 2*v = l for t.
3
Let u = -52 - -56. Solve v - 5 = -3*i, -2*i - u*v - 8 = -4*i for i.
2
Suppose 0 = -c - 4*c + 25. Let x be 2/(-5) - (-17)/c. Solve -4*j = -x*b - 6 - 1, 2*j = b + 5 for j.
4
Let t be 6/(-9*7/(189/(-6))). Solve 0 = -t*o + 2*f - f + 19, 3 = 3*o + 3*f for o.
5
Let z(f) = 4*f**2 - 2*f + 2. Let k be z(1). Solve -3*n - 2*n - k*c = 13, 0 = n + 2*c + 5 for n.
-1
Let p = -85 + 91. Solve -3*d - p = -3*t, 3*d - 1 = -d + t for d.
1
Let k(f) = f + 7. Let t = -2 - 3. Let j be k(t). Solve -u + 6 = j*u - c, -3*u - c + 6 = 0 for u.
2
Let m be (-1 + 15/9)*6. Let c = 0 + m. Suppose 10 = c*z - 2*z. Solve z = -3*g - x, -3*g = -g + 4*x for g.
-2
Suppose -11*n + 35 = -20. Solve 4*m + n*v = 0, 0 = 3*m + 6*v - 4*v - 7 for m.
5
Let r be (2/(-3))/(28/(-546)). Solve -4*c - 1 + r = 4*m, -5*c + 5*m + 25 = 0 for c.
4
Suppose 8*i - 3*i - 50 = 0. Let v be (-4)/(-4) + 1 + i. Let b(z) = z**3 - z**2 + 4. Let q be b(0). Solve p + a + 2 = 2*a, -q*a = -v for p.
1
Suppose -i + 6 = -0*i. Let r(w) = w + 1. Let n be r(7). Let v = n - i. Solve 0 = -v*o + 5*m - 19, 2*o - 9*m = -5*m - 14 for o.
3
Let a = -2 + 5. Sup