2*u + 9 = k*h, -3*u - h = 2*u - 3 for u.
0
Let j be ((-3)/(-2))/((-5)/(-40)). Solve -2*z - 4*m - j = 0, 4*z + 4*m = 5*z - 18 for z.
2
Suppose 25 = r + 3*f, -3*f - 20 - 19 = -3*r. Suppose 2*n + 2*n = r. Solve -2*y - 15 = 5*a, 3*y + 0*a + n*a = -12 for y.
0
Let w(s) = -s - 5. Let f be w(-5). Suppose f = -c - c - 12. Let k be 0 - (0 - c/(-3)). Solve -5*u - 20 = 0, -b - 2 = -u + k*u for b.
2
Let c(a) be the third derivative of 1/8*a**4 + 0*a**3 + 0*a + 1/30*a**5 + 0 + 2*a**2. Let h be c(-2). Solve 0 = 5*i + 5*u - 25, -2*u = -2*i + h*u - 8 for i.
2
Let j(p) = -p - 9. Let r be j(-12). Solve -3*i = -2*t - r, 4*t + 0*t + 2*i = -14 for t.
-3
Suppose -2*l - 2 = -4*l. Suppose -5*h + 14 = -l. Solve h*n - 5*s - 2 = 0, 3*s - 1 = 5*n + 1 for n.
-1
Suppose 3*q + s = 30, -12 = -0*s + 4*s. Solve q + 11 = -2*w - 3*k, 4*w = 5*k for w.
-5
Suppose 0 = 10*z - 6*z - 8. Let t = -4 - -4. Let a be t/(1/1*1). Solve -4*u - x + 3 = 0, -3*u - z*u + 3*x - 9 = a for u.
0
Let j be ((-1)/2)/(1/(-14)). Suppose 0 = 2*h + 2*h - 12. Suppose -2*d = 4*f - 12, -h*d + f - 5*f = -16. Solve 2*t = -4*a + 10, j*a = 2*a + d*t + 32 for a.
4
Let y = 17 + -14. Solve -15 = y*w - 4*c, -2*w + 3*c - 1 = 9 for w.
-5
Suppose -2*b = 5*j - b + 15, 3*b = -5*j - 25. Let z(p) = -2*p**3 + p**2 - 2*p - 2. Let m be z(j). Solve -4*f + 10 = 4*c - c, -5*c = -3*f + m for f.
4
Let f be (-5)/15 + (-46)/(-3). Suppose 9 = 4*r - j - 31, -3*r + f = 3*j. Solve u + r = -4*p, 3*u - 2*p = 1 - 14 for u.
-5
Suppose -a + 3*y = 2*y + 1, -2*a - 4*y - 2 = 0. Let q be 22 - (-5 - (a + -1)). Solve -q = 4*g - 5*f, -2*g + 2*f = -0*g + 10 for g.
0
Let m = 7 - 3. Let y be m/(-14) + (-424)/(-14). Solve 0*j = -4*k - 4*j, 0 = -2*k + 4*j - y for k.
-5
Let o(s) = s + 3. Let t be o(1). Solve 25 = -t*k + 5*p, 3*k - p = -4 - 1 for k.
0
Let a = -33 + 48. Let l be ((-9)/(-6))/(a/20). Solve -2*t - k - 8 = 0, 2*t = l*k - 6*k - 20 for t.
-2
Suppose 0 = 3*w + 3 - 18. Let d = 8 - w. Suppose -7*j = -5*c - 2*j + 65, -d*c = 3*j - 51. Solve 0 = 3*n - 2*p - 5, c = -5*n - 3*p + 55 for n.
5
Let v(w) = w - 3. Let s be v(8). Suppose 12 = 3*y - 2*a, 0*y = s*y - 2*a - 16. Solve -5*t = y*j - 0*j + 15, 10 = -j - 5*t for j.
-5
Suppose -p - 3 = -2*p. Suppose -20 = 17*w - 21*w. Solve 0*r = -q + r, -w*q + p*r - 4 = 0 for q.
-2
Let o = -7 + 9. Suppose -o*g = -7*g. Solve g*m = 5*a + m + 23, 2*a - 3*m = 1 for a.
-4
Suppose -2*w - 5 = -15, -2*w - 17 = -s. Solve k - 6*k - 25 = 0, 3*k = 4*r - s for r.
3
Suppose 18*h = 95 + 13. Let y(f) = 3*f**2 - 5*f - 4. Let p be y(4). Suppose -3*g - 4*s = -p, -6*g - 2*s + 26 = -g. Solve 2*c = v + 4*v + 12, v - g*c = -h for v.
-2
Let g be 9/15 - (-2)/5. Suppose -c + n - g = -5, -20 = c + 5*n. Solve 3*b - 3*m = -21, c*b + 2*b - 1 = -3*m for b.
-4
Let g = -12 - -8. Let y = g + 4. Suppose -2*r + 24 = 4*f + 2, -3*f + 3*r + 21 = y. Solve 2*s = b + 15, -b + f*b = 5*s - 50 for b.
-5
Let v be -4 - 15/(-4) - 3/(-12). Solve 0 = 4*w + 20, -5*t - w + 2*w + 15 = v for t.
2
Suppose -2*o = -3*l + 8 - 2, -4*o - 4*l = 52. Let y = -5 - o. Suppose 0 = -5*p + 14 - y, 4*p = g - 4. Solve 5*u - 2*a + 6*a = g, 4*a - 12 = -4*u for u.
0
Suppose j + 26 + 17 = 3*d, -d = 4*j - 10. Let t be (-2)/d*-2*14. Solve 16 = -4*b - t*p, 0 = -0*b + 3*b + p + 10 for b.
-3
Suppose 4*z - 36 = -b, 4*z + z + 33 = 2*b. Suppose -q = -5*j + b, 4*j + 5*q - 25 = -0*q. Solve 2*t + n - 7 = 0, 5*n + 18 + 7 = j*t for t.
4
Let o be 6 + -5 - (-9 + 0). Let u(m) = 4*m - 11. Let g be u(o). Solve 5*b + g = -4*z, -5*z = -b - 0*b for b.
-5
Let c = 19 + -19. Solve c = -5*o - 0*o - 3*i - 23, i + 21 = -5*o for o.
-4
Suppose 4*d + 8 = -2*k + 2*d, -3*k - 12 = 5*d. Let o be -2*(6/k + 0). Suppose o*u = 15 - 3. Solve 2*s = -2*c, -c - u*c + 5*s + 10 = 0 for c.
1
Suppose 6*c - 8 = 4*c. Solve 3*a - 5*v + 11 = 0, c*v - 9 = 2*a + 1 for a.
3
Let d(f) = f**2 - 3*f - 5. Let x be d(4). Let c be x*(1 + -1 + -1). Suppose 4*r = -3 - c, -4*r + 16 = 5*g. Solve 2*i + g*a - 2 = 2, -3*i - 4*a + 6 = 0 for i.
2
Suppose 0 = -4*f + 4*w, 2*f = -2*f - 2*w + 12. Solve -2*n - 6*s = -s + 25, 26 = -4*n - f*s for n.
-5
Let u = 16 - 7. Suppose 0 = y + 4 - u. Suppose -11 = -y*s + 14. Solve 2*k = 5*j - s, -k - 15 = k + 5*j for k.
-5
Let o = 122 + -122. Solve -2*s = -3*d - 19, o = -4*d + s - 21 - 1 for d.
-5
Suppose -2*u + 0 = -2. Let p be u + -1 - (0 + -4). Let c be (-22)/(-5) + 4/(-10). Solve 4*r = c*o - 3*o - 8, 4 = -4*o + p*r for o.
-4
Let x(l) = -1. Let p(y) = 4*y - 13. Let d(j) = p(j) - 3*x(j). Let t be d(7). Solve 0 = -5*s + 5*b + 11 - 1, 3*s - t = -b for s.
5
Let b be 3 - (3 - 8)/5. Solve 0 = 3*d - 6, -b*x + 2*d - d + 14 = 0 for x.
4
Let a be (1/2*0)/(-3). Solve a = 4*l + 4, 0*i = 2*i - l - 5 for i.
2
Let y = -116 - -118. Solve 3*n + 3*s - 12 = 0, -5*s + y*s = -3*n - 6 for n.
1
Let b(q) = -q - 6. Let a be b(-8). Suppose 34 = 4*r - a. Solve -2*o - 4 = 2*x, r*x - 4*x = 0 for o.
-2
Let r(d) = -4*d - 7. Let x be r(-5). Let m be (-2)/(-8) - 45/(-12). Suppose m*w - 5*y - 41 = -0*y, -5*w + 25 = -y. Solve -w*b - 4 - 13 = g, 2*b - g = -x for b.
-5
Let r be (-81)/(-4) + (-26)/8 + 3. Solve -r = 5*b, 3*h + 4*b + b = -32 for h.
-4
Suppose 2*x + 3*x - 140 = 0. Suppose 0 = -0*w - 4*w + x. Solve -5*k - 2*m - 6 = w, -3*k = -2*m + 11 for k.
-3
Let x be 1 - (5 + -1 - 3). Suppose -5*d - 4*b + 2 = x, -2*d + 8 = -b + 2. Solve f + 2*q = -2*f - d, f + 24 = 4*q for f.
-4
Let i(p) = -p**2 + p + 12. Let t be i(4). Solve 2*r = -2*w, -5*w + t*w - 3*r = 10 for w.
-5
Let z(l) = l + 9. Let y be z(-11). Let o be (-174)/(-24) + y/8. Solve n + 2*n - o = 2*p, -n - 26 = 5*p for n.
-1
Let p(b) = -b**2 + 2*b + 5. Let k be p(4). Suppose 6*f - 2 = 5*f. Let n = f - k. Solve 3*l - 6 = 5*d + 17, -4*l = n*d + 16 for l.
1
Suppose 0*s = 2*i - 2*s - 12, -3 = s. Solve 3 = -3*q - i*f, -f + 3*f - 18 = 3*q for q.
-4
Suppose 18 = -0*b + b. Suppose 6*m - 2*m = 20. Suppose -m*x + b = -167. Solve -2 + 31 = 3*q + 4*c, 4*q + 5*c - x = 0 for q.
3
Let r = 31 - 28. Solve -r*j + 2*f = -6*j + 4, 28 = 4*j - 3*f for j.
4
Let x be 4/(52/(-20) + 3). Let y = 9 + 16. Let d = -11 + y. Solve 0 = -3*s - 2*f + x - 2, 4*s + f - d = 0 for s.
4
Let h be (-1 + 14/(-6))/((-20)/30). Solve 18 = -2*t + 8, -2*t = -h*x + 30 for x.
4
Let y be (40/15 - 3)/(2/(-12)). Solve -1 + 7 = -2*c - t, -9 = c + y*t for c.
-1
Let p(n) = -2*n**3 - n**2 - 2*n - 1. Let x be p(-1). Let b(z) = z**2 - 11*z + 5. Let d be b(11). Solve 0*q + 2*q + x = 4*r, 0 = -d*r - 4*q + 35 for r.
3
Suppose 10 = 4*a - 2. Suppose 4*o = 4*x - 52, -x - 7 = a*o - 0. Suppose -4*m - 5*i - x = 0, -m + 0*m - 2*i = 5. Solve y + m*t - t = 1, 3*t + 3 = 0 for y.
3
Suppose -2*w = 2*y - 14, -2*y = -w + 3*y + 19. Solve 0 = -3*m + w, 4*f + 1 = -4*m - 3 for f.
-4
Let f be 4/(1 + (-4 - -5)). Solve t = 4*r - 0*r - 21, -23 = 3*t - f*r for t.
-5
Let b = -149 + 151. Solve -3*f + b*d = -7, -d + 8 = 4*f - 5*d for f.
3
Let s be (-2 + 2)*1 - 10. Let u(z) = -z**2 + 14*z. Let f be u(13). Let r = s + f. Solve r*l = -2*t - 0*l - 13, 4*t + 3*l + 17 = 0 for t.
-2
Let r(x) = 3*x + 3. Suppose 7*k = 2*k + 55. Let z(g) = g + 1. Let t(d) = k*z(d) - 4*r(d). Let w be t(-6). Solve -10 = 4*o + y, 5 = -4*o + w*y + 7 for o.
-2
Let r(d) = d**2 - 9*d - 6. Let b be r(10). Solve -4 = 4*m + u, m - b*u = -3*u - 1 for m.
-1
Let w be 6/((-2)/4 - 0). Let h = -7 - w. Solve 0 = 2*i + x + 12, -i = 2*i + h*x + 25 for i.
-5
Suppose 0 = i + l - 11, -i + 4*l - 7 = -l. Solve -i = 4*p, -5*x + 2*p - 14 = 4*p for x.
-2
Let q be 2 + -2 + (0 - -2). Solve 4*s - q*g = 4, 0 = -3*g + g - 4 for s.
0
Let u = 1 - -1. Suppose 4*i + 8*w - 9*w - 11 = 0, -2*i + 1 = -5*w. Solve -4*s - 29 = i*y, u = s + s - 4*y for s.
-5
Let q = 32 + -27. Let k be (-1 - (-4 + 0))*-1. Let t = k + q. Solve -t*g - 2*a = -5 - 3, 0 = g - a + 4 for g.
0
Suppose r - 5*z - 7 = 4*r, -3*r = 4*z + 5. Solve -3 = -2*l - 1, -2*j + r = l for j.
0
Suppose -2*d + 4 = 2, -15 = -4*p + 5*d. Solve h + 4*g = -8, -g - 10 = -p*h + 4*g for h.
0
Let j(q) = -q**2 - 3*q + 2. Let m be j(-5). Let g = 10 + m. Solve u = 2*u - 2*s - 1, -g*u - 16 = 5*s for u.
-3
Let u = -23 - -24. Solve 2*m + l = m - 9, m - l = u for m.
-4
Let i be 0*(-1 + 2)*1. Let t be i - (2 + -4 - 0). Suppose -5*n + 15 = -t*n. Solve l + l = n*g + 12, g + 4 = 0 for l.
-4
Let f = -15 - -27. Let t be (-8)/(-5)*5/2. Let s(h) = h**3 + 5*h**2 - 6*h + 4. Let w be s(-6). Solve -4*u + f = t*n, -w*u - u + 5 = 