, 1, -3, c
Suppose 78*s - 1896*s = 7272. Suppose -12 = -0*n - 3*n. Sort s, n, -46 in decreasing order.
n, s, -46
Let v be (1*-1 - (9 - 20)) + -5. Let h = 436 - 441. Put 0, h, v, 1 in decreasing order.
v, 1, 0, h
Let i = 153 + -123. Suppose -5*l + i = 5*z, -6*l + l + 12 = -z. Let g = -0.06 - -0.05. Put g, 4, l in descending order.
4, l, g
Let f(q) = 8*q - 97. Let r be f(12). Suppose 3*b + 114 = -b + 11*z, -4 = -2*z. Put b, 0, r in descending order.
0, r, b
Suppose 36*h = -16*h - 5*h - 33*h. Put 2, -2, -142, -4, h in decreasing order.
2, h, -2, -4, -142
Let o = 0.19 - 0.32. Let n = -93.813 + 91.813. Put n, 1, o in decreasing order.
1, o, n
Let x = -113 - -924. Let z = x - 809.7. Sort -3/8, 2, z in descending order.
2, z, -3/8
Let w = -1.3 - -1. Suppose 19*c - 6*c = 624. Let s be ((-27)/36)/((-198)/c). Put w, s, 4 in descending order.
4, s, w
Let x(j) = -2 + 0 + 1 + 2*j. Let w be x(1). Let h = -127 - -131. Put h, -4, w, -3 in descending order.
h, w, -3, -4
Let o = 147 + -1031/7. Put 4/3, 2/11, o, 0, -1 in ascending order.
-1, o, 0, 2/11, 4/3
Let a = -730 + 726.63. Let i = 2.37 + a. Put i, 5, -65 in increasing order.
-65, i, 5
Suppose -j - 5*r = j + 1, -10 = 2*j - 4*r. Let w be (-2)/(-7) - 156/(-42). Suppose -5*k + 23 = 4*q, -4*k + 51 = -q - 1. Put w, q, j, 3 in decreasing order.
w, 3, j, q
Let s be (0 - -1)/(20 - 369/18). Suppose -r = -2*r + 2. Sort s, -3, r.
-3, s, r
Let t = 3.6 + -4. Let u be ((-15)/270)/((-37)/74). Sort u, t, 27 in descending order.
27, u, t
Suppose 4*k = -4*p + 76, -k + 69 = 3*p - 2*k. Let a be ((2 - 4)/(-22))/(p - 23). Suppose 20 = -5*l, -6 = -4*z - 2*l + 6. Sort z, -0.3, a.
-0.3, a, z
Let g = -2957 + 4291. Let j = g + -1279.7. Let z = -54 + j. Put -4/5, z, 3 in decreasing order.
3, z, -4/5
Let c = 0.35 - -9.69. Let v = -10 + c. Let g = 0.06 + v. Sort -1, 1/4, g, 0.2 in decreasing order.
1/4, 0.2, g, -1
Suppose -o + 3*y = o + 2085, 3*o - 5*y + 3127 = 0. Let r be -1 + 2 + o/(-4) + 1. Let b = r - 2891/11. Sort -0.5, -1/3, -1, b.
-1, -0.5, -1/3, b
Suppose 25 + 102 = 61*y - 117. Put -14, -6, -4, 0, y in decreasing order.
y, 0, -4, -6, -14
Suppose -26*y + 23*y - h + 4 = 0, -h - 5 = 0. Sort 22, y, 4, 0 in descending order.
22, 4, y, 0
Let n = 8331 - 8331.2. Put -1, 0, n, -8, 0.4 in ascending order.
-8, -1, n, 0, 0.4
Let g = -1501 + 1508. Let s(v) = v**3 + 4*v**2 + 4*v. Let t be s(-3). Let u be (1/(-2))/(t/(-24)). Sort u, g, 3 in descending order.
g, 3, u
Suppose -b - u = 0, 0*u = b - u - 6. Suppose 5*s - 14 = a, -4*s + 3*s + 22 = b*a. Let w be (-3*(-1)/(-4))/((-9)/a). Put 1, w, -5 in increasing order.
-5, w, 1
Suppose -4*i + 3*d = -11, -39*i + d - 8 = -40*i. Sort 431, 2, i.
2, i, 431
Suppose 147*z = 307*z + 640. Put -1, 4, z, 20, 39 in decreasing order.
39, 20, 4, -1, z
Suppose 3*n - 2 = 4*o + 6*n, 4*n - 18 = 5*o. Let k be (4 - 10)/24 + o/8. Let j be (-8)/(-14)*7/3. Sort k, 3, j.
k, j, 3
Let x(f) = -2*f**2 - f + 14. Let v(j) = 2*j**2 - 14. Let p(c) = -7*v(c) - 6*x(c). Let n be p(6). Let i = n - -23. Put 5, i, -1 in descending order.
5, i, -1
Let h = -3.351 - -2.471. Put h, -2, 2/7 in increasing order.
-2, h, 2/7
Let r(o) = -o**3 + o**2 + 4*o - 11. Let j be r(4). Let k = j - -38. Let s(f) = f**3 - 4*f**2 + f + 2. Let u be s(3). Put 3, u, k in decreasing order.
3, u, k
Let i = -611 + 610. Let f be (i/(-5))/((-3)/(-5)). Sort -2/3, 0.03, f, -2/7.
-2/3, -2/7, 0.03, f
Suppose 0*w = 5*w + 2*t + 4, 5*t + 10 = w. Suppose 3*z - 6 = 6. Suppose -4 = -3*b + z*b. Put w, -21, b, 4 in ascending order.
-21, b, w, 4
Let s = 15849 - 15847.4. Sort -52, 3/2, s in decreasing order.
s, 3/2, -52
Let c = -0.36 + 0.06. Suppose 64*n - 88*n + 46*n + 110 = 0. Sort n, c, 0.1, 4 in descending order.
4, 0.1, c, n
Let w be (-16 - (-282)/18)*6. Sort 13, 0, w in descending order.
13, 0, w
Let o = 0.9 + 0.1. Let k = 2585 + -2591. Let x = -0.46 - -0.06. Sort o, x, k.
k, x, o
Let g be (-2 + 2)/((50/5)/2 + -2). Sort -2, -1, g, 14, -7.
-7, -2, -1, g, 14
Let a = -1/1784 - 2675/1784. Put 0.5, a, 0.1, 59 in decreasing order.
59, 0.5, 0.1, a
Let u(f) = 12*f + 1091. Let t be u(-91). Sort 26, 3, 2, 0, t.
t, 0, 2, 3, 26
Suppose 0 = -4*t - 6*t + 30. Let i be (2/t)/(9/(-27)). Put 8, 1, i in decreasing order.
8, 1, i
Let f be 2/(-1) - (-39 - 5). Suppose 35*r - 14 = f*r. Sort -1/108, -5, r in descending order.
-1/108, r, -5
Let t(j) = -95*j**2 + 856*j - 11. Let l be t(9). Put 305, l, 0 in descending order.
305, 0, l
Let n = 2500 + -2495. Put -10, -3, -2/3, n, -1/2 in decreasing order.
n, -1/2, -2/3, -3, -10
Let w = -37 + 18. Let m = 27005 + -27007. Sort w, 2, m in decreasing order.
2, m, w
Let t = -17812 - -17810. Put t, 2/23, 0, 3, -5/3 in descending order.
3, 2/23, 0, -5/3, t
Let g be (0 - -70)*1/2. Let k be 7/g + (-1)/(-5). Let c = 94 + -93.5. Put c, -5, k in descending order.
c, k, -5
Suppose 0 = 38*k - 34*k - 4*d + 180, -4*d = 5*k + 225. Put 1, 5, k in decreasing order.
5, 1, k
Let y be (0 + 55/(-88))*8*-1. Put -1659, y, 2 in ascending order.
-1659, 2, y
Let w be (-3)/15 + 14/(-5). Let d be 3 + (29/(-5) - w). Let t = 1160 + -1162. Sort -3/5, d, t in ascending order.
t, -3/5, d
Let t be ((-1105)/(-78) - 14)/(4/126) + -5. Sort 2/3807, t, -1/5 in descending order.
t, 2/3807, -1/5
Suppose -m = -5*u - 3, -6*u + u = -3*m + 9. Suppose -2*x + 153 - 61 = u. Suppose 3*k - 9 = 6. Sort -4, k, x, 3 in increasing order.
-4, 3, k, x
Let z(x) be the first derivative of x**2/2 + 5*x - 11. Let q be z(-6). Let f be (q - 2)*1 - 48/4. Sort 1, -4, f.
f, -4, 1
Let g be 21/(-3)*24/(-42). Suppose 21*m - 19*m + 11 = -3*b, g*b + 11 = m. Put b, -10, -4, 0 in increasing order.
-10, -4, b, 0
Suppose 0 = 4*z - 10*l + 5*l - 892, -2*l = 8. Sort 5, 4, z in decreasing order.
z, 5, 4
Let o(g) = g - 3. Let z be o(5). Suppose 150*q = 146*q - 16, -5*x + 4*q = -11. Sort z, -2, 1, x in ascending order.
-2, x, 1, z
Let n = -320 - -323. Suppose -5*d + n = 3*z + 8, 3*z = -2*d - 2. Suppose r = 4*r - 6. Sort 3, r, d, -5 in ascending order.
-5, d, r, 3
Let q(s) = -2*s**2 - 14*s - 21. Suppose -2*v + 5*v + 5*g + 40 = 0, g = -5*v - 30. Let y be q(v). Sort 12, y, -3 in ascending order.
-3, y, 12
Let k = -0.0125 - 1.9875. Suppose 3*j = -2*j - 5. Let x be 2 - (51/(-24))/j. Put k, x, 1/5 in ascending order.
k, x, 1/5
Suppose -2*g + 4*z + 36 = 0, 0*z + 4*z = -4*g + 84. Suppose 4*w + 0*w - g = 0. Suppose -3 = -2*q + w. Sort -3, -2, q in decreasing order.
q, -2, -3
Suppose 313 = 277*v - 6 + 1427. Put -6, -1, 163, v in descending order.
163, -1, v, -6
Let x = 28 - 18. Let d = -4.072 + 2.072. Sort -4, x, d, 0.
-4, d, 0, x
Let o = -122.03 + 122. Let w = 14 + -14.16. Let u = o - w. Sort -5, 4/7, u in decreasing order.
4/7, u, -5
Let b = -703419 + 26385950111/37511. Let l = -26595287/225066 - b. Let q = 118 + l. Sort q, 1/5, 8 in decreasing order.
8, 1/5, q
Let t be -7*(308/49 - (2 + 4)). Sort 1, -4, 13, t in descending order.
13, 1, t, -4
Let b = 5/44 + -1931/17380. Sort -2, 28, b in decreasing order.
28, b, -2
Let s be (3 + (-20)/12)/((-4)/48). Sort 14, s, -5, -2, 3 in increasing order.
s, -5, -2, 3, 14
Let f = 104/225 - 6/25. Let q(y) = -28*y - 40. Let u be q(-2). Suppose -u*n = -6*n + 20. Sort f, 0.2, n, 1/7 in descending order.
f, 0.2, 1/7, n
Let u = 0.033 + 0.367. Let a = 73.6 - 74. Put 0.1, u, a, 1/2 in descending order.
1/2, u, 0.1, a
Let j = -1188 + 1199. Suppose -2*v + 4*h = -0*h - 26, 4*v - 36 = 4*h. Sort v, j, 3 in ascending order.
3, v, j
Let l = 929.5 - 716. Let o = 214 - l. Sort o, 0, -6/7, 20.
-6/7, 0, o, 20
Let m be (-30)/55*(-17 + -5). Suppose 0 = -76*s + 74*s - m. Sort s, -2, 33.
s, -2, 33
Suppose 3*k + 2*k - z = 24, k - 7 = -2*z. Let d be (1 + -1)/(k - 4). Suppose -2*o + 5*y + 11 = 0, -o - o - 2*y = 10. Sort -4, d, o in increasing order.
-4, o, d
Suppose -l - 4*g + 20 = 0, -10*l + 5*g = -8*l + 25. Suppose -5*n = -4*v - 59, l - 1 = n - 4*v. Put 2, n, 8 in increasing order.
2, 8, n
Let p = 4 - 3.4. Let j = 104 + -55. Let f = j - 48.9. Sort f, p, -5, 3/2 in ascending order.
-5, f, p, 3/2
Let g = 0.79 - 38.79. Let r = 38.063 + g. Let k = r + 4.937. Sort -5, k, 2/5 in increasing order.
-5, 2/5, k
Let u = -3493 + 1368. Let h = u + 2243.7. Let j = h - 119. Put j, -1/2, 10 in ascending order.
-1/2, j, 10
Let a = -0.28 - -0.47. Let c = 2.8 - 3.29. Let s = c + a. Put 5, s, 0 in decreasing order.
5, 0, s
Let l(y) = -6*y**2