 13, i = -5*p - 25. Suppose -2*l + 12 = q*l. Solve -4 = 3*c - r, l*c - 5*r = c - 7 for c.
-1
Suppose 0 = 3*w - 3 - 42. Suppose s - w = -12. Solve -4*z = -2 + 22, -s*b = z - 1 for b.
2
Suppose -5*b - z + 6 = -4, -5*b - 2*z + 10 = 0. Solve 5*g - 6*g = 4*s - 4, b*g - 4 = -4*s for s.
1
Suppose i - 36 = -2*i. Suppose u - 5*u + i = 0. Solve 0 = -3*a + 3 + 3, 2*a = u*k - 5 for k.
3
Let o(u) = -u**2 + 7*u - 9. Let t be o(6). Let c be t/4*(-10 + -2). Solve 4*d + 3*h + 4 - c = 0, -2*d + 2*h = -20 for d.
5
Suppose -2 = l - 6. Suppose 2*f = f + 5*j, l*f - 38 = j. Let h = f - 6. Solve -8*k - 4*u + h = -4*k, 5*k - 3*u - 21 = 0 for k.
3
Let x = -7 - -11. Suppose -h + 165 = x*h + a, 5*h - 150 = 2*a. Solve -5*p = 5*u + 10, 5*u - 3*p + 2 = -h for u.
-5
Let v(i) be the third derivative of -i**6/120 + i**5/4 - 7*i**4/12 + 5*i**3/6 - 5*i**2. Let r be v(14). Solve 0 = -3*t - 3*m + 3, 4*m + m = -4*t + r for t.
0
Let n = 2 + -2. Suppose n*f = -f + 2. Solve f*c = -3*b + 4*b - 9, -c + 3*b - 2 = 0 for c.
-5
Let a be -3*(25/15)/(-5). Let w be ((-10)/4)/(a/(-2)). Suppose 0 = -3*t + 3, -2*r - 2*t + 24 = 2*t. Solve z + r = -2*b + 7*b, -10 = -2*z - w*b for z.
0
Suppose -6 = 3*f, 0 = 4*l + 3*f + f - 16. Let h be 4 - (l + -3) - -1. Solve -11 = -h*g + 3*n - 3, -5*g - 3*n - 22 = 0 for g.
-2
Suppose 5*m + 4 + 61 = 0. Let v = -9 - m. Let g(h) = 2*h - 1. Let n be g(5). Solve v*q = x + 1, -2*x = q + 2 + n for x.
-5
Let v be (8/(-6))/(-2)*3. Suppose -7 = -x - 4. Suppose -w = -x*w. Solve h + v*h - 6 = w, 5*h = 3*j + 25 for j.
-5
Suppose -3*j - 2*j + 70 = -5*m, 0 = -5*j + m + 54. Suppose r = -4*r + j. Let x = 8 + -3. Solve -10 = -0*n - n + 3*c, -r*n - x = -c for n.
-5
Suppose 2*s = 3*s. Suppose -4*p - 2*y + 12 = s, 10*y - 5*y + 12 = 4*p. Solve 2*f - 7*f - 3*d = -5, 2 = 2*f - p*d for f.
1
Suppose -4*a = 13 + 15. Let r be 2/24*6 + 21/(-2). Let l = a - r. Solve 0 = s - 2, 2*z - 2*s = l*s for z.
5
Let p(q) = -q**2 + 7*q - 4. Let i be p(8). Let c(d) = -d**2 - 4*d + 6. Let v be c(-6). Let m be (-26)/i - (-1)/v. Solve u - 8 = -m*f + 3*f, 3*u + 4*f = 3 for u.
5
Suppose -3*o - 4*k + 56 = 0, o - 4*o - 2*k + 58 = 0. Solve 0 = 2*s + 3*b - 12, 2*s + 3*b + 2*b - o = 0 for s.
0
Let f(x) = -x**3 - 9*x**2 - 9*x - 6. Let q be f(-8). Suppose -q*l = -7*l + 35. Solve k = 5*p - 4 - l, -2*p = -k - 2 for p.
3
Let m(g) = 2*g**3 - 2*g**2 - g - 2. Let y be m(2). Solve n = -y*j + 3, j = -n - 0 - 3 for n.
-5
Suppose -3*h = -49 - 14. Suppose 0 = -2*z - 5*z + 98. Let n = h - z. Solve 0 = 5*u + x - 18, -5*x + 10 = n*u - 2*u for u.
4
Suppose 4*c - 7 = -2*o + 5, 10 = -5*o. Suppose -c*n = n. Solve 5*i - 4*g = -5, n = -2*i - i - 5*g - 3 for i.
-1
Suppose -3*n + 7 = -2. Suppose 0 = 4*h - n*v - 68, -2*v + 2 = h - 4. Suppose 2*k = 2*a - 3*k - h, -12 = -a + 5*k. Solve 2*o = -2*f + 16, 0*f + f - o = a for f.
5
Let m be ((-5)/3 + 2)*9. Solve -5*k + m = -2*u + 16, 5*k = -3*u + 7 for u.
4
Let b = 8 + -5. Suppose b*g + g = 0. Solve -q = -g*q + 5*a + 22, -q + 2*a = -6 for q.
-2
Let d(f) = 0*f + 2*f + 0*f + 33*f**3 - 5*f**2 - 1 - 31*f**3. Let k be d(3). Solve -2*s - 4*u - k = 0, s + s - 5*u - 4 = 0 for s.
-3
Let m(j) = j**3 - 11*j**2 - 13*j + 14. Let k be m(12). Solve 2*s = -z + k*z + 5, 2*z - 11 = -3*s for s.
3
Let l be (-1)/(((-14)/40)/7). Suppose -4*j + 0*f - 3*f + l = 0, 4*f = 3*j - 40. Let w = j - 4. Solve -4*q + w*h - 4 = -0*q, -2*q + 1 = -3*h for q.
-4
Let x(z) = 4*z + 3. Let h be x(4). Solve 5*n + h + 7 = i, -4*i = -2*n - 14 for i.
1
Suppose c = j + 3*j - 13, 2*c + 18 = 4*j. Solve -4*v = j*f - 4, -2*v = f - v for f.
-2
Let n = -59 + 63. Solve -5*h = -3*q - 10, h - n = -h + q for h.
2
Suppose -16*s = 3 - 35. Solve -23 = 2*g - 2*m - 3*m, s*m - 10 = 0 for g.
1
Suppose -u - h = -5*u + 8, 0 = -u - 5*h + 2. Let k = u - 2. Solve 6*n - n + 2*b = 27, k = n - b - 4 for n.
5
Suppose -2*t - 2 = -12. Solve 3*k + t*i = 0, k - i + 7 = -1 for k.
-5
Let w = 27 - 23. Solve o + 0*o - 3*c = -17, -2*o - w*c = -16 for o.
-2
Let f be (-5)/3*(-3 - 0). Let c be 0/(-1*1/(-1)). Suppose -u + f*u = c. Solve -v + 5*i + 20 = u, -v + 2*i = -2*v - 15 for v.
-5
Let l = -7 + 9. Suppose 2*c = 2*y - 44, 3*y - 26 = 2*y + l*c. Solve 2*o + 0*o + 2*g = y, -19 = -3*o - g for o.
5
Suppose g - 2 = -f + 6, 20 = 4*g. Let o be 2 - ((2 - 3) + -1). Solve -q - 5*l = -3*l + 12, 0 = -o*q - f*l - 23 for q.
-2
Let g = 22 - 18. Suppose v - 6*v - g*l = -2, 2*v - 14 = 5*l. Solve h - v = 2*t - 8, -4*h - 12 = -2*t for t.
2
Let x = 33 + -29. Solve -4*s - 7 = -f, 2*s = 2*f - 0*f + x for s.
-3
Let o = 7 - 5. Solve j + 2*j = o*d - 9, -4*j - 11 = -3*d for d.
-3
Let u = 5 - 18. Let m = u + 15. Solve -27 = -5*o + 2*w + m*w, 0 = 2*w + 6 for o.
3
Suppose 6*t + 2 = 2. Solve -5*p + 3*p - 5*y + 25 = t, -p + 3*y = 4 for p.
5
Suppose 3 = 2*y - 1. Solve 2*u + y*z + 4 = 0, 3*u + 14 = -u + 2*z for u.
-3
Let q be 3/(-5 + 178/35). Solve -3*t + 15 = 0, 4 = -3*b - 5*t + q for b.
2
Let t(w) = -w**3 - 4*w**2 - 3*w - 6. Let n be t(-4). Suppose n*b = 2*b. Solve 5*u + 20 = b, -2*r - 3*r - u + 21 = 0 for r.
5
Suppose -2*m = -4*x + 18, 2*x - 5*m = x + 9. Solve x*u - 8 = -3*t + t, u + 4*t - 16 = 0 for u.
0
Let u be -2*(-4)/(-8)*-5. Solve z - 3 = u*y, 9 = 5*z - 2*z for y.
0
Let g(c) = c**2 - 7*c - 5. Let w be g(8). Suppose i - 17 = -d, 18 = 5*d + w. Suppose 1 + i = 5*o. Solve -o*k = 2*b - 11, b = -5*k + 3*b - 3 for k.
1
Let b(y) = -3*y**2 + 17*y - 8. Let u be b(5). Solve 0 = u*a, -3*i = 2*a - 1 - 2 for i.
1
Suppose 4*m + 11 = -t, 6*m + 20 = 2*m. Let v = 14 - t. Solve 2*h - 2*o + 0*o + 10 = 0, v*o = -h + 7 for h.
-3
Suppose 13*x - 85 = -4*x. Solve -15 = 3*i - 2*d + 3, x*d - 7 = -2*i for i.
-4
Suppose -3*u = k - 9, 2*k - k + 23 = 5*u. Suppose -r + u = r. Let a be (r/(-4))/(2/(-8)). Solve 4*d - 9 = -a*t + 3*t, 5*d - 8 = -2*t for t.
-1
Let g(a) = a**2 + 14*a + 18. Let u be g(-12). Let v be u/(8/(-4)) - -1. Suppose -5*n + n = -20. Solve -3*c = s - 9, 5 = c + n*s - v*s for c.
2
Let p(j) = j**2 - 3*j - 1. Let i be p(-1). Let v(b) = b**3 - 4*b**2 + 4*b - 3. Let d be v(3). Solve d = s + 4*s + 2*x + 11, -2*s = i*x for s.
-3
Let w be (-624)/(-44) - (-6)/(-33). Suppose 26 = 4*v + 2*p + 3*p, p + w = 4*v. Solve -3*y - v = 2*r + 3, 3*y + 11 = -r for r.
4
Let i = -20 + 29. Suppose 0 = 5*g + 3*r - i, 2*g + 2*g + 9 = 3*r. Solve 4*z - 12 = -2*y, g = 3*y - 0*z + 3*z - 3 for y.
-4
Suppose -5*g + 8 - 48 = 0. Let d(q) = -q**3 - 8*q**2 - q - 4. Let j be d(g). Solve -6 - 5 = 3*i + 4*z, -2*i - j = 2*z for i.
3
Let w be (-10)/(-1*(0 + 2)). Solve -5*g - 5 = -w*r, 0*r + 3*r - 5*g = -3 for r.
4
Let w = 17 - 19. Let k = 2 - w. Solve 2*o = -5*d - 1, k*d - 13 = 2*o + o for o.
-3
Let q(i) = 3*i - 5. Let g be q(7). Let j(r) = 4*r - 14 + 4 - 6*r. Let u be j(-7). Solve 0*p = d + p, -u*p = g for d.
4
Let n(d) = d + 3. Let x be n(5). Solve 3*c - x = -2*k + c, -5*k = -5*c - 30 for k.
5
Let j be (-3)/(-2) - (-8)/16. Solve -c + j*y + 0 = -4, -4*c - 2*y - 4 = 0 for c.
0
Suppose -2*s = -s. Let a be ((-4)/10)/(1/5). Let b = s - a. Solve g = 3*y, -3 - 3 = b*g for y.
-1
Let n(q) = 3*q**3 - q**2 - q + 1. Let y be n(1). Solve 3*m = 3*l + 3, -4*l - 5 = l + y*m for l.
-1
Let z(l) = l**3 + 9*l**2 + 5. Let r be z(-9). Let g = r - 2. Solve 0 = 5*v + 3*a - 2, -21 = g*v - 4*a + 1 for v.
-2
Suppose -16 = -30*s + 26*s. Solve 13 = 4*g + r, -s*r - 6 = -5*g + 5 for g.
3
Let h(x) = -x**3 + 17*x**2 - 12*x - 35. Let j be h(16). Solve -v + 17 = 5*p - 2*p, -5*p - 2*v = -j for p.
5
Let z(l) = l**3 - 4*l**2 + l + 5. Let j be z(4). Let u = -4 + j. Solve -c = 5*b + 1, -c - 2 = -u*b + c for b.
0
Suppose -8 = -7*m + 3*m. Solve -m*w + g = -6, 2*w - 4*g - 17 = -5 for w.
2
Suppose 3*o = -d + 4, o - 4 = 3*d + 2*o. Let h = d - -5. Solve 27 = -h*r + 7*l - 3*l, 3*l = 9 for r.
-5
Let o(t) = t**2 + t - 5. Let m be o(-4). Let p = m - 4. Suppose -5*x + 57 = 2*s, -3*s + 74 = s + 2*x. Solve 2*n + p*a + 8 = n, -n - 5*a = s for n.
4
Let m = 12 + -11. Solve -5*w = d - 4 + 10, -m = 4*w - 3*d for w.
-1
Let j be -9 + -1 + 4/2. Let t be j*(-1 - (-3 - -1)). Let w be (-1)/4 - 74/t. Solve -2*v - w = -k, 3*k + 3*v = 7*k - 16 for k.
1
Let n = 22 + -18. Solve 2*t + 10 = n*r, t + 2*r = -2*t + 1 for t.
-1
Suppose -w - w + 12 = 0. Solve 0 = -0*d + 3*d - 5*g + 22, -w = 2*d + g for d.
-4
Let f be ((-2)/(-6))/((-4)/(-12)). Let m be ((2 - 1)*1)/f. Solve 0 = h + i - 1, 0*h - m = 3*h + i for h.
-1
Suppose -f - 