
2
Let n be (11 - 55/77*7)/3. Solve 0 = n*y - 3*m + 17, -3*m = -4*y + 11 - 30 for y.
-1
Suppose 0 = -t - 5*n - 15, -11 = 14*t - 17*t - n. Suppose -2*o + 4*z = -0*z + 6, 0 = -2*z + 6. Solve -6 = 3*y + 2*u + t, 3*y + o*u + 15 = 0 for y.
-1
Let o = -108 + 96. Let h be ((-40)/(-30))/((-2)/o). Solve k - h = -i, k + 2*i = -4*k + 25 for k.
3
Let q(v) = 278*v + 3 - 281*v - 18. Let t be q(-6). Solve t*i - 2*o = 20, o = -3*i + 5 + 3 for i.
4
Let r(m) = -m**2 - 1 + 5 + 6 + m + 2. Let c be r(-3). Solve c = -2*q - 4, 0*u = -u - 4*q - 10 for u.
-2
Suppose 8*x - 75 = -7*x. Suppose -x*h + t = -22 - 141, -5*t = 2*h - 49. Solve -5*y = 4*v - h, 2*v + v - 29 = -5*y for y.
4
Let j be (-12)/9*((-9)/2 + -6). Solve 2*u + 2*l = 0, -4*u - j*l = -15*l - 15 for u.
3
Let s(q) = -65*q - 1020. Let t be s(-18). Solve 5*z - a = t - 162, -5*z - 4*a - 27 = 0 for z.
-3
Let q = 27 - 22. Let t(z) = z**3 - 5*z**2 + z - 1. Let d be t(q). Let y be (8/d)/2 - -5. Solve 4*j - 2 = 2*r, -j - 2*j = y for r.
-5
Let x be 18/24*2*58. Suppose 7*r - 18 - x = 0. Let l = 11 + -7. Solve l*d - 3*d + r = 5*w, -2*d = 2*w - 18 for w.
4
Let f(z) = -2*z**2 + 16*z - 37. Let d be f(5). Let q(n) = -8*n**2 - 56*n + 2. Let a be q(d). Solve 3*g = 2*k - 1, 0*k = a*k + 2 for g.
-1
Let c = 10 + -4. Let y(z) = -42 + 534*z - 531*z + z**2 + 4. Let l be y(-8). Solve 3*n = c, -h - 5*n - 5 = l*h for h.
-5
Suppose -51 = -2*x + f, x - 6*x + f + 135 = 0. Solve -4*r - s - 15 = 0, 16 = 4*s + x for r.
-3
Let t be -19 + (-15 - -54) + -20. Solve -4*r = -17*p + 22*p, t = -p - 4*r for p.
0
Let n(u) = 2*u**3 + 15*u**2 + 20*u + 18. Let j be n(-9). Let d = j + 408. Solve b = d*p + 9, -2*p = -0*b + b + 1 for b.
3
Suppose 0 = 248*z + 236*z - 139*z - 690. Solve 2*u = y + 7, -6*y + z*u = -9*y + 3 for y.
-1
Suppose 3*c = -b + 18, 23 = -3*b + 4*b + 4*c. Suppose 9 + 3 = b*x. Solve 0*y = y - 5*g - 18, 0 = x*y - 4*g - 8 for y.
-2
Suppose 8 = -3*t - l, -4*l = 3*t - 0*l + 14. Let r be t/(-13) + (-2720)/(-65). Let f = r - 35. Solve 2*y + k = f, 0 = 5*y - 3*y - 3*k - 19 for y.
5
Suppose -3646*k + 3645*k + 4 = 0. Solve -k*f + 3*x = -6*f - 12, x + 4 = 0 for f.
0
Let a = -2 + 10. Suppose -2433 = -10*p - 223. Let t = 225 - p. Solve -5*k - a - 1 = -t*d, d - 6 = 5*k for k.
-1
Let p(q) = 13*q + 98. Let v(n) = -13*n - 97. Let m(a) = -5*p(a) - 4*v(a). Let y be m(-8). Solve k = -u, -y*k = 2*u + 3*k - 12 for u.
-4
Let c be 107 + (5 + -2)/3. Suppose -c + 104 = -2*j. Suppose -3*i = -j*k - 25, 2*i = k - 5*k + 6. Solve 3*m = 15, -5*m + 36 = 4*w + i for w.
1
Suppose -3*n + 1 - 73 = 0. Let i = 14 + n. Let l be (-2)/i - 1/5. Solve -3*s + d + d - 4 = l, 2*s = 3*d - 1 for s.
-2
Let p(f) = f**2 - 2 + 8*f - 5*f + 6*f. Let v be p(-10). Suppose 0 = 4*m + 5*t - v, 3*m - t = 6 - 0. Solve 7*k = 5*a + 3*k + 22, -m*a + 11 = 5*k for a.
-2
Let s = 140 - 200. Let m = -45 - s. Suppose -m = -8*y + 5*y. Solve -5*g + 2*f = -f - 26, y*g = 2*f + 24 for g.
4
Suppose 34*a - 127 - 43 = 0. Solve y = -4*m + 1, 5*y - a = 3*m + 2*m for y.
1
Let t(o) = -2*o**2 + 102*o + 567. Let l be t(-5). Solve 9*z - 8 = l*z, -h - 2*z + 5 = 0 for h.
-3
Let n = -918 + 920. Let b(d) = d + 8. Let r = -19 - -13. Let t be b(r). Solve -t*j - n*l - 1 = l, 4*j + 5*l = 1 for j.
4
Let i = -5183 - -5186. Solve q + 9 = 5*p, -5*p + 3 = -q - i*p for q.
1
Let a be (-25)/(1 - 6) + 19. Suppose 116*d - 110*d - a = 0. Solve -4*u + 8 = -0*u, -d*r - 5*u = 6 for r.
-4
Suppose -4*l + 0 = -4*f - 16, 3*f + 2 = l. Solve 5*a = 2*n, 0 = l*a + n - 4*n for a.
0
Let f(h) = 16*h - 48. Let b(j) = 2*j + 2. Let a(c) = 8*b(c) + f(c). Let v be a(1). Solve -5*y - 2*g + 1 = v, g - 2*g + 3 = 0 for y.
-1
Let p(v) = 16*v**2 - 15*v - 5. Let d(z) = -3*z**2 + 3*z + 1. Let b(g) = -11*d(g) - 2*p(g). Let q be b(4). Solve -4 = 7*t - 2*t + q*r, -5*r = -2*t + 17 for t.
1
Let w be ((-81)/(-6))/9*50/15. Suppose w*p - 5*s = 0, -11*p + 5*s = -13*p + 28. Solve -p*u + 16 = 0, 0 = -f - 5*u + 30 - 9 for f.
1
Let h = 6967 - 6954. Solve 4*b + g = 20, -3*b = -h*g + 12*g - 8 for b.
4
Let n = -9579 + 9579. Solve 4*l + 5*f = -5 + 6, n = 3*l - f + 4 for l.
-1
Let b = -1439 - -1440. Suppose 1 = -2*v + 5. Solve b = 4*g - i + v, -15 = 5*g - 4*i for g.
1
Let t(q) = -15*q + 362. Let v be t(24). Solve -8*d = -v*h - 10*d + 16, 8 = -3*h + 5*d for h.
4
Suppose -z = 5*x + 84, 0 = -x + 2 + 1. Let k = -97 - z. Solve -20 = k*j + 4*g, 2*g + 10 = 3*j + j for j.
0
Let l(x) = -7*x + 29. Let j be l(-3). Suppose -2*q = 8*q - j. Suppose -39 = q*p - 49. Solve p*s + 4*m - 17 = -s, 4*m - 2 = 2*s for s.
3
Suppose 63 = 5*o + 3. Suppose 2*z + 3 - o = 5*x, 4*x + 14 = 5*z. Solve 0 = z*t - 5*j - 15, -3*t + 16 = -j for t.
5
Suppose -3*m = -5*p - 11, -1 = m - 3*p + 6*p. Let q(v) = -v**3 - 78*v**2 - 60*v + 1309. Let d be q(-77). Solve d = t - n + 2*n + m, -3*t = 2*n + 2 for t.
2
Suppose 2*u = -10, -5*u = 5*f - 10 - 0. Suppose -3*l = 4*i - 65, -f*l + 85 = 5*i - 2*l. Solve 3*v = 5*o + i, 3*v = -2*v + 3*o + 18 for v.
3
Let p = -107 + 127. Suppose -4*x = -o - 7 - 4, 4*x - p = 4*o. Suppose -142 = -5*d + 4*f, 4*d = x*d - 4*f + 40. Solve 2*g = -5*n + 4*g - d, 4*g - 16 = n for n.
-4
Suppose -5*z = -340 - 255. Let g = -115 + z. Solve -4 = 4*a + g*y - 0, 4*y + 3 = -3*a for a.
-1
Let t = -6 + 8. Let c be -7 + t + 15 + -8. Suppose 0 = h + 3*l + 15, -3*h - c*l - 17 + 7 = 0. Solve 0 = -3*i - r + 4, -5*i + 3*r + 30 = -h*i for i.
3
Let p(v) be the second derivative of -v**4/4 - 3*v**3/2 + 43*v**2 + 2*v - 73. Let i be p(-7). Solve -i*w = 1 + 9, 0 = -b - 4*w - 23 for b.
-3
Let p = -55 + 57. Let b be (p - -2 - -1) + 0. Let x(u) = -u**2 - 6*u + 5. Let g be x(-6). Solve g*v = b*z - 30, -6 = 2*v + 3*z - 14 for v.
-2
Let l = 315 - 294. Solve 6 = -2*b, -4*x - 3*b - 30 + l = 0 for x.
0
Suppose 0 = 4*x - 228 + 112. Let g(h) = -h**2 + 31*h - 58. Let f be g(x). Solve -2*i + 2*a + 2 = 0, -2*i + f*a - a - 10 = 0 for i.
-3
Let u be 32*(391/(-23))/(-68). Solve -18 = -4*y - 2*p, -13*y + u*y + 35 = 5*p for y.
2
Suppose -x + 3*x = 0. Let s be (845/(-338))/(2/(-12)*5). Solve 0 = s*i - 3*f, -4*i + 9 = -x*i + 5*f for i.
1
Let v(r) be the first derivative of -3*r**2 - 22*r - 16. Let x be v(-6). Let k be (90/(-35))/((-3)/x). Solve -a + k = 4*t, -4*a = -3*t + 1 + 8 for a.
0
Let c = -19 + -265. Let x = -279 - c. Solve -3 = -3*t - 4*a, -x*t = -5*a + 19 + 11 for t.
-3
Let y(t) = t**3 + 18*t**2 - 19*t + 11. Let z be y(-19). Suppose -3*s + w + 1 + z = 0, 0 = 3*s - 5*w - 24. Solve -5*i + 3*i + 1 = s*r, 2*r + 6 = -3*i for r.
3
Suppose 12*s = 4*s + 432. Let c = 96 - s. Suppose -17 + c = 5*q. Solve -x - 2 = 2*o - 3*x, o + q*x - 5 = 0 for o.
0
Suppose 6 = -5*i + z + 41, -21 = -2*i - z. Suppose 24*m - i*m - 160 = 0. Solve -2*b - m = -4*q, 0*q + 3*q = 0 for b.
-5
Let j(z) = -24*z - 124. Let p be j(-12). Let w = -164 + p. Solve 8 = -u - 4*n - 10, 5*u - 2*n + 2 = w for u.
-2
Suppose 14*r = 2*q + 19*r - 30, 0 = 5*q - 3*r + 18. Solve 2*y - 10 = 0, v - y + 0*y + 9 = q for v.
-4
Let j(z) = -2*z**3 + 26*z**2 + 26*z + 17. Let g be j(14). Let u = g + 11. Solve 4*p + 20 = u, -4*y + p = 4*p + 19 for y.
-1
Let q(w) = -5*w + 5. Let c(v) = 5*v + 5. Suppose 1 = -3*u + 7, 0 = 3*y - 2*u + 7. Let o be c(y). Let x be q(o). Solve 6*g = 4*g + 2*p - 2, x*p = -4*g - 4 for g.
-1
Let s(v) = v**3 - 6*v**2 + 16*v - 48. Let h be s(5). Solve 5*g + 3*c - h*c - 31 = 0, g - 15 = 3*c for g.
3
Let o = -9 - -13. Let g(b) = b**3 - 20*b**2 - b + 87. Let w be g(-2). Solve -a + w = o, a = -x for x.
3
Let q be ((-6)/(-21))/(1/(-7)). Let m = q + 27. Let x be 25/1*10/m. Solve 3*c = 3*i - 6, x = -c - 0*c + 5*i for c.
0
Let z(m) = -m - 19. Let q be 8/16*-8*6. Let w be z(q). Solve 0 = w*h + 4*x - 4, 7*h = 4*h - 4*x + 4 for h.
0
Let z = 16 + -27. Let t = z - -19. Suppose -6*i = -t*i. Solve i = 5*u - 5*l + 30, -u + 0 = 5*l - 6 for u.
-4
Let b(f) = -61 - 33 + 25 + 8*f. Let g be b(9). Solve -2*n + 21 = -v + g*n, -3*n - 1 = -4*v for v.
4
Let p be (-3*10/35)/((-3)/7). Solve p*g = -4*l - 7 + 21, 2*g + 3*l - 13 = 0 for g.
5
Let u(z) = -z**2 + 2*z + 5. Let d be u(4). Let k be -2 + (d - -6) + 4. Suppose -5*j + 10 + k = 0. Solve -2*a + 6*h - 2*h - 6 = 0, 3*a = j*h - 3 for a.
1
Let o(n) = -n**3 - 9*n**2 - 21*n - 7. Let w be o(-2). Solve 3*c - 13 = 5*h, 9*c - w = 7*c + 3*h for c.
-4
Suppose -2*c - 3*c = -210. Let h be ((-3)/(-2))/(21/c). Solve t + h*b + 8 = -5, -15 = 3*t + 3*b for t.
-1
Suppose 0 = -3*a