 = -3*i - d*l - 1 for i.
0
Suppose 0 = -4*m - 14 - 2. Let n be 3 - m/(-2) - 2. Let p be (2*-2 + -1)/n. Solve 0 = 2*i + y - 15, 0*i + p*i + y = 30 for i.
5
Let f be 3/(-6)*(1 - 1). Let c = f + 2. Solve 4*l = -5*r + 30, c*l = -2*r + l + 9 for r.
2
Suppose k - p - 2 = -2*p, -k - 10 = 5*p. Let l = k - 2. Suppose -3*q - 15 = -6*q. Solve 0*c + q*c + 15 = -r, 2*c - 11 = l*r for c.
-2
Let l(v) = v**3 - 8*v**2 - 7*v + 6. Let a be l(9). Let t = a - 19. Solve -t*k = 4*r, -23 = 2*k + r - 4*r for k.
-4
Suppose -3*y = -2*y - 4. Suppose -y*n - 5*h = -2, 0*h = n + 4*h + 5. Solve -5*j - 19 = -j + k, k + 14 = -n*j for j.
-5
Let b(w) be the third derivative of w**6/120 + 3*w**5/20 - 11*w**4/24 - 7*w**3/6 - 3*w**2. Let p be b(-10). Solve 2*l - 12 = -s, -3*s = -l + s - p for l.
5
Suppose 4 = 2*w - w - f, 3*w - 16 = -f. Suppose -8*i + 54 = -11*i. Let a = 30 + i. Solve 0 = w*t - 3*b + a + 18, -5*b + 31 = -2*t for t.
-3
Let a be -2 + 4 + (0 - -3). Solve -a*q + 3*v + 13 = 0, -v + 17 = q + 2*v for q.
5
Let v = -3 - -6. Suppose -2*z - 2 = -v*f - 13, -9 = 3*f - 3*z. Let r = f + 7. Solve 5*x - j = -13, 0*x = -x - r*j - 7 for x.
-3
Let o(t) = -4*t - 3. Let d be o(-2). Suppose d*a - 13 = -3. Let h be a/3*3 - -2. Solve 3*c = 4*l + 20, h*c - 4 - 6 = 2*l for c.
0
Let v = 11 - 8. Let r be 57/12 + (-9)/12. Solve -r*a - v*l + l - 2 = 0, 5 = -a + l for a.
-2
Suppose -w + p + 15 = 6*p, 4*w - 2*p = -6. Suppose w = a - 5 - 0. Solve a*r - 2 = -3*h + 9, -2*h = -2*r + 14 for r.
4
Suppose -4*t = -29 - 3. Let u = t - 5. Solve -w = -4*a - a - u, -5*w + a - 9 = 0 for w.
-2
Let k = -3 - -6. Suppose h = -k*l, -4*h - l - 14 = h. Let n be 3/2*(-8)/h. Solve o + 4*o = 0, -n*d - 20 = o for d.
-5
Let i be (-4)/(-18) + 96/54. Solve g - 1 = -4*l - 0, i*g = 4*l + 2 for l.
0
Let m be (32/(-40))/(2/(-10)). Suppose 5*q = 33 + 52. Solve 0 = 4*d + 4*i - 8, 3 = m*i - q for d.
-3
Let t = -15 - -11. Let u be (60/(-75))/(t/10). Solve 3*c - 15 = 2*c - 4*d, -u*c + 2 = d for c.
-1
Suppose 2*t - 12 = -2*t. Suppose 4*m + 4 = 4*y, 5*y = t + 2. Solve 4*c + m*u = -u - 8, -10 = 5*c - 3*u for c.
-2
Suppose -2*c = -8 - 24. Solve 0 = -3*y - 5*o + 3*o - 2, 4*o = -c for y.
2
Let n be 5 - 5 - (0 - 1). Let a = -28 - -32. Solve -5*r - a = -0*s - s, s + n = 0 for r.
-1
Let d(i) = -i**2 + 8*i + 4. Let f be d(8). Suppose -2*o = f*l - 4, -3*l = o - 1 - 1. Solve 5*s = 4*x + 22, 0*s - 5*s + 10 = l for x.
-3
Let c be (-2)/3*(-6)/2. Suppose -4*d + 16 = -4*h, d + 4 = c*d + 3*h. Solve 0 = -5*q + q - 3*f, -d*q + 2*f + 20 = 0 for q.
3
Let q = 7 + -1. Suppose -3*l = 4*f + 7, q*f - 5*f - 5*l = 27. Solve -a = 5*b - 3, 3*b + f*a = 5*a + 9 for b.
1
Let t = 1 + -4. Let v = 1 - t. Solve 2*f - 21 = 5*w, w - v*f + 4 = -11 for w.
-3
Suppose -2*h - 2*d + 36 = 0, 3*h + 5*d - 2 = 48. Solve -4*s = -9*s - h, -3*z - 2*s = 2 for z.
2
Suppose 21 = -5*h - 4, -g - 5*h = 33. Let k = 20 + g. Solve -5*r = -2*i + 29, -4*r - k - 2 = 3*i for r.
-5
Let v be -1 + (-72*1)/(-3). Let b be 1/((-1 + -1)/(-8)). Solve -d - b*d - k = -v, 4*k = -d - 3 for d.
5
Suppose -5*g - 2*f + 22 = 0, g = -2*f - 0*f + 6. Solve 0 = 3*k + g*w - 20, 0 = -k - 3*w + w + 8 for k.
4
Let u be -3 - 10/(-15)*12. Solve -u*v + 3*v = -2*d - 14, v = 3*d + 13 for v.
4
Suppose 0 = -3*v - 9 + 15. Solve -v*u - w - 1 = -0*w, -5*u - w = -2 for u.
1
Let a be 5/(-2)*(-24)/20. Let y be -2*1 - (4 - 18). Suppose a*z - y = -z. Solve -2*v = z*x + 14, -6 = 3*v + 3*x + 12 for v.
-4
Let b(r) = r**2 - 2*r - 3. Let x be b(3). Suppose 2*p - 3*p = x. Let c be p + (-4 - -2) + 4. Solve 2 = 2*f - c*i, 0 = i + 5 - 2 for f.
-2
Suppose 0 = -3*n - 30 + 138. Let i be (1/(-3))/((-3)/n). Solve -3*h - 4*q + 12 = h, -q = 2*h - i for h.
1
Let a be ((-7)/2)/7*-6. Solve -3*f = f + 16, a*f = -3*r - 3 for r.
3
Let p = 3 + -3. Solve p = -2*z + s - 10, 3*z + 34 = 5*s + 5 for z.
-3
Let y(c) = c**3 - 6. Let w be y(0). Let n be 6/(-9) + (-22)/w. Solve -n*d - 13 = -a, -3*d = 5*a - 1 + 8 for d.
-4
Let y be 32/12 - (-2)/(-3). Let d = 0 + y. Solve -3*a - 4 = -2*l, 4 = 3*l + 5*a - d for l.
2
Suppose 2*w = 7*w. Suppose h - 12 + 2 = w. Solve 2*j + h = i + 3*i, i + j - 4 = 0 for i.
3
Suppose 0 = 5*s - 2*t, -s + 0 - 8 = -2*t. Suppose m = s*w - 65, 2*m = -3*m - 5. Solve -4*q + 0*g = 4*g + w, 3*q + 2*g + 21 = 0 for q.
-5
Let x = 9 - 3. Solve -4*z - t = -x*t - 5, -10 = z - 5*t for z.
5
Suppose -4*s - 52 = -3*w, -53 = -w - 3*s - 14. Suppose -h + 4*h - w = 0. Suppose u - 3*u = -4. Solve 5*d + h = -2*i, -2*i = -2*d - u - 4 for d.
-2
Let v = 31 - 12. Let j = v - 7. Solve -3*q = -l + q + j, -5*l - 4 = -4*q for l.
-4
Let w(a) = a**2 - 11*a + 12. Let f(y) = y**2 + 5*y - 4. Let q be f(-7). Let o be w(q). Solve -5*b + 2*k = -31, -o*k - 3*k = -3*b + 30 for b.
5
Let w(j) = -6*j - 1. Let v be w(-1). Suppose -g + v*g = 0. Solve 5 = p + 2*u, -4*u + g*u = -5*p - 17 for p.
-1
Let y(h) = -3*h + 5. Let d be y(4). Let r = 23 + d. Suppose -t = 3*t - r. Solve -4*a + 0*a + 8 = -2*f, -5*a + t*f = -7 for a.
3
Let i be (1*-2 - -4) + -2. Let j(o) be the second derivative of o**3/6 + 13*o**2/2 + 4*o. Let s be j(-9). Solve -5*k - 20 = 5*r, i*r = -2*r + s*k - 2 for r.
-3
Suppose 8*t - 3*t - 8 = -4*a, 0 = 2*a - 4*t - 4. Solve 5*z - u - a*u = -27, z - 9 = -3*u for z.
-3
Let z = 11 - 3. Suppose -3*r + r = -z. Solve 2 = -r*h + 6*h, 5*s + 24 = 4*h for s.
-4
Let g(r) = 3*r - 17. Let z be g(7). Solve -3*c + z*t + 0*t + 5 = 0, 5*c + 3*t = 18 for c.
3
Suppose i - 6 = 4*i, 5*r + i - 63 = 0. Let w = -13 + r. Solve o + p = -4, w*p + 5*p = 2*o - 20 for o.
0
Suppose -2*d + 28 = -0. Let p = d - 12. Solve s - 1 = k, -k = p*s + s + 5 for s.
-1
Suppose 17 = -5*q + 4*q + 4*b, 0 = -b + 5. Let f = 6 + -4. Solve 2*k = 0, -13 = 5*t - q*k + f for t.
-3
Let a be ((-12)/5)/(2/(-5)). Suppose -a*x + 2*x = -28. Solve 4*r - x = -3*s, 0 = 4*s + 4*r - 13 + 1 for s.
5
Suppose 4*h = -3*f + 2, -f - 6*h = -4*h. Solve -4*t + 20 = 4*l, -14 = -l - 3*l + f*t for l.
4
Let p = -3 + 7. Solve 3 = 2*v - f + 2, 5*f - 37 = -p*v for v.
3
Let b = 19 + -19. Solve 0 = -5*i - 2*y - 8, b = 3*i + 4*y + 3 - 1 for i.
-2
Suppose 5*y = 2*j + 3*j, 16 = 4*j + 4*y. Let d be j*(189/6)/3. Solve -2*n - 10 = -v - v, 5*n = v - d for v.
1
Let g = -9 - 0. Let l = g - -11. Solve -4*q = -2*x - 12, 3*q + l*q - 5*x = 20 for q.
2
Suppose -o + 4 = r - 3, -5*o = -4*r + 10. Solve -6*y + 2*y - 24 = -o*p, 5*y + 3*p + 8 = 0 for y.
-4
Let y be ((-7)/(-3))/((-2)/6). Let g = -4 - y. Suppose 0 = 3*m + 2*m. Solve 4*o - g*u = -0*o - 6, -5*o + u - 2 = m for o.
0
Let m(z) be the first derivative of z**4/4 + 11*z**3/3 + z**2/2 + 11*z + 3. Let x be m(-11). Solve 5*f + 2*n + 13 = -2*n, n - 3 = x for f.
-5
Suppose r - 8 = -0*r. Let q = 11 + -8. Solve 2*k = q*s - 17, 5*k + 38 - r = 5*s for s.
5
Let g(t) = -t**2 + 14*t - 20. Let d be g(12). Let q = 9 - 0. Suppose -c = -d*c + q. Solve -5*l + 2 = -c*j, -3*l + 8 = 5*j - 0*j for l.
1
Let p(f) = f**3 - 5*f**2 - 11*f - 18. Let i be p(7). Solve z + 2 = 3*b - 3*z, 3*b - 9 = -i*z for b.
2
Let s(b) = b**2 + 3*b - 13. Let z be s(-6). Solve 0*y - 2*y = 2*h - 16, 0 = -z*h - 4*y + 36 for h.
4
Let k(o) be the second derivative of o**3/3 + o**2/2 + 2*o. Let i be k(2). Solve -5*q = 5*n - i, 5*q + 2*n - 1 = -5 for q.
-2
Let d = 11 + -8. Solve -3*k + 7 = -5, 0 = -2*x + d*k - 18 for x.
-3
Let g be ((-24)/20)/(2/(-5)). Suppose 0 = -l - 5*p - 20, -l + p + 1 + g = 0. Let j be (2 - -4)/(2/1). Solve -n - j*f = -l*n + 4, -4*n - 4*f = 0 for n.
2
Let n be (-2)/(1*(-2)/28). Suppose -3 = d - n. Solve -2*i + 4*a + 5 - d = 0, 0 = -5*i + 5*a - 35 for i.
-4
Let b be 34/6 - 6/9. Let y(j) be the first derivative of j**4/4 + 7*j**3/3 + 7*j**2/2 + 6*j + 2. Let o be y(-6). Solve 3*s - b = f, -s + 5 = -o*s - 2*f for s.
1
Suppose 3*t - 3*p - 18 = 0, 0*t - 12 = -2*t + 3*p. Suppose -16 - 10 = 2*b. Let j = b - -35. Solve -c - 5*w = -j, 8*c - w = 3*c + t for c.
2
Let y(z) = -3*z - 2. Suppose 2*x - 11 = -r, -x - 5 + 0 = -3*r. Suppose -2*d + 0*d - x = 0. Let h be y(d). Solve -5*n - 2*v - 27 = -0*v, -2*v - 22 = h*n for n.
-5
Let c(m) = m + 1. Let y be c(2). Suppose 0 = 5*a - 6 - 19. Suppose -15 + 5 = -a*n. Solve -q - y*j - 5 = -n*j, -5*q - 3*j - 23 = 0 for q.
-4
Let r(d) = d**2 - 7*d + 8. Let l be r(6). Let o(u) = 5*u**2 + 8 - u + 0*u - 4*u**l. Let y be o(0). Solve -3*a - 8 = -4*k + y, 3*a - 12 = -3*k for a.
0
Let y(n) = 2*n - 5. Let m be y(4). Suppose 5*c = m*c + 8