 in decreasing order.
4, s, -0.2, x
Let k = -461 + 354. Let n = k + 107.1. Sort -28, 3, n.
-28, n, 3
Suppose -f - 2*k + 23 = 0, -f = -3*f + 3*k + 53. Suppose f = 3*t + 40. Suppose -5*s - 2*u + 41 + 35 = 0, -2*s + 19 = -3*u. Sort -2, s, t in increasing order.
t, -2, s
Let c(q) = -q**2 + 32*q - 151. Let l be c(6). Sort -5, -3, l, 31, 4 in decreasing order.
31, l, 4, -3, -5
Let u be (8/(-10))/((-2)/(-5)). Let m = 889 + -888.8. Sort m, 4.9, u.
u, m, 4.9
Suppose 86 = -70*a - 894. Sort 15, 2, -1, 3, a in descending order.
15, 3, 2, -1, a
Let c = 15 - 10. Let r = 39066 + -39066. Put r, c, 66 in decreasing order.
66, c, r
Let z be ((-34)/51)/(1/((-7)/(-14))). Put -31, 2, z, 0.08 in ascending order.
-31, z, 0.08, 2
Suppose -753 = 4*c - 2*x - 773, -4*c = 2*x - 12. Sort 1, c, -4, 10, -2.
-4, -2, 1, c, 10
Suppose 2 = -r - 1. Suppose 5*w - 10 = 5*j, 3*j + 349 = -4*w + 350. Let g = -7 - 2. Put w, g, r in descending order.
w, r, g
Let d = 29268 + -29264. Sort -4, d, -0.2, 0.5, 129 in decreasing order.
129, d, 0.5, -0.2, -4
Let s = -6.49 + 6.29. Let x = 34 - 56. Let n = x - -31. Put s, 2, n in descending order.
n, 2, s
Let n(p) be the first derivative of 2*p**3 + 31*p**2/2 + 2*p + 98. Let k be n(-5). Let a be 4/14 + 111/(-21). Sort 1, 5, k, a in descending order.
5, 1, k, a
Let o be 9/2*8/6. Let u be 2 + -3 + 3/(-2)*76/57. Put 1, u, o in decreasing order.
o, 1, u
Let b = 3.2 + -5. Let z = b + 2.8. Let d = -4.3377 + -0.6623. Sort 3, z, d in decreasing order.
3, z, d
Suppose 5214*r = 5222*r. Put -30, -2, r, 9 in increasing order.
-30, -2, r, 9
Let a = -1.79 + 1.09. Put a, 1, -0.4, 0.5, -0.2 in increasing order.
a, -0.4, -0.2, 0.5, 1
Suppose 4*w + 4*f + 1384 = 0, -5*w + 5*f - 2291 + 541 = 0. Let z = 352 + w. Sort -5, -4, z.
-5, -4, z
Suppose f + 7 = 0, 0*c - 5*f = -13*c - 30. Sort c, -87, 4, -1.
-87, c, -1, 4
Let g = -18438 + 18438.156. Sort -0.14, -2, g in increasing order.
-2, -0.14, g
Let r be 2*(3/20 + 2/(-5)). Let i(v) = v - 8. Suppose -4 = 4*j + m - 22, 16 = 2*j + 4*m. Let c be i(j). Sort r, 0.1, c in increasing order.
c, r, 0.1
Suppose 22*m - 20 = 18*m. Suppose 16*b = -3*w + 21*b + 4, m*w = -4*b + 19. Sort w, -7, -2, -3 in descending order.
w, -2, -3, -7
Suppose -15*j - 77 = -62. Put 0.5, j, -0.104 in decreasing order.
0.5, -0.104, j
Let y = -28638 - -28643. Sort y, 49, -3, -15 in decreasing order.
49, y, -3, -15
Suppose -1064 = -12*y - 24*y + 8*y. Sort y, -15, 0 in increasing order.
-15, 0, y
Let h = -2.937 + -2.063. Sort -48/7, h, 4.
-48/7, h, 4
Let n = 13575 + -13574.6. Put -0.74, 2, 4, -0.4, n in decreasing order.
4, 2, n, -0.4, -0.74
Let k be (-4)/3*(-9)/4. Suppose 4*t - 5 - k = -4*j, 5*t = -4*j + 7. Sort j, -3, 37 in descending order.
37, j, -3
Let o = 5 - 5.3. Let d = o + 0. Let a = -637825 + 637828. Put -2, -0.5, d, a in descending order.
a, d, -0.5, -2
Suppose -17*f + 33 = -3*i - 16*f, i - 4*f + 22 = 0. Let t(g) = 3*g**2 - 4*g + 3. Let d be t(1). Sort 3, -3, d, i.
i, -3, d, 3
Suppose 1923 = 62*k + 187. Let s be (6/k)/(403/91 + -5). Sort 2/3, s, 3, 8/3 in descending order.
3, 8/3, 2/3, s
Suppose -10*a + 5*a + 10 = 5*x, -4*a = 3*x - 10. Let w = 20.93 - 21. Let t = 5.07 + w. Sort t, -2/5, -3, a.
-3, -2/5, a, t
Let w = 20539 + -20544. Sort 1, 6, -2, w, 4.
w, -2, 1, 4, 6
Suppose -57*y + 62*y - 3*k = 22, 5*k - 25 = -4*y. Sort 6, 2, y, 4 in decreasing order.
6, y, 4, 2
Let c = -1871/3160 - 5/632. Sort 1/4, 0.07, 2/5, c, -0.5 in ascending order.
c, -0.5, 0.07, 1/4, 2/5
Let o = 9708.7 + -9709. Sort -3, -0.5, o, 1/2, 724 in decreasing order.
724, 1/2, o, -0.5, -3
Let x = -3.215 + 3.086. Put 7, 2/9, x in descending order.
7, 2/9, x
Let n be (-27)/9*(-2)/6. Let y(t) = -t**3 - 9*t**2 - 21*t - 19. Let d = 136 - 142. Let c be y(d). Put 5, 3, n, c in decreasing order.
5, 3, n, c
Let b be ((-6)/(-4))/(1/(-2)). Let r = -7 + -111. Let v = r + 114. Sort v, b, 2 in ascending order.
v, b, 2
Let g = 101 + -100.9. Suppose -2*i + 15 = -7*i. Sort -0.2, 3, i, g in increasing order.
i, -0.2, g, 3
Let z(l) = -7*l**3 + 2*l**2 + l + 1. Suppose -10 = 11*q + 12. Let o be z(q). Suppose 3*n + 0*b = -3*b + o, 4*n = 5*b + 39. Sort 5, -5, n in ascending order.
-5, 5, n
Let w = -2.1 - -3.1. Let n = 426.86 - 427. Put n, w, 0.4 in decreasing order.
w, 0.4, n
Let x(s) = -77*s + 46. Let f be x(-3). Let n = -284 + f. Put -15, n, -2 in descending order.
-2, n, -15
Let t = -0.32 - -0.02. Suppose 0 = 6*a - 4*a + 2*y - 58, 91 = 3*a + 5*y. Suppose q - 5*z = -12 - 3, -5*q + z - a = 0. Sort q, t, 9 in descending order.
9, t, q
Suppose 4*h + 80 = 60. Sort h, 4, -83, 5 in descending order.
5, 4, h, -83
Let l = 533 + -810. Let p = l - -256. Sort -3, -4, p in increasing order.
p, -4, -3
Let c(x) = -2*x + 20. Let o(d) = -6*d + 61. Let y(k) = -8*c(k) + 3*o(k). Suppose -7 - 11 = -2*w. Let f be y(w). Sort -1, -3, f, 8.
-3, -1, f, 8
Let p = 4.3 - 4. Let w = 326620 + -326639. Sort -1/2, w, 0.5, p in descending order.
0.5, p, -1/2, w
Suppose 4*h + 4 = -4*z, -2*z - 13 = z - 2*h. Let q = 9069 - 9092. Sort q, -5, z in descending order.
z, -5, q
Let d(u) = -u**2 + 4*u + 95. Let r be d(12). Let w = 21 + -17. Suppose 0 = -4*l + h + 3*h - 8, -8 = -w*h. Sort l, r, -2 in ascending order.
-2, r, l
Suppose 0 = -2*h - 23 + 67. Suppose 4*x + 6 = 2*x, -3*z + 2*x - 9 = 0. Sort z, 5, h in decreasing order.
h, 5, z
Let p = -52.6 + 53. Let m be 2/(-1)*(-6)/4. Let b = -0.034 + -0.266. Sort p, -0.1, m, b in ascending order.
b, -0.1, p, m
Let k = 12 + 121. Let j = 134 - k. Suppose 0 = -2*s + 5*s + 6. Sort s, -1, j, 0 in decreasing order.
j, 0, -1, s
Let u = 1.9 - 2. Let z = 14239 - 42722/3. Let a = -13.2 - -13. Sort u, 3, a, z in decreasing order.
3, u, a, z
Let o = -4612 + 4612.3. Put 0.2, 0, 0.1, -2/79, o in decreasing order.
o, 0.2, 0.1, 0, -2/79
Let q be 1 + 0 + 6918/48. Let f = 145 - q. Put f, -2/3, 0.7, 2/3 in ascending order.
-2/3, f, 2/3, 0.7
Let y = 0.1 + -0.3. Let i = -44 + 34. Let t be ((-3)/6)/(i/60). Sort t, 6, y in decreasing order.
6, t, y
Suppose -3*o + 4*o = -g - 12, -2*g + 20 = -2*o. Let n be 7/(-3) - (-4)/12. Let l(c) = -2*c**3 + 6*c**2 - 6. Let v be l(2). Put o, v, 0, n in increasing order.
o, n, 0, v
Let g = 10.77 - 8.77. Let f = 102 - 101.7. Sort -1/4, f, g in ascending order.
-1/4, f, g
Let d = 1375 + -1377. Put 0, -5, d, -3, -56 in decreasing order.
0, d, -3, -5, -56
Suppose -5*y = -7*y + 6. Suppose 3 = -y*k + 3*h, 2*k + 8 = h - 2*h. Suppose -x - 11 = 4*j, 2*x + 2 = 3*j + 24. Sort j, k, 2 in descending order.
2, k, j
Let n be (40 + 1049)/33 - 34. Let y = -1 - -2. Put y, n, 33 in descending order.
33, y, n
Let i = -7.741 + 7.841. Sort -0.16, 0.2, -4/7, i, 2.
-4/7, -0.16, i, 0.2, 2
Let c(z) = -13*z - 382. Let b be c(-29). Let j be (-7 - -3)/(-8)*12. Let i be 0 + 4 + (-4 - -2). Put i, b, j, 4 in increasing order.
b, i, 4, j
Let g = 0.7188 + 0.2812. Put g, 38, 0.7, 0 in descending order.
38, g, 0.7, 0
Let u = -4932 + 4935. Sort 2/5, u, -3/4 in descending order.
u, 2/5, -3/4
Let j be (-1)/(-4)*-1*3. Let i = -142913 - -142912.9. Sort 2/9, j, -7, i in increasing order.
-7, j, i, 2/9
Suppose -z + 7 = 5*n, -5*n = 2*z + 2*z - 28. Suppose 4*d - 122 = -34. Let a be d/33 - 2/12. Put -5, a, z in descending order.
z, a, -5
Suppose 6*z = -4 + 22. Let v(g) = -4*g**2 - 2*g + 1. Let a be v(1). Sort z, 8, a in decreasing order.
8, z, a
Let l be (-2)/17 - 892/(-68). Suppose -2*u - 5 = -l. Let s be (0/(-17))/((-8)/(-2)). Sort u, -4, s in increasing order.
-4, s, u
Let r = 2.7345 - 0.0045. Let g = r + -0.73. Sort 1, -3, g in ascending order.
-3, 1, g
Let x = 125724 - 125785.911. Let z = x - 0.089. Let j = -66 - z. Sort j, -8, 5 in ascending order.
-8, j, 5
Suppose -4196 = 27*d + 101*d + 3228. Put 4, -6, d in decreasing order.
4, -6, d
Let k(d) = -2*d + 47. Let i be k(19). Suppose 0 = -4*y + 20, 5*y + 20 = 4*p + i*y. Put 2, p, -1/5 in increasing order.
-1/5, p, 2
Let l(o) = 2*o**3 + 2*o**2 - 25*o - 6. Let t be l(-6). Let u = -220 - t. Put 9, u, -3, 4 in ascending order.
u, -3, 4, 9
Suppose 7 = 2*p + 3*v, 5*p - 3*v + 4*v = 11. Let g(i) be the first derivative of -i**2 - 45*i + 11. Let r be g(-21). Put r, p, 6 in ascending order.
r, p, 6
Suppose 8*u + 399 - 439 = 0. Suppose -z = -u, -4*g + 0*z + 97 = z. Put -1, 4, g in descending order.
g, 4, -1
Suppose 0 = -34*o + 29*o + 5. Let u be o*(-1 - (-36)/20). Sort -0.2, 8, -3/5, u 