 in ascending order.
b, 1, 4, q
Let a(y) = -y**3 + 5*y**2 - 2*y - 4. Let p = 6 + -2. Let d be a(p). Sort -2, 1, d in descending order.
d, 1, -2
Let o = 493 - 492. Put -4, -10, o in increasing order.
-10, -4, o
Let h(t) = t**3 - 3*t**2 - 2*t - 8. Let a be h(4). Let k(v) = v**2 - 3*v + 4. Let r be k(a). Sort 0, r, 5, 3.
0, 3, r, 5
Let v be (30/(-18) - -1)/(267/9). Sort 2/7, 0.5, 4, v.
v, 2/7, 0.5, 4
Let b be (14/175)/(3/(-15)). Sort 4, -2, 2, b in descending order.
4, 2, b, -2
Let t be -1 - (-1)/(-3) - (-208)/192. Sort t, 1, 3, 61 in decreasing order.
61, 3, 1, t
Let c be (24/12*-2)/((-4)/5). Suppose -3*s - 25 = 4*p, -s + 0*s = 3*p + 15. Put 4, p, c in decreasing order.
c, 4, p
Suppose -u - 4 + 0 = 0. Let o = 22 - 20. Suppose -a + 7*d - 2*d = 3, 15 = -5*a - d. Sort o, a, u in descending order.
o, a, u
Let k = -0.0395 - -0.0395. Sort 5, k, -12 in descending order.
5, k, -12
Let s be (-11)/((-33)/222) - 0/(-1). Put 3, s, 4 in ascending order.
3, 4, s
Suppose -2*a = -0*a - 4. Let q(c) = -c**2 + 6*c + 22. Let i be 258/30 + -1 + (-14)/(-10). Let o be q(i). Sort o, a, -4 in increasing order.
o, -4, a
Let z(k) = 3*k - 1. Let a be (-8)/6*21/(-14). Let g be z(a). Suppose f = g*f - 16. Sort f, -1, 2.
-1, 2, f
Let t be 3/(18/(-25)) + (-55)/66. Sort 3, 4, t, 19 in decreasing order.
19, 4, 3, t
Let h = -9.93 - -10. Let i = h - -4.93. Let k = -0.2 + 0.4. Sort i, 4, k in ascending order.
k, 4, i
Let i be (-11)/(5 + 6)*44/(-2). Sort 1, i, -2 in decreasing order.
i, 1, -2
Let o(x) = x**2 - 3*x - 24. Let f be o(7). Suppose -w + 0*w = -2. Suppose -w*h - 1 = u, 0*u + 1 = -4*h - u. Sort h, f, -5.
-5, h, f
Let l be (-2 + 4/(-10)*-5)/(-1). Let c be (l/(-1))/1 + -1. Put c, -3, 2, 0 in decreasing order.
2, 0, c, -3
Let h be (2 - -50)*1/4. Let a(g) = 15*g + 166. Let z be a(-11). Put z, -5, h in decreasing order.
h, z, -5
Let n = -72 + 72. Suppose n = 3*i - 44 + 53. Put i, -22, -4 in ascending order.
-22, -4, i
Suppose 14*j + 6 = 17*j. Suppose j*n + 4*c = -c + 43, c - 14 = -n. Sort -2, 0, n, 4 in increasing order.
-2, 0, 4, n
Let g be (60/(-18))/(2/(-6)). Let c be (-2)/(-4) - 5/g. Suppose b + 1 = 2. Put b, -5, c in increasing order.
-5, c, b
Suppose a + 2*c = 0, 0 = c - 8 + 6. Let b be (1/2)/((-2)/4). Sort 0, a, b, -2 in ascending order.
a, -2, b, 0
Let q = -0.1 + 0.3. Let f = 2344 + -2337. Sort 0.06, f, q.
0.06, q, f
Let c(l) be the first derivative of -l**3/3 + 3*l**2/2 - 6*l - 9. Let h(r) = -r - 1. Let t(b) = -c(b) + 2*h(b). Let v be t(3). Sort 0, -9, v.
-9, v, 0
Let u = -19 + -19. Let y = u + 34. Sort y, 1, 6 in increasing order.
y, 1, 6
Let i be (-10)/12*52*(-63)/(-42). Sort -3, -4, 0.4, i in decreasing order.
0.4, -3, -4, i
Let i(f) = -f**2 + 4*f + 8. Let g be i(5). Suppose -2*r + 14 = -4*z, 0 = -z - 2*r + 3*r - g. Sort z, 0, 4.
z, 0, 4
Suppose 19*p - 22*p - 12 = 0. Put -13, -1, 3, p in decreasing order.
3, -1, p, -13
Let i = 271 - 272. Let a = 3 - 3.1. Let j = -0.3 - a. Sort j, 0.03, i in ascending order.
i, j, 0.03
Suppose 0 = 113*t - 119*t - 30. Put t, 4, 3 in decreasing order.
4, 3, t
Suppose 16 = 7*k - 3*k - y, -y = 2*k - 8. Let w(i) = -2 + 2*i + 2*i + 0*i - 3*i. Let z be w(7). Sort -2, k, z in decreasing order.
z, k, -2
Let g be (-6)/(-45) - (-806)/30. Suppose 3*n - h = 2*h + g, -16 = 4*h. Sort 4, 1, n in ascending order.
1, 4, n
Let g(y) = -y**3 + 6*y**2 - 6*y + 7. Let d be g(5). Let m(n) = 23*n + 180. Let p be m(-8). Sort -1, p, d in ascending order.
p, -1, d
Let t be 0/(18 + -18 - 1/(-1)). Put -6, 48, t in descending order.
48, t, -6
Let w be (-5)/25 - (-54)/45. Let b = -16 + 41. Suppose -b = 3*o + 2*o. Put o, 2, w in descending order.
2, w, o
Let n be (-8 + 2 + 0)/(18/(-12)). Sort -5, n, 5 in decreasing order.
5, n, -5
Let i = -1 - -0.9. Let j = 22 + -16. Let q be (17/357)/(1/j). Put i, -5, q in descending order.
q, i, -5
Suppose -9 = 3*p - 15. Suppose p*z + 12 = -2*k, 8 = -z - 5*k - 18. Sort 3, z, 4 in decreasing order.
4, 3, z
Let f(y) = -y**2 - y - 4. Let b be f(0). Suppose -4 = 4*g - 8*g. Put b, g, 3, -1 in descending order.
3, g, -1, b
Let d be 1/(((-9)/27)/((-5)/3)). Let u be (2 + -1*2)/(-2). Let b be (-4)/(3 - u - 2). Put d, b, -1 in decreasing order.
d, -1, b
Let m = -62 + 71. Put 1/2, 0.11, m in ascending order.
0.11, 1/2, m
Let x(n) = 3*n - 1. Let g be x(2). Suppose -o + 0 = -5, -49 = 3*t + 4*o. Sort t, 3, g in ascending order.
t, 3, g
Let y(c) = -c**3 - 2*c**2 + 2*c. Let n be y(-3). Suppose 2*t = -2*x - 10, 2*x - 7 = t - 2. Let g = -2350 + 2354. Put g, n, t in ascending order.
t, n, g
Let b = 305 - 303. Put 70, -5, b in increasing order.
-5, b, 70
Let d(f) = f**3 - 5*f**2 + f + 2. Let n be d(2). Let i be -3*2/n*20/(-30). Let z = 1.7 - 2. Sort z, 2/3, i.
i, z, 2/3
Let b(o) be the second derivative of o**3/2 - 4*o. Let q be b(1). Put -6, 1, q in decreasing order.
q, 1, -6
Suppose 5 = -3*p - 5*t - 1, 3*p - 4*t + 6 = 0. Let u be (12/16)/((-12)/(-64)). Put u, p, 6 in increasing order.
p, u, 6
Suppose 4*t - 11 = -5*p, -20*t + 21*t + 5*p + 16 = 0. Sort 30, -3, t in increasing order.
-3, t, 30
Let v be (-24)/6 + (4 - -2). Let z be v/10*(-2 + 0). Put -1/4, z, 1/7 in decreasing order.
1/7, -1/4, z
Let b(t) = -t**3 + 5*t**2 + 4. Let k be b(5). Suppose 0 = 3*h - h. Suppose 2*r = -r + 5*y - 30, 2*r - 4*y = -22. Put h, r, k in decreasing order.
k, h, r
Suppose 35 = -4*b - b. Let q = 13 + b. Let m = q + -5. Sort m, -1, 2 in decreasing order.
2, m, -1
Suppose -f - 4*f = -5. Let h = 90 + -94. Sort h, f, 8 in increasing order.
h, f, 8
Let z = 65 - 65.31. Let y = -13.09 - -13. Let c = z + y. Put -5, c, -0.5 in increasing order.
-5, -0.5, c
Let w = -2.8 + 2.83. Let c = w - -0.02. Put 0, c, 2/7 in ascending order.
0, c, 2/7
Let h be ((-2)/(-8))/((-7)/(-56)). Suppose -3*s - 4 = k, s - h*k - k - 12 = 0. Sort 2, s, -2 in decreasing order.
2, s, -2
Let u = 18 - -34. Let s = u - 52.3. Let q = 1.1 - 5.1. Put q, s, 5 in decreasing order.
5, s, q
Let o be 2*(28/(-8))/(-1). Suppose o*i + 1 = 8. Sort i, 12, -5, -3.
-5, -3, i, 12
Let g = 7 - 5. Let c be (2 - (-24)/(-9))*-3. Suppose -c*d = 3*t - 4*d + 19, d = -4*t - 18. Put -4, g, t in ascending order.
t, -4, g
Let t = -5 - -2. Let f be 32/(-8) - (-10 - 473/(-77)). Sort 2/11, t, f.
t, f, 2/11
Let r = -1.28 + 5.28. Put r, 0.5, 0, -3 in descending order.
r, 0.5, 0, -3
Let j = 2712.4 + -2712. Sort -1, j, -14/11.
-14/11, -1, j
Let k be ((-9)/(-21))/(1 - 0). Let o be (5/(-10))/(-1 - 4/16). Sort 5, o, k.
o, k, 5
Let d = 0.0482 - 0.1182. Sort d, 5, -2/13, 1/5 in descending order.
5, 1/5, d, -2/13
Suppose -5*l - 4*k - 37 = 0, -19 = 3*k - 10. Sort l, -2, -4, -7 in decreasing order.
-2, -4, l, -7
Let j = 413.05 + -413. Sort j, 1/5, 0.
0, j, 1/5
Let m = -330.1 + 330. Sort -0.53, m, -0.4 in descending order.
m, -0.4, -0.53
Suppose -9 = 3*s + 3*g, s + 2*g + g = -11. Suppose 2*x + 2*q = 2 - 6, -5*q + 6 = -3*x. Sort x, s, 0, -13.
-13, x, 0, s
Let f be ((-4)/(-2))/((-4)/10). Suppose 5*q = 4*s - 7, 0*q + 7 = q + 2*s. Let c(j) = -16*j**2 - 177*j - 8. Let r be c(-11). Put q, r, f in ascending order.
f, q, r
Suppose 7*v + 12 - 26 = 0. Suppose -2*t = t - 15. Put v, t, 3, 4 in ascending order.
v, 3, 4, t
Let d = -0.06 - -2.06. Let f = d - 2.06. Sort -2/7, -0.5, f in ascending order.
-0.5, -2/7, f
Let n(l) = 7*l**2 - 3*l + 1. Let f be n(1). Suppose f*y + 9*b = 4*b, -4*b = 3*y. Let g be -10 - (0 + y + -4). Put g, -0.2, -5 in increasing order.
g, -5, -0.2
Let c = 25.8 - -80.2. Put c, -2, 0.4 in descending order.
c, 0.4, -2
Let q = 1.4 - 0.4. Let u = -0.34 - -5.34. Let p = u - q. Sort p, -1/5, 0.4 in decreasing order.
p, 0.4, -1/5
Let v(q) = q**3 + 4*q**2 - 3*q - 5. Let w(h) = 2*h + 10. Let s be w(-7). Let a be v(s). Let t = a - 12. Put 2, 3, t in descending order.
3, 2, t
Let n = -7 - -8. Suppose -p + 5*b + 23 = 0, -3*b = 5*p - 4 + n. Suppose -4*j - p*c - 41 = 2*c, 2*j + 2*c + 18 = 0. Sort 5, 3, j in descending order.
5, 3, j
Let r(q) = -4*q - 32. Suppose -3*l + 29 = -6*v + 4*v, v = l - 12. Let n be r(v). Sort -3/4, n, -27, 0.4.
-27, n, -3/4, 0.4
Let z be (12/3)/((-1)/(-2)). Suppose 2*a = -2*n + z, n = 3*a - 4 - 4. Sort 3, n, -5, -12 in decreasing order.
3, n, -5, -12
Let c = -14 + -44. Let a(d) = d**3 + 7*d**2 + 8*d + 10. Let t be a(-6). Sort c, -1, t in descending order.
-1, t, c
Let y = 5222/9 + -580. Put y, -0.5, -2/3, -0.4 in descending order