3 + i, 12 = b*l - h for l.
2
Let m(z) = -z - 2. Let x be m(-7). Let p(w) = -w + x + w - w. Let f be p(3). Solve -t - t - 5*n + 10 = 0, -f*n = -4 for t.
0
Suppose -5*w = -2*v + 6*v + 2, v = 4*w + 10. Solve 4*u - 12 = 4*t + 12, -5*u + v*t = -15 for u.
1
Suppose -5*k + 4*t = -82, 3*t - 20 = -4*k + 27. Let v = 14 + k. Suppose 0 = 4*u + 12, -4*o - 4*u = -0*o + 4. Solve -2*n = -p + 4, 7*p + v = 2*p - o*n for p.
-4
Let k = -6 - -9. Suppose -k*b + 1 = 4*z, b = 1 + 2. Let y be (1 - 1)/z + 6. Solve 2*u + y = s + 3*s, 4*s + u - 3 = 0 for s.
1
Suppose 2*z + 2*q - 14 = 0, 4*z - 3*q = z - 9. Solve -13 = -u + 3*b, 0 = -4*u + 3*b + z*b + 31 for u.
4
Suppose -4*k + 0*r + 5*r - 1 = 0, -r = -3*k + 2. Solve 5*n = 2*o + 9, 2*n - 3*o + k = -2 for n.
3
Let s = 28 - 19. Suppose -6 = -3*k + s. Solve 3*n - 3*c - 9 = 0, 3*n + k*c + 13 = -2 for n.
0
Let d(s) = -s - 3. Let w be d(-7). Suppose -5*o + 0 + 5 = 0. Let i = o + w. Solve -m + 4*l = m - 22, 2*m + 23 = -i*l for m.
1
Let s(b) = 23*b**2 - b. Let n be s(1). Suppose -2*j + n + 4 = 4*p, 4*p - 3*j - 41 = 0. Suppose -3*y + 1 = -5. Solve -4*x - c + p = 27, 5*x + 26 = -y*c for x.
-4
Let c(d) = -d + 9. Let h be -4*(-1 - (-1)/(-2)). Let x be c(h). Solve -x*k - 14 = 2*k + 2*w, 0 = k - 4*w + 16 for k.
-4
Let x(o) = -o - 11. Let l be x(-8). Let q be (1 - -2) + (l - 0). Suppose 2*i + q*i = -3*b - 2, 6 = -3*b. Solve -4*s + i - 15 = r, 5*s + 14 = -2*r for r.
3
Let z(m) be the third derivative of -m**4/12 - m**2. Let w be z(-1). Let a be (-8)/(-28) + 220/14. Solve 0 = -2*c - 3*j + a, -w*j - 14 = -4*c + j for c.
5
Suppose 2*n - 4*k = -26, n = -3*k - 6 + 3. Let c be -2 + (-6)/n*6. Solve -c*g = -0*s + 2*s + 10, 4*s - 8 = 3*g for g.
-4
Let m be 4*(1 + 1)/4. Suppose 12 = 4*u - 6*u - 4*v, -14 = -u + 2*v. Solve -u*g = -g - 5*f + 27, -f = -m*g - 11 for g.
-4
Suppose -z = 4*d - 22, -22*z - 4 = -24*z. Let r(m) = m**3 + 3*m**2 - 2*m - 2. Let o be r(-3). Solve -o*y = -6*y + n - 7, 5*y = -d*n - 25 for y.
-4
Let y(o) = 4*o**2 + 11*o - 7. Let j(q) = -2*q**2 - 6*q + 4. Let c(s) = 5*j(s) + 3*y(s). Let r be c(-3). Solve -a = -u, r*u - 9 = 2*a + 3*u for a.
3
Let u(p) = 6*p**3 - 2*p + 1. Let v be u(1). Solve s + 4*f = 17, -2*s + 2*f + 3*f = v for s.
5
Suppose 0*x = -x + 4. Solve 2*v = -x, -4*r + 0*v = -v - 10 for r.
2
Let y be (72/21 - 3)*(6 - -1). Let f(u) = -u + 1. Let n be f(-7). Solve -4*q = -5*a + 8, q = -y*q - a - n for q.
-2
Suppose 3 + 1 = -p. Suppose -2 - 3 = n. Let x = p - n. Solve -c + 3*b = 0, -2*c - x = 2*b - 9 for c.
3
Suppose 2*f + 7 = -y + 4*f, 0 = -3*y + f + 4. Suppose 5*r - 6 = y*r. Solve -4*m = 4*a - 20, -r*m + m - 11 = -5*a for a.
3
Let o(p) = -7 + 4*p**2 + 3 - 1 + 4. Let z be o(1). Solve z*c = 0, f = c - 3*c for f.
0
Suppose -20 = 2*i - 7*i. Let d = -16 - -10. Let o = d + 9. Solve 3 - 8 = -i*l - o*g, 2*l + 5 = g for l.
-1
Let r = 3 + -6. Let m = -6 - -5. Let h be m/r*9/1. Solve h*g = -4*t - 15, 3*g + t - 3 = 3*t for g.
-1
Suppose 8 = 4*x + 4*t, -5*t + 6 = x + 3*x. Suppose -2*v + 0 = -4. Suppose -10 - v = -x*n. Solve -13 = u - 3*r, 3 - 6 = 3*u + n*r for u.
-4
Let i = -8 + 10. Suppose -2 - i = -o. Suppose 2 + 0 = n. Solve 3*t - n*p = -7, -5*p + p + o = 4*t for t.
-1
Let s = 57 + -40. Solve -3*j - 12 = 5*u - 0*j, 4*u - 5*j = -s for u.
-3
Let f(i) = 2*i**3 + 4*i**2 - 3*i. Let u be f(3). Let w = -53 + u. Solve 4*b - 5*r = -0*b + 4, -2*r - w = 5*b for b.
-4
Let d(n) = -1. Let q(y) = y**3 + 4*y**2 - 4*y - 4. Let u(x) = -6*d(x) + q(x). Let t be u(-4). Solve -2*f - t = -4*k, 5*k - 13 - 5 = -2*f for k.
4
Suppose -3*k + d + 54 = 0, -3*d - 72 = -4*k - d. Suppose k = 4*u + 2*x - 5*x, -4*x = -4*u + 16. Solve -5*o + 0 = -4*h - u, -5*h - 30 = 5*o for o.
-2
Let o = -10 + 12. Solve -4*g - d + 4 - 12 = 0, -4*g + o*d = 8 for g.
-2
Suppose 3*l + s = -3 + 13, 0 = l + 5*s + 6. Solve 0*z - 2*z = -l*m + 4, -4*z = 4*m + 8 for m.
0
Suppose 9*d - 3 - 15 = 0. Let t(m) be the third derivative of m**4/24 + m**3/6 - m**2. Let b be t(d). Solve q = p, 3*p + 2*q = -b*q for p.
0
Let j = 16 + 4. Solve -5*t + r + 4 = 0, -4*t - t = -5*r - j for t.
0
Suppose 5*r + 2 = 2*f - 1, 0 = -5*f + 5*r + 45. Let t = f + -13. Solve -d = -k - 1 - t, 0 = 3*k + d - 14 for k.
3
Let z(w) = 9 + 2*w + w - 2*w. Let u be z(-7). Let m be u/6*0*-1. Solve 3 = -3*a + 4*o, -3 = -o - m*o for a.
3
Let i = -15 + 18. Let y be 2 + (2 - (3 - i)). Solve -2*a = -2*k + y, -10 = 3*a - 0*a + k for a.
-3
Suppose 0 = 20*b - 17*b - 6. Solve -5*j = -z - 29, -b = -2*z - 0*j - 2*j for z.
-4
Suppose 9 = 3*v - 0. Solve 5*d + v = 2*r, -1 = -3*r - 4 for d.
-1
Let f = -18 - -34. Solve -2*c - f = 3*l, 2*l + 5*c + 17 = 6*l for l.
-2
Let s = -6 - -10. Let t = 8 - s. Solve -4*p + t*b - 1 = b, 0 = -p + 2*b + 1 for p.
-1
Let y be 2/(-8) + (-1028)/(-16). Suppose y = 4*t - 12. Solve 0*r - 5*j = -3*r + 4, 5*r + 4*j = t for r.
3
Suppose -k = 4*k + x, 2*k - 2*x = 0. Suppose k = 2*p - 3 - 3. Solve -p*r + 2*l = -21, -4*r = 4*l - 7 - 1 for r.
5
Let g(p) = -p + 21. Let y be g(0). Let c = 35 - y. Solve 5*v - 11 = -4*b, 4*b - 3*v = 5 + c for b.
4
Let j = 1 - -1. Suppose -104 = -f - 2*r, -f + j*r = -118 + 6. Suppose -4*k - 20 = -f. Solve 4*p - 2*v - k = 0, -2*v - 5 = -p + 2 for p.
5
Let k be (-1)/((1 + 0)/(-11)). Let s be (-1 - -2)*(0 - 7). Let v = k + s. Solve w - 1 = f - 3*f, -3*w + v*f + 13 = 0 for w.
3
Let z(a) = a + 1. Suppose -15 = -k - 4*k. Let g be z(k). Solve g*u + 3*o = 13, 0 = 4*u - 3*o + 5 - 0 for u.
1
Let j = -19 + 9. Let z = 13 + j. Solve -z*m + l = 0, 2*m + l + 0 = -5 for m.
-1
Let k = 44 - 40. Solve x = 4*x - p + 12, 20 = -5*x - k*p for x.
-4
Let i be (-3)/2 - 10/(-4). Suppose 4*y + i = -s + 9, 3*y = 2*s + 17. Let l be -2 - (-8 + 2 + -1). Solve -l*m = -10, -z + 12 = z + y*m for z.
3
Let z be (-4)/6 - (-448)/24. Solve 0 - 15 = -5*h, -4*h = -3*x - z for x.
-2
Suppose -2*z + 15 = z. Suppose -z*u - 7 = -3*y - 27, -y = -5*u + 20. Let x = 14 + -10. Solve -26 = u*m - 2*d, -6*m = -m + x*d for m.
-4
Let w be (24/9)/(6/45). Solve b = 4*m + 2*b - 4, -4*m - 5*b = -w for m.
0
Let h be 2/1 - (-23 + -1). Suppose 3*l + 0*u = -5*u - 14, -l + 22 = -5*u. Solve -h = 2*t + t - 5*i, 5*t + l = -2*i for t.
-2
Let b(f) = -f**3 - 2*f**2 - f - 4. Let a be b(-3). Let x = a - 4. Solve 2*l = -d + 2*d + 5, -4*d - 20 = x*l for l.
0
Suppose -4*v - 2*g + 8 = v, 0 = v + 4*g - 16. Solve k + 3 = -2*u + u, v = 3*u - 3*k - 3 for u.
-1
Suppose 0 = 4*p - 8, 3*p - 18 = 3*t - 6*t. Solve 2*r - 5*r + 10 = -2*c, t*r = -c + 17 for c.
1
Let n = -1 + 4. Suppose 4*a - n = 5. Suppose 0 = 3*y - 15 - 3. Solve -y*j + 2*j + 8 = 0, 0 = 5*o - a*j + 9 for o.
-1
Let x be 6*8 - -2 - 0. Suppose 2*y = x + 4. Let m be -1 - (2 - 2 - y). Solve 0*t - m = 4*f + 2*t, -20 = 4*t for f.
-4
Suppose 3*c - f = f - 19, -5*f = -10. Let t be (-2)/(-2) + -3 - c. Solve a - 5*b = -10, t*a = -2*b - 1 + 5 for a.
0
Suppose 3*m = 2*m + 3*m. Solve -3*z = 2*n + 8, -3*n + m*n = -5*z - 26 for z.
-4
Let p be (5 - 2)/((-9)/(-6)). Suppose 3*h - p*h = 0. Solve h = 2*q - 5*z + 1 + 2, 3*z + 15 = -3*q for q.
-4
Let y(c) = 14*c - 45. Let t be y(5). Solve -25 = 5*l + 4*i, -2*i + t = -7*i for l.
-1
Let j(n) = n**3 - 14*n**2 + 14*n - 14. Let g be j(13). Let p = 17 - 12. Let v = p + g. Solve -v*m - z = 19, 2*m + 2*z = -0*m - 14 for m.
-4
Suppose 2*m = 5*m - 3. Let u = 3 - m. Solve -26 = u*g + 5*t, 4*g - g + 25 = -4*t for g.
-3
Suppose -6*s = -3*s. Suppose 5*i - i = s. Solve 2*o + 9 = -o + 2*c, i = -3*c + 9 for o.
-1
Suppose 3*c + x - 14 = 0, 4*c + 0*c + 2*x - 20 = 0. Solve 0 = -c*g - 0*g - 3*i + 23, 4*g + 4*i - 24 = 0 for g.
5
Let d = 161 - 105. Suppose 5*h = 3*h + d. Solve 20 = 2*z + 4*t - 0*t, -4*t + h = 4*z for z.
4
Suppose 5*o + 28 - 3 = 0. Let r(f) = -f**2 - 4*f + 7. Let y be r(o). Solve -z + 14 = 3*j, -z - 2*j = y*z - 7 for z.
-1
Let g(q) = -q - 3. Let l be g(-5). Let p = l + -2. Let h be (p + 0 + -3)*-1. Solve -h*y = -3*f + 2 + 7, -4*f = y + 13 for f.
-2
Let d = 9 - 9. Let v be d - (1 - (3 + 1)). Solve 16 = 3*o - y + 1, v*o + 2*y - 15 = 0 for o.
5
Suppose -3*v + 0*v + 12 = 0. Suppose 17 = 4*n + 3*u, 4*u - 3 = 9. Solve -v*q - k = -7*q + n, 5*k + 27 = -2*q for q.
-1
Suppose 0 = 3*i - j + 13, 3*j = -i - j. Let f = 7 + i. Let v(s) = -s**2 + 5*s - 4. Let t be v(3). Solve -f*n = -t*l + 1, -4*l - 5*n + 32 = -n for l.
5
Let k = -11 + 11. Solve 5*d + 3*t + 18 = 0, k = -d + 2*d + 4*t + 7 for d.
-3
Let t(x) = -x**2 