 5.1. Put u, 5, -7 in increasing order.
-7, u, 5
Suppose -4*t + 5 = v - 4, 1 = 3*t - 5*v. Suppose -w = -0*w + 2. Sort w, 3, t in descending order.
3, t, w
Let o be (56/(-21) - -3)*4/(-1). Put 5/7, o, -3 in descending order.
5/7, o, -3
Let b(y) = 6*y**3 + y**2 + y + 1. Let a be b(-1). Let i = -74 + 77. Put i, 0, a in decreasing order.
i, 0, a
Let i = 1 + 0. Let v(g) = -5*g**2 + 2*g - 1. Let p be v(i). Let m = -20 - -20. Put m, 4, p in ascending order.
p, m, 4
Let w = -4 - -3. Let r be -2*2/4*w. Let j(v) = -2*v + 6. Let f be j(5). Put f, r, 0 in decreasing order.
r, 0, f
Let y be (-3)/(-3)*2*5. Let c be (15/125)/(2/y). Let r = -23 + 45/2. Sort r, c, 0.3 in descending order.
c, 0.3, r
Suppose -4*x - 2 = -10. Suppose -3*h - 6 = 3*i, -4*h = -i + x*i + 23. Sort h, -3, 2 in descending order.
2, -3, h
Let r = 2977/17 + -175. Put r, 1/3, -2/3 in increasing order.
-2/3, r, 1/3
Suppose 4*u = 3*u - 4. Put -0.1, u, 2/9 in descending order.
2/9, -0.1, u
Let c(r) = -2*r**2 + 21*r - 7. Let s be c(10). Put 5, -2, s, -1 in descending order.
5, s, -1, -2
Let l(j) = j**3 - 5. Let n be l(0). Let z(r) = 4*r**2 + 1. Let y be z(1). Sort n, 4, y in increasing order.
n, 4, y
Let a = 2/45 + -32/45. Put 1, 3, a, 0 in decreasing order.
3, 1, 0, a
Let p(z) = 2*z - 7. Let o be p(4). Let u = 2 - o. Sort 4, u, -5 in descending order.
4, u, -5
Let p(k) = k + 14. Let v be p(-15). Let i(d) = d**3 + 5*d**2 - 7*d - 4. Let g be i(-6). Let r = 3 - g. Put 0, r, v in descending order.
r, 0, v
Let j = 23 + -23. Put 5, 2, j, 3 in decreasing order.
5, 3, 2, j
Let l = 0.4 + -0.2. Let v = -3.92 - 0.08. Let k be (-3)/6 + (-10)/(-36). Sort v, k, l in descending order.
l, k, v
Let g = 12 - 25. Let z = g - -16. Put -4, 0, z in increasing order.
-4, 0, z
Suppose 0*w - 2*w - 5*z - 7 = 0, -2*w + 5*z + 23 = 0. Sort 5, 3, -1, w in decreasing order.
5, w, 3, -1
Let x = 1176962041/828 + -1421451. Let v = 883685/207 + -4269. Let c = v + x. Put c, 0, 3/7 in ascending order.
0, 3/7, c
Suppose -5*q - 2 + 12 = 0. Suppose 0 = d + 12 - 1. Let a be (-2)/4 - d/2. Put 1, a, q in increasing order.
1, q, a
Suppose -p + 6*p - 15 = 0. Let o = p + -8. Let v be 0 - ((-30)/16)/o. Put -2/9, v, -4 in decreasing order.
-2/9, v, -4
Let w(u) = -2*u - 15. Let q be w(-8). Let n be 1 - -1 - (-1 - 0). Let p be -5 - 2/(1 + -3). Put p, n, q in ascending order.
p, q, n
Let k(g) = g**3 + 9*g**2 - g - 6. Let x be k(-9). Sort x, -5, -1, 5.
-5, -1, x, 5
Let x = -10 - -11. Put 4, x, -2, -9 in decreasing order.
4, x, -2, -9
Suppose 0*c + 13 = 5*y - 2*c, 0 = 3*y - 3*c - 6. Suppose 7*b - 20 = y*b. Suppose b*r + 22 = d - 4*d, -4*r = 4*d + 16. Put r, 0, 1 in descending order.
1, 0, r
Let g be 2 - (-1 + (2 - -3)). Let z = g + 6. Let h be -7 - (0 - z/2). Put 0, 5, h in increasing order.
h, 0, 5
Let g be (-118)/(-88) - 2/8. Let q = -14/33 + g. Let t = -336 - -337. Put q, -0.3, t in descending order.
t, q, -0.3
Let q = 1 - 1. Suppose 2*w - 1 = -3. Sort 4, q, w in descending order.
4, q, w
Let k be ((-6)/81)/(4/(-6)). Let x = -15.5 - -7.8. Let d = -8 - x. Put d, k, -0.4 in decreasing order.
k, d, -0.4
Let t be (-4)/(-8) + 2/4. Let r = 3 + 1. Suppose m + r = t. Put 4, m, -1 in increasing order.
m, -1, 4
Suppose 0 = -3*p - 4*m - 29, 3*m + 3 = p - 2*m. Suppose -4*g + 20 = 3*b, 5*b - 26 = b - 5*g. Sort p, b, 3 in increasing order.
p, 3, b
Let j be 4 - 6 - ((-9)/2)/3. Sort j, 0.07, -5.
-5, j, 0.07
Suppose 3*l + 2*f = 6*f + 15, l = -2*f + 15. Let z be 64/36 + 2/l. Sort -2, z, -3 in increasing order.
-3, -2, z
Let t = 13 - 8. Let u = -8 + 8. Let o be 4*(2 + (-10)/4). Sort u, t, o in increasing order.
o, u, t
Suppose -w + 12 = w - 5*f, 0 = 3*w - 2*f + 4. Suppose -q + 0*q = 0. Put 1, w, q in descending order.
1, q, w
Let q = 2.1 + 1.1. Let f = -1.8 - q. Sort 1/3, 1/5, f.
f, 1/5, 1/3
Let q = 19 - 12. Suppose 2*f - q = -3. Put 5, 1, f in descending order.
5, f, 1
Let a be (-3 - 2)*6/10. Let i be (a + 0)*(-3)/(-9). Put -5, i, -2 in decreasing order.
i, -2, -5
Let y be 54/12*(-4)/(-6). Sort 2, -29, y in ascending order.
-29, 2, y
Let t = -1259/14 - -90. Let d = -379 + 378.9. Sort -3/5, d, t.
-3/5, d, t
Let y be 3/(3 + 0/1). Put 4, -4, y in decreasing order.
4, y, -4
Let b be (-4)/(-22) + (-15)/22. Let w = 0.18 + -2.18. Put 5, b, w in descending order.
5, b, w
Let k = 87 - 62. Let l be (-1 - -3)*k/10. Let u = 0 + l. Sort u, -2, -5 in ascending order.
-5, -2, u
Suppose -5*k + f + 1 = -2, -5*k - 9 = 3*f. Suppose 63*p - 68*p - 10 = 0. Sort p, -3, k in decreasing order.
k, p, -3
Suppose -3*w = -5*x - 14, 0 = 5*w - x - 3*x - 6. Let z be w - (-2)/(12/14). Let n = 4 - 4.4. Sort -4, z, n in ascending order.
-4, n, z
Let s = 42/31 - 387/217. Sort 0, s, 2, 7 in descending order.
7, 2, 0, s
Suppose 9 = 5*m - 4*t, -5*t + 0 = 4*m + 1. Sort -19, -2, m, 2 in increasing order.
-19, -2, m, 2
Suppose 6 = -c - c. Sort 2, c, 1 in decreasing order.
2, 1, c
Suppose x - 4 = v - 12, -4*x = v + 7. Suppose -l + 0*k + 1 = 3*k, -25 = -v*l + 5*k. Suppose 2*p - 9*p = -21. Put p, -5, l in ascending order.
-5, p, l
Let l = -14.3 - -14. Sort l, -3/5, -2, 0.
-2, -3/5, l, 0
Let t be (-2)/(-3)*(-9)/3. Sort -4, 3, t in descending order.
3, t, -4
Let h = -0.2 - -0.1. Let y = 17.1 - 17. Sort -2, h, y in increasing order.
-2, h, y
Suppose -6*l + l - 40 = -3*o, -5*l = 5*o. Let f(p) = -p**3 + 5*p**2 + 7*p - 4. Let z be f(6). Suppose z = o*v - 3. Put -4, v, 3 in increasing order.
-4, v, 3
Let n be (-48)/30 - (-2)/(-3)*-3. Put 4, -0.2, n in increasing order.
-0.2, n, 4
Let j be (-4)/10 - 6/(-15). Suppose j = w - 0*w - 3. Sort -1, -6, w in ascending order.
-6, -1, w
Suppose -10 = 3*i + 17. Let q be 28/6 - (-6)/i. Sort 2, -2, q.
-2, 2, q
Let t = 4/95 + 162/665. Suppose -n + 5*n = 0. Let l = n - 1. Sort 0, t, l in ascending order.
l, 0, t
Suppose 0 = 3*c - 846 + 93. Suppose -2*r = -r + c. Let k = r - -1760/7. Put k, -1/6, 2/13 in increasing order.
-1/6, 2/13, k
Let v = 16 - 15.2. Let u = -1 + v. Put 2/19, 2/21, u in decreasing order.
2/19, 2/21, u
Let l be ((-3)/((-9)/3))/(11/(-44)). Sort 5, l, 1, -15.
-15, l, 1, 5
Let b = 3 + -2. Let f(a) = -a + 6. Let q be 2/8 - (-105)/12. Let s be f(q). Put b, 5, s in descending order.
5, b, s
Let l = -6.3 - -6. Let i = 0.1 + -2.1. Let b = -1.9 - i. Sort b, 1, l.
l, b, 1
Let y = -23 - -27. Put 5/2, 0, y in decreasing order.
y, 5/2, 0
Let o be 1/2 + (-1)/2. Let m(a) = a**3 - 7*a**2 - a + 2. Let r be m(7). Sort -2, o, r in descending order.
o, -2, r
Let m = 0.94 - 0.44. Suppose -13 = -3*x - 1. Suppose x*p = -0*p. Sort 3, m, p in descending order.
3, m, p
Let p be (-7 - -4)/(1/4*-6). Put p, 4, -7 in increasing order.
-7, p, 4
Let h(i) = i - 1. Suppose -2*d - 5*z + 30 = 2*d, 22 = 4*d + z. Let r = 3 - d. Let o be h(r). Sort -1/8, o, 2 in increasing order.
o, -1/8, 2
Let s = -6.1 + 6. Let c = -0.13 - s. Let p = -0.53 - c. Sort p, -0.4, -2/9 in decreasing order.
-2/9, -0.4, p
Let y = -0.1 - -0.5. Put 4/3, y, 3 in decreasing order.
3, 4/3, y
Suppose -3*u = -6*u + 30. Let r(t) = t**2 + 4*t - 2. Let b be r(-4). Let a be 9/b - 5/u. Sort 4, 0.5, a.
a, 0.5, 4
Suppose 3*h + 75 = 4*w + 8*h, 4*h = -3*w + 57. Suppose 0 = -u + w + 12. Let k be (-6)/(-2)*3/u. Sort 2, k, 4 in decreasing order.
4, 2, k
Suppose 0 = 2*u - 6*u - 4. Sort 3, -2, u in decreasing order.
3, u, -2
Let r = -50 - -49. Sort r, -6, 0, 4 in descending order.
4, 0, r, -6
Let n(b) = -b**2 - 10*b - 8. Let m be n(-9). Let p = 5/6 - m. Put 0.3, -0.5, p in descending order.
0.3, p, -0.5
Let v = -2 - -2.2. Let s = -36.96 + 37. Put v, s, 0.4 in descending order.
0.4, v, s
Suppose 3*r + r - 8 = 0. Let c = 2 - r. Suppose 4*j - 3*f - 4 = 2*f, -3*f = 3*j + 24. Sort j, c, 3 in descending order.
3, c, j
Let a(b) = b + 4. Let n be -1*2*10/4. Let p be a(n). Put -2, -2/5, p in descending order.
-2/5, p, -2
Let b be ((-2)/(-3))/2*6. Suppose -h = n - 0 - 9, 5 = h. Sort n, b, 5 in decreasing order.
5, n, b
Let y = -28/11 + 23/22. Put y, 9, -0.2 in decreasing order.
9, -0.2, y
Suppose -2*o + 4*h = 8 + 6, 5*o + 28 = 3*h. Suppose 2*l - 7*l - 5*z + 20 = 0, -4*z = l - 16. Put 4, l, o in increasing order.
o, l, 4
Let c be 33/22*(17/(-21) + 1). Sort 5/2, 3, 0.23, c in decreasing order.
3, 5/2, c, 0.23
Let l(y) = -2*y**2 - y. Let g be l(1). Let z(r) = r - 2. Let s(w) = -w + 2. Let d(a) = -6*s(a) - 5*z(a). Let x be d(3). Put 3, x, g in ascen