6/3. Sort a, i, -1 in descending order.
i, -1, a
Suppose -4*y = -3*y - 2. Suppose 0 = 3*c - y*c. Let p = 2074 - 2072. Sort p, -3, c.
-3, c, p
Let y = -1.58 - -1.51. Put 1/4, 1, y, -1 in increasing order.
-1, y, 1/4, 1
Suppose -4*z + 44 = -28. Suppose 3*s - 5*s = -z. Suppose -o + s = x - 0*x, -5*x + 4*o + 9 = 0. Put x, -4, -9 in descending order.
x, -4, -9
Let m(z) be the first derivative of z**2/2 + 2*z + 4. Let u be m(-7). Sort u, -4, -3 in ascending order.
u, -4, -3
Let x = -58 - -60. Suppose x*w + 5*b = -6, -5*w - 2*b - b - 15 = 0. Sort -2, -5, w.
-5, w, -2
Let r(a) = 3*a**3 - 65*a**2 - 21*a - 18. Let n be r(22). Sort 23, n, 5 in descending order.
23, 5, n
Suppose -2*s + 4*f - 10 = -6, -5*s - f = -23. Sort 6, -4, s in decreasing order.
6, s, -4
Let l be (12 + -13)*7*2/14. Let k be (-1)/(1*(-1)/3). Sort -5, k, l.
-5, l, k
Suppose 12*c = 13*c + 3. Suppose q + 5*d = 2, 0 = 4*q - 6*d + 7*d - 8. Put -1, q, c, 3 in decreasing order.
3, q, -1, c
Let a = 2 + -5. Let v = -1109 + 3328/3. Put a, 3, v in descending order.
3, v, a
Suppose j - 5 = 2*q - 14, -3*j - 4*q + 3 = 0. Let z be (-1 + 1 - j)*39/9. Sort -5, z, 4.
-5, 4, z
Let n(s) = s**2 + 6*s + 7. Let g be n(-5). Let x(y) = y**3 + 3*y**2 - 4*y + 3. Let k be x(-4). Sort g, k, 0.
0, g, k
Let w = -1060 + 1042. Sort 5, -4, -1, w in decreasing order.
5, -1, -4, w
Let q(z) = -3*z + 4. Let w be q(1). Put 21, w, 11 in ascending order.
w, 11, 21
Let f(y) = -y**2 - 4*y + 61. Let k be f(6). Put 4, 1/4, k in decreasing order.
4, k, 1/4
Let o(d) = 14*d - 56. Let n be o(4). Sort n, -6, -1, -10 in increasing order.
-10, -6, -1, n
Suppose 14 = 3*q - 2*m, 2*q = 5*m - 3 + 27. Suppose 2*s + s + 6 = 0, s = d - 7. Suppose n + d = -4*n. Put q, 1, n in descending order.
q, 1, n
Let c(n) = 4*n**2 - n**3 + 1 + n**3 - 2*n**2 - n + n**3. Let a be c(-2). Let i be (1/a)/((-24)/32). Sort 10/9, i, 5 in ascending order.
i, 10/9, 5
Let o = 11 - 10. Sort o, 2/23, 86/7 in decreasing order.
86/7, o, 2/23
Let p = -0.17 - 0.03. Let g = 0.295 - 0.195. Put g, -3, 23, p in ascending order.
-3, p, g, 23
Let b be -2 + (-416)/11 + 2/(-11). Put 3/5, b, 0.4, 1 in decreasing order.
1, 3/5, 0.4, b
Suppose 4*w - 2*x = 14, 0 = 22*x - 18*x - 4. Put -4, w, 0, -1 in decreasing order.
w, 0, -1, -4
Suppose -137 - 83 = 51*q + 35. Suppose 2*o - 4 = 2*x + 2, -4*x = 2*o - 6. Sort q, x, -1, -2 in decreasing order.
x, -1, -2, q
Suppose -28*s - 2048 = 4*s. Put 2, -5, s in descending order.
2, -5, s
Suppose 0*t + 2*t = 4. Suppose -4*n = 4, 4*n = t*a - n + 5. Let b(l) = 10*l + 64. Let i be b(-6). Sort a, i, 5 in decreasing order.
5, i, a
Suppose -4*t - 57 + 45 = 0. Let h(b) = -b**3 - 4*b**2 - 2*b - 5. Let z be h(-4). Sort 4, z, t, -2.
t, -2, z, 4
Let a be 71/2 - 1/(-2). Let d = a + -41. Let o = -9 - -7. Put -6, o, d in decreasing order.
o, d, -6
Let p be -6*9/27 + -1. Sort -1, 3, p, 2 in increasing order.
p, -1, 2, 3
Suppose 10 = -2*c, 10*n - 5*n - c = 25. Sort n, -4, -5, -23.
-23, -5, -4, n
Suppose -o = -3*o + 4. Suppose o = 2*q - 0. Let t be -3 + (q - 5/(-3)). Sort 2, -2/3, t.
-2/3, t, 2
Suppose 0 = -l + 5*f - 10, -3*l - 3*f - 14 = -2. Suppose 86*q - 22*q + 214 - 22 = 0. Let z = -3 - -1. Sort z, l, q.
l, q, z
Suppose -5*g - 5 = -2*v - 31, 9 = v + 3*g. Sort v, 2, 4.
v, 2, 4
Suppose 13 = 2*r + 5. Suppose -3*n = n - n. Suppose -2*t + 4 = -r*a, a - 4*a = n. Put -5, 5, t in increasing order.
-5, t, 5
Let c = 0.46 - 0.36. Let i = -168 - -675/4. Sort c, i, -0.5 in decreasing order.
i, c, -0.5
Let t = 1/768 + 331/7936. Put -5, -2, t in increasing order.
-5, -2, t
Let f = -819 - -817. Put 93, f, -1 in ascending order.
f, -1, 93
Let w = 0.0604 - 0.4604. Sort -2/17, 2/69, w in ascending order.
w, -2/17, 2/69
Let m(q) = -10*q**3 - q**2 + q + 1. Let x be m(-1). Suppose x = -3*z + 3. Let b be 3*z - (-1)/1. Sort -4, 2, b in ascending order.
b, -4, 2
Suppose s = 5*s - 4. Let c be 13*(-6)/(-39)*-1. Put c, 3, s, -33 in descending order.
3, s, c, -33
Let i be (-17)/5 + 21/(-35) + 0. Sort -0.5, -2/3, i, -2/19 in descending order.
-2/19, -0.5, -2/3, i
Let b = -13 + 14.26. Let o = b - 1.16. Put o, 2, -2/15, -0.4 in descending order.
2, o, -2/15, -0.4
Let d = 36 - 28. Put d, -4, 7 in descending order.
d, 7, -4
Let f = 45 - 46. Let v = -313/12 - -26. Let q = 8 + -8.4. Sort q, v, f.
f, q, v
Let p = -4.08 - -0.08. Let c = -47.72 - 0.28. Let r = 47.7 + c. Sort p, r, 3 in decreasing order.
3, r, p
Let m = -6/13 - -16/91. Suppose -6 = 11*j + 49. Put -0.5, m, 2/3, j in descending order.
2/3, m, -0.5, j
Let h = 316 + -331.7. Let t = -16 - h. Sort -0.1, 2/7, t in descending order.
2/7, -0.1, t
Let r = -2322 + 2318. Sort 5, r, -0.2, 9 in ascending order.
r, -0.2, 5, 9
Suppose -4*j - 4*o = -44, 2*j + j + o = 23. Let p be 1 - j/2*1. Let n be 2/((-4)/8*4). Sort n, -4, p.
-4, p, n
Suppose 0 = -2*f + 5*f - 12. Sort f, 8, 5 in ascending order.
f, 5, 8
Let k = -14 - -35. Let z = k + -19. Let c = 5 + -1. Put -3, c, z in ascending order.
-3, z, c
Suppose -18*d = -27*d. Put 3, -4, 4, d in descending order.
4, 3, d, -4
Let h = -205 + 397/2. Let n = 37/6 + h. Put -1, 1/8, n in increasing order.
-1, n, 1/8
Let t = 0.054 - -33.946. Let k = 48 - t. Let n = k + -13.8. Sort 5, 2, n in increasing order.
n, 2, 5
Let k be (8364/(-1188) - -7) + 4/18. Sort -2, -4, 0.4, k in ascending order.
-4, -2, k, 0.4
Suppose 66*a - 1221 = 33*a. Sort a, -1, 4, -4 in descending order.
a, 4, -1, -4
Let f = -1.178 + 0.178. Let y = -15 - -10. Let l = -0.41 - -0.01. Put y, f, l in increasing order.
y, f, l
Suppose 0 = -3*c - m + 10, -c + 0*c = -4*m + 1. Suppose -4*i = i. Let b be ((-10)/4 + 3)*-6. Sort b, i, c in increasing order.
b, i, c
Let c(i) = 4*i**3 - 22*i**2 - 11*i - 9. Let h be c(6). Sort -0.09, h, 5, 20 in decreasing order.
20, 5, -0.09, h
Let n = -233 + 234. Let t = 53/12 - 14/3. Sort 2, 0, t, n.
t, 0, n, 2
Let m = 336.5 - 337. Sort m, 0.1, 2/5, 3/4 in ascending order.
m, 0.1, 2/5, 3/4
Let d be ((-5)/15)/(2/906). Sort 2, 0, -1, d in descending order.
2, 0, -1, d
Suppose -2*w + 4*m = 41 + 47, -w - 44 = 4*m. Sort 0, w, 4.
w, 0, 4
Let w = -20.7 - -18.7. Let h be 2*(1 + 0) + 14. Let r = -10 + h. Sort r, w, 3 in increasing order.
w, 3, r
Let o be (-3 - -4)/(1/55). Put 4, 2, o, 3 in decreasing order.
o, 4, 3, 2
Let p be 240/(-72)*18/(-130). Sort 1/6, 1, p, 1/5 in descending order.
1, p, 1/5, 1/6
Let b be (-150)/(-125)*(-5)/(-2). Let c be (-1 - 0)*(-3 - -2). Suppose b*a = 10 - c. Sort a, 9, 2 in increasing order.
2, a, 9
Let g = 440 + -367. Put g, -5, -2 in decreasing order.
g, -2, -5
Let d be ((-4)/16)/((-3)/12) - 6. Suppose 4*j = 3*j + 4. Put d, -2, j in descending order.
j, -2, d
Let g be (-2)/5 + (144/(-20))/(-3). Put g, 10, -3/5, 4 in increasing order.
-3/5, g, 4, 10
Let r = 80 - 51. Suppose r*l - 24*l = 10. Let q be 4/14 + (-16)/7. Sort l, q, -3 in decreasing order.
l, q, -3
Suppose -4*s + 5*t = 1, -54*s - 13 = -50*s - t. Put -5, s, -3, -40 in increasing order.
-40, -5, s, -3
Suppose -171*c + 27 = -180*c. Sort -2, c, -1, 9 in decreasing order.
9, -1, -2, c
Let b = 24 - 24. Suppose c - 5*c + 8 = b. Suppose 2*v + c*f + 14 = 0, 2*v + 0 = 2*f - 2. Put 5, v, -2/17 in increasing order.
v, -2/17, 5
Let z = -44/13 - -49/26. Let h be ((-5)/(-3))/((-12)/9). Sort 6, h, z in increasing order.
z, h, 6
Let t = -363001/108 - -6723/2. Let j = -58789/27 - -2177. Let g = t - j. Sort 2/11, g, -0.5.
-0.5, 2/11, g
Let g be (-160)/60 + 3 - 28/30. Put -4/7, g, -0.08, -3/10 in ascending order.
g, -4/7, -3/10, -0.08
Let p = 0.1 + 0.4. Suppose 0*r = -8*r - 616. Let u = 80 + r. Sort u, -4, p in descending order.
u, p, -4
Suppose 2*f + 2*x = 2, 0 = -0*f + 4*f + 3*x + 1. Let p = 0.3 - 0.1. Sort 1, f, -1/8, p.
f, -1/8, p, 1
Let n be 6*(-4)/(-2 - -38)*-6. Sort -5, 0, 3, n in ascending order.
-5, 0, 3, n
Let s be 9 + (1 - 2 - 2) + -3. Suppose -5*l - 33 = s*b, -2*b - 2*b - 34 = 5*l. Put -2, 2, l in ascending order.
l, -2, 2
Let s = -18/65 + 8/65. Sort 0.4, 4/19, s, 0.1.
s, 0.1, 4/19, 0.4
Let k = 2791.99 - 2792. Sort 0.4, 123, k, 0.5.
k, 0.4, 0.5, 123
Suppose 3*y = 9, -4*v + 12 = -5*y - 9. Let f = -7.15 + 7. Let j = f + 0.05. Put j, v, 4 in descending order.
v, 4, j
Let m = 2237 + -11189/5. Let l = 3.5 - 3. Put l, -1/4, -4, m in descending order.
l, -1/4, m, -4
Let s(t) = -30*t**3 + 4*t**2 - 9*t + 14. Let q be s(2). Let p = -233 - q. Let b = -3.9 -