0. Let c be (-1 + v - -4) + -1. Suppose c*a - 6 = 3. Solve -s + 10 = -3*l, a*l - 8 = -5*s + 4*l for s.
1
Suppose -3*g - 6 = -27. Let w = 5 - -1. Let z be 4/10 + w/(-15). Solve z = -2*t + g*t + 5*u, -2*t - 5*u = 6 for t.
2
Suppose -7 = -2*l + 1. Solve 3*a - 11 = l*a - 5*w, -5*a - 5*w + 35 = 0 for a.
4
Let a(z) = z**3 - 7*z**2 - z + 11. Let t be a(7). Solve b - 1 = k, b - t*b = 5*k + 37 for k.
-5
Suppose -11*f - 27 = -115. Solve 4*x = 2*s + f, 0*x + 2*s - 13 = -3*x for x.
3
Let k(n) = -n + 3. Let q be k(5). Let r be q/(-9) + 75/27. Solve 0 = -2*z - 5*y + 19 + 6, -r*z - 2*y + 10 = 0 for z.
0
Let c(n) = n. Let h be c(4). Suppose 8 = -h*z, -2*f - 3*f = -3*z - 26. Solve -2*w = -w + 3*q + f, -20 = 5*w - 5*q for w.
-4
Let w(t) = 2*t**2 - 2*t - 1. Let r be w(2). Suppose -a + 4 = 3, -5*v = r*a - 28. Solve 3*j + 3*s - 6 + 27 = 0, v*s + 21 = 2*j for j.
-2
Let a(q) = -q**3 + 12*q**2 - 9*q - 19. Let w be a(11). Solve h + 3 = 5*f, w*h = -4*f + f - 9 for h.
-3
Let n = 8 + -6. Suppose 2*m - 22 = -4*v, -3*m + 19 = -2*v + n*m. Suppose 4*u + 21 = 4*y + u, 0 = -v*u - 9. Solve -6 = 4*o - 2*d, y*o - 4*d = -0*d - 7 for o.
-1
Let h = -8 + 4. Let x be h*((-1)/2 + 1). Let v = x + 4. Solve -c + v*c + 2 = 0, 13 = 3*n + c for n.
5
Let q = 53 + -51. Solve -q*r = 8, -r = -0*a + a + 9 for a.
-5
Let t(o) = 2*o - 6. Let q be t(4). Let f(j) = -j**3 + j**2 + 3*j - 1. Let u be f(q). Solve 4*v = 3*m + u + 4, 30 = 5*v + m for v.
5
Suppose 20 = -2*k + 4*x, k + x - 2 = -x. Let j = k + 6. Suppose m - j = 2. Solve -m*u - 12 = 0, -2*g + 5*u + 15 = -5*g for g.
0
Let q(w) = 11*w**2 + 4*w - 5. Let i(r) = -5*r**2 - 2*r + 2. Let s(k) = -9*i(k) - 4*q(k). Let d be s(-3). Solve 0 = d*x - 5, 0 + 1 = 2*a - x for a.
1
Suppose 5*g - 5 = -f - 4*f, -2*f = -g - 2. Solve g = 2*a - 0*a + o - 3, 5*a + 2*o - 5 = 0 for a.
-1
Suppose 2*c - 3 = c. Let m be ((-4)/c)/(10/(-15)). Suppose -k + 0*k + 1 = 0. Solve 5 + k = -m*s - 4*g, 12 = 2*s - 2*g for s.
3
Let n = 71 - 67. Solve -4*b + 5 + 19 = -w, n = -w for b.
5
Let z = -12 - -16. Solve z*k = -2*f + 18, -5*k + 26 = -3*f + 2*f for f.
-1
Let t = -34 - -39. Solve -18 = -2*i + 5*i - t*x, 5*i + 2 = -x for i.
-1
Let v be (-6)/(-21) - 38/(-14). Suppose 5*p + 2*g = -v*g + 35, 25 = 3*p + 4*g. Solve 5*l - 22 = 4*c - p*c, 10 = 5*l + 5*c for l.
4
Let h be -1 + 6 - (4 - 2). Let n be (-8)/(-6) - (-1)/(-3). Let b(r) = r**3 + 6*r**2 + 1. Let d be b(-6). Solve z = -h*f - n - 0, 0 = f - d for z.
-4
Suppose -4*d - 4 + 16 = 0. Solve 2*c - d = -3*b, -4*b - 5*c + 3 = -2*c for b.
3
Let j = 34 - 31. Solve j*o + 3*l + 18 = o, -l = 4 for o.
-3
Let u(w) = -1 + 6 + w**2 + 3*w + 5*w + 5. Let v be u(-7). Solve 0 = -v*l, -2*l - 4 = o - 3 for o.
-1
Let m(k) = 5*k. Let q be m(5). Solve 5*c = -q, -23 = -3*v - 0*c + 4*c for v.
1
Suppose -30 = 4*v + 3*y - 2, 3*v = 4*y - 21. Let b be v/(-28) + (-11)/(-4). Solve 5*l - p = 16, -b*l + 3*p + p + 13 = 0 for l.
3
Suppose 2*a - 76 = -2*a. Let r = -2 - -2. Suppose 12 = 3*y - y + 2*i, r = 5*y - i - 12. Solve a = 4*v + y, 2*k + 5*v = 22 for k.
1
Let r(v) = 9*v**2 - 5 - v**3 + v + 3 - 2. Let t be r(9). Solve -f + t*h + 25 = -4*f, -2*h + 21 = -5*f for f.
-5
Let r be 2/4*0/6. Suppose r = -7*s + 2*s + 35. Solve 0 = -5*m - 5*w + 15, 2*w - s = -m + 3*w for m.
5
Suppose -1 = -2*o + o. Let f = o + 2. Solve 3*k + 2*g + f = 2*k, 4*k + 4*g = -8 for k.
-1
Let n = 21 + -15. Suppose 4*b = b - n. Let q be b + (6/3 - -2). Solve 12 = 4*i - 5*j + 2*j, -2*i = -q*j - 6 for i.
3
Let b be 2/(-9) + (-38)/(-9). Solve -4*d = 3*i + 2 - b, 2*d - 14 = 5*i for d.
2
Suppose 0 = 5*n + 4*z - 45, -n = 3*z - z - 15. Solve 3*c + 7 = n*w, 2*c = -2*w - 0*c - 10 for w.
-1
Let x(g) = -g**2 + 5*g + 4. Let q be x(4). Let s = q + -3. Suppose 0 = 2*m + 2*m - 2*f - 16, s*m - 31 = -3*f. Solve 28 = -a + m*p, 4*a - 3*p + 18 = -9 for a.
-3
Suppose 2*r - 5*t + 5 = r, t = -4*r + 22. Suppose -1 = -4*o - r. Let w be 2/1 - (1 + o). Solve 2*x = -3*d - 2*x + 14, w*d + 4*x - 12 = 0 for d.
2
Let j = 6 - 2. Suppose 7*u - 3*u = 12. Suppose -1 = -3*n + u*k + 35, -3*n - 5*k = -52. Solve 4*s = -g - 8 - n, j*g = -8 for s.
-5
Let h(f) be the first derivative of f**2/2 + f + 1. Let y be h(-2). Let b be (-3)/(-6)*6 - y. Solve 0 = -4*m - 3*i + 4, i = m - b*i - 24 for m.
4
Let x be 44/12 + (-1)/(-3). Suppose -3*c = x*n - 14, -2*c + 4 = 3*c - 3*n. Solve c*h - 17 = -0*h - 3*a, h = -2*a + 10 for h.
4
Suppose 3*s + 0 = -3*p + 6, 5*p = -2*s + 19. Let v(d) = d**3 - 3*d**2 + d - 1. Let z be v(3). Solve -5*j + 4*m = -20, j + p*m + z - 6 = 0 for j.
4
Suppose -18 + 6 = -2*k. Solve k = -2*l - f, 3*f - 14 = 2*l + 2*f for l.
-5
Let t(i) = i**3 + 3. Let u be t(0). Let q be 4 - (-1 + 2/1). Suppose -q = -o - 1. Solve -3*v + 4*j = -0*j - 20, -u*v = 5*j - o for v.
4
Let a be 50/20*(-4)/(-5). Solve -m - m - 4*g = 0, 0 = 3*m + 5*g + a for m.
-4
Let o be 0 + -2 + (9 + 31)/10. Solve b = -2*x - 3 + 2, o = -5*x - 3*b for x.
-1
Suppose u = 3*u - 8. Let t = 24 + -10. Solve 4*m = 3*k - t, 4*k - 4 = 6*k + u*m for k.
2
Let r be 2/((-4)/2)*0. Let h(x) = x**3 - x + 16. Let g be h(r). Suppose 5*l + 4*w = 2 + 14, 4*w = g. Solve z = d - 3, -3*d + l*z + 5*z = -9 for d.
3
Let w = -18 + 21. Solve 5*o + 30 = -0*o + 3*k, 24 = -3*o + w*k for o.
-3
Suppose -3*n = 2*n - 25. Suppose n*q = -2*v - 3, -4*v - 3*q = -4 + 3. Solve -4*i = -4*a, -v - 5 = -2*i + 5*a for i.
-2
Let a(k) = k**2 - 8*k + 14. Let z be a(6). Solve -z*l = -4*r + 6, 3*r - 6 = 4*l + 11 for l.
-5
Let t = -51 - -73. Let v be 5*(t/(-10) + 3). Solve -o - o + b = -2, -v*b = -16 for o.
3
Suppose 8 = -j + 3*j. Solve -2*u - 18 = 5*m, -j*m = -2*u - 3*u - 12 for m.
-2
Suppose 0 = -2*w - 10, 3*u - 2*w = -0*u + 46. Suppose 3*f + u = -27. Let d be 6/15 + f/(-5). Solve -3*r + 4*a = d, r + 1 = 2*a - 0*a for r.
-1
Let f = 24 + -20. Solve 8 = -p + 2*c + c, f*c = -3*p + 2 for p.
-2
Let w be 2*3 + 0/5. Solve -15 = w*c - c + 3*a, 4*a = 4*c - 20 for c.
0
Suppose r + d - 6 = 2*d, -4*r - d = -9. Let v be (-2)/(-2) + 2 + 4. Let w be (-28)/(-6) - 2/(-6). Solve -w*j = -4*p + 7, -r*p = -4*p + 3*j + v for p.
-2
Suppose -2*g - g + 4*p = -56, -44 = -g - 5*p. Let n = 29 - g. Solve -n*t - 2*c = -26, -t - t = c - 11 for t.
4
Let d = -20 + 38. Solve l - 2*s = d - 7, 5*l = -5*s - 5 for l.
3
Let y(l) = l**3 - 6*l**2 + 5. Let j be y(6). Suppose -5*u + 10 = -j. Solve -4*f = h, -3*f + 0*h = u*h - 9 for f.
-1
Suppose -3*t + 3*y = 6, 5*t - y + 0*y = 2. Suppose 7 - t = w. Suppose 0 = u - 0 - w. Solve -2*m - 8 = 3*k, 5*k + 0*k + u = 4*m for k.
-2
Let p be 4/(4*3/42). Let i = 21 - p. Solve -3*h - r = -h + i, -3*r + 23 = -5*h for h.
-4
Suppose 0 + 10 = 2*n. Suppose 4*m - n*t - 23 = 19, 0 = 5*m - 2*t - 44. Solve 3*f = z - 0*z - m, f = z for f.
-4
Suppose -h = -5*h. Suppose 0 = 4*d + 3*u - h - 8, 4 = 2*d + 3*u. Solve 0 = 4*r - b - 6, -5*r + d + 4 = -2*b for r.
2
Let w be (-6)/(-4) + (-9)/(-6). Solve 2*g + 4*y + w = 1, -5*y = 0 for g.
-1
Let z(a) = -a - 2. Let d be z(-7). Let p(l) = l**2 - 5*l. Let h be p(d). Solve 3 = 2*t - q + 2*q, -4*t + 3*q - 9 = h for t.
0
Let s be 3/((-3)/(-3)) - -4. Suppose 0 = -l + 55 - s. Suppose 4*n + 0*n = l. Solve -b - n = 3*b, -1 = -2*k - b for k.
2
Let i(x) = x - 1. Let u be i(6). Let n(y) = -y**2 + 7*y + 33. Let d be n(10). Solve -v - 5 = 0, 0 = d*l - u*l - v + 3 for l.
4
Let y = 119 + -74. Let o be 108/y + 2/(-5). Solve -q + 12 = -o*q - 3*p, 2*p = -5*q + 5 for q.
3
Suppose -22 = -4*p + 2. Solve c - 23 = -n + p*c, 5*n - 3*c = 27 for n.
3
Let s = 3 + -1. Suppose -5*a = -13 - s. Solve 12 = -3*i - 4*z, 0 = i + a*z - 4*z + 4 for i.
-4
Suppose 32*n - 2 = 31*n. Solve n*w + 5*c = -3, -3*c = -w + 4*w for w.
1
Suppose 3*g + r = 62, -g + 23 = -3*r - 1. Let b be 5/1 + 0/2. Let c(w) = w**3 - 4*w**2. Let t be c(4). Solve t = -3*n - 0*y + 3*y + g, 27 = b*n - 3*y for n.
3
Let f(z) = z**3 - 2*z**2 - 4*z - 2. Let l be f(-2). Let g be ((-4)/(-5))/((-2)/l). Solve 17 = -a - 5*b, 5*b = g*a - 4 - 3 for a.
-2
Suppose -130 = -a + 6*a. Let m = -16 - a. Solve s = 2*i - m, 3*i - 2*i = -3*s + 5 for s.
0
Suppose -2*d = 5*w - 11, -6*d - 2*w + 17 = -d. Solve -3*h + d*j + 15 = -2*j, 0 = -2*h + 4*j + 12 for h.
0
Let u = 9 + -7. Suppose 5*l = u*l + 42. Solve g + 3*q = l, 0*g - q + 1 = 4*g for g.
-1
Suppose -3*p + 15 = 3. Solve -16 = -p*v + 5*s + 17, -5*s - 21 = 2*v for v.
2
Suppose -3*n + 13 - 34 = 4*z, -2*n = -4*z - 6. Let m be z*(11/3)/(-1). So