6, 3*r + r = -w*h + 10. Suppose 0 = o - h - 2. Solve 3*t = -1 - o for t.
-2
Suppose 4*c + 3*s + 5 = 0, 2*c + 0*s = 5*s + 17. Solve 2 = -b + c for b.
-1
Let g(b) = -6 + 3*b**2 + 2 - 3*b + 2*b. Let u be 5 + -1 - (-2)/(-2). Let y be g(u). Solve 0 = -6*p + p - y for p.
-4
Suppose -u = -3*u - n + 6, -3*n = u - 3. Solve u = -v - 0*v for v.
-3
Suppose 4*h - 21 = -p, -3*p - 1 = h - 20. Suppose 2*k + 8 = -h*l + 32, k - 9 = -l. Suppose -5*r + 14 = -3*q, -2*q + 4 = -r + 2*q. Solve k + r = -2*j for j.
-5
Let k = -3 - -3. Let o(t) = t**3 - t**2 + t + 2. Let p be o(k). Solve 6*a - p*a = 4 for a.
1
Let k = -16 + 18. Let h be (k + -3)*3 - -3. Solve a + h - 3 = 0 for a.
3
Suppose -11*z + 60 = -z. Solve 0 = 8*l - z*l - 8 for l.
4
Let i(r) = r**2 + 4*r - 3. Let s be i(-5). Suppose 0 = -4*o + 3*o + s. Let k = -3 + 4. Solve -k + 3 = -o*p for p.
-1
Suppose 0 = 4*r + 8 - 20. Let i(j) = 2*j**2 + 2*j - 1. Let a be i(2). Suppose -r*v - v = 3*p - 42, -p + a = v. Solve 5*o - v = 2*o for o.
3
Let r(i) = -4*i - 45. Let m be r(-12). Solve m*u - 5 = 10 for u.
5
Let j(p) = p**2 - 13*p + 27. Let r be j(11). Solve r + 10 = -5*s for s.
-3
Let a(q) = -q - 1. Let m be a(-1). Suppose 2*b + 3*b - 20 = m. Solve -b = -5*y + y for y.
1
Suppose -5*q + 14 = -6. Solve 0 = -3*k - k + q for k.
1
Suppose -4 = 2*w - 0*w. Let x = 5 + w. Solve 0 = -x*l - 3 - 6 for l.
-3
Let j = 7 + -6. Let h(y) = y + 2. Let c be h(j). Solve -3 = -c*u + 3 for u.
2
Let p = -1 + 5. Suppose 6*w - 6 = p*w. Solve -6*c = -w*c - 9 for c.
3
Suppose -2*b = 3*b. Suppose v - 3 + 0 = b, 3*v - 7 = a. Solve -2*q - a*q = 20 for q.
-5
Suppose -16 = -6*c + 4*c. Suppose 3*v - c - 1 = 0. Solve h + v = -0*h for h.
-3
Let q be (0 - -45)/(-3 - -4). Suppose q = 4*i + 17. Solve 2*v + i = -3 for v.
-5
Let x be ((-3)/9)/(6/(-36)). Solve 1 - 11 = x*i for i.
-5
Suppose p = -5*p + 5*p. Solve p*c = c for c.
0
Let z = -1 + 31. Let i(r) = r**3 - 4*r**2 - 5*r + 7. Let v be i(5). Let s be 4/(-14) + z/v. Solve s*a - 5 = -25 for a.
-5
Let r(o) = o + 7. Let w be r(-5). Suppose 3*b = w*c - 8 + 19, -4*b = -4*c - 16. Solve 0*s - 12 = b*s for s.
-4
Let j(b) = b**3 - b**2 - b + 1. Let w be j(2). Solve 0 = -4*k - w - 17 for k.
-5
Suppose -5*y + 5*j - 15 = 0, -2*y + 5 = -y - 5*j. Let d = -3 - y. Solve 10 = 4*x - d*x for x.
5
Suppose 0 = i + i. Suppose -f = 4*c - i*c - 3, 4*c + 4*f + 12 = 0. Solve -4*u - c = -3*u for u.
-2
Suppose -a + 30 = a. Solve 0*i = 3*i - a for i.
5
Suppose -4*v = 2*t + 10, -5*t + v - 2*v = 7. Let k be (t/2)/((-3)/18). Solve 4*h - k = 1 for h.
1
Let a be 32/14 - 22/77. Let z be -1 - -6 - (a + -2). Suppose -z*l - 4 + 24 = 0. Solve -l*h = h + 10 for h.
-2
Let h(b) = 3*b - 9. Let m be h(6). Suppose 40 = 3*u + 4*v + 102, v = 4. Let w = -15 - u. Solve w + m = -5*d for d.
-4
Suppose 3*r = 6*r - 9. Suppose 0 = -5*f - r - 12, 4*g - 4*f - 112 = 0. Solve 4*x + x = g for x.
5
Let k be (-2)/(((-2)/23)/1). Suppose 3*g + 3 = 36. Let b = k - g. Solve 0*x = -4*x - b for x.
-3
Suppose 2*i = 4*i + 5*u - 24, -3*u = -i - 10. Suppose -i*a - 26 = -5*j - 6, 15 = 5*j - 3*a. Solve -2*m + 0*m = j for m.
-3
Let i be (-8)/((-3)/3) + 2. Suppose 14 = k + i. Solve 3 = k*c + 7 for c.
-1
Suppose -3*u - 47 = 2*n - 7*n, -4*u + 14 = n. Let q = 17 - n. Solve q*h = 2*h for h.
0
Let x be (2/4)/(1/10). Suppose 3*l + 14 = 4*p - 8, -x*l = -5*p + 30. Solve p*t - 23 = -3 for t.
5
Suppose 4*b + 2*h - 24 = 4*h, b = 2*h + 9. Solve 0 = -0*p + b*p - 15 for p.
3
Let w(k) = -k**3 - 7*k**2 - 3*k + 1. Let x be w(-7). Let c(v) = -v**2 - 7*v + 2. Let y be c(-8). Let g = y + x. Solve -a - g = -5*a for a.
4
Let y = 69 + -61. Solve 2*d + y = -0 for d.
-4
Suppose 0*i + 5*i - 20 = 0. Solve 0 = -i*v + 9 - 1 for v.
2
Suppose 4*k + 20 = 8*k. Solve k + 5 = 5*u for u.
2
Suppose 3*a - 9 = 36. Let s(f) = f**3 - 9*f**2 - 12*f - 6. Let j be s(10). Let u be 6/a + j/(-10). Solve 4*q = 23 - u for q.
5
Suppose -24 = 3*t - t. Let i = t - -17. Let u(w) = -w**2 + 6*w - 1. Let k be u(i). Solve -y + 12 = -k*y for y.
-4
Let r = 54 + -27. Suppose 0*v + 16 = 4*w + v, 3*w - r = 3*v. Solve 0 = -3*b + w*b - 6 for b.
3
Let b = -17 + 26. Let s(x) = x**3 - 11*x**2 + x - 11. Let q be s(11). Solve -3*n - b = -q*n for n.
-3
Let f = -23 - -25. Suppose k = 2*k + h - 16, -k - f*h + 16 = 0. Solve -i + k = 3*i for i.
4
Suppose 3*k - 7 = -u, 7 = -5*k + 2*u + 37. Let h = 4 - k. Let o = 0 - h. Solve 0*t + t + 2 = o for t.
-2
Let b(o) = o**2 - 2*o. Let m be b(-1). Solve -m*h = -0*h for h.
0
Let w = 92 + -59. Suppose -r + w = -5*v, -3*r + 30 = 2*r + 2*v. Suppose 0 = -q - 3*q + r. Solve f = -f + q for f.
1
Let p(s) be the third derivative of -s**4/24 + s**3/6 + 6*s**2. Let a be p(-7). Solve a = -v - 3*v for v.
-2
Suppose 11*s - 8*s + 63 = 0. Let k = -21 - s. Solve k = -2*h + 4 + 6 for h.
5
Suppose 0 = 4*s - 4 - 16. Suppose s*l - 6 = 3*l. Suppose -2*t + 7*t - 10 = 0. Solve -l*w = t*w for w.
0
Let n = -46 + 48. Solve n*g + 16 = -2*g for g.
-4
Suppose -3*a + 10 = 2*p - a, 5*p + 2*a = 22. Suppose -p*u = -u - 5*q - 25, 3*q = -6. Solve 0*z = u*z - 5 for z.
1
Let b = 17 + -17. Solve b = -2*t - t for t.
0
Let h be (-63)/6 - 3/6. Let j = 16 + h. Let y(n) = -n**3 + 6*n**2 - 3*n - 6. Let x be y(j). Solve x*m - 7 + 15 = 0 for m.
-2
Let a = 28 + -22. Solve -i + a = -3*i for i.
-3
Let c be 1/(-4) - (-455)/28. Solve 0 = u + 3*u + c for u.
-4
Let m be 10/4 - (-3)/2. Suppose 16 = m*x, 0*t - 2*t = 3*x - 18. Solve t*g + 20 = 7*g for g.
5
Suppose -3*r + 15 = 3*h, -5*r + 3*h + 33 = -0*r. Let u = 4 - r. Let o be (0/(u - 0))/1. Solve o*f - 4 = f for f.
-4
Let c be 1/(-1 + (-30)/(-28)). Let z = 26 - c. Solve -5*r - 37 + z = 0 for r.
-5
Let h be -5*5/((-150)/12). Solve h*d + d = -6 for d.
-2
Let i(q) = -q**3 + 5*q**2 + q - 1. Let x be i(5). Let t(k) = 3*k + 0*k + x - 3*k + k. Let n be t(-3). Solve n = -5*l - 9 for l.
-2
Suppose -5 - 5 = -2*q. Suppose 0 = 2*r - w - 3 - 6, -3*r = q*w + 19. Solve 9 = -5*a + r*a for a.
-3
Suppose f + 2*u = 4, -3*f + 2*f + 5*u - 10 = 0. Let w be f - (0 - 0) - -2. Suppose p = w*p. Solve p*k = -k for k.
0
Let y(a) = a**3 + 3*a**2 - 3. Let n be y(-3). Let u be n/9 + (-20)/(-6). Suppose u*h - 3*d = -3, -4*h + 1 = -2*d - 3. Solve -h - 1 = -2*g for g.
2
Suppose 10 = 4*g - 50. Suppose -5 = -4*o + g. Suppose -5*y + 10 = -2*a, -o*y - 2*a - 7 = 3. Solve 0 = -y*i + 5*i - 25 for i.
5
Suppose 0 = -q - 126 + 136. Solve -b - q = 4*b for b.
-2
Let s be (-8)/(-5)*5/2. Solve 14 = -s*c + 2 for c.
-3
Let d(v) = v**3 - v**2 - 4*v + 4. Let x be d(3). Solve -4*a - x - 6 = 0 for a.
-4
Let b be (1/(-2))/(3/(-30)). Let u be 2/4 - 13/(-2). Let x = 13 + 0. Solve b*v - u = x for v.
4
Let p(n) be the second derivative of -n**5/20 + 11*n**4/12 - n**3/6 + 11*n**2/2 + 4*n. Let o be p(11). Solve 4*a - 12 = -o for a.
3
Suppose -l + 12 = 2*l. Solve 3*i - l = -i for i.
1
Let g = -10 + 20. Let z be (72/g)/((-3)/(-10)). Let y be (-18)/z + (-86)/(-8). Solve 0 = 3*t - t + y for t.
-5
Suppose j - 14 = -3. Let a = j - 9. Solve -w + 0 + a = 0 for w.
2
Let w = -4 + 3. Let p(r) = -12*r**3 + r. Let y be p(w). Solve 5*k + 9 = -y for k.
-4
Let d be (-1 + 1*6)*1. Suppose -5*n = p - 26 - 3, -13 = -d*n + 3*p. Suppose -2*q - n = k, 1 = 4*q + k + 6. Solve 0 = -2*f - q*f + 10 for f.
5
Let r(n) = -n**3 - 5*n**2 - n. Let t be r(-5). Suppose u + 40 = t*u. Solve -z = z + u for z.
-5
Suppose 4*k - 4 = -2*n + 2*k, 4*n - 4*k - 16 = 0. Suppose -n*x + 53 = -2*o, 0*x + 5*o + 35 = x. Solve t + x = -2*t for t.
-5
Let u(n) = n**3 + 13*n**2 + 9*n - 32. Let f be u(-12). Solve -4*b = -6*b + f for b.
2
Suppose t + 0*t = -3*l + 31, 4*t = -2*l + 34. Suppose 5*m = l + 16. Suppose 4*v = m*v. Solve -3*z + 4 - 1 = v for z.
1
Suppose 3*i + 8 = 3*c - 13, -5*c - 4*i + 17 = 0. Let n(w) = 2*w - 7. Let j be n(8). Let q be ((-64)/(-12))/(6/j). Solve c*t - t = q for t.
2
Let q = 74 - 71. Solve 6 = q*s - 0*s for s.
2
Let q(d) = d**3 + 4*d**2 + d - 2. Let n be q(-2). Let h(v) = -4*v - v**2 - 3 + v - 2 + 4. Let c be h(-2). Solve -n*r - 3 = c for r.
-1
Let l be ((-3)/3 - 0)*0. Suppose -5*o + 4*o + 5 = l. Let w = 0 - -2. Solve w*t = o*t - 15 for t.
5
Let m be 2/10 - (-4)/(-20). Let z = -2 + m. Let f be z/(-4)*(2 - -4). Solve f*j - 9 - 3 = 0 for j.
4
Suppose 0 = -3*j + 13 - 1. Solve -w - j = w for w.
-2
Let f be -5 + 3 - -4*1. Solve -2*p - f*p - 16 = 0 for p.
-4
Suppose -6*m - 20 = -16*m. Suppose 2*p + 2*v - 4 = 0