5.4 + z. Put 3/5, -3, r in descending order.
3/5, r, -3
Let i be 18/(-10) + 2 - 0. Let t = -11 - -7. Let w be t/(-2) - 21/15. Put w, i, -2/7 in descending order.
w, i, -2/7
Suppose t + 1 = -1. Suppose 5*m - m = 12. Suppose 0*j = m*j + 9. Put t, j, 1 in increasing order.
j, t, 1
Let l(c) = c**2 - 6*c + 4. Let t be l(1). Put t, -18, 2/7 in increasing order.
-18, t, 2/7
Let w = -6 + 9. Suppose 2*r = 2*t + 8, 2*r + 12 = -6*t + 3*t. Put 0, t, w in decreasing order.
w, 0, t
Let z be (1/(5/15))/(6/14). Put z, 0, -5, 3 in increasing order.
-5, 0, 3, z
Let v(l) = l**2 + 3*l. Let h be v(-3). Let r be (0 - 1)/(2/4). Put h, -1, r in increasing order.
r, -1, h
Let o be -1 + 6/3 - -3. Suppose 4*i - o = 5*f - 3, -i = -4*f + 8. Suppose 4*m = -0*c + 2*c + 14, -2*c - f*m + 21 = 0. Sort -3, c, 4 in ascending order.
-3, c, 4
Suppose -2*x + 5*k - 16 = -x, k - 1 = -2*x. Let g be 0/2 + x + -2. Sort g, -4/7, 3 in descending order.
3, -4/7, g
Let z be (8/(-40))/(1 - (-2)/(-3)). Sort -1, 3/2, z, 0.
-1, z, 0, 3/2
Let j be 6/9 + 2/(-3). Suppose -5*d + 0*h - 11 = h, 3*d + 8 = -2*h. Sort j, d, -4 in descending order.
j, d, -4
Let g be (2/1)/(24 - 1). Put 2, 1, 3, g in descending order.
3, 2, 1, g
Suppose 0 = z - a - 3*a + 3, 6 = -2*z - 2*a. Let s be ((5 - 3)/2)/(-7). Sort s, -0.1, z.
z, s, -0.1
Let p be (4 - 1)*4/(-3). Let w be 84/15 - (-2)/5. Let i be (-4)/w - 4/(-6). Put i, -1, p in increasing order.
p, -1, i
Suppose -3*g - 4*u + 34 = -g, -5*g + 3*u = -33. Let o = -6 + g. Let f = 0.9 + -5.9. Put f, 1/5, o in increasing order.
f, 1/5, o
Suppose 3*t + 12 - 6 = 0. Suppose 1 = 3*j - z, j - 4*j - z - 7 = 0. Put 2, t, j in descending order.
2, j, t
Let u be ((-30)/(-63))/(3/(-1143)). Let q = -181 - u. Put q, 1/4, 2/9 in decreasing order.
q, 1/4, 2/9
Let i be 10/(-4)*(-12)/(-10). Let n = -2 - -1. Sort n, i, -2 in increasing order.
i, -2, n
Let v = 144 + -144. Sort v, -17, 3.
-17, v, 3
Let m = 0.7 - 0.6. Let t = -4.97 - 0.03. Put m, -1/8, t in increasing order.
t, -1/8, m
Suppose 0*x = 3*x - 6. Put x, -3, 4 in increasing order.
-3, x, 4
Let x(a) = -a**2 + 2*a + 1. Let t be x(-2). Put 1, 3, t in ascending order.
t, 1, 3
Let i = -0.8 - 7.2. Let v = i - -7.6. Put v, 3/5, 0 in descending order.
3/5, 0, v
Suppose -5*o + 3*l + 44 = 0, -2*o + 0*l + 16 = -2*l. Suppose o = -g - g. Let n be g/((-1)/((-2)/2)). Sort -0.5, n, -2/11 in ascending order.
n, -0.5, -2/11
Let n = 213 + -209. Sort -1/3, -0.2, 2/7, n in descending order.
n, 2/7, -0.2, -1/3
Let m(l) = -l**2 - l - 2. Let h be m(0). Sort 2, 0, h.
h, 0, 2
Let k = 5.09 - 5.1. Sort 1/5, 0.1, -1, k.
-1, k, 0.1, 1/5
Suppose 4*j = 2*s + 26, -3*s + 2*j = 3*j + 4. Sort s, 3, 0.
s, 0, 3
Let g(a) = -3*a + 41. Let u be g(15). Put 0, u, -5, -2 in descending order.
0, -2, u, -5
Let c = -56.2 + 62. Let f = -0.8 + c. Put 0.4, f, 0.3 in increasing order.
0.3, 0.4, f
Suppose -4*c + 12 = 0, 5 = 2*g + 4*c - 3. Let d = -1 + -2. Let i(p) = -p - 12. Let o be i(-7). Put o, d, g in decreasing order.
g, d, o
Let x = 50 - 28. Let s = -24 + x. Sort 5, -5, s.
-5, s, 5
Suppose 4*b = 50 - 2. Let d be (-29)/(-24) + b/(-9). Put d, 0.1, -5 in descending order.
0.1, d, -5
Let p be (16/(-6))/((-2)/3). Suppose 3 = -p*l - 1. Put -5, 2, l in decreasing order.
2, l, -5
Let m = -7 - -5. Put 0.3, 1/3, m in descending order.
1/3, 0.3, m
Let j = -0.9 + -0.1. Let x = 11 - 6. Let b = -0.1 - -0.1. Sort x, j, b in decreasing order.
x, b, j
Let t(c) = -c + 5. Let u be t(0). Let s be (9 - u) + 1*-1. Put -1/4, 2/5, s in descending order.
s, 2/5, -1/4
Let c be 2/(-10) + 673/15. Let w = -45 + c. Put 0, w, -5 in ascending order.
-5, w, 0
Suppose 2*q = -a + 7, 8*a - q = 5*a. Suppose -20 = 4*d, -6*v + d + 2 = -3*v. Sort v, 4, a in increasing order.
v, a, 4
Suppose i + i - 10 = 0. Let q(j) = j - 7. Let d(g) = -g + 22. Let h be d(15). Let z be q(h). Put i, z, 2 in increasing order.
z, 2, i
Suppose 2*s - 20 = 12*s. Suppose 10 = -3*l + 8*l. Suppose -k + 1 = l. Put k, s, 3 in descending order.
3, k, s
Suppose -v + 16 = -5*v. Suppose 4*j + 0 = 4. Let c be j*-2*(-4)/8. Sort v, 2, c in descending order.
2, c, v
Suppose -4*x + 8 = b - 6, -x + 3*b + 10 = 0. Suppose -20 = -x*c - c. Sort 5, c, -3 in descending order.
5, c, -3
Let l = -0.6 - -0.4. Sort 0, l, -0.4.
-0.4, l, 0
Let l = -1.7 - -1.2. Let g(p) = -p**3 - p**2 - 1. Let q be g(-2). Sort -5, l, q in descending order.
q, l, -5
Suppose -2*r - 5 = 5*l, -2*l - 3*l + 30 = -5*r. Put r, 2, -7 in decreasing order.
2, r, -7
Suppose 4 - 2 = p. Let y = 6 - p. Suppose 0 = y*t - 9*t - 5. Sort 0, 2, t in ascending order.
t, 0, 2
Suppose 0 = 2*l - 8 - 0. Sort l, 0, -4 in decreasing order.
l, 0, -4
Let x = -3 + -2. Let j = 656/483 + -5/69. Let p = 1 - j. Put 1, p, x in decreasing order.
1, p, x
Let w = -32 + 35. Put 0, w, -1 in decreasing order.
w, 0, -1
Suppose -3*o = -4*o + 5. Let u(l) = -l**3 + 5*l**2 - l. Let p be u(o). Sort 4, p, -10 in increasing order.
-10, p, 4
Let c = -13 + 11. Put 3, c, -1 in decreasing order.
3, -1, c
Suppose 0 = 2*l + 2. Let u = 0.2 - -0.3. Put l, 1, u in descending order.
1, u, l
Suppose -5*q + 1 = 6. Sort 26, q, -4 in descending order.
26, q, -4
Let r = 0 - -1. Let u = -17 - -5. Let a = 15 + u. Put a, -1, r in decreasing order.
a, r, -1
Let v be 4/(-112) - 12/(-42). Sort 0, 0.06, v, 5.
0, 0.06, v, 5
Let j = 0.7 - 1. Let b = j + 0.3. Let q = b - -0.5. Sort q, 2, 1/7 in ascending order.
1/7, q, 2
Let d be -5*(1 - 2)/1. Suppose 0 = b + 2*b - 6. Suppose -s = -2, b*t - 3*s = 2*s - 16. Sort d, t, 2 in ascending order.
t, 2, d
Let f(n) = n**3 - 4*n**2 - 6*n + 3. Let a be f(5). Let j(z) = z**2 + 19*z - 3. Let b be j(-19). Sort 3, b, a.
b, a, 3
Suppose -3*n + 6 - 3 = 3*x, 0 = -4*n - 3*x + 2. Sort -0.4, n, 4 in ascending order.
n, -0.4, 4
Suppose 0 = 4*y - 7*y - 3*i + 18, 9 = 3*i. Let z = 2 - y. Let q = 6.2 - 6.5. Put z, -1/4, q in ascending order.
z, q, -1/4
Let f = -0.2 + 14.2. Let s = f - 10. Sort 0, 0.3, s.
0, 0.3, s
Suppose 5*q + 6 = 2*q. Sort q, 5, 1/10 in decreasing order.
5, 1/10, q
Let w = 43/3 + -13. Let y = -0.01 + -0.49. Sort w, -4, y in descending order.
w, y, -4
Let c be -1 + (-1 - -1) + -1. Sort 3, 5, c in ascending order.
c, 3, 5
Let g(f) = f**3 + 9*f**2 + 3. Let m be g(-9). Let p = -0.07 - -0.67. Let r = p + -0.4. Put m, -0.4, r in ascending order.
-0.4, r, m
Let x(d) = 16*d**2 - d - 1. Let w be x(-1). Put 0, w, 5, 0.5 in descending order.
w, 5, 0.5, 0
Suppose -d = -3*w + 2, 2*d + 2*w - 8 = d. Suppose 0 = c - 3 + 1. Sort c, d, -3 in decreasing order.
d, c, -3
Suppose -4*p + p - 3*q = 3, -3 = 4*p + 5*q. Let f = -1 + -7. Let j be f/(-4) + p/3. Sort 4, -0.2, j in ascending order.
-0.2, j, 4
Let v = 16 + -22. Let a = v - -4. Put -0.5, a, 3 in ascending order.
a, -0.5, 3
Let a = -2 - 0. Let p be (-3)/6*2*(0 + 4). Put p, a, -3 in descending order.
a, -3, p
Suppose -6*g = -4*g - 14. Suppose 2 = -8*w + g*w. Put 5, 0, w in increasing order.
w, 0, 5
Let t be -4 - 0 - -2 - 8/(-12). Sort 5, t, -4 in decreasing order.
5, t, -4
Let i = 4 + -7. Suppose z + 2*y - 2 = 0, y = 2*z - y + 14. Sort -1, i, z in descending order.
-1, i, z
Let p = 7 + -6. Let a = 0.42 - 0.02. Sort p, -2/13, a.
-2/13, a, p
Let y = 2 - 1. Let f = -20 + 16. Put 0, y, f in descending order.
y, 0, f
Let z be (-5)/(-3)*(-2 + -1). Let g(c) = -c**3 - 7*c**2 + 9*c + 12. Let f be g(-8). Put z, 1, f in decreasing order.
f, 1, z
Let q = 29 + -32. Let t = -9 - -5. Put -2, q, t in ascending order.
t, q, -2
Let s(o) = -o**2 + 8*o - 14. Let z be s(6). Sort -15, z, 3 in decreasing order.
3, z, -15
Let y = -0.06 + 2.06. Let x = -0.5 + 0. Let z = x - -0.8. Put z, -0.5, y in ascending order.
-0.5, z, y
Let i be (0 - -12) + (-15)/(-5). Let o = i - 19. Put 2, -2, o in decreasing order.
2, -2, o
Let b = 1.9 + -2. Let q be (2/(-18))/((-2)/(-4)). Let f = 203 + -208. Sort f, b, q.
f, q, b
Let q = -5.8 + 6. Let x be 1/(-2*(-2 - 1)). Sort q, 0.1, x in descending order.
q, x, 0.1
Suppose 0 = -3*m - 5*z - 99, -10*m + 9*m - 31 = z. Put -5, m, -1 in descending order.
-1, -5, m
Let l be 1/2*1/(-2). Suppose 0*m - 24 = -4*m. Suppose m + 2 = -2*s. Sort l, s, 5 in descending order.
5, l, s
Let n = 23.1 - 23. Put n, 4, 0.2 in increasing order.
n, 0.2, 4
Let g = 2.3 - 2.3. Suppose 0 = 7*l - 3*l - o - 69, o = -4*l + 59. Suppose -j + 5*j + l = 0. Put 5, j, g in increasing order.
j, g, 5
Let q be 16/(