4*d + 9 for y.
-5
Let n(b) = 2*b - 5. Let c be n(5). Solve -w + c*k - 1 - 6 = 0, 4*w + 5*k - 22 = 0 for w.
3
Let n = -13 + 51. Let y be (-26)/(-8) + (-2)/8. Suppose -y = -2*t + 1. Solve -w = 5*l - 15 + n, t*w = 4*l + 10 for w.
-3
Let g = -8 + 11. Suppose -g*r + 4*r - 2 = 0. Solve -1 = -q - 2*y, r*y - 11 = q - 0*y for q.
-5
Let y(w) = -w**2 - 6*w + 7. Let l be y(-7). Suppose -t - 4*c + 20 = l, 2*t - 3*c - 2*c = -12. Solve -t*g + 28 = 4*i, i = -3*i + 5*g + 1 for i.
4
Let a = -21 + 23. Solve -a*g = -g + j, -3*j = 15 for g.
5
Let w = -10 - -21. Let x = 19 - w. Suppose o + x = 3*o. Solve -3*r = o*t - 5*r - 22, 0 = 5*t + 2*r - 23 for t.
5
Let c = -143 + 134. Let o(i) = -10 - 2*i - 11 + 8. Let b be o(c). Solve -4*t + 18 = -b*p, 4*p + t + 3 = -3 for p.
-2
Let n = 0 + 1. Let b be ((-1617)/18)/(-7) - 3/(-18). Suppose 4*z + n = b. Solve -z*r = -4*s, 5 = -2*r - s + 16 for r.
4
Suppose -10*m + 9 = -1. Solve -4*i - 3*a + 2 = 0, a = -m - 1 for i.
2
Suppose 2*t = 5*b - 16 - 0, 0 = -2*b + 8. Solve 8 = t*g + 4*n, -3*g = 2*g - n + 13 for g.
-2
Let r = -10 + 14. Suppose -2*z + 2 = -r. Solve a + z*s = 4*a + 27, -8 = -2*s for a.
-5
Let n(i) = -i**2 - 5*i - 5. Let v be n(-3). Solve 3*j + 2*r + 3 = -v, 7 = -4*j - r for j.
-2
Suppose 0 = 2*d - 0*d + 210. Let y = 71 + d. Let v = y - -59. Solve 5*t = -v, 3*s = -2*t + 3*t - 7 for s.
-4
Let g = 29 + -22. Suppose 27 = 4*j + g. Solve -2*i - 25 = 3*i - j*o, 2*o = 4*i + 20 for i.
-5
Suppose 170 = 5*a - 40. Let i = a - 27. Solve 4*w - 4*c = -w - 27, 0 = 4*w - c + i for w.
-3
Let o(i) = -2*i + 1. Let q be o(-2). Let u(l) = -l**2 + 7*l - 4. Let r be u(q). Solve 3*n - 5*h = -5 + 35, 2*h = -r for n.
5
Let q = 2 + -2. Suppose -y - 3*y = q. Solve -3*f + 24 = -y*f + 3*a, a + 17 = 4*f for f.
5
Suppose 2*s + 4 = 4*s. Solve 2*r + 2*u + 18 = 0, 1 = s*u + 9 for r.
-5
Let r(c) = c**3 + 5*c**2 + 3*c - 4. Let d be r(-4). Suppose d*i - i = -3. Solve 2*o = -3*k - 7, -4*o = -o - i for k.
-3
Let s be (1 + (-3)/15)*20. Suppose -s = -6*p + 2*p. Solve -3*j + p*a = -3, 2*j + 3*a + 1 = 4*j for j.
5
Let v(o) = -o + 5. Let a be v(-10). Suppose 3*l - a = -5*u, l - 12 = 4*l - 4*u. Solve 3*c + b = -2*b + 6, -c - 2*b + 7 = l for c.
-3
Let c be (-10)/(-1)*6/(-15). Let t be 2*-1 + 0 - -1. Let z = t - c. Solve -6 = 4*g + 5*w, 4*w + 11 = z*g - 0*w for g.
1
Let l(b) = -b - 6. Suppose 5*n + 53 - 3 = 0. Let v be l(n). Solve -4*g + o + 16 = 2*o, -o = -v for g.
3
Suppose x - 15 = -q, 5*x - 79 = -3*q + 6. Solve 4*d - d = 4*f - 32, -5*d = x for f.
5
Let w(y) = -y**2 + 2*y + 3. Let x be w(3). Solve x = -4*s + 2*k - 14, 0 = 3*s - 0*k + 5*k + 17 for s.
-4
Let v(u) = 0 - u - 3 + 0. Let f be v(-5). Suppose t + 3 = f*t. Solve 3*i + 25 = -4*o, -t*i - 9 = -0*i for o.
-4
Let l be 2*3/2 + -1. Solve 0*q + 4*q = f - 19, 0 = -l*q + 5*f - 23 for q.
-4
Suppose -z = -0*u + u - 5, 4*z - 18 = -3*u. Suppose -8 = -z*s + 1. Solve 3*k = i + i - 12, 0 = 2*i + s*k for i.
3
Let x be (-145)/7 + 2/(-7). Let o = -16 - x. Solve -16 = -4*n + h, 2 = o*n - 5*h - 18 for n.
4
Let m = 5 + 2. Let h(u) = m*u**2 + u**2 - u**3 - 2*u**2. Let y be h(6). Solve y = -x + 5*t - 25, 5*x - 4*t + 41 = -0*t for x.
-5
Let g = 2 - -1. Suppose 4*o - 11 = -3*k, 0 = -2*k - 2*o + 8. Solve k = u, 3*w = 4*u - g*u - 14 for w.
-3
Suppose -l + 6 = l. Solve 0 = 7*x - 2*x - 3*q - 12, l*x + 5*q = 14 for x.
3
Let p(k) be the third derivative of k**4/24 - k**3/3 - 2*k**2. Let a be p(2). Solve 2*c - 3*s + 7 = -a, s = -3*c + 6 for c.
1
Suppose 10 = 2*a - 0*a. Let f(o) = 2*o + 3*o**2 - a*o - 4*o**2 - 3*o. Let g be f(-5). Solve 3*h + 2*s = 4*h + 4, g*h + 4*s - 22 = 0 for h.
2
Let g(w) = 31*w - 1. Let z be g(1). Let i be ((-62)/3)/(4/(-6)). Solve -3*u = a + 3*a + i, 5*a = -2*u - z for u.
-5
Let f = 4 + -3. Suppose -12 = -4*l, -g + 5*g - 5*l = f. Solve 3*i = 2*i + g*n + 5, -i - 2*n - 7 = 0 for i.
-3
Let x(c) be the first derivative of -c**3/3 + 3*c - 8. Let m be x(0). Solve -3*i - 18 = 3*b + 3, -5*i - m*b = 31 for i.
-5
Suppose 0 = -b + 7 - 1. Let o(l) = -4*l - 2 + 3*l + 2*l. Let u be o(b). Solve 2*c = -3*k - 5, 0*k - u*k - c - 10 = 0 for k.
-3
Let x be (-2)/(-3)*(-1 - -4). Let b be (6/15)/(x/20). Solve -5*w + 15 = -b*l, 4*w - 1 - 11 = 5*l for l.
0
Suppose -6 = -4*q + 2. Let s be (q/(-4))/((-1)/14). Let t be 7/(-42) - 62/(-12). Solve u - k = -1, s*u - 3*u - t*k + 1 = 0 for u.
-4
Let n = 7 + -4. Suppose 4*s - 35 = -3. Solve 4*d = -n*l + s, 0 = -2*l - l + 12 for d.
-1
Let w(d) = d**3 - 8*d**2 + 8*d + 2. Let j be w(7). Let c(f) = f**3 - 8*f**2 - 8*f - 7. Let n be c(j). Solve 4*t = -2*s - n, t - 3 = -s - 6 for s.
-5
Let u = 0 + 2. Suppose z = -u*z + 18. Let n(c) = c**3 - 5*c**2 - 7*c + 9. Let t be n(z). Solve -21 = 5*o - 1, 17 = -i - t*o for i.
-5
Let m(u) = 2*u - 8. Let f = -20 + 32. Let x be m(f). Let r(b) = 2*b - 1. Let o be r(3). Solve 4*j - 2*y - x = 0, -3*j + o*y = -5*j - 4 for j.
3
Let x = 20 - 10. Let h = x + -5. Solve -q + 20 = -4*l, -5*l + 6*l - q = -h for l.
-5
Suppose 5*o + 8*c = 7*c + 31, 3*o - 3*c = 15. Solve 0 = -3*b - 15, -5*f = -3*f - 2*b - o for f.
-2
Suppose 2*d = b - 22, 4*b = -0*b + 3*d + 83. Suppose 0*k = 3*l - 4*k + 4, 0 = 3*l - 5*k + 5. Solve l = 4*u - 2*c - b + 8, -4 = -2*c for u.
4
Suppose 0 = -w + 4*w - 3*m - 27, 3*m = -3. Let x = w - 5. Solve 0 = -4*z - 3*k + 13, -x*k = -4*z - 8*k + 11 for z.
4
Suppose -2*a + a + 6 = 0. Let k be (2 + (-5)/3)*a. Let y be 3/((-3)/(-6)*k). Solve -v + m = -2 - 1, 19 = 4*v + y*m for v.
4
Let o = -6 - -8. Suppose -2*v = o*v. Suppose -3 - 7 = -5*c + h, 5*h = v. Solve -2*b = 2*g - 2, c*g - 14 = b - 0*g for b.
-4
Suppose 0*h + 2*h - 18 = 0. Suppose -49 = -4*f + 5*d, -3*d + 21 + h = 3*f. Solve c + 2*k = 8, 3*c + 3*k - f = -2 for c.
-2
Let i = 50 + -45. Solve 0 = -4*f + v + i, 2*v + 4 = 3*f + 2*f for f.
2
Let k be (-5)/(-1) - (0 + 1). Suppose -17 = k*t - 1, 4*t = -3*o - 16. Let i = o + 13. Solve -2*u - 4*f + 6 + 6 = 0, 2*u - f = -i for u.
-4
Let i = -120 - -130. Solve 5*o = -i, -4*o - 8 = -g + 6*g for g.
0
Let p(d) = 4*d. Let f(y) = 5*y. Let i(m) = 3*f(m) - 4*p(m). Suppose -7 = 4*h + 13. Let a be i(h). Solve 4*c = -3*l + 2, 13 + 1 = a*l - 4*c for l.
2
Let j = -197 - -131. Let x = j + 35. Let q = 53 + x. Solve -3*c - y + 19 = 0, 5*c + 5*y - q - 23 = 0 for c.
5
Let l(x) = x**3 + 3*x**2 - 2*x - 3. Let p(t) = t**2 + 4*t. Let h be p(-3). Let i be l(h). Solve 4*s = -4*d - 12, -4*d - i*s = -0*s + 8 for d.
1
Let d(k) = k**3 + 14*k**2 + 13*k + 5. Let y be d(-13). Solve 0 = 5*z + 4*t - 16, 0*t + 3*t - 12 = -y*z for z.
0
Let k be 10/2*4/10. Let s = k - -2. Solve -s*p + 5*f + 2 = 26, 5*f - 20 = 0 for p.
-1
Let j(o) = o**2 - 4*o - 3. Let n be -19 - -20 - (-8)/2. Let t be j(n). Solve 3*g = t*v + 7 - 1, 4*g = v + 8 for v.
0
Suppose g = 2*i + 6 + 4, -15 = 5*i. Solve 3*x - 4*x - 17 = 4*f, -2*x + 26 = -g*f for x.
3
Let z = 21 + -25. Let p be (2/z)/((-5)/30). Solve -23 = 4*o - 3*b - 2*b, 4*b = p*o + 18 for o.
-2
Let p(g) = -g**2 + 11*g + 5. Let i be p(11). Solve -n - 10 + 0 = i*v, 0 = -2*n + 4*v + 8 for n.
0
Let f be 2*(-1 + 0)*36/(-6). Let w be 1*(-4)/(-6)*3. Suppose 5*l + w*g - 23 = 2*l, 5*l + 5*g = 40. Solve -3*t + l*t - 5*k = 31, 4*k = -f for t.
4
Let a = -5 + 7. Let i be ((-2)/(-4))/(3/12). Suppose m = -i*m + 42. Solve -3*u = 4*t - 0 + m, -5*t + a*u = 6 for t.
-2
Let r = 0 - -3. Suppose 0 = v - 4*l - 6 - 2, l + 2 = r*v. Solve 5*u - 3*b = -40, v*u + 2*u + 2*b = 0 for u.
-5
Let k be 16/6*((-17)/4 - -5). Solve 4*j - 2*o = 6, -4*o + k*o = 2*j - 12 for j.
3
Let a be 7/3 - (-16)/24. Let m = a - 0. Suppose 91 = 5*q + 11. Solve -2*n = 5*c + q - 6, m*c - 8 = -4*n for c.
-4
Suppose -3*o - 1 = 5. Let x be 24/(-15) + o/5. Let z = 0 - x. Solve q - 3*q + 8 = -z*d, -4*q = 3*d - 16 for d.
0
Let g(j) = j**3 - 13*j**2 - 13*j - 19. Let o be g(14). Let k = o + 9. Solve 5*s + 4*x = s + 8, s + k*x - 5 = 0 for s.
1
Suppose 24 = -4*z - 0. Let x be z/(3/(9/(-6))). Solve -5 - x = 2*b + 4*o, 4 = 3*b + 2*o for b.
4
Let k be (4/10)/((-6)/(-60)). Suppose k*r - 53 = 75. Let q be r/18 + 4/18. Solve -i = -q*y + 7*y + 12, 0 = -2*y + i - 9 for y.
-3
Let i(m) = 2*m + 18. Let k be i(-9). Solve -5*c + 4*w - 9 = k, -5*c = -w - 0*w + 6 for c.
-1
Suppose 4*l - 48 = -4*m, 2*l + 17 = 5*m - 8. Solve -4*f = o + 12, 3*f + 2 + m = -4*o for f.
-3
Let c be 40/(-15)*54/8. Let w be (-1 - 0)/(3/c). Solve 0 = -n - 3*x + w, 5*n - 3*n = 4*x - 18 for n.
