or k.
-1
Suppose -2*w + 78 = -0*r + 4*r, -27 = -r + w. Suppose -r*v + 16 = -18*v. Solve -v*h - 4*k = -4, 4*h + 9 = 2*k - 5 for h.
-2
Suppose 0 = 7*g - 0 - 63. Suppose -g*s = -1 + 1. Let l = 49 + -29. Solve 2*h = h - 2*j - 6, s = -5*j - l for h.
2
Let p = 1 - 1. Suppose -4*u + 33 = 17. Suppose -u*k + 2 + 10 = p. Solve -3*w - 3*b + k = 0, -3*b - 7 = -3*w + 2 for w.
2
Let b(x) = -x**3 - x**2 + x + 16. Let n be b(0). Suppose -h = 4*h - 5*a - 40, -3*h - 4 = 4*a. Solve 5*r - 2*r = -2*p + h, n = 4*r for p.
-4
Suppose 336*u - 361*u = -100. Solve 4*r = -3*k + 6, -3*r = u*k + 1 - 9 for r.
0
Let y(v) = 3*v**2 - 36*v + 2. Let h be y(12). Solve 0 = 4*m - p + 4*p - 5, -3*m - h*p + 4 = 0 for m.
2
Let d = 316 + -312. Solve 0 = d*h - 5*f - 9, 0 = 3*h - 2*f + 3*f - 2 for h.
1
Suppose -3*k - 185 = -4*g, g + 0*g = -3*k - 160. Let z = k - -59. Let f be ((-6)/4)/((-9)/24). Solve 0 = 5*d - c + 11 + 19, 0 = -f*d - z*c for d.
-5
Suppose -5*l + 26 = -3*x, 0 = 2*l - 10*x + 14*x. Solve -5*r + 3 = l*d - 2, -5*r - 25 = -2*d for d.
5
Suppose -5*r + 20 = 5*m, -4*r + 0*r = -4*m + 8. Let h(n) = 2*n**3 - 5*n**2 - 3*n + 4. Let b be h(m). Solve -3*s - b = 2*c - c, 5*c = -s - 20 for s.
0
Suppose -11*t + 5*t = 48. Let l = -7 - t. Solve 3*r + 5*u - l = 21, 4*r = -4*u + 24 for r.
4
Suppose 20 = 8*p - 12. Suppose 9 = p*w - 15. Solve h + 4*h - 25 = 0, -4*t = -2*h - w for t.
4
Let t be (-2)/6*(1 + -16). Suppose 0 = -4*u + 13 + 3. Solve 2*c + u = -t*m - 7, -3*c = 4*m + 13 for c.
-3
Let q be (2/8)/(4 - 141/36). Solve -3*y = 4*j + q, -2*j = -2*y - y - 3 for j.
0
Let s = 145 - 142. Suppose -s*i = -5*w - 6, -2*i - 2*w = -5*i + 15. Solve -c - y = -0*c + i, -4*c = -5*y - 17 for c.
-2
Suppose -25*r = 31*r - 168. Solve 20 = -5*p + 5*x, r*p - 4*x = -2*p - 19 for p.
-3
Suppose 0 = 5*c + f + 6, c - 14 + 10 = 5*f. Let t(r) = -4*r**3 - 2*r**2 - r. Let w be t(c). Solve 3*b = 4*i - w, 2*i + 1 = -0*b + b for b.
-5
Suppose 26 - 2 = -2*u. Let v be u/66 + 24/11. Solve -v*c - 4 = 0, -a + 9 = -5*c + c for a.
1
Suppose 0 = -13*h + 17*h - 140. Let w be 3 - (3 + -1)/((-10)/h). Solve 4*j - w = -5*r, -2*r - 19 = -7*j + 4*j for j.
5
Suppose 3*q - 15*h - 7 = -14*h, 2*q + 2*h - 10 = 0. Solve -q*w + 10 = -5*o, -2*w = 2*o + 4 - 0 for w.
0
Let w be ((0 - -1)/3)/(12/72). Suppose 0*f + 5*f = p + 12, -w*p - 8 = -2*f. Solve f*z + 11 = 4*x + 5, 4*x = 5*z - 9 for z.
5
Let z(s) = -s - 3. Let f be (12/10)/(1*1/(-5)). Let g be z(f). Solve -1 = -v - 3*h, -g*h + 9 = 5*v + 28 for v.
-5
Suppose 36*s = 34*s + 4. Solve -s*f = 2*g + 12, -f + 14 = -6*f - g for f.
-2
Let i(r) = -r + 21. Let n be i(14). Suppose n = 6*x - 11. Suppose -2*g = -4*j + 8, -x*g - g - 10 = -5*j. Solve 0 = b - c - j, 0*b - 4*c + 16 = 2*b for b.
4
Suppose -2*y + 56 = 3*y - 2*z, -54 = -5*y + 3*z. Let r = y - 12. Suppose 3*v - v = r. Solve 3 - 1 = -2*j + 5*c, 3*j + c - 14 = v for j.
4
Let r be 126/(-18) + (-3 - -12). Solve r*y = -5*k + 5*y + 12, 0 = 3*k + 5*y + 20 for k.
0
Let j = -3 - -9. Suppose o - j*o + 10 = 0. Solve -4*t - 9 - 9 = -o*l, 0 = -4*t + 3*l - 19 for t.
-4
Let n = -547 - -552. Solve -5*l + 9 = -0*l - f, -l = 3*f - n for l.
2
Suppose 3*k - 36 = 4*d, 2 = -10*d + 13*d + 5*k. Let g(z) = z**2 + 3*z - 16. Let p be g(d). Solve 6*a - a = 4*o - 5, -p*a - 2*o + 16 = 0 for a.
3
Suppose 18*d = 19*d + 119. Let z = d - -119. Solve 3*b = 5*j + 3, -3*b + 2*j + z = 6 for b.
-4
Let d(i) = i**2 - 7*i + 1. Let g be d(7). Let s be g - (-3 + 0/1). Solve -5*y + 7 = -s*x - 29, -28 = 5*x - 2*y for x.
-4
Suppose -15*l + 879 = 849. Solve -3*o + 11 = -4*v, 6*o - l*o + 32 = -4*v for o.
-3
Let z be (-114)/(-5)*30/(-9). Let k = z + 80. Solve x = 3*w - 5, -4*x = k*w + 10 + 10 for w.
0
Let x = -32 - -32. Let p be (3 + -2)/(5/15). Let f be (5/(-4))/(p/(-36)). Solve x = 5*k + 5*i - 20 - f, 4*k + 7 = 3*i for k.
2
Let l be (-2 + -21 + 2)*-1. Suppose 2*y + l = 5*t + 2, 3*t + 5*y + 1 = 0. Suppose -12 = -711*v + 708*v. Solve -t*k - 12 = 0, -v*z + 2*z + 5*k = -16 for z.
-2
Let f = -285 - -291. Solve -5*x - f = k, -6 + 0 = 2*k + 4*x for k.
-1
Suppose 0 = -5*b - 15, 83*n - 11 = 82*n + 3*b. Solve -j - 2*p - 8 = 0, n*j + 5*p + 20 = -j for j.
0
Suppose 4*i = 50 - 38. Suppose 2*m + 2*m - 48 = 0. Suppose -3*d + m = d. Solve -i*j = d*q + 15, -q + 15 = -5*q + j for q.
-4
Let t be (-249)/(-2) + -1 + 12/8. Suppose 23*c = 18*c + t. Solve 5*k + 0*k = -2*s - c, 0 = -k + s + 2 for k.
-3
Suppose -90 = -3*c + 33. Let k = -101 + 72. Let d = k + c. Solve 0 = -5*x + 2*r - 9, -d = 5*x - 3*r + 2*r for x.
-3
Let q = 245 - 239. Solve 0 = -3*i - 3*j + 18, 7*i - q*i - 10 = -5*j for i.
5
Let y(z) = 5*z + 10. Let a be y(-3). Suppose 5*w + 3 = -2. Let c be (2 + -1)/(w/a). Solve 7*h - 4*r = 2*h - 12, c*h - 2*r = -16 for h.
-4
Suppose 0 = -4*u + 3*a + 119 - 103, -3*a + 8 = 2*u. Solve 0 = u*r - k - 6, -r + 10 = -14*k + 18*k for r.
2
Suppose 2*a = 10*a + 48. Let i be -2 - 0 - (a - -2). Solve -3*t + 3*m - 3 = -6, 0 = 4*t - m + i for t.
-1
Suppose 4*n - 56 = -0*n. Suppose 2*t - 4*g + 2*g = 60, 3*t + 2*g = 85. Let j = t - n. Solve -5*s = f - 21, -3*s + j = -f + s for f.
1
Let y = 95 - 87. Solve 5*r - y = 4*s + 17, 5*r - 25 = -5*s for r.
5
Let l(d) = -4*d + 62. Let z be l(15). Suppose -4*t = -3*p + 5*p + 6, -3*p + z*t = -15. Solve p*r + 10 = 3*v + 31, 2*v + 5 = -r for r.
3
Suppose 5*d = 4*l - 21, 5*d = -4*l + 8 + 3. Suppose 4*x - 5 - 7 = 0. Suppose -x*w - 4*a - 5 = 0, 0 = -l*a - 0 - 8. Solve -5*p = -4*z - 9, -2 = 3*z + w for p.
1
Let p(h) = h**3 + 5*h**2 - 2*h - 1. Let t be p(0). Suppose 45 + 130 = 5*v. Let q = v + t. Solve 2*j = 3*n + q - 13, 2*j = -3*n - 9 for j.
3
Suppose q = -2*t - 3, 10*t - 7*t + 7 = -q. Solve -2*l + q*k + 1 = 0, -k - 3*k + 4 = 0 for l.
3
Suppose -2*f - 4*q + 18 = -0*f, -5*f + 15 = 4*q. Let p be (-16)/(-6)*f/(8/(-18)). Solve 4*d = -o - 3*o + 24, d + p = 2*o for o.
4
Let n(h) = 23*h - 226. Let c be n(10). Solve p + 2 = 0, q + 2*p - 2 = c*q for q.
-2
Let a(r) = -r**2 - 10*r + 11. Let o be a(-11). Suppose 3*t - 5*t + 6 = o. Suppose -t*s + 7 = -8. Solve -l = -s*i + 6, -2 = -l - l + 3*i for l.
4
Let f = 3 - -2. Suppose 2*n - 33 = -27. Solve -5*k - f*h = 15, 0 = k + n*k - h - 8 for k.
1
Suppose -7*r = r - r. Solve -3*k - w - 2*w + 27 = 0, -4*k + 5*w = r for k.
5
Let b(t) = t**2 - 11*t + 12. Let s be b(10). Let j be s/4 + 1/(-2). Let k be 0*(j + -1 + 2). Solve 3*o - 2*i - 13 = k, -3*i = -2*o - 2*i + 8 for o.
3
Let n(u) = 2*u**2 - 8*u - 42. Let m be n(-3). Solve m = -3*k - 5*y + 20, -12 = -k - 3*y - 4 for k.
5
Let n(j) = -17*j**2 + 2 + 16*j**2 - 21*j + 4 - 2. Let q be n(-21). Solve 4*f - 3*f + 5*d = 7, 7 = q*f - d for f.
2
Let m = -170 - -181. Solve 4*y - 2*f = 0, -4*y - 1 = -5*f + m for y.
2
Suppose 0 = -2*g - 3*o + 9, -5*g - 5*o + 4 = -21. Solve -4*z - 2*a = -g, 8 = z + 4*a + 3 for z.
1
Let a(g) = 2*g - 10. Let h be a(10). Let d = h - 18. Let q be 1 - 4/d*4. Solve -2*o = q*m + m - 12, 0 = -5*o + 3*m + 4 for o.
2
Let o(t) = 9 - t - 17 + 11. Let s be o(3). Solve r + q + 1 = s, 0 = -2*r - 2*q - q for r.
-3
Let b = 238 - 315. Let k be (-195)/(-21) + -1 + 22/b. Let q(p) = p**2 + p + 3. Let h be q(0). Solve -3*w + 0 = -3*s - 12, -w - k = h*s for w.
1
Suppose -234 = 112*n - 794. Solve 0 = -n*q + 4*s - 41, 0 = -q + 4*s - 21 for q.
-5
Suppose 2*w = -4 + 10. Solve w*n - 2*s + 3 = -3, 4*n = -s - 19 for n.
-4
Suppose -8*j - 6*j + 28 = 0. Suppose 4*m - 10 = t, 3*m - 3*t - 7 = 5. Let y = 7 - 7. Solve i + y*i + j = -w, m*i - 3*w = 6 for i.
0
Let o(f) = -7*f - 96. Let v be o(-15). Solve -2*h - v = u - 7*h, -3*u + 2*h - 14 = 0 for u.
-4
Let a be (-981)/(-54) + (-1)/6. Let i = a - 16. Let t be (2 + -4)/(i/(-20)). Solve -3*l + t = 3*g + 50, g + 20 = -3*l for g.
-5
Suppose 4*g - 3*c + 1 + 5 = 0, 4*g - 2*c + 4 = 0. Suppose 2*n + 4*l - 9 = 11, -5*n + l + 6 = g. Solve d + 7 = 4*f + 6*d, -n*f - 1 = d for f.
-2
Let z = 2037 + -2033. Solve z*u + 23 = -f, -4*u - 3 = -u - 4*f for u.
-5
Let q = -728 - -734. Solve 0 = 2*u - n + q, 2*u + 4*n + 25 = -1 for u.
-5
Let c(m) = 10*m - 8. Let w be c(2). Suppose -4*z = 4*v - w, 5*z + 0*z = v + 15. Solve -z*o + a = 7, 0*o - 4*o + 3*a = 16 for o.
-1
Suppose -4*i + 3*g + 13 = 0, 5*g - 16 = -3*i + g. Let p = -232 - -238. Solve q + 3 = -v, 3*q = -i*v - 8 - p for q.
2
Let o(d) = -d**3 - 24*d**2 - d - 21. Let f be o(-24). Suppose 3*n + 40 = -32. Let v be (-9)/(-4) + 6/n. Solve v*a - 5*j = 0, 0 = -0*j -