t f be s(-4). Sort f, 2, -3 in ascending order.
-3, 2, f
Let c = 9.403 + -9.303. Sort -2/9, 1/11, c, -1/8, -2/17 in decreasing order.
c, 1/11, -2/17, -1/8, -2/9
Let b be -8 + 296/20 - 16/(-80). Let z = -8 + 13. Put b, z, 2, -5 in increasing order.
-5, 2, z, b
Suppose -3*u + 5 = w, 70*u = -2*w + 74*u. Put w, -25, 1, -1 in decreasing order.
w, 1, -1, -25
Let t = 161353 - 161353. Let v(u) = u**3 + 6*u**2 - 2. Let p be v(-6). Put 0.27, p, -3/4, t in decreasing order.
0.27, t, -3/4, p
Suppose -o - w - 139 = 0, -943*w + 403 = -3*o - 944*w. Sort -3, -2, 5, o.
o, -3, -2, 5
Suppose 0 = 166*y - 170*y - 732. Let b = 173 + y. Put b, 1, 3 in ascending order.
b, 1, 3
Suppose -11*r + 11 = -0*r. Let o be 4*r/14 + 280/(-1666). Put o, 13, -3 in increasing order.
-3, o, 13
Let r be 4/30 - 92/15. Let n = -2 + -3. Let y be (0 + 1)*(n - r). Put 3, y, 0 in descending order.
3, y, 0
Let b be (-686007)/1001 + 2/22. Let v = b - -685. Sort 0, v, -1/6 in decreasing order.
0, -1/6, v
Let r = 0.0729 - -14.3271. Let h = r + -14.8. Sort 4, 5, h, 0 in ascending order.
h, 0, 4, 5
Suppose -v - 120 = 4*j - 4*v, 5*v - 47 = j. Let r = 69 + j. Suppose -p + 3*a + r = 3*p, 0 = -5*p - 3*a + 66. Put p, 1, -1/2 in decreasing order.
p, 1, -1/2
Let m = 397 - 387. Suppose 5*t = -5*u - m, 2*t - 3*u - 20 = 1. Sort t, 7, -5, 2 in descending order.
7, t, 2, -5
Let k be 4/2 + (-8 - -32) + -25. Sort 3, 5, k, -14, -4.
-14, -4, k, 3, 5
Let d = 9120 - 9115. Put -1/43, -1, d, 2/7 in decreasing order.
d, 2/7, -1/43, -1
Let h = -10615 - -10617. Sort -5136, -3, h, -4 in increasing order.
-5136, -4, -3, h
Let a = -439/6 + 73. Suppose 3*j + y + 20 = 0, -3*y - 40 = -251*j + 256*j. Let q = 5277/25 - 211. Sort a, q, j, 1/5 in decreasing order.
1/5, q, a, j
Let s(f) be the first derivative of -2*f**3/3 + 4*f**2 + 9*f + 25. Let k be s(7). Let h = k + 38. Put -5, h, 4, 1 in increasing order.
-5, 1, 4, h
Suppose 2*h = -569 + 73. Let v = -247 - h. Sort -13, -5, v in increasing order.
-13, -5, v
Let x(n) = -2*n**2 + 63*n + 33. Let g be x(32). Put 9, 26, -2, g in ascending order.
-2, g, 9, 26
Let m = -277 + 288. Let u = -11 + m. Sort -29, u, 4.
-29, u, 4
Let o = -36487 - -36488. Put o, -20, 6 in decreasing order.
6, o, -20
Suppose b + 0*b - 5 = 0. Suppose 0 = -9*q - 83 + 29. Let i(t) = 10*t + 62. Let n be i(q). Put -6, b, -4, n in decreasing order.
b, n, -4, -6
Let m(u) = -7*u**2 - 4*u + 2. Let l be m(3). Let s = 363/5 + l. Let t = 616 - 612. Put t, s, 2 in decreasing order.
t, 2, s
Let o = 0.19 + 0.01. Let k be (96/10)/((-21)/(-70)). Let j = k + -29. Put 6, j, o in increasing order.
o, j, 6
Let v = -0.0694 + -0.0306. Put 0.1, 43, v, 2 in decreasing order.
43, 2, 0.1, v
Let u(j) = j**3 - 3*j**2 - 5*j + 2. Let c be u(4). Let q(h) = -2366*h - 28391. Let k be q(-12). Sort -1, c, k, 4 in ascending order.
c, -1, k, 4
Let g = 1759 + -1753. Sort -2, -5, g, -6 in ascending order.
-6, -5, -2, g
Suppose -4865 = -14*y - 4823. Sort 1, 49, -46, y.
-46, 1, y, 49
Suppose 15398*q - 96 = 15374*q. Sort -3/47, q, 8, 2/7 in decreasing order.
8, q, 2/7, -3/47
Suppose 120 = -466*s - 2210. Sort 32, s, 1, -4 in descending order.
32, 1, -4, s
Suppose 5*y + 4 = c + 19, 2*y + c = 6. Put 4, -3, 2, y in decreasing order.
4, y, 2, -3
Let c = 287/5 + -58. Let s = 17240.4 - 17240. Sort c, s, -12 in increasing order.
-12, c, s
Let r(u) = -49*u + 1073. Let q be r(22). Sort q, 4, -54, -2.
-54, q, -2, 4
Let b = 102 - 107. Let k be 6/4*(1 - 2/6). Put b, k, 5, 6 in increasing order.
b, k, 5, 6
Let p be 16/16 - (11 + 0). Let g(d) = d**2 - 18*d + 15. Suppose 7*u = 3*u + 68. Let y be g(u). Sort y, p, -1 in increasing order.
p, y, -1
Let k = 6256 + -6263. Sort k, -0.3, -0.6 in ascending order.
k, -0.6, -0.3
Let s = 6 + -5. Let c = -4835 + 24174/5. Sort -0.37, s, c in descending order.
s, c, -0.37
Suppose u - 2*q = 2*q - 13, 0 = -2*u + 4*q - 18. Let k(i) = i**2 - 60*i + 760. Let m be k(42). Let r = 4 + -6. Put r, u, 0, m in increasing order.
u, r, 0, m
Let m(j) = j**2 + 9*j + 2. Let l be m(-9). Suppose -5*f = -0*k - 5*k - 15, 2*k = 4*f - 22. Suppose 26*b - 24*b = f. Sort b, l, -4, 10 in increasing order.
-4, l, b, 10
Let c be (-25)/10*(-8)/(-10) - (-48)/72. Let q = 0.21 + -0.2. Let l = q + -0.31. Sort 0, c, l in descending order.
0, l, c
Let p = -56245/3 - -18750. Put p, 0, 157, -2/7 in descending order.
157, p, 0, -2/7
Suppose 0 = 2*m - 4, 0*k - k - 5*m = -9. Let a = -0.38 + -4.12. Let f = a + 4.9. Put k, f, -1/8 in increasing order.
k, -1/8, f
Let s = 110.543 + 1.257. Let o = -112 + s. Let r be (5 + 1)*2/78. Put 2/3, r, o in descending order.
2/3, r, o
Let p = 97 + -93.1. Suppose b + 255*w - 258*w = -9, 0 = 2*b - 5*w + 15. Sort 0.5, p, b in descending order.
p, 0.5, b
Let j = 25183/42 + -1798/3. Put -4, j, 2/15 in descending order.
j, 2/15, -4
Suppose -32 + 0 = -16*f. Let h(v) = -3*v**2 + 8*v - 7. Let y be h(f). Put 8, -1, y, 0 in increasing order.
y, -1, 0, 8
Suppose 0 = 10*l - 17 - 3. Suppose 0 = i + y + l, i = -2*i + 4*y + 22. Suppose 2*h + 5*k = -12, -5*k = 3*h - i*k + 18. Put -5, -1, h in ascending order.
h, -5, -1
Let j be (6/(-26))/((-72)/(-48)) + 1128/(-104). Suppose 4*k + 45 = -5*k. Put -8, 2, k, j in ascending order.
j, -8, k, 2
Let c(l) = l**2 + 8*l - 99. Let y be c(7). Suppose -16 = 2*x + 3*n - y, 3*x = n - 15. Let q = 16 - 7. Put x, q, 5 in ascending order.
x, 5, q
Let y = -2.1296 + 2.2146. Put y, 0, 0.2, -0.5 in increasing order.
-0.5, 0, y, 0.2
Let x = 379/1659 - -58/553. Sort 0.5, x, -54, -20 in descending order.
0.5, x, -20, -54
Let m(p) = 49*p**2 + 242*p - 12. Let c be m(-5). Suppose 0 = -i - 0 + 5. Put i, 2, c in descending order.
i, c, 2
Let c = -125854 - -1382412/11. Let f = -180 - c. Sort f, -0.1, 0, -0.4.
-0.4, -0.1, 0, f
Let x = 0.35 + 0.05. Suppose -5*a - 4*a = -12987. Let q = a + -1446. Sort q, x, -4, 0 in decreasing order.
x, 0, q, -4
Let d(k) = 6*k - 55. Let n be d(13). Suppose n*p - 18*p = -10. Put 5, p, 3, -8 in decreasing order.
5, 3, p, -8
Suppose -24*q = 17*q - 15539. Suppose -361 + q = 6*x. Put -5, 4, x in decreasing order.
4, x, -5
Let k = -43 + 6. Let c = k + 35. Let p be -3 - -1 - (1 - -5). Sort p, c, -4 in descending order.
c, -4, p
Let p = -231.88 + 231.65. Sort 5, -2, 2/9, p, -1/2 in descending order.
5, 2/9, p, -1/2, -2
Suppose -63 - 33 = -2*p. Let v = p + -140. Let z = 87 + v. Put 2, -0.5, z, 5 in decreasing order.
5, 2, -0.5, z
Let z be (956/(-1680))/(15/6 - 3). Let k = 17/30 - z. Put k, -3, -0.2 in increasing order.
-3, k, -0.2
Let u be 3*(-30)/(-9) + 37. Suppose 5*x - d + 3 - 4 = 0, 0 = x + d - 5. Sort -5, x, u in increasing order.
-5, x, u
Suppose -4*b = 4*i, 0 = -190*b + 192*b + 3*i + 1. Let w = 38 + -14. Suppose 3*h + 19 = 2*x, -3*x - 3*h + 2*h + 1 = 0. Put w, x, b, -2 in increasing order.
-2, b, x, w
Let c(i) = 2*i + 32. Suppose 0*j + j - 12 = -n, -3*n = j - 30. Let l be c(n). Let x be l/135*6/10. Put -2/13, 3, x in descending order.
3, x, -2/13
Let i be -5*(-9)/(-180)*8. Let x be 2/(-1) + 8 + (-12)/2. Sort i, x, -5, -1 in descending order.
x, -1, i, -5
Let f = 0.1387 + -0.1387. Let m = 31 - 32. Sort f, m, -1.1 in increasing order.
-1.1, m, f
Let q be 2*(-2)/(-4) + -1. Suppose q = -0*i - 7*i. Suppose -t = 3, n - 2*t = -i*t + 9. Put 4, -6, n in increasing order.
-6, n, 4
Suppose -4*t = p + 12, 2*p + 12 = -3*t + t. Let h(r) = -4*r**2 - 16*r + 5. Let w be h(p). Suppose -12 = -5*l + 23. Sort w, -3, l in decreasing order.
l, w, -3
Let j be ((-8)/10)/(5*9/(-1575)). Suppose -11*b = j*b + 156. Put 4, b, 0 in increasing order.
b, 0, 4
Let f(o) = -3*o**3 + 2*o**2 - 1. Let v be f(-1). Let c(p) = -p**2 + 60*p - 121. Let k be c(58). Sort -3, v, k in decreasing order.
v, -3, k
Let j = -17 - -17.3. Let t = 27 - 26.54. Let b = 3.54 + t. Put b, -2, -4/7, j in increasing order.
-2, -4/7, j, b
Let h(l) = 60*l**3 + 1380*l**2 - l - 17. Let z be h(-23). Sort -5, 0, 3, z, 14 in ascending order.
-5, 0, 3, z, 14
Suppose 74*g + 5198 = -3830. Sort g, -4, 5.
g, -4, 5
Let x = 7508 + -7512. Put 1/9, x, 3, 4.6 in decreasing order.
4.6, 3, 1/9, x
Let d(s) = s**3 + 2*s**2 - 4*s - 11. Let n be (4/14)/((-246)/(-42) - 6). Let b be d(n). Sort -6, b, -4 in decreasing order.
b, -4, -6
Let p be 180/(-3375)*-45*(-10)/(-4). Put -1, p, 1, -4, 157 in increasing order.
-4, -1, 1, p, 157
Let m be 1 - (673 - (-8 + 4)). Let z = -677 - m. Put 0, z, 