 Sort -3, -2, t.
-3, -2, t
Let b(r) = -71*r + 438. Let f be b(6). Sort -5, f, 3 in ascending order.
-5, 3, f
Suppose 0 = -3*w + 70 - 58. Suppose 10*h - 15*h + 15 = 0. Sort 11, w, h, -2 in descending order.
11, w, h, -2
Let o be -11 - -1 - (-1)/1. Suppose -7*v + 307 = 265. Let f be o + v + 0/(-1). Sort f, 5, -6 in descending order.
5, f, -6
Let m = 48 - 56. Let o be (3 - 4) + m/(-16). Sort o, -5, -0.37 in decreasing order.
-0.37, o, -5
Let a be (-2352)/(-6160) + 5/((-165)/6). Sort -2/47, -5, a in increasing order.
-5, -2/47, a
Suppose -a + 5*p = 5, -3*p + 39 = 3*a - 0*p. Let r be a/(-8)*3/(-5). Let t = 4 - 5.2. Sort r, -1/2, t in descending order.
r, -1/2, t
Suppose 2*h + 29 = -23. Let v = -31 - h. Let d(t) = -t**3 + 8*t**2 + 4*t + 22. Let x be d(9). Put -3, v, x, 3/4 in descending order.
3/4, -3, v, x
Let n be -1 + (108/11 - (-90)/(-10)). Sort n, -11, 3 in decreasing order.
3, n, -11
Let q be ((-34)/(-153))/((-12)/(-108)*14). Let n be (-48)/(-1)*(-4)/8. Let c = -51/2 - n. Sort q, c, -5 in descending order.
q, c, -5
Let y = 55336/525331 + -2/27649. Sort y, 0, 2977/8 in descending order.
2977/8, y, 0
Let z be 5/(-40) - 1/(-8). Suppose 3*m + 5*k + 5 = -z*m, 5*m - 4*k - 41 = 0. Let n be 40/(-56) + 4/(-14). Put m, n, 4, -3 in decreasing order.
m, 4, n, -3
Let x = -227 + 230. Suppose -5*n + 10 = r, 25 - 1 = -x*r + 3*n. Sort 3, 1/5, 3/7, r in descending order.
3, 3/7, 1/5, r
Let l be -10 - (-8 - -11) - -14. Sort -1, 2, -5, l.
-5, -1, l, 2
Suppose 4*o = 2*d - 10, 0*d + 31 = -5*d - 4*o. Let y = -31 + 32. Sort y, d, -5 in decreasing order.
y, d, -5
Suppose 17*r + 155*r = -111797 + 590129. Sort 0.3, -0.3, r.
-0.3, 0.3, r
Let s be 80/13 - 17*(-6)/(-17). Sort -1496, s, 3.
-1496, s, 3
Suppose -5*h - 9*k = -4*k + 5, 2*h + k = -3. Let l = -1 - 8. Put -3, h, l in ascending order.
l, -3, h
Let r = -216 - -217. Let g = 0.7 + -0.5. Let c = 0.3 + -4.3. Sort r, c, g, 3/5.
c, g, 3/5, r
Let s(b) = b - 16. Let n be s(11). Let q = -407.4 + 399. Sort n, -4/3, q, -2/7 in ascending order.
q, n, -4/3, -2/7
Let j = -8.6 + 10. Let l = 1 - j. Let a = -2789 - -5581/2. Put a, 0, -2, l in decreasing order.
a, 0, l, -2
Suppose 50 = -2*w - 5*z - 2, -4*w - 5*z = 84. Let f be (w/(-80)*-4)/((-4)/(-350)). Put 2, 1, f, -2/5 in decreasing order.
2, 1, -2/5, f
Let a(j) = -4*j**3 + j**2 + j. Suppose 0 = -2*d - i + 5*i + 14, -d + 4 = -i. Let z be a(d). Sort 3, z, 12 in decreasing order.
12, 3, z
Let q be 19458/(-235) + 12/(-10). Sort -3, -5, q, 13 in increasing order.
q, -5, -3, 13
Let n = 0.0114 + -0.0114. Sort -2/3, 2, -4, 4, n in decreasing order.
4, 2, n, -2/3, -4
Let m(a) = -a**3 - 3*a**2 - 2*a - 1. Let p be m(-2). Suppose -2*s = -5*s - 5*i - 32, 8 = s - 3*i. Sort -10, p, s, 2 in decreasing order.
2, p, s, -10
Suppose 7*j = 10*j - 294. Let p = -102 + j. Let t be 13 - (-3 + 7/2)*-2. Sort -3, p, t in descending order.
t, -3, p
Let t = 1.15 - 3.13. Let w = -2 - t. Let q be (-6*9/135)/(-2*1). Sort -0.1, q, 1/10, w in ascending order.
-0.1, w, 1/10, q
Suppose 5*t = -5*b + 4*b + 786, 2*t - 3180 = -4*b. Let g = -793 + b. Sort g, 65, -2.
-2, g, 65
Suppose 5*u + 471 = 5*n - 2234, -5*u = 10. Let t = 542 - n. Sort -10, 24, t.
-10, t, 24
Let j = 1311.3 + -1230. Let w = j - 83. Put 1/5, w, -1/8 in descending order.
1/5, -1/8, w
Suppose 2*s - 14 + 4 = 0. Let o be 135/(-30)*(-32)/72. Sort o, s, -10.
-10, o, s
Let f(n) = -6*n**3 + 55*n**2 - 9*n + 2. Let x be f(9). Sort x, -6837, -3, -4 in increasing order.
-6837, -4, -3, x
Let k be (-147)/(-210)*8/(-14). Let r = -0.598 + 0.498. Sort k, 1.9, r, -0.3 in increasing order.
k, -0.3, r, 1.9
Suppose -39891 = 8*y - 39827. Let l(g) = g**2 + 9*g - 11. Let r be l(-10). Sort 5, r, y, 1 in decreasing order.
5, 1, r, y
Let s = 37868 - 37864. Let c = 206/3 - 68. Let i = 0.6 + -0.1. Put s, c, 2, i in descending order.
s, 2, c, i
Suppose 10*k - 12 = 6*k. Let n = 2128 + -2128. Sort 5, n, 4, k in decreasing order.
5, 4, k, n
Suppose u + g - 2 = 0, -58*u + 62*u = 3*g + 22. Sort 0, 3, u, 2 in ascending order.
0, 2, 3, u
Suppose 41*z + 3 = 44*z. Let k be 144/(-63) + 1 + (z - 0). Let p = 1/338 + -685/3042. Put -2/13, k, 0.3, p in increasing order.
k, p, -2/13, 0.3
Let m = -5.735 - -5.715. Put m, -1, -2, 0.4 in increasing order.
-2, -1, m, 0.4
Suppose -7*j = -3*j - 236. Let b = j - 85. Put b, -4, -3 in descending order.
-3, -4, b
Suppose -477*g = -478*g - 19. Sort g, 0.02, -0.2, 1.
g, -0.2, 0.02, 1
Let r(j) = j**2 - 6*j - 30. Let z be r(9). Let u = -91.5 - -92. Put z, u, -4 in descending order.
u, z, -4
Let t = -6485 - -6484. Sort t, 3/4, -80 in increasing order.
-80, t, 3/4
Let x be 0/(-5 + (1 - -2)). Let n = 150 - 149. Suppose n = w, 4*h + 0 = -4*w - 16. Sort h, -3, 2, x in ascending order.
h, -3, x, 2
Let v be (-39)/9 - -13*16/(-312). Sort 4/45, 5, 3, 4, v.
v, 4/45, 3, 4, 5
Let i(r) = r**3 - 11*r**2 - 2*r + 33. Let n be i(11). Suppose 5*p - 19 = 4*j, 5*p - 2*j = n + 6. Sort 5, p, 23.
p, 5, 23
Let y = -321 + 324. Let d(r) = -r**2 - 13*r + 39. Let c be d(y). Put c, -1, -2 in increasing order.
c, -2, -1
Let v = -51 + 51. Suppose -5*b + x - 7 - 8 = v, 4*b + 23 = 3*x. Suppose 15 = m + 3*a, m = 2*a + 3*a + 31. Sort m, 3, b in ascending order.
b, 3, m
Suppose -20 = -2*l + 6. Let i = -15 + l. Let p be 1/1*((-50)/4)/5. Put -4/3, i, p, 2 in descending order.
2, -4/3, i, p
Let t(i) = -i**2 + i. Let r = -20 + 26. Let a(h) = -6*h**3 - 3*h**2 + 6*h - 2. Let z(n) = r*t(n) - a(n). Let x be z(1). Put -2, -1, x in ascending order.
-2, -1, x
Let z = -9898/3 + 3299. Put z, -5, 2.1 in decreasing order.
2.1, z, -5
Let v = 14 + -18. Suppose 0 = 2*y + 5*b - 26 + 47, 4*y = -7*b - 27. Put -2, -5, y, v in descending order.
y, -2, v, -5
Let s be ((-15760)/3795 - 2/(-11)) + (-8 - -12). Sort 0, s, -0.2 in decreasing order.
s, 0, -0.2
Let l be ((-3)/9 - 21/(-9))*1. Let n = 226 + -223. Put l, n, 4, 5 in increasing order.
l, n, 4, 5
Let r(z) = -z**3 - 14*z**2. Let q be r(-14). Let u(s) = -s + 5. Let b be u(q). Suppose 2 = -20*h + 2. Put -2, b, h in ascending order.
-2, h, b
Let w = 20755 - 20750. Sort -4, -68, w, 0 in ascending order.
-68, -4, 0, w
Suppose 0 = -67*o + 281 - 13. Put 28, 6, o in descending order.
28, 6, o
Suppose 20*r + 16 = 16*r. Let m be -2 + r/9 + (-332)/(-747). Put m, -4, 3, -65 in ascending order.
-65, -4, m, 3
Let p = 1030/27 - 93736/2457. Let c = p + -2447/4095. Put 0.11, c, 3, -2/3 in increasing order.
-2/3, c, 0.11, 3
Suppose 9*y - 3*y - 5 = 5*y. Suppose -r + 32 = 3*r. Suppose -r*x = -4*x - 60. Put 3, -2, x, y in descending order.
x, y, 3, -2
Let x = 10 + -4. Let b(s) = 1 + x*s + 1 - 2 + 8. Let g be b(-2). Put 5, -5, g, 4 in ascending order.
-5, g, 4, 5
Suppose -4*k = -d + 2, 5*d + 6*k = k + 35. Let f = 7 + -16. Let p = -6 - f. Sort -3, p, d in increasing order.
-3, p, d
Suppose -16 = 14*m - 2. Suppose q + 4 + 0 = 0. Let x(h) = -h**3 + 13*h**2 + h - 12. Let l be x(13). Sort m, l, -3, q in decreasing order.
l, m, -3, q
Let l(g) = 2*g + 2. Let c be l(-8). Let y = 738 - 721. Let n = y + c. Put n, 1, -6 in descending order.
n, 1, -6
Let l(z) = -z - 1. Let m be (-10 - 0)*(-1)/2. Let v be l(m). Let r be (8/12)/(14/v). Put r, -1, 0.4 in descending order.
0.4, r, -1
Let u = -17760 - -18255. Put -3, u, 3 in ascending order.
-3, 3, u
Let o = 3907 + -3683. Put -3, 11, o in ascending order.
-3, 11, o
Let f = 8.6 - 20.93. Let j = f - -4.33. Let d = -0.1 - -0.2. Put 5, d, j in decreasing order.
5, d, j
Suppose 0*g = 2*b + 5*g - 5, b + 5*g - 5 = 0. Let h = 221.5 + -281. Let w = h - -59. Put b, w, -5, 4 in increasing order.
-5, w, b, 4
Let s = 8 + -5. Suppose 3*b = -5*c - 7, 27*b + 18 = 2*c + 23*b. Sort s, c, -3, 4.
-3, c, s, 4
Let v(a) = -a**3 - 31*a**2 + 27*a - 2. Let u be v(-32). Let m = u + -159. Let t be 2 + (3 - 1) + -2. Put m, t, -13 in decreasing order.
t, m, -13
Suppose t = -t + h - 10, -t + 4*h = 12. Suppose -8 = 2*w, -6*i + 2*w = -4*i + 2. Suppose 0*o + 120 = -40*o. Put o, t, i in decreasing order.
o, t, i
Suppose -2*u + 25 = 3*f - 5, 5*f = -2*u + 38. Let l be 42/12 + -11 + u. Let x = 0.01 - 0.41. Sort l, -2/17, x.
x, -2/17, l
Let i be (10/7 - 18/42)*-9. Sort 5, 1, i, 4, -5 in decreasing order.
5, 4, 1, -5, i
Let q be (11/(605/99))/(3/(-10)). Let j be ((-9)/q)/((-36)/96). Put j, 67, -1, 3 in increasing order.
j, -1, 3, 67
Suppose j + 0 = 2*l - 2, -l = -4*j - 22. Let g(h) = 2*h - 