= 17 - 11. Let i = -1 + c. Solve 0 = i*g - 3*z - 20, -g - 2*z - 12 = -4*g for g.
4
Let p(u) be the first derivative of 2*u - 1/2*u**2 - 2. Let n be p(-2). Solve y = 5*g - 13, -2*y = -7*y - n*g - 7 for y.
-3
Suppose 13*n + 6 = 32. Solve -u + 4 - 12 = 4*i, -20 = -n*u + 4*i for u.
4
Let d(o) = o + 32. Let k be d(-8). Solve -k = 3*f + 3*j, -f = -0*f - j for f.
-4
Let z be 4/2*(-15)/(-6). Let p be z*(2/5 + 0). Let n be 2/(-7) - (-4)/14. Solve n = -3*a + 7*a + 3*h, 0 = p*a + 5*h for a.
0
Let k(z) = 1 - 2*z - 4*z**2 + 2*z + 5*z**2. Let l be k(1). Solve 0 = 4*g, v + 2*g - g = -l for v.
-2
Suppose -2*n - 6 = -0. Let o(d) = d**2 + 2*d + 2. Let s be o(n). Solve 4*x = -a + 14 + s, 0 = x - 5 for a.
-1
Let k = -19 + 8. Let f = k - -9. Let s = f + 7. Solve 4*y + s*w + 8 = 0, 0*y + 31 = 5*y - 4*w for y.
3
Let n be (-10)/(-4) + (-2)/(-4). Solve 0 = v - 2*v + n*k + 17, 5*v = -2*k + 17 for v.
5
Let h be 2/(-10) + 11/5. Let k be (-4 + h)*(0 - 2). Let m be (-48)/(-14) + (120/(-28))/10. Solve o + 8 = -0*u + k*u, 7 = -m*u + 4*o for u.
3
Suppose 0 = 5*c - 4 - 16. Solve -3*t = 4*y + 1 + 3, c*t - 4*y = -24 for t.
-4
Suppose -62 + 22 = -2*r. Suppose 5*n - r - 34 = -2*c, -3*c = -n + 4. Solve -3*y + n = 3*m - 4*m, 12 = -4*y - 5*m for y.
2
Let t(z) = z**3 + 5*z**2 - 7*z - 3. Let f be t(-6). Let i be (-1 - -2)*(7 + -4). Let d be 3/(6/(-8)*-2). Solve -10 = -p + i*v - f, -4*p - d = -2*v for p.
-2
Suppose -18*h + 19*h = 4. Solve 14 = 4*u + 4*a - a, 2*a + h = 4*u for u.
2
Let v be 2*(10/4 - 0). Let j be (-9)/(-6) - 14/(-4). Let b = j - v. Solve b*w + 5*w + 4*z + 2 = 0, -3*w = -3*z - 15 for w.
2
Let g = -123 + 128. Solve 5*h + 0 = -5*c + 5, g*c + 22 = 4*h for c.
-2
Let u be 3 + -1 - -1*4. Let f = -2 + u. Solve -2*x + f*l = -24, -4*x + l + 33 = -4*l for x.
2
Suppose 27 - 2 = 5*d. Suppose 2*u - d = -5*j + 5, j + 5 = u. Solve u*l = -s - s - 19, 8 = -4*l - 4*s for l.
-5
Let u = -132 - -134. Solve 3*g + 1 = -6*v + u*v, -4*v - 4 = 0 for g.
1
Let q(y) = y**3 - 8*y**2 + 2. Let w be q(8). Solve 0 = o + 5*a - 2*a - 7, w*o = -3*a + 2 for o.
-5
Let n(f) = f**3 + 5*f**2 + 5. Let x = -11 - -6. Let q be n(x). Suppose l - q*a + 3*a = 7, 5*l + 4*a = 49. Solve 0 = -z - 2*g + 2 - 3, z = 3*g + l for z.
3
Suppose -334 + 4 = -5*z. Suppose z + 49 = 5*w. Let y(f) = f**3 - 2*f**2 - 4*f - 4. Let i be y(4). Solve 0 = 4*a + 4*s + 4, -5*a + 3*s + w + i = 0 for a.
4
Suppose 2*j = -3*w + 5, -3*j + 5*w = -10 + 31. Let c be (1/j)/((-8)/48). Solve -4 = -2*k - c*a - 8, 0 = 2*k + 2*a + 6 for k.
-5
Let d = -28 + 32. Solve 5*c + l - 35 = 6*l, -5*c + 31 = -d*l for c.
3
Suppose 3*b - 13 = 3*v - v, 1 = -b - 2*v. Solve a - 3*a - 6 = 4*i, 4 = -b*i - 2*a for i.
-2
Let p(u) = 3*u**3 + 2*u - 1. Suppose -3*h + 2 = m, h - 3*m = -2*m - 6. Let r be 1/(1/(-1)*h). Let a be p(r). Solve 5*w = -g + 8, a*w - 4*g = g + 18 for w.
2
Let r = 9 + -6. Let l = 6 - 3. Suppose -5*a + 6 = l*h, -6*h + 2*h - 12 = 0. Solve -r = a*f + 2*j + 7, -5*f - 5*j = 25 for f.
0
Let t(k) = -k**3 + 2*k**2 + k + 16. Let v be t(0). Solve -2*c + 5*u = -v, 3*c - c - 12 = 3*u for c.
3
Let j(f) = f**2 + 8*f + 3. Let d be j(-8). Suppose -9 = -0*w + 3*w, -2*y + 5*w + 19 = 0. Solve -d*h + 3 = a, -y*a = 2*h - 4 - 2 for a.
3
Let l be 0/(-2*3/3). Suppose -i + 4*f + 20 = -0*i, -3*i + 3*f + 24 = l. Solve -8*d + 10 = c - 3*d, -d = -i*c - 23 for c.
-5
Suppose 3*z = 4*r - 6 + 3, 4*r + 5*z - 27 = 0. Let m = -4 + 7. Suppose m*g - 40 = g. Solve r*a = -5*i - 14, 5*a + 5*i = -0*i - g for a.
-3
Let n be 2*(2 - 69/(-6)). Let g be (-1 + 2)*(-3)/(-1). Suppose l - 16 = z, 0 = -2*l + g*z + n + 2. Solve -5*i - l = -4*i - 4*w, -5*i + 30 = 5*w for i.
1
Suppose -5*h = -0*k - k - 263, -3*k - 153 = -3*h. Suppose -h = -3*u - 8. Suppose -d + 6*d - u = 0. Solve -d*c + c - 5*b - 15 = 0, -5*c - 24 = -b for c.
-5
Let z be 3*4/4*1. Solve -z*d + 5 = -4*p - p, -1 = d - p for d.
-5
Let l be (2/4)/(3/24). Suppose 9 = -l*a + 1. Let d be a/3 - 10/(-15). Solve -5*t + 10 = d, 0*p - 4*t + 20 = 3*p for p.
4
Let f(u) = -6*u**2 - 3*u**2 + 5*u**2 - u**3 - 4*u. Let k be f(-3). Suppose -4*h - 3*s = -5, -2*h - 5*s = h - 1. Solve h*d - d + 5 = -y, d - k*y - 15 = 0 for d.
0
Let n be (-8)/(-2) - (-5 + -5 + 8). Let m(r) = -r**3 + 6*r**2 + 7*r + 3. Let h be m(7). Solve h*u = -o - 11, o + 2*u + n = -o for o.
1
Let w = 285 + -280. Suppose -3*l = -v - 2 - 1, 4*l = 4*v - 4. Solve -2*y = 5*r + w, 2*r + 2*y = -l*y - 18 for r.
1
Let l = 56 - 55. Solve 5*n - 1 = -6, 3*o + 5*n = l for o.
2
Suppose -2*q - 10 = 0, 4*b - 5*q + 10*q + 13 = 0. Suppose -b*a - a = -8. Solve -2*x = -a*g - 10, 0 = 3*g + x - 0*x - 1 for g.
-1
Let z = -1 + 5. Suppose -o = k - z*k - 15, -3*o + k + 13 = 0. Suppose 0*q - 98 = -3*q - 4*m, -o*m = q - 36. Solve -f + q = 5*j, f + 4*f = 3*j + 10 for f.
5
Let c be (15/10 + -1)*2. Solve 3*b - c = 4*d - 23, -2 = -d - b for d.
4
Suppose 0 = -2*g - 3*p + 25, -3*p = -p - 10. Solve 5*o + g*y = 3*o + 6, 0 = o + 4*y - 3 for o.
3
Let h = 8 - 5. Let g(p) = p - p - p - 3 + p**2. Let n be g(h). Solve 0*c - 5*t = -n*c + 12, 4 = 5*c - 3*t for c.
-1
Let i(s) = -s**3 - 4*s**2 + 12*s. Let o be i(-6). Solve -d - 2*x + 4 = -3, o = -4*d - 3*x + 13 for d.
1
Let l be ((-3)/(-2))/((-6)/(-16)). Let d be -10*1/(-2)*1. Let o(f) = f - 7. Let y be o(7). Solve -2*k + 5*k = 4*r + l, y = -d*r + 10 for k.
4
Suppose d + 0*d - 2 = 0. Suppose -d*s = -2 - 2. Suppose 2 - 10 = -s*n. Solve -3*b + 2*v = -8, 0 = n*b + v - 1 - 6 for b.
2
Suppose 0 = y - 3*b - 7, -4 = -2*y - 4*b - 0. Let n(u) = 3*u**2 + u + 1. Let v = -4 - -3. Let l be n(v). Solve 32 = l*f + 4*r, y*f = 5*r - 1 - 8 for f.
4
Suppose 0 = -b + 12 + 2. Suppose 3*p + 5*r - 19 = 0, -3*r - r = 2*p - b. Solve 0 = 5*w + 4*j + p, 0*w + 2*j - 9 = w for w.
-3
Suppose 2*j + 3 - 13 = -t, 3*j = -3*t + 18. Solve 2*d + 3*m = 0, 3*d = t*m + 2*m - 17 for d.
-3
Let s(g) = 2*g. Let h be s(1). Suppose 2*t = t + 2*y - 3, -6 = t - 3*y. Suppose -t*i = -h*i. Solve 5*a - 2*m + i = -10, 0 = 2*a - 2*m + 4 for a.
-2
Suppose -8*w + 3*w - 3*p = -69, w = 3*p + 3. Suppose 3*z = -0*z + 21. Let q = w - z. Solve 5*x - x = b + 13, -q = b for x.
2
Let x be 3 - 7 - (0 + -3). Let p be x*(-4)/2 - -2. Solve p*c + c - k + 11 = 0, k = -4 for c.
-3
Let t(n) = n**3 - 7*n**2 + 1. Suppose -3*m + 4*m = -i + 9, 3*m = 4*i + 13. Let v be t(m). Suppose 0 = s + v - 3. Solve s*o - k + 1 = 11, 4*o + 4 = -4*k for o.
3
Suppose -14 = -w + 3*h, -1 - 23 = -2*w + 5*h. Let b be -2*(-2)/4 + w. Solve -5*p = -n - 14, -n + 0*p - b*p = -10 for n.
1
Suppose -4*s - 2*p = -52 - 42, -s + 31 = 2*p. Solve -f = 4*y - s, -3*f - y = -21 + 2 for f.
5
Let z be -2 - (-2 - (4 - 1) - -3). Let c be 23/5 - (-2)/5. Solve z = -c*r + 5, -r - 10 = 2*k - 5*r for k.
-3
Let m = 17 + -13. Solve 0 = 5*b - 4*t - 21, m*b = -b - 3*t - 7 for b.
1
Suppose -2*m = 7 - 3. Let v = -1 - m. Solve 0 = 2*d + 5*n + 5, -4*d - n - v = -2*d for d.
0
Let n = -5 + 1. Let m be -1*n/((-4)/(-2)). Suppose -m*x - 4 = -4*x. Solve x*r = -5*i + 15, -i - r + 3 = 2*r for i.
3
Suppose -3*w + 6*w - 6 = 0. Solve 0 = -3*t + 5*o + 11, w*t + 1 = 2*o + 3 for t.
-3
Let z(u) = -5*u**2 + 1. Let a be z(1). Suppose 0 = -t + 6*t - 5*d + 45, -10 = 5*t + 2*d. Let j = t - a. Solve 4 = -3*x - x - 4*i, 3*x - i + 15 = j for x.
-4
Let i be -5*(-4)/(-6)*(-47 - -44). Solve g + i = -3*n, g + 0*n + 2*n + 5 = 0 for g.
5
Let x(g) = -g - 4. Let p be x(-6). Let d be 1 - p - (-9)/3. Let z be 1 - (-5 - -2 - 0). Solve 0 = 2*n + z*i + 6, d*n = 5*i - 15 for n.
-5
Let x(v) = -v**3 - 6*v**2 - v + 3. Let u be x(-6). Suppose 4*m + t = -2*t + u, -2*t + 10 = 4*m. Solve -2*w = -2*c + m*c + 15, -5*w + 2*c - 15 = 0 for w.
-5
Suppose -d + 2 = -2. Solve -4*h = 5*o - 25, o - 9 + d = 2*h for h.
0
Suppose 0 = -3*w + 4 + 2. Solve -3*v = 4*z - 4*v - 15, -v - 7 = -w*z for z.
4
Let l(y) = y**3 - 6*y**2 - 4*y - 17. Let x be l(7). Solve 2*a - 2*t - t - 18 = 0, -4*a - 4 = x*t for a.
3
Suppose -40 = -t - 3*t. Solve 2*y + 0*k + 2*k = t, 0 = -4*k + 12 for y.
2
Let g(k) = k**3 + k**2 - 2*k - 1. Let n be g(2). Suppose -14 = -3*y + n. Let w be 1*-2*11/(-1). Solve -4*b + 5*o = w, b - y = 2*b - 2*o for b.
-3
Let s(c) be the third derivative of c**4/24 + 3*c**3/2 + 2*c**2. Let o be s(-9). Suppose o = 5*z - 11 - 9. Solve 5*g - 4*b = -6, -z*g + 2*b = 5*b + 11 for g.
-2
Suppose -3*u = 3*b + 1 + 5, b + 6 = -2*u. Let s be b*((-15)/(-6) - 1). Solve 3*m = -o + s + 3, 5*m = 5*