5 = -2*k for k.
4
Let q = -139 - -159. Solve 2*t = -3*x + q, t + 10*x = 7*x + 16 for t.
4
Let j be (-1)/(-1)*-4 - -16. Suppose 2*c - 3*y - 4 = -j, -10 = -c - 2*y. Solve w + 3 = -0*k + 2*k, 2*k + c = 2*w for k.
4
Let c be (-1)/(-2) + 1027/26. Let o(u) = -39*u**3 + c*u**3 + 2 + u**2 + 3*u**2. Let f be o(-4). Solve 2*q + 6 = -f*m, 0 = -0*q - q + 2*m for q.
-2
Let t(b) = 3*b**2 + 7*b + 9. Let n be t(-6). Suppose -2*d - n = -5*d. Let l = 1312 + -1308. Solve -4*m + o - l = -d, 0 = -o - 5 for m.
4
Let w = 22 + -17. Suppose -41 = -w*l - 16. Suppose -b - x = -7, 0 = b + l*x - 19 - 0. Solve 0 = 4*o - 3*o + b*s - 18, -2*s = -10 for o.
-2
Let g = 43 - 156. Let b = g - -117. Solve 3*q = -2*h - 20, b*h - 16 = 3*h + 5*q for h.
-4
Let a(c) = -2*c - 5. Suppose -2*b - 5 = -b. Let u be a(b). Suppose 4*s = 2*r - 3*r, u*r + 4*s - 64 = 0. Solve -5*f = -2*y + 8, -4*y + 2*f + r = -3*f for y.
4
Let s(r) = 10*r**2 - 7*r - 1. Let h(w) = 10*w**2 - 9*w - 1. Let m(d) = -4*h(d) + 5*s(d). Let j be m(-1). Solve -4*t = 2*q + j, q - 2 = 5*t + 22 for q.
4
Let x = -67 + 78. Solve -x = -2*j - 2*j - 5*b, 5*j = 5*b + 25 for j.
4
Suppose 0 = 6*w + 9*w + 450. Let h = w + 35. Solve -7 = -h*v - 0*l + 4*l, v - 13 = -5*l for v.
3
Let b(x) = -x**2 - 13*x - 25. Suppose 4*z = 5*z + 2*w + 6, 0 = 2*w - 4. Let d be b(z). Solve 5*t - 15 = 0, -3*h = -2*t + 2 - d for h.
3
Let o be (175/(-14) - -5)/((-3)/4). Let a(g) = g**3 + 6*g**2 + 6*g. Let k be a(-4). Let l = 5 + k. Solve -11 = -3*j + 5*y, -5*j - 2*y - o - l = 0 for j.
-3
Let k be (-16)/88 + ((-444)/(-22) - -1). Solve -4*n - h = 2*h + 8, -h = 5*n + k for n.
-5
Suppose 175 = -7*k + 12*k. Suppose 2*w + w = 0. Suppose w = -4*p + 1 + k. Solve 0 = 5*h - 2*s + p, 3*s - 4 = s for h.
-1
Suppose -7*x + x = 9*x. Solve x = -0*u + 4*u - 2*b - 10, 4*u = -2*b - 10 for u.
0
Let t be (1/2)/((-52)/(-728)). Solve -t = -5*a + 2*h + 1, 2*h + 8 = -a for a.
0
Let y(v) = -v + 17. Let k be y(4). Suppose 0 = -16*q + k*q + 18. Suppose q*i - 48 = 2*i. Solve -3*j + 15 = 4*f, 0 = 3*j + 2*f + f - i for j.
1
Let v = -2024 + 2026. Solve -p = u + 5, -8*p - 10 = -9*p + v*u for p.
0
Let i be (-20)/(-6) + (-12)/(-18). Suppose -j - 2 = -i. Solve s = h, 3*s = -j*h + 10 + 5 for s.
3
Suppose 5*r - 3*r - 6 = 0, 0 = -l + 4*r - 10. Suppose -3*q = -l*q - 2. Suppose -q*a + 9 = a. Solve 2*x + 2*x = -a*c - 19, 0 = -5*x - 5 for c.
-5
Let p(q) = q**3 - 2*q**2 - q - 3. Suppose 2*t = w - 5, 3*w + 2*w = -t + 14. Let m be p(w). Solve v - 2*v - 5*y - 14 = 0, -2*y = -m*v + 9 for v.
1
Suppose -2*x = -7 - 15. Suppose -x - 1 = -3*o. Solve 4*a - 4*n = n + 35, o*a - 23 = n for a.
5
Suppose -61 - 127 = -4*k. Let h = k - 38. Solve 15 = 3*j + 4*q - h*q, 3*j - 15 = -2*q for j.
5
Let y(z) = -z**2 - 33*z - 111. Let p be y(-4). Solve 4*t = 3*a - t + 21, -5*a - p*t + 5 = 0 for a.
-2
Let b(f) = f - 12. Let k(d) = d - 12. Let h(p) = 3*b(p) - 4*k(p). Let g be h(10). Solve -g*m + 23 = -5*j, -6*m - 5*j - 7 = -4*m for m.
4
Let x = 3 + -2. Let a be (4/2)/(x/2). Suppose 0 = 3*v + a*s + 5, 3*v + 4*s + 10 = v. Solve -2*w + 2*d = 5 - 17, -4*w = v*d + 12 for w.
2
Let b(k) = k**2 + 30*k + 202. Let c be b(-20). Solve -3*m + 5 + 2 = g, 0 = -c*g - 4*m + 8 for g.
-2
Let x(u) = 9 + 23 + 4 - 4 - 2*u. Let h be x(14). Solve -7 = -d - h*q, 6 = q + q for d.
-5
Suppose 0 = 6*t - 42 - 36. Let m = 11 - t. Let f be (m - -4)*(-25)/(-10). Solve -30 = 2*d + 3*d - 5*r, -d - 22 = -f*r for d.
-2
Let o(a) = -11 - 47*a + 32*a + 0*a**2 - a**2. Let i be o(-13). Solve -2*f + 10 = p, -2*f = p + f - i for p.
0
Suppose 343 = 8*x + 327. Solve x*c + 8*h = 3*h + 13, 4*c - 5 = -3*h for c.
-1
Suppose 58 = 10*o - 8*o. Solve 0 = 5*y + 5*z + o + 1, 10 = -y - 3*z for y.
-4
Let x = 1587 + -1583. Solve 2*b - x = 3*a - 2*a, b = 5*a + 11 for a.
-2
Let o(l) = l**2 - 8*l + 9. Let u be 16 - (-3 - (3 + -5)). Suppose 3*t - u = 4. Let y be o(t). Solve -6 - 1 = -y*h - r, -h - 4*r + 21 = 0 for h.
1
Let q be (-39)/(-6) - 6 - (-297)/198. Suppose 16 - 4 = 3*b. Let n = 5 + -2. Solve -b*j + q = -2*i, -j + n*j + 24 = -4*i for i.
-5
Let y(t) = t**3 + 2*t**2 - 2*t + 2. Let q be y(4). Suppose l - 10*l = -q. Solve 4*w - 14 - l = -4*b, -22 = -b - 5*w for b.
2
Let a(g) = 4*g**2 - 14*g - 2. Let y be a(4). Solve q = -v + 3, y = 4*v - q - q for v.
2
Let x = 8 - 8. Suppose -o + 3 + 0 = x. Solve o*r + 3 - 10 = -4*u, 0 = 4*u + 2*r - 2 for u.
-2
Suppose -3 = -x - 2*u, u - 35 = -4*x + 5. Solve -2*n - c + 7 = 0, -2*n + 7*c - 2*c = x for n.
2
Let k = 21 - 13. Let m be 2/k + 111/(-12). Let n be m/(-1 - 2) - -2. Solve 4*t + 13 = n*z, z + 0 = -t - 1 for t.
-2
Suppose g - 2*x - 6 + 0 = 0, -5 = 5*x. Solve c + 6 = 4*o, 6*c - g*c - 3*o + 2 = 0 for c.
2
Let r = -42 + 43. Suppose -a + 1 = -2. Solve 3*n = -3*w + 3, a*w - r = -4*n + 6 for w.
-3
Let b be 5 + (-11)/(-22)*(1 - 1). Solve -3*q - 3*k = q - 8, 3*k = -b*q + 10 for q.
2
Let p = 12 + 1. Let z(f) = 0 - f + 0*f - p. Let u be z(-13). Solve 0*w - 5*w = u, l + w = 1 for l.
1
Let d be (2 - 6) + (-8 - -9). Let k be d/(-6)*(9 + -3). Solve 0 = -4*g + p - 3, -2*p - k*p + 15 = -2*g for g.
0
Let h be 18/5 - (-30)/75. Let l be 6/h*34/17. Suppose 0 = 5*i + 15, 5*i + 0*i + 90 = 5*q. Solve s + 13 = -5*o, -s - q = l*o + 2*s for o.
-2
Let m be 3 - (-20)/(12/(-3)). Let x be (-2)/4 + (-19)/m. Let n = 19 - x. Solve -2*t + 2*i + i = -n, 5*t = -i + 8 for t.
2
Let t(m) = 3*m. Let a(q) = 2*q - 14. Let b(y) = -3*a(y) + 3*t(y). Let z be b(-13). Solve j - 2*c - 6 = 5, 0 = -3*j + z*c + 21 for j.
3
Let v = 8 + -17. Suppose 21 + 15 = 3*q. Let l = v + q. Solve l*r - 4*x = -4, -2*r - x + 8 = -r for r.
4
Let u be -5 + 0 + (-1)/1. Let q(m) = m**2 + 4*m - 8. Let w be q(u). Suppose -51 = -15*x - 21. Solve 2*n + x*l = -3*n - 1, -w*n = -3*l + 10 for n.
-1
Suppose 5*j = j + 8. Suppose 2*t + 3*d - 38 = 0, -5*t + 82 = -d + j*d. Solve -4*w = -4*m - t, -2*m - 16 = -5*w - m for w.
3
Let a be 16*(4 + 63/(-14))*-1. Solve -5*y - 3*t = -9*y + 16, -a = -2*y + 5*t for y.
4
Suppose 43*c - 82 = 4. Solve -3*k + o + c*o - 18 = 0, 0 = 2*k + 2*o - 8 for k.
-1
Suppose -2*k = -4*k - 16. Let x = 21 - k. Let h = -1 - -5. Solve 5*s = -3*q + 22, 0 = -2*s - h*q - 9 + x for s.
2
Let n = 79 + -37. Let y = -39 + n. Solve 4*z + 2*i = -4, -6 = -z - y*i + 3 for z.
-3
Let a(u) = 50*u - 19*u + 3 + u**3 - 25*u + 7*u**2 + 2. Let o be a(-6). Solve 0 = v - o*j - 22, -4*v - 3*j = -j + 22 for v.
-3
Suppose -3*h = 25 - 58. Solve -s + 4 = s, -g + 5*s - h = 0 for g.
-1
Let p = -145 + 82. Let l = p - -65. Solve 0 = -j - l*q + 2, -5*j + 0*q = 5*q for j.
-2
Let c = 2410 - 2406. Solve -3*s = 4*p - 19, p = c*s - 0*p - 19 for s.
5
Let a be (-7)/2*(-16)/14. Solve -b - 4*u - 31 = a*b, -4*b - u = 16 for b.
-3
Let m = 433 - 431. Solve -d = 2*l - 9, 4*d - m = -2*l + 4 for l.
5
Let b(z) = z**3 + 4*z + 14. Let r be b(0). Solve 5*w = -2*g - 33, 0 = 4*g - w + r - 3 for g.
-4
Let u(z) = -z**3 - 6*z**2 - 6*z - 1. Let y be u(-5). Solve n - y = 0, 11 = -q - 0*q + 4*n for q.
5
Let u(r) = r - 4. Let z = 9 + -2. Let q be u(z). Solve 0*m - 4*n + 4 = -3*m, q*m - 3*n = -3 for m.
0
Suppose -f + 1 = -2. Let c = 1697 - 1679. Let k = 1 + 3. Solve -k*q - q = -15, -f*x = 5*q - c for x.
1
Suppose 2*j + 4 = 0, 4*y - 4*j + 40 = -140. Let w = y - -49. Suppose -4*s + 1 = -7. Solve -w*x + l = 11, 0*l = -s*x - 2*l - 2 for x.
-4
Suppose 4 = l + x, 4*l - 16*x - 16 = -17*x. Solve 2*c = -l*f - 22, -3*f - 3*c = -2*c + 16 for f.
-5
Suppose 33 = -24*p + 153. Solve 3*k = 3*g - 2*g + 12, 4*k + p*g - 35 = 0 for k.
5
Let y be (7 - (-498)/(-72)) + 35/12. Solve -2*q = -y*b + 6*b - 1, -3*q = 4*b for q.
-4
Suppose -4*u = -6*w + w + 8, 3*w - 3*u - 3 = 0. Suppose -w*m - 7*m = -55. Solve -3*f = -z + 7, 4*z = m*z - 2*f - 5 for z.
1
Let a(n) = 2*n**2 - 10*n - 12. Let j be a(6). Solve -4*x - f + 13 = j, 0*x - 4*x = -4*f + 12 for x.
2
Suppose -2*q - 3*a + 29 = 1, -4*q + 56 = -4*a. Solve 0*m = x + m + 4, -4*x + q = -2*m for x.
1
Suppose 2*x = 5*p - 69, -2*p + 51 = 2*p - 3*x. Solve l + l = -5*q + 10, -q + p = 3*l for q.
0
Let q = -541 - -945. Suppose q*n = 408*n - 8. Suppose l + 2*l - 9 = 0. Solve -l*y + 30 = 3*u, 2*u - 35 = -n*u - 3*y for u.
5
Suppose -4*l - l + 150 = 0. Suppose -4*s + l = 2*s. Let p = -22 - -51. Solve a = -b - s, -p = 5*a + 2*b - 4 for a.
-5
Suppose 5*y - 5*b - 35 = 20, -5*b + 44 = 4*y. Let u = y - 11. Solve 0 = -5*h + 3*k - 11 - 3, u = 3*h + 2*k - 3 for h.
-1
Let