52 = -436*q. Solve w + q = 8*w for w.
3
Suppose 0 = 2*w + 4*k - 8, 5*w - 20 = -k. Suppose -2*a + 17 = 3*i, 2*a = w*i - 2 - 2. Suppose 19 = 6*y - y - s, 5*s + 35 = 5*y. Solve a*p + 1 + y = 0 for p.
-1
Let y = 34 + -6. Suppose 0 = -10*i + y - 8. Let t = -4 + 6. Solve i*r + t = -0 for r.
-1
Suppose -15 = -2*n - 5. Suppose 0 = 4*j + 3*d - 6, 6*j - j - 10 = -5*d. Solve j = i - 6*i - n for i.
-1
Let w(o) = o**3 + 6*o**2 - 8*o - 3. Let q be w(-6). Let d be 6 + (-9)/(q/10). Suppose -17 = -d*j - 9. Solve j*x = -x for x.
0
Let i be 8*6/(-12)*-3. Solve -3*j - i = -0 for j.
-4
Suppose 187 = -5*f + 16*f. Solve 5*a + f - 22 = 0 for a.
1
Let q be (7 + -6)*(0 + -10). Let u be ((-24)/q)/(12/(-80)). Let g = 24 + u. Solve -4*k + g = -12 for k.
5
Suppose -3*x + 2*x = -4. Let i be (4/6)/(4/90). Solve -x*b + 7*b - i = 0 for b.
5
Let n(c) = c**3 - 14*c**2 + 14*c - 7. Let r be n(13). Let d be 8/((7/21)/(1/r)). Solve -d*b - 3 = -5*b for b.
3
Suppose 10 - 2 = 3*r + f, -2*r + 10 = 3*f. Suppose 17*a = 12*a. Solve -r = i - a for i.
-2
Let r be (-7 + 5)/2*-8. Solve -r = 3*q - 11*q for q.
1
Let a = 66 - 33. Let k(t) = t**3 + 5*t**2 - 2*t - 6. Let r be k(-4). Let z = a - r. Solve 3*y = -2*y - z for y.
-3
Suppose y - 3 = s, -s - 2 = y - 5. Let m be (26/65)/(s - (-1)/20). Let v = -2 + 2. Solve 5*c + 7 + m = v for c.
-3
Let q be (1 - -3) + -2 + 1 + -2. Let n be q*-1*(16 + -16). Solve 2*y - 7 - 3 = n for y.
5
Suppose 3*w + 3*f = f + 18, -27 = -3*w - 5*f. Solve 3*c + c = w for c.
1
Suppose 0 = n - 27*v + 24*v - 14, 3*v = -2*n + 46. Let f = -5 + 11. Solve f*c - c = n for c.
4
Let y(k) = k**3 + 6*k**2 - 11*k - 10. Let r be y(-7). Let m be 8/36 + (-4)/r. Suppose n + m*n = 11. Solve 5 = 4*x - n for x.
4
Let s be (0/(-5))/5 + 1. Suppose -s = 5*q - 31. Solve 0 = 3*c - c + q for c.
-3
Let b be (120/36)/((-6)/(-27)). Solve 0 = 12*p - 7*p - b for p.
3
Let j be 4*(-4)/(0 - 4)*1. Suppose k = -3*k. Solve j*d = -k*d + 8 for d.
2
Let a(b) = -b**3 - 3*b**2 - 2*b + 3. Let q be a(-4). Let v = q - 30. Let r be (-18)/(-12) + v/2. Solve -4*t - 7 - 1 = r for t.
-2
Let h be -3*((-2)/(-3) - 2). Let z = -43 - -45. Let a be 4 + -2 + 4 - z. Solve 0 = a*g + h - 16 for g.
3
Let p(z) be the first derivative of z**4/4 + 2*z**3/3 + 2*z + 12. Let o be p(-2). Let v be -2*2/o*-2. Solve -5*b + v = -6 for b.
2
Suppose 2 = -t - 1. Let p be (-4)/((-8)/6) + t. Suppose -5*w - 3*f + 35 + 9 = p, w - 16 = -3*f. Solve 4 = w*o - 3*o for o.
1
Let g = -12 + 10. Let l = g - 1. Let a be -2 + (-1)/(l/6). Solve 9 = -3*k - a for k.
-3
Let g be (-76)/12*(4 + -7). Solve 19 - g = 6*a for a.
0
Let c(o) = o**3 + 7*o**2 - 4*o + 2. Let j be c(-7). Let u = j + -21. Solve -w + u = -4*w for w.
-3
Let f = 10 - 4. Let o(u) be the first derivative of 17*u**2/2 - 2*u - 8. Let w be o(1). Solve 0 = 3*x - f*x - w for x.
-5
Suppose 0 = f - 5, -5*j = 2*f - 15 - 15. Let d = 18 - -2. Let q be (-5 - (2 + -3)) + 108/9. Solve j*w - d = -q for w.
3
Let a = -6 + 17. Let s(p) = -p**3 + 10*p**2 + 11*p. Let l be s(a). Suppose l = b + 2*b. Solve b*u = u for u.
0
Let z = 1840 + -1826. Solve z*t - 2 = 68 for t.
5
Suppose -5*i + 125 = 5*k, 90 = 5*k - 3*i - 3. Let b = 21 - k. Suppose j + b*j = 3. Solve n = j*n - 6 for n.
3
Let n(m) = 3*m**2 + 2*m - 7*m**2 + m**2 + 1. Let d be n(1). Solve d = -3*h + 4*h for h.
0
Let v = -268 - -271. Solve 0 = 3*l + 6 - v for l.
-1
Let x = 0 - 0. Let c be x/((-1 + 9)/(-4)). Suppose 0 = -2*z - 0*z - j + 15, -4*z - j + 31 = 0. Solve c = 3*q + 7 + z for q.
-5
Suppose -35 = -5*p + i + 4*i, 0 = -p + 3*i + 5. Suppose -p*g + 0*g = -16. Solve 2*t = -g - 2 for t.
-2
Let u = -105 + 45. Let h = -55 - u. Solve -2*q + h = -q for q.
5
Suppose -4 = q - 2*l, -5*q + 24 = -0*q + l. Solve 0 = 4*f + 8 + q for f.
-3
Let k(x) = 2*x**3 - 9*x**2 + 3*x + 4. Let f be k(4). Suppose -5*m + s = -s - 5, m - 2*s + 7 = f. Solve m*b = 2*b + 1 for b.
1
Let j(d) = 5*d**3 - d. Let f = -4 - -5. Let y be j(f). Suppose -5*m + y = -4*m. Solve m*o = o for o.
0
Let r(u) be the first derivative of -u**3/6 + 7*u**2/2 + 2*u + 4. Let y(h) be the first derivative of r(h). Let q be y(-8). Solve -x + q = 2*x for x.
5
Let z be 7 - ((-5)/(-25) + 8/10). Suppose -w = 5*m - z - 12, 3*m + w = 12. Suppose 2*j + 0*j = 12. Solve -j*q = -m*q + 9 for q.
-3
Let r = 2 - 0. Suppose r*v - 25 = -3*v. Suppose 0*c + v = c. Solve 2*z - c = 5 for z.
5
Let b = -1 + 6. Suppose -27 = -b*w + 53. Let m be w/2 - (7 - 3). Solve 5 = 5*r - m*r for r.
5
Suppose -4*k - 12 = 0, -6*k - 18 = -0*f - 2*f. Solve -p + 4*p - 9 = f for p.
3
Suppose -4*d - 45*q + 49*q = -40, 3*q - 6 = 0. Solve 8*k = 12 + d for k.
3
Let k(o) = o + 15. Let v be k(6). Let s = 34 - v. Suppose 0 = -6*l + s + 5. Solve l*g - 2*g = -2 for g.
-2
Suppose 0 = 39*k - 37*k. Solve 4*m - 8*m + 12 = k for m.
3
Suppose -12 = 5*d - 7*d + 4*b, 10 = -5*b. Solve -3 = -d*l - l for l.
1
Let f = 30 + -66. Let v be f/8*(-4)/3. Let g be 1/5 - (-6)/(-30). Solve g = 3*i - 5*i + v for i.
3
Suppose 0 = -z - 3*z + 8. Suppose 0 = z*j - 0*j - 12. Let w be (-2 + j/4)*-6. Solve 3*o + w = -0*o for o.
-1
Let o(i) = -2*i + 25. Let f be o(0). Suppose -3*x - f = -8*x. Suppose z = 4*p - 6, x*p = -4*z + 1 - 4. Solve b + p = 2*b for b.
1
Let a(q) = q**2 - 18*q - 22. Let n be a(19). Let k = n - -5. Solve 0 = -0*v + v - k for v.
2
Let d = 2 - -2. Suppose -6*f = 88*f - 55 - 39. Solve d = 5*q - f for q.
1
Suppose -99*l = -76*l - 115. Solve 0 = -5*c - l*c + 30 for c.
3
Let r(u) = -16*u**3 - u**2 - 3*u - 1. Let f be r(-1). Let g(h) = h**2 - 19*h + 46. Let d be g(f). Solve d = -2*l + 4 for l.
-4
Let g be ((-9)/6)/((-1)/(-4)). Suppose -2*u + 22 = 24. Let o be u*g/(4/2). Solve o*r = -r for r.
0
Let s be ((-108)/(-8))/3*-2. Let b = s + 9. Solve 6*n - n = b for n.
0
Let j(g) = -g**3 - 6*g**2 + 5*g + 32. Let v be j(-6). Solve -v = -4*h + 10 for h.
3
Let d be (12/6)/((-1)/(-2)). Let x be (-2)/(-1) + -1 + d. Suppose -2*c = -3*v - c + 33, x*v + c = 47. Solve v = 4*f - 10 for f.
5
Suppose -5*t = -2*q, 0*q - 4*q = -3*t. Suppose q*i = 2*i - 2. Solve i = 5*p - 19 for p.
4
Suppose 4*k - 173 = -113. Solve -10*b + 5*b = -k for b.
3
Let u(a) = 3*a - 61. Let y(r) = 2*r - 31. Let b(g) = 3*u(g) - 7*y(g). Let l be b(6). Solve 10 = -l*w + 30 for w.
5
Suppose 11*o - 6*o - 60 = 0. Solve -20 = -o*z + 8*z for z.
5
Suppose 165 = -169*m + 174*m. Solve 0 = 14*i - m*i + 38 for i.
2
Suppose 5*y = 10 + 10. Suppose -5 = -5*s, q - 10 = -4*q - 5*s. Let g be (q + -31)*((-17)/5 + 3). Solve -2*i - g + y = 0 for i.
-4
Let q be 6/(-33) + 28/88*32. Solve q = 3*m + 2*m for m.
2
Let n(t) = t**2 - 4*t - 4. Let i be n(6). Suppose -g + 5*q = -13, 1 = g - 3*q - i. Suppose 4*u + 3*p = -3, 7*p + 6 = 2*u + p. Solve -f + g + 2 = u for f.
5
Let l = -12 + 12. Suppose v + 3*v = l. Suppose 3*m = -v*m. Solve m = -2*w + 5 - 13 for w.
-4
Let k be ((-6)/9)/(1/(-9)). Solve k*f - 3 = 3 for f.
1
Let j(t) = -4*t - 21. Let s be j(-6). Suppose 3*c + 4*r - 25 = -3, -s*c = 2*r - 14. Solve 4 - 12 = c*z for z.
-4
Suppose 28*m - 42 = 7*m. Solve u = -1 + m for u.
1
Let f be (-8)/(-10)*(6/(-2) + 8). Suppose -f*u - u = 0. Suppose 4*n = n + 15. Solve -n = -k - u*k for k.
5
Suppose 0 = 4*b - 4*w - 96, 7*b - 2*b + 5*w = 90. Suppose 3*d - 16 = -4*f, 3*f - 2*f - b = -5*d. Solve 0 = -2*l + f + 9 for l.
5
Let t be (-16)/(-7) + (-2)/7. Suppose t - 26 = -4*a. Suppose 3*b + 26 = 8*b - m, 0 = -3*b - 2*m + 13. Solve -a*c + 5*c = -b for c.
5
Let l(b) be the second derivative of 1/20*b**5 - 5*b**2 + 4*b + 0 - 1/3*b**3 + 1/2*b**4. Let v be l(-6). Solve 0 = v*h + h for h.
0
Let q = -11 - -24. Let c = 18 - q. Suppose 2 = -c*v + 7. Solve 2*x - v - 3 = 0 for x.
2
Let x(d) = -15*d + 30. Let p be x(2). Solve -j - 7*j = p for j.
0
Suppose -1 - 59 = -6*a. Suppose 11*u - a*u = 4. Solve 2*i - 6 = -u for i.
1
Suppose -2*n + 16 = 2*h, -3*n + 7*h + 28 = 11*h. Let s(p) = 11*p**2 - 1. Let g be s(1). Let y be 105/g + 6/(-4). Solve -y + n = k for k.
-5
Let t(i) = i**3 - 7*i**2 + 8*i - 1. Let d be t(6). Suppose -2*v + d - 3 = 0. Solve 4*n = -0*n + v for n.
1
Suppose -104 = -5*w - 4*q, w = 6*w - 3*q - 97. Let y be 1/((5 + -1)/w). Suppose -x + 1 + y = 0. Solve 2*k + x = -k for k.
-2
Let s(c) = c**3 + 15*c**2 - 58*c + 346. Let k be s(-19). Let f(w) = 2*w**2 - w - 2. Let q be f(-2). Solve k*b - q - 8 = 0 for b.
4
Suppose -2*v + 22 = -4*u, -4*v + 23*u + 20 = 21*u. Solve 3*y - 2*y = -v*y fo