rt -2, n, -1 in descending order.
-1, -2, n
Suppose 0 = 3*i - 5*b + 80, -17 = -2*i + 3*b - 69. Let h be 5/i - 11/4. Suppose 15 = 3*j, n + 4*n = 5*j. Sort n, 2, h in decreasing order.
n, 2, h
Let c be (-1)/((-14)/(-2 - -72)). Suppose 5 = y - 7. Sort -3, y, 3, c in decreasing order.
y, c, 3, -3
Let o = -2 + 4. Let q be (-87)/(-9) + -10 - (-34)/66. Put -10, o, q in increasing order.
-10, q, o
Let q = -4 - -9. Suppose w = -l + 1, 0 = -q*l + 4*w - w + 5. Sort -14, l, 2, -2 in ascending order.
-14, -2, l, 2
Let v = 16.4 - 16. Let p = v - 1. Put 0.1, 1/7, p in decreasing order.
1/7, 0.1, p
Let q = 0.7 - 0.8. Let i(k) = -k**3 - 4*k**2 + 4*k - 7. Let c be (-9 - -3)/1 - -1. Let d be i(c). Put d, q, -5 in decreasing order.
q, d, -5
Let o be (-12)/11 - -1*(-3)/(-33). Let q(k) = k - 8. Let m be q(4). Put o, m, -6 in ascending order.
-6, m, o
Let r = 7645 + -7650. Suppose 0*k + k = 4. Sort 1, k, -3, r in ascending order.
r, -3, 1, k
Let f be 36/(-14) + 2 - 306/(-119). Sort f, 17, -5 in decreasing order.
17, f, -5
Let z = -459 - -464. Sort -0.5, -277, z.
-277, -0.5, z
Let d = -7780 - -46681/6. Let g = 13 + -18. Sort 2/7, d, -3, g in increasing order.
g, -3, d, 2/7
Suppose 0 = 3*x - t - 11 - 3, 0 = -t - 2. Suppose 25 = -q - 4*o - o, 2*o = 4*q + 12. Sort q, x, 0.
q, 0, x
Let z(g) = -2*g - 9 + 0*g + 16 + 17. Let f be z(15). Let c = 11 + -9. Sort f, c, -0.2 in descending order.
c, -0.2, f
Suppose 0*x = -2*x + 4. Suppose -o + 7 + 4 = r, 0 = 3*r + 5*o - 39. Let w be 0*(4 + 0)/r. Put x, w, 9 in ascending order.
w, x, 9
Let s(w) = -2*w + 4. Let v be s(3). Let h be 28/(-6) + (-1)/3. Let t be 1/3 + 1/(18/30). Sort t, h, v in decreasing order.
t, v, h
Let x = 143 - 140. Put x, 5, -20 in descending order.
5, x, -20
Suppose 2*r + 60 = -10*r. Let s = -54 - -50. Put r, 5, s in decreasing order.
5, s, r
Let d be 9*2/(-4) + 1/2. Let w be (-6)/(-102)*(2 + d). Sort -1/5, w, -2 in decreasing order.
w, -1/5, -2
Let c(h) = 2*h - 34. Let z be c(18). Put -1, -2, z, 5 in descending order.
5, z, -1, -2
Let p be (5 + -2)/(-41 + 40). Let i = -10 + 6. Sort 1, p, i, 0 in descending order.
1, 0, p, i
Suppose 8 = 2*b + 2*b + 2*i, 5*b + 2*i = 8. Suppose 0*m - m - 22 = -3*y, m + 4 = b. Put 0, y, 4 in decreasing order.
y, 4, 0
Let w = -19 - -27. Suppose -7*k - w = -11*k. Sort 4, 5, k, -4.
-4, k, 4, 5
Suppose 0 = -4*w + 16, -3*w + 11 = 5*u - 46. Suppose 2*q - u + 1 = 0. Suppose 0 = q*b - 3*b - 12. Put 0, b, 2 in ascending order.
0, 2, b
Let k = 8 - 13. Let a = 11.24 - 11.14. Sort k, -1, a in ascending order.
k, -1, a
Let g = 1212 + -1216. Sort g, 2/5, -0.2, -3/4 in descending order.
2/5, -0.2, -3/4, g
Suppose 3*m + 7 = 2*x, x + 4 = m - 2*m. Sort 3, m, -2 in increasing order.
m, -2, 3
Suppose -10 = 2*l - l. Let z = 11 - 12. Let u = 143 + -145. Sort u, l, z in increasing order.
l, u, z
Let g = 2 + -5. Let f be (-10)/20 + 11/2. Let h be (-1)/f - (-3)/15. Sort g, 4, h in decreasing order.
4, h, g
Let d = 501 + -504. Put 8/13, -3/5, d, -1 in increasing order.
d, -1, -3/5, 8/13
Let d = -1259 + 1261. Put -0.12, d, -3/4 in descending order.
d, -0.12, -3/4
Let m(p) = p**3 + 3*p**2 - 21*p - 19. Let u be m(-6). Sort -7, u, 5 in descending order.
5, u, -7
Suppose 4*t - 3*o - 18 = 0, 5*t - 19 = 2*t + 5*o. Suppose 3*r = 0, -b + 4*b - 6 = t*r. Let s = 3 + b. Put 2, s, 0.4 in decreasing order.
s, 2, 0.4
Suppose 3*z + d + 5 = 0, 13*z + 2*d = 12*z. Sort z, 2, 0, 6.
z, 0, 2, 6
Let t = -0.6 + 5.6. Let a(r) = -r**2 + 13. Let g be a(-6). Let h be (g/(-92))/(2/10). Sort t, h, -2 in ascending order.
-2, h, t
Let v = -37 + 54. Suppose -16*o + v*o + 5 = 0. Sort 1, o, -0.1 in increasing order.
o, -0.1, 1
Let i(q) = -q**2 - 5. Let g be i(0). Suppose 17 = -x - 5*r, -6*x - 11 = -3*x + 5*r. Put x, g, -6 in ascending order.
-6, g, x
Suppose -4 = 5*o - 4*o - 3*l, -o + 4 = l. Let s be 4 - o/4*4. Let p be 3*(-2 - (-20)/6). Put p, s, -3 in decreasing order.
p, s, -3
Let r = 537 - 538. Suppose -4*p + 15 = -5. Put -3, p, r in decreasing order.
p, r, -3
Let v(w) = w + 5. Let n be v(-5). Let p = -176 - 143. Let d = p - -319.3. Sort 4/13, n, d in descending order.
4/13, d, n
Suppose 30*v = 17*v - 26. Put -1, 4, 100, v in decreasing order.
100, 4, -1, v
Let y(m) = -2*m + 21. Let s be y(-12). Suppose 9 = 3*o + s. Sort -2, 3, o.
o, -2, 3
Suppose -4*u + 3*x - 12 = -5*u, 7 = u - 2*x. Let m = u + -7. Suppose m*c - l + 0*l - 7 = 0, 4*c + 2*l + 6 = 0. Sort -3/2, -2/7, c.
-3/2, -2/7, c
Let u be (-4)/7 - (17 - (-12303)/(-693)). Let y = 1.1 - 1.3. Put u, -5, y in descending order.
u, y, -5
Let b be 0*(-3 + (-15)/(-6)). Sort b, -5, 30 in decreasing order.
30, b, -5
Suppose 4*j - 7*j + 15 = 0. Let i(v) = v**2 + 11*v - 2. Let a be i(-12). Let k = 13 - a. Put k, 1, j in increasing order.
1, k, j
Let d = -24 - -51. Let j = d - 29. Sort 2, j, 0, -3 in ascending order.
-3, j, 0, 2
Let t be 3 - (4764/(-105) - -4). Let j = -224/5 + t. Sort -1.6, 0.2, j.
-1.6, j, 0.2
Suppose 6*p - 1 = 17. Let a(r) = 8*r**2 - r**p + 2*r**2 - 4*r**2 - 5*r. Let k be a(5). Put -4, 4, k in ascending order.
-4, k, 4
Let x be (-14)/1*65/(-455). Let k = -2 - -2. Suppose -3*t = -k + 3. Sort x, -2, t.
-2, t, x
Let q = 1.2 + -3.2. Suppose -3*t = 6*k - k + 4, 2*t - 5*k + 11 = 0. Let a be (t/7)/((-30)/(-20)). Put q, 2/3, a in descending order.
2/3, a, q
Let n(a) = -2*a + 4. Let o be n(0). Suppose -o*u = -6 - 14. Let c = 1.2 - 1. Put c, 0, u in descending order.
u, c, 0
Suppose -109 = 2*j - 107. Put j, -50, 0 in decreasing order.
0, j, -50
Suppose -5*v = 2*f - 121, -22*f + 23*f - 53 = -4*v. Sort -1/5, f, -3 in decreasing order.
f, -1/5, -3
Let c = 193 - 196. Sort 5, -2, 8, c.
c, -2, 5, 8
Suppose 7*m - 28 = -77. Put -11, -3, m in decreasing order.
-3, m, -11
Let i = -47 - -48. Suppose 2*n + 0*n + 5*k = -16, -k = -n - i. Sort -1, -2, n, 4 in increasing order.
n, -2, -1, 4
Let k(f) = f**2 - 5*f + 3. Let g(n) = -n - 1. Let p(t) = g(t) - k(t). Let q be p(2). Sort q, 4, -1, -2 in descending order.
4, q, -1, -2
Let l = 1 - 1. Let c = 9 - 10. Suppose 20 = -7*o + 3*o. Sort o, l, c in decreasing order.
l, c, o
Let l be (603/(-39))/(-3) + (-40)/8. Sort -1/6, 3, 4, l in descending order.
4, 3, l, -1/6
Let h be (-1088)/(-48) + 2/6. Suppose q - 4*g = h, -q - 2*g = -7*g - 27. Sort -5, 3, q in decreasing order.
q, 3, -5
Let v = 16.03 - 15.73. Sort v, -28/3, 0.
-28/3, 0, v
Let c = -155846/67 - -2326. Put 2/3, -2, c in descending order.
2/3, c, -2
Let w be 1/(-4) - (-342)/(-72). Sort 14, -3, w in decreasing order.
14, -3, w
Let l = 1340/9 - 149. Put l, -0.5, 0.2 in increasing order.
-0.5, l, 0.2
Let d = 0.1095 - 1.1095. Sort d, -0.5, 5, -24.
-24, d, -0.5, 5
Suppose 8 = -4*u - 0*u. Let w = 224 + -225. Put u, 3, w in increasing order.
u, w, 3
Let n be 2*-2*2/456. Put n, 3, -0.1 in ascending order.
-0.1, n, 3
Suppose 0 = -98*p + 108*p - 20. Sort -215, -4, p in increasing order.
-215, -4, p
Let g = 13.359 + -0.259. Let h = g + -13. Let n be -2*(1/2 - 1). Sort 5, n, h in increasing order.
h, n, 5
Suppose -5*w - 7 + 2 = 0. Let s = -0.7 + 0.4. Let h = s + -1.7. Sort 1/5, h, w.
h, w, 1/5
Let c be 19/(-7) + 6/(-21). Let g be 14/(-4)*8/(-14). Sort -4, g, c in descending order.
g, c, -4
Let h = -39 + 40. Let u be (-21)/66 - h/(-2). Put 1, u, -5 in decreasing order.
1, u, -5
Let t = -39 - -44. Suppose t*g - 3*k + 2*k = 17, -5*g + 5 = 5*k. Sort -6, 4, g in decreasing order.
4, g, -6
Let f = -23 + 22.76. Let d = -0.21 - f. Let c = 0.27 + d. Sort -2, c, 0 in descending order.
c, 0, -2
Let z = -1.214 + -0.786. Let j = 0.1 + -0.4. Put 0, j, -0.2, z in increasing order.
z, j, -0.2, 0
Suppose 5*o = -5*a - 20, -3*o - 2 = a + 4. Let j(c) = 3*c**3 - c - 1. Let g be j(o). Let f be -4*((-28)/(-8))/7. Sort 5, g, f in increasing order.
g, f, 5
Let i = -18 - -20. Let p be 0 + -3 - -1 - i. Sort p, 8, -1.
p, -1, 8
Let q = 5261/76 - 455/38. Let v = -57 + q. Let j = -58.5 + 59. Put v, j, 2 in descending order.
2, j, v
Let r be (-9)/(-6)*(-40)/(3 - 5). Suppose -4*u = -r - 18. Sort -4, -5, u in decreasing order.
u, -4, -5
Let b = -514 + 511. Put -6, b, -0.4, 5/4 in descending order.
5/4, -0.4, b, -6
Let y = -4 + 0. Let b be 3*2/(-8) - (-202824)/(-672). Let o = b + 302. Put o, y, 2 in decreasing order.
2, o, y
Suppose 8 = -5*i - 4*z - 40, z = 2*i + 14. Put -1, i, 2 in decreasing order.
2, -1, i
Let b = -14 + 8. Let f = -12.74 + 12