0 for y.
-4
Let v = -3 - -6. Suppose 76 = v*t + 3*a - 14, 5*t - 115 = 2*a. Solve -2*s = -5*k - 29, 5*s - k = 2*k + t for s.
2
Let m be 15 + -13 - 0/(-1 - -3). Solve 3*u = 3*n - 6, -m*n - 3*u = -0*n - 9 for n.
3
Suppose -14 + 36 = -k + 5*u, 2*k - 4*u = -14. Solve -4*c + k*q = 6 + 3, -5*q = -15 for c.
0
Let g(y) = -2*y - 20. Let v be g(-11). Solve 4*d - d + 6 = -v*u, d = -u - 3 for u.
-3
Let d be -1 - -1 - 0*1/6. Solve -2*r + 4 = d, 0 = -5*b - 4*r + 12 + 16 for b.
4
Let p(f) = -f**2 + 6*f + 5. Let h be p(6). Solve 0 = 5*t - 4*w - 3, h*w - 18 = -t - 0*w for t.
3
Let r(v) = v - 1. Let d be r(7). Let z be 14/d + (-4)/(-6). Suppose y - 5*y = -z*s - 2, -s - 4*y + 26 = 0. Solve 3 = g - c, -s = -5*c - 16 for g.
1
Let o be -2 + 0 + 6 + 0. Suppose -o*j + 5*j - 2 = 0. Solve x - 4*n + 5 = 0, -3*n - j*n = -2*x - 4 for x.
3
Let u(t) = t**2 - 6*t - 2. Let l be 1*6/2 - -4. Let o be u(l). Let c be (1 - -1)*(-6)/(-4). Solve -g + 8 = b - o*b, 6 = -c*b + 2*g for b.
-2
Let g(a) = -4*a**2 - a - 2. Let r be g(-2). Let u be (-9)/(-6)*r/(-6). Suppose 2*d = -0 + u. Solve -x = 2*q - 4, x - 3*q - d*q = -10 for x.
0
Suppose -3*y + x = -5, -2*x - 10 = 5*y - 0*x. Suppose y*t = t. Suppose 0 = -5*w - t*w. Solve -2*r + 4 = -5*r + k, w = -5*r - k - 12 for r.
-2
Suppose -h + 2*h - 1 = 0. Suppose 0*q = 5*q - 5*b - 40, 0 = -2*q + 5*b + 16. Let z = -4 + q. Solve -z*n + 17 = -3*p, -2*n - h = p - 2 for n.
2
Let p(u) be the first derivative of -u**2/2 + 10*u - 3. Let h be p(8). Solve -2*w + 5*l = 23, h*w = 3*w + l + 1 for w.
-4
Suppose -o + 4*s + 54 = 2*o, -4*s + 78 = 3*o. Solve -t - 2*a + o = 3*t, 2*a = -2*t + 16 for t.
3
Suppose -2*j + 5 = -1. Solve -j*y - 5*v - 20 = 0, -v - 4 = -0*y + 5*y for y.
0
Suppose 0 = -y + 4 - 0. Solve -5 = -6*s + 3*s - g, -y*s + 4 = 2*g for s.
3
Suppose -4*n - 3*l = -l - 16, -2*n + 2*l = -8. Let m = 9 - n. Solve -16 = -2*p - 2*p - j, -20 = -m*j for p.
3
Let h(c) = -c**3 - 4*c**2 + 6*c + 9. Let q be h(-5). Solve 2*f + q*t = -3*f + 12, -5*f = -5*t + 15 for f.
0
Suppose -2*t - 12 = 2. Let w = t - -10. Solve 3*g - w = 4*f + 6, f + 3 = 0 for g.
-1
Let a(o) = -o**3 + 8*o**2 - 5*o - 3. Let g(n) = -n**3 - n**2 - 3*n - 3. Let p be g(-2). Let l be a(p). Solve 3*b + 7 = -3*j - l, -2*b = 3*j + 13 for j.
-1
Suppose -b + 0*b + 2 = 0. Suppose -b*x + 0*x + 10 = 0. Suppose -3*i + x = -7. Solve 2*s - i*w = -6, 0 = 5*s - 2*s - 5*w + 5 for s.
5
Let u(v) = 2*v - 11. Let c(a) = a - 5. Let d(s) = 7*c(s) - 3*u(s). Let y be d(6). Solve -5*i - 3 = -2*n + 6, i + 9 = y*n for n.
2
Let k = 6 - 4. Let v(w) = -w**2 + 5*w - 2. Let i be v(k). Solve -q = -i*s - 20, 4*q - 5 = -0*q + s for q.
0
Suppose -x - 5*q = -15, 0*x - 2*q = 2*x - 6. Suppose x*u - 3 = -u. Solve 3*j = -2*b + 2, -u*b - 1 = 5*j - 6 for b.
-5
Let v(p) = p**2 + p - 1. Let q be ((-6)/4)/(1/2). Let r be v(q). Solve -a = x + a + 1, 0 = -3*x - r*a - 3 for x.
-1
Suppose 6*k - 2*f - 88 = 2*k, 0 = -5*k + 3*f + 112. Suppose -4*s = -0*s - k. Solve s*r = 2*q - 22, 2*q + 3 = -3*r - 7 for r.
-4
Suppose 4 = 8*n + 4. Solve n = -2*u - 2*k - 5 - 1, 2*u + 4*k = -14 for u.
1
Let f be 1 + (-2 + -1 - -5). Solve -2*g - a - 3 = -17, -2*a - 7 = -f*g for g.
5
Let l(w) = -w**3 - 20*w**2 - 19*w + 9. Let n be l(-19). Solve 22 = -i - 4*t, 3*i = t + 2*t + n for i.
-2
Let u(n) be the second derivative of -n**3/6 - 3*n**2/2 - 2*n. Let t be u(-6). Solve 5*y + 4*a = -6, -y + t*a + 18 = -a for y.
2
Let c = -50 - -68. Solve x + c = 4*f, -x - 4 = x for f.
4
Let a be 12 - (-5 - -4)/((-4)/(-8)). Solve -2*o + a = -2*m, -o + 0 - 3 = m for o.
2
Suppose -9 = -3*w - 0*w. Solve 2*d = s + 11, 0*s - w*d = 3*s + 6 for s.
-5
Let s(n) = n - 4. Let o be s(7). Solve 5*u - 1 = -3*i + 15, o*u = 4*i + 27 for i.
-3
Suppose 10 = 2*d - 2*x - 2, -5*d + 30 = 3*x. Suppose 4*f - f = d, -t + 3*f - 1 = 0. Solve -p + 5*h = -5*p - 15, -t*p + 3*h = -9 for p.
0
Suppose -5*n - 1 = 2*k, 2*n + 2*n = 2*k - 44. Let f = -9 + k. Solve f*s = 5*s + 5*j + 17, -2*s + j = -13 for s.
4
Let p be -1 + (-135)/(-18)*8/10. Solve -p*x - 2*y + 10 = 0, -4 = -4*x + 2*x + 2*y for x.
2
Let l(z) = -z**3 - 4*z**2 + 6*z + 6. Let q be l(-5). Let m be 20/2*2/4. Suppose -m*s + 11 = q. Solve 2*p - 3*j + 2 = -s*j, -p + 4*j + 13 = 0 for p.
-3
Let a(i) = i**3 - 8*i**2 + 7*i + 1. Suppose 2*c - 7 = c. Let d be a(c). Solve -2*r - 5*f = 6, -3*f + d - 17 = -5*r for r.
2
Let k = -1 + 2. Let j(r) = 12*r**2 + 1. Let b be j(-1). Let m = 49 - b. Solve -w = -3*p + 11, -5*p - 3*w + m = -k for p.
5
Let p(i) = i**3 + 4*i**2 - 4. Let d be p(-4). Let r be 1/4 + (-15)/d. Solve 0*y + 5*y = -r*v - 35, 5 = -5*y + 2*v for y.
-3
Let c be (-1 + -2)/(9/(-210)). Suppose s - c = -5*j + 33, -65 = -3*j + s. Solve 5*w - 45 = -5*h, 4*w + w - h - j = 0 for w.
5
Suppose 4*n + 3*g = 5, -n + 0*n + g = -3. Let m = -1 + 4. Solve w - 2*z = -m*w + 2, -3 = n*w + 3*z for w.
0
Let v(j) = -j**2 - 2*j + 2. Let y be v(0). Solve 3*l - 2*l = -2*a + 6, -y*l + a = -2 for l.
2
Suppose 2*y = k - 64, -93 = -3*k - 3*y + 81. Suppose 0 = -2*r + r + k. Suppose c + r = 5*c. Solve q = 3*m + c, 1 = -2*q + 2*m + 11 for q.
0
Let s(a) = -a**2 - 14*a - 33. Let z be s(-11). Solve 0 = k + 3*h + 7 + 8, z = -3*k + h - 5 for k.
-3
Let u = -10 + 15. Solve 4*s = u*n - 17, 0*s = 4*s + 4*n + 8 for s.
-3
Let y = 24 + -19. Solve b = 5*t + y, -3*t - 15 = b + 2*t for b.
-5
Let h = 0 + -3. Let y(u) = u + 6. Let l be y(h). Solve -2*v + 2*j - 4 = -l*v, 7 = -5*v - j for v.
-2
Let o = 9 + -2. Let s = o + -4. Suppose 4*u - 11 = 5*v, 3*v - 4*v - 4 = -u. Solve g - 5*a + s = 0, -2*g + 3*a = g + u for g.
-3
Suppose 0 = -2*z - 10, 5*n - z - 110 = -3*z. Let k = -10 + n. Solve 2*u = 2*a + k, 2*u - 3 = u - a for u.
5
Suppose -4*a = -12 + 4. Suppose 0 = n - 2*n - a. Let j(q) = -3*q**3 - 2*q**2 - 2*q + 1. Let g be j(n). Solve 0 = -2*k - 6, -4*b + b - 4*k - g = 0 for b.
-3
Suppose 3*c = -c + 28. Let s(v) = v**3 - 8*v**2 + 7*v + 5. Let b be s(c). Solve -b*u - 15 = 2*l + 3*l, -21 = -u + 5*l for u.
1
Let y be (-1)/8 + (-2)/(-16). Solve -3*u - 2*k - 14 = y, -3*u + 4*k = -0*u + 8 for u.
-4
Suppose 3*w - 2*w - 5 = 0. Suppose -w*u + 3 + 12 = 0. Suppose -y - 2*q = -3*y + 14, u*q + 6 = 0. Solve l + y*a - 11 = 3*a, -4 = -a for l.
3
Suppose 0 = -5*b + 25 - 5. Solve 4*w - 1 = -2*i - 11, b*w + i + 7 = 0 for w.
-1
Suppose a + 8 = 5*a. Suppose 1 = a*x - 9. Solve 3*j - v - 11 = 4*v, x*j = 3*v + 13 for j.
2
Let x(c) be the third derivative of -c**4/24 - 3*c**2. Let s be x(-3). Solve 0 = -4*b + 2*y + 14, s*y = 5*b + 4*y for b.
1
Let g = -14 - -18. Let o be 1 + g*(-6)/(-8). Solve -x - 6 = o*u + 5, -4*x - 2*u = 16 for x.
-3
Let d = -20 - -22. Solve j + 1 = d*m - 0, m + 4 = -j for j.
-3
Suppose -4*p + 3*p + 3*k - 5 = 0, 2*p - 2*k + 2 = 0. Solve -d + w = -p, -3*w - 3 = 12 for d.
-4
Let o(s) = -3*s + 22. Let x be o(6). Solve -3 = 3*i, 4*w + 4*i = 2*w + x for w.
4
Let g(x) = 11*x**2 + x**3 + 0*x**3 + 14 + 11*x + 0*x. Let s be g(-10). Solve 2*j + 18 = -s*c, -c = 3*j - 4*c for j.
-3
Suppose 5*k = 4*k + 2. Suppose -10 = -k*l - 0. Solve 0 = l*r - 3*f + 20, -4*f + 0*f = -20 for r.
-1
Let x be 20/6 + 2/3. Solve -i - 1 = -q, -q + 2*i = -x*q + 23 for q.
5
Let s be 496/12 + (-1)/3. Let a = -29 + s. Let p be 1/4 - a/(-16). Solve 0 = -3*j - 2*v - p, 0*v + 5 = -v for j.
3
Let p(b) = b**2 + 5. Let u(n) = -n - 6. Let a be u(-6). Let q be p(a). Let s be 1/q + 3/(-15). Solve 4*h + s*w - 6 = -2*w, 6 = 2*h - 2*w for h.
2
Let r(j) = 4*j**2 - 2*j - 1. Let o be r(2). Suppose -5*v + 0 = -10. Solve 3*c + h - 3 = -v*h, c - 4*h = o for c.
3
Let z be (-4)/(-6) + (-6)/9. Solve 0 = 2*v + t - 5, z*t = t - 5 for v.
0
Suppose 4*v - 28 = 4*o, 0*o - 22 = -4*v + o. Let j = -4 + 16. Suppose c - 31 + j = 0. Solve -y = i + 4*y + 1, 0 = v*i + y - c for i.
4
Suppose 4*d = 4 + 4. Let y(c) = -3 - c**3 + 4*c**d + 8*c - 2*c + 0. Let s be y(5). Solve 4 = -2*x + 3*f, x = s*f - 2 - 2 for x.
4
Let o(l) = l - 5. Let y be o(8). Solve -x - 3*h + 7 = 0, 0*x = -2*x + 5*h + y for x.
4
Suppose -7 + 2 = -5*w. Let j = w + -1. Let k be j - (1 - 1)/3. Solve 5*t - b = 23, -5*b - 15 = -5*t - k for t.
5
Suppose 103 = 5*w + 2*d, 0 = -0*w + 2*w - 4*d - 22. Solve 3*j + w = 2*u - 0*u, -j - 28 = -5*u for j.
-3
Let d(t) = -2*t - 6. Let g be d(-4). Let u be (g + -5)/((-6)/10). Solve -5*p + 7 = 4*n, u*p + 2*n - 1 + 0 = 0 for p.
-1
Let c(q) = q - 2. Let k be c(4). Let l be 1*(k - 1)*3. Suppose 3 = -l*z,