
4
Let c be (17/3 + -1)*12. Let s = c - 52. Let v(b) = -2*b**3 - 3*b**2 + 5*b + 2. Let i be v(-3). Solve 4*n - 3*n = -4*l - i, -5*l - s*n = 12 for l.
-4
Let d = -57 - -66. Suppose -o = 3*p - 8, 0 = 5*o + 4*p - d*p. Solve -o*y - 7 = 5*s, -3*s + 1 - 2 = 2*y for s.
-3
Suppose -2*p = -3*p + 5*d + 2, -2*d + 8 = 4*p. Solve 2*l - 5 = -4*x + 5, p*x - 5*l - 11 = 0 for x.
3
Suppose -v - 46 = -5*j, -6*j + 5*j = 3*v - 6. Suppose 2*y + 3*y = 0. Let h = 2 - y. Solve -18 = -3*z - 5*t, z + 2*t = -h + j for z.
1
Let w = -1879 - -1898. Solve -o - 18 = -3*l - 6, 2*l - w = -3*o for o.
3
Let h(t) = 3*t**2 - 5*t + 14. Let c be h(5). Let x = -50 + c. Solve 3*z + x = 2*b, 0*z - z + 5*b = 22 for z.
-2
Let p(o) = o**2 - 1. Let g be p(2). Let m be 21/8 + (-81)/(-216). Solve -g*w + 7*w - 32 = m*v, 3*v - w = -17 for v.
-4
Let o(u) = -7*u**3 + 43*u**2 - 10*u + 26. Let i be o(6). Solve 3*y - i = -5, -3*z + 3*y = -3 for z.
0
Suppose 3*o - f = 45, 0 = 3*o + f + 4*f - 45. Suppose 5*m - 3*m = 0. Solve 4*w = -4*v, m = -2*w + 2*v - o + 3 for w.
-3
Suppose -913*r + 12 = -907*r. Suppose -4*l = -4*f + f + 69, 0 = -3*f - 2*l + 51. Suppose 5*n = f + 1. Solve 3 = r*m + 3*c, -2*m + n*c = -0*c + 18 for m.
-3
Let z = -87 - -91. Solve 5*p + 0 + 3 = z*l, 5*l + 4*p + 27 = 0 for l.
-3
Let r = 21 + -8. Let a = -139 + 139. Solve -4*w - 4*t - 3 - r = a, 0 = 4*w + 2*t + 8 for w.
0
Suppose -3*u + 1 + 20 = 0. Suppose u*p - 12 = 5*p. Let v(t) = t**3 - 5*t**2 - 5*t - 4. Let g be v(p). Solve -3*d + 6 = -3*l, g*d - 10 = -3*l + d for l.
2
Let z(g) = g**2 + 2. Let b(h) = -h**3 - 6*h**2 - 9*h - 7. Let j be b(-4). Let u be z(j). Solve 4*d = -3*v + 7, -16 = -3*d + 5*v + u for d.
4
Let a = 455 - 453. Solve -18 = -a*i + 5*x, 0*x = i - 2*x - 7 for i.
-1
Suppose -14 = -x - 13. Let r be (-1 - 1 - x) + 23. Solve 4*l - 3*a = a - r, -5*l - 22 = -2*a for l.
-4
Let c(z) = z**2 + 10*z + 17. Let w be c(-7). Let p be 2*(-2 - 14/w). Solve -p*n = 5*g - 28, g + 3*n = -g + 13 for g.
5
Let w = -22 - -14. Let h(l) = l**3 + 7*l**2 - 11*l - 2. Let n be h(w). Solve -5*c + n = 3*j, 5*c - 7 = -4*j + 19 for c.
2
Let h(r) = -r**3 + 16*r**2 + r - 13. Let g be h(16). Solve -u = 3*w + 3, -3*u + g*w - 2*w = 9 for u.
-3
Suppose 4*i = -31 + 15. Let q(u) = u**3 + 6*u**2 - 2*u - 5. Let t be q(-6). Let w = t + i. Solve 0 = -2*c - 2*b + 8, 5*b = w*c - 29 + 9 for c.
5
Suppose 3*c = 9*c. Suppose c = h + 3 - 6. Solve 8 = -7*g + 3*g + 4*l, 0 = h*g + 5*l + 6 for g.
-2
Suppose -4*n + 77 = -11. Suppose -19*j = -n*j. Suppose 2*i - 4*i + 6 = j. Solve 0 = 5*m + 20, i*a - 3*m = -0*a for a.
-4
Let t(n) = -n**2 - 3*n + 112. Let a be t(9). Solve 3 = -a*h - 5*p, -3*h - 10 = -5*p + p for h.
-2
Let g = -39 + 42. Suppose -q = -g*x + 1, -3*q + 31 = 5*x + 6. Solve x*b + 11 = -5*w - 0*b, -b + 1 = -4*w for w.
-1
Let r(a) = -a**3 + 5*a**2 - 3*a - 1. Let d be r(4). Suppose -d*w + 2*w = -1. Let c be 4 - (1 - (w + 0)). Solve c*y + 9 = h + 4*h, -5*h - 5*y = -45 for h.
5
Let d(t) = -2*t**2 + 69*t + 116. Let f be d(36). Solve u + 5 = -3*b - 7, 5*u + 2*b = -f for u.
0
Let b(n) = n**3 + 4*n**2 - 3*n - 18. Let j = 9 - 12. Let z be b(j). Solve -g - g = -2*s + 8, z = -3*s + g + 14 for s.
5
Let t = 171 + -168. Solve t*b + 4*r = 8, 3*b - r = 3*r + 16 for b.
4
Let v(c) = c**3 + 14*c**2 - c + 11. Let x be v(-14). Suppose 6 = -s + 9. Solve 2*l = -s*l - x, -3*l = -2*o + 23 for o.
4
Let c = -151 + 85. Let a = c + 95. Solve -s + 6*s + 3*v + a = 0, 5*v = 5*s + 5 for s.
-4
Suppose 2*c - 3*k - 25 = 0, -2*c - 5*k - 19 = -4. Let o(r) = r + 2. Let f be o(2). Solve 0 = f*t - d - 9, -c*t + 6 = -t + 2*d for t.
2
Let s(j) = -3 - j - 1 - 4 + 4. Let w be s(-7). Solve 4*o + 5*m - 20 = 0, 2*m = -w*o + 5*m + 15 for o.
5
Suppose -24*o + 3 - 3 = 0. Solve g = -s + 4, -s - 3*g + 12 = -o*s for s.
0
Let m be 20/(-8)*(0 - 2). Suppose 0 = -4*r - 20, 4*r + 32 = 3*u - 0*u. Solve -l - 21 = -4*n, -n - u*l - 36 = -m*n for n.
4
Let o be (15 - (-1 - 1))*1/1. Solve -2*v + 5*n - o = 0, -27 = -3*n - 12 for v.
4
Let j = 123 - 117. Suppose 6*o - 5*b = 2*o - 5, 4*b - 15 = o. Solve -2*m = -o*d - j*m + 5, 0 = -4*d + 5*m + 45 for d.
5
Let y(p) be the second derivative of 1/6*p**3 + 0*p**2 + 1/4*p**4 - 3*p + 0. Let o be y(-1). Solve t - o*t + 21 = 5*z, 0 = 2*z - 8 for t.
1
Let d = 164 + -161. Solve -q - 19 = d*l, -4*q + 0*q = -3*l + 1 for q.
-4
Suppose 49*v - 22 = 38*v. Solve -v*r + 3*x - 5*x = 4, -3*r - 18 = -x for r.
-5
Let h = 181 - 181. Solve -4*z - r + 16 = h, -3*z - 4*r = -6*r - 1 for z.
3
Suppose 0 = 7*u - 28. Solve n + 2*g - 8 = -0*n, 0 = n - u*g + 22 for n.
-2
Suppose 603*o = 608*o - 35. Solve -3*r = -o*r - 3*l, -3*l - 3 = 3*r for r.
3
Suppose 9*m - 23*m + 70 = 0. Solve -3*k + 6*k = -m*x + 9, -k = -3 for x.
0
Let s(v) = -2*v**3 + v**2 + 7*v - 2. Let t be s(-2). Solve -2*i - 5 = w, -t*w - 2*i - 3 = 5 for w.
-1
Let c = 163 + -152. Solve -2*q = 3*i + c, -i = -0*i - q + 7 for i.
-5
Suppose 3*m - m = 2. Let s be 0 + 3/m - -1. Suppose -s*n + 0*n = -12. Solve a + 0 = 3*p + 3, -n*a + 3*p = 3 for a.
-3
Let v(o) = -5*o**2 - 9*o. Let p be v(-2). Let n be 52/13 - 0/p. Solve -5*a - 10 = 5*k, 2*a + n*k + 2 = -0*k for a.
-3
Suppose 18*i - 5 = 31. Suppose s - 2 - 1 = 0. Solve -s*x = 5 + 7, b = i*x + 9 for b.
1
Let f(u) = u**3 + 14*u**2 + 2. Let b be f(-14). Solve c - 7*q = -b*q - 12, 0 = 4*c - q - 9 for c.
3
Suppose 2 = 3*n - w, -4*n + w = 7 - 11. Solve -6 = 4*k + n*i, -k - k - 2 = 2*i for k.
-2
Let z = 19 - 6. Let p(i) = i**2 + i + 7. Let k be p(0). Let o = z - k. Solve x - 2*m = -m + o, 5*m + 10 = 0 for x.
4
Suppose 60 = -c + 2*c. Let i = -40 + c. Solve -2*r - 2*l - 10 = -0*r, 4*r - 5*l = -i for r.
-5
Let u(b) = -9*b - 13. Let y(r) = -r**3 - 9*r**2 + 11*r + 8. Let j be y(-10). Let g be u(j). Solve g*w = 10, 4*w = 4*p - 0*w - 12 for p.
5
Suppose -3469 + 3405 = -16*n. Solve -n*r - 4*l - 32 = 0, -9 = 5*r - 2*l + 10 for r.
-5
Let p(l) be the second derivative of l**4/12 + 2*l**3/3 + 3*l**2 + l + 27. Let k be p(-3). Solve 2*u + 8 = -2*d + 5*u, 3*d - k*u + 9 = 0 for d.
-1
Suppose -r - d - 1 = 2, -2*d = -4. Let z(q) be the first derivative of q**3/3 + q**2 - q - 1. Let m be z(r). Solve 2 = -y, -y + m = 4*o - 6*y for o.
1
Let p be (-4 - (-16)/4)/(-3). Suppose p = 7*a - 3*a - 5*v - 26, -a - 4 = 4*v. Solve -4*n = 2*t, 2*t - 24 = -2*t + a*n for t.
4
Let i be (-276)/(-16)*(-16)/(-6). Let v be 30/(-105) - i/(-14). Solve 2*q - v*q = 4*n - 20, 3*n + 8 = 5*q for n.
4
Suppose -t = 3*w - 11, w + w - 14 = -4*t. Suppose d = 4*a + 16, -3*d = -8*d + 2*a + 8. Suppose d + 2 = t*f. Solve -4*i = -4*j, -11 + f = 4*i + j for i.
-2
Suppose 4*q - 15 = -3. Suppose -q*h + 2*p + 2 = 4*p, -5*p - 25 = 0. Solve -5*v = -0*v - 5*d + 30, 4*d = -h*v for v.
-3
Let j be 2/6 - (-118)/6. Suppose -2*h + 36 = -36. Let g be 5/(j/h) - 2. Solve -5*b - m + 2 = -g, -8 = -2*m for b.
1
Let h = 932 - 927. Solve -h*z + 26 = 3*p, 0*z + p = -2*z + 10 for z.
4
Suppose 2*c = -5*l - 20, 0*c = c + 2*l + 8. Let i(p) = -8*p. Let h be i(-1). Let r be (h - c) + 30/(-10). Solve 6*n + 17 = r*w + 2*n, 3*w + 3*n = -6 for w.
1
Suppose 3*r = -6*r - 774. Let l = -72 - r. Solve v + 3*k = l, -5*v - k + 2 = -2*v for v.
-1
Let a = -316 - -319. Solve -2*l - p + a = 0, -5*l + 8 = -2*p - 4 for l.
2
Let i be (-4)/((-12)/15) + -1. Solve -5*c = -4*k - 3 + 5, k + 5 = i*c for k.
3
Suppose 0 = 3*y - 2*y - 2*u - 9, -7 = -3*y + 2*u. Let b = 0 + y. Let l be (91 - b)/4 - -4. Solve 0 = -5*n + 5*w - 5, 5*n + 7*w - l = 4*w for n.
3
Suppose -2*b + 5*c - 15 = -7*b, 2 = -2*c. Solve -2*k + b*i = -6 - 10, 9 = 3*k - 3*i for k.
-2
Let g(u) = -u + 5. Let r be g(4). Let b(h) = -6*h**3. Let w be b(r). Let s be 140/30 - (-4)/w. Solve -s*m - f = -5 + 17, f = -m for m.
-4
Let m(q) = 4 + 0 - 2 - 2*q. Let h be m(-3). Suppose 5*i = 7 + h. Solve -3*o - 3*w = -15, -15 = -3*o - w - i*w for o.
5
Let g be 48/(-40)*-5 + -1. Solve 5*p + 15 = g*m, 4 = -4*m + p + 22 for m.
5
Let j be (-18 - -17)/(((-1)/1)/20). Solve 5*n + j = 0, -4*t + 4*n = -n - 16 for t.
-1
Suppose -3 = -n - 10. Let t = n - -10. Suppose -w + t*h - 4 = 0, -3*w + 2*w + 20 = 5*h. Solve -5*q + 13 + 3 = 2*c, q - 14 = w*c for q.
4
Let r be (-4 - 77/(-14))*2/1. Solve -q + 0*q = -r*z + 14, -z - 4 = 4*q for z.
4
Let n(c) = 4*c + 3. Let q be n(1). Solve 4*r = -3*o - 4, 4*r - q*o + 2*o = 28 for r.
2
Suppose -13*q - 23 = -2*d - 8*q, -2*d - 1 = 3*q. Solve -3*t + 5*x - 66 = -26, 3*t