 -7. Let k = -13 + s. Solve -4*c = -7*c - 3*m + k, -5*m = 0 for c.
1
Suppose 2*t - 9 = -5. Let p be 16/3 + 1/(-3). Suppose t*u - s = 13, -p*s + 10 = u + 4*u. Solve 3*a - 4*w = -26, u*w - 36 = 5*a - 1 for a.
-2
Let a be 1 - (2 + -1)*-1. Suppose 1 = -k + a*k. Let u = 2 + k. Solve 5*h - 29 = y, 5*h - 33 = u*y - y for h.
5
Suppose 3*z + 5*g = -0*g + 26, -2*z - 2*g + 12 = 0. Solve 5*m = 2*h + 2 + 8, -h + z*m = 3 for h.
5
Let s(y) = y - 1. Let w be s(4). Suppose 0*x - w = 3*x. Let b be (1 + x + -1)*-2. Solve -4*l = -5*h - 5, -2*h + l + b*l = -5 for h.
-5
Let p = 26 + -24. Solve 5*j - p*t = 21, 3*t = -4*j - t for j.
3
Let h(c) = 6*c - 15*c - 4*c. Let p be h(-2). Let r = 115 + -111. Solve -3*k = 4*q - p, -r*q + k + 14 = -4 for q.
5
Let k = 9 - 6. Let f(w) = w**3 - 8*w**2 + 2. Let c be f(8). Let x(g) = 3*g**3 - 3*g**2 - g + 2. Let p be x(c). Solve 0*r + i = 3*r - 4, k*i + p = -r for r.
0
Let p be ((-16)/8)/((-1)/2). Solve 3*g + 3*t + 10 = -11, 0 = g - p*t - 18 for g.
-2
Let x(n) = 2*n - 12. Let s be x(7). Solve -2*c - 4*b + 7*b = -23, s*b + 22 = 3*c for c.
4
Suppose 6 = -h - 2*b, 2*h + 2*b = -1 - 1. Solve 3 = c + 2*t + 10, 4*c = h*t + 32 for c.
3
Suppose 5*s = -0*y + y - 16, 0 = 2*s + 2. Solve i = -l - 2*l - 9, 4*l = -i - y for l.
-2
Let p be 0/(-5 - -2 - -2). Suppose p = 2*s + 3*s - 90. Solve g - 4*g + s = -f, -3 = f for g.
5
Suppose -5*a = k - a + 7, -k + 4*a + 9 = 0. Let t(v) = -v + 1. Let w be t(k). Let h = 2 - w. Solve 2*i + 2*i - h*b - 12 = 0, -4*i + 3*b + 16 = 0 for i.
1
Let o = 15 + -16. Let l = 1 - o. Solve 0 = -p - 0*k - 5*k, 0 = l*p - 4*k for p.
0
Let g(t) be the first derivative of -t**3/3 + 3*t**2 - 2*t - 1. Let v be g(4). Let d = v + -4. Solve 0 = -l - p + d, -l + 2*p + 2 = 3 for l.
1
Let o = 15 - 10. Suppose 2 = 3*f - f - 4*m, 2*m + 4 = 2*f. Solve 4*q - 5 = -q + o*s, -5*q + 13 = -f*s for q.
5
Let s(g) = g**2 + 4*g. Let z = -3 - -13. Suppose 5*y + 16 = -4*x, 2*x - z = 2*y - 0*y. Let h be s(y). Solve -2*i + w + 4 = h, -i + 2*w + 4 = -4 for i.
0
Let s be (11/(-33))/(2/(-36)). Solve -4*f + k - 6*k + 13 = 0, -5*f + 4*k + s = 0 for f.
2
Suppose 0 = -0*p - 4*p. Suppose 5*n - 85 = -0*n. Solve 2*w = 5*u + n, -4*u + 0*u - 4*w - 36 = p for u.
-5
Let j = -3 - -6. Suppose -7*r + 36 = -j*r. Let x = 120 + -85. Solve 5*v + x = 5*q, 3 = -3*q + r for v.
-5
Suppose 0 = -4*l + 3*t + 50, -4*t + 3 = l - 0*t. Let f(j) = -j**3 - 5*j**2 - 5*j - 5. Let w be f(-4). Let p = 1 - w. Solve y = -n - 1, l = n - p*y - 0 for n.
3
Let m(w) = -w**3 - 8*w**2 - 16*w + 2. Let t be m(-4). Solve t*v = -4*o - 2, 2*o - 24 = 5*v - v for v.
-5
Suppose -2*x + 85 = x - 4*u, -5*x = 5*u - 95. Solve -3*j = -4*g + 11, -4*g + x = -4*j + 5*j for g.
5
Let p(i) = -i**2 - 5*i + 41. Let n be p(-9). Solve 3*b + 4*q = -b - 16, 0 = 3*b - n*q + 20 for b.
-5
Let m = 11 - 5. Let x = 6 + 0. Solve 2*s = d - m, -3*d + x*d - 14 = 5*s for s.
-4
Let s(y) = -4*y - y + 2*y**2 + 4*y. Suppose 3*b = 5*o - b - 18, -5*o + 2*b = -14. Let c be s(o). Solve -3*x = -12, -x + 2*x = 5*k - c for k.
2
Suppose j + 14 = 5*j - 2*q, 0 = 2*q - 10. Suppose 4*r - j = m - 1, -2*m = -4*r + 2. Solve 3*h = 6*z - 2*z - 13, 0 = r*z - 8 for h.
1
Let n(p) = -p**2 + 7*p - 6. Let w be n(6). Solve 0*i = -b + i - 2, -b - 5*i + 4 = w for b.
-1
Let a(b) = -b**3 + 16*b**2 + b - 11. Let y be a(16). Solve -1 = o - 2*m, y*m - 3 = 3*o - o for o.
1
Let p = -3 - -3. Suppose 2*v = 10 - p. Suppose -v*w + 5 = -0*w. Solve 2*g = -3*a - 14 + w, 0 = -g + 3*a + 7 for g.
-2
Let y = 22 - 15. Let j be (y/2 + -1)*2. Let q be (-2 + -25 + 2)*-1. Solve n = 5*h - 2*n - q, 0 = -5*h - j*n + 25 for h.
5
Let t be 0 - (-2 + 1 + -4). Let i(x) = 8*x + 34. Let u(a) = 5*a + 23. Let r(w) = -5*i(w) + 7*u(w). Let s be r(-6). Solve -5*f + t = -4*f, 2*y = 3*f - s for y.
-3
Let y = -5 - -8. Suppose -4*w + 2*k + 15 - 7 = 0, 4*k = y*w - 1. Solve 3*l = -r + w*r + 20, 0 = -r + 3*l - 16 for r.
-4
Let p(r) = r**2 + 5*r + 3. Let h be p(-5). Suppose -5*o = 3 + 17. Let q(i) = -i**3 - 5*i**2 - 4*i. Let m be q(o). Solve 2*b + m = -a + h, 3*b - a = 12 for b.
3
Let x be (-2)/6 - 2/(-6). Let f(y) = 11*y**2 - 8 - 6 + y**3 - 2*y + 3 - 3*y**2. Let i be f(-8). Solve x*k - 2 = i*w + 4*k, 4*k - 12 = 2*w for w.
-2
Let x(l) = l**3 + l**2 - l - 1. Let i be x(-1). Let p = -3 + 5. Let g be (-6 - p)/(-6 + 4). Solve i = h + 2*h - 4*j - 9, 2*h = g*j + 6 for h.
3
Suppose -5*w - 4 - 16 = 0. Let i(p) = 2*p - 4. Let n be i(w). Let y be -2 - 0 - n/2. Solve 0 = 5*r - 5*h + 6 + 4, r + y*h + 2 = 0 for r.
-2
Let m be 12/(-114) + 363/19. Solve -4*i = -5*g + m, 0 = -2*i + 5*g - 12 - 5 for i.
-1
Suppose -2*m - 4 - 6 = 2*t, -3*m = 6. Let i be (-2 - (t + 4)) + 8. Solve i*h + x - 17 = 0, x + 0 = -3*h + 9 for h.
4
Let y be 6/(3*(-1)/(-2)). Suppose -t = 5*v - 15, y*t + 2*v + v - 9 = 0. Let s be (-2)/(-3)*(-18)/(-4). Solve 2*i + w = -7, 2*w = s*i - t*i - 7 for i.
-1
Suppose 4*a = -4*p + 20, -6*p + 3*a = -5*p - 1. Solve s - 3*s - 5*z - 12 = 0, 0 = 2*s - 3*z - p for s.
-1
Let l(k) = k - 3. Let w be l(6). Let g(m) = m**3 - m + 7. Let r be g(0). Let h be (3 - r)*1/(-2). Solve 0 = w*o + 2*x - 4 - h, -2 = -o - 5*x for o.
2
Suppose -5*j + j = -8. Let v(o) = 4 + 3*o**3 + 2*o**2 + 0*o**2 - 3*o - 2*o**3. Let z be v(-3). Solve -5*u + 10 - 4 = j*c, -z*c + 12 = 5*u for c.
3
Suppose -s = 5*s - 90. Solve -3*w - j = -11, -w + 3*j = -2 + s for w.
2
Let i be (-11)/(-3) + (-3)/(-9). Solve 2*z = 5*b + 13, -b = -2*z + i*z - 7 for b.
-1
Let v(q) = q**2 - 8*q - 7. Suppose -5*a + 1 = -44. Let b be v(a). Solve 0 = -r - 1, -4*k + 2*k = -2*r + b for k.
-2
Let i = -4 - -1. Let x be i + 4 + 1 + 3. Solve x*q - j - 1 = j, -5*q - 4*j + 13 = 0 for q.
1
Let c(f) = 1 - 4 - f + 3. Let m be c(-3). Let l(q) = -q**3 + q**2 - 3*q - 2. Let r be l(-2). Solve 0 = 5*w + m*s - r, 4*w = -w + 4*s + 2 for w.
2
Let v be 6/21 - (-2)/(-7). Suppose -s = -4*f + 66, v*f - 2*f = -4*s - 26. Solve -15 = -5*x + 2*x, -2*p - f = -3*x for p.
-1
Let m(f) = f**3 - 8*f**2 - 11*f + 22. Let i be m(9). Solve -12 = 2*y - 2*w, 0 = 4*y + i*w + 1 + 7 for y.
-4
Let i = 28 + -12. Solve 0 = -t - 6*d + 3*d + i, d = 4*t + 1 for t.
1
Let n(c) = -c**3 - 8*c**2 + 1. Let a be n(-8). Let d be a + 5 + (2 - 2). Let r be d/(-15) + 44/10. Solve 0 = 2*y - r*m - 18, m + 8 = -m for y.
1
Suppose 4*n = 6*n + 10, 2*i + 5*n = -45. Let q = 10 + i. Solve 0*f - 4*s = -f - 13, q = -5*f - s - 2 for f.
-1
Let w be 3/(412/100 + -4). Solve 4*p = -5*r + 25, 4*r + 2*p - w = -r for r.
5
Suppose -3*j - 9 = 3, 26 = 2*y - 3*j. Let k = y + -5. Solve -k*n + 3*n + 16 = -4*t, 5*n = -4*t - 16 for n.
0
Suppose -v - 19 = -3*y - 2*y, -4*y = 3*v - 38. Solve 0 = -s - 4, -v*u + 13 = -u + 3*s for u.
5
Let y be (-1)/((-2)/12) + (-1 - -1). Solve y*x + 2*z + 10 = x, -2*x - 5*z - 25 = 0 for x.
0
Let l(q) = -q - 1. Let m be l(-2). Let o be m/2 - (-22)/4. Let p = o - 0. Solve 0 = -4*b + 3*b + n + 3, 5*b - 2*n = p for b.
0
Suppose 3*s - 8 = -4*x, -4*s + 4*x + 23 - 3 = 0. Solve s*y = -n + 2*y - 7, -y = -n + 2 for n.
-1
Let f = -3 - -6. Suppose 0 = -f*j + 24 - 9. Suppose -9*u + 12 = -j*u. Solve 0*t = -5*r + 5*t - 10, 0 = 4*r + u*t + 22 for r.
-4
Let p = 43 + -38. Solve -15 = -5*q - 5*a, 5*a - 4 + 39 = p*q for q.
5
Let h be 30*(0/(-8) - 1/(-2)). Solve 3*o - f + h = 0, 5*o + 0*o + 4*f = -25 for o.
-5
Let l be 22/4 - 14/28. Suppose -14 = -2*i - 6. Solve 2*n = -i, -l*x - n - 6 = 2*n for x.
0
Suppose -5*p = -2*p. Solve -5*f + 22 = -3*m, p*m + 8 = 3*m + f for m.
1
Let i be ((-26)/3)/(8/(-12)). Solve -2*b + i = w + 2*b, 4*w - 3*b = -24 for w.
-3
Suppose -b = 0, 40 + 15 = 5*j + 5*b. Suppose 3*p + 1 = -j. Let v be (-45)/(-12) + (-1)/p. Solve v*s + 40 = -5*d, 5*s = -5*d + 10 - 55 for s.
-5
Let j(z) = z**3 - 5*z**2 - 8*z + 6. Let t be j(6). Let b = -1 - t. Suppose -5*v - b = -20. Solve 0 = -4*s - 3*l - v, -2*s - 3*s - 3*l - 3 = 0 for s.
0
Let s(q) be the first derivative of 11*q**4/4 - q + 3. Let x be s(1). Suppose 3*u - x = 2. Solve -z = u*t - 15, z - 35 = -3*t + 5*z for t.
5
Let o be (5 - 2)/((-12)/(-8)). Suppose -3*g + 19 = s, g - o*g + 9 = s. Solve 0 - g = -z, 3*u - 6 = -3*z for u.
-3
Let c(a) = 2*a**2 + 2*a + 3. Let r be c(-3). Let v(s) = -2*s**3 - 4*s**2 + 3*s - 6. Let j be v(-3). Solve -2*m = 3*w + 11, -w - 3*w - j*m - r = 0 for w.
-3
Let v be 2/(-4) + 11/2. Let a = 8 - v. Solve -2*u + 12 = 4*t + 3*u, -a*t + 3*u = -9 for t.
3
Suppose -4*z + 4*u + 1