lve -k*g + 8 = -2*d, 3*g + 3*d + 0*d = -6 for g.
1
Let f(k) = -k**2 - k + 2. Let q be f(-2). Solve -2*t + b = 2*t - 13, q = 3*t + b - 15 for t.
4
Let y be (2 + -36)*(-5)/10. Let r = y - 6. Solve -3*s + r = 5*v, -4*v - 4*s = -v for v.
4
Let f be (1/((-6)/2))/((-7)/105). Solve 0*j + 4 = 5*s + 2*j, -2*s - f*j = 11 for s.
2
Let t = 3 - 7. Let r be (5/2)/((-2)/t). Suppose -h + 1 + 15 = 0. Solve 5*b = r*a - 10, -4*a - 5*b = 3 + h for a.
-1
Suppose -1 = l - 3. Let f be 3/6 + l/4. Solve -10 = 4*v + v + 5*z, 3*v = 2*z - f for v.
-1
Let j = -5 + 11. Suppose q = j*q - 5. Solve -2*t + q = o - 0*t, o = -t for o.
-1
Let h be ((-3)/(-2))/(3/(-4)). Let q be (-15)/(-20) - h/8. Let m = -2 + 2. Solve 5*a = 4*x - q, m*a = -4*x - a - 5 for x.
-1
Suppose -7 = -4*k + 1. Suppose -k*z + 5 = -3*z, 3*z + 45 = 5*p. Solve -i + 13 = 2*l - p*l, 4*l + 18 = 2*i for i.
5
Suppose -2*u = -w - 5, 3*w + 4*u = u + 30. Solve 3*f = -w*d - 12, -2*f = 6*d - 3*d + 8 for f.
-4
Suppose -5*r + 4*r - 12 = 0. Let o = 7 - r. Let m = o - 10. Solve -2*s - 5*t - 5 = 0, -1 = -2*s - 2*t - m for s.
-5
Let w = 134 + -131. Solve -3*x - w*f + 11 = -2*x, 0 = -5*x + 4*f - 21 for x.
-1
Let v(a) = a**2 - 7*a + 8. Let s be v(6). Let h(g) = s*g - g + 0*g + 1 - 4*g. Let u be h(-1). Solve -2*y + 0*t = -5*t, -3*t + u = -2*y for y.
-5
Suppose 4*s = 9*s - 2*w - 17, -4*s = -4*w - 4. Let u(f) = f**2 - f - 1. Let k be u(-1). Solve 5*c = -t + 10, 3*c - s - k = 3*t for c.
2
Let r(l) be the second derivative of -l**5/20 + l**4/4 - l**3/3 + 3*l**2/2 - l. Let g be r(2). Solve 0 = -w - g*t - 17, -2*t = -4*w + 2*t + 12 for w.
-2
Suppose -2*v - 59 = -3*c, 2*c + 5*v = v + 34. Solve 4*d + 21 = -d - h, c = -3*d + h for d.
-5
Suppose 2*p = -2*p - 3*f - 6, 5*f + 10 = p. Let l be 0 + p/(-6 + 3). Solve 0 = -2*x - a + 2 - 9, l = -5*x + 3*a - 1 for x.
-2
Let w(z) = -z**3 + 3*z**2 + 3*z - 5. Let j be w(3). Solve -13 = -j*c + 5*u, 4*c - u - 2*u - 3 = 0 for c.
-3
Let x = -15 - -17. Solve -l - x*t = 5 + 1, -3*l + 37 = -5*t for l.
4
Suppose 5*p - 6 = 2*g, -p + 3*g + 0 = 4. Solve -2*t - t = -p*j + 2, 5*j + 21 = t for j.
-5
Let w be ((-44)/(-33))/(2/3). Solve 0*y - w*y = -2*i - 8, y = 0 for i.
-4
Suppose 2*u - 3*r + r = 14, -5*u - 4*r + 8 = 0. Solve -7 = -4*m + 5, u*m = -3*n + 18 for n.
2
Suppose 0 = -4*t + 11 + 9. Solve t*x - 19 = 4*i, -2*i = 2*x + 1 - 5 for x.
3
Suppose 0 = 4*q + 20 - 36. Solve -6 + 20 = -3*z + 5*x, -q*x + 16 = 0 for z.
2
Let i(o) = -o. Let v be i(2). Let y = v + 5. Suppose 3*p = 9, -2*k + 17 = -0*k + 3*p. Solve y*l = l + 2*n + 12, k*n = -l - 9 for l.
3
Let v(c) = -c**3 + 13*c**2 + 12*c + 28. Let p be v(14). Solve p = -3*i - 2*t - 6, 0 = 2*t + 5 + 1 for i.
0
Let u = 28 - 26. Solve -5*d + 3*l - 32 = 0, 8 = -2*d - 2*d - u*l for d.
-4
Let q = 14 + -13. Solve 0 = -4*a - 3 - q, 0 = -2*i - 2*a for i.
1
Let z be 72/28 + ((-40)/(-28) - 2). Solve 7*d - 8 = -4*f + z*d, -2*f + 4 = 3*d for f.
2
Let q = -1 - -3. Suppose -3*w + r = -3*r - 11, -4*r + 16 = 0. Suppose -3*k - 5*s = -31, -q*k - w = -2*s - 3. Solve -6 = k*n + 4*l - 2, 4*l - 4 = 0 for n.
-4
Let x(z) = 2 + z + 3*z**2 + z - z**2. Suppose -1 + 11 = -5*u. Let t be x(u). Solve -i + j = -j + t, -j = i for i.
-2
Suppose y = -4, 4*b - 3*y = 2*b + 22. Solve 2*o + 3*g - 1 = 0, -12 - 4 = -b*o - 3*g for o.
5
Suppose -2*u - 2*u = -4*v - 52, 4*v + 65 = 5*u. Let d be u + -6 - (1 + 1). Solve 4*m - 15 = d*t, 4*t - 2*m + 5 = -1 for t.
1
Let q = 13 - 20. Let x be ((-14)/6)/((-2)/6). Let a be 2/q - (-23)/x. Solve -a*p + 9 = -0*i - 3*i, 0 = -i + 3*p - 1 for i.
-4
Let h be (17 + -2)*(-4)/(-4). Suppose -2*f + 5*l + 27 + 0 = 0, 0 = -5*f + 2*l + h. Solve 5*u + 11 = -n, -2*u - f = 5*n + 8 for n.
-1
Let m be (-18)/153 - (-36)/17. Let i = 5 - 1. Let y(n) = n**2 - n - 1. Let s be y(2). Solve m*q + 3 + s = 2*w, 0 = -2*w + i*q for w.
4
Suppose -5*s + 12 = s. Solve 4*j + 17 = -s*v + v, 3*v - 24 = 3*j for v.
3
Suppose 5*c - 4*v + 2 = -0*v, 4*v = 12. Let j be (-7)/(-1) + (-1)/(3/6). Solve d = 2*i - c, -d + 6*i - j = i for d.
0
Suppose -3*y + 3 = r, -3*y = -2*r - 0 - 12. Suppose y*p = -1 + 21. Solve 4*n - n + f = 15, 0 = 4*n - 2*f - p for n.
4
Suppose -y + 6 = y. Suppose c + 2*h - 3 = 0, -5*c + 5 = -y*h - 10. Solve 3*i + i - 18 = c*r, -3*r - 21 = -5*i for i.
3
Let b(z) = 5*z - 5. Let l be b(2). Solve -3*v = 3*o, -3*v = 5*o + 5 + l for o.
-5
Let p = 6 - 3. Suppose -15 = -2*t - 4*z + p*z, 4*t - 2*z = 10. Solve -n + 3*m - 9 - t = 0, 0 = -2*m + 10 for n.
1
Let f(q) = -q + 9. Suppose -6*d + d = -45. Let o be f(d). Let s = o - -3. Solve -3*b - 5*r = -b + 20, -5*b - 12 = s*r for b.
0
Let h(v) = -v**3 - 4*v**2 + 12*v + 4. Let y be h(-6). Solve 28 = y*b + 5*m, 3*b = b + m for b.
2
Suppose 5*x = -2*m + 14, 4*x = -m + 4*m + 25. Suppose -5*l = -5 - 5. Let i(b) = b**2 + 12*b + 4. Let y be i(-12). Solve -c - 4 = -y*d, -l*d + 4*d = c + x for c.
-4
Let d be (-2 + 3)/1 + 2. Solve 4*g = 3*l - 7, -d*g + l + 2 = 6 for g.
-1
Let h be (-120)/16*(-1 - 1). Solve 2*i + 3 = -0*i - 3*a, 0 = -i + 4*a + h for i.
3
Let k(p) = -p + 4. Let g be k(4). Suppose -3*y + 6*y - 72 = g. Suppose -3*o = -4*m - 12, -11 - y = -4*o - m. Solve -2*l + 0*l = -z + o, 3*l + 11 = z for z.
2
Suppose 0 = 2*z - 6 - 4. Solve -4 = -4*q + z*d - 28, 23 = -3*q + 5*d for q.
-1
Let d(v) = 3*v + 3. Let b(i) = -i - 1. Let m(a) = 5*b(a) + 2*d(a). Let g be m(-2). Let k be 2*(2 - (g - -1)). Solve -c - 7 = r, 5*c - 5*r - k - 11 = 0 for c.
-2
Suppose -4*g + 2*h = -58, 0 = -2*g - 2*h + 7*h + 25. Solve 0 = 5*f - 0*y + 4*y + g, 0 = -5*f + 5*y + 30 for f.
1
Let u be (20/(-6))/((-22)/33). Suppose -15 = -u*c + 10. Solve w - 6 = -2*d, 5*d - 1 = -4*w + c*w for d.
1
Suppose -4*k - 4 = 4. Let n be 1/k - 8/(-16). Solve j + 4*j + r + 12 = n, -5*r = 10 for j.
-2
Let l(q) = q - 3. Let c be l(6). Suppose t - 2 = -3*n - c, -11 = 5*n + 4*t. Let g = 150 + -148. Solve -4*x - n = 5*p + 6, g*x + 7 = p for x.
-3
Suppose -5*j + 12 + 13 = -h, 7 = -2*j - 3*h. Solve 3*l = -5*q + 6, 4*l - 2*l - 4 = -j*q for l.
2
Let f = -19 - -12. Let a be f/(-3) - (-6)/9. Suppose -2*o + 3*q - 6 = q, q + 1 = a*o. Solve -n - 12 = 3*n, -4*n = -o*x + 4 for x.
-4
Suppose 0 = 3*f - 7*f + 60. Suppose 2*y + 2*y + 3*q + 13 = 0, 4*y + 4*q + 16 = 0. Let i be (-8)/(-3) - y/3. Solve -d + 14 = 5*o - 11, 3*o - f = -i*d for d.
0
Let x(c) = c**3 - 6*c**2 + 2. Let i be x(6). Solve -i*u = 2*f + 6, 3*u + 14 = -4*f + u for f.
-4
Let c be (-32)/10*(-15)/6. Let o = c + -2. Suppose 4*t = 6*t - o. Solve -t*r + 20 = -n, -2*r + 2 + 28 = -4*n for r.
5
Let a = 2 + 2. Solve 2*z - z - 2*d - 12 = 0, -5*z - 10 = a*d for z.
2
Suppose 2*t = 4*t - 6, d - 3*t + 7 = 0. Suppose -d*y - 3 = 7. Let n = 7 + y. Solve -w + 3*w + n*k = 2, -11 = 3*w - 4*k for w.
-1
Let x(r) = 3*r + 3. Let t be x(3). Suppose 4*h = -t + 104. Suppose 3*s + 9 = 0, 0 = 5*p + 5*s + 3 - h. Solve -2*j - 8 = -2*d, -j + 2*d + 0*d = p for j.
-1
Let i be (-69)/(-4) + (-1)/4. Solve n + i = 3*j, 9*j - 4*j - 33 = 4*n for n.
-2
Let n(r) = r**3 - 9*r**2 + 8*r + 5. Suppose 2*q = -0*f - f + 16, 3*q - 24 = 5*f. Let l be n(q). Solve -3*m = -0*y - y + l, -y = m + 3 for y.
-1
Suppose 8 = p + 1. Let o(t) = -t + 6. Let i be o(p). Let l be (i - 1)/(-4)*8. Solve l*c + c = 2*r - 17, -3*c - 3*r - 27 = 0 for c.
-5
Suppose -2*s = 4*f - s - 42, -3*f + 28 = -s. Suppose f*b - 7*b - 15 = 0. Solve 4*r - 2 = -a, a = -5*r + b*a - 8 for r.
0
Let p be (8/(-3))/(4/(-6)). Solve p*a - 5*m = -0*a + 5, -3*m - 3 = -2*a for a.
0
Let m be 1*15/9*3. Suppose 4*g = -2*i - 0*i + 12, -m*i = 10. Solve -2*f + 3*r - 19 = -2*r, 4*r = g*f + 8 for f.
3
Suppose a + 10 = 3*a. Solve -4*p - 1 = w + a, 16 = -5*p + 3*w for p.
-2
Let a = 15 + -9. Solve 4*g - 5*i + a = -10, g + 4*i = -4 for g.
-4
Let w(u) = u + 11. Let m be w(-6). Solve 2*g - 3*y - 4 = -y, -m*y - 28 = g for g.
-3
Let m be 2/(-5)*(-4 + -1). Let y = 49 + -47. Solve -u + m*i + 19 = 6*i, 3*u - 17 = -y*i for u.
3
Let z(l) = 9*l - 20. Let a be z(5). Solve -2*u + 0 = 5*y - a, 4*u = 4*y + 8 for y.
3
Suppose -t + 8 = -d, 0*d - d - 18 = -3*t. Let j be (1/d)/(4/(-36)). Solve -7*c - 25 = -2*h - 2*c, -9 = j*c for h.
5
Suppose 5*y - 2*w + 13 = 0, -2*w + 5 = -3*y - 6. Let v be (2 - (0 - -9))*y. Let r = 25 - v. Solve 4*i - 6 = 2*j, j + j - r = -4*i for j.
3
Let q = 11 - 10. Let v be q/2 + (-1)/2. Solve 4*k + 9 = k + 5*y, 3*y - 9 = v for k.
2
Let l(a) = a**3 + 4*a**2 + a + 1. Let g be l(-2)