). Let q = z - 12. Solve -2*n + 6 = -4*c, -q*n - 2*c = -0*c + 18 for n.
-3
Suppose 0 = 4*f - 9*f. Solve f*b = -4*k - 3*b, 0 = -k + 4*b for k.
0
Let q be ((-5)/(10/(-6)))/1. Suppose 0 = -5*w + 5*f + 20, 5*w = w - q*f + 37. Solve 2*k = 5*n + k - w, -12 = -4*n + 4*k for n.
1
Let p(q) = q**2 - 2*q - 3. Let d be p(3). Solve r - 5 = d, 5*a = -2*r + 11 + 19 for a.
4
Suppose 0 = -2*q + 2*b, 14 = 2*q + 3*b + 2*b. Suppose 3*s - 11 = -4*f, 0 = -5*f - q*s + 4*s + 31. Solve l - 2*d = -5, -4 + 3 = f*l - 2*d for l.
1
Let z(g) = -9*g + 2. Let f be z(1). Let a = f + 11. Suppose -3*c + 9 + 3 = 0. Solve -3*i + 10 = a*o, -5*o - 3*i = -10 - c for o.
4
Let u(n) be the first derivative of -n**3/3 - 3*n**2 - 4*n + 2. Let s be u(-5). Let j be (3/3)/((-2)/(-18)). Solve -3*q = -j, 4*q - 12 = -m - s for m.
-1
Suppose -v - 1675 = 4*v. Let x be v/6 - 2/12. Let k be x/(-16) - (-6)/4. Solve -k*t - 35 = -5*r, -3*t = 4 + 2 for r.
5
Suppose -5*n = -6 - 4. Solve -16 = -2*c - n*c + 4*h, -5*c - 5*h = -10 for c.
3
Let z = -166 - -168. Solve 4*y + 4*g = 4, 2*y - 4*y - 14 = -z*g for y.
-3
Suppose 0 = -5*f + 20. Suppose -4*i - l = -11, 4*l = 3*i - 14 + 1. Solve -i = f*t - a, -t + 2*a = -2*t + 6 for t.
0
Let v be 2/(-7) + 64/28. Solve -3*m + 1 = -j - v*m, -3*m = -6 for j.
1
Suppose -b + 4 = -0. Let q be (-199)/(-6) + 2/(-12). Suppose 4*p = q + 23. Solve -b*z = d - p, z + 4 = 4*z + 4*d for z.
4
Suppose 0*p = p - 2*d + 2, -d + 4 = p. Solve -3*a + 3*q = -2*a - 4, p*q - 8 = -2*a for a.
4
Let v be (-1)/12*3 + 13/4. Solve -v*z = -t - 11, t - z = 3*t - 6 for t.
1
Let t be (-7 - (-3 + 1))*-1. Let l(c) = -c**3 + 3*c**2 + 5*c - 2. Let u be l(4). Suppose -3 = -u*f + 1. Solve t*n - 2*a = -7*a + 5, -f*n + a + 14 = 0 for n.
5
Let w(k) = k**3 + 6*k**2 - 7*k - 2. Let j be w(-7). Let c be (-10 - j - -3)*-1. Solve 0 = 4*x - 0*x + 16, -c*g + 13 = 3*x for g.
5
Suppose 3*j - 1 - 2 = 0. Let i be (-144 + j - 0)*-1. Suppose 5*l - i + 18 = 0. Solve 3*p + 2*p + l = 0, -4*p = -d + 22 for d.
2
Suppose -4*z = j - 7, 4*j = 2*z + 4 + 6. Solve 0*a = 3*q + 3*a - 3, -j*q = -a - 7 for q.
2
Suppose -77*b = -76*b - 3. Solve 5*k = 5*p + 5, -4*p + 1 = -b*k + 9 for p.
-5
Suppose 6*g - 4*g = 10. Suppose -4*x - g*k = -3 - 29, 3*k - 27 = -5*x. Solve x = t + 6, -4*f + 3*t + 5 = 0 for f.
-1
Suppose -4*p = -3*p - 6. Let j be (p/(-18))/((-1)/3). Let s = -1 - -1. Solve -1 = -w, 0 = -3*c - s*w + w - j for c.
0
Let c(x) = x**2 + 6*x + 4. Let j be c(-5). Let g be (5 - j)*1/2. Let p(i) = -i**2 + 6*i + 8. Let u be p(6). Solve -3*o = -2*v + 1 - u, -g = o - 2*v for o.
5
Let j(w) = -6*w - 28. Let z be j(-5). Solve -l = -n - z + 5, -2*l = n - 9 for n.
5
Let v be (0/(-2) - 1)*-27. Suppose -5*c - 4 = -o + v, c = -4*o + 19. Suppose 3*l = 2*z - o, -5*l = -z - 2*z + 8. Solve 2*r + 12 + 3 = -3*t, 3*t - z = 5*r for t.
-3
Let x = 15 + 4. Solve -t + 3*s = -s + x, 0 = 5*t - 3*s + 27 for t.
-3
Suppose 1 - 11 = -2*a. Solve 0 = -4*q + 3*r + 5, -2*q + 6*r = 3*r + a for q.
5
Let i(l) be the first derivative of 1 + l + 1/3*l**3 + 0*l**2. Let b be i(3). Solve 4*m = -4*h + 2*h - b, 3*h + 3*m = 0 for h.
5
Let v be (9 + -8)*(3 + 0). Solve -v*x + 0*t = -3*t + 24, -5*x + 4*t - 37 = 0 for x.
-5
Let b be 2/(6 + 4) - 72/(-15). Solve 3*q - 8 = -b*s - 3, -q - 25 = -5*s for s.
4
Let i(s) = -s**3 + 8*s**2 - 7*s. Let z be i(7). Suppose z = -4*n + 15 - 3. Solve -4*o = 4*y - 20, -6*o + 15 = y - n*o for y.
0
Suppose 5 = 3*d - q + 3, -2 = 3*d - 2*q. Let x = d + 0. Let y be 3/6*4 - x. Solve -z = p + z - 1, -p - 3*z - 1 = y for p.
5
Let o = 0 - 4. Let a = 7 + o. Solve 0 = -3*n + v - 6, -1 = -n + 5*v - a for n.
-2
Let j be 10/(-35) - 107/(-7). Solve -2*n = 3*n - j, 2*w + 3*n = 11 for w.
1
Suppose 2*n - 5*n = 45. Let u be (0 - 2/6)*n. Solve -v + 1 = 4, -4*v = u*i + 7 for i.
1
Let t = -33 + 50. Suppose d - 4 = 3*d. Let c be 1/2*(-20)/d. Solve -v - 2*v + 5 = 4*w, -c*v + 2*w + t = 0 for v.
3
Suppose h - 1 = 3*c - 3, -h + c - 4 = 0. Let m = h - -6. Solve l - i - 1 = m, -2*l = 3*i + 21 for l.
-3
Let z(o) = o + 18. Let l be z(-7). Suppose -1 = -4*c + l. Solve c*p - 3*v = -9, -p - 3*v + 12 = -v for p.
2
Let b = 5 - 2. Suppose -b*h + 3 = -9. Suppose 0 = 2*c + c + 3*w - 27, -2*c + h*w - 12 = 0. Solve -23 = 3*v - c*f, -f = 3*v + 5 + 8 for v.
-5
Suppose -3*b = -0*b + 24. Let f(x) = -x**2 - 8*x + 4. Let p be f(b). Solve p*q + 2*o - 4 = 0, 0 = -3*q - 0*q + 5*o + 16 for q.
2
Suppose 0*x = 6*x - 240. Solve 4*z + x = 5*t, -18 = -t + 2*z - 4 for t.
4
Let k(l) = -l - 23. Let p be k(-25). Solve -1 = -r, 4*i - 4*r + 4 = p*i for i.
0
Let t(s) = -s**3 + 6*s**2 + 5. Let g be t(6). Suppose -g*m + 12 = -m. Solve -l - 11 = 3*u, -m*u + 5*u + 7 = -l for l.
1
Let b be 3 + -2 + -7 + 0. Let o = b + 11. Solve -l + 3 = -3*h - 1, o*l - 20 = 3*h for l.
4
Suppose -4*g + 2*g + 6 = 0. Suppose -3*u = m + 4 - 6, -2 = -m + g*u. Solve -t - 9 = 2*b - 4, -m*b = -2*t - 4 for b.
-1
Suppose 7*i - 4*i = 24. Suppose 2*b + 2*b = i. Solve 2*u = -5*m - 16, b*u + 1 = -4*m - 11 for m.
-4
Suppose 119*h - 114*h = 50. Solve 22 + h = -3*m + 5*c, 0 = 3*c - 12 for m.
-4
Let v be 3*(0 + -3 + 4). Solve -5*s - v*o = -3*s + 4, 10 = 2*s - 4*o for s.
1
Let p(f) = -4*f - 60. Let c be p(-15). Solve z + 5*g = -20, -5*z + c*g - g = 4 for z.
0
Let o(v) = v**3 + 5*v**2 + 6*v + 6. Let q be o(-3). Suppose -2*t = -j + 5*j - 12, 5*t + 4*j = 18. Solve l - 14 = 2*i + q*l, -t*l - 4 = 0 for i.
-2
Let i(r) = -r**2 - 2*r. Let l be i(-2). Suppose 0*n - 3*y = -2*n - 2, -3*n + 3*y = l. Solve 3*m - 2*j - n = 2*m, -m - 4*j = -2 for m.
2
Let h(z) = -z**2 + 5*z + 6. Let n be h(5). Solve 5*v - 3*j - 22 = 0, -n = -4*j - 2 for v.
5
Suppose 5 = -5*z - 10. Let n be (-9)/z + -5 - -2. Solve 3*l + n = r + 3, -5*r + 4*l + 7 = 0 for r.
3
Let i(p) = -p + 2. Let g be i(-2). Solve 5*a + 4*u - 31 = 0, -5*u = -3*a - g*u + 5 for a.
3
Let i(d) = d + 2. Let p be i(-2). Suppose p = g + g. Let c(f) = -f**3 - f**2 + 4. Let z be c(0). Solve 2*w - 4 = z*n + 6*w, g = 5*n - 3*w - 11 for n.
1
Let m(w) = w + 4. Let o be m(-4). Suppose 2*h - 133 = 5*i + 119, 4*i + 630 = 5*h. Suppose -h = -4*s - 34. Solve -d - 5*n - s = 0, o = d + d + n + 1 for d.
2
Let o(b) = -b**2 + b. Let p be o(1). Solve 2*t = -10, p = 5*r - t - t - 10 for r.
0
Let z be -8*(70/(-8))/(-7). Let v = 32 + z. Solve -5*u + 0*u + v = -2*x, 3*x - 13 = -4*u for x.
-1
Suppose -7 - 5 = 4*j. Let o = j + 6. Solve -2 = -2*u + o*k + k, 1 = -5*u + 4*k for u.
-1
Suppose 5*c - 90 = -o, 0 = 2*c + c + 4*o - 71. Suppose c = 5*u - 3. Let i = 8 - u. Solve -i*p + p + 1 = -2*z, 2*z + p - 3 = 0 for z.
1
Let a be ((-2)/4)/((-8)/96). Suppose 0 = 3*d - 3*v - a, -5*d - 4*v + 8 = -d. Solve -m + 2*m - 11 = -2*n, d*m - 13 = -n for m.
5
Let d = 13 - 4. Suppose 3*a + 0*a = d. Suppose -m = -a*r + 3, 5*m = -3*r + 2*r + 17. Solve -m*u - 12 = -5*y, -u - 1 - 3 = -y for u.
-4
Suppose 0 = -2*m + a + 11, 3*a = m + m - 1. Let x = m - 26. Let q be (-3*2)/(x/12). Solve 4 = -4*o - q*v + 8*v, 5*v - 33 = -2*o for o.
4
Let c(z) = 2*z - 8. Let k(s) = 3*s**2 - 3*s. Let f be k(2). Let t be c(f). Solve i - 2 = 2*l, -i + 3*i = 5*l + t for i.
2
Let x be 5/(5*(-3)/(-15)). Solve -5*l = f - 30, 0*f - 2*f + 35 = x*l for f.
5
Let k = 13 + -9. Let o be 2*(0 + -3 + k). Solve -5*p + 7 = s + 24, -o*s - 14 = 5*p for p.
-4
Let v(x) = x**3 + 8*x**2 + 6*x - 3. Let z be v(-5). Suppose -4*f = -f - z. Let d be ((-6)/4)/((-7)/f). Solve d*m - 2*h = 11 - 3, 0 = 3*h + 12 for m.
0
Let m be 8 + -1 + (1 - 0). Let a(o) = o + 1. Let y be a(m). Solve 20 = 4*g, 5*l = 3*g - 6 - y for l.
0
Suppose 5*y = -777 + 87. Let h be (-2)/11 - y/33. Solve 4*q = -2*i + 30, -h*q + 2 = 5*i - 43 for i.
5
Let g be ((-5)/4)/((-4)/16). Solve -4*v = -3*q + 17, -v - 3*v = -g*q + 15 for q.
-1
Let b = 1 + -1. Solve 5*a + 5*y - 10 = -b*y, 0 = 2*a - 2*y + 4 for a.
0
Let s(x) = 2 + 7*x - 1 - 8*x. Let t be s(-3). Solve 0 = -2*a + 2, t*a = b for b.
4
Let g(u) = -u**3 + 4*u**2 + 2. Suppose -w + 13 = 3*r, -2*w + 0*r - 4 = -4*r. Let t be g(w). Solve 2*s - 2 = -t*o, -5*o - 2*s + 17 = -0*o for o.
5
Let u(b) = -b + 4. Let l be u(0). Let y be (-23)/2 - (-4)/(-8). Let c = 20 + y. Solve -3*f - 3*m = -c*f + 5, l*f = m - 3 for f.
-2
Let u(h) be the first derivative of -h**4/4 - 7*h**3/3 + 4*h - 1. Let d be u(-7). Solve 0 = -w + 5*a - 7, 2*w = -a + 1 - d for w.
-2
Suppose -3*q - 1 = -5*y - 4, 2 = -5*y + 2*q. Solve -v = -3*u + 10, y*u = -3*u