*g, -3*g = g - 4*n + 24 for g.
-3
Let d(w) = -w**2 + 11*w + 13. Let x be d(12). Let o be (-6)/(-15) + 7/(-5). Let n be -1 + -1 + 5 + o. Solve 4*g - 4 = 5*f + 3, x = f - n*g for f.
-3
Let j be (-35)/(-4) - (-2)/8. Suppose -2*f + 26 = -3*k + 3*f, -5*k - 3*f + 2 = 0. Let z = 3 - k. Solve -4*t - 9 = 2*i + j, -3*i = z*t + 24 for t.
-3
Let m be 1/((-1)/(4/(-2))). Let i be (m/(-5))/((-4)/60). Solve -3*k = 3*l - i, 6 = 4*k + 3*l + 3 for k.
-3
Let y(i) = -4*i + 10. Let p be y(8). Let l be (-48)/p - 8/44. Solve 0 = -l*n - 4*m, -n + 3*m + 7 = n for n.
2
Suppose 0 = 5*d + 3*i - 9, -i - 8 = -2*d - 0. Solve v = 0, -8 = 4*p - 4*v + d*v for p.
-2
Let l(m) = -m**3 - 9*m**2 - 13*m - 18. Let h be l(-8). Solve 5*i = 2*o, i + 2*o + h = -2*o for i.
-2
Suppose 0 = 3*j - 0*j. Solve 0 = 5*a + 5, 3*q - 5*a - 8 = -j*q for q.
1
Let j be (-2 - (-4 + -2))/(2/1). Solve 0 = -6*h + h + 2*s + 33, 2*s - j = -2*h for h.
5
Let h be 6*(3 - 1)/2. Let n = h + 19. Solve 3*w + 5*c = 13, 5*w - c + 0*c = -n for w.
-4
Let z = 10 + -6. Suppose -4 = -o - 0*o. Suppose -5*k - 10 = 0, -o*i + 0*k = -4*k - 28. Solve 3*t + z*y = 8*t + 2, -5*t + 5*y - i = 0 for t.
2
Let n = -19 + 19. Solve 5*v = 5*t - 15, -3*v - 4*t - 23 = -n*v for v.
-5
Let o be (-2 - -10) + (-2 - 2). Solve -o*f - 6 = 2*c, 3*c + 4*f + 5 + 2 = 0 for c.
-1
Suppose -4*n - 5*b + 0 + 41 = 0, 0 = 3*n + 4*b - 30. Solve -5*p + r = -0*p - n, 2*r + 18 = 5*p for p.
2
Suppose 4*x = 4*a + 32, -2*x - 7 = 3*a + 2. Let q = 60 + -40. Suppose -q = -x*i - 8. Solve -2*u - u + 12 = -3*t, -5*t - 3*u = -i for t.
-1
Let d = 7 - 4. Suppose 0 = b + 2*g - d, g + 2 = b - 1. Solve -4*r - 3*m - b = 0, -4*r + m + 27 = -2*m for r.
3
Let g be 1/(-2)*(-1 - 5). Solve g*l - 3*t + 6 + 0 = 0, 10 = l - 5*t for l.
-5
Let x = 74 - 67. Solve s = 2*n + 7, 5*s - 2*n - 2 = -x for s.
-3
Let t(u) = -u**3 - 8*u**2 + 20*u + 2. Let w be t(-10). Solve 2*g + w*g = 3*x + 5, 0 = 2*g - 2*x for g.
5
Let k(g) = 26*g**2 + 1. Suppose -7 = 3*v - 2*f, 0*v - 4*f = -2*v - 18. Let n be k(v). Solve 3*a - 6*a + 3*j = 21, -3*j + n = -5*a for a.
-3
Suppose 0 = 8*r - 15 - 9. Solve d = -r*x - 10, 5*d + 17 = -2*x - 2*x for x.
-3
Let c = 14 + -11. Let j be (-2)/(c/(-6) - 0). Solve 5 = 5*h + 2*w, j*h - 3*h + 21 = 4*w for h.
-1
Suppose -137 = -5*r - 27. Solve -4*d = -4*c + 4, 2*d - 3*c + 7*c - r = 0 for d.
3
Let s be (5/((-10)/(-36)))/(50 + -48). Solve 28 = 4*w + 2*y, -3*w - 4*y - s + 40 = 0 for w.
5
Suppose 0 = w + 2*z - 17, 5*w + 24 = -4*z + 103. Solve u - 5*p = -21, 0 = 4*u - u - 3*p + w for u.
-1
Suppose a - 16 = -4*f, -6*f + 3*a - 3 = -3*f. Solve -k = -n + f, -5*n + k = -0 - 19 for n.
4
Suppose -d = -4*t + 31, -4*t + 12 + 21 = d. Suppose 4*s = -0*s + t. Solve 4*f + 0*f + 8 = 5*q, 0 = f - q + s for f.
-2
Suppose 0 = 4*v - 21 + 9. Solve 0 = -3*i + 8*i + v*k + 35, 4*i + 41 = -5*k for i.
-4
Let x = 14 + -11. Suppose -z = 3*k - 39, -41 = -x*k - 2*z + 1. Solve -3*c + 6 = 0, -g + 0*g = -5*c + k for g.
-2
Suppose 0 = -4*v + 4, -5*f + 16 + 13 = 4*v. Solve q = -4*m - 9, f*m + 2*q = -q - 13 for m.
-2
Let b(c) = c**3 - 6*c**2 + 5*c + 6. Let i be b(5). Let v = 2 + 2. Let m be (-80)/(-3) - v/i. Solve 3*z + 0*z = 5*q + 37, -4*z + 2*q + m = 0 for z.
4
Let g(c) = -c**2 - 8*c + 5. Let u be g(-8). Suppose 0 = u*i - 10. Let o be i*1 + 6 + -4. Solve o*x - 14 = -4*m - 38, 2*x = m for x.
-2
Suppose -2*m + 50 = -t, -5*m + 4*t = -0*m - 125. Solve 12 = -4*y, y = -4*d - 2*y - m for d.
-4
Let c = 3 + 3. Solve c*m = -b + m - 17, -5*b = -3*m + 1 for b.
-2
Suppose j + 0 = 4. Let v be (2 + 2/(-6))*3. Solve -3*k - v*u = -j + 23, 0 = -k + 4*u + 5 for k.
-3
Let h be -1 - 3*(2 - 6). Let p(q) = q**2 - 14*q + 30. Let d be p(12). Solve 0 = 3*m + 3*k - 4*k + h, 3*k = d for m.
-3
Let y = 10 - 8. Suppose -v = v + 5*g + 5, 3 = -3*g. Solve v = b, y*s + 4*b + 1 = 3 for s.
1
Let g(d) = -d**2 + 2 + 0 - 4 - 5*d. Let w be g(-4). Suppose 0 = -5*a + 2*r + 6, a + a + 2 = 3*r. Solve a*p - 27 - w = -5*s, 5*p = 10 for s.
5
Let h be (1/1)/((-2)/(-6)). Let g = -9 - -37. Let t be 7*(120/g + -4). Solve h - 1 = 2*d + 4*x, 2 = -2*d - t*x for d.
-3
Let d(p) = 2*p + 9. Let r be d(-3). Solve r*a + 0*z - 8 = 2*z, -5*a = -5*z - 15 for a.
2
Suppose 0 = 2*z + 4*i + 12, -i + 5 - 8 = 2*z. Let f be (-3 - z) + 5 + 14. Let y be 10/4*(-8)/(-10). Solve 5*p + 2*x - 6*x - 33 = 0, 4*p + y*x - f = 0 for p.
5
Let s(a) = -4*a - 7. Let x be s(-7). Suppose 3*r + f - 4 - 31 = 0, r + 5*f = x. Solve r = p + c + 2*c, c - 1 = -3*p for p.
-1
Suppose 2*b - f - 14 = -4, -2*f + 10 = 2*b. Solve 7*w + 14 = 2*w - 2*c, -6 = b*w - 2*c for w.
-2
Let s = -40 + 47. Solve 3*u - z - 11 = 0, 5*z + s = -u - 0*u for u.
3
Let l be 5/3 + 1/3. Suppose -4 = -l*t - 2*t. Let h = 3 - t. Solve 3*m + h*q - 9 = 5*q, 4*m = -q - 13 for m.
-2
Suppose -5*d = 5*i - 2*i - 10, -2*d + 4 = 4*i. Suppose q - 6 = 1. Let y = q - 4. Solve i = x + 2*c + 4, -5*x + 5 = -4*c - y for x.
0
Suppose -20*i + 10 = -22*i. Let c be (1 - 0)*-2 + 10. Let d = c + i. Solve -k + 2*h + 0*h = 5, d*k = 3*h for k.
5
Let r(x) = -x**2 - 7*x + 5. Let d be r(-7). Let l be d/(5/2) + 2. Solve 5 = h, h + 19 = -4*v + l for v.
-5
Suppose 3*p - 5*d - 10 = -3*d, -2*p - 5*d = 6. Suppose -10 - 10 = -j + 3*h, -3*j = p*h - 5. Solve -19 = j*s - 2*f + f, -s + 5*f + 1 = 0 for s.
-4
Let t(o) = 5*o - 6. Let p(k) = 1. Let l(c) = -5*p(c) - t(c). Let g be l(-3). Solve -a + 3*d = 1 - 3, 4*a - 4*d = g for a.
5
Let g = 27 + -24. Solve 4*h + 0*d = -2*d, -h = -d + g for h.
-1
Suppose 5*z = 5*p, -p = -2*z - 5*p + 18. Suppose 4*u = 5*u + 5*r, -5*u + 30 = -5*r. Solve 0 = u*h - f + 11, -2*h = z*h - 4*f - 1 for h.
-3
Suppose 3*g - 4*h = 28, g + 2*h = -3*h - 16. Let t be -3 + 2*(g - 1). Let b = t + -1. Solve -2*d = 5*k - 10*k - 7, 17 = -3*k - b*d for k.
-3
Suppose 0 = -2*z - 2*z + 20. Solve z*o = 5*h - 5, 2*o - 2 + 0 = -2*h for o.
0
Suppose z - 4*z = -24. Let l be (-68)/(-18) + z/36. Solve -l*u + 0*n - 5 = -5*n, 5*u - 2*n = 15 for u.
5
Let a(m) = m + 11. Let d(v) = v + 7. Let g(z) = 5*a(z) - 8*d(z). Let s be g(-1). Solve -3*p + 5*n = s*p + 10, 3*p = -4*n + 22 for p.
2
Suppose -4*g + 3*g + 1 = 0. Solve 0 = w - l - g, 2*w - 3*l = w + 5 for w.
-1
Suppose 0 = -4*f - 0*f + 16. Solve -28 = 2*u - 5*b, 3*b - 16 - f = 2*u for u.
-4
Suppose 2*y - 2*o - 22 = o, o = 4*y - 64. Suppose q - 24 = y. Let l = q - 21. Solve -d + 3 = -0, 0 = -w + 5*d - l for w.
-5
Let t(u) = -4*u + 1. Let w be t(3). Let i = -7 - w. Suppose 0 = 4*l + 4*g - 8, l + 4*g = 8 - 0. Solve -i*v + 0*v = l, -5*x + 3*v = 25 for x.
-5
Suppose 2*f + 4*s - 22 = -6, -4*f - s + 25 = 0. Let c = f + -10. Let o be c*(-1 - -2)/(-1). Solve -2*u = o*j + 8, -2*u - 8 = -0*j + 3*j for u.
-4
Suppose 0 = -17*v + 11*v + 24. Solve 2*w = -f - f + v, 3*f - 7 = -2*w for f.
3
Let p(b) = -b + 2. Let k be p(-2). Let h = k + -4. Solve h = -5*o - 2*r + 6, -5*r = o + 4*o for o.
2
Let j(t) = -t**3 + 7*t**2 - 5*t + 3. Let u = -5 + 11. Let d be j(u). Let l be (-64)/20*30/(-4). Solve -w - d = k - 3*w, k - 5*w = -l for k.
1
Let i = -2 - -5. Suppose i*h = 7*h - 28. Solve -5*c + h = j, 0 = -3*j - c - 3*c - 1 for j.
-3
Let r = -25 - -27. Solve 5*l - 12 = -p + 12, -r*l + 8 = 0 for p.
4
Suppose 2*a + 3*n - 46 = 0, -3*a - 2*a - 3*n = -106. Solve 5*k - a = 4*v, -2*v - 3 - 7 = 3*k for v.
-5
Let w = -14 - -20. Suppose -3*y + 1 = -3*c + 19, w = -c - 3*y. Solve 3*z - 2*z = -k + 1, 0 = c*z - k - 15 for z.
4
Let h(j) = -j + 1. Let l(q) = -3*q + 28. Let r(s) = -4*h(s) + l(s). Let b be r(-10). Solve 3*w = 3*i + 21, -3 = -5*i - 3*w - b for i.
-4
Let v(w) = -w**2 + 3*w + 6. Let r be v(5). Let h = r + 8. Solve -z + 2*z + 2 = -n, 2*n + h = -4*z for n.
-2
Suppose q + 3*q = 12. Solve -2*o = -q*v + 4, 20 = -3*o - o for v.
-2
Suppose -r = -4*r + 3. Let u be 1/(2/4*r). Let p be 2 + 1/(1/(-2)). Solve p = -3*l - f + 11, -25 = -3*l - u*l - 5*f for l.
3
Let f(w) be the first derivative of -w**3/3 + 6*w + 2. Let o be f(0). Suppose -k = k - o. Solve h = -4*z + 9, -z = h + h + k for z.
3
Let q(d) = -d + 1. Let u be q(-4). Suppose -5*i + 4*i = 2*w - 14, u*i + 4*w = 70. Solve 3*n - o - 7 = 0, 4*o = -6*n + 4*n - i for n.
1
Let i(l) = 3*l + 1. Let n be i(5). Suppose 0 = -a + 5*a - n. Suppose 0 = a*h + 5*m - 23, -4*h = h - 4*m - 39. Solve -4*b + 8 = 2*u, -b - h = -4*b - 2*u for b.
1
Suppose 0 = 9*l + 10 - 37. Solve 5*d + 2*x + 11 = 0, -l*x = 2*d - 2 + 13 for d.
-1
Let f = 5 + -5. Suppos