k, 2*u = -3*r - 14 for r.
-4
Let r be 4/14 - 24/(-14). Suppose r*i + 2*h = 0, -2*h - 3*h - 15 = 0. Suppose -i*q - 2*q = -20. Solve 3*w + 1 + 6 = -4*g, q*w = 3*g + 24 for g.
-4
Let r = 7 - 7. Solve -2*c = -4*w - r*w - 6, -w + 11 = -3*c for w.
-4
Let x be (-2)/5*(-20)/4. Solve -p + x*k - 7 = 0, 0 = 2*p + 4*k + k + 5 for p.
-5
Let d be 2/4*0/3. Suppose o - 10 + d = 0. Let q be 4/10 + 246/o. Solve 0 = t - 0*t - 4*k + q, 5*k - 45 = 4*t for t.
-5
Let z be (2/4)/(1/44). Let g be (-1 + 1)/(-3 - -1). Suppose 3*v + 3*h = 0, -4*h - 4 = 3*v - g. Solve y - z = -5*a, 8 = y - 5*y + v*a for y.
2
Suppose 22*c + 6 = 25*c. Solve 0 = -3*a + 7*a + c*d - 18, 1 = -d for a.
5
Let t be 0/2 + 1 + 0. Let m be (20/(-12))/(t/(-3)). Solve -m*x + x - 32 = 5*a, -2*a + 4 = -4*x for a.
-4
Let v = -100 - -111. Solve 2*y + 3*l = -v, 0 = 5*y + l - 2 - 3 for y.
2
Let v = 10 + -7. Suppose o = r + r + 14, v*r + 19 = o. Solve 4*l + 0*h - 20 = -o*h, -5*l + 5*h + 25 = 0 for l.
5
Suppose -3*o + 45 = -3. Suppose 0 = 2*d + o - 0. Let c be (d/10)/(2/(-5)). Solve 10 = c*w - 2*z, -5*w = -4*z + z - 21 for w.
3
Let q(k) = 2*k + 4. Let u be q(-4). Let j be 10/4 - (-2)/u. Solve j*m = 2*n - 3*n + 8, 0 = 5*m - 4*n + 6 for m.
2
Let u be -1*2/(-2) - 2. Let w(c) = -c**3 + 8*c**2 - c + 6. Let t be w(8). Let o be 20 + t/(2/u). Solve o = -5*d + 1, 0 = 5*g - d - 4 for g.
0
Let c(g) be the second derivative of g**5/20 + 5*g**4/12 - 3*g**2/2 + g. Let p be c(-3). Solve 14 = -h - 4*d, 3 - p = -4*h + d for h.
2
Suppose -2*t + 0 + 4 = 0. Suppose -33 = -w - t*w. Let d be w/4 + 2/8. Solve 4*l - 4*v = 36, -d*l - v - 5 = -16 for l.
5
Suppose 3*h - 36 = -3*n - 0*h, 4*n = -5*h + 50. Solve j + 4*g - 1 = n, 16 = 4*g for j.
-5
Suppose 5*u - 4*b + 98 = 0, b + 0*b = 4*u + 85. Let y = u + 32. Solve 2 = 5*x + 12, 5*x = -3*f - y for f.
0
Let x(n) be the first derivative of -n**2/2 + 11*n + 1. Suppose -33 = -3*p - 6. Let a be x(p). Solve -a*l + 2 = 2*o, 2*l - 4*o = -0*o + 14 for l.
3
Suppose s - 13 = -4*g, -1 = -2*s - 2*g + 1. Suppose -2 = -f, -6 - 1 = -t - 2*f. Let y = s + t. Solve y = 4*o - 4*n - 4, 2*n + 3*n - 40 = -4*o for o.
5
Let a(l) = l**2 + 6*l + 6. Let z be a(-4). Let t be z/(-1*2) - -1. Let v be 6/(-4)*40/(-30). Solve -3*d - 12 = v*i, -t*d = -5*i - 0*i - 11 for i.
-3
Let g be (-10)/(-6)*2*(-6)/(-4). Solve 5*o + 2*y = 21, 5*y - 27 = -g*o + 3 for o.
3
Let z = -69 + 72. Solve t - z = -4*q + 5, 3*q + 4*t + 7 = 0 for q.
3
Let n be (15 + -20)*-2*2/10. Solve k = -2*u + 4, n*k + 4 = 2*u - 12 for k.
-4
Let x(g) = g**2. Let n be x(-2). Suppose n*z = -4*j + 28, 2 + 0 = -z + 2*j. Suppose z - 20 = -4*c. Solve -5*k + 20 = 5*w, -c*w - w = 2*k - 5 for k.
5
Suppose -2*v = v - 108. Let q be v/8 - (-1)/2. Suppose 6*k - 200 = k. Solve q*b = -5*y - k, -3*b + 2*y = -4 + 13 for b.
-5
Suppose c + l = 3*l - 4, l = -c + 8. Solve -25 = 5*p, -c*k - 3*p - 5 = 2*p for k.
5
Suppose -2*x = 3*g + 2, 16 = 2*g - 4*x - 4. Suppose -2*p - g*p = -36. Solve -q - 2*d - p = 0, 5*q - 3*d + 0 = 7 for q.
-1
Suppose -4*r = -0*r - 20. Suppose 4*l - q = l + 5, -3*l + 2*q = -4. Solve w = -l*k + r - 15, -2*k = -5*w - 14 for w.
-4
Let d(y) = -7*y. Let s be 1/(-3) - (-10)/(-6). Let c be d(s). Suppose -3*v - 3*l + 24 = 0, 2*l - 4*l = -10. Solve 2*k = -5*z + c, 4*z = -v*k + 3 + 4 for z.
4
Let b = -1 + 3. Solve b*m - 2*p = -2 + 8, -4*p = -5*m + 14 for m.
2
Suppose 5 = d - 0. Solve 3*z - 2*z = 5*r - 4, -3*r = -d*z + 2 for r.
1
Suppose 1 + 5 = 3*l. Solve -2*y + l*a + 9 = 1, -2*y - a - 7 = 0 for y.
-1
Let y be 0*((-2)/(-6))/1. Suppose 20 = -y*o + 4*o + 2*c, 3*o - c = 15. Solve -o*x + f = -18 + 1, -3*x = -4*f for x.
4
Let y = 23 - 16. Suppose -y*z = -3*z - 20. Solve 5*m + 25 = -3*i, 5*i + 0*m + 15 = z*m for i.
-5
Let w be -2 + 1 + 112/7. Solve -5*g - 28 + 5 = 2*n, 0 = 5*n + 4*g + w for n.
1
Let r be ((-4)/(-6))/(-8 + 10)*24. Solve 2*c = -4*z - r, -z - 13 = -c - 4*c for z.
-3
Suppose -9*x = -7*x - 14. Solve -5*t + x - 48 = -4*d, -2*d = -3*t - 23 for d.
4
Let m(i) = -i + 2. Suppose 4*z - 14 = -6. Let p be m(z). Suppose p = -v + 2*k - 8, 5*v - 2*k - 3*k = -15. Solve 5*d - 21 = 2*q, -d = v*q - 6*q - 15 for d.
3
Suppose -b + 3*g = 4*b, -4*g = 2*b. Suppose -2*q - n + b*n = -20, -4*n = 4*q - 44. Solve 4*m - 2*m = -3*u - q, 0 = 3*u + 9 for m.
0
Let z(y) be the first derivative of y**3/3 - 7*y**2/2 + 3*y + 4. Let k = -10 - -17. Let s be z(k). Solve -18 = i - s*a, -19 = 5*i - 5*a + 21 for i.
-3
Let d(j) be the first derivative of -j**4/4 - 2*j**3 - 5*j**2/2 + 3*j + 2. Let o be d(-5). Suppose o*m - 4 = 2*m. Solve -3*w + 11 = -q, m*q - 3*q + w = 9 for q.
4
Let u = 1 + -1. Suppose -3*m = -m - 3*z - 295, 3*m - 445 = 5*z. Suppose -4*n + m = -0*n. Solve 3*t + 0*t - 3*w + 30 = u, -2*w = -5*t - n for t.
-5
Let w = -9 - -9. Solve w = -4*f + i - 3*i + 4, 2*i = -f - 5 for f.
3
Suppose -h + 12 = 2*h. Suppose v - 3*v = 5*d - h, 5*d - v = -2. Let n = 2 + d. Solve i - 16 = -5*g, n = 3*g + i - 6 for g.
4
Let q = 7 - -6. Suppose 26 + 1 = 3*c. Let o = q - c. Solve n = 2, -n + 0 + 2 = -o*x for x.
0
Let f(m) = 59*m**2 + m + 2. Let u be f(-1). Suppose -5*w + u = 5*k, w - 24 = -w - k. Solve 0 = -3*l + r + 13, -5*r + w + 13 = 3*l for l.
5
Suppose 0 = r - 10 + 6. Solve -14 = -k + 5*l, -3*k - k + r*l + 24 = 0 for k.
4
Let k(z) = z**3 + 5*z**2 + 2*z - 6. Let r be k(-3). Solve 0 = -4*u - 2*l - 10, r*l - l = -2*u - 25 for u.
0
Let z(r) = -r - 1. Let l be 16/(-6) + 7/(-21). Let t be z(l). Solve 2*s + 1 = d, 0 = 2*s - 4*d - 4 + t for s.
-1
Let z be 4/(4/3) - -2. Solve z*r + 27 = 3*b, 4*r - 8 = -0*b - 5*b for r.
-3
Let y be (5/((-25)/(-8)))/((-10)/(-25)). Solve -5*l + r + 2*r + 19 = 0, 2*r - y = 0 for l.
5
Suppose -5*h + 30 - 20 = 0. Let y = -51 + 86. Solve -2*g + 7*g + y = 5*b, 8 = -b - h*g for b.
2
Let h be 3 + -2 + -1 - 0. Let b = 144 + -144. Solve -z + 4*g + 4 = -h*z, 3*z - 5*g - 12 = b for z.
4
Suppose d + 1 = -c, c + 2*d - 23 = 7*d. Solve 0 = r - 5*h, 0 = -5*r - c*h - h for r.
0
Suppose -15 = -4*o + 5*m - 42, 0 = -3*o + 4*m - 19. Let y = -11 - o. Solve y = -2*k - 3*c, 3*k + 0*c = 4*c - 3 for k.
-1
Let y be 7 + (-2 - (1 + -1) - 1). Solve 2*v - 8 = 0, -y*h - 3*v + 24 = -h for h.
4
Suppose 2*m = 5*m - 6. Let w(h) = 2*h + 10. Let z be w(-5). Solve -4*x + m*p + 6 = z, -4*x - 2*p + 21 = -p for x.
4
Let v = 9 + -4. Suppose 2*m + 1 = n - 2*n, v*n = -5*m. Let x = 5 - n. Solve -t + 9*w - 4*w = 14, -x*t + w - 18 = 0 for t.
-4
Let r = -36 + 40. Solve -5*v = -r*i + 41, i + 6 = -0*i - 2*v for i.
4
Suppose 3*g + 3*r - 24 = 0, 3*g + r + 3 = 21. Let b(t) = t. Let w be b(0). Suppose w = 2*q - q - 8. Solve -k + 5*k + 4*j + q = 0, -2*k + g*j - 4 = 0 for k.
-2
Let y = 61 - 56. Solve 0 = -j - y, 23 = -3*n - 0*n - 4*j for n.
-1
Let j(f) = f**2 + 25*f - 76. Let k be j(-28). Solve 0 = 3*a + r + 3, 2*a + 4*r - k = 0 for a.
-2
Let c(x) = 4*x**2 + 21*x + 8. Let b be c(-5). Solve 2*s + b*s - 1 = -4*h, -5*h + 2*s - 7 = 0 for h.
-1
Suppose -u - 5*u = -12. Solve u*t - 1 = -0*t + 5*l, -2*t = l + 5 for t.
-2
Suppose -5 = -2*c - 1. Solve 0 = -c*s + 5*f + 15, 4*s = -4*f - 14 + 2 for s.
0
Let g be (-9 - 3)*4/(-16). Solve -x + g = -i, -i + 13 + 14 = 5*x for x.
5
Let k(p) = p + 9. Let s be k(-5). Let n(v) = -v**3 + 4*v**2 + 3*v - 10. Let g be n(4). Let q = s - g. Solve -6 + 2 = 4*c - 3*f, 0 = 3*c + q*f + 20 for c.
-4
Suppose 8*n - 3*n = 15. Let c = 8 - 5. Solve -c*x - 3*h - 9 = -4*x, 0 = n*x + 2*h - 5 for x.
3
Suppose -264 = 6*i - 10*i. Let y be ((-1)/2)/((-11)/i). Solve 6*o + y*j + 13 = 2*o, 0 = o + 2*j + 7 for o.
-1
Suppose -2*f + 13 + 3 = 0. Solve -x + f = -d, -x - 4*x = 5*d for d.
-4
Let k(u) = 2*u**2 + 3*u - 4. Let c be k(-3). Let x = 9 - c. Solve -3*l - 15 = -3*z, -z + 17 = -x*z - 5*l for z.
1
Let u(g) = g**3 + 8*g**2 - 2*g - 12. Let f be u(-8). Solve -2*l + 5*i = -6, -f = l + 2*i + 2 for l.
-2
Let f be 0/((-1)/(1/(-2))). Suppose -8 = -f*b - b. Suppose -w + s = 1, -3*w - b = -0*s - 4*s. Solve l - 1 = w*l - o, 17 = -3*l + 5*o for l.
1
Let u = -3 + 5. Solve -u*v + 4 = 5*c - 11, 3*v - 14 = c for c.
1
Suppose 9 = x - i, -2*x - 2*i + 5*i + 22 = 0. Suppose -x*f + 55 + 15 = -3*s, 5*s + 3*f = -60. Let v = -10 - s. Solve -2*w + 3*y = -4*w + 5, -v*y - 1 = w for w.
4
Suppose -3*m = -15 - 0. Solve -2*k - 9 - 1 = -2*f, f - 17 = m*k for f.
2
Let j(o) = o**2 - 2*o - 9. Let x be j(-3). Solve -3*s - 7 = -5*y + 7, -3*s - x = -3*y for s.
2
Let u(f) = -