y for y.
-4
Let b be 36/(-10)*20/(-3). Let t be ((-1)/3)/((-4)/b). Suppose 4*m - 2 = 2*p, -t*p - 2*m = 3*p - 31. Solve -p*f - 2*o - 20 = 2*o, -f + 2*o + 10 = 0 for f.
0
Suppose 3*b + 6 = -3*f, -f - 22 = -3*b + 3*f. Solve b*g - 3*l - 6 = -2*l, -3*g - l + 9 = 0 for g.
3
Suppose 0 = 2*r + 2*k - 6, 4 = 4*k. Solve -f + 3*p = 11, 3*f - 4*p + 22 = -r*f for f.
-2
Let j(p) = 3*p. Let f be j(3). Solve 0 = -2*g, g - 1 + f = 4*y for y.
2
Suppose 10*d - 14 = 3*d. Solve 5*f + 4*b + 4 = 1, -2*f = -d*b - 6 for f.
1
Suppose -2*z - 3*z = -25. Suppose -2*b + 5 = -67. Solve -4*h + g = z*g + b, -10 = 5*h - 2*g for h.
-4
Let w = -54 + 58. Solve -w*j - 5*x = -19, -4*x + 5*x = -2*j + 5 for j.
1
Let y(j) = 2*j + 2. Let s(n) = -n. Let l(q) = 3*s(q) + y(q). Let f be l(-5). Suppose f + 5 = 3*t. Solve -4*a - 28 = -t*u, 5*u + 12 = -4*a + 2 for a.
-5
Suppose -5*c + 8 + 32 = 5*r, -3*c + 9 = -2*r. Solve r*v - 5*a = 8 + 5, -5*a = -5*v + 5 for v.
-4
Let l = -6 - -9. Suppose -4*q + 3*d + l = -6, -5*q = 2*d - 40. Solve 21 = -5*o - 2*x, 2*o = 4*o + 2*x + q for o.
-5
Suppose 5*i + 3*b - 35 = 0, -4*i + 0*b - b + 21 = 0. Solve 5*l - 8 = i*u + 3, 4*l - 3*u - 9 = 0 for l.
3
Let y = -9 - -22. Solve -h - 5*m + 7 + y = 0, -m + 13 = 2*h for h.
5
Suppose 0 = -8*w - 2*w + 40. Solve 5*d = w*d + 4, -4*d + 22 = 3*q for q.
2
Let i = 1 - 1. Suppose -4*b + 22 = -2*u, -16 = 2*b + b + 5*u. Suppose p - b + 1 = 0. Solve 4*x = -p*f - 2*f - 8, -f - 1 = i for x.
-1
Suppose 0*a + 4*a - 44 = -4*x, -3*a = 4*x - 33. Solve 2*v + 4*k = -v + a, 2*v + 5*k = 12 for v.
1
Suppose 0 = m + q + 2*q - 2, -5*m + 2*q = -27. Let w = -57 + 62. Solve 5*f - 2*o = 2*o - m, 3*f - 2*o = -w for f.
-5
Let h = 28 + -23. Solve -17 = j - 0*o - 4*o, -5*j - h*o = -40 for j.
3
Let y(f) be the second derivative of f**4/4 + f**3/2 + 2*f**2 + 2*f. Let i be y(-5). Suppose -h - 3*h = -i. Solve 3*o - 5*p - h = 19, 0 = -4*o + 3*p + 32 for o.
5
Let j = -6 + 10. Let b = j + -2. Solve 0 = n - 0*n - f - 3, -b*n + 16 = -4*f for n.
-2
Let t(c) be the third derivative of -c**6/120 + c**5/12 + 5*c**4/24 + 4*c**3/3 + 3*c**2. Let p be t(6). Solve -5*o + p*u + 23 = 0, o + 5*u - 7 = -24 for o.
3
Let z be ((-3)/2)/(1/(-102)). Let v be (z/(-12))/(15/(-40)). Solve -2*g = -2*a + 16, 0 = -2*a - 3*a + 3*g + v for a.
5
Let m(w) = -w**3 + 7*w**2 + 16*w + 21. Let u be m(9). Solve 3*z = 3*c + z + 12, u*z - 16 = 4*c for c.
-4
Suppose -2*n = 3*n. Suppose 4*y + 3 = 5*k + 3*y, n = k + 3*y + 9. Solve -5*m = t + 20, k*t - 3*m = -4*t - 11 for t.
-5
Suppose -4*t = -2*x + 4*x + 14, 3*t + 18 = -4*x. Let m(q) = -q - 1. Let i be m(x). Solve 0 + 12 = 4*w - i*f, 0 = -5*w - f + 15 for w.
3
Let j be -2 + -1*(2 - 7). Suppose -4*b - 5*x = -24 - 52, 0 = -5*x. Solve q - s - j = 0, 7 = -4*q + s + b for q.
3
Let a(j) = -j**3 - j**2 - j. Let t(z) = 4*z**3 - 2*z**2 - 4*z - 1. Let x(m) = 3*a(m) - t(m). Let k be x(-1). Solve 2*n + k = -4*r, r + 3*n = -3*r - 3 for r.
-3
Let l = -49 - -54. Solve -4*t + t - 16 = -h, l*h + 4*t - 4 = 0 for h.
4
Let g be (-40)/(-6)*1*12/10. Solve 2*j + d = -7, j = -0*d - 2*d - g for j.
-2
Suppose 2*d = h - 28, 14 = -d - 7*h + 3*h. Let i = d - -16. Solve 5*p = -i*y + 17, 2*y - p = 2*p - 23 for y.
-4
Suppose 2*b - b - 4*z = 11, 0 = -3*b + 2*z + 33. Suppose 2*g - b = 23. Solve 0 = 4*a + 2*t - g - 11, 4*t - 6 = 2*a for a.
5
Let k be (165/25 - 6) + (-22)/(-5). Solve 2*i - k - 3 = 0, m + 3*i = 14 for m.
2
Let m = -12 - -15. Solve 5*d + 5 = -4*l, 0 = -l - m*d + 2*d for l.
5
Let j = 13 - 8. Suppose 5 = 5*m - j. Solve -2*k - 2 = m*f, -2*k + 2*f = -2*f - 22 for k.
3
Let r = 52 + -44. Solve 3*n + 4*s = -r, -3*s - 4 = -n - s for n.
0
Let v be 4/(-10) + 3 + 26/(-10). Solve 0 = -r - 2, -5*d = -v*d - 3*r - 11 for d.
1
Suppose 0 = -4*u + 5*u - 10. Let n = u + -8. Solve n*d - 3 = -5*y - 19, -4 = 5*y - 2*d for y.
-2
Let x(y) = -y**2 - 7*y - 3. Let b be x(-5). Let j be 3 - -7*b*1. Suppose -3*f + f = -j. Solve -3*w + 4*a - a + 3 = 0, 0 = -2*w - 5*a - f for w.
-3
Let c(l) = -2*l + 11. Suppose 4*d = 3*b - d + 82, 72 = -2*b - d. Let f = b - -24. Let u be c(f). Solve 4*h - 5*q + u = 0, -4*q - 5 = 5*h + 3 for h.
-4
Let o be (-2)/6 - (-4 - 868/21). Solve t = -4*q - 3*t - 4, 5*t - o = 5*q for q.
-5
Let g(i) = i + 28. Let m be g(0). Let a = m + -10. Solve 5*w - 3*r = -23, -4*w = -0*r - 2*r + a for w.
-4
Suppose -s - s + 40 = 0. Solve s = -o + w + 4*w, 0 = 4*w - 20 for o.
5
Suppose 2*c = d + 128, 4*d + 128 = 2*c - 0*c. Suppose -s + 5*s - c = 0. Solve p = -3*a - 13, -3*p - 5*a - 7 = s for p.
-1
Suppose 3*v + 2*u - 5*u - 18 = 0, 3*v = -2*u + 3. Let h(n) = -n + 1. Let b be h(v). Let j(m) = -6*m. Let z be j(b). Solve -2*i + 0*i = -2*y - 12, 4*i = z for y.
-3
Let c(w) = w + 11. Let b be c(-5). Let g be 0 + 1 - (-9 + b). Suppose -s + 5*f = 4, -g*f + 52 = 2*s + f. Solve 0 = 3*k - y + 12, 4*k - y + 0 + s = 0 for k.
-4
Let f = 49 - 44. Solve -2*u + 7 = a, -4*u + 4*a = f*a - 15 for u.
4
Let j(g) = 3*g**3 + g - 1. Suppose u = 3 - 2. Let o be j(u). Solve -4*z = -8*z - o*f - 1, -3*z - 4*f - 6 = 0 for z.
2
Let u = -4 + -1. Let v be (0 + (u - 3))/(-2). Solve -5*b + 31 = -2*r, r = 5*r + v*b - 8 for r.
-3
Let g(p) = -2*p**2 - 6*p + 1. Let n be g(-2). Solve n*t - l = 10, -2*l + 3*l = 0 for t.
2
Let i(p) = -3*p + 3. Let m be i(4). Let q be (-8)/(-6)*m/2. Let u be 2/2*(q + 14). Solve -5*j + 0*t + 3*t - 22 = 0, j + 3*t + u = 0 for j.
-5
Let r be (-120)/(-9) + (-1)/3. Suppose -o = 3*o + u + r, 4*u - 12 = 0. Let s be (-40)/o*4/5. Solve l + 5*y + 10 = 2*y, -s = 2*y for l.
2
Suppose -2*c + 51 - 14 = -3*i, c = i + 19. Solve -c = 4*g - 5*g - 5*y, 2*g - 3*y = -25 for g.
-5
Let f(b) = 2*b - 3. Let i be f(3). Suppose -4*h + 5 = -i. Solve 0 = h*g + g - 3*q + 6, g + 5*q - 16 = 0 for g.
1
Suppose 60 = 3*w - 0*w. Solve -4*a + 2*x = -3*x - w, -3*x + 15 = 3*a for a.
5
Let d(x) be the first derivative of 10*x**3/3 - x**2/2 + 1. Let n be d(-1). Suppose 5*o - 14 = n. Solve -o*q - 4*r = 27, r = 3*q - 0*r + 6 for q.
-3
Suppose 0 = -4*b - 9*b + 26. Solve -b*r + 16 = -2*i, -i = -2*i - 3 for r.
5
Suppose 3*g - 5*t = g, 4*g - 20 = 5*t. Let u be 0 - 2*(-9)/6. Solve 0 = -4*s - 20, -u*v = 2*v + 3*s + g for v.
1
Let x = 7 - 5. Let t be (x/(-4))/((-1)/(-4)). Let b be ((-5)/(5/8))/t. Solve -4*c = -4*d - 16, d + 0 = b*c - 7 for c.
1
Let s be 20/30 - 1/(3/(-4)). Solve 2*c - 14 = -2*u + 3*c, 0 = u + s*c + 3 for u.
5
Let r(n) = 26*n**2 + 6*n - 1. Let u(i) = 51*i**2 + 11*i - 2. Let m(t) = -11*r(t) + 6*u(t). Let a be m(1). Solve 2*d + a = -3*p, -2*d + 11 = -p - 2*p for d.
-2
Let b(q) = -4*q - 1. Let x be b(-1). Suppose -10 = -2*u - 3*s, x*u - 18 = 2*u + 5*s. Solve -4*c = 4*z + 20, -4*z + 7*c - 4*c = -u for z.
-1
Let v(g) = -6*g - 3. Let d(h) = 17*h + 8. Let p(k) = 4*d(k) + 11*v(k). Let n be p(2). Solve 3*t + 4 = 4*i - 2, -n*i + 3*t = -6 for i.
0
Let g(i) = -i + 15. Let o be g(12). Solve -5*k = 4*l + 24, 3*k - o*l = 7*k + 19 for k.
-4
Suppose 0*x - 2*x + h = 0, 0 = 4*h - 8. Solve -2*j = 3 + x, 0 = q + 5*j + 6 for q.
4
Let p(j) = -j + 4 - 4*j + 0*j. Let h be p(-3). Suppose h + 1 = k. Solve 3*v + 5*g + k = -2*v, -4*g = 5*v + 17 for v.
-1
Suppose 0 = 4*z - 5*j - 11, -3*z + 4*z - 5 = 2*j. Let w = 6 - z. Solve 0*a = -a + 4*l - w, a + l - 8 = 0 for a.
5
Let d be (3 + -6)/((-9)/3)*5. Solve 4*b + b + p = -5, -5*p = d*b - 15 for b.
-2
Suppose 3*n - 20 = 8*c - 4*c, -3*c = 2*n - 2. Suppose -i = n*i + b, -b = 4*i + 1. Let z be (-4)/(0 + i + -2). Solve 3*f + 4 = 2*f, s - z*f - 19 = 0 for s.
3
Let x = 41 + -16. Solve -3*t + 27 = 3*y, y + 2*t - x = -3*t for y.
5
Let z = 9 + -7. Suppose -z*h + 5 = -h. Solve -h*r = -2*t - 5, 3*r - 7 = 3*t - t for r.
-1
Let z be ((5 - -1)/(-1))/(-1). Let s(p) = -p**3 + 4*p**2 + 4*p + 7. Let i be s(5). Suppose i*b = -3*b + 25. Solve z = -2*g, -b*g - 2 = 5*d + 8 for d.
1
Suppose 4*s - 31 = 49. Let f(p) = p + 1. Let a be f(3). Let c(x) = x**3 - 8*x**2 + 6*x + 10. Let v be c(7). Solve -5*h - v*i = -s, 3*h - a = 2*h + i for h.
4
Let a be (1/3)/((-3)/(-126)). Solve -3*x - 2*i + a = 0, -i - 6 = -2*x + 1 for x.
4
Let g(t) = t**2 + 5*t - 1. Let i(n) = n**3 + 2*n**2 - n. Let y be i(-3). Let k be g(y). Let j be 29/4 + k/(-20). Solve -j = m - 2*o, 0*m - 15 = m - 4*o for m.
1
Let f be ((-6)/8)/((-1)/4). Let v be (-1)/(1/6*f). Let i be 0*(1/v - -1). Solve -2*w - 2*u - 6 = i, -5*w - 20 + 9 = 3*u for w.
-1
Let f(m) = -m + 9. Let v be f(4). So