 c, 0, 4 in decreasing order.
c, 4, 0
Let s = 600 - 531. Suppose -3*b + 5*m + 27 = 0, 70*m = b + s*m - 7. Put -1, 43, b, 1 in decreasing order.
43, b, 1, -1
Let r be (21/(-56))/(21/(-24)). Let y = 547/380 - 3/76. Put y, r, 0, 1 in decreasing order.
y, 1, r, 0
Suppose 3 = -3*b, 6*i + 3*b - 32 = i. Suppose 10*l - 39 = i*l. Let j = l + -77/6. Sort j, 4/5, 0 in increasing order.
0, j, 4/5
Let z = -6 - -8. Let x be (-6 - 0)*3/(-3). Put 5, x, z, 1 in ascending order.
1, z, 5, x
Let a be 1*(-7)/1*(1 + 9/(-7)). Sort -27, -2, -5, 5, a in descending order.
5, a, -2, -5, -27
Suppose 2*d = 10 + 38. Suppose 26*y - 13*y = -d*y. Sort -4, y, -22.
-22, -4, y
Suppose 2*x - u = 673 + 413, -2*x + 1104 = -4*u. Sort -2, -5, x.
-5, -2, x
Suppose 5*v - 117 - 109 = 118*v. Sort -3, 329, v, 4.
-3, v, 4, 329
Suppose 3*f + 0 = 6. Let w be -8*21/28 - -2. Sort f, w, 5, -2.
w, -2, f, 5
Let g be 8 + (3 + -6)*1. Let s = -798.7 - -900. Let f = 100 - s. Sort 4, g, -1/3, f in ascending order.
f, -1/3, 4, g
Let m be (-6 + (-4 - -8))*3/(-14). Let j be 1 + 5/((-20)/3). Sort m, -3, 28, j.
-3, j, m, 28
Suppose 4*c + 4*m - 60 = 0, -c + 2*m - 130 = -127. Put -0.4, c, -7, 0.2, 1/3 in increasing order.
-7, -0.4, 0.2, 1/3, c
Suppose 4*p + 4*w = -16, -1 = w + 1. Let n = -11596 + 11600. Put n, p, -1, 3 in increasing order.
p, -1, 3, n
Let c = -70 + 70. Let k = 260 - 256. Sort -47, k, c in decreasing order.
k, c, -47
Let a be ((-42)/35)/((-2)/5). Sort a, -3, -117 in ascending order.
-117, -3, a
Let w = 0.0731 - -0.4269. Suppose -7 = -4*t + 3*t. Let m(j) = -j**3 + 7*j**2 + 3. Let o be m(t). Sort -4, w, o, 1 in increasing order.
-4, w, 1, o
Let c = -14 + 11. Suppose 31*b - 38*b + 1064 = 0. Let s = b + -145. Put c, s, -1 in increasing order.
c, -1, s
Let v be (-3)/(-2)*(-80)/15. Let o be (-4)/(-25)*20/v. Put 4, o, -4/3 in ascending order.
-4/3, o, 4
Let n = -6081 - -12163/2. Sort 28, -1, -3, 3, n in decreasing order.
28, 3, n, -1, -3
Let i = 470 - -187. Let z = i + -648. Put 0, z, -15 in ascending order.
-15, 0, z
Let k = -0.791 - 69.209. Put -5, 2, k, -2/15 in ascending order.
k, -5, -2/15, 2
Let k(x) = x**2 - 4*x + 19. Let z(d) = 2*d**2 - 7*d + 39. Let f(v) = -13*k(v) + 6*z(v). Let i be f(7). Put 3, 1, i in descending order.
i, 3, 1
Let x = -45 - -45.19. Let r = -33337/8 + 8335/2. Sort -2, r, x in decreasing order.
r, x, -2
Let g = 1805 + -1804.93. Sort -1, g, 14, 2/5 in increasing order.
-1, g, 2/5, 14
Suppose -5*j + 32 = -3, 3*j = -5*n + 26. Sort -3, 1/3, 4, 3/10, n.
-3, 3/10, 1/3, n, 4
Suppose 25 = -5*p + 20. Let i be (6 - (-1 - -7))/2. Sort -3, p, -5, i in ascending order.
-5, -3, p, i
Suppose -2*k + 2*l = -12, 5*l + 6 = 2*k + 9*l. Sort 1/15, 2/9, -1, k, -2.
-2, -1, 1/15, 2/9, k
Suppose -4*m + 8 = 3*n, 2*m - 10 = -3*n - 0*m. Suppose -n = -7*p - 11. Let k(w) = -w - 5. Let b be k(-3). Put b, -4, 4, p in ascending order.
-4, b, p, 4
Suppose -22*q - 160 = -32*q. Suppose -3*j + q = o, 0 = -2*o + 10*j - 12*j + 12. Suppose -4*g + 3*k - 4 = 2, -g = 4*k + 11. Sort o, 2, g, 15.
g, o, 2, 15
Let z = -72.63 + 72.73. Sort z, 2, -3/4, 3/128.
-3/4, 3/128, z, 2
Let s = -525 + 530. Put 3, -759, -4, s in decreasing order.
s, 3, -4, -759
Let i be (-6*4/16)/6 + (-2)/4. Put 5, 2, 0.7, 4, i in decreasing order.
5, 4, 2, 0.7, i
Let v(b) = b + 1. Let o(n) = 1 - 5 + 0 + 18*n - 11*n. Let w(d) = -o(d) + 2*v(d). Let l be w(1). Put -15, -2, 2, l in decreasing order.
2, l, -2, -15
Let c(g) = -g**2 + 53*g - 719. Let f be c(27). Sort 0.5, 4.9, 4/5, f in decreasing order.
4.9, 4/5, 0.5, f
Let s = 4.576 + -4.506. Sort -0.5, 6, -1, s, -0.4.
-1, -0.5, -0.4, s, 6
Let d = -229.8 - -233.8. Let w be 10 + -12 - 4/(-34)*16. Sort d, 0.2, w.
w, 0.2, d
Let i(a) = -a**2 + a - 10. Let f be i(0). Let p(s) = s**3 + 9*s**2 - 9*s + 23. Let t be p(f). Suppose 4 = t*k - 14*k. Put -3, k, 5 in decreasing order.
5, -3, k
Let r = -141908/87 - -4892/3. Let u = -6/29 + r. Suppose 5*y = 3*q - 36 + 8, -4*y - 2*q - 18 = 0. Put u, -1.2, y, 5 in ascending order.
y, -1.2, u, 5
Let v = 15964 + -15962. Sort -2, 16, 1/5, v, -0.048 in ascending order.
-2, -0.048, 1/5, v, 16
Let l = 54802 - 54801.8. Let c = 12 + -11.84. Sort 1/3, c, -5, l.
-5, c, l, 1/3
Let v = -63 + 74. Suppose 4 = s, p - v = s + 3*s. Suppose -6*y - 3*y = p. Sort y, 3, -4.
-4, y, 3
Let g = -25179 + 25178.5. Put 16, g, -1/4, 13, -7 in descending order.
16, 13, -1/4, g, -7
Let f = -124 + 129. Suppose -3*i + 4*l = 23, -2*i = -f*i + 5*l - 19. Let t be i/(-7) - (-4)/(-12)*6. Put 6/7, 0, 2, t in descending order.
2, 6/7, 0, t
Let s = 1859.3 + -1859.5. Let z = -5 - -4.6. Put s, -0.24, z, 1 in increasing order.
z, -0.24, s, 1
Let z = -25.85 + 54.85. Put 5, z, 3, -3/8 in increasing order.
-3/8, 3, 5, z
Let p = 161709/646772 + -4/161693. Let g = 7 - 1. Let u = g + -40/7. Put p, 0, -2/3, u in decreasing order.
u, p, 0, -2/3
Suppose 3*s - b = -96, -27*b + 31*b - 24 = 0. Let i = 4 - 6. Let j be ((-12)/18)/(i/(-9)). Sort j, 0, s, 1.
s, j, 0, 1
Let d = 25349/5 - 177438/35. Let c = 0.3 - -1.7. Put d, -0.5, 8, c in decreasing order.
8, c, d, -0.5
Suppose 0 = -2*h - 5*l - 1 - 5, -3*l + 15 = -5*h. Let a(g) = -4*g**3 - 4*g**2 - 3*g - 7. Let i be a(h). Let q = 80 - i. Sort -5, q, -4.
-5, -4, q
Let w(x) = 7*x - 108. Let y be w(13). Let a(j) = -j**3 + 5*j**2 + 4*j - 1. Let q be a(6). Let k = q - y. Sort 26, k, 5.
k, 5, 26
Let x(c) = -c**3 - c. Let y be x(-1). Let t(u) = -u**3 + 16*u**2 + 8. Let n be t(16). Suppose -2*j = 3*a - 8, -j - j + 5*a = n. Put 4, j, y in decreasing order.
4, y, j
Suppose 0 = -4*r - 3*c + 123, c = 1 + 4. Suppose -4*s + 123 = 23. Let w = r - s. Sort -1, w, -7 in ascending order.
-7, -1, w
Let s(a) = -a**3 - 69*a**2 - 919*a - 49. Let k be s(-51). Sort k, -2, 2832 in descending order.
2832, k, -2
Let w = -2.7 + 3.6. Let y = 1 - w. Let i = -185.2 - -185. Sort -5, i, -0.4, y in decreasing order.
y, i, -0.4, -5
Suppose -4 = -l + 3*l + 2*t, -2*l + t = -8. Suppose -36 = q + 16. Sort 0, l, 4, q in decreasing order.
4, l, 0, q
Let r = 60.37 - 60.57. Sort 0.1, 154, r in increasing order.
r, 0.1, 154
Let k = 17.13 - 17. Let l = 0.13 - k. Let v = -6.32 - -10.32. Put l, 0.4, v in ascending order.
l, 0.4, v
Let n be (36/(-72))/(1/(-18)). Suppose 3*r - 3 = 0, -1 = 3*x - r + n. Put -4, -2, 2, x in decreasing order.
2, -2, x, -4
Let x(k) = k**2 - 6*k + 1. Let p be x(5). Let j = -1.21 - -56.71. Let f = j - 56. Put 0.1, p, 1, f in ascending order.
p, f, 0.1, 1
Let t = 11.8 - 11.7616. Let g = t - -0.5616. Put 1, g, 0.3, 0.2 in increasing order.
0.2, 0.3, g, 1
Suppose 0 = -4*b + 32, 11*w + 4*b + 90 = -32. Sort 3, w, -3, 4 in descending order.
4, 3, -3, w
Suppose -7427*l = -7422*l - 20. Sort 2, l, 439, 3 in increasing order.
2, 3, l, 439
Let h(s) = -2*s + 15. Let t be h(11). Let j(c) = c**2 + 5*c - 17. Let p be j(t). Let z(w) = 20*w - 65. Let a be z(6). Sort a, -4, p in decreasing order.
a, p, -4
Suppose 5*d = 5*z + 15, -21*z + 22*z - 3*d + 3 = 0. Sort z, -1, -67, -2 in ascending order.
-67, z, -2, -1
Let n = 0.87 - 0.03. Let v = 0.44 - n. Let d = -36 - -35.9. Sort d, v, 4.
v, d, 4
Let m = 30741 + -30745. Put -1.6, -16, -1/7, -1/6, m in ascending order.
-16, m, -1.6, -1/6, -1/7
Suppose -10*f = 2*g + 62, -4*g - 9 = f + 1. Put -207, 3, 0, g, 5 in increasing order.
-207, g, 0, 3, 5
Let v = -336 - -334. Let y(h) = -h**3 + 6*h**2 + 17*h - 7. Let x be y(8). Let p be (x*2)/(-5*(-8)/20). Put v, 4, p in descending order.
4, p, v
Let p = -2.854 - 27.146. Sort 2, p, -2.1 in increasing order.
p, -2.1, 2
Suppose -77*z + 9 = -80*z - 0. Put -4, 5, -1, z in increasing order.
-4, z, -1, 5
Suppose -20 = -5*d, 2*d - 74 + 66 = -4*l. Sort 616, -4, l.
-4, l, 616
Let j be -2 - 12/2 - (-12 + 9). Let f be (5/4)/((-1)/(-4)). Let v(l) = -l**3 - 2*l**2 + 9*l + 3. Let p be v(-4). Sort j, -4, f, p.
j, -4, p, f
Let j be (-32)/(-155) + -3 + 2. Let a be (8/(-10))/((-4526)/1095). Let l = j + a. Sort l, 1, 4, 3 in decreasing order.
4, 3, 1, l
Suppose 10*u - 18 = u. Suppose b = 2*r - 4, u*b = -r - 4*r + 1. Let z(p) = -p**3 - 7*p**2 + 8*p. Let w be z(-8). Sort r, w, 6 in decreasing order.
6, r, w
Let k = 25106 - 25101. Let z(l) = -2*l - 2. Let x be z(-1). Sort k, 1, x, -9 in decreasing order.
k, 1, x, -9
Suppose -9*n - 4 = -40. Suppose 6*r = 4*r + 10. Let s(g) = g**3 + 12*g**2 + 79*g + 373. Let p be s(-8). Sort p, r, n, -4 in decreasing order.
