 148 = -38*v - 42. Sort -3, v, 9, 2/17 in decreasing order.
9, 2/17, -3, v
Let i = 451 - 498. Put 0.5, -0.4, -2/13, i in decreasing order.
0.5, -2/13, -0.4, i
Suppose -3*w + 3*u = -u - 11, 0 = 3*w + u - 16. Put w, -5, 4 in ascending order.
-5, 4, w
Let l = 346 + -326. Sort 4, -9, l.
-9, 4, l
Let w = 53 - 51. Suppose -4*i - 32 = -3*z, -w*z = 2*i + 3*i + 17. Put i, -4, -3, 0.03 in decreasing order.
0.03, -3, -4, i
Let y(n) = -8*n + 40. Let j be y(5). Let z be -1 + -2*9/6. Put 2, j, 6, z in descending order.
6, 2, j, z
Let t = 121 + -120.2. Sort t, 1, -0.1.
-0.1, t, 1
Let q = -4 + 3.6. Let k = q + -0.1. Let u = 2.2 + 1.8. Sort u, k, 5 in decreasing order.
5, u, k
Let v = -217/6 - -85/2. Let w(i) = i**3 - i**2 - i - 7. Let a be w(0). Let r = a + v. Sort 0.4, 0, r in descending order.
0.4, 0, r
Let a(p) = 5*p**2 - 4*p + 4. Let v be a(-3). Let m = v + -66. Sort -4, 3, m, 4.
m, -4, 3, 4
Suppose 10*q = 5*q - 15. Suppose 2*o - 4*o = -12. Suppose 0 = 4*a - 2 + o. Sort -4, q, a.
-4, q, a
Let a = -0.5 - -0.32. Suppose -5*c - 8 - 5 = 2*w, 3*w = -3*c - 15. Sort a, c, 4/7.
c, a, 4/7
Let f = 10 - 20. Let h = 0.001 + -4.001. Sort f, h, 0.1 in ascending order.
f, h, 0.1
Let t be 0/(4 + -2 + -4). Suppose -2*a = -3*p - 4, t = -3*a + a + 5*p. Suppose -n = -a*n + 4. Put n, 2, -1 in descending order.
2, n, -1
Let b be (-2)/(3 + -1)*3 + 26. Let n(o) = -2*o + 42. Let z be n(b). Sort 2, z, -1/5 in increasing order.
z, -1/5, 2
Let z = -55/7 + 8. Let m = 22 - 17. Put z, -5, m in ascending order.
-5, z, m
Let y = 4941 - 4940. Suppose 4 = -3*n - n. Put -5, n, y in increasing order.
-5, n, y
Suppose 5*y - m - 10 = 0, -4*y + 4*m + 6 = -2. Let i be 1/2*(-3 + 3). Let p = -1 - i. Put -2, y, p in decreasing order.
y, p, -2
Suppose -20 = -2*d - 22. Suppose -3*w + 16 = -7*w. Put w, d, 8 in decreasing order.
8, d, w
Let b = 0.58 + -0.06. Let q = 4.52 - b. Put 0.04, -4, q in descending order.
q, 0.04, -4
Let g = 1007 - 1011. Let k = 1 - 2. Let w(z) = z - 1. Let c be w(-4). Sort g, k, c in descending order.
k, g, c
Let y be (-10)/(-20) + (-2)/4. Let q(f) = -f + 8. Let k be q(y). Suppose -5*o + k - 3 = 0. Sort o, -4, 3 in decreasing order.
3, o, -4
Let r(o) = o**3 - o**2 - 4*o + 4. Let x be r(3). Suppose -4*u - x = -2*u. Suppose 11 = -2*j - m + 2, -5*m + 3 = -2*j. Sort u, 5, j in descending order.
5, j, u
Suppose 0*j = j - 4*x + 8, -5*x = -5*j - 10. Let a be 3 + (-14)/(-6) + 5/(-15). Put 4, j, -1, a in increasing order.
-1, j, 4, a
Let f = -23.994 - 0.006. Let m = f + 23.6. Suppose -2*y + 3 + 3 = 0. Sort y, m, -0.08 in descending order.
y, -0.08, m
Suppose 0 = -3*g - 4*c - 15, g + 3*c = -4*g - 25. Let d = -1326 + 1349. Sort g, d, 1 in increasing order.
g, 1, d
Suppose -2*v + 13 = -7*v - 3*k, -5*v = -2*k + 8. Let b(m) = m**2 + 16*m - 16. Let h be b(-13). Let x = h - -60. Sort -5, x, v in decreasing order.
x, v, -5
Suppose 2*r + 2098 - 2150 = 0. Put 13, r, 0 in decreasing order.
r, 13, 0
Let n = 0.28 - 0.28. Let o = n + 7. Let p = 3 + -5. Sort 3/4, o, p in decreasing order.
o, 3/4, p
Suppose 4*g + 16 = 0, -98*i - 15 = -93*i + 5*g. Put -2, i, 7 in ascending order.
-2, i, 7
Let d = 0.2373 - 0.0163. Let v = d + -0.021. Put v, 0, -2 in increasing order.
-2, 0, v
Let l = -0.3 - -0.1. Let u(v) = v - 3. Let q be u(3). Suppose 4*p + 5*d - 40 = q, 2*d = -3*p - p + 28. Put p, l, -3 in descending order.
p, l, -3
Suppose -2*a = -2*j - 76, -3*j - 4*a = -j + 52. Sort -1, j, 2, -2 in increasing order.
j, -2, -1, 2
Suppose 0 = 3*p - 4*t + 18 + 5, -2*p - 12 = -2*t. Let r be (p/207*-6)/(2/6). Suppose 4*f - 12 = -4*g, 2*g = g - 4*f - 3. Sort r, g, 1 in descending order.
g, 1, r
Suppose -53 = -5*v - 78. Put v, 4, -4, 3 in increasing order.
v, -4, 3, 4
Let c be 640/80 - (0 + -5). Put 4, 2, c in decreasing order.
c, 4, 2
Let d = 0.15 - 0.2. Let l = -37 + 85. Let i = 47 - l. Sort i, d, -2 in descending order.
d, i, -2
Let z be 15*(-6)/18 - 86/(-16). Sort z, -2/9, -2/3, 2/7 in descending order.
z, 2/7, -2/9, -2/3
Let z = 0.06 + 13.94. Let d = -14.18 + z. Let b = d - 0.22. Put b, -2, 0.11 in increasing order.
-2, b, 0.11
Let k be 1/((1/(-4))/(41/41)). Let w = 3 + -2.99. Let x = w + 0.39. Put x, 2, k in descending order.
2, x, k
Let p be (-14)/20*((-96)/(-28))/6. Sort p, -2, -6/11, 3/2 in increasing order.
-2, -6/11, p, 3/2
Let i = 12 + -20. Let r be -2 + 4 + 4 + (1 - (4 - 2)). Sort i, 2, r.
i, 2, r
Let u = -5 + 4.8. Let q be 6/39 - 168/754. Let y = 41/174 + q. Sort u, 0.3, y in descending order.
0.3, y, u
Suppose -5 = 2*t + 3*q, -4*t + 2*q = 20 - 2. Put -1, t, 0 in descending order.
0, -1, t
Let t be (-30)/4*(176/24 + -6). Sort t, 0.2, 0, 2 in ascending order.
t, 0, 0.2, 2
Let p be -8 + 5 + 35/20. Sort 1.3, p, 0.2 in decreasing order.
1.3, 0.2, p
Suppose 2*m - 7 = -27. Let s be 2/(-4) - (-15)/m. Let t = -4/11 - 3/22. Sort t, s, -2/11 in increasing order.
s, t, -2/11
Let n be (-5)/(-25)*-27 - (-14)/35. Put 1, -3, 16, n in descending order.
16, 1, -3, n
Suppose 0*x + 3*x - 11 = -4*i, 13 = 4*i + 5*x. Let w be 3*5/(-40)*i. Let z = 36 - 395/11. Sort 5, z, w.
w, z, 5
Let d(b) = -b**3 - 8*b**2 - 11*b - 1. Let t be 8 + -11 - ((2 - 3) + 4). Let r be d(t). Let z = 1 - -4. Sort -2, z, r in ascending order.
r, -2, z
Let g = -19/54 + -4/27. Let y be (200/(-15))/(-4) + -4. Let t(o) = o**3 - 5*o**2 + 4*o - 3. Let h be t(4). Put h, g, y in decreasing order.
g, y, h
Let w = -0.297 - 0.093. Let t = w - -5.39. Sort t, -1/4, 1.
-1/4, 1, t
Let y(f) = f**3 + f**2 + f. Let k be y(-1). Suppose 255 = 3*w - 18*w. Sort k, -3, w in descending order.
k, -3, w
Suppose 48 = -4*l + 7*l. Let o be 2/4 + (-40)/l. Let n be o*(-1)/(-4 - -2). Sort n, -2, 5 in increasing order.
-2, n, 5
Let r be 175/15 - 2/(-6). Let j = 13 - r. Sort -4, j, 3, -1.
-4, -1, j, 3
Let a = 14 - 13.2. Let o = -12.8 - -16. Let c = a + o. Sort 4/5, c, -3 in decreasing order.
c, 4/5, -3
Let r = -11/10 + 14/15. Put r, -1, 1/17 in increasing order.
-1, r, 1/17
Let z(b) = b**3 + 12*b**2 + 17*b + 62. Let i be z(-11). Put 0, 60, i in increasing order.
i, 0, 60
Let z = -2.2 + 0.2. Let b = -2.6 - z. Let k = -0.022 + -0.278. Sort -0.4, k, b.
b, -0.4, k
Let o = 1/1478 + 5907/7390. Let l = 3 + -2. Put l, 1/4, o in decreasing order.
l, o, 1/4
Let y = -65 + 64.6. Sort y, -11, 0.5, 2/5 in increasing order.
-11, y, 2/5, 0.5
Let p(a) = -a**2 - 5*a. Let c be p(-5). Let r be (-70)/(-28)*(-4)/(-5). Sort r, 4, c in ascending order.
c, r, 4
Let j = 39 - 37. Let h be (0 - 0/2)/1. Let w(i) = -i**2 + i + 2. Let t be w(-2). Sort h, j, t in descending order.
j, h, t
Let v(a) = 7*a**2 - a - 3. Let k be v(-1). Suppose -2*b = -k - 1. Sort -3, 4, b in increasing order.
-3, b, 4
Let l = -1216 - -1221. Sort 0, l, -66, 3 in increasing order.
-66, 0, 3, l
Let v be (-28)/35 - (-4)/10. Let n be (8/(-322))/(20/650). Let r = -12/23 - n. Put -3, r, v in descending order.
r, v, -3
Let r = -0.0491 + 1.0491. Put 2/5, -74, r in decreasing order.
r, 2/5, -74
Suppose 0*h = -4*h + 12. Let m be 5/((-20)/(-36)) - 3. Suppose -16*c = -13*c + m. Sort -1, c, h.
c, -1, h
Let w(r) = -r**3 - 17*r**2 - 40*r + 27. Let t be w(-14). Put 0, t, 53 in increasing order.
t, 0, 53
Let z = -236 - -234. Put 10, 2/9, z, -1/2 in increasing order.
z, -1/2, 2/9, 10
Suppose -12 = -6*j + 3*j. Let z = 82 - 21. Let c = z + -61. Sort -2, c, j in descending order.
j, c, -2
Suppose -2*g = 2*g + 3*y + 15, 5*g - y + 33 = 0. Let d(s) = 2*s + 7. Let j be d(g). Let q be (3/(-2))/((-3)/(-8)). Sort 1, q, j.
j, q, 1
Suppose 4*w + 15 = w. Let q = 21057 - 21044. Sort -3, q, w in ascending order.
w, -3, q
Let a be 13 - 4*5/20*11. Let d(o) = o**2 + 2*o - 6. Let s be d(5). Suppose -10 = 5*j + 5, 5*f + 3*j = -s. Put a, f, -3 in descending order.
a, -3, f
Let l = 3 - 2. Suppose 2 - 6 = 2*x - 2*j, -4*x = -5*j + 13. Let t = -5 + x. Sort t, l, 5.
t, l, 5
Let k = -1.29 + 1.29. Put -0.01, k, 0.1, -3 in increasing order.
-3, -0.01, k, 0.1
Let b = -7 + 4. Let t = b - -2.9. Sort -3, 1/5, t in ascending order.
-3, t, 1/5
Suppose 0 = d + 28*a - 25*a - 15, 0 = 5*d + 3*a - 27. Let n = -7.7 + 8. Sort n, -6, d in increasing order.
-6, n, d
Let x = -974 + 979.09. Let n = -0.09 + x. Put -1/22, 0, n in descending order.
n, 0, -1/22
Suppose 28*b - 22*b + 6 = 0. Put 1, 5, -5, b in decreasing order.
5, 1, b, -5
Let k = -22099/20 - -1105. Put k, -5, -9 in descending order.
k, -5, -