 for w.
-3
Let z(a) = a**3 - 10*a**2 + 2. Let u(g) = -4*g - 14. Let x be u(-6). Let j be z(x). Solve -j*h - 2 = -4, -3*q = -5*h + 20 for q.
-5
Suppose -5*v - 110 = -115*v. Solve y + j + 4 = 6, 2*y = -3*j + v for y.
5
Suppose 5*n - 2*x + 6*x = 66, 4*n - x - 36 = 0. Let q be (3/(-2))/((-9)/(-12)) - -7. Let z be q*(-4 - (-44)/n). Solve 4 + 4 = 2*w, 4 = z*j + 2*w for j.
-2
Suppose -4*w + 5*y = -51, -3*w - y - 30 = -6*w. Let j(v) = -v**2 + 13*v - 2. Let s be j(11). Solve -s + 5 = -4*u + 5*t, 0 = -2*u + t + w for u.
5
Let g(f) = f**2 + 10*f - 32. Let j be g(-15). Let r = -43 + j. Solve u = -5*b - 3*u - 20, r = -u for b.
-4
Let z be (36/45)/(2/5). Suppose -z*c + 8 - 2 = 0. Solve c*a = l - 2*a - 16, 0 = 2*l + a + 1 for l.
1
Suppose 4*t - 4*v = -14 + 58, 5*t = -5*v + 85. Solve -f = -5*u - 23, u = -4*u - 2*f - t for u.
-4
Let o be (-1*(12 + -5))/(-1). Solve -b = -q + 1, -5*b + 0 + o = -2*q for b.
3
Let t(v) = -808*v - 801. Let d be t(-1). Let l = -1 + 0. Let a(c) = 5*c**2 + c. Let k be a(l). Solve -5*w = -3*x + 11, -k*x - 4*w + d = 3 for x.
2
Suppose 5*h = -3*f + 3*h + 102, 4*f + 5*h - 143 = 0. Suppose c - t + 10 = -0*t, f = -2*c - 2*t. Let v = 14 + c. Solve -2*s + v + 1 = -2*y, s - 1 = 0 for y.
0
Let o be (4/8)/(-4 - 18/(-4)). Solve 4*i - o = -3*d - 3, 2*d = i + 6 for i.
-2
Suppose 5 = -2036*g + 2037*g. Solve 4*r + g*i = 17, r - 6*i + 1 = -2*i for r.
3
Let o be 4 - (1 + (2 - -16)). Let s = -11 - o. Solve 0 = -5*z + 4*k + 25, -4*k - 10 = s*z + 6 for z.
1
Suppose 5*k - 5 = 3*c, -4*k - 8 + 34 = 2*c. Solve 4*m + c*g - 2 = -1, g + 3 = 0 for m.
4
Let j be 2/11 - 2/11. Suppose j = 6*u - 9 - 21. Solve -8 = -4*l, 0 = -3*i + u*l - 13 for i.
-1
Suppose 3*v - 20 = -9*y + 4*y, y = -5*v + 26. Let n = 0 + y. Let z be (0 - 3) + n - -2. Solve z*r = -2*r + 3*b - 14, 2*r = 4*b - 16 for r.
-4
Suppose 4*u = -o + 8, 3*o + 4*u - 54 = 2*u. Let q = -34 - -34. Solve 5*x + w - o = q, 12 = 3*x - 5*w + w for x.
4
Let p(n) = -n + 10. Let b be p(5). Let u be ((-2)/(-6))/((-1)/(-3)). Let h be 4*(-4)/(-16) + u. Solve -4*f = -5*k - 14, -3*f + b = -2*f - h*k for f.
1
Suppose 72 = 11*z + 7*z. Solve 5*l - z*l + 2 = -k, -l = 3*k + 12 for k.
-5
Let r(f) = -13*f - 13 - 6*f**2 - 14 + 5*f**2 + 2*f**2. Let h be r(15). Solve 0 = g + 5*u - 2, u + 5 = -h*g - 3 for g.
-3
Let m(a) = a**3 + 5*a**2 + 6*a + 5. Let f be m(-5). Let n = f + 12. Let u = 16 + n. Solve b + u = 5*g + 1, -3*g = 0 for b.
-2
Let v(w) = w**3 - 14*w**2 + 23*w - 127. Let d be v(13). Solve 2*z = 2*y - 0*z, 4*y = -d*z + 14 for y.
2
Let c = -10 + 14. Suppose c = -2*n + 8. Let k be (-6)/1*3/6 - -8. Solve -f = -2*o + k*o - 12, n*f - 16 = -4*o for f.
0
Suppose 2*f + 0*c - 62 = -4*c, -3*c = -12. Suppose s = -2*s + 81. Solve 6 = -q - 3*u + f, -q - 5*u + s = 0 for q.
2
Let l be -2 + -31 + (5 - 3 - 2). Let x = 33 + l. Solve 4*f - 15 = -n, 2*n + 5*f - 25 + 10 = x for n.
-5
Suppose b + 6 = o, 4*b = -0*o + 5*o - 26. Solve -2*g = 4*x + 3 - 17, 2*g - 2 = o*x for g.
3
Let u(c) = c**3 + 17*c**2 + 59*c - 10. Let z be u(-12). Solve -4*d + 3*j + 3 = 0, -d - 1 = -2*j + z for d.
3
Suppose 2*q - 4*q - 7*q = 0. Solve -4*s + 3*m - 27 = q, 4*s + 0*s = -2*m - 2 for s.
-3
Let v(k) = k + 4. Let j be v(-5). Suppose 3*s - 2*y + 52 + 2 = 0, 49 = -4*s - 5*y. Let w be (-88)/s*(j - -3). Solve q = -4*g + 17, -q + w = -2*q + 3*g for q.
1
Suppose -t - 3*t = -8. Suppose -4 = -t*c + 6. Suppose -2 = 3*z - h - 9, -5 = -5*z - c*h. Solve -5*s + z*b - 13 = 0, -2*b - b = -12 for s.
-1
Let b be (-1)/(-1 + (-63)/(-66)). Let z = b - 2. Suppose 3*a = -5*u - 2*a - 25, 0 = 2*u + 4*a + z. Solve 0 = 2*l + 5*q - 11, -4*q + u = -4 for l.
3
Let b be 34 + -41 - -1*19. Solve -5*s = 4*h + b + 8, 4*s + 16 = -4*h for s.
-4
Let r(l) = -l**3 + 11*l**2 + 27*l - 8. Let o be r(13). Solve -19 = 3*p - x, -p - o = 4*p + 5*x for p.
-5
Let q be 2/((-8)/(-23)) + (-3)/4. Solve g + 11 = 3*v, -q*v - 6*g = -g - 5 for v.
3
Suppose 14 = -x - 3*w + 2, -3*w - 15 = 0. Solve 2*s + 12 = -x*o - 1, s + 19 = -4*o for o.
-5
Let j(r) = 5*r + 2. Let i = -77 + 78. Let g be j(i). Solve -2*s + g*s - 5*b = 0, 0 = 5*s + 3*b + 8 for s.
-1
Suppose 16*v = 15*v + 3. Let p be -2 + (-1 - v - -9). Solve 2*w = -2*z - 0*w + 2, p*z - 4*w = 3 for z.
1
Suppose 0 = -4*t + 2*g, 133 - 135 = t - g. Solve 0 = -3*f + v + 9, 2*f = -t*f + 5*v + 1 for f.
4
Suppose z - 43 - 21 = 0. Let m be 6/27 - z/(-36). Solve m*u - 3*k = 11, 4*k - k + 21 = -3*u for u.
-2
Let b be (7*1)/(1188/90 - 13). Suppose 5*x = -2 + 12. Suppose 4*l + 3*w - 4*w - 16 = 0, 4*l + x*w - 4 = 0. Solve v + 0*v = 4, -5*v + b = l*p for p.
5
Let b(j) = j**2 + 9*j + 8. Let a = -10 - -2. Let q be b(a). Suppose q = 5*f - 2*f - 33. Solve 0 = 3*p - 4*x - f, -5*p = -5*x - 17 - 3 for p.
5
Let x(b) = 3*b + 52. Let o be x(-12). Solve 2*j - 5*m - 17 = 0, 0 = -j + m + 3*m + o for j.
-4
Let h = -3 + 14. Let t = -6 + h. Let q = 12595 - 12593. Solve -q*r + 1 + 3 = -u, 3*u = -t*r + 32 for r.
4
Let g be (-3)/(-15) - (-2967)/115. Solve -5*w - 2 = 4*o - g, 0 = 2*w - o - 7 for w.
4
Suppose -8*l = -l + 12*l. Let j be (-3)/(-1 + (-2)/4). Suppose 4*y + h = 45, -j*h - 10 = -4*h. Solve -5*x - 25 = -2*m, 0 = 3*m - 2*x - l*x - y for m.
0
Suppose 30*a = 34*a - 20. Suppose a*n - 4*h = h + 110, -4*h = 2*n - 62. Solve 3*v - n = -4*s, 0*v - 2*v - 5*s = -26 for v.
3
Let b = -34 + 36. Suppose -25 = -b*n + 7. Solve 0 = 5*h + 3*a - n, 5*h + 5*a - 16 = 2*h for h.
2
Suppose y + 25 = 5*y + 5*c, c - 5 = 3*y. Suppose y = -h - 13 + 15. Solve x - 4*o + 17 = 0, -10 = -0*x + h*x - 2*o for x.
-1
Suppose 5*p - 20 = -0. Let b(c) = c**2 - 16*c + 19. Let x be 9/((-27)/(-42)) - -1. Let q be b(x). Solve -o - 3*o - w = -7, q*o + p*w = 16 for o.
1
Suppose -3*x + 51 = 2*i - 2, x = -4*i + 31. Let k = x - -5. Let z = 125 - 120. Solve 5*b - a = k, 2*a = b + 1 - z for b.
4
Suppose 5*q = 2*m + 11, 5*m - 18 = 2*q - 14. Solve 5*v = -5*b - 5, 0*v = -m*b + 3*v + 23 for b.
4
Suppose w + 94 = 5*o, -304 = 4*w + 4*o - 6*o. Let z be w/(-12) - 3/18 - 2. Solve 22 = 2*f - 5*q, -20 = -z*f - 0*q + 4*q for f.
1
Let p be 264/15 + (-15)/25. Let l = p + -28. Let t = l + 14. Solve z = 5*i + 12, 0*i - t*i - 6 = -z for i.
-3
Let g = -392 - -442. Solve 5*u - g = -5*t, 3*t - 5*t - 3*u = -25 for t.
5
Let i(c) = -18*c + 9. Let r be i(-4). Let j = -66 + r. Solve -j = -5*k, 3*n + 4 + 8 = 5*k for n.
1
Let h = 1573 - 1567. Solve h*c - 4*g - 4 = 4*c, c + 5 = -5*g for c.
0
Let p be (0 - 2/2)*-8. Suppose -4*v + 4 + p = 0. Let c = 367 - 364. Solve v*a + 2 = -2*s + 4, 3*a - 12 = c*s for a.
2
Suppose -15 = -9*x + 21. Solve 2*d - x*d = 2*f + 10, -f = -4*d - 5 for f.
-3
Let n(f) = f**2 - f + 2. Let c be n(-4). Let x = c + -25. Let h = x + 8. Solve -k - 2*k + 1 = -l, 0 = -h*k - 2*l - 13 for k.
-1
Suppose -4*j - 135 = -49*j. Solve -28 = 4*o + 4*d, 6*o - j*o + 18 = -2*d for o.
-4
Let k = -666 + 670. Solve 3*b + 4*a = -19, 4*b + 5 + 11 = k*a for b.
-5
Let p = 144 - 78. Let z = p - 65. Solve -2*i = -2*x + 2, 3*x = -i + 12 - z for x.
3
Let c be ((-52)/18)/(12/(-54)). Solve 3*b = -3*m + 6, -4*b - 3*m - 2 = -c for b.
5
Let j = 11 - 1. Suppose -5*b = j, 2*y - 5*b - 3 = 11. Suppose -f = -4*a + 12 + 8, 0 = -y*f + 8. Solve 4*u + a = 5*v, -u = u - 4*v + 6 for u.
1
Let t be 2/1*-2*-1. Let y = -699 + 704. Suppose -t = -3*q + y. Solve -21 = q*s + 5*w, 5*w + 15 = -s - 2 for s.
-2
Let o be (10/(-7))/(-14 - (-1248)/91). Solve 2*h - z = 1, o*h - z = 3*z - 2 for h.
2
Suppose -6 = -3*x, 0 = -4*n + x + 4*x - 402. Let z = 103 + n. Solve -1 = 2*s + z*b, -b = 5*s - 0*b + 14 for s.
-3
Suppose -4*d + 0 = -8. Suppose -3*v - v + 22 = 3*t, -t = -d*v + 6. Solve 4*h - h = 2*j + 11, -3*j = -v*h + 15 for j.
-1
Let w = -53 - -74. Suppose w = 3*h - 3*p - 0*p, -p = -4*h + 22. Solve z + 2*z = 3*l, h*z - 2*l = 9 for z.
3
Let r = -122 - -127. Solve r*j + 2*i - 8 = -25, -5*i = 3*j + 14 for j.
-3
Let p be 13/3 - (-28)/(-84). Suppose -4*o - 2*f + 26 = 0, -3*f + 1 = -p*o + 2. Solve b = -o, 2*a = a - b - 3 for a.
1
Let w = 13 + 0. Let l(o) = o - 1. Let h(s) = -s**2 + 12*s - 11. Let f(q) = h(q) + 2*l(q). Let m be f(w). Solve m = -4*t - r + 15, -3*t + 2*r + 15 = -r for t.
4
Suppose 0 = -3*s + 5 + 1. Suppose 4*l = s*w - 68, -2*l - 3*l - 5*w = 115. Let n = l + 23. Solve n*y = -4*i + 4, 0 = 3*y - 2*i + i - 3 for y.
1
Let b be (8/3)/(10/(-75)). Let u(p) = p**2 + p + 3. Let q be u(0). Let t be (-30)/b*4/q. Solve 18 = -2*h + 