 -2*u, -4*h + i = -5*u. Let m = 7 + -4. Solve -3*x + m*f = -6, -22 = -4*x + u*f - 5*f for x.
4
Suppose -2 = -15*f + 14*f. Solve q + 3*q - 16 = -4*i, 0 = i - f*q + 11 for i.
-1
Let r = 29 - 25. Solve 5*y + 4*i - r - 13 = 0, 5*y - 4*i - 33 = 0 for y.
5
Let h be (0 + 2/2)/1. Let p be (0 + -1)*h + -1. Let i be (40/15)/(p/(-3)). Solve -i*f - 9 = 5*u, -4*u - 4 = 2*f + 2*f for f.
4
Suppose 7 + 8 = -5*h. Let k be 0 + 6 - (0 - h). Solve -4*i + 6*i + 2*m - 4 = 0, -4*i = -k*m - 1 for i.
1
Let p be ((-4)/(-2))/((-4)/(-2)). Suppose 0 = -z + 3 - p. Let k be 0 + (0 - (z + -9)). Solve -8 = -4*h - x, 0 = 4*h + 3*x - 1 - k for h.
2
Suppose -3*c + 4 = -8. Solve g - 5*n = -c*g + 20, 5*n + 4 = -3*g for g.
2
Suppose 15 = -121*m + 124*m. Solve 2*i - 19 = -5*v, -m*i + 0*v - 10 = v for i.
-3
Let p be 5/20 + (-37)/4. Suppose 5*b + i - 32 = 41, 5*i + 13 = 2*b. Let d = b + p. Solve -15 = 3*z, d*z + 10 + 21 = 2*k for k.
3
Let a = -19 - -23. Solve -3*l + 3 = -5*d - 37, 2*l - a*d = 30 for l.
5
Suppose -5*b + 115 = -5*r, 0*r + 2*b - 26 = r. Let h be (-2)/6 + r/(-6). Solve -5*k = -2*u - h*u - 5, -3*k - 3*u - 9 = 0 for k.
-1
Let w(b) = b**3 - 8*b**2 + 7*b. Suppose 5*q - 31 = -s, 0*q + q - 2*s = 15. Let g be w(q). Solve 0 = -5*l - y - 18, g = 4*l - 0*l - 5*y + 26 for l.
-4
Let l(c) = -c**3 + 5*c**2 - c - 9. Let a be l(4). Solve 0 = 2*o - 2*x - 0 - 4, a*x = 2*o - 4 for o.
2
Suppose 0 = -5*u + 2*y - 12, -5*u + 5*y + 40 = -10*u. Let s = u + 6. Solve 25 = -4*d + s*j - 1, -j = 4*d + 11 for d.
-4
Let r(c) = -5*c - 2. Let d be r(5). Let i be 9/d - (-1)/3. Solve -4*u - 3*h - 1 - 2 = i, 5*h - 15 = 0 for u.
-3
Let v(p) = 12*p**3 + p**2 - 3*p + 1. Suppose 5*k - 5 + 0 = 0. Let s be v(k). Solve 0*w + s = -2*o - w, 13 = -o - 2*w for o.
-3
Suppose -4*y = -7*y + 2*i + 21, 2*y - 5*i = 25. Solve -5*d + 2*u = 27, 3*u = -5*d - 17 - y for d.
-5
Let d be 6*(68/42 + (-14)/49). Solve -3*v + 2*v + 2 = -3*l, -2*l - 4*v = -d for l.
0
Suppose -8 = -0*f - 4*f. Suppose 0 = f*i - 0*i. Solve i = -5*b - 3*d - 28, -b - 2*d + 18 = -5*b for b.
-5
Let i = 73 - 42. Solve 12 = -w - 3*g, -4*w + 5*g = -2*w - i for w.
3
Let o be ((-30)/(-9))/(4/18). Let l = -2 + 7. Suppose l*d - 20 = -4*s, -2*d - s - 2 + 7 = 0. Solve 0 = 2*w - 0*y - y + 10, 3*w - 4*y + o = d for w.
-5
Let t = -4 - -8. Let o(a) = -a + 6. Let l be o(t). Suppose 4*r = -l + 22. Solve r*s - 2*k = 25, 0*k - 3*k = -3*s + 15 for s.
5
Let n = 6 + -6. Suppose n = -0*q - 2*q. Solve -s = -2*b - 9, 1 = 2*b + s - q for b.
-2
Suppose 3*o + o - 4 = 0. Let q be 6/o - (0 + 2). Let g = -2 + q. Solve -p - 3 = -3*a + 4, -g*a + 18 = -4*p for p.
-4
Suppose 0 = 2*p - 6*p + 12. Solve 2*i = 4*u - p*u - 2, -5*i + 9 = u for i.
1
Let b = 32 + 0. Solve 5*g - b = 4*f, g = 5*f - 4*g + 35 for f.
-3
Suppose -2*v - 14 = -5*x + v, 4*v = -x + 12. Let j(m) = -m**2 - 18*m - 14. Let l = -43 - -26. Let y be j(l). Solve -x = -y*a - a, h - 3*a = 0 for h.
3
Let b(t) = -t**3 - 7*t**2 - 5*t + 8. Let s be b(-6). Solve 3*n = 5*r - 17 - 1, -s*n + 3*r - 11 = 0 for n.
-1
Suppose 0 = 7*q - 5*q - 10. Solve 3*d = -x + q, 5*d - 4*x + 22 - 2 = 0 for d.
0
Let v(b) = -b - 7. Let g be v(-7). Suppose 0 = -2*a + 3*t - 14, -5*a - 5*t + 15 = -g*a. Let z be 1 - (a + 1)/(-2). Solve -u = -k + z - 3, 3*u = -3*k - 24 for k.
-5
Suppose -4*q - 5*s - 24 = -s, -4*s = -4*q - 40. Let j = 13 + q. Solve -2*a + 5 + 5 = -2*d, -j = a + 4*d for a.
3
Let g(j) = -2*j**2 - 1. Let c be g(-2). Let a be (-12)/(-2)*(-3)/c. Solve a*n = b, -3*n = 5*b + 11 + 15 for b.
-4
Suppose 4*o - 6 = 2*o. Suppose 3*b - 2*b - o = 0. Solve 4*d + 0*z - b*z = -2, -d - 9 = -5*z for d.
1
Suppose -9 = -x + 11. Suppose 0 = 4*v - 0*v - x. Solve v*z = -5*u + 10, 3 - 12 = -3*z - 2*u for z.
5
Suppose 5*j - 6 = -w - 1, -3*w = 4*j - 15. Suppose -l + 11 + 3 = j. Suppose 5*v = 6 + l. Solve -3*o - 4*m + 29 = 0, o = 2*m - 3 - v for o.
3
Suppose -4*j = -5 + 21, -j = -d + 9. Suppose -q - 19 = -2*p - 2, -3*q + 70 = 5*p. Solve -d*z - p = 2*k, -3*k - 14 = 4*z - 4*k for z.
-3
Let n be (-1 + 3)*6/4. Let p = -1 + n. Solve 0 = -3*t, -p*t = -4*b - t + 4 for b.
1
Let k = -15 - -40. Suppose -5*f = -3*t - 112, 85 - k = 4*f + 5*t. Let p be ((-112)/f)/((-2)/10). Solve 0*u - p = 5*v + u, -5*u + 5 = -4*v for v.
-5
Let q be 507/27 + (-10)/(-45). Let b = -15 + q. Solve 3*m + 4*z = -0*z + 6, 2*m - b = -3*z for m.
2
Let n = 72 + -64. Solve 4*u - 8 = b + n, 3*u = -3*b + 27 for u.
5
Let o be (5/1 - 3)/1. Solve -o*b + 4*g - 2*g - 12 = 0, -4*b = 4*g for b.
-3
Let j = 9 - 11. Let p be ((-1)/j)/(1/10). Solve i - 27 = -d - 4*d, 0 = p*d - 3*i - 19 for d.
5
Let p(v) = v**2 + 8*v + 8. Let g be p(-8). Solve -3*n + 37 = 5*x, 4*n + g = n + 4*x for n.
4
Suppose 3 = -g + 2. Let s be (8/24)/(g/(-9)). Solve -2*r + 3*w = 1, -r - s*w + 8*w = 11 for r.
4
Let y = 7 + -7. Suppose y = -2*t + 7*t - 185. Suppose t = 4*m + 5. Solve 0 = 3*g - 9, 2 = -3*z + m*z - g for z.
1
Suppose 4*q - 5*q = 1. Let m be (-1)/q + 9 + -6. Solve f = m*o - 1, -2*f - 4*o + 10 = -0 for f.
3
Suppose -a = -3*a + 8. Solve 7 = -5*g - a*r, -4*g - 6 = 3*r - 0*r for g.
-3
Let o be (6/(-4)*-1 + -2)*-4. Solve 4*v + 10 = -0*y - 2*y, 0 = -o*v - 8 for y.
3
Let v be 29 + (0 + -1)/(-1). Let j(h) = h**2 - 5*h - 9. Let i be j(7). Suppose -i*r + 30 = -v. Solve 2*o - 4*y + 14 = 0, 4*o + 3*y - 39 = -r for o.
3
Let o(b) = -b**3 - 2*b**2 + 15*b + 4. Let a be o(-5). Solve a*y = -4*k - 8, -k + 18 = -4*y - 0*k for y.
-4
Let t be (2/3*21)/2. Let v = t - 11. Let y be (-2)/(6/v - -1). Solve -4*i + 3*h = h - 18, 5*h + 21 = y*i for i.
4
Let o(l) = l**3 + 3*l**2 - 6*l - 3. Suppose -4*y = 4*g + 24, 0 = -0*y + 2*y + 4. Let c be o(g). Solve -14 = 2*w - c*r, 3*w - 9 = -2*r + 8 for w.
3
Let u(y) = y**3 + 7*y**2 + 4. Let t be u(-7). Let v(h) = -1 + 2*h + 4 + h**2 - t. Let x be v(4). Solve 5*b - 3*c = -c - 15, x = -3*b + 4*c for b.
-1
Let c(y) = y**2 - 7*y. Let g be c(8). Let d = g + -5. Suppose -z = 3*a - 10, -a - 3*a + d*z = 4. Solve 2*s + 10 = 2*v - 0*s, -3*v = a*s - 5 for v.
3
Let n be (-40)/(-8) + 1 + 1. Let w = n + -4. Solve q + 2*g - 1 = -2, 0 = 2*q + w*g + 3 for q.
-3
Let r = -18 + 23. Suppose -v = -r*a - 3*v + 15, 9 = 3*a + 4*v. Solve -k - 2*c = -3*c + 3, a*k = c + 1 for k.
2
Let f be (-12)/(-18) + ((-7)/3)/(-1). Solve y = 5*b + 2, y + 6 = -f*b - 0*y for b.
-1
Let m be -6*1*(-4)/3. Let j(f) = 4*f**3 - 2*f**2 - 2*f + 4. Let o be j(2). Solve 0 = -t + 3*t + 4*b + o, -b - m = t for t.
-4
Let u = 8 - 5. Suppose u*s + 2*s = 20. Solve 0 = -4*k + b - 4, -b + 0*b = 5*k - s for k.
0
Suppose -4*x - 25 = -9*x. Suppose 0 = w - 3*w - 8. Let o = w + 8. Solve x*u = -2*t + 18, -3*u + 2*t + 10 = o*t for u.
4
Let c = 6 + 18. Let k(g) = g**3 - 4*g**2 + 5*g - 3. Let f be 0 + -1 - -1*4. Let s be k(f). Solve -7*w + s*w + c = 3*m, 0 = -4*m + 4*w + 4 for m.
4
Let u(v) = v**3 - 5*v**2 + 4. Let j be (-26)/(-6) + 6/9. Let y be u(j). Solve -2*s - 10 = 3*k + 7, 0 = 3*s - y*k for s.
-4
Let a(l) = l - 4. Let d = 17 - 11. Let s be a(d). Suppose v - s*v + 20 = 0. Solve -3*p = -4*b + 5, -v = -b - 2*b - p for b.
5
Let k = -6 - -9. Suppose 3*m = k*g - 21, m - 16 = -5*g + 19. Solve 0 = n + 4*i - g*i - 5, 0 = -2*i - 2 for n.
2
Suppose -3*h = -h + 3*d - 14, -10 = -3*h + d. Solve -5*o = 10, -4*o + 2 = h*u - o for u.
2
Let t(i) = -i + 9. Let j be t(-5). Solve -j = 2*f - 2*v, 0 = -3*v + 5 + 1 for f.
-5
Suppose -2*m - 3*m = -20. Let n be (-42)/(-12) - 2/m. Solve n*t - 3*x = 3, -3*x = -2*x for t.
1
Let d(w) = -19*w - 3. Let q(m) = 6*m + 1. Let s(a) = 3*d(a) + 8*q(a). Let z be s(-3). Suppose 0*o + 2*o - 32 = 0. Solve 10 - z = 4*n, 0 = -4*x + n + o for x.
3
Suppose 3*u - 10 = -2*u. Solve -t - t + o + 9 = 0, u*t - 4*o - 12 = 0 for t.
4
Let q be -1 + 0 + 1 + -2. Let c be (-3 - q)*-3*1. Solve 0 = 5*w + 3*k + 2*k, 0 = -c*w + 3*k - 24 for w.
-4
Let a be (0 - (-3)/3)/(-1). Let o be (12 - 9)*(-3)/a. Solve -5*b + 6 = -3*v, o*b = 5*v + 4*b for v.
3
Let g = 0 - 3. Let z be -6*2*g/18. Solve 5 = p - 3*v - 2, z*v = 3*p - 14 for p.
4
Suppose 9*i = 4*i + 20. Solve 5*l = -5*h - 40, 2*l - i*h - 7 = 7 for l.
-3
Let u be (-332)/(-20) - (-4)/10. Let w = -12 + u. Solve 0 = 4*g + 16, -2*o + 2*g + w = -3*o for o.
3
Let z be 6/24 + (8/2)/(-16). Let j = -1 - -4. Solve -b + 12 = -2*m, j*m - 7*m + 4*b - 28 = z for m.
-5
Let j(m) be the third derivative of m**4/24 - m**3/3 - 5*m**2. Let x be j(4). Solve k = 2*c + 12, 3*c + 7 = x*k - 1