v - i, 0 = -2*k - v for k.
1
Suppose 204 = 14*o + 36. Let c = 9 + -6. Suppose 2*f = -c*a + o, -a = 2*f + 4 - 12. Solve -4*k + 22 = 3*v, -6*k + 2*k = -a*v - 12 for v.
2
Let p be -6 - -19 - 5 - 6. Solve -2*k + 0 = 2*u + 8, -p*k = 5*u + 5 for k.
-5
Suppose -2*x = -z + 2*z - 282, -3*x + 2*z + 416 = 0. Let o = 144 - x. Solve 3*k - w - 8 = 0, o*k - 3*w = 5*k - 6 for k.
3
Suppose 3*g - 2*k - 12 = 0, 4*g + 5*k = 7*g - 3. Solve -n - q = 1, n - q = g - 1 for n.
2
Suppose 0*l = 2*l - 8. Let b(t) = -2*t**3 - 4*t**2 + 8*t + 10. Let m be b(-5). Let i = -116 + m. Solve n - l*a - 5 = a, -i*n = -3*a - 3 for n.
0
Suppose -5*c - 2*y - 10 = -4, -4*c + 5*y + 15 = 0. Solve -5*a - 2*q = -c*a + 18, -5*a = q + 19 for a.
-4
Suppose 2*x + 10 = 3*m, -5*m + 7*x = 2*x - 20. Solve 3*d + m*r = -0*r + 15, 2*d + r = 9 for d.
3
Let r(v) = 30*v. Let y(q) = -10*q. Let z(h) = 3*r(h) + 8*y(h). Let x be z(-1). Let b be x/((0 - -1)*-2). Solve b*g - 2*f - 13 = 0, g + 2*f = 9 - 4 for g.
3
Suppose -28*f + 142 = 2. Solve -3*d - 7 = -5*c + 8, -d + 2*c - f = 0 for d.
-5
Suppose 5*x - 32 = 4*r, -x + 2*r + 1 = 3*r. Suppose -5*b = x*o + 9 - 37, 3*b - 10 = o. Solve 4*d - 3 - 1 = o*f, 2*d - 5*f + 14 = 0 for d.
3
Let i(z) = 2*z**2 + 25*z + 65. Let r be i(-9). Suppose 3*a = -4*j + 24, j = -2*j - a + 13. Solve -j*b = 2*b - r*f - 16, -2*b + 2*f = -4 for b.
4
Let p(i) = -2*i**2 + 14*i + 8. Let o be p(6). Suppose -c = 2*c + 15. Let t = 7 + c. Solve 2*x + o = 7*x, z + t*x - 7 = 0 for z.
-1
Let b(u) = 4*u**2 - u - 1. Let y be b(-1). Solve -3*p - y*j = -25 + 5, -5*p = 5*j - 25 for p.
0
Suppose 0*a + 5*a = 85. Suppose 3*d = -2*f + 7*d + 28, 5*d = -4*f + a. Solve -f = -r - 4*c + 1, -3*c = 4*r + 3 for r.
-3
Suppose -a + 0*a - 6*a = 0. Suppose a = p + q - 0 - 1, 5*q = 4*p - 13. Solve -d - 4 = -p*l + 3, 4*l = 3*d + 19 for l.
1
Let c(g) = 0*g - 5*g - 3 - 2*g + g**2. Let b be c(8). Suppose d - 28 = -5*h, d - 2*h = -2 - b. Solve 0 = 3*q - 3*t, -4*q + 2*q + 10 = d*t for q.
2
Let r be (-11)/(-7) + 0 + (-4)/7. Solve -5*v = -4*q - r, -5*q + 3*q + 4 = 2*v for q.
1
Suppose 3*m - l - 8 = -0*m, 2*l - 4 = m. Solve m*k + 0*a + 17 = a, 3 = 3*a for k.
-4
Let v be ((-11 - -5) + -6)*(-3)/2. Solve -5*w = 4*f + 9, 2*w + 0*w - 2*f = -v for w.
-5
Suppose 5*j + 338 = -3*i - 429, -2*i = -5*j - 772. Let x be (-28)/j + (-108)/(-11). Solve 3*h - a = h + 5, h - 3*a + x = 0 for h.
5
Let h(m) = -26*m - 24. Let r be h(-1). Solve -2*i = -3*l + 6, l - r*l = -3*i - 9 for l.
0
Let v = -23 - -46. Let p(b) = -b**2 + 41*b - 241. Let q be p(33). Let l = q - v. Solve -3*w - 6 = -2*z - 7*w, l = -3*z - w + 9 for z.
3
Let v(a) = -a**3 - 5*a**2 - 2*a - 4. Let b be v(-5). Let y = -89 + 90. Solve 5*n - 18 = 4*z - b*z, y = -z for n.
4
Let j = 2181 + -2177. Solve -u - x + j = 0, 20 = 5*u + x - 0*x for u.
4
Let y = -43 + 45. Let c = -16 + 16. Solve -5*a = -4*z - 4, y*z + 2 = -a - c for a.
0
Let c = -248 - -251. Solve -24 = -c*r - 3*f, 8 = 2*r - 3*r + 3*f for r.
4
Suppose -257*u = -248*u - 36. Solve -5*t = a + 13, 22 = -5*t - u*a - 0*a for t.
-2
Let j be ((-44)/(-24))/(-11) - 49/(-6). Suppose 0 = 11*r - j*r - 36. Solve -4*o = -2*d - 16, -d - 5*o = -r - 8 for d.
0
Suppose -4*k - 64 = 9*y - 13*y, 0 = 4*y - k - 58. Let z = -9 - -4. Let q = z + 8. Solve q*a - y = 4*g, 5*a = -4*g - 22 - 8 for g.
-5
Let r be (-2 - (3 + -4)*1)*-2. Suppose -5*x + r*x - 2*n + 13 = 0, -x + 10 = -5*n. Solve 5*i + x*t = 5, 5 = -3*i - 0*i + t for i.
-1
Let k(m) = -m**3 - 5*m**2 + 12*m - 7. Let g be k(-7). Suppose 2*o = -x + g + 8, -39 = -5*o - x. Solve 5*r = -v - 22, 2*r = 2*v + 3*r + o for v.
-2
Let z = 308 + -294. Solve 2*x - z = -3*u + 7*u, -u = x - 1 for x.
3
Let n be ((-16)/(-6))/((-78)/(-234)). Solve 3*g - 26 = -5*i, -4*i + n = -3*g - 2 for i.
4
Let n = 213 - 193. Solve -4*o + n = -3*t, 9 - 34 = -2*t - 5*o for t.
0
Let t = 468 + -431. Solve -6 = -5*a - 3*w - t, w = -4*a - 22 for a.
-5
Let a be ((-1)/5)/(26/(-130)). Let v be a/8 - (23/(-8) + -1). Solve 0 = 4*y + v*k + 28, 0*y - y = -k - 3 for y.
-2
Suppose -3*f + 4 = -5*g + 13, 3*g - 9 = 0. Let m = -5 - -9. Suppose -2 = m*d - 6*d. Solve -4*t + t = f*r - d, -5*t - r = -4 for t.
1
Suppose 5*n + 22 + 3 = 0, 0 = 4*r + 3*n + 159. Let f = r + 38. Let c be 4 - 1 - (0 + 0). Solve 4*i - 9 = -5*w, -c*i - 3 + 4 = -f*w for i.
1
Let o be (64/12 + -3)*3. Suppose 2*v - o*v = -60. Solve 3 = u + 3*b, -2*u - 5*b = -6*u + v for u.
3
Let q(m) = -m**3 + 16*m**2 + 10. Let b be q(16). Let p be (b/7)/((-4)/(-112)*4). Let s be (-10)/8*(-6 + 2). Solve -s*i - g + 7 = 0, 0 = 5*g + p + 5 for i.
2
Suppose 2*x - 92 = -92. Solve 3*n = -x*n + 12, 0 = b - 3*n + 11 for b.
1
Let w be (-2)/(-3) + (-77)/(-33). Suppose -24 = -3*l - w*l. Suppose -22 = -l*s + 58. Solve -s = -d + 6*d + 5*a, -2*a - 8 = 5*d for d.
0
Suppose 5*b = -115 - 0. Let l = b - -28. Solve l*d = 2*x, 0*d + 2*x - 8 = d for d.
2
Let b = -60 + 62. Suppose b*h - 55 = -9*h. Solve -4*i - w = 20, -i = -0*i - h*w + 5 for i.
-5
Suppose 5*z = -2*z + 294. Let r = z - 39. Let x = -2 - -4. Solve 0 = 3*n + t - 2, n = 4*t + x + r for n.
1
Let k(y) = -4*y**2 - 3*y + 1. Let h(q) = -q**2 - q. Let j(x) = -5*h(x) + k(x). Let f be j(-5). Solve -w + 3*w = -5*a + 24, 5*a = 2*w + f for w.
2
Suppose 7*j = 2*j - 125. Let u = 34 + j. Solve -2*a + 3*l = 13, -a - u = a + l for a.
-5
Let o be ((-2)/(-3))/((-4)/24*-2). Suppose 5*q - 29 = -l, l - q + o - 1 = 0. Solve -l*x + 0*x = 5*w + 25, 0 = 3*x - 4*w - 20 for x.
0
Suppose 0 = 2*w - 2*g - 4, 4*w + 3*g - 18 = 3*w. Suppose -k + w = k, -5*r + 21 = 2*k. Solve -5*t - 20 = i, 2*i = r*t + 5*i + 24 for t.
-3
Suppose 141 = -74*i + 289. Let s = -4 - -6. Solve -4*m - 4 = 3*q + i, 4*q - s = -2*m for m.
-3
Let u be (-25 - -19)*(-17)/6. Solve -4*d = -y + u - 8, 0 = -3*d - 6 for y.
1
Suppose 4*m + 9 = -31. Let j = -24 + 39. Let w = m + j. Solve z = -3*a - 20, 3 + 2 = 4*z - w*a for z.
-5
Let s(w) = -w**3 - 7*w**2 - 2*w + 4. Let l be (-19)/38 + 13/(-2). Let i be s(l). Solve -3*f = -3*u + i, -18 = -5*u - 4*f + 3 for u.
5
Let n = 37 - 37. Suppose 4*a - 16 + 4 = n. Solve 2*o + 3*z + a + 13 = 0, 5 = o - 5*z for o.
-5
Let b(c) = 6*c + 32. Let f be b(-9). Let j = 25 + f. Let y(a) = a**2 - 4*a - 5. Let h be y(5). Solve -2*l - 2 = -2*q, h = -j*q - q + l + 1 for q.
0
Let v be (-60)/(-28) + 36/42. Solve -o = -3*t, v*o - 3*t = -0*o for o.
0
Let s(z) = -8*z - 4. Let r(n) = n**2 - 4*n - 15. Let c be r(6). Let p be s(c). Solve 4*v + p = 3*d, 3*v = -0*d + 3*d - 18 for d.
4
Let z(s) = s**3 - s**2 - 4*s + 4. Let b be z(-2). Solve -2*q + 19 = -5*a, 2*a - q - 2*q + 12 = b for a.
-3
Let b be (2*7)/(2 + 6/(-4)). Suppose -8*q = 4 - b. Solve -q*m + 12 = 3*a - 4*m, 0 = 4*m for a.
4
Suppose 0 = 6*o - o - 10. Suppose 0*u + 24 = 4*y - 4*u, -3 = -3*y - o*u. Let l be 0/((-1)/(6/(-12))). Solve 1 = k - l, y*i - 7 = 5*k for i.
4
Suppose -58 = c - 63. Solve -4*l + c*s = -14, 5*l - 4*s - 7 = 6 for l.
1
Let p = 1265 + -1248. Solve 12*t - 5*k + p = 15*t, 5*k - 15 = -5*t for t.
-1
Let s(f) = 2*f**2 - 17*f - 5. Let b be s(9). Solve -4*n = 3*w - 5, -5*w + w - b*n = 0 for w.
-5
Let r be 2 - 64/40 - (-38)/5. Solve -m - 3*j = -4, -5*m - j + r = -3*m for m.
4
Suppose 0 = -3*l - 0*p + 4*p + 23, -3*l + 17 = -p. Suppose 0 = 5*n - 3*u - 8, 0 = -3*n + 4*u - 4. Solve 3*m + 0 = l*d - 20, n*d + m + 1 = 0 for d.
1
Suppose 5*p + 13 = 3. Let d be p - (-16 - -4)/2. Solve -d*r - i + 0*i = -5, -i - 13 = -5*r for r.
2
Let f be (-3)/2*(0 - (4 + 0)). Suppose 5*o + 3*p = f, o + 5*p = -4*o. Solve -o = 3*q - n - 0*n, -5*n = -q + 13 for q.
-2
Let w be 5/((-10)/(-4)) + 47. Suppose -w + 9 = -5*x + 5*j, -3*x = -j - 22. Let r = -40 - -43. Solve 4*l - 3*l - 3*z + x = 0, -4*z + 5 = r*l for l.
-1
Suppose 138*a = 139*a. Solve g - 3*x + 2 = 7, -5*g - 3*x - 11 = a for g.
-1
Suppose -2*p - 2*z = -4, -5*p + 56 - 16 = -5*z. Suppose i = -3 + p. Solve -2 + 11 = -n + 4*a, 4*n = -i*a + 18 for n.
3
Let y(a) = a**3 - a**2 - 3*a + 4. Suppose -f - 2*f + 6 = 0. Let i be y(f). Solve v + i = -v, 3*p - 4*v - 7 = 0 for p.
1
Let z(m) = m - 3. Let q be z(8). Suppose -q*o + 27 = 7. Solve 2 = -s + o*j - 15, 0 = 5*s - 5*j + 40 for s.
-5
Let v be (-92)/(-18) - -4*7/(-252). Solve -4*q + 23 = -q - v*w, -5*w = 2*q + 18 for q.
1
Let n be (-12)/(-48) + (-71)/(-4). Suppose 0 = -17*z + n*z - 2. Solve 0 = -z*r - 5*w + w + 20, -3*r + 3*w = -3 for r.
4
Let u = 5 - -7. Let r be (-8)/(-2) - u/3. Su