 Solve -z = 2*n - g, 2*z + t + 6 = n for n.
3
Let s(p) = p + 2. Suppose 0 = 3*i + 4*x + 5 - 0, -3*i + 3*x = 12. Let m be s(i). Let j = m + 5. Solve 4*q + 1 = -c - 11, j*c = -q - 3 for c.
0
Let s(p) = p**3 + 4*p**2 + 2*p - 1. Let f be s(-2). Let c = 42 - 77. Let x be c/(-5)*(-24)/(-14). Solve -x = f*u + j, u + 2 = -j - 2 for u.
-4
Let a be (-44)/(-8) + (-1)/(-2). Suppose 4*r - 10 = a. Solve 0 = 4*f - i + 16, -5*i = -f - 4*i - r for f.
-4
Suppose 5*x = 2*x + 45. Let u(z) = -z**3 + 7*z**2 - 4*z - 8. Let j be (-3)/(((-6)/4)/3). Let k be u(j). Solve -2*l + g = -0 + 5, -k*l - x = -3*g for l.
0
Let j = -35 - -55. Suppose -4*a - 5 = -25, -3*a = 5*q - j. Let k = 2 + q. Solve -5*o + 6 = m + 3, -15 = -5*m - k*o for m.
3
Let s(a) = a + 53. Let z be s(-12). Let h be (-3 + 2)/(2/(-10)). Solve -z = -4*m + 5*o, h = -9*m + 4*m - 5*o for m.
4
Suppose 0 = -0*z - 5*z + 125. Suppose -4*q + 5*q = 2*o - 15, -3*q - 5 = 2*o. Suppose 9*g - o*g - 12 = 0. Solve y + 1 = -2*b + 16, z = 2*b + g*y for b.
5
Let p = 1 - -1. Let x be 1/p + (-477)/(-18). Solve -4*t = h + t + x, -t - 5 = 0 for h.
-2
Let k(c) = c**2 - 2. Let u be k(-2). Solve 0 = -u*j - 10, 6 - 21 = -3*d + 3*j for d.
0
Let r(x) = -x - 2. Let u be r(-4). Let n(g) = g**2 + 7*g + 10. Let p be n(-6). Solve -j = p*s + 2 - 6, -2*s - 3*j = -u for s.
1
Suppose -18*p = -16*p - 4. Solve -2*c - q = -c - 1, -p*c - 1 = 3*q for c.
4
Let g = -37 - -42. Let n be -1 + (1 + 1 - -2). Suppose 4*s + 4*t - 25 = 3*t, n*t = -2*s + 25. Solve 1 + 4 = s*c + 5*k, 5*c - g = -3*k for c.
1
Let n(x) = x - 9. Let y be n(14). Suppose y*v + 9 = 29. Solve j = -3*p - 1, 5*p = v*j + p + 20 for j.
-4
Let z be -2*7*(0 - (-4)/(-4)). Solve v = -r + 1, 4*v + z = r + r for v.
-2
Let v(b) = -b**2 + 3. Let j be v(0). Suppose 0 = -j*r + 1 + 14. Solve 3*g = -y + 13, -5*y = -0*y - r*g - 5 for y.
4
Let b(g) = -g**3 + 6*g**2 + 8*g - 3. Let p be b(7). Let q = -4 - 1. Let c = q + 7. Solve 3*r + 12 = -p*m - 8, 0 = -c*r for m.
-5
Suppose -y + 2*y - 2 = 0. Solve -3*s + y = s + 2*n, -3*s + 9 = 3*n for s.
-2
Let z(s) = -3*s**2 - 24*s - 8. Let a(x) = x**2 + 8*x + 3. Let u(r) = 17*a(r) + 6*z(r). Let k be u(-7). Solve -2*g + 4 = -2*f, -k = -3*g + 5 for f.
3
Suppose 2*v + 4 = 0, -23 = -2*q - 3*v + 1. Solve 3*s + 3*h = -q, 23 = -3*s - 4*h + 4 for s.
-1
Let c(i) = 6*i**3 - 3*i**2 + 2*i - 2. Let w be c(2). Let h = 54 - w. Solve -q + 5*n = 15 + 4, 0 = 4*q - 5*n + h for q.
1
Let w(t) = t - 1. Let l be w(-5). Let s be 5 + l/3 - -1. Let a be (0 - -3)/1 - -1. Solve -a*h - 1 = -i + 15, 4*h - s*i + 28 = 0 for h.
-3
Suppose -7*d - 3*d = -370. Solve -5*g + 14 - 1 = 4*q, 4*q - 5*g + d = 0 for q.
-3
Let k = 8 - 4. Let u be -1 + 3 - (2 - 0). Suppose 4*y - 5*m + 2*m - 86 = u, k*y - 2*m = 88. Solve -y = 5*x - 3*s, 2*x + 0*x + 7 = -s for x.
-4
Let y = -28 + 17. Let b = 16 + y. Solve 2*o = b*v + o + 12, -2*o - 6 = 0 for v.
-3
Let y be 10/(-3)*(-18)/15. Suppose -y*r + 3*s + 29 = 0, -8 = 3*s + 1. Solve 0 = -3*d - r*i + 8, -2*d + 2 = -5*d + 5*i for d.
1
Let g be (-15)/(-4) + 8/32. Solve 0 = 2*d - 3*k + 19, -4*k + 17 = g*d - 5*d for d.
-5
Let r(z) = 3*z - 12. Let a be r(5). Solve 3*l - 3*f - f - 27 = 0, a*l = -4*f + 3 for l.
5
Let x(s) = -s + 1. Let u be x(3). Let q = u + 5. Let b be (6/(-4))/((-6)/12). Solve 11 = 4*z + q*h - 0, 3*h = 3*z - b for z.
2
Let z be -2*(1 - 2)*1. Let o = z + 0. Solve -n - 3*x + o*x = -4, -n + 3*x - 16 = 0 for n.
-1
Let s(n) = n**3 + 2*n**2 - n. Let l be s(-2). Solve l*q = -3*y + 4 - 2, -q = -4*y + 10 for q.
-2
Let j(x) = -7*x - 85. Let o be j(-13). Solve h = -3*w - 5, w - h + o*h = -25 for w.
0
Let r(f) = -f - 8. Let w be r(0). Let x be 2/w - 34/(-8). Solve -2*v = x*k - 4, -5*k = v + v - 4 for k.
0
Suppose -23*i + 24*i = 2. Solve -7 = b - i*z, 0*b - 2*b = -3*z + 12 for b.
-3
Let d = 161 - 159. Solve -n = -v - 0 - 3, -v = -d for n.
5
Let n be 12/(-66) - 123/(-11). Solve 4*x + 4 = -4*f, -2*x = x + 5*f + n for x.
3
Let f be 54/16 + (-3)/8. Let q be ((-6)/(-9) - 0)*3. Solve 0 = -c - f*k + 1, q = c - 5*k + 1 for c.
1
Suppose -2*x + 3 = x. Suppose -4*d + 36 = 4*w - w, 0 = -4*d + 4*w + 8. Let a = d - x. Solve 4*m - 2*l = 3*l + 13, a*l = -m - 28 for m.
-3
Suppose 18*a = 14*a + 20. Solve 5*g = -5*n - a, -5*n + g + 0*g = 11 for n.
-2
Let i = -28 - -30. Solve s = -3*d + d, d - i*s = -5 for d.
-1
Let u be 6 + 0 - (-12)/(-4). Let b = 23 + -18. Solve -g + 3*x - 31 = u*g, -4*x = -b*g - 40 for g.
-4
Suppose 4*g + 3*a - 6 = 2*a, -2*g = 2*a. Suppose 0*x = g*x - 6. Solve -v + 3 = 4*j, -x*v - 4*j = -5*v - 6 for v.
-1
Suppose 4*h = -h - 25. Let f(n) = n**2 + 6*n + 5. Let x be f(h). Suppose 10*d + 3*z - 11 = 5*d, -5*z - 15 = 0. Solve 14 = -2*i + 2*o - x*o, -12 = -d*o for i.
-4
Let x(r) = -r**2 + 2*r + 10. Let c be x(4). Solve 3*y = 3*g + 3, -4*y + 5 = c*g + 13 for g.
-2
Let p be 8*1 - (11 - 8). Solve -2*b + 5 = 2*q - p, 0 = q - b + 3 for q.
1
Suppose 2*k + 9 = 5*k. Suppose -2*d + 6 = 2*a, -k*d + 13 = 2*a + 3*a. Solve -36 = -4*v - 4*j, -8 + 1 = -3*v + a*j for v.
5
Let t = -13 - -18. Solve -4*r - i + 7 = 0, -3 = -2*r + t*i + 6 for r.
2
Suppose 0 = -2*x + 10, 20 = 5*z - x - 0*x. Suppose -2*l = -2*f - 20, -z*f - 11 = 3*l - 1. Solve r + l*v - 15 = 0, -5*r - 2*v + 9 = v for r.
0
Let l(k) = -k**3 + 8*k**2 + 6. Let p be l(8). Solve -2*v + 2 = 2*n, -30 = -2*n - v + p*v for n.
5
Let u be 1 - (-5 + 2 + 0). Suppose 2*n = 4*n + 8. Let l be n/(-10) + 2/(-5). Solve l*y - 13 = z - 2*y, u*z + 2*y + 12 = 0 for z.
-5
Suppose -i = -4*i + 6. Let n = 1 - -2. Suppose 8*c - n*c = 0. Solve c = -5*m + 2*m + 2*l + i, 0 = m + 4*l - 24 for m.
4
Let s be 5/35 - (-6)/7. Let d = 4 + -2. Suppose d*r + s = 7. Solve w - r = 2*v - v, -3 = w + v for w.
0
Let s be (-32)/6 - 1/(-3). Let n = s - -5. Solve 5*j + 5*t + 45 = -n*t, 0 = -3*j - 5*t - 37 for j.
-4
Let w be (2/3)/((-16)/(-168)). Suppose 3*v = -2*p - p, 0 = -5*p + 2*v + w. Solve -3*x + 3*y = -27, -2 = -3*x - 3*y + p for x.
5
Let t(y) be the first derivative of -y**2/2 + 7*y - 2. Let o be t(-6). Suppose -b - 2 = -6. Solve -n - 5*k = n - o, 0 = -n + b*k for n.
4
Let i be (18/12)/((-3)/8). Let u(j) be the first derivative of j**4/4 + j**3 - 3*j**2 - 5*j + 1. Let s be u(i). Solve -2 = 2*l - 0*l, n + 2*l = -s for n.
-1
Let n = 9 + -5. Suppose -5*i + 2*l + 11 - 3 = 0, -i - n*l + 6 = 0. Solve -4*b - 4 = -i*w + 6, 0 = 5*b - 3*w + 13 for b.
-2
Let b = -40 + 75. Solve -5*q = -5*s - b, q - 3*q = 3*s + 1 for q.
4
Suppose 0 = -5*q - 25, -o - q + 17 = -0. Suppose -d = -0*d - 12. Let b = o - d. Solve n + 10 = 6*n, -5*n - b = 4*i for i.
-5
Let t(w) = w**2 + 7. Let r be t(0). Let v(g) = -g**3 + 7*g**2 - g + 2. Let x be v(r). Let c be (6/(-15))/(1/x). Solve -l + 4*h = c, 2*h + 2*h = -2*l + 8 for l.
2
Let w = 80 + -53. Let h be (10/15)/(6/w). Solve -4*c = -2*p + 6, h*p - c - 4*c = 8 for p.
1
Let w be 25/9 - (-2)/9. Let t(z) = -z**3 - 5*z**2 + 5*z - 2. Suppose -6 = -d + 2*d. Let s be t(d). Solve s*n - 20 = -n + y, w*y = -15 for n.
3
Let c be (4 - 3) + -1 + 0. Solve 7*o = -2*l + 2*o - 8, -l + 3*o - 4 = c for l.
-4
Let k = 5 - 3. Let s = 4 - k. Let q be 1 + -6*(-1)/1. Solve -22 = -p - 5*x, p = -0*p - s*x + q for p.
-3
Let n = -19 + 32. Let w(k) = -k + 15. Let y be w(n). Solve -4*g - 18 = y*v, 0*v + v = g - 3 for v.
-5
Let c = 116 + -111. Solve 2*n - s = 5, -2*n + 5 = -c*n - s for n.
0
Suppose -5*c + c + 44 = 0. Suppose 5*u - c = 4. Solve -4*i = -u*i - 2*o - 5, 0 = 4*i - 4*o - 4 for i.
-3
Let m(c) = -c + 10. Let h(z) = -z + 9. Let l(v) = 6*h(v) - 5*m(v). Let r be l(4). Solve 4*s + 4*p - 12 = 0, r*p = s + 4*p - 15 for s.
-1
Suppose -2*c + 7 = -1. Let p = c - 4. Solve s + p*s = -4*q - 12, 15 = -5*q + s for q.
-3
Suppose 3*m - n + 1 = 0, 0 - 5 = -2*m - 5*n. Solve -q + 1 = m, 0 = -5*f + q - 6*q - 15 for f.
-4
Let v = 20 - 18. Let c = 45 - 21. Let n be c/15 - 4/(-10). Solve v*s + n*o = 5*o + 15, -4*o - 20 = s for s.
0
Suppose 7 = 3*a + 19. Let m(y) = -2*y. Let i be m(3). Let t = a - i. Solve -9 = -p - t*p - 2*d, 0 = -4*d for p.
3
Let h = 17 + -34. Let i = -8 - h. Let u be -15*(0 + (-3)/i). Solve 3*b - u*z = -7 - 15, 5*b - 3*z + 10 = 0 for b.
1
Let w(g) = g**3 - 12*g**2 - 27*g - 10. Let z be w(14). Solve 12 = 4*f - 4*m, 2*m - z*m - 4 = 0 for f.
1
Let c = 3 - -17. Suppose 5*p - 5*h - c = 0, p - 5*h + 20 = 6*p. Solve s + 4 = -2*s - 2*b, -p*b - 8 = 2*s for s.
0
Let b be (-7 - -8)*(0 + 0). Suppose 0 