pose 2 = -3*j + 5*l - 6, -5*j + 5*l = 0. Suppose -j*k + 7*k = -i - 6, -i = -k + 2. Let q be 5 + (i - -1) + 1. Solve -4*c + 3*c = 1, 0 = u + q*c + 5 for u.
-1
Let m(n) = -4*n + 25. Let q be m(7). Let d be q + -1 + (1 - -6). Solve 0 = -g - 4*o + 17, 5*g - d*o + 3 = -4 for g.
1
Let a be ((-56)/20)/((-3)/105). Suppose -a = -7*f - 0*f. Suppose 3*u - 12 = -0. Solve -5*x - f = -3*j - u, -j = x + 10 for j.
-5
Let c = -4 - -8. Let a be 3/6*4 + 3. Suppose 0 = -v + a*v - 20. Solve 2*m = -c, -v*k + 12 = m + 39 for k.
-5
Let q = -5 - -18. Let i = q - 9. Suppose i*u = 2*a + 2*u - 22, 5*a - 3*u - 53 = 0. Solve -k - a = 5*r, 3*k - 8 = -5*r - 28 for r.
-1
Suppose -47 - 151 = -11*l. Let y be (-6)/l - (-3)/(18/14). Solve c - 2*b = -4, 6*b - y*b - 8 = c for c.
0
Let s be (351/26 + -14)/(2/(-12)). Solve 3*x + x - f = 9, 5*f - s = -4*x for x.
2
Suppose -j - 4*d + 4 = 9, -2*j = 2*d - 2. Solve -3*c - 2*z = -0*c + 10, 5*c + 16 = -j*z for c.
-2
Let p(z) = z**2 - 6*z + 3. Let a be p(4). Let k = a + 10. Let b = 108 - 108. Solve b = -4*f + 8, -k*l + 42 - 15 = f for l.
5
Suppose 2*b + 0 - 10 = 0. Suppose 3*t - 7 = b. Suppose -2*c + g = -3*g + 18, t*g - 19 = c. Solve -2*z + 3*z + p - c = 0, 14 = 5*z - 4*p for z.
2
Let c(n) = -2*n - 9. Let v be c(-7). Suppose 2*m + 24 = 3*p, v*m = -0*p - 2*p - 3. Solve -f - 10 = 3*w, w - p = 3*w for f.
-1
Let g(d) = 3*d - 2. Let y be g(4). Suppose -4 = v - y. Solve v*i - i + 27 = r, -5*r + 15 = -i for i.
-5
Let d = 432 - 427. Solve d*n - 25 = -r, -3*n = -2*n + r - 9 for n.
4
Let x = 927 - 925. Solve -x*d + 3*h - 8 = 0, -6*h + 2 = 4*d - 3*h for d.
-1
Suppose 2*x - 3*x - 101 = 4*r, 3*x - 35 = r. Let a = 41 + r. Let f = -10 + a. Solve 4*d - 14 = 2*w, -f*d + 11 = 1 for w.
-3
Suppose 6*g = 14*g - 24. Suppose -g*l + 124 - 115 = 0. Solve -3*p - t = l - 6, 2*p + 5*t - 2 = 0 for p.
1
Let y(o) = -22*o. Let x be y(-1). Let b(f) = 2*f**2 - 4*f. Let r be b(3). Suppose 0 = r*i - 3*i - 9. Solve -4*t = 5*k - x, i*t = k + t + 4 for k.
2
Let j = 79 - 54. Solve 5*w + 5*z - j = 0, 5*w - z = -0*z - 5 for w.
0
Let w(p) be the third derivative of p**6/120 - p**5/15 + p**4/8 + 15*p**2. Let m be w(3). Let a = -5 - -7. Solve -5*o + 5 = m, 2*r - a*o = 3*o - 15 for r.
-5
Let r = 3 + 1. Let g = 35 - 34. Let w be 2/1 - (g + (-9)/3). Solve 12 = r*i - 2*x, -2*i - 3 = -3*i + w*x for i.
3
Let j be (-31)/(-6) + 1/(-6). Suppose -29 = -j*i + 1. Solve 4*t - 11 = 2*p + 3*p, -i = 3*t + p for t.
-1
Suppose -19*l - 30 = -25*l. Solve l*s + 6 = 4*i, i - 3*i - 4 = s for i.
-1
Suppose 4*q - 20 = -2*t, 3*t - 14 = -q - q. Solve -2*f - 8 = -r, -3*r - 2 = -t*r for f.
-5
Let u(g) = 11 - 13*g + 20*g - 12*g - 4*g + g**2. Let a be u(8). Solve 3*k + 2 = k + a*i, -2 = -3*k + 2*i for k.
2
Let h(n) = 3*n + 3. Let j be h(0). Let v be ((-4)/6)/((-16)/312). Solve 4 - 7 = j*w, -w = -4*f + v for f.
3
Suppose 8 = -3*n + 19*k - 21*k, -4 = -2*n + k. Solve -3*i - 3 = n, -5*a - 17 = -a + 5*i for a.
-3
Let b be (-2)/(-1 + (-3 - -4) + -1). Suppose 0 = r + 2*p, -4*p + b*p = 2*r. Solve -3*q + 2*v + 3 = r, -v = -4*q + 2*v + 3 for q.
3
Let b(v) = -4*v + 5. Let x be b(-2). Let c be 8 + (1 - (-2 - -1)). Let i = x - c. Solve 0 = 4*z - 3*p + 28, 4*z = -i*p + 4*p - 20 for z.
-4
Let g be (-4)/(-3)*(-6)/(-4). Let j be ((-5)/6)/((-12)/72). Let c be (0*(-2)/(-4))/(-1). Solve x + j*s - 8 = g, -4*x + s - 2 = c for x.
0
Let y be 12/5*(-120)/16. Let o = y + 20. Solve j - 3 - o = 2*f, -2*j = f for j.
1
Let w(k) = -40*k - 26. Let f be w(-3). Let t = -89 + f. Solve -2*q + y - t = 0, 2*y - 5 = 3*q + y for q.
0
Let m = 124 + -89. Suppose -4*d - 5*b = -m, -31 = d - 6*d - 2*b. Solve 0 = 2*a + a + 6, r = d*a + 9 for r.
-1
Let r(l) = 2*l**2 + 8*l - 22. Let n be r(-6). Solve 0 = h - 5*q + 21 + 6, -4*h = 2*q - n for h.
-2
Let d(n) = -n**2 + 5*n + 16. Let z be d(6). Suppose -6*q - z = -34. Solve -p + q = -3*s + 3, -5*s = -5*p - 5 for s.
-1
Let b(o) = o**3 + 4*o**2 - 2*o - 5. Let u be b(-3). Let d be u/(-1 - (-5 - (-8)/4)). Solve 6*c = 2*c + s - 17, d*c = 2*s - 25 for c.
-3
Suppose 3*b - 2*k - 14 = 0, 5*b - 105*k = -109*k - 6. Solve -3*o + h = 5*h - 7, 0 = b*o + 3*h - 5 for o.
1
Suppose 25 = 6*l - 2*l + 5*q, 5*l = 3*q + 22. Suppose 4*f - 31 = l. Let i be (f/(-6))/((-1)/16). Solve -20 = o - 4*v, 3*v - i = -0*o + 3*o for o.
-4
Let q = 1120 + -1118. Solve -q*g = 5*l + 1, -5*l - g = -6 + 9 for l.
-1
Suppose -5 - 10 = 5*n, 2*m = n + 5. Solve 0 = -4*o - 2*z - 14, o + m = 2*z + 10 for o.
-1
Suppose 0 = 3*m - 5*n + 3, -10*m = -7*m - 2*n - 6. Solve 2*u = -m*r + 22, -u = 4*u - 2*r + 5 for u.
1
Let z be 4 - (-4)/(1*-2). Let a be (-3)/(1 - 10) + (-2)/(-3). Let g = a - -12. Solve z*t - s = -2*t + g, 3 = -3*s for t.
3
Let l(w) = -w**2 + 5*w + 16. Suppose -7*a + 16*a - 63 = 0. Let m be l(a). Solve -v - 4*s - 10 = -m*s, 0 = -v + 3*s + 15 for v.
0
Let a = 74 + -70. Suppose -5*o = 7*z - 12*z, 0 = a*z - 3*o. Solve z = -w - 4*g - 4 - 3, 4*w + 2*g = 0 for w.
1
Suppose -57*z + 58*z = 0. Solve j = z, 4*j = 5*k + 6 - 16 for k.
2
Let o be 3 + (0 - 2)/1. Let r be (-3 + (-10)/o)/(-1). Let a be (-2)/(-6)*-3*0. Solve -2*k = 5*z + 11, a = -z - 5*k - 6 + r for z.
-3
Let c(f) = 6*f**2 - f - 5. Let n be c(3). Let t = -26 + n. Solve 5*p + t = 0, 4*g + 2 + 6 = -2*p for g.
0
Let f be -3 + (-2 + 3 - -2) + 1. Let l(g) = 5*g**2. Let u be l(f). Solve 2*x = -5*t + u*x + 9, -x - 3 = -5*t for t.
0
Suppose -1 = 3*g + 5*t - 5, -t = 1. Solve o + g*r + 9 = 0, 0*o - r = o + 3 for o.
0
Let d be ((-3)/(-2))/(9/96). Let s = d - 11. Let q(y) = 5*y + 142. Let g be q(-27). Solve -1 = -s*w + 4*c - g, 0 = -w + c - 2 for w.
2
Suppose 0 = -10*n + 8*n. Let a(w) = w + 8 + n*w + 0*w. Let d be a(-8). Solve -3*v - 5*y - 9 = d, 3*y + 7 = v - 4 for v.
2
Let c be 249/(-9) + 6/(-18). Let v be (c - 4)/(-4) + 2. Suppose -v*t + 8*t + 8 = 0. Solve -3*b - 1 + 0 = t*o, -7 = 3*o - 4*b for o.
-1
Let u(j) = -6*j**2 - 26*j - 15. Let k(h) = -h**2 - 5*h - 3. Let p(o) = 11*k(o) - 2*u(o). Let x be p(4). Solve 0 = 3*l - 4*t + 8 + x, -l + 7 = 2*t for l.
1
Suppose 0*p - 5*p = 340. Let f = 68 + p. Solve -n + 4*o = -16, -n - 5*o = -f*o + 29 for n.
-4
Let t = 672 - 657. Solve -5*b - t = 5*u, 3*b - 4*u = u - 9 for b.
-3
Suppose 2*k = 72*u - 71*u + 7, 0 = k - u - 2. Suppose 3 = -5*d + 18. Solve 2*s - 3*s = -d*i - k, 5*i - 3*s = -3 for i.
-3
Let n(g) = -g**2 - 10*g - 14. Let s be -16*1/(6/3). Let b be n(s). Suppose 3*w = -b*w. Solve -v + w = p + 2, -5 = 5*p for v.
-1
Let n = 33 + -7. Let g be (-8)/(-3)*39/n. Let q be 5/10*g/1. Solve -u + 2*z + 5 = -q, 4*u = -3*z + 6 for u.
3
Let r(h) = h**2 + 5*h + 5. Let u = -19 - -14. Let o be r(u). Solve 3*a - a - o*x - 5 = 0, -2*x - 26 = 4*a for a.
-5
Suppose 420 = 22*t - 350. Solve -t = 5*m + a - 4*a, 3*a = -2*m + 7 for m.
-4
Suppose 7 = 3*x + n, 0 = 2*x + 2*n + n - 7. Let f be (-2 - -2)/(-1)*-1. Solve i + t + t + 15 = f, 5*t + 35 = -x*i for i.
-5
Suppose 492*k + 12 = 495*k. Solve -2*q = k*t - 26, 3*t - q + 0*q = 7 for t.
4
Let f be (48/56)/((-6)/(-28)). Solve -3*r - 8 = -r + 2*v, 0 = 3*r + f*v + 14 for r.
-2
Suppose -2*w + 5*o + 12 = 29, -4*o = w - 24. Solve -w*f - 4 = 2*s, -2*s = -5*f - 7*s for f.
-2
Suppose 3*g + 4*n = 109, -3*n = -2*g + 20 + 81. Suppose -6*j + g + 89 = 0. Solve -2*s - 5*d + 1 = j, -4*s - d - 15 = 0 for s.
-3
Let g be (8/1 - 1) + -2. Let c be (-8)/44 - 204/(-33). Let v be (c/6)/(3/6). Solve g*p = f + 24, v*f - 12 = 3*f - 2*p for f.
-4
Let q = 28 + -25. Solve 3*d + 2*h + q*h - 5 = 0, 4 = 5*d + 4*h for d.
0
Let v = 704 + -684. Solve -q - v = -6*q + x, x = -q + 10 for q.
5
Let a = -1 + 18. Let k(b) = -b. Let s be k(13). Let z = a + s. Solve 3*y - 12 - 3 = 5*o, -4*y = z*o + 12 for o.
-3
Let h(c) = 2*c - c**2 - 3*c - 2 + 6 + 0. Let a be h(0). Suppose a*v - v = 15. Solve v*p + 3*g = 7*g + 15, 0 = p + 4*g + 21 for p.
-1
Let c = -434 + 437. Solve -c*f + 2 = -5*k, -3*k + 8 = -7*k - 4*f for k.
-1
Let z be 3*(1*-10)/(3*-2). Suppose 0 = d - 16 + 11. Solve 0*f - f + d*q = 17, q - z = f for f.
-2
Let b(l) = -10*l + 77. Let f be b(7). Solve 4*q - f*v - 21 = -2*v, 4 = -4*v for q.
4
Suppose -3*i - 15 = -8*i. Suppose 11*m + 3 = 12*m. Suppose 23 = m*l - 4*x, 0 = 2*l - 6*l + 4*x + 28. Solve -4 = -i*v - 2*v + 4*o, v = 5*o + l for v.
0
Let r be (0*(-5)/30)/2. Let y = -16 + 19. Let l be (1 - 0)*(-4)/(-1). Solve r = l*h - y*z + 5, -h - 4*z = -3*h + 10 for h.
-5
Suppose -6*v - 92 = 4*b - 2