ding order.
t, 0, -0.5
Suppose 0 = 2*f - 0*j + 5*j + 1, 0 = f - 5*j - 7. Sort f, 3, -5.
-5, f, 3
Let a = 21 - 26. Put 16, -0.5, a in ascending order.
a, -0.5, 16
Let h = -50 - -51. Put h, -2/13, -6 in increasing order.
-6, -2/13, h
Let v be 5/(105/77) + 6/(-2). Let i = -4 - -3. Sort v, -0.1, i in ascending order.
i, -0.1, v
Let w = -17.44 + 17. Let x = -0.4 - w. Let v = -1.96 - x. Put 1/4, 0.1, v in ascending order.
v, 0.1, 1/4
Let a = 32 + -17. Suppose -5*g = -0*g - a. Let i = g + -1. Put 1, i, 3 in ascending order.
1, i, 3
Let u = 0.33 + 1.67. Let m = -8 - -15. Let x = 12 - m. Sort x, u, -5 in ascending order.
-5, u, x
Let q = -0.2 + -4.8. Sort 5, 1/5, q in decreasing order.
5, 1/5, q
Let d = -14 + 14. Let f(w) = w**2 + 4*w - 8. Suppose 5*h = 2*h - 18. Let o be f(h). Sort o, d, -3.
-3, d, o
Let a be (10/6)/(-5)*-5. Let h(b) = -b**2 + b - 2. Let x be h(0). Put a, x, -1/3 in descending order.
a, -1/3, x
Let w = -0.1 - -0.6. Let o = -37 - -38. Sort 1/8, w, o in increasing order.
1/8, w, o
Let v(c) = c**2 - 9*c + 4. Let w be v(9). Sort 2/7, -0.3, 3, w in ascending order.
-0.3, 2/7, 3, w
Let v(q) = q**3 + q**2. Let y be v(1). Sort 5, 1, y in decreasing order.
5, y, 1
Let z be (1 - -11)*12/(-36). Let s = 1.8 + -2. Sort z, 7, s in increasing order.
z, s, 7
Let g = 27 - 22. Let z be -2 + 1 - 5/(-4). Sort z, g, 2 in descending order.
g, 2, z
Let b be (6/45)/((-2)/20). Let l = -3 + 2. Let f be l + 2/4*4. Put f, b, 4 in descending order.
4, f, b
Suppose i - 551 = 4*w, -5*i + 667 = -2*w - 2016. Let y = i - 1589/3. Let l = -5 + y. Put 3/5, l, -0.2 in descending order.
3/5, l, -0.2
Let t = -3 + 2.6. Let b = 13 + -8. Let z = 0.1 + -1.1. Sort t, z, b in ascending order.
z, t, b
Let b = -0.03 - 0.37. Let l = 12 - 7. Put -1, b, l in decreasing order.
l, b, -1
Let m(j) = j**3 - 12*j**2 - 29*j + 11. Let k be m(14). Sort 4, 1, 5, k in increasing order.
k, 1, 4, 5
Let u be 154/(-35) + (48/20)/(-4). Sort u, -1, -13 in descending order.
-1, u, -13
Let t(k) = -6*k**3 - 7*k**2 + 2*k - 7. Let v(y) = -5*y**3 - 6*y**2 + y - 6. Let z(j) = 4*t(j) - 5*v(j). Let x be z(-1). Sort 4, x, -0.7 in increasing order.
-0.7, x, 4
Let b = 7 + -5. Suppose -3*f = b*f + 10. Let c be 4*(-2 + 4)*(-2)/(-8). Sort f, -3, c in descending order.
c, f, -3
Let g be (3 + 3)*2/4. Sort -2, -0.3, g in descending order.
g, -0.3, -2
Let a = -0.25 + -2.75. Sort a, -2/5, 0 in ascending order.
a, -2/5, 0
Suppose -5 = -u - 2. Let h be u*(1 - (-2)/(-1)). Put -4, h, 5 in decreasing order.
5, h, -4
Suppose 5*w + 7 = -3. Let v = 1 - w. Suppose 0 = -j - 2*q + 4, 2*q + v*q = -3*j + 10. Put j, 4, -2/13 in increasing order.
-2/13, j, 4
Let y(x) = -x**2 + 5*x. Let s be y(5). Put s, -1, -2 in increasing order.
-2, -1, s
Let b = -55 - -58. Put -0.03, 0.3, b in increasing order.
-0.03, 0.3, b
Let l = -0.3 + 0.5. Let q = 0.2 + -0.7. Sort 5, q, l in ascending order.
q, l, 5
Suppose 0*h + 2*h + 2 = 0. Let x be h/(1/(-2)) + 0. Put 0.4, x, 4 in descending order.
4, x, 0.4
Suppose -12 = -2*j + 5*j. Let z = 0 + 0. Let g be (z - 0)/(3 - 4). Sort j, -2, g in descending order.
g, -2, j
Let x be 2/(-4) + 2/4. Let c(b) = b - 1. Let i be c(x). Let o(d) = -d - 10. Let n be o(-5). Sort 2, i, n in increasing order.
n, i, 2
Let u = -35 + 30. Sort 3, -3, -2, u in increasing order.
u, -3, -2, 3
Suppose -17 = 3*x - 4*y, 3*x + 7 = -4*y + 30. Suppose 0 = 5*j + 5*w, -2*j + 28 = -0*j - 5*w. Sort j, -2, x in increasing order.
-2, x, j
Let k = -49 + 31. Let y be 5 - 4 - k/(-22). Put 2, -2/5, y in ascending order.
-2/5, y, 2
Suppose -s = -i - 5, s = -7*i + 3*i + 5. Suppose -3*o - 27 = -i*o. Let v be o/15 - 42/(-20). Sort v, 2/3, 0.2.
0.2, 2/3, v
Suppose -2*l = c + 4, -c - 3*c - 16 = -l. Suppose -2*u - 10 = -5*f, -7*u - 5 = -6*u + 5*f. Put u, 1, c in decreasing order.
1, c, u
Let h = 7 + -2. Let v = 12 - 14. Let f = v - -3. Sort f, 0.2, h.
0.2, f, h
Let y = 0.6 - 0.4. Put -4, -1/4, y in decreasing order.
y, -1/4, -4
Let o = 10 + -3. Let m = o - 13. Sort m, 2, -3 in decreasing order.
2, -3, m
Let i(n) = n**2 + 4*n - 4. Let g be i(-4). Let f be 2 - (1/3)/(3/(-18)). Sort g, f, 1 in ascending order.
g, 1, f
Let h(q) = -q**3 + 4*q**2 - q. Suppose 0 = -4*o - 2*g + g + 13, 4*o = g + 19. Let n be h(o). Let s = 43.9 + -44. Sort n, -5, s in decreasing order.
s, n, -5
Let w = 6.87 - -0.13. Let x = -3 + w. Put 0, x, -0.5 in decreasing order.
x, 0, -0.5
Let u(l) = -l**3 - 4*l**2 + 4*l. Let z be u(-5). Suppose -8*o = -z*o. Sort -1/9, o, 0.2 in increasing order.
-1/9, o, 0.2
Suppose 5*x - 10 = -v + 6, 0 = -3*v + 4*x - 28. Put 0.3, v, 4/7 in descending order.
4/7, 0.3, v
Suppose -4*c = -2*c. Suppose -3*b + 96 = -2*b. Let a = -484/5 + b. Sort c, 2, a in descending order.
2, c, a
Let m be 2/3 - 9/(-27). Suppose 2*c - 26 = -4*w, 5*w - 2*c = -5*c + 34. Suppose -2*b = -0*g + 4*g, b = w*g + 14. Sort g, -5, m in descending order.
m, g, -5
Let r(t) = t**2 - 6*t. Let n be (-1)/(-2) + 44/8. Let a be r(n). Put -1, 1, a in decreasing order.
1, a, -1
Let g = -2 - -5. Sort 2, -2, g in descending order.
g, 2, -2
Let t = 9 + -7. Let l be t/(-2) - (-13)/13. Put 2, l, 1 in descending order.
2, 1, l
Let l = -5 - 0. Let p be 6/2 - (-11 - -14). Sort l, p, 3 in increasing order.
l, p, 3
Suppose 3*i - 3 = -g, -5*i - 4 = -4*g + 8. Suppose 7*u = 5*k + 3*u + 15, i = 5*u. Suppose -4*d = -17 + 5. Sort k, 1, d in ascending order.
k, 1, d
Let b = -189 - -186. Let u = 1 + -1. Sort 2, u, b in descending order.
2, u, b
Let x(j) = j**3 - 4*j**2 + 2. Let s be x(4). Let d = 0.52 + 5.48. Put 2/11, s, d in decreasing order.
d, s, 2/11
Let v = 11 + -18. Let z = 876 - 872. Put v, z, 0 in decreasing order.
z, 0, v
Suppose 2 = 3*o - 2*l, 4*l + 0*l = 8. Let y be ((-2)/o - -1) + 4. Let n be (1 - 3)*(-6)/(-4). Sort n, -2, y in descending order.
y, -2, n
Let p(v) = -v**3 - 2*v**2 + 3*v + 4. Let i be (-6)/(-1 - 2) - 5. Let n be p(i). Suppose -3*g - 4*a + 8 - 27 = 0, 4*a = g + 1. Sort n, g, 2.
g, 2, n
Let c(f) = f**2 + 3*f + 3. Let h be c(-2). Let q be (-9)/(-20) + h/(-5). Put 0.3, -0.5, q in increasing order.
-0.5, q, 0.3
Suppose 0*b - 3*b - 16 = 2*k, -5*k + 5*b - 65 = 0. Let x = -9 - k. Sort -4, -3, x in descending order.
x, -3, -4
Let u = 13 + -12. Put 4, 3, -1, u in ascending order.
-1, u, 3, 4
Let d = 690381/7 + -98888. Let v = d + 263. Let p = 45/28 - v. Put p, 2, 1/2 in ascending order.
1/2, p, 2
Let k be 2/7 + (-138)/42. Sort -5, k, -1.
-5, k, -1
Let j = 13.1 - 13. Put j, 3, -8 in decreasing order.
3, j, -8
Suppose 20 = 3*h + 8. Put h, -4, 5, 21 in descending order.
21, 5, h, -4
Let u = -3.05 - -0.05. Let g = -0.4 + -0.1. Sort -5, g, u in decreasing order.
g, u, -5
Suppose 11 = -2*g + 7. Let w = 0.05 - -3.95. Put g, -0.2, w in descending order.
w, -0.2, g
Let x = 12 + -14. Put 4, -3, x in decreasing order.
4, x, -3
Let m(z) = 4*z + 5. Let j be m(3). Let x = 20 - j. Sort -5, x, 2 in descending order.
x, 2, -5
Let i(y) = -y**3 - 5*y**2 - 6*y - 6. Let l be i(-4). Sort 0, -11, l, -4 in increasing order.
-11, -4, 0, l
Let z = -11 + 8. Put 1, z, -5 in increasing order.
-5, z, 1
Suppose 4*u - 9 = 7. Let x = 12 - 1. Suppose a - 3*n = -4*a - x, u*a + 2*n = -22. Put 4, -1, a in decreasing order.
4, -1, a
Let g(t) = t**2 - 14*t - 17. Let p be g(15). Sort 0.5, p, 0.2, 2/11.
p, 2/11, 0.2, 0.5
Let m(y) = -y**3 + y**2 + 4. Let i be m(0). Let o = 10 + -7. Let f = o - i. Sort f, 5, -4 in descending order.
5, f, -4
Suppose -3*j = -4*j + 1. Let o be (0 + -6)/(6/(-16)). Suppose 0 = -s - 4*u - 24, 3*s - 4*u - o = 2*s. Put 3, s, j in decreasing order.
3, j, s
Let u = -1.03 + 0.03. Let a = u + 4. Put -1/6, -4, a in increasing order.
-4, -1/6, a
Suppose 3*f - 6 = -3*r, 4*r + 5*f + 2 = r. Suppose 0*i + 18 = -5*l - i, -2*l - i = r. Put -5, l, 1 in descending order.
1, l, -5
Let z(j) = j**2 + 8*j - 2. Let r be z(-9). Sort r, -5, -3.
-5, -3, r
Let a = 51.1 - 47. Let r = a - -0.9. Let b = 12 - 12. Sort -0.2, b, r in increasing order.
-0.2, b, r
Let a = 2/47 - -84/235. Put 0, a, -8, -2 in ascending order.
-8, -2, 0, a
Let m = -36 - -36. Sort -7, m, -4 in ascending order.
-7, -4, m
Let c(u) = -u**2 + u - 1. Let m be 1*4*(-1)/(-2). Let a be c(m). Suppose 4*z - 5 = -4*n - 9, z + 6 = 4*n. Sort 0, a, z in increasing order.
a, z, 0
Suppose 0 = p - 4 + 1. Let h = -0.35 + 0.05. Let w = -0.7 - h. Put w, 0, p in descending order.
p, 