Let y = -67 + 110. Let a = -26 + y. Let l(g) = -g - 6. Let d be l(-6). Solve -s + d*s = -4*t + a, 5*t - 28 = -s for t.
5
Suppose -t + 15 = 2*t. Let w(n) be the second derivative of -n**3/6 + 9*n**2/2 - 2*n - 5. Let a be w(t). Solve 5*z = 4*i + 11, a*z = i - 4*i + 15 for i.
1
Let p(f) = 22*f + 313. Let h be p(-14). Solve h*x - 2*v = 14, x + 2*x + v = 15 for x.
4
Suppose 4 = -6*w + 2*w + 3*g, 0 = w + 4*g + 20. Let j(l) = 2*l - 9. Let a be j(6). Let c be (-12)/a*6/w. Solve 2*i = -k, -4*k - k - 4*i + c = 0 for k.
2
Suppose -9 = -v - 6. Let r = 5 + -1. Solve 0 = -r*j - 20, -v*u + j + 2 = 3*j for u.
4
Suppose 16*d + 20 = 21*d. Suppose -t + 16 = t + 3*h, d*t + 3*h = 20. Solve 0*l - t*l - w + 3 = 0, -5*w = -3*l + 24 for l.
3
Let s be -2*1/5 + (-70)/(-175). Solve s = -3*x + r - 5, -4*x + 10 = -2*x + 2*r for x.
0
Let h be 1/(-1)*(10 + 0). Let l be 1/(-5) + (-22)/h. Solve 2*d = -l*m + 8, -4*d - m - 2 + 9 = 0 for d.
1
Let l(m) be the third derivative of m**4/24 - m**3/6 - 6*m**2. Let d be l(3). Solve 2*b - 2*n = 0, 2*n = -4*b + d*b + 4 for b.
1
Let k be (-6)/(-9)*(27 + -24). Solve -2*a - 14 = -k*n, n + 2*n - 5 = -5*a for a.
-2
Let f be ((-22)/(-5) + -2)/((-9)/(-120)). Let p be 10/(-4)*f/(-20). Solve 4*g - 3*l = -16, p*g - l + 14 + 2 = 0 for g.
-4
Suppose 2*h - 2 = -2*v, -3*v - 2*h + 8 = 2. Solve 3*w + 4*t = -4, t - 16 = v*w + 2 for w.
-4
Let p be (-21)/9 - 176/(-33). Solve 0 = p*x + 5*m + 37, 0 = -2*x + 3*x - 4*m - 16 for x.
-4
Suppose -5*u = 5, 4*g - 3*u - 11 = 8. Solve -20 = g*w, 2*q + q + w + 5 = 0 for q.
0
Let d = -14 - -19. Solve 5*j + 11 = 3*q, -d*q = -j - q + 8 for j.
-4
Let r(o) = -5*o**3 + 11*o**2 + 4*o**3 + 0*o**3 - 2*o**2. Let m be r(9). Suppose 2 = d - m*d. Solve 0 = -2*w + 4*h + h - 7, d*h = 4*w - 10 for w.
4
Suppose 0 = -0*h + 7*h + 35. Let q be ((-8)/h)/((-8)/(-20)). Solve -9 = q*s - s, 3*s - 3 = 3*j for j.
-4
Let y(h) = h**2 - 88*h + 259. Let i be y(3). Solve 0 = 3*z - 4*j - 2, 4*z - 3*j = -j - i for z.
-2
Suppose 16*f + 3 - 51 = 0. Solve 2 = 2*n + p + f, 5*n - 2*p = 11 for n.
1
Suppose 4*w + 2*d - 16 = 0, 4*d + 23 = 5*w + 5*d. Solve -j + w*j + 4 = -z, -j - 10 = -2*z for z.
4
Let w = -50 + 54. Suppose 3*a + a - r - 10 = 0, 0 = -a + r + w. Solve a*c = -v - 6, 0 = c - 4*v + 12 + 9 for c.
-5
Let c(g) = 2*g**2 - 5*g - 12. Let a be c(-5). Let h = 68 - a. Solve 2*j = -h*t + 4 - 14, 3*j = t + 2 for t.
-2
Let w = 1064 - 1064. Solve 2*u + s + 1 = w, -4*u + 18 = -4*s - 10 for u.
2
Let z(s) = 8*s - 228. Let u be z(29). Solve u*a - 2*i + 2 = 6, -2*a = 5*i - 26 for a.
3
Let d be 5 - (7 - 35/7) - -1. Solve 2*i = -n - d*n + 3, 2*n - 5*i = -22 for n.
-1
Suppose 4*d = 3*d + 3. Suppose -4*m = -2*t + 16, -m - 3 + 2 = t. Suppose 4 + 6 = 2*y. Solve -d*s = 2*s + 3*f + y, -7 = -t*s - 3*f for s.
-4
Suppose 0 = 1230*m - 1216*m - 42. Solve -15 - 7 = 2*r + 4*x, 3*x + 18 = -m*r for r.
-1
Suppose 2*s = 2*o + 16, -5*s - 8 = -3*s + 4*o. Solve -s*i - 4*v = -2 + 34, 2*v - 4 = 2*i for i.
-5
Let f be 1641/27 - (-10)/45. Suppose 5*k - j - f = j, k - 23 = -5*j. Suppose -2 = -2*x + n, n + n + 4 = 0. Solve 3*y + 2*p = -2*p, x = -4*y - p - k for y.
-4
Let b be ((-1)/(-2))/((-1)/(-4)). Let j(y) = y**3 - 100*y**2 - 192*y - 1222. Let l be j(102). Solve l*h - 28 = 5*c, 2*h + b*h = 16 for c.
-4
Let x(i) = -i**2 + 12*i + 5. Let k be x(12). Suppose 5*p - k*q = 55, 4*q + 24 = 5*p - 3*p. Let m = -10 + p. Solve 4 = s - m*s + 2*u, 0 = 2*s + 2*u - 6 for s.
2
Let m be ((-9)/45)/(2/(-30)). Solve 2*s - s = 0, -m*i + 4*s = 6 for i.
-2
Let k = 439 - 434. Solve -s + 0*s = n + 1, k*n = -4*s - 9 for n.
-5
Suppose -4*s + 60 = 11*s. Solve -5 = r - i, s*r - i = -2 - 3 for r.
0
Let r = 17 + -1. Let g = 17 - r. Solve -q + g = 0, 3*q - 25 + 6 = 4*k for k.
-4
Suppose -3*s = -2*s + 4*t + 30, -3*s - 15 = -3*t. Let i = -6 - s. Solve -4 = -4*v - 2*x - 6, i*v + 11 = -5*x for v.
1
Let u = 12 + -10. Suppose 5*p + u = 27. Suppose -5*h - 15 = 5*z - 0*z, -h + z + p = 0. Solve 3*n + 13 = -2*x, -3*x - h = -2*x - 4*n for x.
-5
Let z(j) = 6*j + 120. Let q be z(-20). Solve y = -3*a + 2*y, q = 3*a - 2*y for a.
0
Let x be (-36)/(-252)*(32 + 3). Solve 13 = 2*k + 4*z - x, -1 = -k + 2*z for k.
5
Let p = -155 + 165. Solve 5*v + 14 = 3*b - p, -3*b + 9 = 0 for v.
-3
Let s(k) = 5*k + 10. Let i be s(-2). Solve f = 3*b - 14, i = 3*b - 0*b - 9 for f.
-5
Let k(l) = l**3 - 7*l + 4. Let y be k(-4). Let o be y/((-1)/(1/(-1))). Let m = -30 - o. Solve 0*r - 2*r = -m*w + 6, 3 = 3*w + 3*r for w.
2
Let l(i) = i**3 + 18*i**2 - 20*i - 15. Let g be l(-19). Solve 5*d + g*m = -0*d - 3, m - 15 = 4*d for d.
-3
Let b be (-56)/(-35) + 4/10. Suppose 3*f = b*f. Suppose -2*o + 4 = -f*o. Solve -c + 5 + 8 = -o*s, -c + 3*s = -17 for c.
5
Suppose l - 63 = -19. Suppose -3*c = -19 - l. Solve 2*b + 7*w = 2*w + c, 2*b = 5*w - 29 for b.
-2
Let b = -400 - -402. Solve -4*f + 3 = 2*t - 1, t - b*f = -6 for t.
-2
Let a(f) = 2*f**3 - 6*f**2 + f + 1. Let o be a(3). Suppose -2*p - 3 = -2*i + 1, i = -p + o. Solve -3*s + 5*s = -3*r + 2, i*s + 8 = r for r.
2
Suppose -t = -c + 14, 2*t = -5*c + 94 - 17. Solve -3*s = 3*w - c, s - 1 - 16 = -5*w for s.
2
Let q be -3 - 1*(-10 - 8). Solve -2*n + 0*n = 3*l, q = -5*n for l.
2
Let s = 17 - 17. Suppose s = 3*g - 0*g - 12. Suppose -w = g*w - 25. Solve -16 = 2*u + w*h, -3*u + 5*h = u - 28 for u.
2
Let y(q) = 2*q - 2 + 51*q**3 - 26*q**3 - 19*q**3. Let o be y(1). Solve 2*k - 6 = -2*u - 3*u, -o = -4*u - 2*k for u.
0
Let a(m) = m**3 + 5*m**2 - 14*m. Let r be a(-7). Let w(n) = 6 + 2*n - 3*n + 5 - 4. Let q be w(r). Solve q = 3*x + i, 2*x - 4*i = -2*x + 20 for x.
3
Suppose -27 = -2*m - 3*m + j, j + 9 = 2*m. Suppose -10 = -s + m*s. Let f be -3*((-1)/(-1) + s). Solve -5*r = 4*w - 9, 6*w - 5*w + f = 4*r for r.
1
Let o(n) = 3*n - 38. Let s be o(14). Suppose -27 + 11 = -s*w. Solve -2*q - w*j - 6 = 0, -5*q - 7 = -0*q + 2*j for q.
-1
Let g(w) = -w**2 - 8*w + 28. Let j be g(-11). Let o be (j/(70/(-4)))/(4/28). Solve -i + 0*p - 8 = -o*p, 2*i + 3*p - 12 = 0 for i.
0
Let x be (3/3)/1 - -2. Suppose 4*d = 4*i + x*d - 28, i + d - 2 = 0. Solve -i*q + 2*h = -2*q + 12, -4*h - 31 = 3*q for q.
-5
Suppose -11*m + 10*m = -2*v + 2, 3*m + 3*v = 12. Solve 3*q + m*b - 6 = 0, b - 12 = 5*b for q.
4
Let j(c) = 6*c + 59. Let s be j(-10). Let v be -5 - -5 - s - -4. Solve -3*i - v = -x - 2*i, i + 4 = 0 for x.
1
Let t = 30 + 4. Suppose -32*u = -t*u + 4. Solve o + u = 3*f - 3*o, -f + 8 = -5*o for f.
-2
Suppose 139*w = 142*w - 12. Solve -3*q = 2*u + q + 4, 2*u + 4 = w*q for u.
-2
Let b be 2/(-4)*(-59 + 57). Solve -c = 5*v - 17, 3*c + b = -3*v + v for c.
-3
Suppose 0 = -5*j + 25, 16 = 3*u - 9*j + 5*j. Let b be -1*2/3*(-54)/u. Solve -b = 2*i + 2*i - 3*m, -2*i = -m + 3 for i.
-3
Suppose -2*a = -2*g - 2, 3*a - a - 1 = 3*g. Solve 0*y = -y - 2*r + 1, a*y - 2 = -r for y.
1
Let z(r) = r**2 + 15*r + 3. Let c be z(-14). Let d = c + 14. Solve b + m - 7 = 3*m, d*b - 4*m - 11 = 0 for b.
-3
Suppose u + 3*p - 21 = -u, 5*p + 60 = 3*u. Let t = -8 + u. Let y = t + -4. Solve y*a + 5*h = a, 2*h = -4*a + 16 for a.
5
Suppose 3*l + 12 - 66 = 0. Let s(r) = 12*r - 56. Let w be s(5). Suppose i = 2*i - 2, -i - l = -w*n. Solve -m - 12 = -b - 6*m, -n*b + 5*m = 0 for b.
2
Let c(x) = x**2 - 4*x - 16. Let v be 7/(-4)*(6 + -26)/5. Let d be c(v). Solve -30 = -5*p + d*m, 4*p + 0*p - 2*m = 18 for p.
3
Suppose 0 = -4*p + 5*o + 53, -3*o - 58 = -5*p - 8. Let u be 2/(-1) - (2 - p). Solve 4*w = -t - 11, -w - 17 = -5*t + u*w for t.
1
Let i(k) = 4*k**2 + k - 1. Let y be i(1). Suppose 8*c - 12 = 5*c. Suppose 3*d - 2 = c*h, 13 + 19 = 4*d + 2*h. Solve d*v - 5 = 5*v - 4*t, 0 = y*t for v.
5
Suppose 5*q - 5*j + 188 = 2*q, -60 = q - j. Let t be (36/24)/(6/q). Let i be (-1)/(t/(-4) - 4). Solve 0 = -d + 3*s + 12, -s - i = 2 for d.
0
Let f be (-54)/162 - 20/(-6). Solve 0 = -5*k - c + 18, 6 = -f*k - 2*c + 14 for k.
4
Suppose -4*m + 105 = 3*m. Let s = m - 15. Solve 4*a + 5*d = 15, -8 = -a - s*d + 3*d for a.
5
Let k be ((-6)/2)/((150/(-4))/25). Solve -4 - 2 = -5*n - d, 0 = -2*n - k*d - 4 for n.
2
Suppose -7*v - 3 = -8*v. Suppose 27 = -0*g - g + 5*m, 0 = -3*g + 3*m - 21. Let q be (1/(-1)*6)/g. Solve -3*t - j = -v*j, q*j = 4*t for t.
0
Let f(s) = s**3 + s**2 - 9*s + 1. Let u be f(-3). Solve -p = 3*k + 11, -2*k + p - u = -1 for k.
-4
Let u(l) = l**2 + 3. Let n be u(0). Let b be ((-9)/n - 3)/(-1). Let z(s) = s**2 - 5*s + 2. Let 