 - 4 = 2*l, -k + 1 = -t*l - 6 for k.
2
Suppose 0 = 54*t - 2941 + 2509. Solve 4*j = -11*q + 13*q + 14, 0 = 2*q + 2*j + t for q.
-5
Let c = -9036 + 9040. Solve -5*r + 24 = 4*w, r - c*w + 8 = 2*r for r.
4
Suppose 0 = -21*k + 3*k - 252. Let o be 6/((12/k)/(48/(-84))). Solve o*y = -d + 17, -4 = -6*y + 4*y + 4*d for y.
4
Suppose 7273 = 82*n + 877. Solve -5*i = 5*b + 10, 79*b - 2 = n*b + i for b.
0
Suppose 24*k - 125 = 23*k. Let p = k - 119. Solve 3*t = -5*j + 9, 6 = -4*t + p*t for j.
0
Let p be 32 + (2 - 3 - 1). Suppose -2*k = 2*j - 76, 13*j - 206 = 8*j + 3*k. Solve -j = 3*f + 5*i, -4*f + f - 3*i - p = 0 for f.
-5
Let d be (-54)/15*((-34)/(-51) + -4). Solve -8*r + 3*i - d = 0, -4*i + 5 = -2*r - 11 for r.
0
Let i(f) = 2*f**2 + 19*f - 276. Let q be i(8). Solve 4*n + 27 = -5*b + q, 2*b = 3*n for b.
-3
Let c(a) = -7*a**2 + 7*a + 41. Let n be c(6). Let r = n + 175. Solve 25 = -5*d - 5*k, -4*d - k = -r*k + 11 for d.
-4
Suppose 3*c - 4 = -j, 4 = 5*c + 4*j - 12. Suppose 3*t + 4*h = -h - 11, c = -t + 3*h + 15. Solve 0 = -2*a + 10, t*k - k + 4*a = 10 for k.
-5
Let u = 134 + -129. Suppose -3*z + 3 + 5 = 4*w, -u*w + 10 = -5*z. Suppose -36 = -w*o + 22. Solve 5*k - d - o = 0, -5*k - 2*d + 5 = 3*d for k.
5
Suppose -52 = -23*a + 49*a. Let x be (a - -40)*(-24)/(-48). Solve f + x = -5*k, 0 = -k + f + f + 5 for k.
-3
Suppose -5*f - c - 1128 = -4*c, 5*c = -20. Let j = f - -231. Solve -3*u = -12, 6 = g + j*u - 2*u for g.
2
Let q be 176/40 - (-3)/5. Suppose -8*u - 52 + 244 = 0. Let s(y) = y**2 - 21*y - 70. Let p be s(u). Solve q*f - 3 = -4*x + 7, -f - 4*x = -p for f.
2
Let i = 27 - 22. Let l(u) = u**3 - 4*u**2 - 5*u + 1. Let s be l(i). Let m be (s + 2)*2*1/3. Solve -q = 3*o + 8, 4*q + m*o + o + 5 = 0 for q.
1
Let y be 18 + ((-4)/(-2) - 3) + 3. Suppose 5*q - y = o, 44*q - o = 48*q - 16. Solve 5*f = -4*s - 0*f + 6, 3*s - 5 = -q*f for s.
-1
Suppose 80*c - 83*c + 21 = 0. Let f(l) = 24*l - 164. Let o be f(c). Solve 12 = -5*s + 3*r, -3*s = o*r + 5 - 21 for s.
0
Let j be (-57)/(-18) + -3*6/108. Solve -4*b + 4*o - 2*o = -28, -j*o = -3*b + 27 for b.
5
Let q(r) = -2*r + 43. Let i be q(-12). Let h(f) = -3*f**3 + f**2 + 2*f + 3. Let d be h(3). Let k = i + d. Solve 0 = -3*u - 4 + 10, -20 = 3*m - k*u for m.
-4
Let b be (-10)/(-6)*((-92)/(-10) + 1). Solve -15*h + 2 = -b*h - 2*c, 2*h - c = -8 for h.
-3
Suppose -33 + 18 = -5*t. Suppose -2*v + t*u = -23, -3*v - 3*u - 1 - 2 = 0. Solve -5*n + 5*h - 6 = 4, -v*n - h = -12 for n.
2
Let x be ((-24)/84)/((-2)/28). Let u(s) = s**3 - 7*s**2 + 10*s + 4. Let c be u(x). Let z be 2*(c + 4 - -1). Solve -16 = 3*q + 2*l, z*q = 3*q - 3*l - 13 for q.
-2
Let l(r) = 15*r**2 + 13*r + 1. Let x be l(-1). Solve x*f + 8 = 18*j - 22*j, -3*f = -5*j + 17 for f.
-4
Suppose k - 4*n = 34, 2 = 2*n + 18. Solve 2*i - 5 = -k*i + 5*x, 0 = -2*i + 4*x - 2 for i.
5
Let c(k) = -4*k + 31. Suppose -4 = 5*v - 7*v. Let f be c(v). Solve -35 = y - 6*y + 5*o, 5*o = y - f for y.
3
Suppose 44 = -4*u - 4*d, 2*d + 43 = -5*u - 15. Let f be (-1 - (-3)/u*0) + 4. Solve 8 = -f*n + 5*q, 0 = -0*n - 4*n - 3*q + 28 for n.
4
Suppose 10*y = y + 45. Let q(c) = -c**2 - 2*c + 46. Let r be q(y). Suppose 3*u = r*u - 256. Solve -2*i - 3*i = -4*a - u, -15 = 5*a for i.
4
Let g be (-27)/15*(-200)/120. Solve -a + 2*i = -2*a - 13, g*a + 3*i + 24 = 0 for a.
-3
Let l = -194 - -198. Solve -l*j + 5*x = -2*j + 22, -12 = -3*x for j.
-1
Let r be (-14)/(-20) + 7945/(-11350). Suppose 0 = c - 3*c + 44. Solve -3*z = -r*d - d - 12, d - 5*z = -c for d.
3
Let m = -69 - -39. Let i = m - -32. Suppose 3*v = 2*v + i. Solve 0 = 2*h - v*a + 10, -2*h + a + 5 = 12 for h.
-2
Let h = -31 + 31. Let w be 2/(-4)*-8 - (-11 - (-1 - 11)). Solve 5*b + 22 = t + t, h = -3*b - w*t - 9 for b.
-4
Let v be ((-118)/3)/1 + (-4)/6. Let b(g) = g + 40. Let i be b(v). Solve f + 1 = 2*k, i*k - 4*f = -2*k + 10 for k.
-1
Let g be 165/(-88) + (-2)/16. Let u be (g/2)/(11/(-143)). Let k = 15 - u. Solve 4*d = 5*h - 0 + 2, 0 = -3*h + 2*d - k for h.
-2
Let w = -568 + 577. Let z be 2/(3 + 5/(-2)). Solve 3*d - w = -z*r, -12 - 3 = -5*r for d.
-1
Let z(c) = 2*c**3 + 33*c**2 - 15*c + 36. Let v be (-1)/(-4)*2*(-102)/3. Let d be z(v). Solve d = 2*y - 5*b, 0 = 4*y + y - 3*b - 5 for y.
1
Let l = 1023 - 1535. Let u = -492 - l. Solve 0 = 4*a + 3*i + 13, u = -5*a - i + 1 for a.
-4
Suppose -100 = 2*o - 102, -o = -4*m + 103. Solve i + m = -5*c, 27*i - 13 = 2*c + 30*i for c.
-5
Let w be (-5)/(5/2) + 7. Suppose -20*i = -9*i. Suppose -2*z = 5*r + 1, z + i*r - 3 = r. Solve -5*x + z*x + w*s = -2, s = 2*x + 1 for x.
-1
Let c be 39*(-12)/(-90) + 1/(-5). Suppose -c*z - 11 = 4*y - 6, -2*z = -4*y + 30. Suppose y*w - 23 = -3. Solve 2*v = -0*o - w*o + 4, -3*o + 4 = v for v.
-2
Suppose -2*u = -2*f - 4*u + 6, 3*f + 2*u = 9. Let k be -12 + (-1074)/(-42) - 6/(-14). Solve f*y - 1 = -4*s + k, -y + 13 = 4*s for s.
3
Let j(n) = 2*n - 83. Let g be j(-15). Let t = -113 - g. Solve t = -4*p + 4*d + 32, 5*d - 2*d + 9 = 0 for p.
5
Suppose -6*m + 1024 + 584 = 0. Suppose -3*k = -5*v + m, -k + 5*k + 264 = 5*v. Suppose 5*b = b + v. Solve 2*x + p + 7 = 0, 3*x - b = -5*p - 42 for x.
-1
Suppose -2*a + 21 = 3*w, 0 = 3*w + 4*a + 21 - 30. Solve -4*q - 5 = f, -9 + w = -q for f.
3
Let p be (18/(-7))/3*28/(-12). Solve 0 = -3*s - c + 5, 5*s + 14 - 4 = p*c for s.
0
Let n = -486 - -487. Suppose 18*w + n = 73. Solve -3*c = 0, 4*c - 2 = -w*a + 6 for a.
2
Suppose 2*c - 2*h - 8 = 0, 19569 = 5*h + 19564. Solve 0 = -g + 3*d + 2, 2*g = -2*d + c*d - 2 for g.
-4
Suppose 0 = -411*u + 241*u + 3400. Suppose -v = 2*v. Solve 3*h = 7*h - 5*o + 1, v = 2*h + 4*o + u for h.
-4
Let r be 8/24 + (-3)/9*10. Let q = 22 + r. Solve -2*u + 5 = 5*y, 2*y + 6*u + q = u for y.
3
Let g = -25 + 28. Suppose g*y - 8*y = -0*y. Let k be 1*y*3/(-6). Solve 4*x + 3 = d, 5*x = -5*d - k*x - 10 for d.
-1
Let f = -100 - -89. Let d be ((-4)/(-18))/(f/(-99)). Solve 4*h + b = h, 2*h + d*b = -4 for h.
1
Let u = 5 + 0. Let j = 886 + -883. Suppose -w = 3*w. Solve 0 = -4*a + j*f + 23, w*a - 3*a = -u*f - 31 for a.
2
Let k(p) = -6*p - 4. Let v be k(-3). Suppose -11*c = -v*c + 48. Solve -t + 4*q = c, q + q - 6 = 0 for t.
-4
Let l = -25 - -19. Let v(t) = -2*t**2 - 9*t + 22. Let y be v(l). Solve 4 + 0 = -3*x - 5*a, -3*a + y = 5*x for x.
2
Let z be ((-2)/(-1))/(1/11). Suppose -3*q - q + 84 = 0. Let t = z - q. Solve h - t = 3*g + 1, 5*g = -5*h - 10 for h.
-1
Suppose 4*n = 0, 5*f - 4*n = -8 + 43. Suppose 25 + 91 = 29*c. Solve 2*a + 3*r - c = f, -r + 13 = 3*a for a.
4
Suppose 3*k + 0 - 12 = 0. Let a be 9300/9 + (-2)/(-3). Let b = a - 1029. Solve 25 = -y - k*j, -3*y + 11 - 1 = -b*j for y.
-5
Let f(q) = 6*q - 3 - 8*q - 13. Let i be f(6). Let n = i - -40. Solve 0 = 5*a - z - 0*z - n, 0 = -a + z for a.
3
Suppose 0 = -a + c - 69, -a - 2*c = 40 + 29. Let z be (-92)/a + 8/3. Solve -12 = l - z*i, -3*i + 28 = 3*l + i for l.
4
Let s(z) = -135*z - 687. Let t(g) = 54*g + 274. Let o(k) = 5*s(k) + 12*t(k). Let d be o(-6). Solve -3*u = -2*m + 10, 0 = -3*m - 0*u - 2*u + d for m.
5
Let l(v) = v - 6. Let u be l(18). Suppose -22*m + u = -19*m. Solve -g = -5*x + 2*g + 4, -m = 2*x - 4*g for x.
2
Let l be 5 + -2 - (-40)/8. Let r be (l/(-10))/(8/(-20)). Let m(s) = -s**2 + 2*s + 3. Let y be m(-1). Solve v + 7 = -3*p + r, y = -p - 2 for v.
1
Let f be 24 + -20 + (-12)/(-21)*28/8. Solve -h - 3 = 0, -h = -3*i + f*i - 9 for i.
4
Suppose 0 = -19*y + 11*y + 1496. Let s = y + -112. Let g = s - 50. Solve 0 = -5*k - 5*d - g, -d + 6 = -3*d for k.
-2
Let u be ((-20)/4 - -3)*(-1)/(-2). Let f be 0*((-4)/u)/8. Solve -r - 3*n = f, -5*r + 0*r - 5*n = 10 for r.
-3
Suppose 3*x + 2*t = 45, -284*x + 287*x - 27 = -5*t. Solve 0 = 3*j - 2*n + 10, 0 = 5*j + n - 2*n + x for j.
-4
Let m be -19 + 21 - -15 - 11. Solve g = -u - 1, -2 - 4 = m*g + u for g.
-1
Suppose 4806 - 4606 = 40*s. Solve -5*z = -5*q, 0 = -4*z + s*q - 13 + 10 for z.
3
Suppose 5*u + 59 = 2*v + 92, -2*u - 6 = 4*v. Solve 3*l = -u*p - 13, 2*p + 28 = -3*l + 21 for l.
-1
Let t(o) be the third derivative of -o**4/12 + 8*o**3/3 + 25*o**2. Let x(a) = a**2 - 1. Let u be x(-1). Let p be t(u). Solve 3*i = 4*w + i + p, -i = 2 for w.
-5
Suppose 8*n = n + 14. Let m be (-6 - (-13 - -7))/n. Solve m = h - 4, o + 6 = -o - h for o.
-5
Let x = -190 - -194. Let i = -972 - -977. Solve -4*f + i*o - 4 = 0, x*f = -o - 1 + 21 for f.
4
Suppose -9*m = -4*m - 50. Suppose -m*x + 7*x 