Solve x*h = 3*l + 5, 3*l - 4*l - i*h = -7 for l.
1
Suppose -2*i = 2*i - 24. Suppose 0 = 9*a - i*a - 6. Suppose -5*q + 18 = -5*x - 7, -10 = -2*q. Solve 3*m - m - 5*b + 8 = x, -4*m = -a*b + 16 for m.
-4
Let l be -6 + 8 + -4 + 0. Let i be 2/((-7)/l + -3). Solve -2*y = -4*w + 12, -4*y - 32 = -i*w - 7*y for w.
5
Let x(m) = -m**3 - 3*m**2 + 2. Let y be x(-2). Let c be (-4)/6*3/y. Suppose 7 + c = 2*p. Solve 2*n = 0, -p*h + 9*h - 5 = -3*n for h.
1
Let a = 7 - 4. Suppose -5*f - a = -13. Solve 5*n - f = -i - 15, n - 10 = 4*i for n.
-2
Suppose -2*z + z - 2*w = -3, -12 = -4*z + 2*w. Solve 3*u - 16 = -u, -24 = -3*a - z*u for a.
4
Let b(r) = -r**3 - 9*r**2 - 2*r - 16. Let i be b(-9). Solve -k + 2*a = -3, -a + 11 = i*k - 0*a for k.
5
Suppose -6 - 2 = -2*g. Let u(a) = -a**3 - a**2 + 2*a. Let b be u(0). Solve k = 5*x - b*x + 14, 2*x + g = 2*k for x.
-3
Let x be (7/(-3))/((-2)/18). Let l(f) = f**2 - 8*f + 5. Let p be l(7). Let b be 29 - (p - (-1 - 3)). Solve -9 = 3*r + 3*k - x, -5*k = -2*r - b for r.
-1
Let y = -25 + 28. Solve -i - 2*j - 15 = 0, i = 4*i - y*j for i.
-5
Suppose -8*t + 6*t + 52 = 0. Solve 0 = s - 2*c, s = -3*s - 5*c - t for s.
-4
Suppose -2*q = -0*q - 10. Solve 0 = -q*v + 5*w - 25, v = 4*v + 4*w - 6 for v.
-2
Let r = 30 - 26. Suppose 2 = r*p - 10. Solve 15 = 2*t - 5*t - g, 2*g = -p*t - 15 for t.
-5
Suppose 5*m + 3*k - 2 = 1, 0 = -2*m + k - 1. Let s = 4 - m. Solve s*u = -3*n - 13, -u + n + 7 = -3*u for u.
-4
Let h(g) = 2*g - 5. Let c be h(4). Let l be c*(0 + (-2 - -3)). Solve -5*n = -2*t - 16, -l*t + 6 - 4 = -n for n.
4
Let f be (24/9)/(4/6). Solve 3*u - u = 2*k - 12, -8 = f*k + 4*u for k.
2
Suppose 0 = k, -a - 12 = -5*a + 2*k. Solve 3*j + 5*n + 13 = 0, 0*j - 2*n + 2 = a*j for j.
4
Suppose 1 - 4 = h. Let v be 4*h/(-12)*2. Solve 0 = k + 3*t - v, k = -t + 4 for k.
5
Let x be (-3 + -3)*(-1)/2. Suppose -3*n = 2*n + 2*r - 2, 0 = 2*n + x*r - 3. Solve -t + 4*w + 0*w = 5, n = 5*t - 3*w - 9 for t.
3
Let o = -82 - -85. Solve 0 = o*i - 3, 3*i - i + 2 = 4*s for s.
1
Let z be (1 + 30/(-9))*-3. Suppose -z + 1 = -3*p. Suppose 0*m + p = m + 4*x, -4*m = -x - 25. Solve 2*n - 3*i = 3*n + m, -3*i - 6 = 0 for n.
0
Let l be (2 - (-12)/8)*6. Let t = -19 + l. Let n be (-1*1 - 0)*-2. Solve -n*v + t*a = 6, 2*a - 13 = v + 6*a for v.
-5
Let j = -131 + 133. Solve -4*b + 4*o + 20 = -b, -j*b + 5*o + 18 = 0 for b.
4
Let d(b) = -b**3 + 2*b**2 + 5*b. Let l be d(4). Let w = l - -23. Let v = w - 6. Solve 0 = 4*n - v*a + 2, -4*n - 18 = -0*n + 3*a for n.
-3
Suppose k - 3*k = 0. Suppose 4*d = 4*f + 4, k*d + 4*f + 8 = 5*d. Solve p - d = r - 4*r, 5*r - 4 = -p for r.
0
Suppose -3*w = 2*b - 12, 4*w + b = w + 15. Let u(x) = -x**3 - 1 - 2 - 2 + w*x - 6*x**2 + 0. Let k be u(-7). Solve -5*z - k*m - 27 + 2 = 0, -m = -4*z - 20 for z.
-5
Let x = 18 - 16. Solve 4*y + 12 = 5*j, -x*y - 5*j + 16 = -2*j for y.
2
Let s be (2/4)/(3/24). Suppose -s*j - q = -8 + 3, -4*q = -4*j - 20. Solve j = 4*u + 16, 5*y + 2*u + 5 = -3*u for y.
3
Suppose -12*x + 7*x + 85 = 0. Solve -3*v = 3*c - v - 9, -4*v = 5*c - x for c.
1
Suppose 5*u - 19 = -3*z, 2*u = -5*z - 0*z + 19. Suppose -11 = -4*w + 3*x, -w - 4*x = -6*w + 14. Solve -u*m = b - w, -3*m + 2 = 3*b - 7 for b.
4
Let p be (-3)/6 + 2/4. Let h = p - -1. Suppose -3*b + 35 = -0*b + 5*z, -b + z = -h. Solve 5*n + 3 = b*q - 12, -15 = -5*q + 4*n for q.
3
Let p be -2 - (0 + 0 + -3). Let f(u) = 4*u**3 - 1. Let k be f(p). Solve -2*s = 5*g + 14, 5*g = -s + k*g - 5 for s.
3
Suppose 0 = -5*o - 2 + 12. Solve -o*z + 14 = 5*i, 28 = z - 5*z + 4*i for z.
-3
Suppose 3*f = -3 + 9. Solve 2*i - 8 = 2*g, f = -g + 3 for i.
5
Let w = -2 + 7. Suppose -z = -u - 5, w*z = -5*u - 15 - 10. Let p be u/2*(-32)/10. Solve -2*i = -4*f - 12, p*f - 3*f - 3 = -2*i for i.
4
Let l = -87 - -93. Solve -2 = -u, -q = l*u - 5*u for q.
-2
Let p(i) be the third derivative of 0*i - 2/3*i**3 - 4*i**2 + 1/12*i**4 + 0. Let n be p(3). Solve 0 = -2*u + 3*u + m + n, 20 = -3*u + 4*m for u.
-4
Let v be (-23 + 16)*6/(-14). Suppose k - 2*q - 10 = 3, -2*q + 1 = k. Solve -k = 4*u - v*b, 5*u + 14 = b + b for u.
-4
Let r = -3 - -6. Let q be (-4)/(-6)*(-15)/(-2). Let h = -3 + q. Solve 0 = s - 3*l - 3, r*l - 9 = -s - h*s for s.
3
Let u be ((-150)/(-5))/((-2)/3). Let w be (-50)/(-18) + (-10)/u. Solve -w*f - 6 = 3*j, 1 = j + 2 for f.
-1
Let n be (0 - -6)*8/12. Let l be (-6)/n*(-16)/12. Solve -g - 13 = 4*u, u - g - 1 - l = 0 for u.
-2
Let v = -30 - -30. Solve 0 = -i - v*i - 5*l - 9, -4*l + 16 = -5*i for i.
-4
Let d(v) = v**2 - 4*v + 4. Let y be d(4). Suppose -8 = 4*k - 6*o + 2*o, y*k = 5*o - 12. Suppose b + k = 7. Solve 3*x + 1 = 2*u - 14, b*u - 5 = x for x.
-5
Let s be (15/(-9) + 1)*-12. Suppose -4*z = -3*z - 3*h + 2, -3*z + s = -2*h. Suppose z*k + 2 - 6 = 0. Solve -4*y + 4*m = -k - 15, -y = -3*m - 2 for y.
5
Suppose -3*m - 16 = -7*m. Let u = -67 + 71. Solve 1 = u*c + 2*q - 1, 4*q = m*c - 20 for c.
2
Let b be (-10)/50 - (-1)/5. Solve 3*j + 7 = -2*d, 0*j - 2*j + d - 7 = b for j.
-3
Let d(b) = -b**3 + 6*b**2 + 8*b - 9. Let s be d(7). Let j be 12/(-21)*7/s. Let k = -6 + 8. Solve p = -j - 0, -k*m = -p + 6 for m.
-4
Let w = -102 - -105. Solve -w*y + y = 3*r + 13, -r - 1 = 0 for y.
-5
Let y(n) = -4*n**2 - n. Let x be y(-2). Let h = x - -22. Solve -3*a - 20 = 5*t, -4*t + 2*a + h = -2*t for t.
-1
Let o = 25 + -26. Let w be (2 + -1)*(-1 - -2). Let d = w - o. Solve 4*f = -4*k - 4, 3*k = -4*f + d*k - 16 for f.
-5
Let v be 2/(1 + 1)*-5. Let o = v - -3. Let a be 98/5 - o/5. Solve -3*f - 3*l - 18 = 0, a = 3*l - 8*l for f.
-2
Let k be 11/4 + (-1)/(-4). Let b be ((-2)/k)/(4/(-6)). Solve -8 = i - 2*c - 0, b = -2*i + c for i.
2
Let j = -15 + 42. Suppose 2*l + 61 = 4*y - j, -2*l + 92 = 5*y. Let u = -178 - -181. Solve u*p + 17 = 5*o - 23, -4*o = -y for p.
-5
Suppose -i - 3*l = 4, 3*l + 12 = -3*i + 6*i. Suppose 0 = -b + 7*b - 30. Suppose -o = 5*x + b + 1, -i*x = -o + 8. Solve -4*y = 5*r + 28, y = -o*r - 8 - 10 for r.
-4
Suppose 5*h + 1 + 8 = 2*w, 0 = -2*h + 2*w. Let g(f) = 55*f - 57*f - 2 - 2. Let x be g(h). Solve -r - 5*t = -2*r - 22, -2*t = -x*r - 12 for r.
-2
Let c be 10/(-35) - (-102)/14. Suppose c*v = 2*v + 10. Suppose 3*u = m - v*u - 12, 0 = m - 4*u - 10. Solve 4*n = 3*l + 8 + 9, m*n - 6 = 4*l for n.
5
Suppose 0 = 4*v + t - 15, -v + 5*v + 2*t = 18. Let a = -29 - -18. Let q = -7 - a. Solve -q*i = 4*d, 0*d + 15 = 2*i - v*d for i.
3
Let w = 39 + -39. Solve w = -5*v - j + 22, 2*j = -5*v + 21 + 3 for v.
4
Let v(d) = d**3 + d**2 + d - 1. Let f be v(1). Suppose -2*j = f*j - 20. Solve 0 = -x + 4, 0 = -j*y - 4*x - x + 5 for y.
-3
Let x(o) = 3*o - 6. Let i be x(4). Solve -2*b = 2*f - 8, 0*f - 5*b + i = -2*f for f.
2
Let j(d) be the second derivative of -3*d**5/4 - d**4/12 + d**2/2 - 5*d. Let m be j(-1). Solve t + 2*n = 6*t + m, 4*n = 4*t + 24 for t.
-1
Suppose 4*j - 8*j + 16 = 0. Solve d - 4*q - 4 = 0, j*d - 7 = 5*q - 2 for d.
0
Suppose 0 = -4*g + 11 + 9. Suppose 2*p - 3 - g = 0. Suppose -16 = -2*w - p. Solve -3*j = b + 11, -b - 5*j - 9 = w for b.
-5
Suppose 0 = -4*c + 4*x + 92, -4*x = -9*x - 15. Solve a - 5*r = -c, 4*a + 3*r + 0*r + 11 = 0 for a.
-5
Let n = -27 - -39. Suppose 2*v = -4*d + 6, 6*d - n = d + 2*v. Let g be 12/(-1)*(-13)/39. Solve -5*w + 5 = d*x - g*x, 0 = -5*x for w.
1
Let h be 2 - (-1 + -1)/2. Let v be 6/(-4)*20/(-6). Let f = v + -1. Solve h*m - 5 - 12 = -f*r, -11 = -4*r - m for r.
2
Let n be -4 - (-4)/2 - -5. Suppose -g = -4*i - 5*g + 116, 85 = 3*i + g. Solve 0*q - 24 = -t + 5*q, -4*q = -n*t + i for t.
4
Let o(a) = 2*a**3 + 12*a**2 - 10. Let v(r) = r**3 + r**2 - r - 1. Let b(y) = o(y) - 3*v(y). Let m be b(9). Solve w - 5 = -5*h - 2*w, 4*w = m for h.
-2
Let s(k) = -2*k - 4. Let v be s(-5). Suppose -4*a - 12 = 4*h, 0 = 2*a + a + 2*h + 6. Solve a = 5*m + 4*u + 6, -2*u + 24 = 4*m - v*u for m.
2
Suppose 0 = 5*z - 2*s - 15, -3*z = 6*s - s - 9. Solve 0 = 5*g - v + 7, 5*g + z = 4*v - 10 for g.
-1
Let j be (-1)/(2/3)*-2. Let b be (0 + 2 - 1)*57. Let k = 82 - b. Solve 5*v - k = -5*f, j*v - 1 - 6 = -f for f.
4
Suppose -1 = 2*t - t. Let a = t + 26. Solve 2*s + 5*u + 3 = -s, a = 4*s - 3*u for s.
4
Let l = 31 - 16. Solve -5*h = -0*k - 4*k - 25, -4*k - l = -3*h for h.
5
Let n be 16/3 - (-6)/9. Let v be 6/(4*3/n). Solve 0 = -5*s + v*b + 23 - 6, 3*s = b + 7 for s.
1
Let l = -22 + 25. Solve -m - 2*w - 4 = -1, -m = 5*w + l for m.
-3
Suppose 0 = 3*y - 4*y +