. Sort d, -1, 3.57 in descending order.
d, 3.57, -1
Suppose -5*k = 0, -2*h + 5*k - 80 = 3*h. Let d = 12 + h. Let w = -10 - -14. Put w, 5/6, d in descending order.
w, 5/6, d
Let v(c) = 47*c**3 + 25 - 1 + 2*c - 46*c**3. Let f be v(0). Let l be 5/15*(2 - f/9). Put l, 1, -0.5 in increasing order.
-0.5, l, 1
Let h be 8/((-440)/(-15)) + 63470/(-242). Sort h, 5, 4.
h, 4, 5
Suppose 0 = 5*a + 20 + 5, 300 = -5*g - 3*a. Let h = 173/3 + g. Suppose -4*o = -3*o + 2. Sort h, 0.3, -30, o.
-30, o, 0.3, h
Let f be 2/(-8) + 168/32. Suppose 23 = -0*p + p - 5*u, -5*p - 3*u = -3. Put p, -1, f, 2 in increasing order.
-1, 2, p, f
Let b = 13081/29 - 451. Sort -2, 23/5, b, -1 in descending order.
23/5, b, -1, -2
Let n = 6.648 - -0.052. Let j = n + -10.7. Sort -5, 5, j, 3.
-5, j, 3, 5
Let k = 5551 + -5549. Sort k, 5, 0, 4, 13 in decreasing order.
13, 5, 4, k, 0
Let d = -19855 - -19855. Put -4, 2/5275, d in decreasing order.
2/5275, d, -4
Suppose -16*p - 46 + 196 = 9*p. Put -3, p, -5, 41, 1 in descending order.
41, p, 1, -3, -5
Let s(m) = 83*m + 3578. Let k be s(-43). Let b(v) = -3*v**3 - v**2 + v. Let r be b(1). Let z be ((-2 - r) + k)*12/24. Put 2, z, -4 in descending order.
z, 2, -4
Let k = 5.236 - 4.836. Sort k, -1, -160/3, 2, 0.
-160/3, -1, 0, k, 2
Let g = -285 + 148. Let n = g - -135. Sort n, 4, -1/2, 5.
n, -1/2, 4, 5
Let u be (-684)/(-132) - 4/22. Let k be (-1)/u + (-792)/90. Sort 8, 3, k, 1 in descending order.
8, 3, 1, k
Let k be 3*7/(-91)*-2813. Let y = -649 + k. Let i = 1 + -1. Put i, y, -9/13 in increasing order.
-9/13, i, y
Suppose 0 = 156*g + 31*g - 76*g - 1776. Put 2, -1, -64, g, 0 in descending order.
g, 2, 0, -1, -64
Suppose -2*x - 7 = -29*d + 26*d, -5*d + 4*x + 9 = 0. Let w(k) = -k**3 - 8*k**2 - 5*k + 14. Let r be w(-7). Sort 1, -0.1, r, d in descending order.
d, 1, r, -0.1
Suppose -4*m = 27 - 7, 5*x = m + 30. Suppose -x*v + 2*i - 25 = -3*i, -2*v - 19 = -5*i. Sort -1/6, v, 4, 3 in ascending order.
v, -1/6, 3, 4
Let c = 22483 + -22475. Put 4, -1, c, 2, -477 in increasing order.
-477, -1, 2, 4, c
Let a = 38039 + -38035. Let w(u) = u**2 - 9*u + 3. Let y be w(6). Sort 1, 2, a, y in descending order.
a, 2, 1, y
Let o = 163.38 - 165. Let k = o - -2. Let v = -1.92 - k. Put -0.3, v, 0.1 in descending order.
0.1, -0.3, v
Suppose 2141*n - 2175*n - 170 = 0. Sort 17, 6, 2, n in ascending order.
n, 2, 6, 17
Let v be 0/2*(-8 - -7). Let d(u) = u**3 - 16*u**2 + 30*u - 8. Let j be d(14). Suppose 0 = -34*l + 29*l - j. Sort -2, v, l, 2 in decreasing order.
2, v, -2, l
Let u = 97 + -83. Suppose u*z = 6*z + 24. Suppose -z*o = 2*c + 10, -4*c - 3*o = o + 12. Sort c, -12, 3, -4 in decreasing order.
3, c, -4, -12
Let o be (342/(-1482))/((-1)/13). Let p = 1.91 + -2. Put 0.5, o, -6, p in increasing order.
-6, p, 0.5, o
Suppose 0 = -3*s - 4 - 2. Let t(v) = 174*v + 700. Let k be t(-4). Let u(d) = 2*d**2 - 3*d. Let h be u(2). Sort 3, h, s, k in increasing order.
s, h, 3, k
Let s = -283 - -288. Suppose -s*z = -3*w - 3 - 9, 5*z + 5*w = 20. Put 42, z, 0 in decreasing order.
42, z, 0
Suppose 54 - 6 = -5*n - 2*q, 2*q - 32 = 5*n. Put n, 14, -10 in increasing order.
-10, n, 14
Let v = 2105 + -2870. Sort 0.4, v, -3 in decreasing order.
0.4, -3, v
Let n be (-22 - -11)*(-1 - -12). Let f = -67 - n. Let k = -48 + f. Put k, -1, -2 in descending order.
k, -1, -2
Let q = -395/2 + 190. Let n = q + 77/10. Suppose -23*y - 24 = 45. Sort y, 5, n.
y, n, 5
Suppose -29*w + 18 = 3*f - 30*w, f = -3*w - 14. Let q = -9 - -4. Sort f, q, 17, -3 in increasing order.
q, -3, f, 17
Let n = 3638.94 + -3639. Put 15, 1/4, 0.4, n in descending order.
15, 0.4, 1/4, n
Let r(w) = -w**3 - 4*w**2 + 6*w + 6. Let j be r(-5). Let d = 361 + -361. Let q be -2 + d - (7 - 7). Put j, q, -5 in decreasing order.
j, q, -5
Let n = -127.56 - -126.36. Sort -0.4, n, 4, -0.1 in decreasing order.
4, -0.1, -0.4, n
Let v(o) = -o**3 - 29*o**2 + 8*o + 238. Let p be v(-29). Sort 3, 201, p in decreasing order.
201, p, 3
Let q = -10762 - -10759. Suppose -3*g - g = -12. Sort -9, 4, q, g in descending order.
4, g, q, -9
Let o(z) = -3 - 10*z**2 + 1112*z - 12*z**2 - 1117*z. Let r be o(-1). Let v(u) = 2*u + 42. Let i be v(r). Sort -3, 3, 5, i in increasing order.
-3, i, 3, 5
Suppose 5*d - 4*o = 4*d + 8, -o - 2 = d. Let q = -23.2 - -33.2. Sort q, d, -1, 4 in increasing order.
-1, d, 4, q
Let w be (128/(-80))/((-4)/10). Let z = 1992 - 1989. Suppose j = 3*c - 8, 14 = -4*j - 3*c - 3. Put j, w, z, -1 in ascending order.
j, -1, z, w
Suppose 2 - 14 = 569*v - 12. Let i = -452/5 + 91. Sort -2/7, v, i, 0.2.
-2/7, v, 0.2, i
Suppose l - 46 = -l + 2*a, -3*l + 75 = -a. Let p = -24 + l. Suppose -6*r - 29 = -p*r - 5*y, -r + 2*y - 11 = 0. Put r, -3, 4 in descending order.
4, r, -3
Let k = 3253 + -3252.6. Put k, 0, -2, -71 in increasing order.
-71, -2, 0, k
Suppose 0 = 3*q - 9*q - 9*q. Let k be ((-3 - q) + (-135)/(-30))/(-6). Put -1, -4, k, -2 in increasing order.
-4, -2, -1, k
Let q be (-18)/(-30) - 87/(-5). Suppose 0 = -6*t - q - 0. Suppose -5*p - 7*h + 15 = -12*h, -2 = 6*p - 2*h. Sort -15, t, p, 4.
-15, t, p, 4
Suppose 0*m = -4*r - m + 11, -5*m - 2 = r. Let p be 12/(-16) + (-558)/(-72) + -2. Sort -9, r, p in increasing order.
-9, r, p
Let u = -31794 - -31794. Let r = -2.03 - -0.03. Sort r, -4, u, 1/5 in decreasing order.
1/5, u, r, -4
Let l(o) = -15*o + 18. Let z be l(8). Let b = z - -72. Let v be (-4)/2*6/b. Sort -0.2, -2, v in descending order.
v, -0.2, -2
Let v(u) = -u + 7. Let d be v(5). Suppose k + d = 3*k. Let z = 19700 + -19692. Put 2, z, k in decreasing order.
z, 2, k
Let h = 3.1 - -1.9. Let v be 13/((-3380)/91) + (-2)/(-8)*3. Put h, v, 1, -7 in ascending order.
-7, v, 1, h
Let m = 0.126 - 0.094. Let s = 246.468 + -246. Let j = m + s. Sort -3, j, 1/4 in increasing order.
-3, 1/4, j
Suppose f + 385 - 390 = 0. Suppose 0 = 7*h - 3*h - 16. Suppose -7 = a + 3*m + 3, m = -h. Sort a, 4, f.
a, 4, f
Let m be 8/(-14) - (1 + -2) - 1. Let n = -13/35 - m. Let p = 0.01 - 2.01. Put n, p, 1 in decreasing order.
1, n, p
Let r be (-6)/4 + 4 + -3. Let l = -42.8344 - 0.0656. Let k = 43 + l. Sort 2/7, -2/3, r, k in ascending order.
-2/3, r, k, 2/7
Let w = -4250 + 4251. Let u(y) = y**2 + 1. Let g be u(-2). Put 8, g, w in descending order.
8, g, w
Suppose 0 = 52*o - 78*o. Suppose o = -6*u + 46 - 118. Sort u, 9, -5 in descending order.
9, -5, u
Suppose 4*s = 5*u + 160, -u + 5*s + 318 = 371. Put 2, u, -1, 5, -4 in decreasing order.
5, 2, -1, -4, u
Let a = -20.298 + 0.298. Put 27/2, -1/4, a, 2/7 in decreasing order.
27/2, 2/7, -1/4, a
Let a(d) = -3*d**3 + 14*d**2 + 12*d - 33. Let q be a(5). Let k = 1 + -0.6. Sort q, k, -4.
-4, k, q
Suppose -17*q + 2*i - 1 = -12*q, -3*q - 3*i + 33 = 0. Sort 5, 2, q, 1, 942 in decreasing order.
942, 5, q, 2, 1
Let u = -10 - 8. Let d = -5034.5 - -5035. Put d, -1, 5, u in decreasing order.
5, d, -1, u
Let n = 1293 + -3892/3. Put -1/3, 5, 0.2, n in increasing order.
n, -1/3, 0.2, 5
Let q = -10.019 + 5.019. Let b be ((-9)/(-3))/(-3) + -1. Let h be -6 - ((-2)/1 - b). Put q, -3, h in increasing order.
h, q, -3
Suppose 13*l = -9*l + 176. Suppose 35 = i - l*i. Sort -20, 5, i in decreasing order.
5, i, -20
Let x = 2924 + -2912. Put x, 0.5, -12 in descending order.
x, 0.5, -12
Let d = -21 + 143. Suppose -d = -16*b + 118. Suppose 17*j - 70 - b = 0. Sort -2, j, 4, 2 in decreasing order.
j, 4, 2, -2
Suppose -h = -6*h + 20. Suppose -9*z = 58 - h. Let m be ((-10)/36 + z/27)*-8. Sort 3, m, -4, 0 in increasing order.
-4, 0, 3, m
Let m(s) = -s**3 + 8*s**2 + 82*s - 9. Let r be m(-6). Put -5, -2, 2, r, -49 in descending order.
r, 2, -2, -5, -49
Let m = 0.02 + -0.42. Suppose -72 = -8*g - 0*g. Let v be 12 - g - (-58)/(-18). Put v, 5, m, -1 in decreasing order.
5, v, m, -1
Let b(w) = 48*w - 914. Let k be b(19). Let f(y) = 4*y**3 + 3*y**2 - 2*y - 2. Let m be f(2). Sort -1, k, m in ascending order.
k, -1, m
Let z be 1 - (1 - -4)*1. Let r = -489 + 486. Let c be (r/9)/((-53)/6 + 9). Sort -5, -1, c, z in descending order.
-1, c, z, -5
Let n(z) = 4*z + 1. Let o be n(0). Suppose s + 6 = l - o, 0 = -2*l + 8. Let x = -0.34 - -0.84. Sort 1/6, s, x in ascending order.
s, 1/6, x
Suppose -f = -5, -4*h + 6*f = f - 31. Sort h, -5, 0, -3, -11 in increasing order.
-11, -5, -3, 0, h
Let o = -4550 + 4546. Let w be ((-36)/(-20))/(-1) + 2. Sort -0.4, w, o, -11.
-11, o, -0.4, w
Let q = 12 + -