.4 in increasing order.
0.4, p, 2
Let z be (-432)/234 - (-2)/(-13). Sort 25, -5, z in decreasing order.
25, z, -5
Let q = 7 + -4. Suppose g - 15 = -q*x - 8, 0 = -2*x + 3*g - 10. Sort 0, 5, x in decreasing order.
5, x, 0
Let h = -10 - -14. Suppose -w - 21 = 5*z, -4 = 4*z - 4*w + 8. Put 2, h, z in decreasing order.
h, 2, z
Let r be 1*-1 + ((-28)/10)/(-2). Sort r, 0.5, 0, -0.8 in increasing order.
-0.8, 0, r, 0.5
Let n = 8 - 13. Let w = -125 + 128. Put 8, w, n in ascending order.
n, w, 8
Let a be 5/10*(-8)/(-14). Sort -0.3, 7, a.
-0.3, a, 7
Let s be (-1 - 9/(-6))*8. Suppose 4*b = 0, s*p + 5*b + 2 - 14 = 0. Let d be 0/(-3) - 12/p. Sort -3, -2, d in ascending order.
d, -3, -2
Let k be -3*((-2)/3)/1. Suppose k*q - 4 = -2. Let c(z) = -2*z + 1. Let h be c(-2). Sort h, q, 4 in descending order.
h, 4, q
Let z = -24.1 - -24. Sort -0.7, z, -3 in descending order.
z, -0.7, -3
Let l = -4.1 + 0.1. Let d = -3.5 - l. Let k = 3 + -3.1. Put -4, k, d in descending order.
d, k, -4
Let f = -2.3 - -6.4. Let q = 0.1 - f. Sort -3, q, -2 in decreasing order.
-2, -3, q
Let p be 20/(-6)*24/(-16). Let z(x) = -x + 7. Let a be z(p). Let d be (-2)/((27/(-3))/1). Put 1/4, a, d in descending order.
a, 1/4, d
Let q = -12 - -7. Put q, 0.2, 0.4 in descending order.
0.4, 0.2, q
Let q = 29 + -25. Let m = -4/37 + -136/111. Sort 0.4, m, q in ascending order.
m, 0.4, q
Let f = 14 + -10. Sort -2/3, f, 0 in ascending order.
-2/3, 0, f
Let o = 8 - 11. Let c = o + 7. Sort -4, 0.3, c.
-4, 0.3, c
Let w(m) = -m**3 + 6*m**2 - 3*m + 5. Let h be w(5). Let y = -10 + h. Sort y, -2, -1 in decreasing order.
y, -1, -2
Let v(h) = -h**3 + 6*h**2 - 8*h + 10. Let b be v(5). Let k = -8 - -5. Sort b, 3, k in decreasing order.
3, k, b
Let v = 2/49 - -76/539. Sort v, 5, 3/4 in increasing order.
v, 3/4, 5
Let a = -14 + 13. Put a, 3, -1/4 in increasing order.
a, -1/4, 3
Let y = 2 + -1.75. Let w = -0.05 - y. Sort w, 4/7, -5 in descending order.
4/7, w, -5
Let z(v) = v**3 + v**2 + v + 4. Let i be z(0). Suppose -4*w + 0 = -i. Let y = 5/39 + -6/13. Sort 2, w, y.
y, w, 2
Let c = 3 - 3. Let w(o) = -o**2 - 7*o - 5. Let z be w(-5). Let a = -4 + -1. Sort z, a, c in increasing order.
a, c, z
Suppose -32 = -z - 29. Sort -5, z, -4.
-5, -4, z
Let w = 33 - 22. Let y = 7 - w. Put y, -2, 5 in increasing order.
y, -2, 5
Let i = 13 + -29. Let y = i - -23. Let m = y + -7.3. Put -1, m, 2 in ascending order.
-1, m, 2
Suppose 0 = -4*m - m + 25. Suppose -q - 3*x = -8, -11 = 5*q - x - x. Let i = 1 + q. Sort m, i, -2.
-2, i, m
Let c = -45 + 44.97. Sort -4/5, -0.2, c in descending order.
c, -0.2, -4/5
Let x(t) = -t. Let s be x(5). Let u = -8 - s. Let r be (20/(-8) - -1)*-2. Put u, r, -5 in descending order.
r, u, -5
Let q = -0.7 - -0.9. Sort 0.4, q, -3/5 in ascending order.
-3/5, q, 0.4
Suppose -3*a + 10 = -h, 0*h + 10 = h + 2*a. Let o = 1.8 - 2. Let r = -8 + 5. Put h, r, o in decreasing order.
h, o, r
Let a(o) = -o**3 + 9*o**2 - 9*o + 10. Let d be a(8). Suppose 0*g - d*g - 4 = 2*f, 2*f - 6 = 0. Put g, 5, 4 in decreasing order.
5, 4, g
Suppose -2*k - 3*q = -17, 3*k - 4*q = -9*q + 28. Suppose -6 = -s + k. Suppose -2*l - 4*r - 20 = 0, -l - s = -0*l + r. Sort 1/6, -2, l in ascending order.
l, -2, 1/6
Let o = 9 + -2. Let j be (-3)/2*(-14)/o. Sort j, 5, -4.
-4, j, 5
Let p(a) = a**3 + 2*a**2 - 3*a + 4. Let b be p(-3). Let c = -1 + 7. Suppose 4*t - c = 2*x, -3*t - 6 = 2*x - t. Put b, -1, x in descending order.
b, -1, x
Let x be (2 - (-20)/(-12))/(-1). Sort -1, 0, x in descending order.
0, x, -1
Suppose 4*f + 22 + 11 = r, 2*f + 3*r + 13 = 0. Sort -1, f, -3 in decreasing order.
-1, -3, f
Let z = -1.3 - -11.3. Let a = 6 - z. Sort -0.3, -1, a.
a, -1, -0.3
Let w be (0/1)/(6/3). Let g be 1/(-2) + 3/(-6). Let p = w - g. Put 5, -3, p in descending order.
5, p, -3
Let l = 0.04 + 1.96. Let k = 18 + -23. Let z = 0.05 - 3.05. Put l, k, z in decreasing order.
l, z, k
Let q = -0.411 + 0.011. Let u = -1.1 - 0.1. Let f = -0.2 - u. Sort -2, q, f in ascending order.
-2, q, f
Suppose -17 = 4*l + 3. Let k(z) = z**2 - 7*z + 16. Let b be k(3). Suppose 0 = -2*m - 2*g + 6*g - 16, -25 = -5*g. Sort m, b, l.
l, m, b
Let w = 1 - 2. Let g = 5 - 2. Suppose -2*q = g*q + 15. Sort q, w, 2 in ascending order.
q, w, 2
Suppose 2*f - 4*f = -4. Let p be (2/(-1))/((-2)/(-5)). Sort p, f, 1 in increasing order.
p, 1, f
Let v = 3 - 8. Let q(l) = -l**2 - 6*l - 7. Let c be q(-5). Let d = -6 - -8. Sort c, v, d.
v, c, d
Let n(i) = 5*i. Let y be n(1). Suppose -622*f = -636*f + 14. Suppose 5*a = g - 21, 8*a + 25 = 3*a. Sort f, g, y in increasing order.
g, f, y
Let g = -7/15 + -17/60. Let z = 1 - 3. Sort z, g, -1 in ascending order.
z, -1, g
Let y = -85/7 + 921/77. Let h = 2.99 + 0.01. Put h, y, -3 in decreasing order.
h, y, -3
Suppose -8*w - 21 = -5*w. Let i = 3 + w. Put 5, i, 3 in ascending order.
i, 3, 5
Let u = 824/2829 + -10/69. Let c = -194/205 + u. Sort 0.4, c, -4 in ascending order.
-4, c, 0.4
Suppose 5*i + 4*j + 3 = -11, 2*i + 9 = -5*j. Sort 6, -4, i.
-4, i, 6
Let s = 0.44 + -0.04. Let p = 0.2 - s. Let k = 0 + p. Put -3/7, 0, k in ascending order.
-3/7, k, 0
Let j = -5.58 - -1.66. Let q = 0.28 + -0.36. Let b = j + q. Sort -0.5, 1, b in decreasing order.
1, -0.5, b
Let f = -4.84 - -4.8. Sort f, 0.3, 2, -3 in descending order.
2, 0.3, f, -3
Let c(u) = -u**2 - 5*u + 1. Let f be c(-6). Let l(o) = o**2 + 2*o + 5. Let i be l(-2). Sort 3, f, i in decreasing order.
i, 3, f
Let n = 7 + -2. Let s be (-2)/(-2) + -1 + 1. Let j(x) = 2*x**2 - 1. Let h be j(s). Put n, -5, h in decreasing order.
n, h, -5
Let t = -3 - -7. Let i be 2/(0 + t)*6. Sort 0, i, -3 in ascending order.
-3, 0, i
Let m = -3 + 6. Suppose -m*g + g + 10 = 0. Let t be (5/(-10))/(1/2). Sort t, g, 2 in ascending order.
t, 2, g
Suppose 3*l = -2*l - a + 27, 4*a = -l + 13. Suppose 9 = 2*w - l*w. Put w, 2, -5 in increasing order.
-5, w, 2
Let h(i) = 4*i**2 + i - 1. Let v be h(1). Put -3, v, 0, 5 in decreasing order.
5, v, 0, -3
Let f = -19 + 14. Put 3, f, -2 in descending order.
3, -2, f
Let z = 4.5 - 4. Let k = -0.5 + z. Let u(d) = 5*d**2 - d. Let c be u(1). Put 0.1, c, k in decreasing order.
c, 0.1, k
Let u(p) = -p**2 + 19*p + 61. Let b be u(22). Put b, -11, 0.4, 1/2 in decreasing order.
1/2, 0.4, b, -11
Let r = 13 + -14. Suppose -2*n - 1 = -3. Let f = -13 - -8. Put n, r, f in increasing order.
f, r, n
Let l be 3/(21/(-30) - -1). Suppose i + l = -i. Let p = 272/247 - 18/19. Sort i, -1/3, p in descending order.
p, -1/3, i
Let l = 215 + -212. Sort -4, l, -10, 1/5 in increasing order.
-10, -4, 1/5, l
Let q(g) = g**3 - 6*g**2 - g - 2. Let c be q(6). Let l = -213 + 215. Sort -1, c, l in decreasing order.
l, -1, c
Let j = 1.37 - -1.63. Sort -3, -2, 1, j in descending order.
j, 1, -2, -3
Let x = -11 - -6. Let z = x + -2. Let c = z - -3. Sort 4, c, -0.2 in decreasing order.
4, -0.2, c
Let q = 130 + -124. Sort q, -3, 0 in ascending order.
-3, 0, q
Let f be (-76)/10 - 27/(-45). Put -3, 1, f in ascending order.
f, -3, 1
Let m = 2.5 - -0.5. Sort 0.5, -0.05, m in ascending order.
-0.05, 0.5, m
Let f = -60.9 - -60. Let y = -96 - -90.1. Let r = f - y. Put r, 1/4, -0.01 in decreasing order.
r, 1/4, -0.01
Suppose 10 + 2 = 2*a. Suppose -4*y + 7 = -13, 25 = -k + 3*y. Let h = k + a. Put 2, -2/23, h in decreasing order.
2, -2/23, h
Let x = -16 + 22. Let c be 4*(-1 + 5/x). Sort c, 3/7, 4/7 in decreasing order.
4/7, 3/7, c
Suppose -i = 6 - 4. Let c(v) = -v**3 - 2*v**2 - v + 2. Let x be c(i). Let m be 2*6/4*-1. Sort 1, x, m in decreasing order.
x, 1, m
Let t(b) = -b**3 + 2. Let y be t(0). Sort -1, 1, y.
-1, 1, y
Let p be (9 - 7)*(-6)/(-4). Sort 4, 5, p.
p, 4, 5
Let a = -0.1 - -0.3. Let n = a - 0.2. Let s be 3 + (-2 - (-2)/5)*5. Sort s, -1, n in descending order.
n, -1, s
Let x be (-1)/1*3*-1. Let j = -0.35 - 1.65. Sort -0.4, j, x in decreasing order.
x, -0.4, j
Let m(t) = t**3 - 5*t**2 + 3*t + 5. Let h be m(4). Let n = 14 - 14. Suppose 0*c + 2*c - 10 = 0. Put n, c, h in increasing order.
n, h, c
Let d = -176102/11 + 13442393944/839663. Let u = -19084804/59310741 - d. Let y = u + 4/111. Sort -3, y, -2.
-3, -2, y
Let i(r) = r**2 - 7*r - 4. Let q be i(7). Let t be 1 + (2 - (-4)/(-4)). Let j be -2*(-4)/(2 + t). Sort q, -2, j in decreasing order.
j, -2, q
Let n(y) = -y**2 - 6*y + 19. Let w be n(-8). Sort -2, -4, -3, w.
-4, -3, -2, w
Suppose -1 - 19 = -4*q.