 - 4 for w.
-4
Let m(h) = 6*h**2 + 2*h - 2. Let w be m(1). Let z be 11 - (2 - 1)*2. Solve w*i = 3*i - z for i.
-3
Suppose 7 = u + 13. Let d be (-3)/9 - 2/u. Solve -s - 1 - 2 = d for s.
-3
Let u = 7 + -5. Let s be (-18)/(-4)*u + 1. Solve -s = 3*x - x for x.
-5
Let t = -101 + 101. Solve t = -5*z - 8 + 28 for z.
4
Suppose -6*n + n - 7 = -p, 3*p = -3*n + 3. Solve p*a = -3*a + 5 for a.
1
Let h be (-8)/3*45/(-20). Suppose -5*m + 2*n - h*n + 4 = 0, -4*n = 3*m - 4. Solve -2*j = -m - 2 for j.
1
Let a(m) = -m**3 - 2*m**2 + 4*m - 3. Let t(r) = -r**3 - 6*r**2 - 3*r + 6. Let q be t(-5). Let h be a(q). Suppose -5*s + 16 = -9. Solve -s*n - 3 = -h for n.
2
Let u(j) = -j**2 - j - 22. Let d be u(0). Let y be d/(-4) - 1/(-2). Suppose 3*i = 5*i - y. Solve 3*q - i = -0 for q.
1
Let f(m) = -m**2 - 21*m - 14. Let s be f(-20). Let h = -1 + 1. Suppose h = -u + s*u. Solve u = -0*o + 3*o + 3 for o.
-1
Let j(c) be the second derivative of c**4/12 - 11*c**3/6 - 4*c**2 - 5*c. Let x be j(12). Solve -x*t - 2 = -3*t for t.
-2
Suppose -3*v - 13 = -4*o + 8, 0 = -5*o + 3*v + 27. Solve -o*j + 12 = -3*j for j.
4
Let v(u) = -u**3 - 4*u**2 + 3*u - 6. Let a = 8 + -13. Let t be v(a). Solve -3*i + t = 7 for i.
-1
Let f be (56/3)/(2/3) + -4. Solve -5*k = -1 - f for k.
5
Let i(n) = n**3 - 10*n**2 + 4. Let y be i(10). Suppose 36 = y*c - c. Solve -s + c = 3*s for s.
3
Let z(x) = x**3 + 5*x**2 + 2*x + 8. Let o be z(-5). Let k be 0/(o*2/(-4)). Solve d + 0 - 3 = k for d.
3
Let n = 13 + -32. Let c = -12 - n. Solve c = 2*l + 15 for l.
-4
Let s be (1/(-2))/(3/(-12)). Suppose 3*o + 5*n - 2*n - 9 = 0, 0 = o - 2*n + 3. Let y = -2 + 2. Solve -s*g - o + 5 = y for g.
2
Let f = -5 - -9. Suppose x = 2*u - 6*u - 3, -5*u - 9 = -f*x. Suppose -m - 5 = 2*b + 5, 3*m + b + 5 = 0. Solve m = -c - x for c.
-1
Suppose 3*i - 2*h - 2*h - 8 = 0, 2*i = -4*h - 8. Suppose d + 0*d - 3 = i. Solve -1 = -2*m + d for m.
2
Suppose 3*m - 15 = -6. Solve -2 = -2*t + m*t for t.
-2
Let y = -15 - -18. Solve 0 = -y*d - 9 + 3 for d.
-2
Let l(m) = -m**2 - 6*m + 11. Let o be l(-8). Let k = -10 + o. Let b = k - -23. Solve -y - y = -b for y.
4
Let x(s) = s**3 + s**2 + s. Let r(a) = -6*a**3 - 6*a**2 - a. Let m(c) = -r(c) - 4*x(c). Let u be m(2). Let h be (2/(-4))/((-3)/u). Solve -h*p + 20 = 2*p for p.
4
Suppose -5*i + 10 = -0*i. Suppose q + 5 = 5*t - 8, 0 = 2*q - t - 1. Solve -i*a - 20 = q*a for a.
-5
Let c(h) = h**2 + 3*h + 4. Let l be c(-4). Solve 3*r - l = -2 for r.
2
Let y = 2 + -1. Let m(h) = 15*h**2 - h + 1. Let l be m(y). Solve d + 2*d + l = 0 for d.
-5
Let x be 2*(-108)/8 + 3. Let j be x/(-9) + (-4)/6. Solve 0 = -4*v + 2 + j for v.
1
Suppose -4*p + 7 = 3. Let l(w) = 3*w**3 - 2*w**2 + 2*w - 1. Let y be l(p). Solve 3 = -f + y*f for f.
3
Let c(k) = -k + 6. Let p be c(10). Let w = p + 6. Solve 4*q + 2 + w = 0 for q.
-1
Let v(l) = 3*l**3 + l - 1. Let m be v(1). Let n(i) = -i**2 + 8*i + 6. Let d be n(8). Let z be 10/d + 2/6. Solve z*g = -m*g for g.
0
Let m = 104 - 101. Solve -2*s - m*s = -5 for s.
1
Suppose a + 5*m = -13, -2*a + 0*m - 5*m = 11. Solve 0 = -y + a*y for y.
0
Suppose 2*p + 0*p = 14. Let o = 0 - p. Let j(i) = -i - 7. Let v be j(o). Solve r - 5 + 4 = v for r.
1
Let f be (-1)/(-1 + (-6)/(-9)). Suppose 2*z = f*k - 31, 0 = 3*k - z - 0*z - 29. Solve 5*d + 34 = k for d.
-5
Let j(n) = n**3 + 11*n**2 + 6. Let r be j(-11). Let q be (4/r)/(2/15). Solve 0 = -q*l + 8 + 17 for l.
5
Suppose 6*y + 0 = 12. Solve y*r + 8 = -2 for r.
-5
Suppose 4*c - 19 = 9. Let u = c + -4. Solve 0 = p + u - 0 for p.
-3
Let k(p) = -p - 5. Let h be 6/(-9) + (-24)/(-9). Suppose -h*d = -z - 3*z + 30, -3*d - 3*z = 0. Let i be k(d). Solve 0*v - 4*v - 16 = i for v.
-4
Suppose s = -0*s. Let f be 1 - (1 + 1) - -6. Let x = -2 + f. Solve -x*c + s + 12 = 0 for c.
4
Let h = 13 + -9. Let o(q) = q + 3. Let m be o(h). Suppose 0 = 5*n + 3*l - 18, -l = -3*n + l + m. Solve n*w + 13 + 2 = 0 for w.
-5
Let j = 54 + -48. Solve -4*t = j + 2 for t.
-2
Suppose -3*l + 14 = 5*g, 3*g + l = 6*l + 22. Let f be 2/g + (-10)/(-4). Solve -f*n - 2*n + 10 = 0 for n.
2
Let m(y) = 7*y - 2. Let x be m(1). Suppose -h + x*p = -41, 6*h - 175 = h - 5*p. Solve -5*q = h - 11 for q.
-5
Suppose 5*w = 6*w - 5. Suppose 0 = w*j - 0*a - 4*a - 18, -3*j - 5*a - 4 = 0. Let y(c) = -5*c**3 + c**2 - c - 1. Let b be y(-1). Solve -j*v + b*v = 16 for v.
4
Let g(h) = 5*h - 2*h**2 - 3 + 7 + h**3 - 4*h**2. Let m be g(5). Suppose 0*w - 12 = -m*w. Solve 4 = w*q - 2 for q.
2
Let h = -15 - -8. Let w be 1 - (-2 - -2) - 6. Let x = w - h. Solve -7*p + x*p = 0 for p.
0
Let y be (0 - (-4 - -1)) + 1. Solve 5 + y = 3*p for p.
3
Let t be (-20 + 1)/((-2)/4). Let k = t + -4. Suppose -5*r = -6 - k. Solve -3*h = -r*h + 15 for h.
3
Let d = -5 + 7. Suppose -4*b = -2*z + 2, 4*b + 3*z + d*z = 33. Solve -3*a = -b*a - 4 for a.
4
Let c be (-1)/((-14)/4 - -3). Solve y - 4 = c*y for y.
-4
Let m be (12*(-3)/(-6))/2. Let k be (0 - 1) + 9/m. Solve k*h - 20 = -2*h for h.
5
Let s be -1 + 4 + 1 + -14. Let o be (-28)/(-35)*s/(-4). Solve -7 = o*u - 1 for u.
-3
Let i be (-2)/(-2) + (-3 - -7). Let h be (0 + 1 - 1)/(-1). Suppose h = 3*y - 4*m - 0*m - 48, 2*m = 4*y - 74. Solve 0 = -i*c - 0*c - y for c.
-4
Let h be -2 + (1 - (-3 + 2)). Let s be -1 + 2 + h + 3. Let n = -2 + s. Solve 0 = n*v + 3*v + 25 for v.
-5
Let h = -3 + 7. Let v(r) = r**3 + 11*r**2 - 13*r - 12. Let d be v(-12). Solve 2*l + d = -h for l.
-2
Let j = -25 - -21. Let o be 6/3 + (j - -4). Solve -o*v = -v - 4 for v.
4
Let c be 6 - 5/15*0. Solve 9 = 3*o - c for o.
5
Let f be (-15 - -18)*(-1 + 2). Solve 11 + 1 = -f*a for a.
-4
Let z = 4 - -1. Solve z*g - g = -4 for g.
-1
Let u = -13 - -19. Solve -2 = 2*j - u for j.
2
Suppose 3*s + 3*j = 6 + 3, -3*s + 10 = 4*j. Suppose 56 = -2*i + 9*i. Solve i = 2*q + s*q for q.
2
Let r(p) = -p**3 - 11*p**2 + 10*p - 15. Let g be r(-12). Suppose 0 = m + g - 10. Solve j - 3 = -m for j.
2
Let d = -42 + 62. Suppose -s - 4*s + d = 0. Suppose 4*q = -s*k + 24, k = -0*k + 5*q - 18. Solve 6*h = 8*h - k for h.
1
Let u = 9 - 7. Suppose -n = -1 - u. Solve -n - 5 = -4*o for o.
2
Let u(l) = -2*l**3 + l**2 + 2*l + 1. Let m be u(-1). Suppose 0 = h + 5*r + 3, 29 = 3*h - m*r - 2*r. Solve -2*i = -h*i - 15 for i.
-3
Let t be (-188)/(-12) + 1/3. Solve -5*p - 9 = t for p.
-5
Let y(q) = -q**3 - 6*q**2 + q + 7. Let a be y(-6). Solve 0 = -r + 3 - a for r.
2
Let p = -38 - -26. Let i be 0 - (0 - p - 1). Let d be 2 - 2 - -1 - i. Solve -2*u = d - 4 for u.
-4
Suppose 0 = 5*g + 5*z - 10, 0*g + 5*z + 20 = 5*g. Suppose -2*h + 5 = g*h. Solve 9 - h = -2*q for q.
-4
Let h(u) = -u**2 - 11*u + 7. Let a be h(-11). Suppose 0 = a*i - 3*i - 5*w - 42, -4*w = 3*i - 47. Suppose -7 - i = -5*v. Solve -5*q - v = 21 for q.
-5
Let g(w) = -w + 3. Let l be g(3). Solve l = 5*k - 5 - 10 for k.
3
Suppose -2*r = -5*r + 4*l, r - 4*l = 0. Suppose r = -4*o - 20, -q + o + 8 = -0. Let v = 3 + 3. Solve -q*f = -v*f for f.
0
Suppose -3*o - 6 = -3*f, 2*f + 3*f + 2*o = 38. Suppose -u - 30 = 4*u. Let i(z) = z**3 + 7*z**2 + 5*z - 2. Let y be i(u). Solve y*a + 6 = -f for a.
-3
Suppose -u - 4 = q, -u - 4 = -4*q + 3*q. Solve q = 4*b - 9 + 1 for b.
2
Let c(p) = p**2 + 6*p - 5. Suppose d - 21 = 4*d. Let l be c(d). Solve -6 = -t - l*t for t.
2
Suppose 8*v = -7*v + 30. Solve v*x = 6*x for x.
0
Suppose 0 = -5*d - 3*k + 19, 4*d + 3*k - 9 - 5 = 0. Solve d*w - 18 = 7 for w.
5
Let w = -3 - -3. Suppose -y + 4 + 3 = w. Solve -2 = -u - y for u.
-5
Let j = -52 - -25. Let t be (j/(-12))/((-6)/(-16)). Solve -v + t = 2 for v.
4
Suppose 3*l - 2 = 5*q, 0*q = -4*l - 2*q + 20. Let k = -6 - -11. Suppose -g + 1 = -2*w, 4*g - 3*w = 9 + k. Solve -g = -l*n + 7 for n.
3
Suppose 3*o + 0*o = 6. Let r = 2 - o. Solve -2*k + r*k = -4 for k.
2
Suppose -w + 3 = -2*w. Let u be 1/(w + 0)*0. Solve 5*s - s - 8 = u for s.
2
Suppose 3*z + 5*y = 37, -5*z + 0*y + 45 = 5*y. Solve -2*d - z = -6*d for d.
1
Suppose -15 = 3*s + 2*y - 7, -5*s + 2*y = -8. Suppose p - 3*z - 14 = -1, -p + z + 7 = 0. Solve s*m = p*m + 16 for m.
-4
Let f(k) = k**3 + 5*k**2 - k - 2. Let g be f(-5). Solve g = -3*z + 2*z for z.
-3
Let q be 3*(2 - (0 - -3)) + 8. Solve -3 = 2*i + q for i.
-4
Let u = -16 + 19. Suppose a + u = 2*a. Solve a = -3*m - 12 for m.
-5
Let n(b) = b**3 - b. Let j be n(1). Suppose -46 + 16 = -5*h. Solve j*i + h = -2*i for i.
-3
Suppose 2*f - 4 = 0, 2*u + 2*f + 6 = 7*u. Suppose u*h