ve -k + 0*d - 3 = 2*d, v*d = 0 for k.
-3
Let w(m) = -m - 14. Let d(y) = 6*y + 2. Let p be d(-3). Let b be w(p). Solve 0 = s + 7*n - 2*n, -b*s = -4*n for s.
0
Let t be 0 - (-56 - 2 - 2). Let g be (-5 - -1)*(-45)/t. Solve g*j = 4*l + 20, -5*j + 0 + 5 = -l for j.
0
Let i be 1/(-9)*-6*6. Let s be -10*2/i + 12. Solve -2*z = -5*r + s + 6, 3*r - 6 = 3*z for r.
3
Let n be (-28)/35*5/(-2). Suppose 5 = n*o - 3. Suppose 8 = 3*w - w - 2*m, 4*w = -2*m + 16. Solve 0 = -5*p - 4*l + 12 + 20, -4*p + w = -o*l for p.
4
Let l(t) = -t**2 - 8*t + 4. Let i be l(-8). Suppose -5*y - 2*v + 4 = -i*v, 6 = 2*v. Solve -3*q - 19 = -8*q - y*w, 2*q + 5 = -5*w for q.
5
Let t(n) = -n**3 - 6*n**2 + 3*n + 46. Let x be t(-5). Solve -8*a + 2*b - 4 = -x*a, -3*b = -4*a - 11 for a.
-5
Suppose -4*o = -85 + 25. Let t be (-3*1)/((-1)/(-1)). Let c be ((-18)/6)/(t/4). Solve 33 = 5*d + 2*n, -c*d = -5*d + 5*n - o for d.
5
Let r = -1440 + 1440. Solve b - 9*i - 13 = -14*i, -2*b - i + 8 = r for b.
3
Suppose -5*o + 3*d - 7 + 10 = 0, -5*o = 5*d + 5. Solve o = 6*n - n + w + 15, -5*n + w - 5 = 0 for n.
-2
Suppose -111 - 105 = -8*u. Suppose -2*b - 3*n = -22, -b = -4*b - 3*n + u. Solve -4*m + 7 = t + 2, 0 = -b*m - 3*t + 15 for m.
0
Let t = -52 + 50. Let m(k) = -5*k - 5. Let f be m(t). Solve 5*s = -f*j + 30, -s - 5*j + 17 = -1 for s.
3
Let u be (28 - -5)*1 - (-6)/2. Suppose -6*q + 0*q + u = 0. Solve 3*x - 26 = 5*i, -2*x + 16 = -q*i + 3*i for i.
-4
Let i be 3*(2 + (-3)/(-3)). Let a be (-9)/i*(-4 - -1). Suppose -8 = -4*s + x - 3*x, -a*s + 32 = -5*x. Solve -4*m + 7 = y, -s*m + 5*y - 6 = -19 for m.
2
Suppose -3 = 5*t - 2*t. Let w = t + 5. Suppose -2 = w*z - 26. Solve 3*k = 5*y - 9, y + 4*k - z = 5 for y.
3
Let g(h) = h**3 - 6*h**2 - 24*h + 66. Let o be g(8). Solve -m = -o*y - 10, -3*y - 26 = 2*y - 3*m for y.
-4
Suppose q = 6*q + 10, d + 2*q = 0. Suppose -b = -3*l, 4*b - d*l - 7 - 1 = 0. Solve 5*c - 11 = 3*y, 0 = 2*c - 5*c + b for y.
-2
Let a(u) = -2*u**2 - u + 1. Let x(w) = 3*w**2 + 2*w - 1. Let p(j) = 5*a(j) + 3*x(j). Let b be p(0). Solve -3*m - 36 = -4*d - 8, m + b*d - 4 = 0 for m.
-4
Let t = -23 - 68. Let x be (-156)/t*(-7)/(-2). Solve 0 = b - 3*l + x, 2*l - 4 = -5*b - 0*l for b.
0
Suppose 0*s - v - 341 = -4*s, 0 = 2*s + 5*v - 165. Let t = s - 79. Solve d = 5*i - 2*d + 9, -2*d + t = 2*i for i.
0
Suppose 5*o - 2*o - 9 = 0. Suppose -21 = -2*y + o. Suppose -2*q + y = -q. Solve q = 3*f - c, 4*c - 32 = -4*f - 0 for f.
5
Let n(v) = -v + 5. Let y be n(5). Suppose h + 4*s - 21 = y, -5*h + 0*h = 5*s - 30. Let r = h - -4. Solve -4*c - 5*a = -28, r*c - 4*a = -5 - 1 for c.
2
Suppose -2*f + 34 = 4*i, -3*i + 9*f - 10*f = -23. Solve 4*z + i*x - x = -11, 2*z + 10 = -4*x for z.
1
Let o(r) = r**3 + 9*r**2 - 10*r + 2. Let g be o(-10). Solve 0 = g*q - 3*b - 23, -1 + 3 = 3*q + 2*b for q.
4
Let b be (15/(-20)*-1)/((-2)/(-8)). Suppose -b*c = 2*p - 6 - 2, -p + 5*c + 4 = 0. Solve 5*s = -25, -7*s + 2*s - 21 = -p*z for z.
-1
Let s be (-4*15/42)/(9/(-126)). Solve 5*g + 4*p - s = 2*g, -2*g + 3*p = 15 for g.
0
Let a(o) = 11 - 5 - 6 + 13 - o. Let f be a(8). Solve f*t - 14 = -g, 0*g + 3*g - 5*t + 18 = 0 for g.
-1
Let f be 1*-1*(-3 - 2). Suppose 0 = -4*w - f*n + 69, -4*w + 2*n - 17 = -79. Solve -5*g + 8 = -c, -5*c + w = 2*g + g for c.
2
Suppose -9*x + 4*x + 45 = 0. Solve 0 = 5*u - h + x, 2*u + 2*h + 18 = 6*h for u.
-1
Suppose 4 = -3*v + 5*s - 13, 0 = 4*v - 4*s + 20. Let x be 95/35 + v/(-14). Solve -2*c + 3*o - 1 = 0, -x*o + 6 = 4*c - 1 for c.
1
Suppose -5 = -h - m, -5*m + m - 12 = 0. Suppose 0 = -h*q + 44 + 108. Solve 2*x - 25 = -3*z - 2*x, -5*z + q = x for z.
3
Suppose -2*r - 5*o = -o + 14, -3*o = -3*r + 15. Suppose 0 = 2*a + 85 - r. Let d be ((-1)/2)/(7/a). Solve -5*h + d*z + 3 = 6, -19 = 5*h + z for h.
-3
Suppose -2*b + 46 = -0*x + 9*x, 0 = 5*x - 3*b - 5. Solve 5*l + 17 = a, -4*a + x*l = -9*a - 2 for a.
2
Let t be (1/(-2))/(1/(-8)). Suppose -n = t - 7. Suppose -3*o + 11 = -s, n*o + 1 = -4*s - s. Solve -o*y - 4*g - 2 = 0, -3*y + 5*g - 5 = -21 for y.
2
Suppose 0*d - 5*d - 13 = l, -5*d = 15. Solve 0 = -n + v - 4, 0 = 3*v + l + 1 for n.
-5
Suppose 24*t - 72 = 6*t. Solve 5*u - 2*u = t*g + 24, 4 = 4*u + 4*g for u.
4
Let f = 26 + 2. Suppose 3*q + 3*r - 18 = 0, -5*r = 5*q - q - f. Solve -8 - 6 = 3*u + n, -2*u + q*n + 4 = 0 for u.
-3
Let g(p) = -5*p**2 + 4*p**3 + 9 + 3*p + 2*p**3 - 7*p**3. Let t be g(-4). Let d = t + 21. Solve 5*y + 2*v - 4*v = 20, d*y = v + 9 for y.
2
Suppose 5*y - 23 = -13. Solve 4*u + 8 = -5*h, -6 = 5*h - y*u + 20 for h.
-4
Let z be -1 - (-1 + -3) - 3. Let a = 1 - z. Solve -3*v = -9, 4*n - 2*v - a = -v for n.
1
Let f(v) = 2*v**2 + 32*v + 59. Let w be f(-14). Solve 3 = -w*c + q, -q = -3*q + 6 for c.
0
Let k be (4/3)/((-4)/42). Let g(i) = -i**3 - 13*i**2 + 13*i - 17. Let j be g(k). Let p be j*(-6)/((-18)/(-5)). Solve -p*o + 10 = b, 2*o = -o + 9 for b.
-5
Suppose -2*d - 115 = 3*d. Let k = d + 18. Let i be (16/k)/((-24)/60). Solve 5*u - i = 2*p, 0 = -5*u - 2*p + 5 + 7 for u.
2
Suppose 79 = 3*k + 4*o, k + 3*o - 120 = -102. Solve 5*r + 3 - k = 5*b, 4*r - 18 = b for r.
4
Let u be ((-5)/(-10))/((-6)/(-36)). Solve -4*t + j + u = 0, -3*j - 1 = 8 for t.
0
Let v be (-6)/9 - ((-34)/(-3) + -4). Let a = 35 + v. Let j = -41 - -62. Solve 0 = -4*s + 3*h + a, 4*s - 2*s - j = 3*h for s.
3
Let p be 7 + (12/(-3))/4. Solve o = 2*a + p, -4 = o - 2*o for a.
-1
Let q be (-2360)/944*((-16)/10)/1. Solve -5*a + q*w - w = 22, 0 = -a + 4*w - 1 for a.
-5
Let b be (6 + -5)*10/2. Solve -t - 3 = -4*z, -t + 5*z - b = -0*z for t.
5
Suppose 0 = -4*l + 2*l - 10, -3*g + 5*l = -79. Solve 3*s = -3*v + 9, 4*s - g = v + v for v.
-1
Let p be (-35)/(-25) + 4 + 6/(-15). Solve 0*d + p*d + m = -21, -4*m = -d for d.
-4
Suppose -5*k + 552 = 19*k. Solve -4*f = d + k - 10, -5*d + f + 19 = 0 for d.
3
Let j be 7*4*(-1)/(1 + -5). Solve 2*z + 2*u - j*u = 28, -u = z for z.
4
Let x = 12 + -8. Let r be (-2)/(-4) + 10/x. Solve -r*s + y + 2*y = -9, 9 = -s - 3*y for s.
0
Suppose -276 = -4*g - 8*g. Solve 5*j = 4*s - 37, s = 4*j - 0*s + g for j.
-5
Suppose 5*u - 30 - 18 = -b, -4*u + 38 = b. Solve -2*y = -5*s + 10, -4*s - 3*y + u = s for s.
2
Let c = 68 - 64. Suppose c = 4*g - 4. Solve -d - 3*q = q - 9, -4*q = -g*d - 18 for d.
-3
Let p = -1 + 3. Suppose -5 = -4*x + 19. Solve -2*s + 22 = -5*k + x, 0 = s - k - p for s.
-2
Let c(r) = 2 + r + r - 3 - 8*r. Let g be c(-1). Solve 4*p - 4*q = -6*q, 2*p = g*q + 12 for p.
1
Let v(q) = -q**3 - 8*q**2 - 7*q + 3. Let r be v(-7). Let k(w) = -19*w - 1. Let z be k(-1). Let j = -12 + z. Solve 3*f = r*o - j, f + 2*o = 2*f + 4 for f.
0
Let a = 1762 + -1758. Solve -3*d + q = 1, 0*d + 9 = -d - a*q for d.
-1
Suppose -2 + 5 = h. Suppose -8*v - 14 = -4*b - 10*v, 5*b = 3*v + 34. Solve -2*w - 8 = 2*u, -8 = -b*w - h*u + 5*u for w.
0
Let z be 5*18/(-75)*20/(-12). Solve 1 = -3*v + z*t, 4*v + v = 3*t for v.
3
Let s = 16 - 8. Let b = -291 - -291. Solve -4*j - 7 = -3*k - b*j, -s = -4*k + 4*j for k.
1
Suppose 33*t - 148 + 49 = 0. Solve k - t*k - 10 = 2*u, 0 = 3*k + 3 for u.
-4
Let t be (-4)/(-16) + (-537)/(-12). Suppose -t*c + 42*c + 9 = 0. Solve q = 4*o - 11, -2*q + 2*o - 1 = c*q for q.
1
Suppose 40 - 25 = 5*x. Suppose 0 = -5*h - x*o + 4, -5*h = -2*h - 5*o - 16. Solve -h = 3*t - 2*q - 7, 3*t = -q - 7 for t.
-1
Suppose 2*f = 6 + 12. Suppose -11*w + 22*w - 11 = 0. Solve -z = h + 3*h + f, h = z - w for z.
-1
Suppose -5*r - x = -11, -3*r + 5*x - 4 = -5. Solve -r*q = -2*d - 5*q - 3, 2*d - q - 1 = 0 for d.
0
Let k(z) = 19*z + 17*z - 6 + z**2 - 28*z. Let j(r) = -r**2 + 6*r - 2. Let i be j(7). Let o be k(i). Solve -4*c - o*n + 9 = 2*n, 4*c = 5*n - 1 for c.
1
Let u = 13 + -11. Suppose 2*f + u = 0, 5*q - f - 11 = -0*f. Solve 6*b - 26 = b - q*s, 4*b - 2*s - 10 = 0 for b.
4
Let y = -16 + 30. Let s be 1*(-3 + y - 4). Solve -2*m = -2*i - 4, -3*m + 14 = 2*i - s for m.
5
Suppose j = -j + 6. Suppose -5*h - 2*l + 16 = -3*l, -j*l = -3*h. Let u be 1*(9 - 7) - (-1 - -1). Solve -2*m = u*m - 2*d, 0 = h*d for m.
0
Suppose -12*g + 10 = -14*g. Let a = g + 5. Suppose a + 6 = 3*k + 2*n, -3 = n. Solve -b - k*w + 7*w = 14, -5*b = 3*w + 16 for b.
-5
Let u(n) = 8*n - 2. Let t be u(1). Suppose 9 - t = 3*v. Suppose v = a - 1. Solve 0 = 2*d + 2*d + 2*k, a*k = 2*d for d.
0
Suppose -3*c = -4*u + u - 12, 0 = -3*c + 15. Let l(b) = -2*b**2 + 3*b - 1. Let t be l(u). Solve 2*w + 2*w = -2*r - 10, -3*w + 