*l - 13 for v.
-1
Let v = 34 - 30. Solve 0 = g - 0*b - 2*b, -b = -v*g for g.
0
Let t(d) = d**2 - 6*d + 3. Let w be t(2). Let x = w + 11. Suppose 2*k + x = 5*k. Solve -f = -k*f + 3, -7 = g - 4*f for g.
5
Let q = -39 - -39. Solve -2*k - 1 = -k + z, q = k + 3*z - 7 for k.
-5
Suppose 5*u - u = -32. Let x = u - -16. Solve -5 - 3 = -5*t + 2*m, 0 = -2*m - x for t.
0
Suppose 2*f + f = 6. Suppose -4*n + d + 7 = 0, 3*n = 5*n - f*d - 2. Let h be 2 + (4 - n) - 0. Solve h*c - 2 = -0*c - 5*k, 8 = 4*c + 2*k for c.
3
Let v be (1 - (-2)/(-8))/(28/448). Solve -4*q - 2*i = -3*q - 8, -q = -3*i + v for q.
0
Suppose 30 = -4*k - 18. Let c be 9/((-27)/k) - 0. Let p = -15 + 22. Solve -c*a - p - 9 = -4*s, 3*s = a + 6 for s.
1
Suppose -4*v = -v. Let k(s) = -s. Let u be k(-4). Suppose 0 = 4*f - 4*w + 16, u*w - 12 = w. Solve v = -f*n + 5*n - p + 6, -2*p = -5*n - 7 for n.
-1
Suppose -11*t + 12 + 32 = 0. Solve 2*a + 2*a - t = 5*z, 5*a - 5*z = 0 for a.
-4
Let j = 1 - 5. Let f = j + 9. Solve -5*q + 25 = f*d - 0*q, 9 = d + 5*q for d.
4
Suppose 3*c + 24 = -c. Let d = c - -11. Solve -h - v + 6*v - 26 = 0, d*v - 20 = -5*h for h.
-1
Let y = -66 - -66. Solve 0*r + r - 1 = -h, -4*h + 20 = y for r.
-4
Suppose -o + 8 = o. Let t(u) = u**3 + 5*u**2 - u - 1. Let x be t(-4). Suppose -4*l = -1 - x. Solve -4*n = f - 3*n, 0 = -l*f + o*n - 9 for f.
-1
Suppose 2*u = 2*a - 0*a - 30, -5*u = 0. Suppose -2*f - 2*h + a = h, 9 = 3*h. Solve -5*v + 10 = 0, -f*o + 5*v = -o + 14 for o.
-2
Suppose 0*j - 3*j = 24. Let m = -5 - j. Let q be (-18)/(-24) + m/(-4). Solve -3*s + 1 = -l - q*l, -4*l = -s - 7 for l.
2
Suppose c - 27 = -6*g + g, 0 = -c - 2*g + 12. Suppose 0 = -c*y - 2*y + 4*i + 28, -5*y - 5*i - 5 = 0. Solve -v + 5*a + 34 = 2*v, v = y*a + 18 for v.
3
Let j(u) = u**3 - 5*u**2 - 4*u + 3. Let r be j(6). Let a = -13 + r. Solve 3*l = -4*s - 8, -2*l - 4*s = a*l + 8 for l.
0
Let u = 5 - 3. Let f(n) = 3*n + 2 - n**2 + u*n + 0. Let i be f(5). Solve 3*h + 7 = -2*w + i, -50 = -5*w + 5*h for w.
5
Suppose 0 = -2*i + 2*j + 16, 2*j + 3*j + 19 = 2*i. Solve 0 = 5*p + 25, -2*t + 3*t - 2*p - i = 0 for t.
-3
Suppose -s = -j + s + 10, 2*s = 5*j - 26. Let a = -205 + 289. Suppose 2*r + 2*r = a. Solve -3*y + 2*b = 7, -2*y - j*b = -y - r for y.
1
Suppose -3*i - 3*c - c = 5, -5 = -2*i - c. Suppose -s - 5*m = -17, -s - m = -0*m - 5. Solve -i*q - 19 = -s*y, -2*y - q = 2*y + 17 for y.
-3
Let b(p) = -p**2 + 12*p + 5. Suppose 0 = u - 4 - 2. Let y be b(u). Solve -4*v + y = 5*f, -5*f + 4*v = -0*v - 9 for f.
5
Let i be 1 + (3/(-1) - -2). Suppose -3*b + 43 + 14 = i. Solve 2*w = -3*p - 2*p - b, 0 = -3*w - 3*p - 15 for w.
-2
Let n = 5 + -2. Let z = -7 + 5. Let o be (-20)/(-4) - (0 - z). Solve -5*q - 5 = n*f, 2*q + 2 = -o*f - 0 for f.
0
Suppose -5*g = -5*j + 35, j - 2*j + 22 = -4*g. Let h be (-1 - j/(-4))*-6. Solve 7*l - 3*b - 14 = h*l, 4 = -2*l - 4*b for l.
2
Let w = -7 + 12. Suppose -z - 2*p + 3*p = -1, 2*z + 5*p + 5 = 0. Let t = 4 - z. Solve r + t*k - 4 = -20, w*r + 5*k = -35 for r.
-4
Let s(b) = b**3 + 7*b**2 + 3*b - 6. Let f be s(-6). Suppose h - 2*x + 18 = 3*x, 2*h = 4*x - f. Let m = 4 - h. Solve w + 4*q - m = 11, 0 = 5*w + 3*q + 3 for w.
-3
Let x be ((-1)/2)/(3/(-6)). Suppose -3*w = -4*d + 2, -2*w + x = 2*d - 7. Solve d*l + 1 = -q, 2*l + l = -4*q - 9 for q.
-3
Let p = 16 - 9. Solve 0 = -4*j + 5*m - 2, 0*m = -5*j + 4*m - p for j.
-3
Suppose 0 = -z - z. Suppose z = 4*i - 4. Let g be (-3 - i)/(-1 + -1). Solve 0 = g*l + w - 1, 0*l + 4*w - 22 = l for l.
-2
Let h be (2/(-5))/((-2)/(-10)). Suppose 0 = -2*l - 5*c + 29, -1 = -3*l - 4*c + 5*c. Let a = l + h. Solve a = 5*j, -5*j - 1 = g + 1 for g.
-2
Let x = -137 - -140. Solve v - x = 0, 4*v - 3*v - 3 = 2*b for b.
0
Let o = -4 + 8. Suppose -15 = -5*d - 4*z, -5 = -3*d - 4*z + o. Solve -x - 3*j = -6*x - 40, 5 = d*x + 4*j for x.
-5
Let t be (-1 + 3)*-1*-2. Let s(d) = 2 + t + 2 - 4*d. Let o be s(-8). Solve -3*x + 8*x - 5*q + o = 0, -3*x + 2*q - 20 = 0 for x.
-4
Suppose 0 = 3*s - 9, 3*l + 4*s = 7*l - 4. Solve 3*h + l*f + 12 = 0, -f = -h - 6*f - 15 for h.
0
Let w(r) = r + 9. Let k be w(6). Solve -3*d + k = -4*h, 0 = -d + h + 2*h + 10 for d.
1
Let p(q) = -19*q**2 - 3*q - 2. Let u be p(-1). Let h = u - -21. Solve -h*g - 29 = 5*r + 1, 5*r = -4*g - 35 for g.
-5
Suppose 0 = 2*d - 5*p, -2*d = -0*d + 4*p - 18. Solve -t - 4 = -2*q + 3*t, d*t = -3*q - 27 for q.
-4
Let r be (1*0/((-3)/(-1)))/(-1). Solve m + 0*c - 7 = -2*c, r = -5*m + 3*c - 30 for m.
-3
Let n(k) = k + 2. Let o be n(0). Suppose -5*p - 4*g + 36 = 0, 3*p = 3*g + 2*g - 8. Let w = o + p. Solve q - w*q + 10 = -3*z, 0 = z + 5*q - 10 for z.
0
Let a be (-33)/(6/(-2)) + 3. Let i be a - 2 - 16/8. Solve -5*m = i, 0*m = 2*g + m + 10 for g.
-4
Let a be -4 + (-2)/(-1) + 5. Solve -a*o - 3*u = 6, 2*o - 3*u + 13 = 4 for o.
-3
Let c be 1 - 2 - (-10)/(30/9). Solve -3*o = 3*w, c*o + 8*w - 4 = 4*w for o.
-2
Let q(o) = o**3 - 12*o**2 + o + 9. Let u be q(12). Solve 4*b = -5*s + u, 0*b + 3*b = -3 for s.
5
Suppose -b + 5*l - 6*l = 0, 5*l + 30 = 5*b. Solve -3*y + f = -1, 0*y = -y - b*f + 7 for y.
1
Suppose 3*r = -x, 4*r + r = -5*x + 10. Solve -2*h - 16 = 2*d - 7*d, -4*h = -x*d + 4 for d.
4
Suppose 6*u + 34 = 4*u. Let d = u + 6. Let o = d - -23. Solve -5*y + y + 22 = 2*k, 4*y = o for k.
5
Let v(l) = -l - 1. Let g be v(-6). Let x = -7 - -6. Let b be x - (-1)/(3/3). Solve b = 3*r - g*y + 27, -5*r - y = 7 + 10 for r.
-4
Suppose -13 = 3*v - 5*a, 5*v + 3*a = v + 31. Let n = 32 - 23. Suppose n = 5*j - 1. Solve 0 = -k + h - 4, -h + v = k + j*h for k.
-2
Let f = -20 + 33. Suppose -7*w + 6*w - 4*d = -2, 4*d = -2*w + 4. Solve f = w*n - k, -2*n = k + k - 4 for n.
5
Suppose -5*m + 16 = -z + 3*z, 2*m = -4*z. Solve -i - 4*i + s = 17, 0 = -2*i - m*s + 2 for i.
-3
Suppose -13 = -4*t + 3. Suppose -12 = -t*w - 3*l, -l - 1 = 4*w - 5. Solve 3*y + 4*j + j + 5 = w, -j = 3*y + 1 for y.
0
Let a(i) = 11*i - 3. Let x(y) = -5*y + 1. Let l(w) = 4*a(w) + 9*x(w). Let z be l(-8). Let u be 2*(-2)/8*-6. Solve 4 = z*o - t + 4*t, u*o - 12 = -5*t for o.
-1
Suppose 0 = i + i. Let o = i - -3. Solve 4*r = 3*z - 16, o*r - 2*z + 0*z = -11 for r.
-1
Let h(d) = -d**3 + d**2. Let i be h(1). Suppose -3 = -y - i. Suppose -26 + 5 = -3*k + y*r, 3*k + 4*r = -14. Solve 1 = 4*s + p, 5*s = k*s - 2*p + 7 for s.
-1
Suppose 3*x - 6*x = -60. Solve k - x = -3*k + g, -2*k + 10 = -3*g for k.
5
Let o(y) = y + 4. Let j be o(-2). Suppose -g - j = 3*m - 6, 5 = -g. Solve 2*p - 5*b - 10 = 0, -m*b - 1 = -2*p + 1 for p.
-5
Let s be (-6)/(-9) + 25/3. Suppose -s*z = -5*z. Let d be 1 + (-2 - (1 + -2)). Solve l + 2*g = z, g + 14 = 3*l - d for l.
4
Let c(v) = -v**3 + 2*v**2 + 4*v + 1. Let o be c(3). Solve 3*d + d + 5*m + 33 = 0, -o*m = -2*d + 16 for d.
-2
Let q = -42 + 45. Suppose -y - 2 = 2*d - 6*y, 0 = -3*d + y + 10. Solve -2*u = q*b - 10, -d*b + 0*b = 0 for u.
5
Suppose 3*b - 2*a = 10, 21 = -0*b + 5*b + a. Let t = -2 + b. Solve -3*n + 5 = -v - 3*v, 1 = -t*v + n for v.
1
Let c be 1 + 15/(-1 - 2). Let s = 7 + c. Let l(z) = -z**2 + 9*z - 4. Let r be l(8). Solve 0*v - v = -s*o - r, -12 = -5*o - 3*v for o.
0
Let y be (-45)/(-9) - 1*3. Suppose y*f + 0*f - 2 = 0, 5*f - 11 = -2*l. Solve l*t = 6, -3*v = 2*v + 5*t - 5 for v.
-1
Let u be 0*((-2)/4 - -1). Suppose 2*l - 5*p + 9 = u, 5*l - 18 = p - 2*p. Suppose 3*n + 2 - 23 = 0. Solve -f = -2*s, -l*s + 4*f + n = 2 for s.
-1
Suppose 0 = s - 34 + 34. Solve -r + 0*x = 3*x + 11, s = -r - 2*x - 7 for r.
1
Suppose -5 = -2*w + 3. Solve 2*r = w*l - 3 - 3, -5*r - 15 = 3*l for r.
-3
Let n(p) = -p**3 + 3*p**2 + 4*p + 4. Let s be n(4). Solve -5*v = 3*j, -s*j + 25 = -4*v - 7 for v.
-3
Let w(d) = d**2 - d - 2. Let c be w(2). Let j = 5 - c. Solve n = -5*f - 16, -3*n + 24 = -2*n - j*f for n.
4
Suppose -68 = -4*l - 2*c, 0 = -0*l + 2*l + 4*c - 34. Let k = 5 - 0. Suppose -v = 4 - 10. Solve -2*x = 6, -k*m + l = -x - v for m.
4
Suppose 0 = 2*v - 4 - 2. Suppose v*k = -2*k. Suppose 4*i + l - 11 = 0, -i + k*i - 5*l + 17 = 0. Solve i*b + 4*q = 8, 4*b + q = 5*b - 4 for b.
4
Let x(k) = -k + 14. Let y be x(10). Suppose 5*o + y = 24. Let g = 6 + 4. Solve -2*a - 21 = -7*a - o*u, 2*a - g = -2*u for a.
1
Let u be -3 - (5 + (3 - 13)). Let y(m) = 4*m**3 - 2*m - 1. Let q be y(2). Solve 0 = -2*j - 5*c - q, -u*j + 3 + 10 = -3*c for j.
-1
Let q = 74 + -69. Solve q*t = 2*x + 3*t + 6, 4*x - 3*t = -9 for x.
0
Let l be 0*2/(-2) + -1. L