for w.
-2
Let v(z) = -11*z - 2. Let g be v(4). Let y = -253 - -222. Let b = y - g. Solve -2*u + 7*u = b for u.
3
Let d(t) = 4*t + 11. Let y be d(-4). Let a be 58*(2 + y/2). Let j = -27 - a. Solve 0 = 2*s - j for s.
1
Suppose -i - 2*j + 7 + 3 = 0, 27 = 3*i + 5*j. Solve 19*q + i = 17*q for q.
-2
Suppose -1 = -j + 3*n, -31*j + 29*j = n - 37. Solve 7*r - j = -2 for r.
2
Suppose -w - 3 = 2*c - 1, -c = 3*w - 19. Suppose 7*t - 7 = w*t. Let h = 7 + t. Solve -5*m + h*m = 20 for m.
-4
Let l(y) = -3*y - 4. Let n be l(-3). Suppose 2*f - x = 3, 0 = -2*f + 2*x + 1 + n. Suppose -5*h - 61 = -3*g - 26, 2*g - 23 = 3*h. Solve f - g = 5*k for k.
-2
Let v = -61 - -66. Suppose 2*i + v = z + 4*i, -3*i = z - 6. Solve -z = 2*b - 5*b for b.
1
Let h = -54 - -59. Solve h*j + 25 = 5 for j.
-4
Let w = 0 - -8. Suppose w*t - 5*t = 0. Solve t = 2*d + 4 - 0 for d.
-2
Suppose -5*u + 3*u = 416. Let t = -117 - u. Suppose -5*j = -9 - t. Solve 4*a = -a + j for a.
4
Let f(r) = r**3 - 2*r**2 + 1. Let k be f(-1). Let q be k/(-2) - (-1 - 26). Let h = -25 + q. Solve -2*n - h = 5 for n.
-4
Let r(q) = -58*q + 4. Let d be r(0). Let n be (-2 - -2 - 1) + 1. Let i = 2 + n. Solve -i*w + d = -0*w for w.
2
Suppose -5*n = 4*u - 588, n + 3*n = 5*u - 776. Suppose 36 = 4*m + u. Let z = 29 + m. Solve z = 2*a - 1 + 3 for a.
-1
Let a = -4 - -102. Suppose 2*l = -12*l + a. Solve -3*q - 20 = -l*q for q.
5
Let x be 45/6 + 3/6. Suppose 4*h - x = 20. Solve -h*u + 2*u = -10 for u.
2
Suppose -5*a = 3*c - 48, 2*c + a - 16 = c. Let h be 0/(c/4)*1. Solve h = 3*b + 2*b - 20 for b.
4
Suppose 11*j - 13*j - 30 = 0. Let l(h) = -h**2 - 14*h + 11. Let m be l(j). Let n be 1 + (-12)/m*1. Solve -o - 3 = -n*o for o.
1
Suppose -142 = -138*t + 272. Solve -154*x = -157*x - t for x.
-1
Suppose -49*s + 26*s + 138 = 0. Solve 3*b = -21 + s for b.
-5
Let a be -3 - (-96 + -1 - 2). Let o = a - 95. Solve -5*b = 9 + o for b.
-2
Suppose g + 2*g + 4*q - 40 = 0, -5*g = -q - 82. Suppose -2*p - 3*r + 4 = 0, -2*p + g + 16 = -4*r. Solve p*y = 3*y for y.
0
Let v(p) = -6*p + 149. Let y be v(23). Solve y*q + 6 = 39 for q.
3
Let x(h) = -h**3 - 2*h**2 + 2. Suppose 2*g = -4*w, -2*w = -7*g + 2*g + 12. Suppose 4*b + g = -6. Let z be x(b). Solve 2*v - 16 = -z*v for v.
4
Let z = 8 + 8. Suppose 18*v = z*v + 6. Let s be ((-2)/(-4))/(v/24). Solve 2*r - 2 = s for r.
3
Suppose -5*z = 2*s - 12, 2*s + z - 4 = -0*z. Solve 6 - s = -5*t for t.
-1
Let p be 2171/(-143) - (-4)/22. Let y be (54/p)/(3/(-10)). Let z = y - 12. Solve -5*w + z*w = -10 for w.
2
Suppose -5 = -z - a, 6 - 1 = -2*z + a. Suppose 7*g - 3*g = 16. Solve -g*o + 1 + 3 = z for o.
1
Let x be (-8)/(-12)*(-15)/(-2). Suppose -x*l + 50 = 5. Let i = -9 + l. Solve 0 = 2*d - i*d + 6 for d.
-3
Suppose -13*y + 16*y + 61 = 2*c, 112 = 4*c + 4*y. Solve -19*s = -66 - c for s.
5
Let g be 3 - (6 - -3) - 4*-2. Solve g = 48*y - 49*y for y.
-2
Let d = 72 + 21. Suppose 3*f + 33 - d = 0. Let i = f + -14. Solve -2*h = h + i for h.
-2
Suppose 4*t - 31 = -n, 3*n + 16 = 4*t + 7*n. Suppose 47 = 5*q - h, 18 = 3*q - h - t. Solve -b = b - q for b.
5
Suppose -4*f + 3*f = 6. Let v = -6 - f. Solve -i + v = -1 for i.
1
Suppose 3*s + 3*x = -3, 5*s - 2*x - 4 - 19 = 0. Let u(c) = -c**3 - 8*c**2 - c. Let f be u(-8). Suppose 7*h = f*h - 2. Solve -i - h = -s*i for i.
1
Suppose 3*s - 15 = 0, l = -2*s - 0*s + 12. Suppose l*v - 37 = -29. Solve -5*c - v = -3*c for c.
-2
Suppose 0 = -2*a + 11*a - 18. Solve 0 = -6*n + 8*n + a for n.
-1
Suppose 15 = -y + 17. Suppose 2*v - 4*u - 4 = 3*v, -5 = y*v + 5*u. Solve 0 = -v*o - o - 3 for o.
-3
Let t(o) = -o**2 + 6*o + 7. Let r be t(7). Let k be 2/(-12) + (-38)/(-12). Let q = k + 0. Solve r = i - 4 + q for i.
1
Suppose 2*x = y + 11, -y - 2*x - 7 = -0*y. Let a be -1 - ((-26)/(-39))/(2/y). Solve -s + a + 1 = 0 for s.
3
Suppose 2*i + 28 = l + 4*i, 2*i = 2*l - 38. Solve q - 25 = -l for q.
3
Suppose 0 = -2*u - 2*u - 5*x - 5, -3*x = 4*u + 3. Suppose -4*v + v = u. Suppose 4*l - n = 7, 3*n = -2*l - v*l + 7. Solve 6*s - 4 = l*s for s.
1
Suppose 0 = 36*l - 55 - 53. Solve 2*s = 5*s + l for s.
-1
Let k be 17 + (2/2)/(-1) + 4. Solve -4*i + 0*i = k for i.
-5
Let h(s) = s**2 - 9*s + 7. Let t be h(8). Let a be (0/(t + 3))/(-2). Suppose 3*b - 4*k - 76 = a, 3*b + k + 14 = 70. Solve -3*y = y - b for y.
5
Suppose 17 = -13*g + 14*g. Suppose -11 = -4*i + g. Suppose 0 = -11*b + i*b. Solve -5 + b = t for t.
-5
Let m(f) = -9*f**3 - 20*f**2 - 6. Let s(z) = 4*z**3 + 10*z**2 + 3. Let l(c) = 3*m(c) + 7*s(c). Let b be l(-10). Solve b*o = 7*o - 20 for o.
5
Let o be 1/((-2)/6)*(-1088)/48. Solve o*b = 63*b for b.
0
Let z = -321 + 321. Solve 0*v + 6*v - 30 = z for v.
5
Let t(y) = 5*y**2 - 14*y + 1. Let l be t(3). Suppose 3*i - 25 = 4*h + 27, 2*i - 8 = -4*h. Solve -l*c + 0 = -i for c.
3
Let g be (-10)/((-40)/92) + -1 + -3. Solve -3*s + g = 16 for s.
1
Let g = -11 - -25. Let q = 6 - g. Let h = -1 - q. Solve -4*j - 27 = -h for j.
-5
Let f(j) = 4*j**3 + 3*j**2 + 5*j - 5. Let u(a) = -5*a**3 - 3*a**2 - 6*a + 6. Let r(p) = 6*f(p) + 5*u(p). Let q be r(3). Solve q = -2*n - 1 - 7 for n.
-4
Suppose 6*m - 90 = 48. Suppose m*i = 24*i. Solve i*g + 2 = -2*g for g.
-1
Let l(u) = -u - 3. Let h be (-8)/20 + (-39)/15. Let s be l(h). Let w be 4 - (1/(-2))/(2/4). Solve -w*v = -s*v + 25 for v.
-5
Let y(x) = -4*x + 8. Let v be y(-25). Let d = v + -105. Solve 0 = -h - d - 0 for h.
-3
Suppose 21*m - 63 - 609 = 0. Suppose -4*c + 2*c = 5*q - 12, -3*c - m = -5*q. Solve -5 = p - q for p.
-1
Suppose 0 = -3*w - 2*i + 20, -5*w + i = -3*i - 4. Solve 11*y = w*y + 7 for y.
1
Suppose -b - 5*r - 1 + 4 = 0, 0 = 4*b - 3*r - 104. Suppose 126*m + 370 = 200*m. Solve 0 = -m*f + 2 + b for f.
5
Let m = -599 - -602. Solve -6 = -m*u + 3 for u.
3
Let c(n) = 6*n - 158. Let h be c(27). Solve -h + 1 = l for l.
-3
Let z be (-8)/(-12) - (-26)/6. Let p be (2 - -1) + -6 + z. Solve 2*a + 4 = -p*a for a.
-1
Suppose -60*h + 10*h = -150. Solve h = 4*n - n for n.
1
Suppose -3*g + 0*g = -27. Suppose 0 = -g*y + 8*y + 3. Solve -x = -y*x for x.
0
Let c(k) = 5*k - 31. Let s be (2/(-6))/(3/18) + 9. Let n be c(s). Suppose 0 = -2*f + 3*f. Solve -i + n = -f*i for i.
4
Let t(l) = 2*l - 11. Let u be t(5). Let a be 6 + (1 - u)/(-2). Let o = 46 - 30. Solve a*w = w - o for w.
-4
Let f(d) = d**2 - d + 1. Let l(r) = 2*r**2 - 14*r + 25. Let o(u) = 3*f(u) - l(u). Let c be o(-13). Solve 9 + 11 = -c*t for t.
-5
Let d(v) = v**2 + 16*v + 63. Let l be d(-10). Solve l*b + 65 = -10*b for b.
-5
Suppose -5*o + 54 = -m - m, m - 48 = -5*o. Suppose -2 + 20 = 2*g - 5*q, 0 = -5*q - o. Let c be (-3)/g*56/(-14). Solve c*v - 4 = 8 for v.
4
Let u = -32 + 41. Suppose v - u = -6. Solve -z + 8 = v*z for z.
2
Let s(w) = -w**2 + 13*w - 10. Let k be s(12). Let d be ((-4)/(-3))/(k/15). Solve 0 = 5*p - d*p + 5 for p.
1
Let c be ((720/27)/16)/((-15)/(-36)). Let s(f) = f**2 - 4*f + 2. Let q be s(4). Suppose -q*d - d = 0. Solve -c*z + 2*z + 8 = d for z.
4
Let z = -2 + 8. Let t(r) be the first derivative of -r**3/3 + 17*r**2/2 - 14*r - 3. Let s be t(16). Solve s*p - z = -0 for p.
3
Let x = -29 + 27. Let i be 0/6*(-1)/x. Suppose -g - z - 1 = i, 3*g + 2*z + 0*z - 2 = 0. Solve g*q - 11 = 1 for q.
3
Let p be (-107)/(-3) + (-1)/(-3). Let f = -73 - -81. Let q be p/f - (-1)/2. Solve -q*u = -5 - 0 for u.
1
Let w(m) = 16*m - 1. Let a(t) = 30*t - 2. Let g(l) = -4*a(l) + 7*w(l). Let r be g(0). Solve 0 = -h - 0*h - r for h.
-1
Let i be ((-10)/(-4))/((-2)/(-12)). Let t be (22 - 28)/(1/((-2)/1)). Let u = t + -10. Solve -u*s - i = -5*s for s.
5
Let q = -6 - -131. Let y = q + -122. Solve 5*l - 2 = y for l.
1
Let y(x) = -x**2 - 3*x + 3. Let v be y(2). Let p = v - -12. Suppose p*c - 5 = -0. Solve -5 = 3*w + c for w.
-2
Let u(d) = d**2 - 8*d - 20. Let v be 16/(-4) - (-35)/5. Let t(q) = -q**2 + 7*q - 2. Let l be t(v). Let f be u(l). Solve f = -c - c - 4 for c.
-2
Suppose -788 = -64*r - 212. Solve -i = 12 - r for i.
-3
Let p be (2 - (2 + -7)) + (9 - 12). Let u be (2 - p)*(-4)/8. Solve -u = 4*h - 9 for h.
2
Let w be 352/(-24) - (-1)/(-3). Let o be ((-186)/w)/((-10)/(-25)). Suppose 2*z - o + 1 = 0. Solve 0 = 3*v + 2*v - z for v.
3
Let b(t) = -8*t**2 + 27*t + 22. Let c be b(4). Solve 3*h - 8 = -c for h.
2
Let d(b) = -b**2 + 4*b. Let o be d(8). Let z be 0 + o/((-8)/4). Suppose f = -4*v - 3*f + z, 2*v = -5*f - 4. Solve -2*n - 2*n - v = 0 for n.
-2
Let k = 37 - 25.