z - 25. Let y be c(27). Let u = 2 + 0. Suppose 0 = -6*w + y*w + u*p + 22, -4*w + 4*p = -20. Solve -w = v + v for v.
-3
Let s = 1186 + -1179. Solve -40 + 12 = -s*m for m.
4
Suppose 3*w + b - 10 = 0, 3*w - 2*w - 6 = -b. Suppose 0*q = -2*q + 140. Let s = 70 - q. Solve w = t - s for t.
2
Let p be (-3)/(-4)*-2*-4. Suppose 2*b + 6 = 2*g - p*g, -3*b = -3*g + 9. Let i = -9881 + 9890. Solve -i = -3*j - g for j.
3
Let b = -11 + 13. Let s = b + -4. Let d be (10/6)/(s/(-6)). Solve 0 = d*w - 3*w - 2 for w.
1
Let n = -1809 - -1813. Solve -n*i = 6*i - 30 for i.
3
Let h be (4/6)/((-4)/(-42)). Suppose 3*t = 6*t + 5*o + h, -3*t + 3 = 3*o. Solve -t*q + 12 = -3*q for q.
4
Let k(g) = -14*g - 375. Let s be k(-27). Solve 0 = -s*z + 9 + 6 for z.
5
Let a(p) = -p**3 + 3*p**2 + 7*p - 8. Let l be a(4). Solve 3*y - l = -7 for y.
-1
Let a = 9 - 21. Let g = 14 + a. Solve 1 = g*o + 11 for o.
-5
Let h be 7 - (9/(-3) - -3). Suppose -h*o + 4*o + 9 = 0. Solve l = 2 + o for l.
5
Suppose 2*l + n + 18 = 40, 0 = -l + 5*n + 33. Solve -l*f = -5*f - 32 for f.
4
Suppose n - 81 = 5*j, 0*n + 2*n - 129 = -j. Let s = n + -65. Solve -s = -3*c - 16 for c.
-5
Suppose 2*j - 12 = -3*p - 21, 4*j + 6 = -2*p. Solve j = -n - n - 10 for n.
-5
Let h = -58 + 58. Suppose 2*m - o - 6 = h, 4*m + 3*o + 2 = -2*o. Suppose 0*j - n - 61 = -4*j, -n + 9 = j. Solve -j + 4 = -m*q for q.
5
Suppose 5*b + 5 + 0 = 0. Let i be (-2)/(-2)*b - -3. Suppose 0 = 14*g - 12*g - i. Solve x + 2 = -g for x.
-3
Suppose -40 + 10 = 5*p. Let k(d) = d + 8. Let y be k(p). Solve -y*l - 3*l = 5 for l.
-1
Let n be 5 + -8 + -2 - -1. Let c be (-4)/14 + 88/14. Let b = c + n. Solve -2*q - b*q + 4 = 0 for q.
1
Suppose 4*u + 23 - 4 = w, 3*u = 3*w - 3. Let k be (3/u)/((-8)/32). Suppose 0 = y - k*y. Solve y = -3*q + 4*q for q.
0
Suppose -9*p + 2 = -8*p. Suppose p*i - 9 = -i. Let s(c) = -c**3 + 1. Let x be s(-1). Solve i*m + x = 4*m for m.
2
Let z = -126 - -141. Solve 3*c - z = 8*c for c.
-3
Suppose 25*y + 24 = 33*y. Let g = -20 - -23. Solve 2*d = y*d - g for d.
3
Suppose -3*r = -5*y + 95, 0 = -3*r + 3*y - 60 - 33. Let s = r - -36. Solve s*l - 2*l = 0 for l.
0
Let y(w) = -6*w + 84. Let r be y(9). Solve 6 = -12*k - r for k.
-3
Suppose 2*y - r = -0*r + 6, -r = -4. Suppose 0 = -2*x + 3*x - y. Suppose 4*j + 20 = x*j. Solve -2*p = -6*p - j for p.
-5
Suppose 1 = -t, 3*t + t = p - 8. Suppose 4*q - 3*q - 6 = 4*f, 6 = p*q + 2*f. Solve q*k - k + 2 = 0 for k.
-2
Let o(l) = l**2 - 7*l. Let x be o(7). Suppose 7*i - 4*i - 27 = x. Let u = -12 + 16. Solve i*k - u*k = 0 for k.
0
Let c(y) = y**3 - y**2 - 12*y - 9. Let s be c(-5). Let l = s - -99. Solve l*q = -3*q - 15 for q.
-5
Suppose -83 = -4*f + u - 20, 0 = -3*f + 2*u + 46. Suppose -n + 5*n = f. Let g = n - 3. Solve h + g = -2 for h.
-3
Let x = -800 - -817. Solve x*k = 21*k for k.
0
Let a(g) = 4*g**2 + g. Let h be a(1). Let l(o) = 3 - 1 + o + 5 - 3. Let v be l(-4). Solve v = -3*d + 8*d + h for d.
-1
Let f be (-5 - 1)*(-16)/(-24). Let o be (-1 - (0 + -6)) + f. Suppose j = 2 + o. Solve 0 = j*g - g for g.
0
Let a be (2/(-4))/((-5)/20). Let y = 0 - a. Let w be y - (-2 - (-6)/(-3)). Solve 0 = 3*f + w*f for f.
0
Let g = -1 + 1. Suppose -2 = -2*i - 4*r + 18, g = -3*i - 2*r + 34. Suppose -3*b + 0*b + i = 0. Solve -z = -0 - b for z.
4
Suppose 3 = -2*d + 7. Suppose 4 = d*b + 2. Suppose -2*u - 2*t + b = -t, -3*u + 19 = -2*t. Solve -8 = 5*y - u for y.
-1
Let x(u) = -u**2 - 18*u - 6. Let l be x(-18). Let f be l/(-8) + 592/64. Solve 0 = 2*c + f for c.
-5
Let v = 233 + -228. Solve -p - v*p = -24 for p.
4
Let c = -130 + 133. Suppose 0 = -2*j + 8, j + 14 = 5*t - c*t. Solve -t = -v - 8 for v.
1
Suppose 3 + 17 = 4*u. Suppose p - 4*l + 0*l - 14 = 0, 3*l = -u*p + 1. Solve h + 0*h = p for h.
2
Let j(p) = -2*p**2 - 4*p + 3. Let g be j(0). Solve g*f + 8 = -1 for f.
-3
Let o be (-32)/(-14) + -1 + (-35)/(-49). Let h = 7 - o. Solve 6*k = k + h for k.
1
Suppose 14*g = 15*g - 2*a - 5, 2*g - 10 = a. Solve g*t = -7 - 18 for t.
-5
Suppose -5*x - 16 = -4*a, 4*x = -4*a + x + 16. Let g = -7 + 27. Let s = 24 - g. Solve 0*z = -s*z - a for z.
-1
Let g(i) = -9 + 4 - i**2 - 7*i - 1. Let d be g(-5). Suppose -9*m + 35 = -d*m. Solve m*v - 2*v = 0 for v.
0
Let d = -37 + 50. Suppose d = w + 11. Let t be -1*(0 - (1 + -1)). Solve t - w = 2*b for b.
-1
Let i be 4/(-32)*4 + (-68)/(-8). Solve i*w + 18 = 26 for w.
1
Let q = 2 - 2. Suppose q = 10*k - 6*k - 64. Solve 0 = w + 3*w - k for w.
4
Let s be -5*(-2)/5 + -2. Solve 8*l - 7*l + 6*l = s for l.
0
Suppose -40*y + 472 = 19*y. Suppose -3*p + 0*p = 0. Suppose -2*b + 4*d - 2*d + 2 = 0, p = -b + 3*d - 3. Solve 0 = -b*r + y*r - 15 for r.
3
Suppose -3*k = -15, 0 = -m + 10*k - 5*k + 79. Solve -10 = 102*g - m*g for g.
5
Let j(m) = m + 1. Suppose -6*g = -32 - 10. Let d be j(g). Solve 0 = -d*o + 3*o - 25 for o.
-5
Let r = 36 + -31. Let k be (3 - (-3 + 5))*r. Solve -k = -6*z + z for z.
1
Suppose -4*r - 11 = 3*v, -2*r - 12 = -3*v + 7. Solve -o + 0 + v = 0 for o.
3
Let m(l) = -41*l - 71. Let o be m(-2). Solve o*u + 2 + 42 = 0 for u.
-4
Let v(f) = -3*f + 7. Let l(y) = -4*y + 7. Let w(i) = -2*l(i) + 3*v(i). Let q be w(3). Solve -q*h - 8 = 4 for h.
-3
Suppose -169*j + 163*j = -48. Solve 31*f - 29*f = -j for f.
-4
Let t be 46/253 - (-328)/11. Let j be (1/(-1))/((-3)/t*2). Solve -f - j = -0*f for f.
-5
Let h be (250/(-60))/(-2 - 11/(-6)). Solve -h*t = t for t.
0
Let a(q) = -4*q - 104. Let l be a(-28). Solve 2 = 2*x - l for x.
5
Let m(z) = -z**2 + z + 2. Let u be m(0). Suppose -2*a + 2*h + 0*h + 10 = 0, 14 = u*a + 2*h. Solve a*p - p = 15 for p.
3
Let j(n) be the third derivative of n**6/120 - n**5/20 + 2*n**3/3 - n**2 + 13. Let b be j(2). Solve -g + 5*g - 4 = b for g.
1
Suppose -5*x = -7*i + 3*i - 43, 0 = 2*x - 2*i - 16. Solve x - 3 = 2*y for y.
4
Let j(a) = -a**3 - 5*a**2 - 2*a + 10. Let r be (-8 + 6)/((-3)/(-6)). Let c be j(r). Solve x - c - 2 = 0 for x.
4
Let y be (2 + 8)*-1*3/(-6). Suppose 0 = y*v - 62 + 22. Solve v*l - 4*l + 8 = 0 for l.
-2
Let b(d) = d**3 - 3*d**2 + 2*d - 2. Let x be b(3). Suppose -f - x*j + 9*j = 5, 5*j = 4*f - 25. Solve f + 2 = -4*o for o.
-3
Let c(g) = -g**2 - 9*g + 16. Let w be c(-10). Suppose 4*x + x - 3*r = -w, -3*x + r - 2 = 0. Solve x = d + 2*d - 6 for d.
2
Let u(l) = l + 6. Let k be u(-5). Suppose -3*w + 9 = -2*d, 4*d - k = -4*w + 11. Solve -w*j + 6 = -9 for j.
5
Let z(w) = 4 + 2 + 3*w**2 - 2*w - 6*w - 2*w**2. Let u be z(8). Solve 2*v - u = -2 for v.
2
Suppose 2*z + 5*x + 12 = -3, -z + x = -3. Let s be 4 - (-2)/(-4)*z. Let g be s/(-10) - 243/(-45). Solve 0*q = g*q + 25 for q.
-5
Suppose 6 = 3*h + 3*o - 4*o, o = 0. Suppose 4*x + 7 = -i + h*x, 5 = -x. Solve -i = 2*p + p for p.
-1
Suppose 0*x = 2*x - 18. Let c be 0/(-2)*(855/(-76) - -11). Solve 3*a = -c + x for a.
3
Let v be -9*4*(-2)/6. Suppose 5*m - v = 13. Suppose 5*j + 2 - 77 = 0. Solve 0 = 2*o - m*o + j for o.
5
Let m = -19 - 30. Let o be (-16)/20 + m/(-5). Let f be o/(-12) + 23/4. Solve 3*n - 4 = f for n.
3
Let b = 3 - 12. Let l = -7 - b. Suppose -l*v - 4*v + 24 = 0. Solve 2*x + v + 4 = 0 for x.
-4
Suppose 14 + 1 = -5*w. Let f(d) = d**2 + 2. Let o be f(w). Suppose q + 0*q = k + 1, 4*k - o = -q. Solve 6 = 2*s - k for s.
4
Let h be 12*(4 - (4 + 1)). Let w be h/(-21) + (-17)/(-7). Solve -1 + w = -2*u for u.
-1
Suppose 5*l = 9*l + 8*l. Solve l = 6*d + 7 + 11 for d.
-3
Let u be 30/50 + (-714)/(-35). Solve -o - 22 = u*o for o.
-1
Let a = -1518 + 1560. Solve -a*n - 1 = -43*n for n.
1
Let r be (-2 - (-6)/4)/(6/(-24)). Suppose r*x = 6*x + 9*x. Solve 2*c + 8 = -x for c.
-4
Let t(b) = -b - 1. Let c be t(-3). Let a = c - -6. Solve -5*m = -3*m - a for m.
4
Let v(r) = 3*r**2 + 7*r + 6. Let w be v(-1). Solve 0 = 4*i + 6 + w for i.
-2
Let t be (-1)/(-3 - (-60)/9 - 4). Solve t*r - r - 4 = 0 for r.
2
Suppose -6 + 2 = -2*j. Suppose u + 3*u + 20 = -3*s, -j*u = 4*s + 10. Solve t + s = 4 for t.
4
Let p be (3 - 10/4)*-8. Let m be (-2 + (p - -4))*-2. Suppose 5*h - 24 = o, o - 21 = -m*h - 0. Solve -z + 1 - h = 0 for z.
-4
Let g be (-8)/6*6/24*-3. Let k(q) = -5*q + 7. Let o be k(g). Solve 1 + 5 = o*w for w.
3
Suppose 0 = 2*u - 1 - 1. Let z be (72/16*-1 + 7)*2. Solve z = 4*b + u for b.
1
Let t = 29 + -24. Suppose -6*c + t*c = 0. Solve -5*q + c = 5 for q.
-1
Let i = -359 - -365. Solve 0 = -i*z - 18 for z.
-3
Let s be (6/(-27) - -3) + (-10)/(-45). Solve s - 4 = z for z.