6 - 4 = 0 for k.
2
Suppose j + v = 6, -16 = -2*j - 0*v - v. Suppose -3*h = -20 - j. Solve 5*f - s = h, 10 = 5*f + 4*s - 0*s for f.
2
Let i be 20/(-15)*(-15)/10. Solve i*u + 22 = -3*l, 8*u - 12*u = 20 for l.
-4
Let u = 2 - -7. Suppose u*s - 4*s = 20. Solve -10 = 3*d + 2*t, -5*d - t - 25 = s*t for d.
0
Let f(n) = -n**3 + 21*n**2 - 22*n + 40. Let h be f(20). Suppose 0*q - 14 = -2*g + 2*q, h = -4*g - 2*q + 4. Solve 0 = -2*x + r + 5, -g*x - 4*r = -1 - 1 for x.
2
Let n be (-1)/2*0/(-15). Let l = 2 + 1. Solve -l*u - 5*d - 11 = 0, n*d - 8 = 2*d for u.
3
Let x(s) = 3*s**2 + 5*s - 8. Let m be x(2). Let j(i) = -i**2 - i + 2. Let t be j(-2). Suppose 4*b + t = 12. Solve 3 + m = b*u + 4*q, -2*u - 12 = -2*q for u.
-1
Suppose w - 2*w + 4 = 0. Let y be 0*1/(-4) + 4. Suppose 0 = -4*a - 5*d - 0*d + 61, -y*d - 25 = -5*a. Solve b - w*b - 35 = -5*n, -n + b = -a for n.
4
Let c(a) = -a**3 + 2*a**2 - 2*a + 2. Let b be c(0). Solve 3*u = 3*m + 3, -5*u + m = -b*m - 5 for u.
1
Let v = 2 - -2. Suppose -3*d + 10 - 1 = 0, 0 = v*o - d - 5. Suppose -o*n + n - 12 = -4*r, -2*n = -5*r + 18. Solve 4*w = 4*h + h - 20, 16 = 4*h - r*w for h.
4
Let f = -230 + 232. Solve 4*m + 8 = -0*p - f*p, 0 = 4*m - 4*p + 8 for m.
-2
Let c = -32 + 34. Let y be (c/(-9))/((-4)/36). Solve 8 = 4*k - q, 5*k - 2*k - 11 = y*q for k.
1
Let k be 0/((-9)/(-5) + 104/(-130)). Solve -2*f + k*f + 4*v - 22 = 0, v - 5 = 0 for f.
-1
Let x = -29 + 31. Let y = -2 + x. Solve 5*o + 11 = -i - 0, o + 2 = y for i.
-1
Let b = 24 - 27. Let p(g) = -g. Let l be p(b). Solve 3*a = -l*q, 3*a + 32 + 8 = 5*q for a.
-5
Let u(o) = -o + 46. Let x be u(44). Solve w = -x*s + 1, -3*s + 3*w = 2*w - 9 for s.
2
Let u(j) = -2*j - 27. Let q be u(-14). Let r be 0/q + (3 - -3). Solve 2*c = r, p - 5*c = -10 - 2 for p.
3
Suppose -11 = 3*p + 19. Let u = -7 - p. Solve u*r = 5*h - h - 6, -23 = -5*h - 4*r for h.
3
Suppose -15 = -0*g - 3*g. Suppose 7 = g*o - 8. Solve 2*l - 2*m - 3 = 3, 0 = -o*m - 3 for l.
2
Suppose 0 = -f - 2*y + 10 + 3, -4*y = 4*f - 32. Solve -5*t + 0*m + 4 = m, -f*t + 2*m = 8 for t.
0
Suppose -30 = -25*q + 20*q. Solve 0 = -2*c - 3*i + 6, 3*c - q = -9*i + 6*i for c.
0
Let a(d) = -d**3 + 8*d**2 - 21*d + 25. Let f be a(4). Let p = -6 - -13. Solve f*q = -5*x + 10, 2*x - p = -3*q - 2*x for q.
1
Let x(s) = -2*s + s - 67 + 72. Suppose 2*d = -3*q + 19, -q + 1 = -2. Let u be x(d). Solve -l + 5*v + 14 = -u*v, 4*v + 17 = -5*l for l.
-1
Suppose 8*q - 40 + 16 = 0. Solve q*m - 4*r = 28, 4*m - 2*r - 4 = 5*m for m.
4
Let j be -3*(6 - (-20)/(-3)). Suppose s + 0 - 2 = 0. Suppose 5*p - o = 23, 4*p + 4 - 28 = -2*o. Solve -j*z - p*u + s = 0, -2*u - 3 = -3*z + u for z.
1
Suppose 13 - 38 = -5*f. Suppose -f*g + 27 = 2. Solve -g = 3*i - 2*i + 3*t, -4*i - 3*t + 7 = 0 for i.
4
Let h = -35 + 61. Suppose -4*i + 38 + h = 0. Solve 4*y + i = -2*w, -2*y - 13 = y + w for y.
-5
Suppose 0 = 3*w + 3. Let z be (-2)/((-1)/(-2) + w). Suppose 0 = 2*v - 2*s - 2, 1 = -z*v + 5*s + 4. Solve k - v*f + 20 = -3*k, -5*f + 15 = -3*k for k.
-5
Let s = 5 - 3. Let m = 47 - 28. Let u = m - 4. Solve -2*j + 5*b = -u, s*j - 3*b = -0 + 5 for j.
-5
Let p be (1 - 3/(-1)) + (-5 - -3). Solve 4*b + 6 = 3*g, -5*b + p*g - 3 - 1 = 0 for b.
0
Let f be (-4 + -6)*9/(-6). Suppose 4*r = -r + f. Let a be (8/r)/((-2)/(-3)). Solve 3*q = -b - 17, -3*b = 2*q + 19 + a for b.
-5
Let i = 931 + -929. Solve i + 3 = -5*u, 5*v + 3*u + 23 = 0 for v.
-4
Let r = 46 + -34. Suppose -3*p = -w - 0*p + r, 3*p = -4*w - 12. Solve 7*z = -3*h + 5*z + 19, -h + 2*z + 1 = w for h.
5
Suppose -295*j - 60 = -307*j. Solve 0 = -3*a + 5*l - 10, 0*a + a + 20 = j*l for a.
5
Let y be (-5*(-1 + 2))/(9 + -10). Let v be y/20*4*4. Solve v*b - 2*n = 2, 2*b + b + 18 = -5*n for b.
-1
Let b be (-20)/18*(-30)/(-50)*-6. Solve 4*r + 12 = -z + 1, 0 = -b*z - 2*r + 12 for z.
5
Let v(z) = 6*z**2 - 6*z + 4. Let k be v(1). Solve 0 = -5*g + 4*n - 6, -k - 4 = 2*g + 4*n for g.
-2
Let f(m) = 5*m**2 + m. Let y be f(-1). Solve 0*a = -t - 2*a - y, -4 = 4*t - 4*a for t.
-2
Let v be -5 + 8/(-12)*3. Let i = -2 - v. Suppose c + 3*c + 17 = i*k, -2*c - 10 = -4*k. Solve 5*n + k = -p - 1, -2*p = -2*n + 4 for p.
-2
Suppose 6*z + 20 = 10*z. Solve 20 = z*b, 0*b = 4*q + 5*b - 24 for q.
1
Let c = -540 - -545. Solve -s + 30 = 4*s - 3*r, 2*s = -c*r - 19 for s.
3
Let h(j) = 51*j**3 + j**2 + 1. Let x be h(1). Suppose -5*p - x + 63 = 0. Solve p = -3*o - 2*o + 3*c, 2*o = -c - 3 for o.
-1
Let d = 445 + -445. Solve -5*g = d, 4*y + 2*g = 2*y - 8 for y.
-4
Suppose -15*f - 56 = -56. Suppose 180 = 5*q + 2*j, -q - j - 3*j = -54. Solve -5*o = -3*d - q, -o + f*o = 4*d + 7 for o.
5
Let p(g) = g**2 - 10*g + 12. Let h be p(9). Suppose 64 = -h*o - o. Let y = -12 - o. Solve r = -3*a + 2, -2*r = -a - 0*a - y for r.
2
Let y = 192 + -190. Solve -4*k + 0 - y = -3*i, 3*i + 12 = -3*k for i.
-2
Let z be ((-3 - 1)*2)/2. Let n be 1 + z + 15/5. Suppose 0*o + 3*l + 27 = 5*o, 4*o + 3*l = n. Solve -5*h - o*g = -g - 12, -2*h = 4*g - 8 for h.
2
Let v = 29 + -18. Suppose b - v = -f + 2*b, 4*b = 2*f - 16. Let i be 2/(-7) + 32/f. Solve 2*y + 5*x = 14, -i*x = -2*y + 4*y - 8 for y.
2
Suppose 0*b + 4*b - 48 = 0. Suppose 3*k - b = -k. Let l be (2 + -1)/(1 + 0). Solve -k*p - 2 = -q, 0*q + 5*p = 4*q - l for q.
-1
Suppose -m - r + 0*r + 2 = 0, 3*m - 4*r = -1. Let y be 3*1 + 1*(m - 4). Solve 5*w - 4*d + 4 = y, -d = -4*w + 2*d - 4 for w.
-4
Let b = -85 + 89. Solve -2*f - 22 = -b*w, -5*w + 20 = 5*f - 0*w for f.
-1
Suppose 0 = 5*a, -4*n - 3*a = -5 - 3. Solve 0 = -n*s + j - 6*j - 23, 0 = 5*s + 5*j + 20 for s.
1
Let g(x) = -x**2 - 10*x + 23. Let u(d) = -4*d**2 - 29*d + 70. Let l(v) = -7*g(v) + 2*u(v). Let w be l(9). Solve -4*b = m + b + 3, 2*m - b + w = 0 for m.
-3
Suppose 2*f = -f. Suppose 2*j + f*x = 4*x + 28, 2*x = 2. Let w = -13 + j. Solve 0 = -2*v - 4, 2*v - 7 = w*r + 7*v for r.
1
Suppose 0 = -3*t - 3*u + 75, -t - 2*t + 80 = 4*u. Suppose 2*m + 0*m = t. Suppose -m*y = -13*y + 12. Solve -3*v + y*c = -1, -3*c - 2 = -2*v - 0*c for v.
-5
Let b be 4 + 9 + -3 + -8. Solve -5*t - b*s - 10 = 2*s, -4*t + 13 = -s for t.
2
Let w(d) = d**2 - 9*d - 6. Let g be w(7). Let j(p) = p**3 + 20*p**2 + 13. Let c be j(g). Solve -2*y + v = 11, -y - v + 3*v = c for y.
-3
Let o = -26 + 26. Suppose -3*u + o = -9. Solve b - 4*f - 6 = 3*b, -u*b - 4*f = 11 for b.
-5
Suppose 410 = 4*v - 3*j, -v + 204 = v - 2*j. Let n = v - 9. Suppose k - 4*t = 46 + 4, 3*k - t = n. Solve 45 = 4*y + 5*m, 4*y = 5*y + 5*m - k for y.
5
Let n be (16/(-40))/((-3)/15). Solve -2*t - n - 3 = a, -2*a = -5*t - 17 for a.
1
Let t be -1*1 - (-18 + 9). Let f be t + 7/((-7)/4). Solve -1 = -3*w - 3*v - 19, f*v + 29 = -5*w for w.
-5
Let s = 1647 + -1645. Solve 7*l = -3*f + 4*l, 5*f + s*l = 15 for f.
5
Let t(w) = -w**3 + 14*w**2 - 14*w + 15. Let o(a) = a**2 - 2*a + 1. Let g be o(4). Let s = g - -4. Let v be t(s). Solve 2*i + 0 - 2 = 3*f, -f = -v for i.
4
Suppose 111*f - 110*f = 0. Suppose f = -u + 6*u. Solve u = -3*a - a + 2*t, t = 5*a + 3 for a.
-1
Suppose -5*s - 7 + 62 = 0. Let y(i) = i**3 + 2*i**2 + 2*i + 1. Let c be y(-1). Let n be (-6)/8*(-120)/45. Solve 2*l + 4*z - 5 = 3*z, c = n*l - 5*z - s for l.
3
Let u be 1/5 + (-72)/(-15). Let k = u + -13. Let v be (10/k)/((-2)/8). Solve -5*f + 5 = 0, -v*f - 2 = o - 5 for o.
-2
Let n = -6 + -3. Let a(m) = m**3 + 8*m**2 - 12*m - 19. Let d be a(n). Solve -4*i + d = 0, -5*r - 5*i = 3 - 18 for r.
1
Let j = 758 + -747. Solve -5*o + 44 - j = 2*t, 3*o = 2*t + 7 for o.
5
Let o(r) = -r + 26. Suppose 0 = -u - 6*u + 147. Let n be o(u). Solve 3*x - 4*z = -14, -n*z + 7 = -18 for x.
2
Let d(o) = -75*o + 380. Let z be d(5). Solve 3*p - z*r = -2, -14 = -p + 3*p + 3*r for p.
-4
Let o(n) = n**3 + 9*n**2 - 10*n + 11. Let d be 60/(36/(-6))*1. Let c be o(d). Solve 4*m + c - 3 = 5*b, 4*m = 3*b for m.
3
Suppose 0 = a - 2*b + 4, 15 = 3*a + b + 2*b. Suppose 4*k - 70 = -k. Solve -a*v - 2*i + 3*i = -10, -2*v = -3*i - k for v.
4
Let m(j) = 2*j**2 + 23*j - 24. Let d be m(-12). Let i be 3/d + ((-135)/12)/(-5). Solve 3*x = -3, 3*x - 15 = -5*s - i*x for s.
4
Let m(a) = a**2 + 7. Let y be m(0). Let h be (7 - y)/(-1 + 3). Suppose 3*k - 5*n - 13 = 0, h*n = 3*k - 2*n - 7. Solve k + 1 = -3*b - p, -5*b = -2*p + 7 for b.
-1
Let p(v) = v**3 - 10*v**2 - 13*v + 4. Let l be p(11). Let i be (22/(-3))/(l/(-81)). Let w = -8 - i. Solve -5*j + 0*t + w = -3*t, 4*j + 3*t = -7 for j.
2
Le