-5*u + 28, -4*u = w*z - 16 for z.
-1
Let c(y) be the first derivative of y**3/3 - 3*y**2 + 7*y + 3. Let w be c(5). Suppose -2 = -w*u + u. Solve 2*f - 4*f = u*g, -4*g + 36 = -5*f for g.
4
Let w = 23 - 13. Let s be 64/w - (-8)/(-20). Suppose -2*j = -s*j. Solve -4*k - 2*d - 2 = 6, j = -3*k + d - 16 for k.
-4
Suppose -2*a + 5 = 3*a. Let h(y) = y**3 + 6*y**2 - 8*y - 4. Let c be h(-7). Solve 3*j - 3*p = -c, a = j - 0*p + p for j.
0
Let s(p) = 2*p + 2. Let u be s(-5). Let z = -6 - u. Let g = -4 + 4. Solve -k + 2*h + 3 = g, 3*k + z*h - 5 - 12 = 0 for k.
5
Let k(b) = 30*b**2 + b + 1. Let x be k(-1). Let g be (6/(-9))/((-3)/54). Let h be (g/9)/(6/27). Solve 5*f = w + x, f = w + 4 + h for w.
-5
Let l(f) = 5*f + 6 - f - 5. Let o be l(1). Suppose -o = m, -y + 3*y = -2*m + 44. Solve -b - y = 5*d, 2*d + 23 = -5*b + 3 for b.
-2
Let p be 2/(-6)*(-48)/4. Let w be ((-2)/p)/((-2)/16). Suppose -w*k + 3 = -5*i, 0 = -2*k + 5*i + 4 - 5. Solve 3 - 5 = -3*j - v, -2*j - v = -k for j.
0
Suppose 4*u + 4 = 5*r, -4*r = -2*u - 0*u - 8. Let h(y) = -8 + 5*y - 5*y - 6*y + u*y. Let f be h(-6). Solve 3*g = f*g, 5*q - 4*g - 20 = 0 for q.
4
Suppose -s = -4*i - 23, 0 = s - 4*s - i + 17. Let c(f) = f - 3. Let p be c(s). Suppose -36 = -5*d - 11. Solve -12 = p*j - 8*j + 3*y, -d*y = -5*j + 20 for j.
0
Suppose -3*j - 10 = 8. Let g = j - -8. Solve q = 4*z - 3*q + 12, g*z + 5*q - 8 = 0 for z.
-1
Suppose 9 = -3*o, -4*n + 2*o = -4 - 14. Let h = n - 1. Let q be (h/(-2))/(1/(-1)). Solve 0 = -2*w - r + q, 22 = -0*w + 4*w - 2*r for w.
3
Let c(b) = b**3 + 8*b**2 + 7*b + 5. Let u be c(-7). Let o be -2 - (0 - (0 + 0)). Let a be 0*((-1)/o - 0). Solve -23 = -3*f - 2*k, 5*k - 45 = -u*f - a*k for f.
5
Let f(r) = r**2 - 6*r - 3. Let t be f(7). Let c(x) = 1 + x - x**2 - 1 + t. Let u be c(0). Solve 0 = -5*i + 5 - 0, 0 = b + 3*i - u for b.
1
Let b(q) = q**3 - 7*q**2 + 5*q + 8. Let i be b(6). Let h = i + -5. Let n = -1 - h. Solve -12 = -4*m + n*f, m + 5*f = -0*m + 3 for m.
3
Let c be 6/(-27) - 218/(-9). Solve -2*h + 3*l = -c + 6, -2*l = 8 for h.
3
Suppose 4 = -4*i - 4. Let a be i/10 - 2/(-10). Suppose 0*o + 5 = 4*o - 5*n, o = 3*n - 4. Solve a*v + o*u = v - 20, 3*u - 5 = 4*v for v.
-5
Suppose 5*g + 3*q - 100 = -0*q, -g - 4*q + 3 = 0. Solve -2*d = 3*h - 0 - 7, 5*d + 2*h - g = 0 for d.
5
Let y(a) = a**2 + 1. Let g be y(-2). Let c = 0 + g. Let f be (c/4)/(9/36). Solve 25 = 5*t + 5*k, k = f*t - 0*k - 25 for t.
5
Suppose 0 = i - 2*v - 11, -11 = v - 8. Solve -2*o - z = -4 - 4, 0 = i*z - 10 for o.
3
Let s be 20*(1 + 0 + 0). Suppose s = 3*n + 2*n. Suppose -27 = n*o - 5*o. Solve 2*l + 23 = -4*r + 5, -r - o = 5*l for l.
-5
Suppose 0 = -2*h - 2*h + 4. Let m be 4*(1/(-2) + h). Solve m*u - 4 = 0, -2*q - q + 5*u - 7 = 0 for q.
1
Let m(s) = -s - 4. Let u be m(-8). Suppose 3*v = 9, 2*k + 12 = u*k + 4*v. Solve -2*t = -2*r, r = -k*r + 2*t - 5 for r.
5
Let n be 3/5 + 2/5. Let q = n + 4. Suppose -20 - 4 = -4*z. Solve y - 18 = 5*w, q*w + y = z*y - 10 for w.
-4
Let t = 42 - 35. Solve -3*j + s = 1, -2*s = -3*j - 3 + t for j.
-2
Let d = 3 + -3. Let n be 0/(-2) + -2 + d. Let u = n - -5. Solve u*q + 3*a + 3 = 0, -4*q + 7 = -3*q + 5*a for q.
-3
Let l = 5 - 2. Let u(z) = -z + 1. Let b be u(-1). Let n = 18 + b. Solve -4*v - d + 3*d = -n, 0 = -l*d - 12 for v.
3
Suppose -2*a = -2*v - 42, -2 - 1 = 3*v. Suppose k = -3*k + a. Let m be 8/(((-8)/k)/(-4)). Solve -5*b + 2*z = z - m, 0 = z for b.
4
Suppose -6*t + 22 + 2 = 0. Solve y + 3*h = -2*h + 2, -t*y + 3*h - 15 = 0 for y.
-3
Let y(c) = -c - 4. Let m be y(0). Let b(g) = -2*g - 6. Let h be b(m). Solve 0*a - h*a + 2*f = -2, -3*f = -a + 1 for a.
1
Let q(t) = 2*t + 1. Let u be q(6). Suppose -4*h = 3*w - u, 0 = 3*h + 4*w - 7*w - 15. Solve 0 = -4*n + 16, -2*v + h*n - 10 = 3*n for v.
-3
Let f(z) = -z**2 - 9*z - 5. Let w be f(-7). Suppose -l - w = -2*d, -2*d - 3*l = -d - 8. Solve o - 23 = -d*n, -3*o + 9 + 4 = n for o.
3
Suppose d - 9 = -2*d. Solve -5*x - 18 = -0*u + u, -d*x - 12 = u for u.
-3
Let m be (-11)/(-6) + 3*2/36. Solve -p + 3*z - 5 - 1 = 0, -18 = -4*p - m*z for p.
3
Suppose 4*x - 2 = 2*x. Let k be (2 - (-1 + 4))*-27. Let t = k - 17. Solve 0 = -5*i + 3*j - x - 5, -t = -4*i - 5*j for i.
0
Suppose -5*j + 3*j + 4 = 0. Solve -3*v = -5*k + 20, 4*k = -2*v - 4 - j for k.
1
Let g = 2 - -2. Let i = 11 + -6. Solve 18 = -3*a + i*l, 0 = 3*a + g*l - 9 for a.
-1
Let z(s) = -3*s**2 + 3*s. Let h = -1 - -3. Let t be z(h). Let a be (-21)/t + (-2)/4. Solve 7*n - 2*n + a*k - 3 = 0, 3*k = -4*n + 3 for n.
0
Let o(s) = -s**3 - s + 4. Let g be o(0). Solve 5 = -w - d, 2*w - 7*w - 16 = -g*d for w.
-4
Let x = -33 - -42. Solve x = k + 3*k + 3*g, 2*g - 6 = -k for k.
0
Let w(x) = -3*x + 23. Let f be w(6). Suppose 0*y = 2*y - 32. Solve -q - 2 = -4*l, -l - f*q + y = 5 for l.
1
Let j be ((-2 - -1) + 0)*-4. Let w be (-2)/(-4) + (-2)/j. Solve -2*n = 4*y - 0 - 4, -y + n - 2 = w for y.
0
Let y(h) = h**3 - 6*h**2 - h + 7. Let x be y(6). Let r be (3/(-1))/(x/(-1)). Suppose -b = -r*b + 34. Solve -4*z + 5 - 29 = 4*g, 3*g + b = -2*z for g.
-5
Let u(r) = -r**2 - 11*r - 15. Let b be u(-9). Solve -10 = -s + 5*q + 10, -2*q - 25 = b*s for s.
-5
Let z = -66 + 71. Solve 1 = -5*v + 2*w, 3*w = 5*v - 2*w - z for v.
-1
Suppose -2*j - 4 + 14 = 0. Let s = -2 + 4. Suppose 5*v - 9 = -k + 19, s*v - 22 = -4*k. Solve k*b - 5*p - 3 = 0, b - j*p = -0*b + 11 for b.
-4
Let n = -9 - -15. Solve -3*f = -n - 9, o - f + 1 = 0 for o.
4
Let k = -96 + 97. Solve -4*x = -5*q - 2, 3*x - k = q - 5 for q.
-2
Suppose 0 = -3*h + 2*h. Suppose c - 1 - 27 = h. Solve -2*q = 2*y - 4, -c = -0*q - 5*q + y for q.
5
Let r(y) = -3*y**2 + 19*y - 11. Let h be r(5). Solve d + 4*z = -12, 0*d + 3*z + h = 2*d for d.
0
Suppose 5*p - 3*p = 32. Let b be -1 - (p/(-1))/4. Solve -u + 4*c + 7 = 0, 0 = 3*u - 3*c + 3 + b for u.
-5
Let m be 3 - ((-552)/(-168) - (-2)/(-7)). Solve z + m*d + 2*d = 7, 5*z + 4*d = 17 for z.
1
Suppose 3*t = -t + 2*x + 70, 5*t = -5*x + 110. Solve 3*d - 4*m = t, 0 = -d + 2*m - m + 5 for d.
1
Suppose 0 = 5*a - 4*c - 6, 0 = 4*a + 3*c + c - 12. Suppose u + u + a = 0, -5*p + u + 36 = 0. Solve -k - 7 = 4*x + 2, k - p = 4*x for k.
-1
Let o be -2*(2 - (-21)/(-6)). Let g be o + (0 - (-4)/2). Solve 0*m + m - 22 = -g*d, -5*d - 2*m = -19 for d.
5
Let j(r) = -r**3 - 7*r**2 - 13*r - 12. Let x be j(-5). Solve x = -5*l + 5*c - 2*c, 0 = l + c - 1 for l.
0
Suppose 7*j = 4*j. Solve 4*h - y + 15 = -j*h, h = y - 6 for h.
-3
Suppose 3*o - 4*x - 29 = 0, 0*o - 2*o + 11 = -x. Solve -3*k + 2 = q + 3*q, q - 8 = o*k for q.
2
Let m(c) = -c**3 + c**2 + 3*c + 4. Let o be m(3). Let a(n) = n. Let j be a(o). Let g = 9 + j. Solve 4*b + 5*d - 3 - 3 = 0, 4*d = -g*b + 8 for b.
4
Suppose -3*s = 2*l - 5*s, 5*s - 35 = -2*l. Suppose 2*i - 4 = i. Suppose 3 - 23 = -i*z. Solve z*w + 3*n + 2 = 0, -w - 5 = l*n + 13 for w.
2
Let x be (1/(-2))/(12/(-48)). Solve 3*c + 16 = -x*a, -5*c - 35 = -a + 6*a for a.
-5
Let d = -21 + 26. Solve -31 = 2*g + d*p, -p + 6 = 3*g - 4*p for g.
-3
Let o be (10*(2 - 3))/(-4 - -2). Solve -o*d + 11 = -4*p - 4*d, 4*p + d = -5 for p.
-2
Let v(w) = -w - 1. Let o be v(-4). Suppose 5*i + 15 = 40. Solve -o*j - 4*q + 3 = -1, j = -5*q + i for j.
0
Suppose 11*o = 18 + 48. Solve 4*g - 17 = 3*i, -g + 8 = o*i - 3*i for g.
5
Let v = -37 - -41. Solve s + 4*d = 18, -v*d = -3*s - 2 - 8 for s.
2
Let a(c) = -7*c**3 - c - 1. Let k be a(-1). Solve v - y - k = -v, -5 = 5*y for v.
3
Let w(i) = 2*i + 2. Let j be 2*((-6)/(-3) + -1). Let k(f) = f**2 - 2*f + 2. Let n be k(j). Let a be w(n). Solve -2*x + a = -u, -4*u - 21 = u - x for u.
-4
Suppose -5*z + 3 + 7 = 0. Suppose z*i + 3*i = 20. Solve 2*k - 8 = -3*q, -3*q = -2*q + 4*k + i for q.
4
Let h(t) = -t**2 + 10*t - 3. Let v be h(9). Let s = v - -4. Solve 3*g + w - 15 = 0, 2*w + s = 3*g + 4 for g.
4
Let p be 15/(-120) + (-2)/(-16). Suppose 3*g = g + 6. Solve 7*m - 3*m + g*n + 18 = 0, p = 3*m - n + 7 for m.
-3
Suppose 9*d - 4*d = 30. Solve 4*f - 30 = -2*i - d, 12 = 5*f - 2*i for f.
4
Suppose 0 = 3*s - 22 - 41. Suppose y + g + 28 = -3*g, 0 = 2*y + g + s. Let m = y - -12. Solve -h + 2*p = -0*h - 3, -m*p - 11 = -3*h for h.
5
Suppose m = -3*o - 15, -m + 10 = -5*o + 3*o. Let n be o + 9 + (3 - 1). Solve -n = -4*f + b + 1, 5*b = -2*f - 13 for f.
1
Suppose -108*a + 109*a - 3 = 0. Solve k + 3*u = 4*k - a, 3*k - 10 = -4*u for k.
2
Let x(u) = -u**3 - 3*u**2 - 3*u - 26. Let 