 18 in descending order.
18, t, -3
Let a be 1 + -4 - (10 + (-14 - -2)). Sort -4, 3, a, -2.
-4, -2, a, 3
Let v = 20.1331 + -0.0331. Let p = 20 - v. Sort p, -0.3, -0.2 in decreasing order.
p, -0.2, -0.3
Let b = 0.0032 - 0.1232. Let t = 73/46 - 2/23. Sort b, t, 1 in decreasing order.
t, 1, b
Let l be 2/12*(0 - 2). Let v = -0.007 + -35.493. Let n = 35 + v. Sort l, 4, n in descending order.
4, l, n
Suppose 4*a + 1688 = -4*c, -4*a + 600 + 1537 = -5*c. Let h be 4/18 - c/153. Put -3, h, -2 in ascending order.
-3, -2, h
Let m = 1860 - 1882. Put -0.5, 12, m in descending order.
12, -0.5, m
Suppose -6*k = -846 + 816. Sort 21, 1, k.
1, k, 21
Let p = 65 + -64.91. Let m = -0.05 + 5.05. Put 1, p, m in decreasing order.
m, 1, p
Let y(z) = -z**3 - 9*z**2 - 5*z + 29. Let q be y(-8). Sort 4, q, 3.
3, 4, q
Let f be 9 - ((-352)/6)/(-8). Put 5, f, -5 in increasing order.
-5, f, 5
Let u = -0.348 + 0.248. Sort 0, 3/7, u, 3/25 in descending order.
3/7, 3/25, 0, u
Suppose 2*t = -15 + 19. Let x = -1 - -5. Put x, 13, t in increasing order.
t, x, 13
Let d = 617/2 + -309. Let z(b) = b**2 + 4*b + 4. Let v be z(-3). Put v, 0.5, d in descending order.
v, 0.5, d
Let i(z) = -z**3 + 9*z**2 - 7*z - 9. Let r be i(8). Let u(g) = g**3 + g**2 - 2*g. Let f be u(-2). Suppose 7*n - 3*n = f. Put r, n, 1 in ascending order.
r, n, 1
Let q(k) = 9*k + 1. Let b be q(1). Let f be (-6)/(-30) + 18/b. Suppose f*g - 10 + 2 = 0. Sort 1, g, 2/39.
2/39, 1, g
Let g be ((-48)/(-168))/(4/(-7))*4. Sort g, -1, 0, -7.
-7, g, -1, 0
Let i be 7/1 - 98/14. Let n be 39/12 + (-3)/(-4). Sort i, -3, -5, n in descending order.
n, i, -3, -5
Suppose -4*x = -10*x - 414. Let z = 70 + x. Put 5, z, 4 in ascending order.
z, 4, 5
Let w = -167.8 - -149.8. Sort 3, 0.2, -5, w in increasing order.
w, -5, 0.2, 3
Suppose -y - 4*y - 2*k = -45, 3*k = -3*y + 27. Let u = y + -19. Put -3, 1, u in decreasing order.
1, -3, u
Let a = -244.83 - -245. Put -4, 2/3, a in ascending order.
-4, a, 2/3
Let j = -68 + 64. Sort j, 0, -5, 6 in descending order.
6, 0, j, -5
Let c = -449/20 - -89/4. Sort 0.35, c, -5 in decreasing order.
0.35, c, -5
Let r = 1.942 + 0.008. Let m = r - 1.8. Let h = 0.15 - m. Sort 5/4, h, -1/4 in descending order.
5/4, h, -1/4
Let p be (1/(-2) + 2)*(-20)/(-50). Sort 2/13, -0.5, p, -0.1 in ascending order.
-0.5, -0.1, 2/13, p
Let b = 0.45 + -2.45. Let u = 2.5 + b. Sort u, 2/3, -3, -5 in decreasing order.
2/3, u, -3, -5
Let d = 6 - 12. Suppose 6 = 3*m, 9*p = 4*p + 2*m - 14. Let g be 16/10 - 36/60 - p. Put d, g, -2 in descending order.
g, -2, d
Suppose 0 = -l - 3*q - 46, l + 18 + 4 = 5*q. Let p = 32 + l. Put p, -2, 5 in decreasing order.
5, -2, p
Suppose -y = 4*y + 5. Suppose 5*g - 64 = -4*i + 8, 5*i - 51 = -3*g. Suppose 9*u - 7*u = -g. Sort y, 1, u in increasing order.
u, y, 1
Let n be -1*(225/(-180) + 98/8). Sort 4, n, 25.
n, 4, 25
Suppose 25*l + 35 + 15 = 0. Sort l, 0, -9, 3 in decreasing order.
3, 0, l, -9
Suppose -t + 21 = 20. Put -3, 7, t in descending order.
7, t, -3
Suppose -3*u - 53 = -65. Let a(d) = -2*d + 3. Let h be a(2). Put -2, u, h in descending order.
u, h, -2
Suppose 5*a - 3*k - 74 = 0, 0 = -a + 3*a - 5*k - 41. Sort a, 3, -4 in decreasing order.
a, 3, -4
Let l be ((-1)/(20/(-6)))/((-714)/(-476)). Put -0.4, 13, 3, l in descending order.
13, 3, l, -0.4
Let x = 895/3 - 15209/51. Sort 2/33, 0.2, -0.6, x in decreasing order.
0.2, x, 2/33, -0.6
Let o be 4 + ((-3)/(-3) - 0). Let v(a) = -a**2 + 8*a - 21. Let m be v(o). Let q = 0 + -3. Sort m, q, 0 in increasing order.
m, q, 0
Let w = 1888 + -1891. Sort -1/4, w, 0.07, -6/11.
w, -6/11, -1/4, 0.07
Let i be -1 + 1 - (4 - 13). Let h be 3/i - 4/6. Let z = 5451 - 10899/2. Put z, 5, h in descending order.
5, z, h
Let g be (1152/3)/(-1)*(-10)/20. Sort 0, -5, g, 5 in descending order.
g, 5, 0, -5
Let w = 17 + -17.6. Let q = w + 0.1. Put 4, 0.3, q in ascending order.
q, 0.3, 4
Let t = -0.276 + -0.224. Let q = -48.3 + 52. Let c = 0.7 - q. Put t, -1, c in descending order.
t, -1, c
Let w(n) = n + 7. Let b be w(-5). Suppose -64 + 14 = -10*a. Put -4, b, a in decreasing order.
a, b, -4
Let u = -25.966 + -0.034. Let j = -27 - u. Put -0.2, j, 5 in descending order.
5, -0.2, j
Suppose 3*t + 5*k = 26, -4*t = -8*t - 5*k + 28. Let a = 109/4 - 119/4. Sort a, 4/5, t in descending order.
t, 4/5, a
Let y be 9*((-80)/(-75))/8. Sort -0.1, y, 0, -3 in descending order.
y, 0, -0.1, -3
Let o be (-2 + -1)*(-10)/(-6). Suppose 2*x = -5*u - 10 - 43, 2*u - x = -14. Let s = u - -14. Sort s, 1, o in descending order.
s, 1, o
Let k(x) = 9*x**2 - 9 + 3 - 4 + 2*x - 2*x**3. Let r be k(4). Put r, -3, 2 in ascending order.
-3, 2, r
Suppose -7*z + 50*z + 43 = 0. Sort z, 10, 2, -2.
-2, z, 2, 10
Let t be 24/(-10) + 33/(-55). Let v = -149 - -153. Sort 1, v, 5, t in decreasing order.
5, v, 1, t
Let v = 21 - 17. Suppose -v = -4*j + 28. Let n be 20/j - 1/2. Put n, 4, -4 in decreasing order.
4, n, -4
Let o be (-5)/(-25) - 56/5. Let l be (-3)/(-9)*9 - o. Let r = 17 - l. Put r, 1, 0 in decreasing order.
r, 1, 0
Let w be 2/(-4)*2852/10. Let a = 143 + w. Let u = 1 + -1.4. Sort -4, u, a in increasing order.
-4, u, a
Let k(n) = -n**3 + 5*n**2 - n + 4. Let r be k(5). Let f = -4809 + 4819. Put r, f, 3, -0.4 in ascending order.
r, -0.4, 3, f
Let d be (1*4/5)/(-2). Let r = -7/5 + 16/15. Sort r, d, -0.1, 1 in descending order.
1, -0.1, r, d
Suppose -3*x - 2 + 5 = 0. Sort 2/21, -45, x in decreasing order.
x, 2/21, -45
Suppose 2*y + s - 6*s + 40 = 0, -2*y - 2*s = 26. Let v = -1.02 - -0.02. Put y, -3, 0.5, v in decreasing order.
0.5, v, -3, y
Let o be (-5 + -23)/7*4/2. Suppose 0*y = -4*y + 52. Suppose -f = 2*n + 13, 0*n = -5*f + 3*n - y. Put 4, f, o in ascending order.
o, f, 4
Let g = -3 - -4. Let k = 13.55 - 13.75. Sort -3, g, k.
-3, k, g
Let j be (-19)/28 + (-1)/(-4). Let n = -2392/21 + 114. Put n, -2, j in descending order.
n, j, -2
Let b be (-18)/(-54) + 3/(9/(-7)). Put b, 6, -1 in descending order.
6, -1, b
Let w be ((-2)/4)/(62/(-496)). Sort 0, -18, w in decreasing order.
w, 0, -18
Let h = -15 + 27. Let o = h + -12.34. Let b = -0.14 - o. Put -0.1, 1, b in decreasing order.
1, b, -0.1
Let d = -20 - -29. Let y be (21/d)/(-7)*6. Sort 0, 2, y in decreasing order.
2, 0, y
Let n = -33 - -38. Suppose -2*p - u = -11, -n*u = 4*p - p - 20. Suppose 2*h + 8 = 2*l, 0*h + 5*h = -p*l. Put -2, l, 0 in descending order.
l, 0, -2
Let b = 35.41 - -1.59. Sort 0.3, b, -5/4 in descending order.
b, 0.3, -5/4
Let o = -4.9 - -26.9. Suppose -9 + 3 = 3*g. Let p be 1*g*(-2)/(-20). Put 2/3, o, p in ascending order.
p, 2/3, o
Let z = -6 + 5.9. Let d = 3.9538 + 0.0462. Sort d, 0.1, z, -3/2 in ascending order.
-3/2, z, 0.1, d
Suppose 0 = -2*t + 2*l + 4, -3*t + 11*l = 15*l - 13. Sort -5, 134, -3, t in decreasing order.
134, t, -3, -5
Let d be ((-60)/400)/(6/(-4)). Let h = 11.1 + -11. Let o = -0.1 - h. Sort -1/7, d, o in ascending order.
o, -1/7, d
Let v = -1 + 0.9. Let t = -464 - -421.4. Let k = t - -43. Sort 6, k, v in ascending order.
v, k, 6
Let f = -344 - -305. Put 2/3, 0, f in descending order.
2/3, 0, f
Let q = 7/4 - 25/12. Sort q, 4, -0.6 in descending order.
4, q, -0.6
Suppose t + 4*t + 15 = 0. Let b(s) = s - 6. Let j be b(10). Let w be 3/((-9)/12*-2). Sort j, t, w in increasing order.
t, w, j
Suppose -16 = -4*z, 2*d + 3*z - 84 = 6*d. Let h be 6/(-27) + 32/d + 1. Sort 3, h, 1, -4 in decreasing order.
3, 1, h, -4
Let l(m) = -m**3 - 11*m**2 + 13*m + 14. Let q be l(-12). Let u be (q/5)/((-55)/25). Let x = 1 + -0.8. Sort x, 1/3, u.
u, x, 1/3
Let y be (-13)/5 - 2/5. Let z(j) = j**3 - 3*j**2 + 3*j - 5. Let f be z(3). Suppose -2*s - f = d + 9, 0 = -3*d + s - 11. Put y, d, 4 in decreasing order.
4, y, d
Let p = -0.052 + 0.252. Let l = 0.3 - 0.2. Let y = p - l. Sort 0.3, y, 2 in decreasing order.
2, 0.3, y
Let x = 1.05 + 41.95. Let v = 42.8 - x. Let m = 0.2 - -0.2. Sort m, 0.1, v.
v, 0.1, m
Let o = -34 + 26. Let i be 4 + 12*o/12. Sort i, -2, 5.
i, -2, 5
Let j(v) = 13*v**2 - 40*v + 5. Let p be j(3). Sort -24, p, -5, 4.
-24, -5, p, 4
Suppose 4*z = 8*z - 20. Suppose -z*v + 0*v = 10. Let g = v + 1. Sort 2, g, 0.4 in ascending order.
g, 0.4, 2
Let o(l) be the first derivative of l**5/20 - 7*l**4/12 + 4*l**3/3 - 4*l**2 + 6*l - 3. Let k(v) be the first derivative of o(v). Let i be k(6). Sort i, 5, 1.
1, i, 5
Let v = 11/9 - 4/3. Let d be (-12 - -14)/((-4)/10).