be v(0). Let n(m) = -m**3 + 18*m**2 - m + 23. Let x be n(18). Solve -x*q - 4*j = -29, -3*q + 3*j - l = -8*q for q.
5
Suppose -5*a + 3*a - 6 = 0. Let u = 7 + a. Suppose u*t - 5*i + 13 = -0*i, -4*t + 2 = -2*i. Solve 3*w = -t*z - 3, 0 = w + 2*z + 7 - 1 for w.
4
Let s = 594 + -587. Solve 4*d + 20 = -4*o, -3*o - s = 2*d + 7 for o.
-4
Let s be (-35)/(-15) + 1/(-3). Suppose -s*g - 80 = -5*m, -2*m + 3*m - 4*g - 16 = 0. Let i = m + -16. Solve i = -d - x + 5 - 0, -2*d = -5*x + 25 for d.
0
Suppose 0 = -6*p + 2 + 16. Solve -5*d + 3*i + 25 = -0*d, -5*i - 19 = p*d for d.
2
Suppose -9*o = -x - 11*o + 4, -5*x + o = -53. Solve 4*c - 10 = -5*a, 0 = -5*a + c - x - 5 for a.
-2
Let l = -434 + 438. Solve l*o - 2*v + 20 = 0, 9*o - 3 = 6*o - 3*v for o.
-3
Let l be (-13 + 12)*-6 - (1 - 0). Solve 4*k - 3 = 5*y + 7, 0 = l*y + 5*k - 35 for y.
2
Suppose 4*r = 4*w + 196, -164 = 4*w - 0*r + 4*r. Let m = w + 50. Solve -2*k - 3*d + m*d = 0, -2*k = -3*d for k.
0
Let i(j) = -j**3 - j + 6. Let f be 1 + (-1 - (2 + -2)). Let t be i(f). Suppose q + t = 4*q. Solve -20 = -5*x - 5*n, 3*n + q*n = 4*x + 20 for x.
0
Let x be -1*15 - 2/(-1). Let n = 174 + -153. Let q = x + n. Solve -3*u + 8 = -5*r - 4, 2*u = -5*r + q for u.
4
Let n = 827 - 826. Solve 10*h - 5*h = -5*f, -3*h + n = 2*f for f.
-1
Let j = 84 - -29. Let n = j - 108. Solve 4*i = -z - n + 22, -2*i = -z - 1 for i.
3
Suppose -3*v + 2 = -z, 4 = -5*v - 2*z - 0*z. Suppose v*p = p, -2*r + 8 = -3*p. Solve 3*h = -5*c - 1, -r*c + 1 = -5*h + 24 for h.
3
Suppose 5*h - 49 = 16. Let b = 17 - h. Suppose 0 - b = -y. Solve 4*o - 2*o = l + 12, y*o - 4*l = 32 for o.
4
Suppose 0 = -2*y - 4, -4*b + 4*y - 3*y = -198. Let a = b - 38. Solve 0*u = 5*n + u - a, 5*n + 3*u = 13 for n.
2
Suppose 1 = n - 1. Suppose n*z = 7*z. Suppose 2*q = -z*q. Solve q = 5*j + 10, 4*x - j = j for x.
-1
Let x = 405 + -400. Solve 3*z = x*f + 34, -3*z + 4*z + 5*f = -22 for z.
3
Let o be -5*4*(-24)/20. Suppose -o = -5*k - k. Solve k*l + 2 = 2*u, 0*l - 3*u = 5*l + 30 for l.
-3
Suppose 0 = 5*r - 4 - 16. Suppose -2*t = -6*t. Let h be 2 - (t/(-2) + 0). Solve d = -r*q + 9, -5*q - 5*d - 6 = -h*q for q.
3
Suppose -i + 4*l - 10 = 2*l, -i + 4*l = 18. Let r be i/2 + 1 + 2. Suppose -2*q + 20 = r*q. Solve 5*j - q = c, -2*j - 1 = 3*c - 3*j for c.
0
Let r = 177 - 175. Solve -2*c + 5*i + 4 = r*i, 4*c - 3*i = 2 for c.
-1
Suppose 9*o - 201 = 4*o - 2*n, -n = 2*o - 80. Let w = o - 39. Solve -w*l + 6 = 0, 0*l + 10 = 4*m + 2*l for m.
1
Suppose f - 2 = n, 0*n - 2*n = 8. Let v be (-1)/8*f - (-15)/4. Solve -4 = -v*h, -h + 2 = -5*k - 4*h for k.
-1
Let d(y) = 2*y**3 - 16*y**2 + 4*y - 11. Let o be d(8). Solve -5*m = t, o = 4*t - m - 0 for t.
5
Suppose 3 = z - 0. Let m(q) = q + 4. Let l be m(10). Suppose -x - 6 = 2*v, -3*x + 3*v + l = v. Solve 3*n + x*n + 4*y + 11 = 0, n + z*y = -11 for n.
1
Suppose 2*q - 42 = -3*g, -8*g + 60 = -4*g + 4*q. Suppose -4*j = 4*u - g, 3*u + 0*j - 1 = 5*j. Solve 5*x - 28 = u*h, 4*x - 2*h = 6 + 18 for x.
4
Let m = -4 - -8. Suppose 3*w = -y + 8, y - 3*y + m = 0. Solve -4*k - v = w*v + 24, -2*k = -2*v - 2 for k.
-3
Let a(p) = -27*p**3 - p**2 + 2*p - 1. Let o be a(1). Let d be 2 + -4 + 1 - o. Suppose 4*h - d = -6. Solve -3*l = 3*q, q - 27 = h*q - 5*l for q.
-3
Let r(d) = 6*d - 178. Let v be r(31). Solve 17 = 4*a - i, 0 = -v*i + 3*i - 25 for a.
3
Let d(s) = -s**3 - 4*s**2 + 4. Let t be d(-4). Suppose -10*c = -17*c + 35. Let x = -3 + 5. Solve -x*j + 2*h = 3*h - t, c*h = -4*j + 8 for j.
2
Let v be ((-6)/(-8))/(39/156). Solve v*z = 5*q - 12, 11 - 1 = 3*q + z for q.
3
Let d(j) = j**3 + 9*j**2 - 8*j - 17. Let q be d(-8). Let h = 113 - q. Solve 3*g + 9 = -z - 3, -h*g - 8 = 5*z for z.
0
Suppose -3*m + 22 - 7 = 0. Suppose 0 = 3*v - v - 22. Solve 3*p - v = -2*f, m*f - 2 = 4*p - 9 for p.
3
Let h be (-407)/(-99) - (8/(-18))/(-4). Solve h*t - 4*v + 0*v + 12 = 0, 5*t = -v - 15 for t.
-3
Suppose 0 = 2*l + 3*f - 15, -f + 3 = -2*l + 2*f. Solve -a = -4*r + 1, -2*a + r + l = -2 for a.
3
Suppose 18*x = -10*x. Solve x = s + 5*d - 0 - 1, d = 4*s + 17 for s.
-4
Suppose 2*k = -3*n + 12, -3*k - 2 + 15 = 2*n. Solve -5*r - m = 24, 0 = 3*m - n*m - 1 for r.
-5
Suppose -3*d + 15 = -3*j, -4*j + 8 = 2*d - 2. Let w be (-3)/d - 140/(-25). Solve -5*l = 2*c - 7, 3*c + 10 = w*l - 17 for l.
3
Let k = -11 + 27. Let p(o) = o**2 - 16*o + 3. Let b be p(k). Solve 5*y - 3*u - 9 = -4*u, -3*y - 3*u + b = 0 for y.
2
Suppose -2*z + 68 = 62. Solve 7*k + 11 = 3*g + z*k, k = 2*g - 9 for g.
5
Let q be 4/((-16 - -18) + 0/(-1)). Let l be (9/(-3))/3 + 7. Solve -q*d - 3 = 3*t + d, 0 = 4*t - d - l for t.
1
Let z be 24/(-12)*(1 - -1). Let i be z*(8 - 4)/(-4). Solve -i*w = -l - 9, 2*w - 3 - 5 = 4*l for w.
2
Suppose -4*x - 36 = -2*g - x, -5*x = -g + 18. Solve -4*o = -2*s - g + 26, -s = 0 for o.
-2
Let k = -35 + 83. Let u = k - 48. Solve -4*i - 5*g = 12, i - 4*i - 4*g - 9 = u for i.
-3
Suppose 0 = -0*q - q - q. Let k = 1 + 6. Suppose 22 - k = 3*z. Solve -5*j - 20 = -q*j, 0 = z*y - j + 16 for y.
-4
Let r be -10*((-50)/(-4))/(-25). Suppose 0 = -2*m - 2*l + 4, 0 = m + 3*l + l + 10. Solve 2*b = m*b - y + 16, 3*y + 20 = -r*b for b.
-4
Let y be (-6)/(-1)*(-3)/(-9). Solve 3 = -3*r - y*c, -3*r - 24 = -0*c - 5*c for r.
-3
Suppose -30 = -34*w + 28*w. Let r be (1 - 6)*4/w - -4. Solve r = 2*p, -5*q + 2*p + 7 = 2 for q.
1
Let r = -288 + 290. Solve -4*t + 3*x = -13, 3*t - 8 - r = 2*x for t.
4
Let u be 120/35 - (50/35 - 2). Solve 3*b = 5*b + u*j - 2, 40 = -5*b + 5*j for b.
-5
Suppose 0*a - 7 = h + a, 25 = -5*a. Let i = 3 - h. Suppose i*s - 2*s = 30. Solve 3*u = -l + 16 - 7, -u + 2*l + s = 0 for u.
4
Let n = -2059 + 2063. Solve -1 = h - 2*h, 8 = 4*k - n*h for k.
3
Suppose -9*q + 10 = -4*q. Let r be q - 4 - (3 - 25). Solve -5*o + 2*n - 26 = 0, 4*n - r = 3*o - o for o.
-4
Let k be 4 + 35/(-1 + 2). Let w = k + -22. Suppose 2*i - 5*s = -w, -5*i + i = s - 21. Solve -4*r + 2*g = -i, g = -5*r + 4*g + 6 for r.
0
Let w be 33/6 + 155/(-62). Solve 7*u - 3*u - 15 = 3*a, w*u = -3*a + 6 for u.
3
Let h(y) = 6*y**2 + 8 - y + 2*y - 5*y. Let j be h(5). Let a be (-4)/22 + j/33. Solve -a*d = 4*v - 5*d + 21, -2*v = -4*d + 14 for v.
-5
Suppose 0 = 4*i + 50 - 158. Let l be ((-15)/(-4))/(1/4). Solve -2*s + 4*n = 7 - i, -4*s + l = -3*n for s.
0
Suppose -3*q - 5*t + 9 = -4, -3*t - 12 = 0. Let w be 0/(q + -5) + 10*2. Solve -4*a - 5*f - 17 = 0, a - 5*f - 7 = w for a.
2
Suppose 4*w - 20 = 2*i, 4*w - 18 = w + 3*i. Let t be (-2)/15 - 1688/(-60). Let m be 105/t + ((-2)/8)/(-1). Solve -2*j + m = 3*z - z, w*z = -5*j + 6 for z.
4
Suppose -8 = -9*y + 7*y. Let p be 2/6 - (-448)/6. Suppose b + y*b = p. Solve 0*f = 3*f - 4*o - 12, 5*o + b = f for f.
0
Let y be 5 + 0 - 3*1. Suppose -2*g + 3*a = y, -3*g - 6*a = -a + 3. Let h be -1*(-4*5 - g). Solve 3*f - 4*k - h = 2*f, -4*k - 20 = 0 for f.
-1
Let n(r) = -r**3 - 10*r**2 - 4*r - 15. Let y be n(-10). Suppose 4*x - 9*x = -y. Let j be (1 + (-3 - -3))*x. Solve -4*l - j*z - 4 = 11, -3 = -4*l + z for l.
0
Let t be (1 + -10)/(-3) + 7 + -6. Let q be (10 - 1 - t)*(7 - 0). Solve 3*k = -3*c, -6*c + 2*k = -c + q for c.
-5
Let c = 247 - 246. Solve 0 = t - 3*z - c - 6, -5*t + 2*z - 17 = 0 for t.
-5
Suppose -r - 4 = -2*r. Solve k + 4 = -w + 3, 3*k = -r*w - 3 for k.
-1
Let a(u) = 0 - u - 11 + 3 + 10. Let r be a(-3). Solve n + z - r*z = 14, -3*n - z + 3 = 0 for n.
2
Suppose 0 = 5*o + 1 - 21. Solve o*z + 0*m - 24 = 4*m, -3*z = 4*m - 11 for z.
5
Suppose 2*r - 42 = -0*r. Let n(q) = 6*q**3 - q**2 + q + 4. Let d be n(2). Suppose d - 85 = -7*w. Solve -b + m - r = 3*b, 5*m = -w*b + 5 for b.
-4
Suppose -5*h + 54 = -1. Suppose 4*m + 3 - h = 0. Solve -3*f = -q, 0 = 3*q - f - m*f for q.
0
Let u(g) = -5*g + 7. Let m be u(-4). Let j = m - 35. Let s be ((-3)/6)/(1/j). Solve -2*v + 4*i = 2, s*i + 0*i = -4*v - 16 for v.
-3
Let t(m) = -m**2 + 12*m + 16. Let x be t(13). Solve -x*v + 4*p - 4 = 2*v, -p + 1 = -4*v for v.
0
Suppose -3*k = -k + 26. Let g = 15 + k. Solve 3*l - 17 = g*w + 3*w, 4*w = -4*l - 20 for l.
-1
Let c be 3*6/((-6)/(-3)). Suppose 3*f - c = -0*f. Let o be (2/4 - 2)/((-27)/36). Solve -f*b + b + 5*h = 18, h - 2 = o*b for b.
1
Let b(o) = -o**3 + 7*o**2 - 17*o + 37. Let n be b(5). Suppose 4 = 2*r - 0*r. Solve -n*f + 2*j = -4*f, 5*f - r*j = 21 for f.
3
Let y be (11 - 52)/(-2 + 1). Suppose -y - 24 = -13*m. Suppose -5*d - 3*k = -12 + 2, 5*d - 10 = k. Solve 4*c - m*x - 8