0 = -2*k - 5*o + 5, -4*k + g*k + 5*o - 5 = 0 for k.
0
Let w = -78 + 78. Solve w = -3*q - s + 7, -3*q = -7*s + 2*s - 37 for q.
4
Let v be (1/2)/(4/48). Let w(n) = -n**2 + 6*n + 3. Let m be w(v). Solve -3*y = -m*c + 9, 5*y + 4 + 3 = -3*c for c.
1
Let d(q) = -q**2 - 10*q - 7. Let a be d(-9). Let t be (a/(-4))/(-1)*8. Let g = -4 + t. Solve g = -4*c + i - 17, -3*c = -i + 9 + 3 for c.
-5
Let z(g) = -g + 14. Let x be z(7). Solve 5*o + 11 = 2*w - 0*o, 4*w + 5*o = x for w.
3
Suppose 0 = -5*a + 4 + 6. Suppose -y - a*y = 0. Let j be 2/3 - 13/(-3). Solve 4*f - 4*s = -12, y = j*f - 4*s + 13 - 1 for f.
0
Let a = 67 + -64. Solve -3*g - c - 10 = 0, g + a*c = 3*g + 25 for g.
-5
Let c(l) = -l**3 - 4*l**2 - l - 4. Let w be c(-4). Solve 5*x - 3*f + 19 = -w, -6 = -2*f for x.
-2
Suppose 0 = 5*s, 5*s - 4 = -l + 17. Let r = l + -18. Solve 2*z = -m + r*z - 3, -3*m = 3*z + 3 for m.
-2
Let v = 35 - 22. Solve 0 = 5*b - 2*a - 22, -a - v = -b - 2*b for b.
4
Suppose 15 = 5*o - 5. Suppose 3*l - o*p = 20, 2*p = -3 - 1. Suppose -5*x + 35 = 3*m - 17, 25 = 2*x - 3*m. Solve 5*c + i = x, -4*c + 13 + 15 = -l*i for c.
3
Let g(c) = -c**3 + 15*c**2 + 16*c - 9. Let r be g(16). Let b = 13 + r. Let d be (6/(-9))/(2/(-60)). Solve 2*m + 0*m = 2*s + d, -b*s - 35 = -3*m for m.
5
Let d(f) = -f**2 + 2*f + 3. Let h be d(0). Solve l = 5*m + 11, -h*l = -2*m - 4*l - 3 for m.
-2
Let h = 85 + -60. Solve 4*r - 23 + 3 = -3*c, -5*r = c - h for r.
5
Let i(m) = -m**2 - 15*m - 9. Let p be i(-6). Solve -5*x - 10 = 2*z - 27, -p = 5*z - 5*x for z.
-4
Let j be (-69)/(-6) + (-1)/(-2). Let l(k) = -k - 9. Let d be l(-11). Solve 3*h - 4*g = j, -d*g - 3 = -g for h.
0
Let b = -7 - -12. Let a = b - 3. Let v(q) = -q + 2. Let s be v(2). Solve -4*l + 4*j + 0*j + 4 = s, 5*l + a*j = -9 for l.
-1
Let d be 14 + (2/2 + -1)*-1. Solve -3*w = -5*m - 0*m - 34, m + d = 3*w for m.
-5
Suppose 3*f - 118 = -4*q, 2*f - 3*q + 5 = 112. Let x = -20 + f. Suppose -4*k - x = -5*k. Solve -n + 4 + 0 = 3*s, -4*n - k = -2*s for s.
3
Let f = -18 + 22. Solve -5*r + 0*r - 20 = u, f*r = 3*u - 16 for u.
0
Suppose 0 = -w + 1. Let t be (-1)/w*(-7 - -2). Let b be 2/2*(37 - -4). Solve -4*n = n + 4*h, -t*h = -4*n - b for n.
-4
Suppose -4*j + 8*j - 52 = 0. Solve -n + 5*m = -0*m - 23, n = -4*m - j for n.
3
Suppose -c + 11 = 2*d - 4, 4*c - 5*d = -5. Solve 0 = 4*k - 0*y + 2*y - 30, 0 = y - c for k.
5
Suppose q - 2 = -6, -2*k = 5*q + 12. Solve 5*p - 5*s = 25, -k*p = 5*s - 1 - 1 for p.
3
Let c(h) = -12*h**2 - 1. Let y be c(-1). Suppose 2*t + 35 = -3*t + i, -t = 2*i + 18. Let x = t - y. Solve 10 = 2*b, 0 = u + 2*u - x*b + 40 for u.
-5
Let h = -146 - -149. Solve 0 = -h*n - 7 + 1, -4*v + n = -10 for v.
2
Let g(r) = -r**2 - 2. Let d be g(0). Let u be 2/d + (-1 - -3). Let h(z) = z**3 - z + 2. Let l be h(0). Solve -3*m - l*b + 5 = u, 4*b - 8 = 4*m for m.
0
Let p(d) = 3*d - 14. Let o be p(7). Solve o = -t + 5*g, -3*t - 2*g - 3*g = 1 for t.
-2
Suppose 0*q + 2*q = 6. Suppose -2*h = -q*h. Solve k + h*k - 14 = 3*v, k + v = -2 for k.
2
Suppose -2*t = -2*h + 3*t + 18, 2*h - 18 = 4*t. Solve l - 1 = -2*a - 5, -h = -3*l + a for l.
2
Let q = -7 + 11. Solve 2*j = q*t - 3*t - 2, 3*t = 4*j + 2 for t.
-2
Let z = -113 + 117. Solve -3*t - 2*l = -z, -t - 5*l - 16 = -0*t for t.
4
Suppose 4*j + 8 = 4*t, 2 = -j - 4*t + 3*t. Let s = j - -6. Suppose 2*p - 2*o - 9 = 3, p + 2*o = 3. Solve -p*b + 5*w = -3*b - 5, s*w = 4 for b.
5
Suppose -2*l = -0*l + i - 113, 2*i + 110 = 2*l. Suppose 3 = -h + 1, -5*k + 3*h + l = 0. Solve 0 = -5*d + a + 19, -3*d + 7 = -2*a - k for d.
3
Let v(d) = -d + 5. Let n be v(-8). Solve -3*w + 4*f - n = 5*f, -2*f - 14 = 2*w for w.
-3
Let v be (0 - 4)*(-1 - 0). Suppose 0 = 2*h - 5*p + v, 0 = -0*h - 3*h + p + 7. Let y be 2 + 0 + -4 - -26. Solve g = 5*b + y, 5*b = h*g - 39 + 7 for b.
-4
Suppose -3*h - 4*w = 41, -4*h - w + 28 = 74. Let u = h + 13. Solve 5*v = -4*z + 37, -2*z - u*v + 16 = -0*z for z.
3
Suppose -l + 3*l = 6. Let t be 0/(l - (-5)/(-1)). Solve t = -2*c + 5*x + 5 + 4, -2*x = 2*c + 12 for c.
-3
Suppose 0 = -5*d + 3 + 17. Suppose 3*n = 2*x - 8, 0*n - 16 = -d*x + 2*n. Solve l - j = 1 + x, 5*j = -25 for l.
0
Let x(m) = 12*m - 6. Let b = 4 - 1. Let n be x(b). Suppose l = 3*p - 4*p + 8, -8 = 4*l - 4*p. Solve -n = -5*z - 5*k, 0 = l*k - 2 - 13 for z.
1
Let i(w) = w**3 - w + 12. Let c be i(0). Suppose c = 3*s - 3. Solve s + 5 = y + 3*t, 5*t - 30 = 5*y for y.
-2
Let c(f) = 38*f - 1. Let m be c(1). Suppose 1 - 7 = -3*r. Suppose -4*p - 6 = -2*v, r*p = -5*v + p + m. Solve 5*g - 3*d = 25 - v, g - 5 = 2*d for g.
3
Let c = -49 + 62. Solve x + 0*v - 3*v = c, -14 = -3*x + 4*v for x.
-2
Suppose 3 = p - 2. Suppose p*j - 38 = -13. Solve -y + j*f - 25 = 0, -5*y - 2*f + 7*f - 45 = 0 for y.
-5
Suppose 2*d + 2 = -0*d. Let o(h) be the first derivative of -17*h**2/2 - h + 4. Let k be o(d). Solve u - 12 = -4*q, -4*q - k = -2*u - 40 for u.
-4
Let d = 111 + -108. Solve d*v + 5*q = -0*q + 19, -5*q = -25 for v.
-2
Let j(a) = -9*a - 67. Let p be j(-8). Solve 22 = 5*q - 3*d, 5*q + 0*d = p*d + 30 for q.
2
Suppose 0 = 3*h + 2*h - h. Solve -3*d + 5*m - 9 - 4 = h, 5*d + 5*m - 45 = 0 for d.
4
Let s(p) = 4*p. Let a be s(2). Let m be (-14)/3*(-14 + 17). Let d be ((-4)/(a/m))/1. Solve -u - 3 = 0, -d = -3*i + 3*u + 8 for i.
2
Let p = 17 + -7. Solve -m + p = -2*y, 0 = -m - y + 3 - 2 for m.
4
Let a = 5 + -3. Let x be (-1)/2 - a/(-4). Let s be 0 - x/(2 - 4). Solve 4*q - 5*r + 9 = s, 5*q + r - 21 = 4 for q.
4
Let v(u) = -5 + 3*u**3 - 2*u + u**3 + 3*u**2 - 4*u - 3*u**3. Let z be v(-4). Solve j + z = -4*l, -2*l + 1 = 3*j - 2*j for l.
-2
Suppose 24 = 4*f + 16. Solve 0 = b + f*w - 10, -4*b - 2*w + 22 = -0*b for b.
4
Let u(t) = -t**3 - 5*t**2 + 5*t - 1. Let l be u(-6). Solve -4*j + l*m - 5 = 0, -3*m + 25 = 2*m for j.
5
Suppose o + 38 = -3*o + 5*g, 5*o + g = -33. Let q be 52/14 + (-2)/o. Solve q*n + 3*l + 13 + 8 = 0, 3*l = -3*n - 18 for n.
-3
Suppose -5*z = -3*g - 15, 2*g - g + 6 = 2*z. Solve m + 2 = g, -2*m + 2 = 3*s - 0*s for s.
2
Let g = 6 - 2. Suppose -3*i = -3*p + 18, 7*i = -3*p + 3*i - 3. Solve -15 = 3*d + g*z, -p*z = -0*z for d.
-5
Suppose -2 - 18 = -5*z. Suppose -2*y = z*o + 6, -3*y = 2*o - 2 + 11. Let m = 33 + y. Solve -5*s - m = -5*g, 4*s - 4*g + 12 = -3*g for s.
-2
Suppose -4*g = -g - 6. Solve -k - 9 = -4*k - 3*o, -o + 3 = g*k for k.
0
Let v(s) = s - 1. Let j be v(6). Let m = 0 + j. Solve 0 = 3*r + m*k - 7 - 6, -5*r + 5*k - 45 = 0 for r.
-4
Let u(l) = 4*l**2 + l + 1. Let m be u(-2). Suppose i = -3*f + m, -2*i + 8 = 3*f - 7. Let z = f - 2. Solve 2 + 3 = k - 2*a, a + 15 = z*k for k.
5
Suppose -2*w - 7 = -2*o - 3*w, 5*o - 5*w = 25. Let d be (40/(-25))/(1/(-5)). Solve 5*r = 2*m - d, o*r - 4*m + 0*m + 4 = 0 for r.
-2
Suppose -87 = -5*k + 143. Suppose 0*g - 4*o + k = 2*g, -5*o + 65 = 3*g. Suppose -6*h = -2*h - 8. Solve 3*u - 9 = 3*y, 4*y - h*u = -y - g for y.
-3
Let m = -55 - -80. Solve 5*u - m = 0, -2*p + 0*p = 2*u - 10 for p.
0
Suppose 2*l = 2*b, 3*b + 2*l + 7 - 27 = 0. Solve 3*z + 26 = b*p + 1, -5*p = -2*z - 26 for z.
-3
Suppose -15*i = -19*i + 40. Suppose -7 = 3*r + 5*z, 2*r = r - 3*z - 9. Suppose -r*g = -g - i. Solve m = -g*f - 0*m + 13, -5*f + 30 = 2*m for f.
4
Let u be (3 - -1) + -1 + 0. Suppose 2*m + 2 = -2*r, 24*m + 10 = -r + 20*m. Solve -4*o + 10 = -d, -r*d - u*o + 13 = -0*d for d.
2
Let t(x) = x**3 + 5*x**2 - 7*x - 4. Let s be t(-6). Solve s*u + 6 = 2*w, -7*u = -4*u - 2*w + 10 for u.
-4
Let f(g) be the first derivative of g**3/3 - g**2 - 4*g + 2. Let j be f(4). Solve -m - 8*c - 4 = -j*c, c + 14 = 3*m for m.
4
Let x be (-8)/24 + (-4)/(-3). Suppose y + x = 3. Solve 0*f = y*f + 2*c + 6, 2*c = 2*f + 10 for f.
-4
Let n = 2 - 2. Let a = -7 - -11. Solve 4*f = -16, 4*p + 3*f + 24 - a = n for p.
-2
Suppose x = 13 - 11. Solve -5*o - 30 = 2*z, -4*z - 2*o - 18 = -x*z for z.
-5
Let h be (-97)/(-9) - (-6)/27. Solve t + 3 = -3*b + h, -b + 4 = 0 for t.
-4
Let q be 2/(-13) - (-308)/143. Solve -3*g + x = 12, 2*g + g - q*x = -15 for g.
-3
Suppose -3*o + 7 = w, 1 = 3*o + 5*w + 2. Solve o*n = -5*c - 6, -7*n + 4*n + 15 = -2*c for n.
3
Let o(g) be the third derivative of -g**4/24 + 2*g**3/3 + 2*g**2. Let f be o(0). Solve -b = a, -5*b + f*a = -0*a for b.
0
Let q be 64/36 - 4/(-18). Let p be 3 - (-3)/(3/4). Solve -5*d - 5 + q = 2*w, -p = 2*w + d for w.
-4
Suppose -3*m + 39 = -2*m. Suppose 0 = b - 4*b + h + 33, -h = 3