+ 20, 4*c + n*g + g = 17 for c.
5
Let h(v) = 46*v + 2. Let u be h(-2). Let l be (-8)/(-16) - u/4. Suppose -5 = x, g + 0*x - 2*x = 13. Solve -4*z - g*c + l = 0, 4*z + 11 = 2*z + 3*c for z.
2
Let u(z) = -2*z + 6*z + 9 - 3*z. Let j be u(-4). Suppose 4*x - 6 = -2*o, j*o = -5*x - 0*x + 15. Solve l + 2 = -2*v, l - o*l - 5*v = 7 for l.
4
Suppose 3*b - 7 = -w, -b = -0*b + 4*w + 16. Solve -3*a + 24 = 3*r, 3*r - 7*r = -5*a + b for a.
4
Let h(d) = -d**3 + 9*d**2 - 7*d - 1. Let w be h(8). Let c be (28 - 1)*w/21. Let y(v) = v - 7. Let i be y(c). Solve 3*z = -i*l - l + 6, 4*z = 0 for l.
2
Let v = 1 - 1. Suppose v = y - 0*y. Let w be 3/((-3)/(-8) + y). Solve 0 = -p + j + w, -3*p - 3*j = -8*p + 32 for p.
4
Let b(z) = -z**2 + 3*z - 5. Let o be b(4). Let r = 5 + o. Let f(n) = n**2 + 3*n - 2. Let q be f(r). Solve 5*v + 0*j + 4*j + 5 = 0, -q*v - 2 = -2*j for v.
-1
Suppose -w + 0*w + 4 = 0. Solve -4*x - 15 = -f, -w*f + 0*f = 3*x + 16 for x.
-4
Let h(p) = -p - 6. Let c(l) = -4*l**2 + 3*l. Let j be c(2). Let v be h(j). Solve 2*m = -0*m - v*t + 2, 4*m + 14 = t for m.
-3
Suppose 3*q = -4*h - 2*q + 55, 5*q = h - 45. Let x be (3 - (1 - h)) + -3. Solve -4*a + 2*j - 18 = -j, -3*a - x = -5*j for a.
-3
Let f be 28/8 - (-2)/(-4). Let t be (f - (-39)/(-15))*5. Solve 2*q + t*m + 10 = 0, -8 = -3*q + 3*m + 7 for q.
0
Suppose 2*f = -f + 6. Solve 2*j + 2*d = -10, 0 = 5*j + f*d + 35 - 10 for j.
-5
Let t be (32/3)/((-2)/(-6)). Solve 5*x = 2*z - 26, 0 = 5*z - x - t + 13 for z.
3
Let y be (-10)/(-12) + -1 + (-850)/(-204). Solve -y*r - 1 + 3 = -2*i, 26 = -4*i - 3*r for i.
-5
Let h = -2 - -9. Let w = 4 + h. Solve -2*j = -3*j + 2*t - w, 5*t = 3*j + 29 for j.
-3
Suppose 0*i = i - 7. Suppose -3*r + 18 = 4*f - r, i = f + r. Solve 2*t = -a + 1 + f, -3*t = -5*a + 2 for t.
1
Suppose -3*t - 3*y = -24, t + 0*t - 17 = -4*y. Suppose u = t, -2*u + 6*u = -2*w. Let x be 1/3*(5 - w). Solve 0 = -3*v - x*q - 0 + 1, -v = -q - 3 for v.
2
Let j = 3 - -2. Suppose -z = 2*z + 5*q - 12, 0 = -j*z - 4*q + 33. Solve 2*x + x + 2*n - 16 = 0, -n = 2*x - z for x.
2
Suppose -6*q + 39 = -q - 3*n, 3*q = 3*n + 27. Solve l + 1 + q = s, -1 = -s - l for s.
4
Suppose -3*k + 8 = -4. Let x be 2/(-5)*(4 + -34). Suppose -l + 5*w = 14 + 1, -4*w = -x. Solve l = 4*f + 4*y, -k*f + 41 = -2*y + 17 for f.
4
Suppose 15*n - 16*n + 3 = 0. Solve 0 = 4*m - 3*g + 5*g - 8, -m = -n*g + 12 for m.
0
Let p = 13 + -3. Let g be ((-24)/p)/(15/(-100)). Solve 23 = -5*f + 2*d - 6*d, 4*f = -2*d - g for f.
-3
Suppose 4*v + v - 40 = 0. Let l(j) = -j**3 + 9*j**2 - 7*j - 3. Let h be l(8). Solve h*o = 2*a + v, o = -0*o - 2*a - 8 for o.
0
Let s(d) = 2*d - 1. Suppose 2*a + a - 16 = f, a - 2*f = 12. Let h be s(a). Solve h = -5*b + 2*l, 5*b + 0*l = l - 11 for b.
-3
Suppose 5 = 3*l - 4. Solve -l*q + 18 = -3*t, 5*t = -9*q + 4*q + 20 for q.
5
Suppose -9 + 1 = -4*n. Solve 5*p - 21 = n*x, 2*x + 16 = p + 3*p for p.
5
Let z(y) = -y**3 + 8*y + 2. Let o be z(-3). Solve 5*r + 2*g = -7 - 11, -o*r - 4*g - 16 = 0 for r.
-4
Suppose -h = -5*w - 12, -4*h - 2*w + 4 = -0*w. Let t = -2 + 2. Let c be h + (-2 - t)/(-1). Solve -2*r + 11 - c = -k, 0 = -5*r + 5 for k.
-5
Suppose 4*x - 13 = 87. Solve 0 = -4*d + 2*l - 0*l - 2, -5*l - x = 0 for d.
-3
Let o = -4 - -5. Suppose -n + 3 = -o. Suppose 0 = -q - 5*a + 20, -4 - 4 = -4*q + n*a. Solve -3*t = q*h + 4, -6 = t - h - 2*h for t.
-3
Let t(f) = -f + 1. Let m = 6 + -9. Let y be t(m). Solve -c + 12 = -y*c, -3*g - 20 = 5*c for g.
0
Let g(x) = 4*x**2 + 2*x - 1. Let a be g(1). Suppose 4*q - 5*w + 2 - 35 = 0, -w = -a*q + 15. Solve 5*i = q*i - 4*k + 7, 0 = 2*i - k + 10 for i.
-3
Let w = -1 - -7. Solve -14 = -k - 2*g, 2*k - g = -3 + w for k.
4
Suppose 110 = 4*k - 9*k. Let f = k + 32. Solve 3*i - 5*s - 26 = i, s = 2*i - f for i.
3
Suppose 0 = 3*g + 5*t - 54, 2*t - 3 = t. Solve -5*h + 19 = -3*d, -10 = 5*d - 4*h + g for d.
-3
Let l(v) = -3*v**3 - 2*v**2 + 2*v + 4. Let b be l(-1). Solve 3*k = -i, 2*k - 5 = 2*i + b for k.
1
Let r(h) = h**3 - 7*h**2 + 8*h - 7. Let z be r(6). Solve 0 = z*f - 3*s - 9, -3*f + 3*s + 9 = -0 for f.
0
Let c(x) = -2*x**2 - 19*x - 33. Let t be c(-7). Solve -22 = 5*h - t*g, 3*h + 16 = 4*g - 0 for h.
-4
Suppose -5*o + 25 = 15. Let l(q) = -q - 2. Let c be l(-2). Solve c = -2*m - 3*n + 8, -4 = -o*n - 0*n for m.
1
Let c(r) be the third derivative of r**5/6 - r**4/24 - r**3/6 - r**2. Let o be c(-1). Solve -2*l - 3*l = -3*x - 10, 0 = 3*x + 5*l - o for x.
0
Let m(n) = n**3 - 21*n**2 + 22*n - 14. Let z be m(20). Solve -f = 5*o + z, -2*f - 20 = 3*o + 3*f for o.
-5
Let r = 4 + 16. Suppose -4*m + r = m. Suppose -7 = -t - m. Solve t*z + 3*y - 2*y = -10, 2*y - 16 = 3*z for z.
-4
Let j(b) = -5*b**3 + b**2 - b - 1. Let y be j(-1). Solve k - 25 = 5*u + y*k, -21 = 5*u + 4*k for u.
-1
Suppose -3 - 3 = 3*p. Let k(l) = l - 3*l - 1 - 1. Let f be k(p). Solve 0*o = -3*z - f*o - 9, -o - 2 = z for z.
-5
Let v be (-18)/1*(-8)/12. Solve y + 4*w = -19, -3*w - v = -0*w for y.
-3
Let r(v) = -v - 8. Let l be r(-11). Suppose 2 + l = o. Solve 0 = -5*d + a + 9, 4*d + 17 = -o*a + 1 for d.
1
Let j(r) = r**3 + 7*r**2 + 7*r + 9. Let c = -11 - -5. Let y be j(c). Solve 5*x + 4*z + 6 = 0, x + z - y = -5 for x.
2
Let q be ((-69)/12 - -5)*-4. Solve -q*y = c - 19, 2*c = -4*y + 31 - 3 for y.
5
Suppose -9*z = -12*z + 60. Suppose 0*q = -5*q + z. Solve 0 = l + q*c - 3 - 6, -4*l - 9 = c for l.
-3
Suppose 3*z = 4*n - 85, -z + 4 + 1 = 0. Solve 2*q = -5*d + n, q + 6*d - 3*d = 15 for q.
0
Let d = 3 - 3. Let n be (-1 - (d - 3))*2. Solve -3*j - 3 - 1 = 5*s, 0 = j - n*s - 10 for j.
2
Let c = -1 - 12. Let f = -8 - c. Suppose 2*l - 2 = 3*l + x, -f*l + 4*x = -26. Solve 4*n + l*b = 3*b + 12, -6 = 5*n + 4*b for n.
2
Let c = -25 - -28. Solve 5 = -y, c*w + 4*y = 6*w - 35 for w.
5
Suppose 0 = -k + 2*k - 5. Solve -k*w + 13 = 3*s, w - 4 = s - 3*s for w.
2
Suppose -5 = -3*x + 7. Suppose -7*r + x = -5*r. Solve 3*s + 7 = -r*a, -4*s = a + 4*a + 14 for s.
-1
Suppose -3*s + 17 = -40. Suppose 3*g + 2*g = 2*d + 14, 0 = -g - 5*d + s. Solve 15 = w - x - 2*x, 0 = -g*w - 2*x - 10 for w.
0
Let b(w) = w. Let j(u) = 2*u**2 - 9*u - 5. Let y be j(7). Let l be (-2)/(-8) + y/8. Let z be b(l). Solve 7 = -3*q - z*x - 0, 8 = 4*x for q.
-5
Let g(y) be the third derivative of y**5/60 + y**4/24 - y**3/6 + 4*y**2. Let p be g(-3). Solve -p*t = -5*h - 5, t - 25 = -3*h - 2*h for t.
5
Suppose 2*w + 2*w + 2*j = 62, 4 = 4*j. Suppose 5*r + a - w = -0, 4*r - 4*a = 12. Solve -11 = k - 2*l, 0*l - l = -r*k - 8 for k.
-1
Suppose -5*r - 12 = 4*g, 7*g - 3*g + r = 4. Let v be 0/(-1 - (0 - 0)). Solve -i = 5*s - 4, v*s + 3*i = g*s + 12 for s.
0
Suppose u - 1 = 32. Let p(c) = -c**3 + 3*c**2 + 6*c - 6. Let z be p(4). Solve -17 - 9 = -4*i + z*k, -2*i + u = -5*k for i.
4
Let r(f) = -f**2 - 8*f. Let y be r(-8). Let h be -3 + 4 + 2 + y. Suppose -4*v + 28 = -4*g - 0*g, -5*v - 2*g = -28. Solve 9 = -h*u, 4*u = v*m - m - 22 for m.
2
Let r(k) be the second derivative of k**5/20 + k**4/3 - k**3/3 - 2*k**2 - 4*k. Let f be r(-4). Solve -j - 1 - 8 = -5*x, -4*j - 12 = f*x for x.
1
Let z be 2/(-7) + 185/35. Let o = 130 + -92. Let g be o/8 - (-1)/4. Solve -g = -z*m, u + m = 4 - 0 for u.
3
Let k be (-1*(-8)/(-12))/((-4)/12). Solve -6*p + 17 = k*x - p, 3*p - 3 = -3*x for x.
-4
Suppose 5*i - 10 = -0*i. Suppose -i*d = d - 6. Let g be (3 - d)/(4/16). Solve 4*y + r - 2 = -6, -2*y - 2*r + g = 0 for y.
-2
Let x(z) be the third derivative of -z**4/24 - z**3/2 + z**2. Suppose -10 - 14 = 3*a. Let v be x(a). Solve 0*n - 12 = 2*n - 4*o, 4*o - 6 = v*n for n.
2
Suppose 4*q = 2*q - 12. Let o = 11 - 20. Let a = q - o. Solve 0*u - 9 = -a*m - 2*u, 4*u = -4*m + 8 for m.
5
Suppose -2*d = 3*i - 1 + 32, -i = -5*d - 52. Suppose -4*u = 16, 4*r - 5*u + 52 = -3*u. Let v = d - r. Solve -24 = -c + 2*c + v*j, 6 = c - 2*j for c.
-4
Let q(u) be the second derivative of u**5/20 - u**4/6 - u**3/2 + 3*u**2/2 - 2*u. Let a be q(4). Solve 14 = 3*v - 4*x - 10, 5*v - x - a = 0 for v.
4
Suppose 3*n + 6 = 6*n. Suppose 0 = -2*g + d - 4*d + 7, -n*g = -d + 5. Let p be ((-2 - 3) + 0)/g. Solve -p*f + h + 20 = -2*f, 5*f - 20 = -h for f.
5
Let q(s) = -2*s - 3. Let n be q(-6). Suppose n = -2*i + 3*i - p, -9 = 4*i + 5*p. Solve -5*a + 9 = -i*v - 4, -5*v + 35 = 4*a for v.
3
Let k be (-12)/10 - (-1)/5. Let q be (-14)/(-2) - (1 - k). Solve 4*x - x = -2*r - 10, -r - q = -2*x for x.
0
Let g = 1 - -4. Supp