ng order.
i, -4, -1, 8
Let r be 7/(-21)*(-3)/(-2). Let o = 4 + -3. Let d = -3458/5163 - -16/5163. Sort d, o, r in ascending order.
d, r, o
Let f be 1/(4 + (-95)/25). Suppose 0*x - 2*x = -2*l + 14, -x = -3*l + 1. Let v be 2/((x/25)/1). Sort f, 4, v in ascending order.
v, 4, f
Let c(o) = o**3 - o**2 - o + 1. Let w(z) = -2*z**3 + 27*z**2 + 26*z - 15. Let i(a) = 3*c(a) + w(a). Let m be i(-23). Sort -0.5, 0.5, m in descending order.
0.5, -0.5, m
Let x = 30 + -35. Let r = -1466 - -1428.08. Let i = r - -38. Put x, 2, 1, i in decreasing order.
2, 1, i, x
Suppose 278*i = 275*i. Let z = -1440 - -1444. Put i, 2, z, -3 in descending order.
z, 2, i, -3
Let m = -2.01 + 2.075. Let t = m - -0.035. Let k be ((-7)/(49/(-6)))/(-4). Sort t, 0.3, k in ascending order.
k, t, 0.3
Let j = 1649.7 - 1650. Put 0.2, j, -5, -0.5, 171 in ascending order.
-5, -0.5, j, 0.2, 171
Let w(i) = -2*i - 24. Let u be w(-8). Let n be (-9)/72 - 25/u. Let o be (-80)/(-48)*(-1)/(-1)*-3. Sort -1, o, n.
o, -1, n
Suppose -58*l + 2464 = -69*l. Sort -0.3, 1, l.
l, -0.3, 1
Let w be ((-8)/7)/(4/(-24) - (-2)/84). Put 25, -2, 0, w, 5 in decreasing order.
25, w, 5, 0, -2
Suppose -10*h + 64 = -96. Suppose 0 = -5*i + h - 16. Sort -6, i, 0.5, -3 in increasing order.
-6, -3, i, 0.5
Suppose 3*y - 10 = y + 5*i, -34 = -2*y - i. Let n(s) = 13*s - 195. Let w be n(y). Put -7, -4, 4, w in decreasing order.
4, w, -4, -7
Suppose 16 = b - 0. Let v(t) = t - 17. Let m be v(b). Let w be (-4 + 1)*m + -3. Sort -33, -2, w in decreasing order.
w, -2, -33
Let x be -2*((-22)/(-8) - 2). Let a(n) = -2*n**3 + 3*n**2 - 13*n + 25. Let q be a(2). Put -0.4, -7, q, x in decreasing order.
-0.4, x, q, -7
Suppose 1088*v - 4196 = 39*v. Let l(g) = 20*g**2 + g - 1. Let u be l(1). Suppose -4*m - u = 5*c, 0*m - 5 = 2*c + m. Sort c, -8, v in descending order.
v, c, -8
Suppose -4*b = 4*z + 40, -5*z = -b + 5 + 3. Put 17, 81, z in decreasing order.
81, 17, z
Suppose 5*o + 16 = 1. Let u = -250 + 251. Let r = 19 + -16. Put r, o, u, -1 in ascending order.
o, -1, u, r
Let d be 0*1/5*20/(-8). Suppose d = -20*m - 31 - 9. Put m, -5, 20 in decreasing order.
20, m, -5
Let y(t) = -t + 26. Let q be y(21). Sort q, -0.04, 2/3, 4 in descending order.
q, 4, 2/3, -0.04
Let k = -42282 - -633964/15. Let i = 52/3 + k. Let p = -350 + 2446/7. Sort 0.2, i, p, -0.5 in descending order.
0.2, i, -0.5, p
Let w = -63.746 - 0.254. Let k = w - -59. Put 4, k, 2 in increasing order.
k, 2, 4
Let u = 3077/2 + -9229/6. Sort u, 2, -144, 0.3, 1/5 in descending order.
2, u, 0.3, 1/5, -144
Suppose 0 = 3*s - 7 - 5. Suppose -3369*w + 115*w - 491*w - 5333 = 5902. Sort 3, s, 5, w.
w, 3, s, 5
Suppose 0 = 2*o + 4, -2*o + 4*o = 3*i + 5. Let c be 52/(-4)*1 - i. Let w(g) = -g**3 - 8*g**2 + 19*g - 4. Let t be w(c). Put -3, -5, t in descending order.
t, -3, -5
Let x = 3448 - 3492. Put 4, x, -1/4 in descending order.
4, -1/4, x
Suppose 0 = -4*w + 3*j + 133 + 146, w = -4*j + 103. Put 0, 2, w, -2 in descending order.
w, 2, 0, -2
Let a = 23105 - 23100. Sort 1/2, a, 2408 in ascending order.
1/2, a, 2408
Let b = 15067 + -15078. Sort b, -7, -9, 1, -4 in increasing order.
b, -9, -7, -4, 1
Suppose 13*i - 16*i + 39 = -3*u, -2 = 2*u + 2*i. Sort -2, -1, u, 2, -4 in descending order.
2, -1, -2, -4, u
Let k = 10.75 + 0.25. Let o = k + -10. Let h = -15.86 + 17.86. Sort -6, o, h in decreasing order.
h, o, -6
Suppose 0 = -3*l - 4*y + 161, -3*l = -4*y + 42 - 163. Let m = l - 47. Suppose 0 = -h + 3*g + 8, 3*h = -2*g - 66 + 46. Sort -20, h, -1, m in descending order.
m, -1, h, -20
Let c = 694 - 696. Sort c, 169, 3 in descending order.
169, 3, c
Let a = 175 - 177. Let j be (-3 - a)*(19 - 20). Suppose -i + 12 = 2*i. Sort 5, i, 2/7, j.
2/7, j, i, 5
Let p be -10 + 3 + 6 + 5. Let x be (6 + -12 + p)*(-51)/3. Sort -4, 3, x in increasing order.
-4, 3, x
Let t = 4594 - 4449. Sort 7, t, 1 in increasing order.
1, 7, t
Let b be 1698/2547*6/(-14). Put 17, b, 1/2, 0, -17 in decreasing order.
17, 1/2, 0, b, -17
Let n = -73.04 + 72.37. Let w = -11.33 + 6.66. Let h = n - w. Put -5, -0.4, h, -1 in decreasing order.
h, -0.4, -1, -5
Let h be 0/(-12) - (-5 + 0). Suppose -h*x + 2*v = 11 + 2, 4*x + v = 0. Sort -49, 5, x, 0 in decreasing order.
5, 0, x, -49
Let t be 1*(-3)/(-10) + ((-432327)/490)/51. Sort -9, 8, t in descending order.
8, -9, t
Suppose -112 = -148*l + 36. Suppose 21 = 2*z + 49. Sort -1, z, l in descending order.
l, -1, z
Suppose -28*n - 37*n = -53*n + 12. Put -219, 5, n, 0, -3 in descending order.
5, 0, n, -3, -219
Let f = 0.6 - -3.4. Let z = -8386/11 + 762. Sort -3/5, z, f in ascending order.
-3/5, z, f
Let r = -16.3 - -15.8. Put -472, 0.1, r in descending order.
0.1, r, -472
Let y = 9650 + -9657. Sort -5, -1, y, 0, -11 in descending order.
0, -1, -5, y, -11
Let r(z) = z**2 - 33*z + 8. Let c be r(33). Sort 2, 5, -1, c, 4 in decreasing order.
c, 5, 4, 2, -1
Suppose 11*l - 67 - 1891 = 0. Suppose t = 116 - l. Sort t, -5, -4 in decreasing order.
-4, -5, t
Suppose 59 = -345*q - 286. Put -45, 3, q, -4 in ascending order.
-45, -4, q, 3
Let n = 306.0414 - 0.2414. Let k = n + -306. Sort -5, 3, 1/2, k in ascending order.
-5, k, 1/2, 3
Suppose -37 - 3 = 5*y. Let a be ((-52)/130)/(y/(-10)). Put -27, a, -0.2 in ascending order.
-27, a, -0.2
Let a be (4 + -2)*(-2 - -4). Suppose -a*o + 6*o = 30. Suppose 0 = 5*p + 3*l + 4, 9*l + o = 4*l. Sort -4, -5, 0, p.
-5, -4, 0, p
Suppose 14 = -4*x + 3*d, d - 5 - 6 = -5*x. Put -1, x, 360 in descending order.
360, x, -1
Let h = 227/1484 + -93/212. Sort 0.3, -19.18, 2, h.
-19.18, h, 0.3, 2
Let n be 4/(-11) - 52/(-143). Suppose n = -5*r + 25, -4*r + 8 = -19*y + 22*y. Sort -2, 38, y in decreasing order.
38, -2, y
Let n = 48072/25 - 1923. Sort n, -5, -4/5 in descending order.
n, -4/5, -5
Let d = 1439.7 - 1439.8. Suppose -6*p = -4*p + 4. Sort 0, d, p, 9.
p, d, 0, 9
Suppose 2*b + 14 = 2*l, 2*l - 3*b - 12 - 7 = 0. Let x be (1 - 1)*(-1 + 0). Suppose x = -5*y + l*y + 15, 2*q = -4*y + 26. Sort 5, -0.3, q, 1.
-0.3, 1, q, 5
Let s be (4026/671)/(6/(-4)*1). Sort -0.4, s, 3/7, -0.3, 1/2 in descending order.
1/2, 3/7, -0.3, -0.4, s
Let q = -326 - -1003. Let j = q + -676.9. Sort 5, j, -5, 6/7 in increasing order.
-5, j, 6/7, 5
Let v = -39.61 + 41.53. Sort 0.4, -2, -3/7, v in increasing order.
-2, -3/7, 0.4, v
Let f be (-5)/60*-20*(-8)/(-10). Let g = -0.0323 + -9.8677. Sort g, f, 0.3 in ascending order.
g, 0.3, f
Suppose 5*z - 623 = -3*q, 4*z - 324 = -3*q + 301. Let n = q - 211. Sort 4, n, 5, -3.
-3, n, 4, 5
Suppose -v - 6 = 3*j + 12, 0 = 4*v - 2*j + 2. Sort 0, -5, v, -96 in ascending order.
-96, -5, v, 0
Let o(t) = -t + 1. Let x be o(1). Let w be 234/104*2/9 + (-9)/(-2). Sort w, -14, x.
-14, x, w
Let b = -121.44 - -121.39. Put 2, 3, b, -0.4, 0.4 in decreasing order.
3, 2, 0.4, b, -0.4
Let o = -803 + 805. Suppose 5*b + 5 = -8*v + 12*v, -2*b + o*v = 2. Put 0.25, -0.04, b in ascending order.
b, -0.04, 0.25
Let n(s) = -2*s**2 + 305*s - 152. Let o be n(152). Suppose -3*d + 16 = 1. Sort o, 2, 113, d in increasing order.
o, 2, d, 113
Let l = -58277/15 + 3885. Sort l, 55, 1 in descending order.
55, 1, l
Let z be (2/(-6) + 35/(-21))*-20. Let x = -36 + z. Put -6, x, 3 in ascending order.
-6, 3, x
Let q = -30.39 - 231.45. Let h = -262 - q. Sort h, 1, 2 in descending order.
2, 1, h
Suppose -9 = -5*r + r - l, -4*r - 3*l + 19 = 0. Suppose -7*n - 20 = -2*n. Let p(j) = j**2 - 54*j - 176. Let h be p(57). Sort n, h, r.
h, n, r
Let v be (-8)/(-14)*33/(-44). Let i = -0.195 - 186.805. Let a = -189 - i. Sort a, v, -5 in decreasing order.
v, a, -5
Let j = -5.3 - -5.3. Let z = -0.0887 - -0.1087. Sort j, z, -4, 1.5 in decreasing order.
1.5, z, j, -4
Let j = 3.652 + 137.348. Sort 0.051, -2, j in descending order.
j, 0.051, -2
Let n = 15 + -19. Let x be 0 - ((n - -1) + 0). Suppose -2*i + 19 = o, 0 = x*i + 3*o - 0*o - 21. Sort i, -4, -3.
-4, -3, i
Let m = 401 + -2007/5. Put m, -4/5, -0.3, -0.0449 in increasing order.
-4/5, m, -0.3, -0.0449
Suppose -19 = 3*q - 16. Let k = 32 + -58.5. Let u = k + 26. Put q, u, 3 in descending order.
3, u, q
Let j = -3013 + 6025/2. Put 0.4, 0, -135, j, -4/3 in ascending order.
-135, -4/3, j, 0, 0.4
Let c = 5 + -6. Let a = 3527/2 - 7053/4. Put -0.09, 2/11, a, c in descending order.
a, 2/11, -0.09, c
Suppose n = -0*n - 3. Let j be -15 + (-71)/(-4) - (-3)/(-4). Sort -11, n, j in increasing order.
-11, n,