 Solve 3*i - 19 = -3*c - f, 0 = 5*c - 4*i - 12 for c.
4
Let c(l) = -11*l + 13. Let p(q) = -5*q + 6. Let v(o) = -6*c(o) + 13*p(o). Let h be v(3). Solve -2*k + 9 = -1, 0 = 2*t - h*k + 15 for t.
0
Let z = -21 - -23. Solve -5 = -5*h - r, -r - 5 = -z*r for h.
0
Let q be (8/3)/(2/(-6)). Let j = q + 11. Solve 5*l + 3*n = j, -4 = -2*n + 3*n for l.
3
Suppose -j = j - 16. Let m(p) = p**3 - 8*p**2 + p - 3. Let q be m(j). Solve 4*k + f + 21 = 0, 5*f = q*k + 4*f + 24 for k.
-5
Let t be (-3)/(2*(-1)/6). Suppose 0 = -4*f + 3 + t. Let w(r) = 4*r - 7. Let h be w(7). Solve -23 = -n - 5*o, -f*n + o = -2*o + h for n.
-2
Suppose 0 = -2*s + 5*g - 19, -5*s = -2*g - 6 + 1. Let h be (-3 + 15)/3 - s. Solve -h = p - 4*y, 3*p = -5*y + 2 - 5 for p.
-1
Suppose 0 = -2*x - x + 6. Let q = x + -2. Let y = 0 + q. Solve t - 8 - 1 = -5*d, -4*d - t + 8 = y for d.
1
Suppose h + 6 = 3*h. Solve -2*l + 6 = -2*q - q, 6 = -3*q + h*l for q.
-2
Let c = 9 + -3. Solve 2*x - 3 = s, 3*s + c + 7 = 2*x for s.
-5
Let i = -34 - -39. Solve -i*w + 8 + 2 = -p, 2*w - 31 = -5*p for w.
3
Let z be (-2)/(2 - 5/2). Solve 0 = -6*t + t + z*h - 15, -4*t - 12 = -h for t.
-3
Suppose 0 = 5*k - 18 - 7. Let b = -2 + k. Suppose 5*u + 0 - 10 = 0. Solve -w = -u*n - 10, -2*w = b*n - 5*n - 12 for n.
-4
Let w(s) = s**3 - 8*s**2 + 7*s + 2. Let d be w(7). Suppose -12 = -r - d*r. Solve m - 5*b - 16 = 2*m, 0 = r*m - 2*b - 2 for m.
-1
Let b be (-8)/2 - -4 - -4. Solve 3*i + 9 = 2*h, 3*i = -b - 11 for h.
-3
Let w be -1*(1 + -2) + 4. Let o be 3/7 - 507/(-91). Suppose 2*l + w*y + 6 = -0, 0 = -l + 2*y + o. Solve f + l = 2*g, -3*g - 3*f + 4*f + 4 = 0 for g.
2
Let u = -13 - -13. Solve -5*f + 4*w = 17, u = -2*w - 1 - 3 for f.
-5
Let w = 5 - 1. Solve -w = d, l + 20 = -3*l - 2*d for l.
-3
Let z be -2 + (2 - 6 - 2). Let o = z + 10. Solve 0 = -3*g + 7*w - o*w - 10, g = 5*w for g.
-5
Let q(x) = 2*x + 64. Let f be q(-27). Solve 2*d = 3*w + 2*w + f, -d = 2*w - 5 for d.
5
Suppose 5*i = 36 + 4. Solve 2*s - 3*b + 6 = 0, -5*s + 15 = 2*b - i for s.
3
Let f(s) = 3*s**2 + s - 1. Let o be f(1). Suppose -103 + 123 = 5*g. Solve -g*m + 4*i = -o*m + 3, 3*m - i = 13 for m.
5
Let c be (-24)/18*18/(-4). Let n be (-3 - (-20)/6)*c. Solve -2*j - 6 = -n*q, 3*q - 5 = -0*j - j for j.
-1
Let y(u) be the first derivative of -u**4/4 - 2*u**3 + 3*u**2 - 7*u - 5. Let i be y(-7). Suppose 3*c - 4 - 11 = 0. Solve -2*a = -3*b - 7, 5*b = c - i for a.
5
Let o = -1 + 1. Suppose 0*s = -2*s - 26. Let a = 7 - s. Solve 2*q + 5*p - 13 = o, -2*p - 3*p + a = -5*q for q.
-1
Let q = 13 + -9. Suppose -5*z = -3*k + 19, -q*z - 24 + 4 = -4*k. Solve 3*v = 2*f, 7*v + 2 = k*v + 2*f for v.
-2
Suppose 0 = -5*z - 11 + 31. Solve z*t = -4*d + 23 + 17, -t - 15 = -4*d for d.
5
Let m(n) = 2*n**2 + n**3 - 9 + n**2 - 2*n + 4*n**2. Let j be m(-7). Suppose 0 = -2*q + 2, t - 3*t = -j*q + 1. Solve -o = 5*r + 29, -r = t*r + o + 19 for r.
-5
Let l(o) be the first derivative of o**2/2 + 3*o - 1. Let u be l(-1). Solve v + r = 4, 4*v - 6 = u*r + 10 for v.
4
Suppose 7*g = 6*g. Solve -5*s - m = -g*m, 0 = -4*s - m - 1 for s.
1
Suppose -24 = -t + 9. Suppose -12 = 6*z - 2*z. Let f be 2/z - 22/(-6). Solve 5*a = 2*r + t, -35 = -3*a + f*r - 8 for a.
5
Let z be (-1)/((-268)/(-88) - 3). Let l = 25 + z. Solve -5*b - 16 = l*m, 2*m + 3*m + 3*b = 0 for m.
3
Suppose 2*n + 3*n = -4*h + 45, -3*n = -2*h + 17. Solve -3*p + 5*p + h = 2*f, -5*p - f = -5 for p.
0
Suppose 7*a - 2*a - 3*j = -8, 2*a = 3*j - 5. Let n be 0 + 18 - (-1)/a. Solve -3*o - 2*w + 2 = -15, n = -o + 5*w for o.
3
Suppose 23 = 5*x - 3*t, 2*x + 2 = -t + 9. Let b = -2 + x. Solve 5*c = 3*z - 34, b*z + 3*c + 12 = z for z.
3
Suppose 8*u - 79 = -23. Solve -2*y + 6 = c, -3*y + u*c + 18 = 4*c for y.
4
Let s(h) = h. Let a be s(-2). Let n(d) = 0 + 2 + d + 6*d**2 + 2*d. Let l be n(a). Solve 2*b + 12 = 3*u, 3*u - 5*b - l = -2*u for u.
4
Let u = 0 + -5. Let n(r) = -r**2 - r. Let y(h) = -4*h**2 - 4*h + 5. Let o(l) = u*n(l) + y(l). Let s be o(0). Solve b - s = 5*p + 21, p + 5 = 0 for b.
1
Let w(n) = -n**2 + 6*n + 7. Let d be w(7). Solve 5*r + d*f + 2*f = -11, 3*r + 3*f = -3 for r.
-3
Let b = 12 - 10. Solve 0 = -4*a - 3*z - 0 - b, 3*z + 4 = -2*a for a.
1
Suppose -q + 7 = 1. Solve 0 = -4*d - 12, 2 = 4*s + 4*d + q for s.
2
Let u be 6 - (9/3 + 0). Solve 5*t = u*b - 12 + 2, -3 = -b + 2*t for b.
5
Let b be 12/(-10)*60/(-9). Let d(f) = -f**3 + 7*f**2 + 8*f + 3. Let m be d(b). Solve n - a = 1, -3 = -0*n - m*n - 2*a for n.
1
Let o(b) = -b**2 - 5*b - 1. Let j be o(-3). Let p = j + -3. Suppose -y = p*y - 24. Solve -3*n + 11 = -t, -y = -t - 3*n + 5 for t.
1
Let q(x) be the first derivative of -3 - 3*x - 3*x**2 - 5/3*x**3 - 1/4*x**4. Let g be q(-4). Solve 0 = -c + 5*r - g, c + 2*c + 2*r - 2 = 0 for c.
0
Let b be 4 + -1 - (0 + 0). Solve 5*u = -b*i + 5, i - 5*u + 4 + 1 = 0 for i.
0
Suppose -5*t + 3*u = -65, -4*t - 2*u + 4*u + 50 = 0. Solve -t - 18 = 4*c - 3*w, -c = w for c.
-4
Let p = 96 + -93. Solve p*z - 2*m - 3 = 0, 0 = 4*z + z + 4*m + 17 for z.
-1
Suppose 0 = 2*i - i - 3. Suppose 0 = 4*w + 12, -7*a - 4 = -3*a + 4*w. Suppose -1 = -a*j + 3. Solve 0 = v - 3*v - i*f - 23, -j*v = 4*f + 28 for v.
-4
Suppose 9*b - 33 - 3 = 0. Solve 0 = -4*m - 2*w + 5*w + 13, 3*m - 15 = b*w for m.
1
Suppose 0*s = -z - 3*s + 5, 2*z - 5*s + 1 = 0. Solve -3*q - 5*t - 6 = 0, 4*q - z*t - 3*t = 27 for q.
3
Let y be 4/6 + (-72)/27. Let i = 3 - y. Solve -5*u + 19 = 4*b, b + 14 = i*u - 0*u for b.
1
Suppose -2*i = 5*v + 6 - 2, -3*i - 6 = 0. Solve -5*q + 5 = 2*u, v = 5*u - q + 3*q - 23 for u.
5
Suppose 2*m = l + 1, 0 = -0*m - 5*m + 4*l + 1. Solve r - 4*b = 5, 4*r - 3*b - 19 - m = 0 for r.
5
Let t(w) = -w**3 - 8*w**2 - 8*w - 2. Let r(c) = 0*c**3 + 3 - 7*c**3 - c - 2. Let h be r(1). Let j be t(h). Solve g + u + 0 + 3 = 0, -j*g + 3*u = -9 for g.
0
Suppose n + 4*n = 0, -5*n = 2*t. Solve t - 2 = -2*m + 5*v, -4*v = -4*m - 8 for m.
-4
Let w be (1 - -1)/(24/(-15) - -2). Solve -4*d = -4*c + 32, -w*d + 6*d + 3*c = 8 for d.
-4
Suppose 2*d + 0*m - 2*m = 6, 5*m + 18 = 2*d. Let r = d + 3. Solve -3*z + 0 - 5 = -x, -3*z + r*x = 7 for z.
-1
Suppose 0 = -2*r + 4*u - 24, 5*u - 51 = r + 3*r. Let g be (r/(-2) - 1)*1. Solve -4*i = -5*b, 5 = -i + b + g for i.
5
Suppose 12 = j - 8. Solve a + a - 4*l + 18 = 0, 0 = 5*a - 5*l + j for a.
1
Let u be (-2 + 1)*-1 + -8. Suppose 5*v + 2*d = v + 18, 0 = -2*v - 5*d + 29. Let c = v - u. Solve -c = -3*q - 3*s, -s + 12 = 4*q - 3*s for q.
3
Suppose -3*n = 3*l + 9, -n - n - 6 = 0. Solve 3*p + 2*h - 4*h - 16 = 0, l = -5*p - 2*h + 16 for p.
4
Let n be (-527)/(-68) - 1/(-4). Solve 0 = 2*x + 4*s + n, -x = s + 3*s + 12 for x.
4
Suppose 3*d + 5*d = 4*d. Solve -4 = -f, d*q = q + f - 4 for q.
0
Suppose 12 = 4*w, -2*r - 6*w + 16 = -2*w. Solve 0 = 3*k + c - 2, 2*k + r*c + 4 + 0 = 0 for k.
2
Let j = -12 - -6. Let c be ((-8)/j)/(6/9). Suppose 5*p = -4*n + c*n, n - 3*p = 0. Solve 2*b - 8 = -t, -2*t = -5*b - n*b + 20 for t.
0
Suppose -4*y = -3*w + 74, -13 = -3*w - 3*y + 89. Suppose -5*n + w = -0*n. Solve -5*a - 19 = 4*o + n, 0 = -5*o - 3*a - 28 for o.
-5
Suppose -4*c = 3*f - 35, 3*c + 0*c = 5*f + 19. Solve 5*b + d + 26 = 0, 2*d - c - 10 = 4*b for b.
-5
Let p(g) = -10*g. Let y be p(2). Let n = -11 - y. Solve 3*b = -6, n = -5*r - 3*b - 2 for r.
-1
Suppose -y - y = -18. Suppose -k + 5*d = 19, -4*k + d - 3*d + 12 = 0. Let q = k + 2. Solve -3*h - y = -q*t, 6*t - 5 = t for h.
-2
Let y = 0 + 1. Let g be 0/(-1 + y + -2). Solve 5*f - f = 3*i - 8, -4*i - f - 2 = g for i.
0
Suppose -3*v = -5*s - 20, -2*s - 12 = -5*v + s. Let u be (-2)/2 + 1 - -4. Let t = 1 + -1. Solve v = u*d - t*d - 4*b, -d + 5*b = 0 for d.
0
Suppose 2*l - 16 = -4*a, -a = -0*a - 4*l + 5. Solve -i - 2*k = a, -4*i + 5*k = -3*i - 18 for i.
3
Suppose 5*b - 4*t = t + 40, 4 = 2*b - 5*t. Solve 0 = d - 2*x + b, 7*d - 2*d + 2*x = -12 for d.
-4
Let z(f) = f**3 + f**2 - f - 23. Let l be z(0). Let p be l/(-5) + (-4)/(-10). Suppose a + 2 - p = 0. Solve -a*j - 3*t + 12 = 0, t = 5*j + 5*t - 21 for j.
5
Let j be 0 - (-5 + (-3 - -2)). Suppose -n + 5*f = 23, -n + j*n = 4*f - 10. Let z(k) = k**2 + 1. Let r be z(1). Solve -19 = -q - 5*m, -5 = r*q - n*m + 5 for q.
-1
Let n(c) = -5*c + 2*c - 3*c**2 + 5*c**2. Let h be n(2). Suppose 0 = -3*g + 3*g - 5*g. Solve -2*p + b + 3 + g = 0, h*p + 3*b = 15 for p.
3
Suppose 4*i = -2*i. Solve i = -z - 0*z - 5*y + 13, -16 = -4*z - 2*y for z.
3
Let