. Let h be r(a). Suppose -5*x = 4*b - 78, 0*x = -5*x + 5*b + h. Solve 2*w - 3*o - x = w, 4*o + 23 = w for w.
3
Let u = 8 + -5. Let j = 6 - u. Suppose 5*c = 4*m - 44, -14 = -m - 0*c + 2*c. Solve -j*b + 3*t = -m*b - 21, 3 = -4*b + t for b.
-2
Let j(f) = f. Let b be j(3). Suppose b*n - 7*n + 12 = 0. Solve 4*h - 2*m - 14 = 0, n*h = 8*m - 3*m + 14 for h.
3
Let a(b) = 2 + 13*b**2 + 20*b**3 - 21*b**3 + 2. Let v be a(13). Solve v*k - 8 = -4*m + 16, 13 = 3*m - 2*k for m.
5
Let a(b) = -3*b**2 + 19*b - 2. Let n be a(6). Solve 4*o = -o + 3*x + 2, o + 18 = -n*x for o.
-2
Suppose -4*f + 2 = -3*f. Solve 0 = -5*o + 2*k, -5*o + o - f*k = 18 for o.
-2
Suppose p - 15 = -2*p. Solve 4 + 5 = 2*c + 5*k, p*c - 7 = 3*k for c.
2
Suppose -5*s = -12 + 2. Suppose 3*x - 125 = -s*x. Solve 5*a = 2*m + 17 + 8, 0 = -5*a - 4*m + x for a.
5
Let d(g) = -g**3 + 5*g**2 + 4. Let v be d(5). Solve 4*p - n = -11, n = -5 + v for p.
-3
Suppose 0 = -0*b - 5*b. Suppose -k + b*k + 5 = 0. Solve -3*v = v + 5*s - 9, -k*v = 2*s + 10 for v.
-4
Let m = -26 + 48. Let r be (1/(-2))/((-5)/20). Solve 3*n + r*y + m = -n, -4*n + 2*y = 2 for n.
-3
Let p be 36/8*4/6. Solve 3*h - 3*w + 3 = 0, p*h + 3*w - 7 = 20 for h.
4
Suppose -4*y + 9 = -15. Let p(b) = -b**2 + 7*b + 5. Let w be p(7). Let x = -2 + w. Solve 5*u = 4*f + 20, -3*u + y + 9 = -x*f for u.
0
Let n = -2 - -5. Solve -5*l + z = 9 + 4, n = z for l.
-2
Let j(n) = 2*n - 1. Let x be j(2). Let f(l) = -l**3 - 13*l**2 - 43*l - 7. Let q be f(-7). Solve -x*h = 3*w - q - 6, -4*w + 8 = -5*h for h.
0
Let d = 135 + -125. Solve -4*b = -4*n - 8, 3*n + 0*b - d = -5*b for n.
0
Let u(g) = g**3 - 5*g**2 + g. Let s be u(5). Let f be (-3)/9 + 4/3. Solve -4*y + 10 = 2*i, -s*i - 2*y + f = -16 for i.
3
Let u be (-2)/(-3) + 20/6. Let m be 2/(4*u/24). Solve 5*p - 9 = 5*h + 31, 34 = -m*h + 5*p for h.
-3
Suppose -i = -4*b + 15, -2*b - 25 = -3*i - 4*b. Suppose -14 + i = -3*w. Solve w*l = -1 - 5, 5*l = -3*c - 10 for c.
0
Let l be (-16 - -15)/(0 - 1/3). Solve 0 = -9*j + 4*j - 25, l*j + 12 = u for u.
-3
Suppose -4*u - 4*l - 23 = -5*u, 2*u + 3*l + 9 = 0. Solve -20 = 5*p - 4*t - t, -2 = -u*p - 4*t for p.
-2
Suppose 2*c = -0*v - 2*v + 8, 3*v = 6. Let g be 6/c + -1 + 1. Solve -3*u = 2*q + 9, g*q + 3 = -5*u - 12 for u.
-3
Suppose 28 = -5*n + 38. Solve n*q + 3*x = 4, -3*x + 20 = 2*x for q.
-4
Let w = -2 - -6. Suppose 0 = 5*l + p - 105, -5*p + 120 = 5*l - p. Solve -w*m = -4*y - 5*m + 20, 0 = -5*m + l for y.
4
Let t be 0/(0 + 2 + (3 - 4)). Solve -2*r + 4*c + 0*c = t, 3 = r + c for r.
2
Suppose 8*p - 30 = 3*p. Let d be ((-5)/10)/((-1)/p). Solve 5*n = -m + d*n - 7, -n - 5 = 0 for m.
3
Suppose 0 = 2*h - 7*h + 30. Suppose -2*s = -h - 0. Let k be (-8)/(-6) + 2/s. Solve 0 = f - k*g + 5*g + 14, 0 = f - g - 2 for f.
-2
Let o be (2 + -5)/(1/(-1)). Suppose -o*u = h - 2 - 2, 0 = 3*u - 3. Let q be 0 - (-6 - 0)/h. Solve -5 = -3*k + n, 2*n + q = 4*k - 0*n for k.
2
Let r(v) = 2*v**2 - 39*v + 24. Let h be r(19). Let q = 7 + -5. Solve -h*c = 5*l, 0 = 7*c - 3*c + q*l - 8 for c.
4
Let y = 3 + -1. Let p = -8 + 12. Suppose i - c = -0 + 2, 10 = 5*c. Solve 2*u = p*w - i, u = -5*w - 0 - y for u.
-2
Let u(t) = -t**3 + 4*t**2 + t + 1. Let g = 13 - 9. Let n be u(g). Let j = -7 + 12. Solve -2*f = -f - n*h + 1, 0 = -4*f - j*h - 4 for f.
-1
Let o(m) = 8*m - 13. Let v be o(2). Solve i + 7 = -3*f + 14, 12 = 2*f - v*i for f.
3
Let y be (-4)/(-14) + (-15)/(210/(-52)). Solve 3*b = -3, -4*b = y*c - 0*b for c.
1
Suppose 2*o = -5*w + 4 + 10, -3*w + 8 = o. Let f = o - 2. Solve 3 = 2*p - a, -4*p + 5*a - a + 16 = f for p.
-1
Let b = -3 - -11. Let g(v) = -v**2 + 7*v + 11. Let u be g(b). Solve 3*m - 6 = 3*q, 5*q - 22 = -u*m - 0*q for m.
4
Let q(n) = 18*n - 16. Let p be q(1). Solve 4*j + p*u = 3*j + 6, 0 = j - 3*u + 9 for j.
0
Let s be (1/3)/(2/12). Suppose -3*z + s = -13. Let y(f) = -f**3 + 11*f**2 + f - 11. Let o be y(11). Solve z*u + 41 = -4*n, -5*u + 4*n - 5 - 4 = o for u.
-5
Suppose -2*n + f + 26 = -0*n, -2*n + 3*f = -34. Solve 0 = -5*q - z - n, q - 9 = 4*q + 3*z for q.
-2
Let o(s) = 3*s - 10. Let l be o(5). Suppose -l*p + 10 = -110. Solve -p = f + 5*m, 4*f - 24 = -m + 5*m for f.
1
Let s = 1 - -2. Suppose -2*x - 22 = -5*h + 10, 3*h - s*x - 21 = 0. Solve -3*a + y + h = -2*y, -y + 2 = 3*a for a.
1
Let s(y) = -y + 6. Let b be (2/6)/((-2)/(-36)). Let l be s(b). Solve -h + 5 = -4*d - 12, 3*d + h + 4 = l for d.
-3
Suppose -4*c - 2*j + 16 = -0, -8 = -2*c - 5*j. Solve -c*b = b - 15, -5*a - 4*b = 13 for a.
-5
Suppose -24 = -3*h + 3*x, x = -h + 5*x + 20. Solve -k + 5 = -5*g, 3*k + h = -2*g - 2*g for k.
0
Let s(p) = -p**3 + 17*p**2 + 6. Let a be s(17). Solve -a = -3*t + 3*y, -4*y - 13 = -t + 1 for t.
-2
Suppose v = -0*h + 2*h - 1, -4*h + 17 = v. Suppose -4*k + 3*l = -0*l - 75, 5*k - 60 = -h*l. Solve m = 2*s - 3, m + 0*s - 5*s + k = 0 for m.
5
Let y = 4 - 13. Let s = y + 13. Suppose 0 = s*h - h - 6. Solve 0 = 5*g + 5*p - 30, h*g - 3*g + 18 = 5*p for g.
3
Let g be -2 + -3 + 3 + -1. Let l be 0 + (8 - -3) + g. Let c be 30/7 + (-2)/7. Solve 5*i + 4*w = l, -2*i = c*w - 1 - 7 for i.
0
Suppose -5 = 7*u - 8*u. Solve -u*i = -5*v + 3*v - 29, 0 = 3*v + 6 for i.
5
Suppose 5*d - 17 = 3. Let l(t) = -t**2 - 2*t + 1. Let j be l(-2). Let p = j - -3. Solve 2*a + p*u = -0*a - d, -3*a + 5 = -5*u for a.
0
Suppose -9*k + 4*k + 15 = 0. Let s = 11 - 6. Let i = s + -2. Solve -k*a - 5 = 1, i*r - a = 11 for r.
3
Suppose -3 = -4*l - 19. Let k be (-6)/l*(-4)/(-3). Suppose x + 24 = 3*h + 5*x, -k = h - 2*x. Solve -3*y - 23 = -5*v, -1 = v + y - h for v.
4
Let c = -73 - -87. Solve -5*b - c = -4*f - 3, 15 = 3*f + 3*b for f.
4
Let m be -3 + 3 + (12 - 1). Suppose -q - 30 = -5*d, -d = -2*q - m - 4. Solve d*c - 4*i + 28 = 0, i - 4*i = 5*c + 14 for c.
-4
Suppose -a = -3*j - 0*a + 7, -4*a = -3*j + 19. Suppose -4 = -g - j. Solve k = 4*y - 3*k + 12, -g*k + 4 = 2*y for y.
-1
Let l(g) = -g**3 - 8*g**2 + g + 10. Let x be l(-8). Suppose -4*s + o - 7 + 72 = 0, -x*o - 85 = -5*s. Solve 0*z - 3*f = -4*z - s, 0 = -2*z + f - 5 for z.
0
Suppose 5*q - 4*q - 4*v = -3, 2*q - 2*v - 6 = 0. Let c(y) = -y**2 - 7*y - 6. Let a = -9 - -4. Let w be c(a). Solve m - w*n = 2, -5*m + n - q = -4*n for m.
-2
Let m(c) = -2*c - 2. Let q(l) = -l - 1. Let s be q(2). Let i be m(s). Solve -2*u + d + i = 4*d, 5*d - 2 = -u for u.
2
Suppose -3*y - 3*m + 6 = 0, 6*y - 2*y + 5*m - 5 = 0. Solve y*j = v + 14, -3*j + 8 = -2*v + 1 for j.
3
Let g(u) = -u**3 - 18*u**2 - 18*u - 15. Let s be g(-17). Solve -2*f = -s*x - 14, 15 = f + 2*f for x.
-2
Let f be 6*1/(-2) + 7. Suppose -4*t + 16 = f. Suppose -4*q + m + 3 = -t*q, -4*m + 4 = 0. Solve -4*n = 3*j - 23, -q*j - 5*n = j - 35 for j.
5
Let q = 184 + -108. Let p = q - 54. Let g = -5 + p. Solve a + 1 = -4*d, 4*a - 5*d = g - 0 for a.
3
Let p(a) = 3*a - 2. Let h(v) = -10*v + 7. Let g(x) = -4*h(x) - 14*p(x). Let o be g(-2). Solve 3*z = -4*r + 3, -o*z = 2*r - 6 - 8 for r.
-3
Let z be 4/(-18) + (-968)/18. Let y = 81 + z. Solve t - 2*d = 3*d + 15, d = 5*t - y for t.
5
Let c(h) = 2 + 3*h**2 + h**3 + 2*h**2 - 4*h**2. Let d be c(0). Solve -2 = 3*b - d*g, 2 - 10 = 3*b + g for b.
-2
Suppose -19*g + 18*g = 0. Solve 5*x + 5 = -5*c, -x + g = -5*c + 7 for x.
-2
Let q(t) be the first derivative of t**2/2 - t - 1. Let n be q(3). Solve 10 = -0*c - 3*c + n*o, 0 = 3*c - 5*o + 16 for c.
-2
Suppose 4*t + 12 = 8*t. Solve -4*c + t*c = 5*f, 0 = -f + 4*c for f.
0
Let r(x) = -x**2 + 3. Let v be r(0). Solve -2*c = 2*t, -2*c - v*c + 15 = 0 for t.
-3
Let x = -59 + 61. Solve -x*k + 5*s - 19 = 0, k = 3*k + 5*s - 31 for k.
3
Suppose 2*u - 18 = -2*y, 6 = 2*y - 3*u + 3. Solve y*q = 2*g + 2*q, 0 = 4*g + 5*q for g.
0
Suppose -m - 7 = -f + m, 4*f + 3*m - 6 = 0. Suppose -3*o + 1 + 23 = 0. Solve o*s - 3*s = -4*i - 16, 0 = f*s - 5*i - 20 for s.
0
Let y = -27 - -30. Suppose -2*c - 4 = -4*c. Solve -5*q + 33 = -c*g + 4*g, -y*g + 22 = 2*q for g.
4
Let z be 1/(2 - 21/12). Solve -2*h = 4*a + 16, 2*a - 5*h = z + 12 for a.
-2
Let s(h) = 4*h + 18. Let j be s(-10). Let l = -20 - j. Solve -l*r + 0*i + 9 = 5*i, -2*i + 21 = -5*r for r.
-3
Let j(l) = -l**3 + 2*l. Let b = -27 + 25. Let w be j(b). Suppose -4 = d - 6. Solve a = -d*t + 7, 2*t + 3*a - w = 5*a for t.
3
Let b(p) = -p**2 + 8*p - 4. Let z be b(7). Suppose -z*v + 7*v = 84. Solve 0 = -3*s + 5*o - 27, 4*o - v - 7 = 4*s for s.
-4
Let q be 4/(-10) + (-312)/(-30). Let f = q - 