f in ascending order.
-2, f, i
Let a(p) = p**2 + 8*p - 10. Let i be a(-9). Suppose s - b = b + 13, 4*s = -3*b - 3. Suppose 4 = z + s. Put -5, z, i in ascending order.
-5, i, z
Suppose -3*l - 3 = -54. Let n = 10 - l. Sort 0, -2, n.
n, -2, 0
Let k = -20 + 21. Let c(h) = 3*h + 2. Let b be c(k). Sort b, 7, -3.
-3, b, 7
Let y = 4 - -5. Suppose 4*o + 7 = -y. Put -2, -3, o in decreasing order.
-2, -3, o
Let a = -618/11 - -56. Let x be ((-4)/25)/(24/20). Sort a, x, -3/8 in ascending order.
-3/8, a, x
Let f(b) = -b**3 - b + 3. Let o be f(0). Put -5, 2, o in descending order.
o, 2, -5
Let q = -3.5 - -3. Let z = 0.3 - 0.5. Put -1, z, q in increasing order.
-1, q, z
Suppose -s = 2*s - 18. Let d = s - 11. Put -3, 5, d in increasing order.
d, -3, 5
Let l = -7.1 - -4.1. Sort l, -0.06, -3/2 in ascending order.
l, -3/2, -0.06
Suppose 4*r + 9 + 7 = 4*m, -3*m + 16 = r. Suppose 13 = -4*s + m*o, 0 = s - 2*o + 5 - 4. Let u be 2 + 4*4/s. Put u, 0.3, 3/5 in descending order.
3/5, 0.3, u
Let l be ((-12)/(-8))/((-25)/(-10)). Put 4, -2/5, l, 2/7 in decreasing order.
4, l, 2/7, -2/5
Let z = 30.4 + -31. Let y = 0.5 + -0.1. Let f = y - z. Sort f, 0.5, -1.
-1, 0.5, f
Let u = -3 - -2. Let p be (-15)/(-21) + 0 + u. Put p, 0.4, -2 in increasing order.
-2, p, 0.4
Let r be 2 - 2/(4/10). Let x be ((-12)/(-9))/(18/(-27)). Put r, -1, x in increasing order.
r, x, -1
Let v(i) = -3*i + 27. Let y be v(8). Let u = -5 - -13. Put y, u, -2/11 in descending order.
u, y, -2/11
Suppose 0 = -5*u + 5. Let t be 17/(-4) - u/(-4). Put 1, -3, t in decreasing order.
1, -3, t
Let w = 1.1 + -1. Let r = 0.6 - w. Let s = 9/34 - 167/374. Sort r, s, -5 in increasing order.
-5, s, r
Let w be (-2)/29*(-11)/11. Put 2, -2, w in descending order.
2, w, -2
Suppose -32 = 2*z - g, -5*z + 3*z = 3*g + 16. Put -1, z, -4, -2 in increasing order.
z, -4, -2, -1
Let v = -1 + 0. Let f be (-1)/((-9)/6 - v). Put -5, -4, f in descending order.
f, -4, -5
Suppose 3*u = 4*f - 19, -1 + 0 = f + 5*u. Put f, -1, 0 in increasing order.
-1, 0, f
Let x(c) = -c**3 - 8*c**2 - 6*c + 4. Let s be x(-7). Sort -1, 4, s in ascending order.
s, -1, 4
Let x = -1/133 + 142/1197. Let h = -2.9 + 0.9. Put x, h, -0.5 in descending order.
x, -0.5, h
Let o(i) = -i**2 + 11*i + 16. Let m(a) = 11*a + 17. Let l(g) = 2*m(g) - 3*o(g). Let y be l(10). Let z = y - 1234/7. Sort -1/2, z, -0.1 in descending order.
-0.1, z, -1/2
Let a = 7 - 4. Let x = 3.2 - a. Let c = -7.5 + 7. Sort x, 0.4, c in decreasing order.
0.4, x, c
Let y(x) = -x**2 - 2*x + 2. Let d be y(-2). Sort d, -2, -0.5, 0.3 in descending order.
d, 0.3, -0.5, -2
Let l(v) = 3*v. Suppose -3*m = -5*m + 2. Let r be l(m). Put 2, -5, r in decreasing order.
r, 2, -5
Let b(q) = -q**3 + 6*q**2 - 5*q + 2. Let j be b(5). Suppose -j*a = 2*a - 4. Let c = a + 2. Sort c, -3, 1.
-3, 1, c
Let m = -34 + 37.6. Let w = m - 4. Sort w, 3, 0.5 in ascending order.
w, 0.5, 3
Suppose 3*a = -5*i - 19, a = -3*a - 12. Suppose 0 = 6*w - 7*w - 5*m + 28, 4*w - 5*m + 13 = 0. Suppose w = p - 2*p. Sort i, -5, p in increasing order.
-5, p, i
Let q be -1 + (-4 + 4)/3. Put -2, -0.2, q, -0.04 in ascending order.
-2, q, -0.2, -0.04
Let b = -22 + 15. Let k(m) = -m**2 - 1. Let y be k(1). Sort b, y, 3 in increasing order.
b, y, 3
Let o = 0.11 + 3.89. Let l = o - 5. Sort 3, l, 1 in increasing order.
l, 1, 3
Suppose -4*g = 5*v + 70 + 214, -3*v - g = 176. Let u be (-10)/(-15) + 46/v. Put u, 5, -0.2 in decreasing order.
5, u, -0.2
Let m = 34 + -19. Suppose 0*n + m = 3*n. Put n, -4, -5 in increasing order.
-5, -4, n
Let d(x) = -4*x + 24. Let c be d(5). Sort c, -3, -2, 2 in ascending order.
-3, -2, 2, c
Let r be (-1)/3 + (-4)/6. Let b = -3 + 3. Suppose -4*u + 2*y + 5 - 13 = b, 0 = y + 2. Put 1, r, u in descending order.
1, r, u
Let f = 7.2 - 6.2. Sort -5, -0.5, -2, f in increasing order.
-5, -2, -0.5, f
Let g be 2*75/(-6)*1/(-5). Put g, 3, 9 in increasing order.
3, g, 9
Let b be (6/(-27))/(2 + -1). Sort b, -4, -0.3.
-4, -0.3, b
Let n(r) = 2*r**2 - 6*r + 3. Let w be n(-5). Let f = 499/6 - w. Sort f, 5, -1/6 in decreasing order.
5, f, -1/6
Let w = 18 - 27. Sort 3, w, 0.
w, 0, 3
Let f = -6 + 28. Let z = f - 24. Put z, -1, -4 in descending order.
-1, z, -4
Suppose 6 = -m - d, -1 + 10 = -4*m - d. Let x = -2 - 0. Sort 0, m, x in decreasing order.
0, m, x
Let i(r) = r**2 - 7*r + 5. Let m(s) = 1. Let a(d) = -i(d) + m(d). Let p be a(5). Suppose -2*x + 0*x + 5*u - 4 = 0, -3*x - 3*u = p. Sort 3, -3, x.
-3, x, 3
Let v = 1/8 - 27/88. Sort 4, v, -0.2 in descending order.
4, v, -0.2
Let v be 121/(-2) + (-48)/(-32). Sort -3, -2, v, 5.
v, -3, -2, 5
Suppose -4*n = -5*o - 21, 14 = -4*o + 2*n - 4. Put 7, o, 1 in descending order.
7, 1, o
Let a(x) = -2*x + 8. Let y be a(7). Let o = y + 10. Put o, -5, -2 in decreasing order.
o, -2, -5
Let h = -1.4 + -0.6. Sort 1, -1/2, h.
h, -1/2, 1
Let i = 78 + -78. Let v = 1 + -1.1. Sort i, v, 1 in decreasing order.
1, i, v
Let o = 11 + -14. Put o, 2/9, 2/19 in decreasing order.
2/9, 2/19, o
Let i = 5 + -2. Let v be (-2 + -1)/(i/(-5)). Put -1, 0, v in descending order.
v, 0, -1
Let p = -3.7 + 3.9. Put p, 3, -3 in decreasing order.
3, p, -3
Let t = 0.1 - 0.4. Sort -2/11, -14, t in increasing order.
-14, t, -2/11
Let j(p) = -5*p - 2. Let i be j(-2). Suppose -108 = -4*x - i. Suppose -4*y - x = 5*t - 3*y, 0 = 4*y. Sort t, 1, 0 in increasing order.
t, 0, 1
Suppose -11 = -3*d + 37. Suppose -4*i + 0*i = -d. Put i, 2, -2 in descending order.
i, 2, -2
Let c = -129 + 125. Sort -1/3, 5, c, -5 in ascending order.
-5, c, -1/3, 5
Let s be (3/(-2))/(6/(-12)). Suppose s*d = 7*d - 8. Sort 3, -3, d in increasing order.
-3, d, 3
Let u = -4.91 + -0.09. Put u, -0.3, -2/5 in descending order.
-0.3, -2/5, u
Let d = 181/4 - 44. Let p = 19 - 24. Sort p, d, 0.5 in increasing order.
p, 0.5, d
Let o = -0.33 + -1.67. Sort 3, 5, 0.1, o in descending order.
5, 3, 0.1, o
Let x = -0.55 + 0.05. Put x, 0, 2/19 in decreasing order.
2/19, 0, x
Let v be ((-2)/5)/(((-220)/25)/11). Sort v, 0.8, -3/7 in increasing order.
-3/7, v, 0.8
Let x be ((-5)/20)/((-2)/(-6)). Let c be 6/15 - (-32)/(-55). Sort c, -0.2, x in descending order.
c, -0.2, x
Let g = 0 - -3. Let s be -2 + 3 + (-8 - -3). Put g, s, 1 in increasing order.
s, 1, g
Let q = 20 - 20.1. Sort -2, -3, q in ascending order.
-3, -2, q
Let c = -2.61 - -0.11. Let t = c + 3. Let y = -0.02 + -0.38. Put y, t, 3 in descending order.
3, t, y
Let n = -51 + 56. Sort -1, n, 3, 0.05 in ascending order.
-1, 0.05, 3, n
Suppose 5*g - 2*g = 0. Suppose 4*o - 5*d - 4 = -g*d, o = -d + 1. Put 0, -1, o in descending order.
o, 0, -1
Suppose 5*h = 2*h - 12. Let d(o) = -o - 1. Let f be d(-6). Suppose 8 = -5*p - 17. Sort f, h, p in increasing order.
p, h, f
Suppose 4*d = -5*u - 7, 4*d + 2*u = 6*u - 16. Let b be (-12)/5 - (-4)/10. Let p be 10*((-6)/4 - b). Put p, 0, d in increasing order.
d, 0, p
Suppose 13*f + 5 = 14*f. Sort f, 4, -5, -3 in descending order.
f, 4, -3, -5
Suppose 16 = -3*r + 5*y - 12, 2*y - 7 = -3*r. Sort -3/5, 0, r in ascending order.
r, -3/5, 0
Let c = -22 + 14. Let x = -5 - c. Suppose 2*a - 1 + x = 0. Put a, 3/8, -3/2 in descending order.
3/8, a, -3/2
Suppose -2*u - 4*x = 5 - 15, 0 = -2*x. Let h = u + -4. Suppose 2*l = -4*d + 4*l - 10, 3*l + h = 2*d. Sort d, 5, -1 in decreasing order.
5, -1, d
Let f be -3 + 3 - 3 - 2. Put 2, f, 4 in descending order.
4, 2, f
Let b = -137 + 269/2. Let r = -0.58 + -1.42. Sort r, b, -0.4.
b, r, -0.4
Let d = 4 + -1. Let h = -9 - -11. Suppose 3*y + 6*r = h*r + 17, 0 = 5*y - 4*r + 25. Put d, 2, y in decreasing order.
d, 2, y
Suppose 3*o = 4*y, 6*o - o = y + 17. Let a be (6/(-4))/(9/18). Let r = a + 4. Sort o, 0, r in increasing order.
0, r, o
Let j(g) = -g**2 - 4*g + 9. Let k be j(-5). Sort -1, k, -4 in increasing order.
-4, -1, k
Let k = 5.2 - 5.17. Sort -5, k, -0.5, 2/3 in decreasing order.
2/3, k, -0.5, -5
Let f = 0.19 - -0.01. Let t = f - 0. Put t, -0.5, 1/3 in ascending order.
-0.5, t, 1/3
Let k be (-192)/(-102) - (1 + 1). Let n = -6 + 6.4. Sort k, -1/4, n.
-1/4, k, n
Let u = -0.5 + 7.5. Let j = u - 10. Put j, -2/5, 0 in decreasing order.
0, -2/5, j
Let a = 0.3 - 0. Let c be 12/9 - 13/12. Put -5, c, a in decreasing order.
a, c, -5
Let u = 44 + -31. Let c = u - 16. Sort 0, -4, c in decreasing order.
0, c, -4
Let n = 1.93 - -0.07. Let p = -0.9 - -5.9. Put -0.2, n, p in ascending order.
-0.2,