reasing order.
u, l, -3
Suppose -d - 5*i + 35 = 2*d, -5*d + 13 = -3*i. Let c = d + -2. Sort 5, 2, c in ascending order.
2, c, 5
Let p = 3 - 2. Let n be (-11)/(-28) - p/4. Put 0.1, -5, n in increasing order.
-5, 0.1, n
Suppose 23 = 5*q - 17. Let n(r) = r**2 - 8*r + 4. Let j be n(q). Let h be 4/2*(-5)/2. Sort h, -3, j in descending order.
j, -3, h
Let i = 0.03 + 0.02. Let z = i - 1.05. Sort 0.1, 1/6, z in increasing order.
z, 0.1, 1/6
Let g = -20 + 11. Let p = g - -13. Let f = 3 - p. Sort -0.4, f, -2 in descending order.
-0.4, f, -2
Let z be 2*(0 + (-2)/(-8)). Sort z, -2/5, -3 in descending order.
z, -2/5, -3
Let o(n) be the second derivative of n**5/20 - 7*n**4/12 + n**3 + 5*n**2/2 + 4*n. Let m be o(6). Put m, -3, -4 in descending order.
m, -3, -4
Suppose 4*k = -k - t + 1, 0 = -k - 4*t + 4. Suppose 717 - 725 = 4*u. Sort u, k, -5.
-5, u, k
Let n = -5 + 5. Let c = -4 - 1. Let s = c + n. Sort 0.5, s, 0.4 in descending order.
0.5, 0.4, s
Let f(m) = -m**3 + 7*m**2 + 4. Let d be f(7). Put -7, 1, d in ascending order.
-7, 1, d
Let b(q) = q**3 + 6*q**2 + q + 1. Let z be b(-6). Let i(p) = -p**3 - 5*p**2 + 2*p + 6. Let u be i(z). Let y = -4 - -5. Sort y, 3, u in decreasing order.
3, y, u
Let p(t) = t + 12. Let s be p(-15). Put 3, 0, s, 16 in increasing order.
s, 0, 3, 16
Suppose -2*l - 8 = -3*o, 4 = -l - 3*o - 0. Let x = -16 + 28. Let y = x + -9. Sort l, 2/11, y.
l, 2/11, y
Suppose -8 - 7 = -3*k, -5*m - 35 = 3*k. Let p be ((-4)/m)/(9/15). Let v = 10 + -15. Put 2, v, p in descending order.
2, p, v
Suppose 0 = f + 1 + 4. Let p be -3*(3 - (-3 - -3)). Let k(o) = o**3 + 10*o**2 + 8*o - 5. Let b be k(p). Sort -3, f, b in ascending order.
f, -3, b
Suppose 0*a + 5*a - 17 = 3*m, m - 4*a + 8 = 0. Let r = -4 + 4.32. Let q = -0.02 + r. Put q, 1/5, m in decreasing order.
q, 1/5, m
Let f = 0.4184 + -0.0474. Let p = 0.041 - f. Let y = p - 0.07. Put 5, y, 0.5 in decreasing order.
5, 0.5, y
Let o be (0/2 - -5)*1. Suppose 4*d + 0*b = 4*b + 32, 0 = -2*d - o*b - 5. Sort 3, d, -4 in descending order.
d, 3, -4
Let q = -1.5 + 1.4. Let s = -1.5 - -1.1. Put q, s, 0.2 in ascending order.
s, q, 0.2
Let l = 0.95 + -0.05. Let v = l - 1. Put -0.5, v, -3 in increasing order.
-3, -0.5, v
Suppose -4*q = 5*x, 2*x = 4*q + 12 + 16. Let z = -197 + 195. Sort z, 2, x in descending order.
x, 2, z
Let z be 14/3 - (-1)/3. Let v(w) = 2*w + 27. Let s be v(-14). Put -3, s, z in descending order.
z, s, -3
Let z be 3/2*(-20)/(-6). Suppose 16 = -2*v - 4*h, 0 = -3*v - 2*h + 4*h. Put v, z, 3 in ascending order.
v, 3, z
Let m be (2/(-4))/(2/24) + 3. Put -8, 4, 3, m in decreasing order.
4, 3, m, -8
Let l = -7 + 5. Let d be (8/(-10))/(2/(-5)). Let i(z) = -z**3 - 10*z**2 - 10*z - 13. Let r be i(-9). Put r, d, l in increasing order.
r, l, d
Suppose -3*q + 9 = -6. Let w(u) = u**3 - 4*u**2 - 6*u + 2. Let z be w(5). Put z, -5, q in descending order.
q, z, -5
Let a be (-4)/(-6) + (-184)/(-6). Let z be 449/15 - 0 - -1. Let q = z - a. Put q, 0, 5/4 in descending order.
5/4, 0, q
Let x = 0.5 + -0.2. Let t = -3.88 + -0.12. Sort t, -1/5, x in ascending order.
t, -1/5, x
Let s be 7/(28/(-8))*-1. Suppose -s*x - 2 = -0*x. Sort -3, 4, x.
-3, x, 4
Let q = 153 + -153.2. Put -2/153, 1, q in descending order.
1, -2/153, q
Let b be 20/(-70) + 12/(-7). Put b, 1, 3 in ascending order.
b, 1, 3
Let r(a) = a**3 - 2*a**3 + 2*a**2 + 1 + a**2 + a. Let o be 10/3 - 3/9. Let z be r(o). Sort z, -5, 0 in descending order.
z, 0, -5
Let y = -15.4 + 15. Let l = 4.94 + 0.06. Sort l, y, -5.
-5, y, l
Suppose -l = -24 + 16. Sort -0.5, l, -4.
-4, -0.5, l
Let x(a) = a**3 - 3*a**2 - 5*a + 8. Let g be x(4). Sort 3, 2, g.
2, 3, g
Let r(k) = -k**2 - 12*k - 33. Let s be r(-5). Suppose -4*l = 3*g - 52, -2*g - 3*l + 0*l + 36 = 0. Let o be 2/1 - 22/g. Sort s, o, -0.3 in descending order.
s, o, -0.3
Suppose -3*j + 2*y = 11, -5*y = -3*j + 4*j - 19. Sort -3, j, 1 in decreasing order.
1, j, -3
Let t be 7/2 - 1/(-2). Put -4, t, 2 in decreasing order.
t, 2, -4
Let g = -4.971 - 0.029. Put -7, -1/5, g in descending order.
-1/5, g, -7
Suppose 3*q - 32 = 2*u, -2*q - 2 = -5*u + 6*u. Put -1, u, -3 in descending order.
-1, -3, u
Let y = -2 - -1.95. Sort y, -4, 1/8 in increasing order.
-4, y, 1/8
Suppose 2*n - 2*y - 2 = 0, -2 + 16 = -4*n - 5*y. Let w(b) = b**3 + 7*b**2 + 10*b + 19. Let r be w(-6). Put -2, n, r in ascending order.
r, -2, n
Let m = -10.8 + 0.6. Let n = m - -10. Let c = -0.7 - n. Put c, 4/5, 2/5 in increasing order.
c, 2/5, 4/5
Let i(z) = -4*z - 2. Let g be i(-3). Suppose 0 = -5*k + 3*l - 0*l + g, -l - 10 = -3*k. Sort -2/5, k, 4.
-2/5, 4, k
Let t = -1472/15 + 98. Let g = -12 + 17. Sort g, 0.3, t in increasing order.
t, 0.3, g
Let v = 39 - 38. Put -2/3, 0.3, v, 2/9 in ascending order.
-2/3, 2/9, 0.3, v
Let a be -6*(-2 - (-9)/6). Sort 4, a, -9 in descending order.
4, a, -9
Let u(d) = d**2 + 6*d + 5. Let i be u(-4). Let k be 3/(-4 + 1)*i. Let m(f) = -f**2 + 4*f - 1. Let w be m(3). Put k, w, -5 in ascending order.
-5, w, k
Let g = -9.4 + -1.6. Let m = g + 23. Put 4, 2/9, m in decreasing order.
m, 4, 2/9
Let z = -1.93 - 0.07. Let h = -10 + 10.2. Sort z, h, -5 in ascending order.
-5, z, h
Let i = 274/1295 + -3/259. Let m = -2 - -2.4. Sort i, -1/8, m.
-1/8, i, m
Let y(o) = -2*o**3 - 4*o**2 - 2*o. Let l be y(-2). Suppose -5*a + 3*u + 40 = 0, 0*a = -2*a - 2*u. Sort 0, a, l.
0, l, a
Let p be -1 + 5/(60/13). Sort p, 3, -2 in ascending order.
-2, p, 3
Let t = -0.23 + 0.08. Let i = t + -0.35. Let s = 230/3 + -76. Put s, 0, i in decreasing order.
s, 0, i
Let f = -34 + 100/3. Put 2/3, f, 0, -0.4 in decreasing order.
2/3, 0, -0.4, f
Let v = -6 + 11. Suppose v*t = 2*b + 29, 0 = -b - 4*t + 4 + 14. Let u be (-3)/6 - 1/2. Put b, u, 0 in decreasing order.
0, u, b
Let y = -1681/110 - -9/110. Let h = y - -15. Sort -0.1, -3, h in ascending order.
-3, h, -0.1
Let h = 0.048 - 0.348. Put 4, -1, h in increasing order.
-1, h, 4
Suppose l - 3 = 2*l. Let i(y) = -y - 4. Let a be i(-2). Let w be (-9)/3 + (-12)/3 + 2. Sort a, l, w in descending order.
a, l, w
Let o = 9 - 11. Sort 3/2, 5, o, 3/7 in decreasing order.
5, 3/2, 3/7, o
Let v be (3 - (13 + -5)) + 3. Let w = 8 + -5. Put -1, w, v in decreasing order.
w, -1, v
Let l = -3.1 - -3. Let j = -38 - -27. Let g = j + 11. Sort g, 1/5, l.
l, g, 1/5
Let v = 4 + 1. Suppose -v*z + 0*z = -5. Let i = -3 + -1. Put i, -3, z in decreasing order.
z, -3, i
Suppose 0 = a + 4*w - 1, 0 = -0*a + 3*a + 4*w - 11. Put a, -5, 2, -1 in decreasing order.
a, 2, -1, -5
Let i = 0.51 - 1.51. Sort 0.03, 3, 4, i in increasing order.
i, 0.03, 3, 4
Let r = 3 + -1. Let j be ((-3)/2)/(1/r). Sort j, -4, 1 in decreasing order.
1, j, -4
Let u = 20 + -19.62. Let n = -0.02 - u. Sort n, -1, 2/5 in decreasing order.
2/5, n, -1
Let w be (-1)/15 + -1 + (-50)/(-125). Put -2, w, -5 in descending order.
w, -2, -5
Suppose 0 = -0*s + 2*s + 6. Sort s, -4, -0.3 in descending order.
-0.3, s, -4
Let g = 453 - 453.2. Let t = 1.3 + -0.3. Put t, g, 5 in decreasing order.
5, t, g
Let y be (570/39)/(-5) + 6 + -3. Let k = -55/76 + -1/38. Put y, 0, k in decreasing order.
y, 0, k
Let g be 11/3 - 4/6. Suppose g*b = -0*b. Suppose -8 - 12 = -5*t. Sort b, 5, t in ascending order.
b, t, 5
Let o = 3 - 1. Let g = 3 + o. Let m be 6/9 - 22/24. Put g, m, 0 in increasing order.
m, 0, g
Let l = 34 - 29. Put l, 3, -2, 1 in decreasing order.
l, 3, 1, -2
Suppose 0 = -4*x + 5 - 1. Suppose -b = -3 - x. Suppose 0 = -0*y - b*y - 8, 4*y + 4 = 2*h. Put h, -2/3, -0.3 in decreasing order.
-0.3, -2/3, h
Let y be 4*(-3)/54 + 114/27. Sort -5, y, 10 in decreasing order.
10, y, -5
Let m = 3.2 + -2.2. Let o = 0.02 + -2.02. Sort o, m, -3 in decreasing order.
m, o, -3
Let g(r) = r**2 + r - 8. Let x be g(-6). Let s be 2 - (-2 - (-84)/x). Let m = -0.19 - -0.49. Sort m, -4, s in decreasing order.
m, s, -4
Let s be (-1)/1*(-75)/3. Suppose -g - 2*g = -5*x + s, -4*x + 18 = -2*g. Suppose 3*q = -6 - 6. Sort q, 0, g in descending order.
0, q, g
Let j(f) = 4*f + 2. Let q be j(-2). Let z be ((-8)/q)/((-4)/6). Put 5, -3, z in decreasing order.
5, z, -3
Let y = -88 + 87.59. Let d = y + 0.11. Put -2/5, 1, d in ascending order.
-2/5, d, 1
Let o = 52 + -32. Suppose -2*d - 16 = -4*k + 8*k, 2*k + o = -4*d. Put k, -1, -3 in decreasing order.
-1, k, -3
Let n = 2.6 - 9.6. Sort 3/5, n, -2/9, -1/5 in descending order.
3/5, -1/5, -2/9, n
Let n(s