= 0, 2*n = s*h + 2 - 1 for h.
3
Suppose -3*m + 7 = -5*v + 18, 4*v - 14 = 5*m. Solve 2*k + l + 1 = -5, -l - v = k for k.
-5
Let i = 25 + -22. Suppose 5*c - 5*w - 10 = 0, -i*w - 4 = -c - c. Solve c*v = -3*d - 14, -2*d + 6*d + 2*v + 16 = 0 for d.
-2
Let k(r) = r**3 + 23*r**2 - 22*r + 51. Let y be k(-24). Solve -2*x = g + 1, 3*g + y = -2*x + 6*x for g.
-1
Suppose -11 = 2*n + 3*n + s, 4*n = s - 7. Let c be -4 - (n/(-2) - 9). Solve 6 = -c*t - 2*v + 26, v - 6 = -t for t.
4
Suppose 9 + 1 = 5*m. Let p be 69/m + 7/14. Solve -5*x = 5*h - p, -h - 17 = -5*x + 3*h for x.
5
Let n = -12 + 14. Suppose 14 = 4*p - n. Solve 3*y - 5*x = -23, 2*x - p = -3*y - y for y.
-1
Suppose 3*k = 3, -3*s = -2*k + 53 - 57. Solve 0 = 2*g - 4*v + 6, -2*v = -4*v + s for g.
-1
Suppose -p + 5*i - 1 = -19, 9 = p - 2*i. Solve z - p*q - 4 = -2*q, -2*z + 4*q + 18 = 0 for z.
-1
Suppose -33*c + 6 = -30*c. Solve -5*f - 4 = -f - k, 0 = 2*f + 3*k + c for f.
-1
Let w(c) be the third derivative of c**5/60 - 3*c**4/8 + 2*c**3 - 14*c**2. Let o be w(8). Solve d - m = -3, o*d - 2*d + 2*m = 6 for d.
0
Suppose -5*v - 784 = -9*v. Suppose v = 5*s + 2*s. Solve -4*q = 4*h - s, 0 = -5*q + 4*q + 3*h - 1 for q.
5
Suppose -7*l + 3147 - 3049 = 0. Solve 0 = 5*z + 3*d - 4*d - 15, -l = -z - 2*d for z.
4
Let z(m) = -3*m**3 - 177*m**2 - m - 57. Let v be z(-59). Solve -2*h + 6 = v*r, -4*h - 3*r + 14 - 1 = 0 for h.
4
Let j be 31 + (-9 - -1) + 5. Suppose 35*v - j*v - 126 = 0. Solve 4*p + 0*p = -o + 17, 3*o + p - v = 0 for o.
5
Let d = 100 - 123. Let a = -11 - d. Solve 0 = 4*q - 2*i - 2*i - a, 2*i = -3*q + 4 for q.
2
Suppose -11*j + 566 = 544. Solve 0 = -3*t + x - j - 5, -4*t - x - 7 = 0 for t.
-2
Suppose 0 = 2*l - 2, -3*v + 2 = 2*l - 9. Suppose 19 = v*m - 4*f, -4*m + 3*f = -0*f - 23. Let o = -14 + 14. Solve 2 = -w - y, 0 = 3*w - o*w + m*y for w.
-5
Let v be 1*8/2 + 1. Suppose v*o + 2 = c, 0 = -0*o + 2*o - 2*c + 4. Let q be 39/15 - (-4)/10. Solve o = 4*p + n + q, p - 3*n + 3 = -n for p.
-1
Let u be (-23)/(-92) + 30/8. Solve -4*j = -2*a - 0 + u, -2*j - 4*a = -8 for j.
0
Let f(n) = n + 3. Let z be f(0). Suppose 2*g + 37 = 3*t, -16*g = -5*t - 17*g + 66. Solve 5*v = -2*o + t, z*o - o + 2*v = 4 for o.
-1
Suppose -4*t = -1513 + 1497. Solve -5*j - 2*q - 3 = 0, -17 + t = 3*j + 4*q for j.
1
Suppose 15*p + 0 = 75. Solve 3*g + 4*o + 7 = -0*g, -5*g = p*o + 10 for g.
-1
Let a(f) be the second derivative of -1/12*f**4 - 15/2*f**2 - 7*f + 0 - 3/2*f**3. Let h be a(-6). Solve -6*o + o + 20 = -2*r, -2*r + 12 = h*o for o.
4
Suppose w = 3*g + 15, -5*w + 3*g - 2*g = -75. Let o = 15 - w. Solve 1 = s - 4*h - o, 0 = s + 4*h - 1 for s.
1
Suppose -8*p - 31 = -y - 4*p, -123 = -3*y - 3*p. Let t = 65 - y. Solve 5*f + 41 = 4*k, f - 4*k = -f - t for f.
-5
Let f be 0/(-1)*(15 + -14). Let h(l) = l + 17. Let i be h(13). Suppose 3*o + 3*x - i = f, 4*o - 2*x = x + 26. Solve -g - 3*j = -1, j = 2*g - 3*j + o for g.
-2
Suppose 0 = -32*z + 30*z + 248. Let s = z + -120. Solve -3 = -m - 5*d, -s*m + 2*d + 22 - 10 = 0 for m.
3
Let v be (1/(-4))/((-3)/(-12)) - -3. Solve v*w = 2*y - 2 - 10, w + 3*y = 14 for w.
-1
Let w = 34 - 34. Let r = 2 - w. Solve 7*n + k - 9 = 3*n, -2*n - 8 = -r*k for n.
1
Suppose 3*h - 8 = 13. Let y(c) be the second derivative of c**4/12 - 7*c**3/6 + 3*c**2/2 - 18*c. Let w be y(9). Solve 4*r = 5*b + w, h*r - 3*r - 16 = 4*b for r.
-1
Let b = 1 + 2. Let o = 9 - 0. Let w be (-6)/9 - 24/(-9). Solve -23 = -5*r - b*x, -4*x + o = w*r - 3 for r.
4
Let z be (-1 - 0)*-17 - -1. Let c(p) be the second derivative of p**3/6 + 15*p**2/2 + 2*p. Let f be c(-11). Solve 4*h - 4*b = b - z, f = h + 3*b for h.
-2
Let l(z) = 5*z - 10. Let s(x) = -2*x + 1 - 1 + x + 1. Let h(t) = -l(t) - 6*s(t). Let c be h(11). Solve 0 = 2*i + 5*u + c, 0*i + 2*u = 4*i - 30 for i.
5
Suppose -v + 4*v + 3 = -4*q, 0 = 4*v + 4*q. Let y be 24/1*32/(-24). Let j = 37 + y. Solve -5*u = j, -5*z - 2*u = u + v for z.
0
Let b(j) = -2*j**2 - 12*j + 17. Let s be b(-7). Solve -3*i = l + 3, 0*i + 2*i + s = -l for i.
0
Let x = 8 + -4. Let i be -4*x/8 + 7. Solve 9 = 2*o - o + i*b, -5*o = b - 21 for o.
4
Suppose 46*a = 23*a + 23. Solve -4*g + s = 8, -a = 4*g - 3*s + 7 for g.
-2
Let i = -3 - -5. Suppose 34 = 3*z + z - i*p, -4*z - 2*p = -14. Let a = 11 - z. Solve 0 = a*t - 4*m + 19, 3*t + 5*m - 2 = 2*t for t.
-3
Let s(v) = -v**2 + 13*v - 14. Let x be s(9). Solve 6*t - 2*i = 4*t - 14, -i + x = -4*t for t.
-5
Let f = -16 + 21. Suppose 3 = -8*v + f*v. Let u be 1/v - 20/(-4). Solve -u*m + y = 0, -5*y = -2*m - 3*m - 15 for m.
1
Let u(n) = -n**2 + 25*n - 61. Let v be u(22). Solve -x - v*d + d - 11 = 0, -4*x + 40 = -5*d for x.
5
Let p(i) = 4*i**3 - 2*i**2 - 4*i. Let l(j) = -7*j**3 + 4*j**2 + 7*j. Let y(d) = 3*l(d) + 5*p(d). Let c be y(2). Solve 2*f + 3 + 3 = -g, 2*f + c = g for f.
-2
Suppose -3*i = -0*t - 3*t + 57, -10 = 5*i. Solve 4*s + t = -5*b, -4*s + 30 = -4*b + s for b.
-5
Let l = 23 + -25. Let s be (l/(6/45))/(-1). Solve s = y + 3*v, 4*y - 1 = -v + 4 for y.
0
Suppose 0 = 2*f - 3*s - 38, -5*f - 2*s + 7 + 50 = 0. Let o(x) = x**3 - 14*x**2 + 12*x + 15. Let w be o(f). Solve p + 3*p = -w*a, 4*p = -5*a for p.
0
Let h = 39 - 19. Suppose -i + 29 = 5*p - 4*i, -2*p + h = -4*i. Let u(a) = 4*a**2 - 11*a + 5. Let f be u(3). Solve -4*w = -2*g - f - p, -4*w - g + 6 = 0 for w.
2
Suppose 8*p = 3*p. Suppose p = 3*z - 5*z. Suppose z = 5*q - 4*q - 10. Solve -2*m = -l - 3*l + q, -4*m - 2*l + 30 = 0 for m.
5
Let z = -594 - -602. Solve 2*c + 4 = 5*o, -5*o + z = -2 for c.
3
Let b(s) = -s**3 + s + 23. Let x be b(0). Let z be x + -1 + -1 + 3. Suppose -2*u + 6*u = z. Solve 4*j + 2*d - 18 = 0, -8*j + 5*j + d = -u for j.
3
Suppose 27*f - 28*f + 3 = 0. Solve 0 = 3*l + 3*a, f = 2*a - 3 for l.
-3
Suppose -4*w - p - p + 114 = 0, 3*w = p + 78. Suppose w = -q + 2*q. Suppose -6*r - 9 = -q. Solve 3*i + r*h = i - 11, 0 = -3*i - 4*h - 14 for i.
2
Let t = 354 - 352. Solve 0 = -2*k + l + 3 + t, 4*l - 12 = 0 for k.
4
Suppose y = -4*y + 5*v + 35, 5*v = -3*y + 5. Suppose y + 15 = 2*j. Solve -4*k = -q + 5, -j = -10*q + 5*q + 5*k for q.
1
Suppose 0 = 4*z - 2*a - 2*a - 28, a = 2*z - 17. Let c(y) = y**2 - 10*y + 18. Let o be c(5). Let g = o + z. Solve -3*n - 5*i + 21 = -5*n, -i - 1 = -g*n for n.
2
Suppose 0*z + 14 = v + 4*z, -3*z + 9 = 0. Solve l + 4*g + 8 = -3*l, -4*l - 20 = -v*g for l.
-4
Suppose -3*d + 3*h = -9, -d + 2*h + 5 = 3*h. Solve 2*m + 2*g = 0, g - 24 = d*m - 3*g for m.
-3
Let p(t) = t**2 - 5*t - 6. Let f be p(9). Suppose 15 - f = -g. Let b be g/(-75) - 21/(-5). Solve 4*z = 2*q + 5 + 11, -b*q = z - 13 for q.
2
Let v = 310 - 307. Solve -16 = -4*f, v*f - 20 = -x - 2*f for x.
0
Suppose 0 = -4*n + n + 6. Suppose n*j = 6*j - 20. Suppose 0 = 3*i + 787 - 817. Solve 0 = 3*t + t - 4*q, -i = j*q for t.
-2
Let l(n) = 16*n**3 + 1. Let d be l(1). Suppose -1 = 2*o - d. Suppose 2*j = z + o, 3*z - 4*z = -5*j + 17. Solve -w + 5 = 4*i, -3 - 12 = -j*i - 3*w for i.
0
Let j(a) = -23*a**3 + a**2. Let l be j(-1). Suppose -y + 3*f + 149 = 0, -f - 11 = -2*y + 262. Let c = y - 132. Solve 5*g - l = s, c*s - 20 = 3*s - 4*g for s.
-4
Let c(x) = -x**3 - 19*x**2 - 33*x + 37. Let d be c(-17). Solve 12 = 3*j + 2*f + f, 0 = 5*j - f - d for j.
4
Let s = 5 + -3. Suppose w = s*w. Let v = 4855 + -4851. Solve w = -0*y - 4*y + 5*f - 40, v*f = 16 for y.
-5
Let q(d) = d**3 + 3*d**2 - 5*d - 2. Let f be q(-4). Let p(o) = -1 - 1 - o + 7 + f. Let z be p(5). Solve 0*l - 4*h = 3*l + 13, 5*l + 17 = -z*h for l.
-3
Let g(n) = n**2 - 5*n + 4. Let v = 5 + 0. Let t be g(v). Suppose 0 = -0*i - 6*i + 30. Solve 3*o + i*s = -14, -o + 26 = 4*o - t*s for o.
2
Let d = 9 - 16. Let a = 0 + d. Let v(g) = -g**3 - 6*g**2 + 4*g - 6. Let s be v(a). Solve 0 = -5*z + 4*t + 12, 4*t + s = -t for z.
0
Let b be (8*(-18)/84)/((-12)/42). Solve 2*k + 4 = -2*h, -b*k + 5*k + 8 = -h for h.
-5
Let s(k) = -30*k + 215. Let y be s(7). Solve v + u + 5 = 0, 12 = -4*v - u - y for v.
-4
Let x be 6/30 + (-2)/10. Let p be (-4 - (x + -3))*-11. Solve 3*q = -2*v + 1, 0 = 2*q - v - 0 + p for q.
-3
Suppose -599 = -4*i - 587. Solve i*p - 4*v - 7 = 0, -5*p - 12 - 11 = 2*v for p.
-3
Suppose -32 = 2*b - 2. Let c be ((-50)/b)/((-2)/(-3)) - 3. Solve -c*l - 2 - 9 = -3*n, l = 3*n - 7 for n.
1
Let o = 4 - 1. Let l(x) = 14*x**3 - x**2 + 4*x - 5. Let g be l(1). Solve i = 3*p - o, -4*i = 2*p + 2*p + g for p.
0
Let t be -2 + 9 + -7 + (2 - 0)