v - 17, 0 = -4*t - 3*v - 1. Suppose 7*f + 132 - 167 = 0. Put o, f, -1, t in descending order.
f, t, o, -1
Let h = 14877 + -14875. Suppose 4*t - 5*u = -t, -4*u = 4*t - 8. Sort h, -18, t, 4 in descending order.
4, h, t, -18
Let j = 2532 - 2532.2. Put j, 1/3, 0 in decreasing order.
1/3, 0, j
Let j = -252.24 - -247.24. Put 5/4, j, -1, -1/3756 in descending order.
5/4, -1/3756, -1, j
Let u = -7.93 + -0.07. Suppose 4*n - 22 = x, -5*x + 16 = -6*n + 7*n. Let q be 1 - 15/n - 21/(-18). Sort q, u, 0 in descending order.
0, q, u
Suppose 2*d = -3*p + 3, 464*p - 469*p = -d - 5. Put 61, -1, 3, d in ascending order.
-1, d, 3, 61
Suppose -q + 1 = -3*u, 23*q - 21*q - 2 = -4*u. Suppose z = -3*z + 4. Let t be -4 + 7 + (z - 1). Put t, q, -25 in ascending order.
-25, q, t
Let w = 11102/72393 + -1/1227. Let a = w - 22/531. Sort 5, 2/9, -5, a in ascending order.
-5, a, 2/9, 5
Suppose 25 = -3*t - 4*u, 3*u = -u - 16. Let l be (16/20 - 0)/(2/5). Sort l, 34, t.
t, l, 34
Suppose -k + 6 = 3*q - 2, -16 = -2*q + 2*k. Suppose 4*u = 5*u - q. Suppose 3*t + 5*z = 29, u*t + t - 4*z = -1. Sort -4, 5, t in decreasing order.
5, t, -4
Let j be (33/825*-5)/(1/(8 - 3)). Sort -2, j, -1859.
-1859, -2, j
Let f = -83 + 83.1. Let c = 0.0592 - 0.1592. Sort 2, f, c, -27 in decreasing order.
2, f, c, -27
Let v(x) = 2*x**2 + 46*x + 155. Let l be v(-19). Sort l, 26, -14.
-14, l, 26
Let p(m) = m**2 - 5*m - 14. Let f be p(7). Suppose -v + 1 + 4 = f. Put 1, v, -3 in decreasing order.
v, 1, -3
Let a = 5214 + -15640/3. Sort 103, 4, a, -1 in ascending order.
-1, a, 4, 103
Let k = 229 - 409. Let g = -176 - k. Sort 2, 1, g, -3 in decreasing order.
g, 2, 1, -3
Let j = -1.19 - 4.41. Let b = -1.6 - j. Put -8, b, 2/25 in ascending order.
-8, 2/25, b
Let b = 79 - 110. Let x = b + -55. Let i = 89 + x. Put i, -6, -3, -0.4 in decreasing order.
i, -0.4, -3, -6
Let n = 1619 + -1620. Sort 524, 5, n in decreasing order.
524, 5, n
Suppose -30*x - 1001 = 1159. Let q be 1718/(-24) - 2/(-8). Let z = q - x. Put z, -6/5, -4 in descending order.
z, -6/5, -4
Let h be 4/20*0 - 1/(-4). Let q = 0.7 - -1.1. Let w = q + -2. Sort w, h, 1 in ascending order.
w, h, 1
Let c = -13.08 + 10.08. Put -6, c, -1.2 in ascending order.
-6, c, -1.2
Let u = -60/593 - 272/20755. Sort u, 5, -0.4 in descending order.
5, u, -0.4
Let g(u) = u**3 + 3*u**2 + 4*u. Let o be g(-5). Let j be (o/(-34))/(-1) - -2. Let v = 26195 - 104783/4. Sort v, j, -1 in descending order.
j, v, -1
Let t = 30444.043 + -30477. Let g = -33 - t. Let s = -0.057 + g. Put 4, -3, s in ascending order.
-3, s, 4
Suppose 3*n - n - 4*u = 4, 0 = -n + 4*u. Let o = 25/14051 + -70430/98357. Let z = -4.8 - 0.2. Put z, n, o in increasing order.
z, o, n
Let p = -64 - -69. Suppose 0*c - 2*c = -2*d, 2*c = 3*d - p. Suppose c*k - 19 = -4*g, k - 2 = -g + 2. Put k, -8, -3, -5 in descending order.
k, -3, -5, -8
Let c = -57 + 59. Let p = 137 + -136. Sort c, p, -2 in decreasing order.
c, p, -2
Let s be ((-8)/12)/(1/3*6). Put -2, -0.063, 10, s in descending order.
10, -0.063, s, -2
Let j = 3662.12 - 3662. Sort -6, j, 1 in decreasing order.
1, j, -6
Let f(i) = i**3 + i**2 + i - 5. Let d be f(0). Suppose -4*u - 21 = 4*a + 3, 0 = -5*a - u - 10. Sort d, 1, 0, a in decreasing order.
1, 0, a, d
Let r = 7443 - 7441. Sort r, -1, 3, 5, 29 in descending order.
29, 5, 3, r, -1
Let f = 25 + -27. Let c be ((-12)/9)/(4/(-6)). Suppose 3*q + 32*y = 35*y - 21, 3*y = 0. Put f, c, q in descending order.
c, f, q
Suppose p = 3*n - 4, -7*n + 5*p - 48 = -9*n. Put -3, n, -5, 308 in ascending order.
-5, -3, n, 308
Let a be -40*(-8 - 208/(-30)). Let w = -1411/33 + a. Sort 4, -1, w, -1/6 in descending order.
4, w, -1/6, -1
Let k = 15662 + -15666. Sort 5, 1/6, k, -1.2, 0.06 in descending order.
5, 1/6, 0.06, -1.2, k
Let s = 101 - 97. Suppose -3*g + 4 = d, 0*g - s = 5*g - d. Let i(f) = -f + 2. Let z be i(5). Sort z, g, 1, -4 in descending order.
1, g, z, -4
Let o(x) = -x**3 + 121*x**2 - 464*x - 463. Let m be o(117). Put m, -2/13, 0, -0.15 in decreasing order.
m, 0, -0.15, -2/13
Let w(u) = -908*u + 2*u**2 + 903*u - 2*u**3 - 9*u**2 - 1. Let q be w(-3). Sort 0.07, -13, -1, q in increasing order.
-13, -1, 0.07, q
Suppose 3*s + 49 = 5*b, 204*s + 55 = 3*b + 199*s. Suppose 6*o - 5*o = 0. Sort b, 11, o in descending order.
11, b, o
Let q be (-2614)/10 + 2 + (-16)/(-40). Let p = q + 261. Put -1, p, -18 in descending order.
p, -1, -18
Suppose -75 = -217*d + 232*d. Sort 1, -15, 2, -1, d in descending order.
2, 1, -1, d, -15
Let q be 5 - (4/(-6))/((-2)/9). Sort -1, q, -4, -23, 0 in increasing order.
-23, -4, -1, 0, q
Let u = -109 + -101. Let b be 12/(-28) - 83/u. Put -0.4, b, 1/2 in increasing order.
-0.4, b, 1/2
Let q(h) = -3*h + 1. Let w be q(2). Suppose -3*n = 4*c - 22, -13 = -2*n + 3*c - 4. Let i = n - 8. Put w, 8, i in descending order.
8, i, w
Suppose 0 = -5*l - z + 188, l = 2*l - z - 34. Suppose -9 = 7*h - l. Let x be 0/((-4)/4) + h. Put 2, 0, 3, x in decreasing order.
x, 3, 2, 0
Let s = -3 + 8. Let h(o) = 39*o + 393. Let x be h(-10). Sort x, 1, s in descending order.
s, x, 1
Suppose -265*j + 288*j = -92. Put 4, -1362, j in decreasing order.
4, j, -1362
Suppose 40 = 2*j + 6*j. Suppose -27 = -5*p + 3. Let g = -10 + 8. Put g, j, p in ascending order.
g, j, p
Let z = 498 - 467. Let n = z - 33. Put 8, 1, n, 0 in descending order.
8, 1, 0, n
Suppose 4*u + 10*s - 13*s - 26 = 0, -5*u - s = -23. Suppose -14*d + u*d = -63. Suppose 0*f + 4*i = 2*f - 16, -2*f = -3*i - 11. Sort 4, f, d in descending order.
d, 4, f
Let t = 10 - 13. Let n(r) = 10*r + 189. Suppose 8*v - 61 + 213 = 0. Let k be n(v). Put -7, 2, t, k in increasing order.
-7, t, k, 2
Let t = 0.23861 + 0.06139. Sort -0.3, -3/31, 5, 3, t in ascending order.
-0.3, -3/31, t, 3, 5
Let w(y) = -2*y**3 - 8*y**2 - 2*y + 8. Let z be w(-3). Put z, 2, -135 in increasing order.
-135, z, 2
Suppose -41*p + 43*p - 3*v - 3 = 0, -2*v - 3 = -p. Sort -3049, 5, p, -5.
-3049, -5, p, 5
Let r = 395 - 391. Suppose -r*w - 30 = -14*w. Suppose 0 = -v + 2*v + 11. Sort v, w, 5 in decreasing order.
5, w, v
Let z = -6617 + 6618. Put -13, 3/5, z, -2/5, 0.1 in increasing order.
-13, -2/5, 0.1, 3/5, z
Let o = -33/17 - -116/51. Sort -0.1, 2/25, o, -2/3.
-2/3, -0.1, 2/25, o
Let x = 4.2 - -35.8. Let i = 0.3489 + 39.3511. Let k = i - x. Put k, -2/5, -0.2, 2/3 in descending order.
2/3, -0.2, k, -2/5
Let o be 26*(1 - 2)*24*17/136. Sort o, -5, -6, -3 in descending order.
-3, -5, -6, o
Suppose -187 = 547*c - 536*c. Suppose 0*n + n + 2 = 0. Sort 4, c, n, 2 in increasing order.
c, n, 2, 4
Let t be (-35)/10 - 3/(-6). Let n = -4 - -15. Suppose 0 = -2*b - b - 15. Sort t, n, b in increasing order.
b, t, n
Suppose -701*r + 704*r = 102. Sort -1, 2, r, -8.
-8, -1, 2, r
Let j = 0.21 + -0.3. Let o = j - -4.09. Let p be ((-117)/(-141) + -1)*637/2548. Sort p, -2/7, o in decreasing order.
o, p, -2/7
Let l(p) = p**2 - 6*p - 15. Let s be l(8). Let d be (0 - 0) + -2 - 21. Sort -3, d, s in ascending order.
d, -3, s
Let z be (8/(-3))/((-8)/(-12)). Sort 0, z, -5, -58, 4 in descending order.
4, 0, z, -5, -58
Let g = 4319 + -4072. Put -4, -8, g in decreasing order.
g, -4, -8
Let w = 121 - 109.9. Let v = w + -10.7. Sort 0.11, 3/4, 0.5, v in decreasing order.
3/4, 0.5, v, 0.11
Suppose 0 = 209*o - 925 + 89. Sort -29, -3, -8, o in ascending order.
-29, -8, -3, o
Let t = 64.01 - 59.01. Put -0.1, 0, -236, t in descending order.
t, 0, -0.1, -236
Let d = -4.47 - -3.97. Put -0.3, d, -1/3, -14.2 in decreasing order.
-0.3, -1/3, d, -14.2
Let v = -51.2388 - 0.5392. Let q = v - 0.622. Let c = 52 + q. Sort -5, 0.2, c in increasing order.
-5, c, 0.2
Let a = 15019.5 + -15022. Sort 2/5, -0.4, a, 1, 5 in descending order.
5, 1, 2/5, -0.4, a
Let c be (0 + 42)*(-55)/11. Let l = -215 - c. Sort 137, l, 0 in decreasing order.
137, 0, l
Suppose 0 = 3*f + 3*x - 2*x - 6, 4*x - 4 = -2*f. Suppose -f*v - 8 = -6*v. Suppose -268*z + 123*z + 64*z = 1108*z. Sort v, -13, -4, z in ascending order.
-13, -4, z, v
Suppose -4*c = n + 278 - 96, 5*c + 5*n + 220 = 0. Put 4, 2, -2, c in descending order.
4, 2, -2, c
Let w = -142056.059 - -142056. Let r = 3 - 2. Sort w, 0.2, r.
w, 0.2, r
Let d = 105 - 99.7. Let f = d + -6. Let s = 2.2 + f. Sort 0, -5, s.
-5, 0, s
Let b = 38515 + -38520. Suppose 5*p - 5 = 3*g, 0*g = 2*g + 4*p - 4. Sort g, -1, b, 17 in descending order.
17, g, -1, b
Supp