 (-26)/6 + 2/(-3). Sort u, -0.4, -1 in ascending order.
u, -1, -0.4
Suppose 2*u - 1 = 3. Suppose 0 = -u*d - 3 - 5. Sort -3, -2, d in decreasing order.
-2, -3, d
Let t = -19 + 31. Let q be (-1 - 2)/(9/t). Put -2/9, q, 4/5 in decreasing order.
4/5, -2/9, q
Suppose -10 - 10 = -5*j. Let y be j/2 - 5/(-1). Put 1/3, y, -2/5 in ascending order.
-2/5, 1/3, y
Let p(t) = -2*t**3 - 25*t**2 - 11*t + 11. Let y be p(-12). Put y, 4, -4, 5 in ascending order.
-4, y, 4, 5
Let b be (1*4/(-26))/(-1). Let c = -0.05 + 0.55. Put b, -1, c in increasing order.
-1, b, c
Suppose 0 = -0*l - 5*l + 25. Put 6, -4, l in descending order.
6, l, -4
Let y be (6/(-4))/(12/32). Let f be ((-3)/4)/((-1)/4). Put y, 4, f in decreasing order.
4, f, y
Let g(c) = -7*c + 1. Let j be g(1). Let r be 4/(-3) - (-4)/j. Put 1, r, 3 in descending order.
3, 1, r
Let f = -44.1 + 46. Let q = 1.6 - f. Put -1/2, q, 0.4 in descending order.
0.4, q, -1/2
Let u(r) = -r - 4. Let t be u(-5). Sort t, 0.2, 2 in increasing order.
0.2, t, 2
Let g = 10 + -9. Sort -5, 15, g in descending order.
15, g, -5
Let t(q) = q**3 + 5*q**2 - 2. Let f be t(-5). Let u = f - -2. Suppose d + 7 = -2*c, 12 = -5*d + d. Put c, u, -1 in descending order.
u, -1, c
Let h = 3 - 0. Suppose -4*n = -3*q - 5, 3*n + 3*q - 22 = 8. Suppose 2*l + 2*l = 4. Sort l, n, h in increasing order.
l, h, n
Let q be (-2)/4*16/(-1). Let v(s) = -s + 6 - 3*s + 11*s - s**2. Let t be v(q). Sort 5, 2, t in increasing order.
t, 2, 5
Let s be -196*(-1 + -2)/3. Let r be (-4)/(-14) - 7/s. Sort 0, r, -4/7 in descending order.
r, 0, -4/7
Let j be (-86)/(-18) - (-4)/18. Suppose 14 - 4 = j*y. Sort -2, 1, y.
-2, 1, y
Let b = -1.4 - 0.6. Sort -0.4, b, 0.1.
b, -0.4, 0.1
Let a be (1/(-2))/((-3)/108). Suppose 5*t - t - w - a = 0, 4*t - 22 = 3*w. Suppose -t + 12 = 4*f. Sort f, -2, -1 in increasing order.
-2, -1, f
Suppose 0 = 2*g - 3*y + 2 - 13, 5*g - 8 = y. Let d(v) = v**3 + 4*v**2 - 7. Let n be d(-4). Sort g, -1, n in decreasing order.
g, -1, n
Let m = -0.8 + 1. Put -0.07, -2, m in increasing order.
-2, -0.07, m
Suppose 5*a + 0 + 5 = 0. Let p = a + 4. Put -2, -1, p in ascending order.
-2, -1, p
Let b = 2.4 - 2.5. Let i = -0.1 + 0. Let d = b - i. Sort -1/5, 3, d in decreasing order.
3, d, -1/5
Let u be 0 + -4 + (-24)/(-8). Put -4, -5, u in descending order.
u, -4, -5
Suppose -4*p = 3*a + 26 - 7, 4*a = 4*p - 16. Sort p, 4, 14, -3 in ascending order.
-3, p, 4, 14
Let n = 46.5 - 47. Put n, 0.4, -3, 0.2 in decreasing order.
0.4, 0.2, n, -3
Let y(z) = z**3 + 2*z**2 - 18*z - 10. Let b be y(-5). Put 3, -2, -4, b in decreasing order.
b, 3, -2, -4
Let c = 0.16 + -0.06. Put c, -5, -2/9 in decreasing order.
c, -2/9, -5
Let o = 0.28 + -0.08. Let w = 31 + -125/4. Suppose 4*t = 2*a - 12, -a - 3*a = -2*t - 6. Put t, o, w in decreasing order.
o, w, t
Suppose 115 = 5*x + 40. Let h(g) = g**3 + 4*g**2 + g - 1. Let l be h(-3). Suppose 0 = -t + 4*t - z + x, 0 = t + 3*z - l. Sort 3, 0, t.
t, 0, 3
Suppose 4*p = 20, -2*p - 3*p = k - 21. Put -3, k, -2 in descending order.
-2, -3, k
Suppose -2*p = -7*p. Suppose 2*i - 7 = -1. Put i, p, 4 in descending order.
4, i, p
Let k(u) = u**2 + 2*u - 3. Let a(p) = p**2 + 2*p - 3. Let n(o) = -5*a(o) + 6*k(o). Let f be n(-4). Put -0.3, 0.1, f in descending order.
f, 0.1, -0.3
Let s = 10 - 15. Let l = s - -9. Sort 2, 0.2, l in decreasing order.
l, 2, 0.2
Suppose -5*c + 2*c + 3 = 0. Put -3, -7, c in decreasing order.
c, -3, -7
Let w be (-35)/(-7) - 20/2. Suppose -4 = -3*g + 8. Sort w, g, -2 in decreasing order.
g, -2, w
Let u = 0 - -2. Let j(o) = o**3 - 4*o**2 + 5*o - 5. Let q be j(3). Let k be (5 - 0)*(-4)/10. Sort k, q, u.
k, q, u
Let z = -0.67 - -0.17. Put 3, 5, z in descending order.
5, 3, z
Let y be (0 + 0*4/(-4))/1. Put -5/3, y, 1, -2/7 in increasing order.
-5/3, -2/7, y, 1
Let z(g) = g**2 + 5*g - 5. Let l be z(-5). Sort l, 0, 1, -1.
l, -1, 0, 1
Let t(o) = 5 - o**2 + 0 + 2*o**3 + 2*o**2 - o**3. Let l be t(0). Put -4, 2, l in descending order.
l, 2, -4
Suppose 0 = 2*y + 4, 5*v - 3*y + 4 = -5*y. Sort 1, v, -4, 2.
-4, v, 1, 2
Let s = -1 + 3. Let n = -2.13 + 2. Let x = -0.43 - n. Sort s, -3/8, x.
-3/8, x, s
Let x(t) = t**3 - 7*t**2 - 6*t - 1. Let v be x(8). Let b = -16 + v. Sort 3, b, -4 in decreasing order.
3, b, -4
Let j(z) = z + 3. Let d be j(-6). Let s = -38 + 43. Put d, s, 3/8 in decreasing order.
s, 3/8, d
Let z = 0.154 - 1.154. Sort -1/2, -3, z, -5.
-5, -3, z, -1/2
Let v = 26.5 - 27. Sort -0.2, v, -2 in increasing order.
-2, v, -0.2
Let b = -2.06 + 0.06. Sort 3, b, -3 in decreasing order.
3, b, -3
Let v = -18 - -18. Let z = v - 5. Let j = 3.2 - 3. Put j, z, 8 in descending order.
8, j, z
Let a be (-3)/(-9)*4/6. Sort a, -0.4, 5, 1 in decreasing order.
5, 1, a, -0.4
Let l = -10 - -26. Let d = -9 + l. Let y = -3 + d. Put 0, 2, y in descending order.
y, 2, 0
Suppose -t - o = -5, t - 2*o + 5*o - 5 = 0. Let z(p) = -p**2 + 19*p - 86. Let k be z(12). Put k, t, 4 in increasing order.
k, 4, t
Suppose 2*j - 8 = -p, 8 = -3*p - p. Suppose 9 = -5*u + 4. Put u, j, -3 in descending order.
j, u, -3
Let d = 20 + -19.85. Let f = d + -0.35. Put f, -2, -0.1 in increasing order.
-2, f, -0.1
Let n be (-2)/(2*(-5)/(-15)). Put 2, n, 5 in increasing order.
n, 2, 5
Suppose -5 = -2*u - 9. Sort u, 7, 1, -1.
u, -1, 1, 7
Let s(i) = 11*i**3 - 2*i - 1. Let w be s(-1). Let t = 16 + w. Let d(b) = -b + 5. Let o be d(t). Put o, 5, 1 in descending order.
5, 1, o
Let a = 0.06 + -0.06. Let q = -0.4 - a. Put q, 1/8, 1/2 in ascending order.
q, 1/8, 1/2
Let w be (-26)/(-6) + 8/12. Put -9, -5, w in descending order.
w, -5, -9
Let p = 147 + -147.3. Let t = -424/3 + 140. Sort 0.4, p, t in increasing order.
t, p, 0.4
Let m = -39.68 - -39. Let x = m - -5.58. Let s = -5 + x. Sort s, 1, 4.
s, 1, 4
Let w(p) = p**2 + 10*p + 3. Let o be w(-10). Let a(b) = b**2 - 7*b + 1. Let z be a(8). Suppose -2*s = 1 + z. Sort 2, s, o in decreasing order.
o, 2, s
Let z(h) = h**2 + 7*h + 10. Let u be z(-6). Sort u, -4, -5 in descending order.
u, -4, -5
Suppose 0 = 4*o - 4*r - 32, 2*o - 14 = o - 2*r. Suppose -i - o = -3*i. Put -5, -2, i in decreasing order.
i, -2, -5
Let w = 0.37 - 0.07. Let a be ((-2)/6)/((-42)/(-126)). Sort w, -0.4, a in decreasing order.
w, -0.4, a
Suppose 0 = -3*r + 5*t + 24, -4*t - t = -4*r + 27. Sort -2, 16, r in descending order.
16, r, -2
Let y(h) = h**3 + 7*h**2 + 5*h - 9. Let b be y(-6). Put 5, b, -5 in ascending order.
-5, b, 5
Suppose 2*m = 7*m + 5. Let p = -1 + m. Put p, 5, 4 in ascending order.
p, 4, 5
Suppose -11 = -3*u - 0*u + 2*f, -2*u = 2*f - 14. Put u, -1, 2 in ascending order.
-1, 2, u
Let j = -5.1 + 1.1. Let x = -1023 + 1963/2. Let f = x + 1241/30. Sort j, f, -5 in ascending order.
-5, j, f
Suppose 0 = -0*m - 4*m. Let j(a) = -a**2 - 9*a + 8. Let l be j(-10). Let p be 4*(3 + -2 + l). Sort p, m, 3 in increasing order.
p, m, 3
Let j(i) = i**3 + 8*i**2 - 8*i + 5. Let x be j(-9). Let o = x + -1. Put o, 2, 1 in increasing order.
o, 1, 2
Let k = 2.39 + -2.3. Let z = k + -0.08. Let h = z + 0.99. Put -5/2, -0.2, h in descending order.
h, -0.2, -5/2
Let c = 3 + -5. Let v be (c - 64)/(0 - 1). Let b be v/(-14) - 2/7. Sort -1, b, 1 in descending order.
1, -1, b
Let s(n) = -n**3 + 21*n**2 - n + 20. Let u be s(21). Suppose m = -2*m - 24. Sort 0, u, m.
m, u, 0
Let q be (1/2)/((-3)/6). Let g be ((0 - 1) + 1)/q. Put g, 2/5, 3/8 in decreasing order.
2/5, 3/8, g
Let j = 1 + -5. Put -2, j, 3 in decreasing order.
3, -2, j
Let y = 24 - 30. Put 4, 3, y in descending order.
4, 3, y
Let q = -40.966 - 0.034. Put q, -0.5, -5 in ascending order.
q, -5, -0.5
Let d = -1649/13 + 127. Sort 1/12, 4, d, 2/11 in increasing order.
1/12, d, 2/11, 4
Let d = -18 - -32. Let y = 9 - d. Put -2/9, -3, y in descending order.
-2/9, -3, y
Suppose 12 = 3*p - 2*l - 11, -4*l = -5*p + 41. Put 3, -3, p in descending order.
p, 3, -3
Let w be 4/6 + (-56)/(-42). Put -4, w, 5 in increasing order.
-4, w, 5
Let i = -18 - -17.8. Sort 0.5, -2, 0.4, i in increasing order.
-2, i, 0.4, 0.5
Let o = 19 - 35. Put 0.2, 3/2, o, 2/3 in decreasing order.
3/2, 2/3, 0.2, o
Let k = -1.5 - -1.2. Sort -15, k, 0.1 in descending order.
0.1, k, -15
Let x = 0.3 + -0.31. Let z = x - 0.2. Let f = -0.01 - z. Sort 0.3, f, -0.5 in descending order.
0.3, f, -0.5
Let c = 1 - 3. Let r = -1.8 - c. Sort -4, r, 5 in descending order.
5, r, -4
Let l(s) = -s**3 + 1 + 