. Let t be n(v). Sort 13, 8, t, 3 in descending order.
13, 8, 3, t
Let n be 1 + -1 + 11 + -14. Let i be -1*((-6)/2 + (9 - 5)). Sort n, 13, i, 2.
n, i, 2, 13
Let r(u) = u - 35. Let x be ((-9)/6*1)/((-2)/40). Let q be r(x). Let d be (4 + q)*-1*6/14. Put -2/17, -2/21, d in decreasing order.
d, -2/21, -2/17
Let c = 26 + -29. Let a = 6668 + -6667. Sort c, -5, a, 3.
-5, c, a, 3
Suppose 2*l = 110*l - 324. Sort 0, l, -3, 1.
-3, 0, 1, l
Let b = 4078 + -4077.8. Sort 221, -1, b, 1/4, -5 in descending order.
221, 1/4, b, -1, -5
Suppose l = 2*h + 49 - 45, h + l = -5. Put -26, -4, -24, h in decreasing order.
h, -4, -24, -26
Let u = -60/13 - -232/39. Let x be ((-3)/11)/(237/(-9559)). Sort -0.05, x, u in decreasing order.
x, u, -0.05
Let n = -1 + -4. Let t = 530 - 560. Sort 0.2, t, n in descending order.
0.2, n, t
Let m = 0.5 + -0.3. Suppose p + 46 = 2*z, 2*z - 6*p - 70 = -11*p. Suppose 0 = c + 2*u + 8 + 2, 0 = 4*c + 3*u + z. Sort m, 2/3, c in increasing order.
c, m, 2/3
Let y = -1227 - -1228. Let a = -8 + 20. Sort y, 2/3, -2, a.
-2, 2/3, y, a
Suppose -2*r + 5*t + 77 = 0, -3*r = -2*r - 4*t - 46. Suppose 5*p = g + 8 - r, -3*p - 24 = -5*g. Let c = -7837.5 - -7838. Sort c, 2, p.
p, c, 2
Let g(f) = 3*f**3 - f**2 - 2*f - 1. Let w be g(-1). Let y be (-3)/36*(-3 + 0)*76. Suppose 0 = 4*a - y*a + 60. Put -4, w, a in decreasing order.
a, w, -4
Let w = -0.2201 + 4.2201. Sort 0.033, w, -2.
-2, 0.033, w
Let z(i) = -4*i + 36. Let v be z(6). Suppose v = -17*t + 16*t. Let q(s) = s**2 + 13*s + 12. Let x be q(t). Sort x, -5, -8.
-8, -5, x
Let l be (1 + -11)*1/12. Let m = -1/2 - l. Let o = -52851 - -52853. Sort m, o, -0.1, -1.
-1, -0.1, m, o
Let l = 18842 + -18842.1. Sort -1/11, 2, 2/211, l.
l, -1/11, 2/211, 2
Let p = -8773 - -8773.2. Put 2/9, p, -10/3, 0, -4 in decreasing order.
2/9, p, 0, -10/3, -4
Let w = -3700.9 - -3700.9. Sort -1, -9/5, -3, w, 2/13 in ascending order.
-3, -9/5, -1, w, 2/13
Let o = -21360 - -21309. Put 3, 4, o, 7, 1 in decreasing order.
7, 4, 3, 1, o
Let o be ((-35)/(-4))/((-1)/(-4)). Let k = 38 - o. Let v be 5/(-2)*(-2)/(-1). Put k, 1, v in decreasing order.
k, 1, v
Let j = 4 + 11. Let q be ((-1)/(-2))/((-5)/(-10)). Sort -2, 4, j, q.
-2, q, 4, j
Suppose 2*d + 4*x - 6 = 4, 5*d = 3*x + 12. Let y(r) = 12*r + 122. Let a be y(-10). Put 25, a, d in ascending order.
a, d, 25
Let x be ((-12)/9)/(14/3 - 4). Put -1, x, 5, -49 in ascending order.
-49, x, -1, 5
Let z(o) = -2*o**2 - 8*o + 21. Let w(m) = 3*m**2 + 11*m - 31. Let j(a) = -5*w(a) - 7*z(a). Let q be j(-3). Let h = 3 - 0. Sort q, h, -2/7, -0.4.
q, -0.4, -2/7, h
Let s(z) = z**3 + 18*z**2 + 29*z - 46. Let g be s(-16). Let n = 0 + 2. Suppose -3 + g = -n*y + 5*u, -4*y = -4*u - 8. Sort 2, y, -2, -1 in decreasing order.
y, 2, -1, -2
Let t be -1 + (-1 - 2) - -1. Let s be (3 - (-7)/(-3))/((-9 + -23)/96). Sort 1, t, s, -5 in decreasing order.
1, s, t, -5
Suppose 3*a = -n - 252, 4*n + 1018 = -8*a + 6*a. Let z be (-5)/(-6)*34/n. Put z, -0.1, -5 in descending order.
-0.1, z, -5
Let p(u) = -11*u + 18. Let v be p(-6). Suppose -6*a - 5*s - 109 = -2*a, 3*s = -3*a - v. Let f = -34 - a. Put -2, 0, f in increasing order.
f, -2, 0
Let i = -4969.59 - -4970. Let t = 2.81 - -0.19. Put i, t, -1, 5 in descending order.
5, t, i, -1
Suppose 23*x - 4 = 19*x - 3*c, -5*c = 2*x - 16. Suppose -4*q + 2*n + 12 = 4*n, 0 = 5*q - 5*n - 30. Sort x, q, -5, 2.
-5, x, 2, q
Suppose 2*l - 4*x + 20 = 0, -274*l - 5*x = -273*l - 11. Sort -2, -32, l, -13, -1 in descending order.
-1, -2, l, -13, -32
Let j be 1*(40/(-6) + -28 + 34). Sort -7, j, 0.2, 5, 0.1 in ascending order.
-7, j, 0.1, 0.2, 5
Let w be 13/(-6) + (-4)/(-2). Let c = -3.0752 + 2.9752. Sort 2, -5, c, w in ascending order.
-5, w, c, 2
Let n = 5 - 0. Suppose -132 = -4*j + 5*o, -36 = j - 3*j - 5*o. Let t be 6/9 - (j/6 - -1). Sort 1, t, n, 3 in ascending order.
t, 1, 3, n
Let w = 4/19703 - 19715/59109. Sort -1/4, -5, -6, 0, w in increasing order.
-6, -5, w, -1/4, 0
Let v = 0.06 + -0.05. Let w = 343.713 - 344. Let a = -0.087 - w. Sort v, -0.1, a in ascending order.
-0.1, v, a
Let q = -14/15 - -3/5. Let l = -0.02296 - 1.97704. Put q, 21, l, 5 in ascending order.
l, q, 5, 21
Let i = 5218/3 + -1739. Sort i, 0.03, -5, -3/5, 1/2 in ascending order.
-5, -3/5, 0.03, i, 1/2
Let x be (-46)/161*(6 - -8). Sort 2, 15, -29, x in increasing order.
-29, x, 2, 15
Suppose 2 = 2*a - 8. Suppose a = f + 4*f. Let k(c) = c**3 - 2*c**2 - 22*c - 91. Let g be k(7). Sort f, -4, g, -3 in descending order.
f, g, -3, -4
Let l = 4 - 3. Let b be l/(-22*(-1)/(-2)). Let z = -4379 - -4376. Sort z, -1, -6, b in descending order.
b, -1, z, -6
Suppose -z + 5*z - 31 = 5*u, u - 1 = -z. Let s be z/(-30) + (5 - 344/120). Put s, -4, 1 in decreasing order.
s, 1, -4
Let h(w) = -w + 7*w - 5*w - 8. Let p be h(11). Suppose -5*s + 20 = 0, -p*d - 7 = -6*d + 2*s. Sort -28, 0.5, d in decreasing order.
d, 0.5, -28
Let x be (55/(-110) - (-1)/(-4))*20/(-3). Let r(v) = -v**3 - 13*v**2 + 1. Let d be r(-13). Put d, x, 0, 16 in ascending order.
0, d, x, 16
Let h = -1 + 5. Let z be (-13 - -7) + 4 - -337. Let y = z + -348. Sort 5, h, y.
y, h, 5
Let t = -6683 + 6687. Suppose -1 - 1 = -u. Put -14, t, u in ascending order.
-14, u, t
Let z = -241 - -256.3. Let w = -15.97 + 1.49. Let s = w + z. Put 3, s, -3 in decreasing order.
3, s, -3
Suppose 4*n - 636 = -2*n. Let x = 105 - n. Sort x, 2/9, 0.5 in descending order.
0.5, 2/9, x
Suppose 21*s = 23*s + 10. Let p be (-1 + (-3 - -3))*-4. Sort -2, p, s, 1.
s, -2, 1, p
Suppose i - 2 = 1. Let n be (6/(-48) - (399/(-56) + 3))/4. Sort n, i, 4 in descending order.
4, i, n
Let f = 1833 + -1833.3. Let m be (2/(-10) - 4) + 4. Let j = -11 - -9.2. Sort f, m, j in decreasing order.
m, f, j
Let m = -1.45 - -1.75. Let b(c) = -c - 18. Let t be b(0). Put -5, m, t in increasing order.
t, -5, m
Let l = -187 + 932/5. Let s = 222.5 + -222.2. Sort 2, l, s, -1.
-1, l, s, 2
Let p(i) = 108*i**3 + 4*i**2 - i - 4. Let s be p(-1). Let b = s + 108. Suppose o - 2*w + 6 = -1, -3*o - 4*w - 11 = 0. Put o, b, -4 in decreasing order.
b, -4, o
Suppose 9 = v - 4*v. Let z = 183 - 179. Suppose 2*x - 6 + 4 = 0, 0 = z*w - 2*x - 26. Put w, -4, -1, v in descending order.
w, -1, v, -4
Let u = -0.19 - -3.19. Let a = -3.1 + u. Let t = 91 + -91.3. Sort 0.9, t, a in decreasing order.
0.9, a, t
Let s = 3185 + -3115. Put 5, 0, 4, 1, s in descending order.
s, 5, 4, 1, 0
Suppose 4*x + 0 = -5*w + 24, 0 = -2*x - 5*w - 8. Sort x, 0.5, -21, 0.3 in descending order.
x, 0.5, 0.3, -21
Let o(k) = -45*k**2 - 1168*k + 60. Let l be o(-26). Sort 275, 1, l in decreasing order.
275, l, 1
Let a be 2 - (4/6)/((-8)/48). Suppose 5*v = a*v - 10. Let s = -20.2 + 20.1. Sort v, -4, s.
-4, s, v
Let a(j) = -6 - 8*j**2 + 1 - j**2 + 10*j**2. Let o be a(3). Sort -0.01, 2/9, o, -5 in decreasing order.
o, 2/9, -0.01, -5
Let g = -82 - -34. Let c = g - -48.191. Let p = -0.109 - c. Sort 4, -6/7, p.
-6/7, p, 4
Let p = 0.0359 + -0.2669. Let r = 0.131 + p. Sort r, 4/47, -2 in descending order.
4/47, r, -2
Let p(k) = -k**3 - 50*k**2 - 371*k - 70. Let w be p(-41). Put w, 2, 28 in ascending order.
2, w, 28
Let y(m) = -m**2 - 6*m + 6. Suppose 4*x + 0*x - 2*i + 34 = 0, -5*x - 4*i - 10 = 0. Let h be y(x). Suppose -h*l = l - 70. Put l, 1, -4, 2 in decreasing order.
l, 2, 1, -4
Let s be 2/(-1 + -3)*(-6 + 0). Suppose 0 = -s*q + 15 - 0. Let b be (-11)/(-33) - q/(-3). Sort 0, b, 13.
0, b, 13
Let y be 92/(-9) - (-160 + 150). Put 2, -2/3, 5, y, -0.09 in descending order.
5, 2, -0.09, y, -2/3
Let n(r) = -r**3 + 36*r**2 - 53*r - 506. Let q be n(34). Sort 1, -5, q, -2, -18 in increasing order.
-18, -5, -2, 1, q
Suppose 4*i + 7 = 23. Suppose 0 = -11*o + i*o + 28. Let v be (-3)/(-9) + 168/9. Put v, o, 2 in descending order.
v, o, 2
Let a be 10/15*2*3*-2. Let f = -4 - a. Suppose b + b = 4*q - 2, -5*q = 4*b + f. Sort -23, 3, b.
-23, b, 3
Suppose -4*s + 25 = s. Let x be 2/(8/46) + 3/6. Suppose -19 = x*f - 19. Put s, 2, f in ascending order.
f, 2, s
Suppose 7555*f + 1470 = 7562*f. Sort 4, f, -1.
-1, 4, f
Let x = 4906 - 4915. Put -35, 0, x in increasing order.
-35, x, 0
Let w(j) = j**3 - 12*j**2 - 30*j + 32. Let m be (26/(-30) - -1) + (-1248)/(-90). Let u be w(m). Suppose v + 5 = 2. Sort -1, v, 0, u.
v, -1, 0, u
Let s = 4761.2 - 4761. Sort 0, s, -5 in descending order.
s, 0, -5
Suppose -1032 = -121*i + 164*i. Put i, -1