-2, c, n
Let c = 263/12 - 65/3. Sort c, 6, -0.5, 5/4 in decreasing order.
6, 5/4, c, -0.5
Let f(c) = -c**2 + 10*c - 14. Let d be f(4). Suppose d*i + 6 = 7*i. Suppose -3*u - 15 = -q + 3*q, -4*u - 3*q = 20. Sort -6, u, i.
-6, u, i
Let f = -3333 - -49969/15. Let g = 16/15 + f. Let s = 2.82 - -0.18. Put -0.2, s, g in decreasing order.
s, -0.2, g
Let o = 0.1 + 3.9. Let r = o + -4.1. Let y = -8.54 - -8.24. Sort r, -1/5, y in increasing order.
y, -1/5, r
Let k = -24.8 + 25.8. Put k, -3, -18 in decreasing order.
k, -3, -18
Let z = 89 - 85. Suppose 3*b + 14 = -z*b. Suppose 0 = -2*i + 4*i - 3*h - 15, 4*i - 20 = 4*h. Sort i, -5, b in descending order.
i, b, -5
Suppose -5*a + 4*n = 7, 4*n = -4*a + 2*n + 10. Let d(o) = 3*o**2 + o. Let x be d(a). Let k = -12 - -17. Sort k, 0.5, x in decreasing order.
k, x, 0.5
Suppose -14 = 2*k - 0*k - 2*d, 33 = -5*k + 4*d. Sort 0.1, k, 2, -3 in decreasing order.
2, 0.1, -3, k
Let n = 1.573 + -84.573. Put n, 2, -0.1 in decreasing order.
2, -0.1, n
Let f = -0.1334 - 115.8666. Put 0.5, 0.1, f in increasing order.
f, 0.1, 0.5
Suppose -3*j = -5*m + j + 9, -2*j = 5*m - 3. Sort 4, -2, m, 3 in decreasing order.
4, 3, m, -2
Let r be (-3)/(9/(-5)) - 0. Let p = -3019 + 3018. Put r, p, 20 in descending order.
20, r, p
Suppose 5*x - 2*j - 518 = 0, -x = 3*x - j - 415. Let g = x + -310/3. Put 1, 5, -1/4, g in decreasing order.
5, 1, g, -1/4
Let w = 158 + -239. Let y = 81.3 + w. Sort -2/17, 1, y, -3.
-3, -2/17, y, 1
Suppose -3*k + 11 + 5 = -a, 32 = 5*k + a. Suppose -37 = -k*f - 1. Let q be -1*(-1 + -3)*1. Put q, f, 3 in increasing order.
3, q, f
Let t = 162 - 167. Put -1, -3, t in decreasing order.
-1, -3, t
Suppose 0 = -4*v + c - 3*c + 6, 4*c - 12 = -5*v. Let i be (v - 1)/((-2)/6) - 7. Sort i, -1, 9.
i, -1, 9
Let f be (-484)/363*3/4. Sort -19, 2, f, -2.
-19, -2, f, 2
Let s(g) = g**3 + 4*g**2 - 1. Let f be s(-4). Let u = -28 + 38. Let c be 70/(-28)*(-3)/u*-4. Sort 5, f, c in decreasing order.
5, f, c
Let i be 15/(-9)*(-7 - -1). Suppose 2*k = 4*g + 16, 5*g - i = -5*k - 0*k. Put -6, k, -3 in descending order.
k, -3, -6
Let f = -4.33 - -4.73. Suppose 5 = -2*c - 3. Let d be (2/(-4))/(21/c). Sort -3, d, f.
-3, d, f
Let k = -127 - -128. Let g = -262 + 2884/11. Sort k, g, 6.
g, k, 6
Let b = -342.5 + 342. Sort b, -0.1, 0.3, 0.5 in decreasing order.
0.5, 0.3, -0.1, b
Suppose i + 6 = -2*j, -5*j - 5*i + 18 - 23 = 0. Sort 1, j, 4, -3 in decreasing order.
4, 1, -3, j
Let u(c) = -2*c - 1. Let l be u(1). Let n = 128 - 137. Sort l, 0, n in descending order.
0, l, n
Let o be ((-18)/153)/((-22)/(-89)). Let c = o - -5/17. Sort 2/7, c, -1, -3/2 in ascending order.
-3/2, -1, c, 2/7
Let s = -368 - -365. Sort 3, s, 0.2 in descending order.
3, 0.2, s
Let h = 207/2 + -310/3. Put -1/3, h, 0 in increasing order.
-1/3, 0, h
Let t = -17.2 + 17.12. Put t, 0.4, 1 in descending order.
1, 0.4, t
Let q be 1/4 - 56/(-32). Suppose q*z - 2 = 4*z. Let l = 7/5 + -9/5. Sort l, z, -4 in ascending order.
-4, z, l
Let l = 1.8 - -0.2. Let v = -3/161 + -629/805. Sort v, l, 5 in increasing order.
v, l, 5
Let c = -1.28 - -0.08. Let k = -2843.1 + 2843. Sort 4/3, k, -4, c.
-4, c, k, 4/3
Suppose 0 = -752*h + 761*h + 45. Let k(v) = v**3 + 5*v**2 - 5*v - 7. Let l be k(-5). Sort h, -2, l, 4.
h, -2, 4, l
Let r be (-9)/(-7) - (-8)/(-28). Suppose -3*k + 17 = s, 2*s + 8 = s + 2*k. Let g be (-9)/s*4/6. Put r, g, -5 in descending order.
r, g, -5
Let g = 548/15 - 110/3. Let w = 552 + -555. Put w, 2, g, 0 in decreasing order.
2, 0, g, w
Suppose 2*j = -2*c + j - 5, 4*c = 2*j - 22. Let d = -945/8 - -118. Sort 1/5, -0.1, c, d.
c, d, -0.1, 1/5
Let d be (22/(-121))/2*2. Suppose -4*s = -6*s + 2. Sort s, 1/10, d in increasing order.
d, 1/10, s
Let x be (-23)/4 + 195/260. Suppose 0 = 5*w - 11 - 4. Put -2/21, w, x in increasing order.
x, -2/21, w
Let q = 11 - 13.8. Let k = q - -3.8. Let p = -5.03 - -0.03. Put p, k, -0.5 in ascending order.
p, -0.5, k
Let m = -7.294 - -0.294. Put 3/8, 0, m in decreasing order.
3/8, 0, m
Let n(a) = -35*a + 355. Let z be n(10). Put z, 2, -9 in descending order.
z, 2, -9
Let z = -121 + 116. Suppose -3 = -n + m, 2*n = m - 4*m + 6. Sort z, n, 2 in decreasing order.
n, 2, z
Suppose 3*b + 4 = 2*b. Let y(j) = -j**3 + 27*j**2 - 48*j - 45. Let c be y(25). Sort -2, b, c, -40 in decreasing order.
c, -2, b, -40
Let b = -4 + 3. Let w = b - -4. Let r(n) = 188*n + 945. Let y be r(-5). Sort w, 2, y in decreasing order.
y, w, 2
Suppose -5*c - 510 = 46*c. Sort -5, -2, c in descending order.
-2, -5, c
Let i(y) = y**3 + 10*y**2 + 25*y + 7. Let p be i(-3). Sort p, -8, -1, -0.5 in decreasing order.
-0.5, -1, p, -8
Suppose 2*s - 8*s = 150. Let l = -22 - s. Suppose -l = 3*c - 0. Sort -2, -3, c in decreasing order.
c, -2, -3
Let c be (-26)/(-10) - (-4)/10. Let f = -32.057 + 0.057. Let q = -32.3 - f. Sort 1/3, c, q in decreasing order.
c, 1/3, q
Let q = -230 - -233. Sort q, 37, -2, 1 in increasing order.
-2, 1, q, 37
Let t = -76 + 81. Let u(v) = v**2 + 5*v - 3. Let i be u(-6). Suppose 0*a - a = i. Sort a, 1, t in increasing order.
a, 1, t
Let u be (1/(7/(-154)))/2. Sort u, -2, 2.
u, -2, 2
Suppose -5*v = a - 5, 5 - 4 = -v. Let x = -1 + a. Suppose 3*p + 3*g + x = 0, 0 = p + 2*g - 0*g + 5. Sort p, 2, 0.
p, 0, 2
Let r = -84 + 66. Let j be (6/r)/((-2)/(-6)). Put j, 2/9, -4, -2/5 in descending order.
2/9, -2/5, j, -4
Let y(b) = -3*b + 1. Let k = 11 - 9. Suppose 0 = -3*m - 4*g + 9, m + 0 = -g + k. Let j be y(m). Put 2, -1, j in ascending order.
-1, 2, j
Let k be (-6)/(-5) + -1 + 676/(-130). Let l be ((-32)/(-20))/(2/(-10)). Sort k, -1, l, -4 in decreasing order.
-1, -4, k, l
Let i = -5.17 - -5.07. Sort -7, -1, -0.5, i in decreasing order.
i, -0.5, -1, -7
Suppose -16*n + 140 = 4*n. Sort 21, -3, n in descending order.
21, n, -3
Suppose h + 3 = -5*q - 0, h + 3 = -4*q. Suppose q = 4*r + 4*d - 20, 4*r + 8*d - 21 = 3*d. Sort 3, r, -2 in decreasing order.
r, 3, -2
Let u be -2 - (-52)/(3 + -1). Let c be (u/16)/((-2)/4). Sort -2, 2, c.
c, -2, 2
Let i be -2 + 24/10 + (-446)/(-10). Suppose 5*a - i = 5. Put a, 1, 4 in decreasing order.
a, 4, 1
Suppose -499*i - 30 = -494*i. Suppose 0 = -2*h + 5*h - 2*b, -b = -h. Sort 1, i, h.
i, h, 1
Let z(w) be the first derivative of -w**4/4 + 11*w**3/3 - 4*w - 8. Let v be z(11). Let x = 0.3 + -0.1. Sort x, 1, v in descending order.
1, x, v
Suppose -u - m = 0, 4*m = -3*u - m. Let i = -54/5 - -52/5. Let b(z) = 2*z**3 - 2*z. Let y be b(-2). Sort y, u, i in descending order.
u, i, y
Let s = 33.5 - 33. Put 5, -0.2, 3/2, s in decreasing order.
5, 3/2, s, -0.2
Let f(y) be the first derivative of 2*y**2 - 11*y + 24. Let u be f(2). Suppose -4*h = -5*z - 8, 5*h + 3*z - 8 = h. Sort u, h, 4 in descending order.
4, h, u
Let x = 0.224 + -1.214. Let d = x - 14.01. Put -1, 2, d, 0.2 in decreasing order.
2, 0.2, -1, d
Let l be (-186)/46*128/(-1248). Let y = l - 6/23. Put -2, -6, 0.4, y in decreasing order.
0.4, y, -2, -6
Let a = 1.43 + -5.43. Sort -0.5, -0.2, 41, a.
a, -0.5, -0.2, 41
Let v = -28.9283 + 0.0283. Let m = -28 - v. Let w = m + -3.9. Sort 1/3, w, 3 in descending order.
3, 1/3, w
Let t = -380/1131 + 1/377. Put -175, t, 1 in descending order.
1, t, -175
Let u = -1101 - -1106. Put -162, u, -2/5 in ascending order.
-162, -2/5, u
Suppose -22 + 7 = -3*h. Suppose h*t + 4 = -16. Put 3, -5, t, 2 in ascending order.
-5, t, 2, 3
Let i be 3*(16/(-24) + (-1)/3). Let h(l) = -l + 1. Let y be h(5). Put i, -5, y in decreasing order.
i, y, -5
Let d(c) = -2*c**3 + 13*c**2 - 7*c + 5. Let p be d(6). Put -2, -3, p, 3 in increasing order.
-3, -2, p, 3
Suppose -16 + 41 = -34*c - 77. Suppose -l + x = 6, -l - 5*x = -x + 1. Put -2, c, -1, l in decreasing order.
-1, -2, c, l
Let f = 56 + -48. Let m be (f/10)/(28*3/30). Sort 4, m, -2/5 in increasing order.
-2/5, m, 4
Let i be ((-6)/8)/(-3 + (-90)/(-32)). Sort 2, i, 5.
2, i, 5
Let v = 0.148 - 0.188. Sort 1/5, -0.19, -0.5, v in descending order.
1/5, v, -0.19, -0.5
Let q be (-2 + -1)*(200/60 + -4). Put -23, q, 5, 3 in decreasing order.
5, 3, q, -23
Let a = 232 + 188. Sort 5, 3, a in descending order.
a, 5, 3
Let a = -396 - -396.2. Put -23/5, a, -0.1 in descending order.
a, -0.1, -23/5
Let y(f) = -2*f**3 - 3*f + 5*f**2 - 4*f**2 - 3 + 3*f**3 + 0. Let z be y(-3). Let i be 2/(-3) + (-56)/z. Sort i, 0, -3 in descending order.
i, 0, -3
Suppose -2*q + 5 = -q. Let v = -29 +