et y be (4 - 75/20) + (-4)/16. Solve 5*b = -0*u - 2*u + 1, y = -3*u + 9 for b.
-1
Suppose -3*g - 20 = 2*g. Let h be ((-6)/(-12))/((-2)/g). Let j be (h + 4)/((-2)/(-2)). Solve -j - 8 = a - 4*w, 0 = -4*a - 4*w + 28 for a.
3
Suppose 3*z - z = 6*z. Solve 2*d - 2*b + 14 = 0, 0 = -4*d - 2*b + 2 - z for d.
-2
Let c be 2 + (0 - -2) - -22. Let h = c - 24. Solve -m + 5 = -b, 5*m + 1 = -2*b - h for m.
1
Suppose -3*x + 6*x = 0. Solve x = -5*v + 4*g + 5, -4*g + 4 = 4*v - 2*g for v.
1
Suppose 5*q = -x + 25, 3*x + 3 - 23 = -4*q. Suppose 2*d = y - 4, -2*y + d + 4*d = -11. Let h = 3 + y. Solve 3*s - w - 13 = 0, x = 3*s + w - 4 - h for s.
3
Suppose -n - 8 + 4 = 4*m, -3 = 3*m. Suppose -5*s + s = n. Solve 0 = y - 4*r + 18, s*y - 3*y + 5*r - 26 = 0 for y.
-2
Let x = 1 + 2. Let l be -2 - x/2*-12. Solve 4*a - l = 2*r, -r - 3*a + 7 + 5 = 0 for r.
0
Let v be (-74)/4 + 3/(-6). Suppose -2*n + 102 = 3*s, n + 2*s + 188 = 5*n. Let f = n + v. Solve 0 = 5*d + 4*h + f, 3*d - 3*h = 8*d + 28 for d.
-5
Let o be (2/1)/(((-60)/18)/(-5)). Solve -4*g + o*y = -12, -g + y = 6*y + 20 for g.
0
Let f be 0 - -2 - (0 - 0). Suppose -f*a = -5 - 25. Suppose 0*u + a = 3*u. Solve -2*v - 2*y + 9 = -7*y, 8 = u*v + 2*y for v.
2
Let a be 9/3 - (4 + -6). Let b be 9/(-6)*(-4)/3. Solve -z + a = 2*t - 4*z, -3*t - 5*z - b = 0 for t.
1
Suppose -11 = -j + 10. Suppose 4*f = j + 51. Solve -3*s - d + f = 2*d, -d - 10 = -3*s for s.
4
Let i = 86 - 86. Solve 2*g + 6*n = 5*n - 2, -5*n = i for g.
-1
Suppose 0 = 4*n - 3*q - 18, q + 0*q + 2 = 0. Solve 0*y - y - n = -z, 4*z + 6 = -5*y for y.
-2
Let x(f) = -f**3 + 3*f**2 + 2*f - 6. Let g be x(3). Solve -2*j = 2, g = a + a + 2*j + 2 for a.
0
Let y(k) be the first derivative of k**3/3 + 3*k**2/2 + 4*k + 4. Let r be y(-4). Solve q - 8 = -4*f + 7*f, f - 3*q = -r for f.
-2
Suppose -6*a - 65 = -a. Let m be a/(-4 + 0 + 3). Solve 0 = -3*i - 2*u + m, 3*u - 2*u = -1 for i.
5
Let b(n) = 2*n - 5. Let d be b(6). Solve 2*u + 3*m + 12 = -0*u, -u + d = -5*m for u.
-3
Let u be 3*1/3 - -1. Let i = 12 - 7. Suppose -4*q + 5 = -0*q - m, -5*m - 25 = i*q. Solve u*f = -4*v + 2, 0*f + 4*f + 2*v - 10 = q for f.
3
Let v = -1 + 4. Let d = 33 + -21. Suppose 0*m - d = -3*m. Solve 4*j + 2 = -r, -v*j = -5*j + r - m for j.
-1
Let t be 20/8*(-68)/(-10). Solve 3*d = -2*z - t, -6 + 18 = -2*z - 2*d for z.
-1
Suppose 2*m = -6 + 10. Solve -m*r = 3*a + 9 + 16, 2*a + 20 = -2*r for a.
-5
Suppose -z + 1 + 3 = 0. Let r = -30 + 28. Let y be r/z + (-31)/(-2). Solve -g + 3 = d, -g + y = 5*d - 8 for d.
5
Let x(i) = -i + 2. Let o(a) = -1. Let v(t) = -3*o(t) + x(t). Let n be v(5). Solve -10 = -5*u, n = -h - 2*u - 0*u + 3 for h.
-1
Let f be (2*-1)/(-1)*1. Let a = 1 + 2. Solve 0 = m, -3*m + 12 = -a*p + f*m for p.
-4
Let v(m) = -m**2 + 6*m + 8. Let n = -1 + 9. Let k be v(n). Let c = k - -11. Solve -3*b = -b + c*o + 18, 0 = -b + o + 1 for b.
-3
Suppose -4*u + 0*u + 44 = 0. Suppose -5*j - 1 = -u. Solve 4*z - 27 = -7, j*z = 3*w + 7 for w.
1
Let j(x) = x**2 + 2*x - 4. Let q be j(-4). Let z be (-6)/2 + 1 + q. Solve 5*m + z*f + 7 = 3, -2*f + 6 = 0 for m.
-2
Let g(d) = -2*d + 5. Let j be g(4). Let w = j + 7. Solve -w*n + 2*p + 28 = 0, n + 2*p = 4*n - 23 for n.
5
Suppose 2*a - 2 = 2. Let q(c) = -c + 3. Let u be q(0). Let w = -1 - -6. Solve -5*x + u*v = -2*v - 10, 0 = w*x + v + a for x.
0
Let m = 1 + 5. Let c = m - 3. Solve 0*a = -a + 5*g - 22, c*a - 2 = -2*g for a.
-2
Let n be 66/(-6) + (-1 - 2). Let m = -1 - n. Suppose j - m - 21 = 0. Solve 5*o = 3*y - j, -2*o - 11 = 3*y + 2*o for y.
3
Let a = 35 + -20. Suppose b = -2*i, -2*i = -3*i + 3*b. Solve i = -3*s + a, -3*v + 37 = 4*s + s for v.
4
Suppose 0 = 4*p - 20, -4*c - 5*p = -p - 28. Solve -4*v = 4*x - 16, 0 = -v - c*x - x + 14 for v.
-1
Let n = -2 - -2. Let g(d) = 3*d + 1 + 2*d**2 - 4*d + 3*d + n*d. Let r be g(-4). Solve -5*a + r = -3*u, -u = 5*a + 3*u - 25 for a.
5
Suppose 4*v = -3*v + 14. Suppose v*r = -3*x + 49 - 7, 4*x - 56 = 3*r. Let i be ((-9)/(-2) - -2)*2. Solve -i = b - 4*u, b - 3*b + 4*u - x = 0 for b.
-1
Let p(g) = 3*g + 6. Let r(z) = 2*z + 3. Let x(w) = -3*p(w) + 5*r(w). Let q be x(6). Solve 0*o = -4*o + q*c - 1, -c = o - 5 for o.
2
Suppose 5*r + 0*c - 4*c - 53 = 0, 5*r - 3*c - 51 = 0. Suppose r = 4*a - 19. Suppose 5*m + a = 17. Solve -m*f - 7 = -0*f + 3*i, 0 = i + 1 for f.
-2
Let r be -1*1 + 2 + -1. Suppose b - 1 = -z, 0*z - z - 5 = -b. Suppose 7 = y - 2*d - 2, -3*d + 6 = 5*y. Solve b*a - 16 - 3 = 2*l, -y*l - a - 12 = r for l.
-5
Let m = -5 - 1. Let c = 7 - m. Let p = c - -1. Solve 7*n - 4 = 2*n - 3*t, 0 = -2*n + 4*t - p for n.
-1
Let h = -8 + 7. Let m be h/(-4) + (-318)/(-8). Suppose 3*j - 15 = 0, -g + 6*g + 5*j = m. Solve -5*o - 11 = -g*t, 3*o - 2 + 9 = 2*t for o.
-1
Let u = -1 + -25. Let t = u + 38. Let a be (-2)/8 + 45/4. Solve -3*c - 2*h = t, -4*c = -0*c + h + a for c.
-2
Let g be 0/(-1*(-6)/(-3)). Suppose 4*t - 5 = -t, g = -2*d + 5*t + 15. Solve -2*a = 2*a - 3*u - 14, d = 5*u for a.
5
Let y = -5 + 9. Let g = 3 + -1. Suppose 0 = g*i - z - 1 - 1, -5 = -5*i + z. Solve 2*q - q = 3*v - 1, -y*v = q + i for q.
-1
Suppose 3*w - 111 = -0*l + 2*l, -4*l - 82 = -2*w. Let n be 24/(-14) + (-10)/w. Let g be (n + 2/1)/1. Solve -p = 2*f - g*p + 9, -3*f = -2*p - 4 for f.
-2
Let z(y) be the third derivative of y**4/8 - y**3/2 - 3*y**2. Let i be z(2). Solve 0 = 5*u - i*j + 10, -j = 5*u - 0*u - 10 for u.
1
Let k be 1 + 6 + 4/(4/(-3)). Solve -5*v = 10, k*m - v + 17 = -1 for m.
-5
Let o be 90/24*(-8)/(-3). Let x be (-5)/(50/(-4))*o. Solve 5*i = f - x - 20, i = -f for f.
4
Suppose -4*v + 2*t + 18 = 0, -4*v = -t - 24 + 5. Let j be ((-9)/v)/((-4)/20). Let z = 15 - j. Solve 3*q - 4*h = -z - 0, 5*h = 0 for q.
-2
Let g = 5 - 1. Solve 3*t = 5*c - c + 16, 5*t - g*c - 16 = 0 for t.
0
Let y be 0 + (-1)/4 + 125/20. Solve o + 15 = 4*u, -o - 12 = -y*u + 3*u for u.
3
Let g be (-3 - 0)/((-30)/50). Suppose 0 = -g*h - 2*v + 16, 0*v = -2*h + v + 10. Solve 23 = -h*m + 2*m + 5*n, m - 11 = -2*n for m.
1
Suppose -4*m + 7*m - 15 = 0. Solve -4*k = -3*y + 5*y - 22, 0 = -4*k - m*y + 31 for k.
4
Suppose -6*c = -5*c. Solve 3*i = -5*j - 21, -j + c*j + 3 = -3*i for i.
-2
Suppose -5*b + 25 = 0, -2*v - b - 4*b = -29. Let y = -2 - -13. Suppose y = n - 4*c, 0*n - 5 = -n - 2*c. Solve -q = j - 3, n = v*j + q + 1 for j.
3
Let n(s) = s**3 - 16*s**2 + 29*s - 13. Let m be n(14). Solve 4*l - 7 = -k, k = 2*l - 4 - m for k.
-1
Let t = -1 + 1. Suppose c - 4*d = -0*c + 19, -17 = c + 5*d. Suppose c*k - 3 = 2*k. Solve t = -4*s - 1 - 3, -2*i + 11 = -k*s for i.
4
Let h be (-3*1)/(6/12). Let w = h - -8. Let d = 69 - 45. Solve -3*v + 7 = s - w*v, 3*s + 4*v = d for s.
4
Let z be (-66)/(-14) + 2/7. Solve -z*h + 10 = -0*h + 3*m, -4*m + 22 = -2*h for h.
-1
Let w(o) = -o**2 - 6*o + 5. Let p be w(-6). Solve p = t - 2*t - 2*j, -2*t - 5*j = 15 for t.
5
Let g = 2 - 0. Suppose 7*a = g*a. Suppose 3*s = i + 7 + 3, 0 = -3*i - 2*s + 25. Solve -2*v + a*f - 8 = 2*f, -3*v - i*f - 18 = 0 for v.
-1
Suppose t - 5*c - 9 = 0, 4*c + 45 = -5*t + 177. Let i(n) = n**3 + 0*n + 1 - 5 + 9*n**2 - n. Let b be i(-9). Solve -k = 4*p + t, -k + 4*k + 37 = -b*p for k.
-4
Let n = -31 - -31. Solve 5*a - 4*j = n, -2*j - 35 = 5*a + j for a.
-4
Suppose 0 = 2*o + 31 - 39. Solve o*x - 23 = z, 7 = 3*x - 8 for z.
-3
Let r(u) = -29*u**2 - 2*u + 1. Let f be r(1). Let t be 6/(-5)*f/9. Suppose 7 = s - 0*s. Solve 5*y - t*o = 9 - 33, -o - s = 2*y for y.
-4
Suppose g - 49 = -6*d + 10*d, 0 = 5*g - 3*d - 160. Solve 3*j + g = 6*j - 4*q, 3*j - 34 = 5*q for j.
3
Let k(b) = -2*b - 2. Let o(z) = -2*z + 4. Let i be o(7). Let h be k(i). Solve 4*m + h = d - 1, 6 = 4*d - 2*m for d.
-1
Let c(l) = -l**2 + 2. Let h be c(1). Solve 6 = -0*y - y - 4*g, -3*g = -y + h for y.
-2
Suppose 2*b = -f + 11, f + 0*f - 1 = 0. Solve -b*n - 9 - 1 = 5*o, 3*o = -5*n - 10 for o.
0
Suppose 3*v - 35 = -4*s, 0 = -3*s - 4 + 10. Suppose 10 = 16*w - 6*w. Solve 0 = -5*z - v - w, 7 = 3*a - 2*z for a.
1
Let b = -11 + 18. Suppose -b = u + 1. Let q(c) = -c**2 - 8*c + 3. Let o be q(u). Solve 5*a + 21 = -2*d, 6*d + 7 = 2*d - o*a for d.
2
Let d(v) = 3*v - v + 18 - 25. Let m be d(6). Solve -2*w - m*k = 6, 3*w = -2*w + 2*k - 15 for w.
-3
Suppose 4*k = v + 4, 2*v - 1 = -k + v. Suppose 3*a - k - 5 = 0. Solve 3*d + s = -2, a = -5*d + s + 4 for d.
0
Let g(m) be the second derivative of m**3/6 - 3*m**2 + 3*m. Let o be g(10). Solve 