Suppose 0 = 2*k + 3 - 7. Solve n = -k*w - w + 6 for w.
2
Let i(w) = -w - 10. Let f be i(-8). Let z(n) = -2*n - 1. Let s be z(f). Suppose 0 = -5*j + 5*v + 10, -3*j + 3*v - 10 = -4*j. Solve -s = 5*t - j*t for t.
-3
Let q = 6 + -4. Suppose -16 = 3*z - 5*v, 0 = 2*z - 2*v + 11 + 1. Let r be (z - -3)/(1 - 3). Solve -r - q = -2*l for l.
2
Let j(y) = -y**3 + 4*y**2 + 7*y - 7. Let i be j(5). Suppose 0 = b - i - 1. Suppose 0 = 2*c + o - 7, 4*c + b*o = 13 + 3. Solve -c*q - 12 = q for q.
-3
Let n = -1 + 1. Let c be 2 + -2 + n + 0. Let q(i) = -i**2 + i + 2. Let x be q(c). Solve z + x = 2*z for z.
2
Suppose -5*g = -5*s + 65, -g = s + 3*g + 12. Solve s = -d - d for d.
-4
Suppose -5*y = 5*s - 70, 0 = 4*y + 4*s - s - 58. Let h = -10 + y. Suppose 0 = g - h*g. Solve g = -0*i - 4*i + 4 for i.
1
Let h = 5 - -3. Solve q + h = -q for q.
-4
Let o(n) = -4. Let i(q) = q - 1. Let r(h) = 2*i(h) + 2*o(h). Let z be r(7). Suppose -z*j - 2*y = -5*j + 4, 2*y + 12 = 2*j. Solve -4*v + 24 = j for v.
4
Let m be (-2)/8 - (0 - 9/4). Solve 0 = m*b - 4*b - 2 for b.
-1
Let s = -38 + 43. Solve s*g + 3 = 8 for g.
1
Let p = 12 + -7. Suppose 0 = 2*i + 8, 5*t + 0*i = -p*i + 115. Solve 4*s - t = -11 for s.
4
Let q(h) be the third derivative of h**4/8 + 3*h**3/2 - 2*h**2. Let n be q(-6). Let u = 13 + n. Solve -j = 3*j - u for j.
1
Let s(o) = -o + 7. Let j be s(-5). Suppose 0 = -4*z + 119 + 49. Let b be 12/z - j/(-7). Solve 2*v + b*v + 20 = 0 for v.
-5
Let j be -1 + (3 - 1) + 4. Solve -6*f + 7*f = j for f.
5
Let i(x) = -x**2 - 6*x - 1. Let d = -17 + 12. Let o be i(d). Suppose o*r - 15 - 5 = 0. Solve -r*v + 10 = -5 for v.
3
Suppose 65 = 3*a - 5*u, 60 = 2*a + 4*u + u. Let n be (3 + 6/(-3))*0. Solve -2*l + 7*l + a = n for l.
-5
Suppose 5*q - 4*c - 8 = 0, -2*c + 9 = c. Solve -q*p - 5 = 7 for p.
-3
Let i(t) = 3*t**2 - 1. Let p be i(1). Let g be (-2)/(-9) + 2/(-9). Solve -p = -2*m - g for m.
1
Let h(y) = -30*y - 16. Let o(f) = -6*f - 3. Let a(i) = -2*h(i) + 11*o(i). Let p be a(-1). Suppose -19 = -p*j + 1. Solve j*c = -2 - 6 for c.
-2
Let l(a) = a. Let n be l(4). Solve -n - 2 = -3*j for j.
2
Let w = 43 + -41. Solve -w*y = -y for y.
0
Suppose 4*g + 25 = -5*x - g, -4*x + 2*g = -10. Solve x*v + 5*v = 25 for v.
5
Let v = 8 - 10. Let h be (v - -7) + -3 - 2. Solve -2*z = -h*z for z.
0
Let j(r) = r**2 - 6*r + 6. Let l = 2 + 4. Let p be j(l). Solve p = -2*b - 4 for b.
-5
Suppose 3*m - 8*m + 20 = 0. Suppose -3 = m*s - 11. Let r(w) = 2*w**2 + 4*w + 3. Let a be r(-2). Solve -a = -s*v + v for v.
3
Suppose 8 = -7*v + 9*v. Solve 0 = p + v*p for p.
0
Let r(u) = -u + 3. Let d be r(0). Suppose d*n - 6*n = 0. Solve 5*w = -n*w - 25 for w.
-5
Let p(y) = -y + 2. Let r be p(-2). Suppose -5*o + 3*o = -10. Suppose -2*u + 15 = 3*w - 0*u, r*u = -o*w + 27. Solve 4*d - w*d = -5 for d.
-5
Suppose 5*g = -0*g. Solve 3*h + g = 6 for h.
2
Let m(z) = 8*z - 7. Let l be m(4). Solve l = -7*g + 2*g for g.
-5
Suppose -2*b - 24 = -5*h, -h - 2*b = -3*h + 12. Suppose -23 - 37 = -h*v. Solve -4*w = -w + v for w.
-5
Suppose -f = -13 + 8. Solve -2*j + f = -j for j.
5
Suppose -4*w - p + 23 = 0, -4*w = w - 5*p - 60. Solve -w*f = -8*f - 4 for f.
-4
Suppose -3*s = -6*s - z - 26, -5*z + 50 = -5*s. Let j(i) = -i**3 - 9*i**2 - i - 6. Let g be j(s). Solve -x + g - 8 = 0 for x.
-5
Let u = -5 - -6. Let n = 3 + u. Solve -x = -n*x for x.
0
Suppose -12 = t - 4*t. Suppose 8 - 72 = -t*d. Let u be (1 + 2 + -3)/(-2). Solve u = -5*s + s - d for s.
-4
Let j = -67 + 71. Solve -t = j*t + 20 for t.
-4
Let m = 146 - 144. Solve -d = -3 - m for d.
5
Let w = 24 + -13. Solve -5*l - w + 1 = 0 for l.
-2
Suppose c = 5*y + 6*c + 35, 7 = -2*y + 5*c. Let v be 2/((-4)/y*-1). Let q be (-5)/(-15) - 59/v. Solve 0 = 4*i - 4 + q for i.
-4
Suppose 41 = 13*y - 24. Solve -8*t = -y*t for t.
0
Let b be (-2)/(-8) - (-2)/(-8). Let x be (7/(-2))/((-1)/2). Suppose -2*z + 1 = -x. Solve -i - z = -b*i for i.
-4
Let i(s) = -s + 5. Let y be i(4). Let v be y/2*(-3 - -7). Solve 10 = -v*q - 0*q for q.
-5
Let s(r) = 2*r - 3. Let u(j) = -1. Suppose 9 = 3*a - 2*a + 3*k, 3 = 3*k. Let q(o) = a*u(o) + s(o). Let y be q(7). Solve -y*t + 27 = 2 for t.
5
Let v(a) = -a**2 + 6*a + 5. Let k be v(6). Let m = 4 - k. Let p be 2*1 - (m + 0). Solve -g = p*g for g.
0
Suppose -a - 8 = -5*a. Solve 4*k - 4 = a*k for k.
2
Let c = 0 + -2. Let m be ((3 + -3)/c)/(-2). Solve m = g - 4*g - 15 for g.
-5
Suppose 5*c - b - 18 = -3*b, 4*b + 4 = 0. Solve -c*r - 2 = -14 for r.
3
Let t be 0 - -1 - (-1)/(-1). Suppose t*o = -3*o + 15. Let j be (-48)/(-15) + (-1)/5. Solve -o - 1 = -j*u for u.
2
Let w(h) = h**3 + 9*h**2 - 11*h - 5. Let p be w(-10). Solve -13 = p*x - 38 for x.
5
Let l = -28 + 33. Solve 0 = l*j - 1 - 24 for j.
5
Let h be (0 - 0)/2 - -8. Suppose 2*v + 4*u = 4 + 2, -v = -u. Suppose 3*s + 4 = 5*a, 3*a - 5*s + 5 - v = 0. Solve -a*l - 2*l = -h for l.
2
Suppose x - 6 = -2. Let i be 25/(-9) + x/(-18). Let c = i - -4. Solve -o = -0*o - c for o.
1
Let m = -1 - -3. Solve 7*z = m*z for z.
0
Let k = 25 + -20. Suppose k*q - 4*s = -7*s - 2, 5*q = s + 14. Solve -q*i + 20 = 2*i for i.
5
Suppose 0 = -5*q - 4 - 1. Let z = q - -3. Solve -2*c + c = z for c.
-2
Let r = 28 + -20. Suppose 4*z + 0 = r. Solve 1 = h - z for h.
3
Let l(h) = -h**2 - 7*h + 9. Let d be l(-7). Let g = d + -4. Solve -2*v + 1 = -g for v.
3
Let m be 654/(-30) - 2/10. Let c = m - -32. Solve w = 6*w + c for w.
-2
Suppose -3 - 2 = -f. Solve -f*w = 26 - 6 for w.
-4
Suppose 9*h = 7*h. Solve -y + h*y = 3 for y.
-3
Suppose 11 = 4*q - 9. Solve -2*z + 11 - q = 0 for z.
3
Let k be (4/10)/((-13)/(-65)). Let q = 1 - 1. Let z be (q/((-2)/(-1)))/(-2). Solve -3*w + k*w - 1 = z for w.
-1
Suppose 0*j - 5*j = 3*j. Solve j = 3*v + 3 for v.
-1
Let k = -41 + 63. Let j = k + -6. Solve 8*f - 4*f - j = 0 for f.
4
Suppose -5*n + 2*n = -9. Solve -n = 3*t - 4*t for t.
3
Let j(k) = -2*k**3 - 3*k**2 + 3*k - 4. Let z be j(-3). Let a = -7 + z. Let v(d) = d**3 + 10*d**2 + 10*d + 10. Let f be v(-9). Solve a + f = 2*n for n.
4
Suppose 0 = 2*s - 4*v - 8, 0 = -8*v + 3*v - 10. Let w be ((-4)/(-6))/(2/6). Solve -w*l - l + 12 = s for l.
4
Let z(u) = u**3 + 4*u**2 + 2*u. Suppose -3*m = -m + 6. Let n be z(m). Solve n*c - 15 = -2*c for c.
3
Let l = -88 + 91. Solve 4 = -7*x + l*x for x.
-1
Let o(g) = g**3 + 5*g**2 + 5*g + 12. Let w be o(-4). Solve 2*x + w = 6*x for x.
2
Suppose -3*a + 68 = 4*v, 3*a + 4*v - 4 = 4*a. Let s = a - 12. Suppose 6 = -2*d + 4*d. Solve d = -s*u - 1 for u.
-1
Suppose -4*n - 2*h = -30, 2 + 3 = 2*n - h. Solve 0 = -o + 1 - n for o.
-4
Let n(o) = 2*o**2 - o - 2. Let d be n(2). Solve -y + 10 = d*y for y.
2
Suppose 4*c = 8*c - 8. Solve 0 = -0*r - c*r for r.
0
Let z = 85 - 73. Solve -3*p + 0*p = z for p.
-4
Suppose 30*g - 16 = 26*g. Solve -14 = 2*s - g for s.
-5
Let d(h) = -h**2 - 6*h - 5. Let g be d(-4). Let w = 6 - g. Solve 0 = w*l - 0*l + 3 for l.
-1
Let t = -15 - -21. Suppose -t - 4 = -2*l. Suppose h = 5*f - 3*f + 2, -52 = -l*h - 4*f. Solve -u - u = -h for u.
4
Suppose -6*u = -2*u - 128. Solve 0 = 5*m - 12 + u for m.
-4
Let c be ((-1)/2)/(9/2 - 5). Solve -c + 4 = -o for o.
-3
Let r(n) = 1. Let c(l) = -l**2 - 8*l + 8. Let g(a) = c(a) - 2*r(a). Let y be g(-8). Let x be 0 - (0 + -1 - 2). Solve 5*u = x*u - y for u.
-3
Let o(y) = -3*y. Let x be o(-2). Solve -c + 3*c = -x for c.
-3
Let x(a) = 4*a - 1. Let i be x(-1). Let b(m) = -m - 5. Let n be b(i). Solve n = 3*k - 13 - 2 for k.
5
Let t(k) = k**2 + 4*k - 2. Let q be t(-5). Suppose -14 = y + 5*d, 3*d + 3 + 27 = 3*y. Solve y*c = q*c for c.
0
Suppose -5*i - c - 3 - 4 = 0, -2*c - 4 = 0. Let s(a) = -9*a**3 + a**2 - 1. Let y be s(i). Suppose -y + 4 = -5*k. Solve 3 = -p - k for p.
-4
Let d be (-6)/9 - 38/(-3). Let m(u) = 4*u. Let x be m(0). Solve 3*b + 0*b + d = x for b.
-4
Let a = 12 - 10. Suppose -1 = -f + a. Solve -2 + 8 = f*s for s.
2
Suppose 3*p + 50 = 3*a - 2*p, 4*a - 3*p - 74 = 0. Solve a = c + 4*c for c.
4
Let n = -10 - -15. Suppose 5*w - c - 138 = 2*c, -50 = -2*w - 4*c. Suppose n*y + 2 = w. Solve b = y*b for b.
0
Suppose -5*j + 6*j + 5*p = 12, 3*j + 4*p - 14 = 0. Solve 3*l - j = 4 for l.
2
Let v = 3 + -3. Let a be (2/(-4))/(4/(-88)). Suppose -2*h - 4*y + 68 = v, -h - y + 19 = -a. Solve 0 = -4*p + h - 10 for p.
4
Suppose 0 = 5*z + 5*o - 185, -4*z - z + 5*o = -175. Suppose -4*n - z = 8. Let h = n - -26. Solve -2*y = -7*y + h for y.
3
Let w(f) =