t w, -3, l in decreasing order.
w, l, -3
Suppose 0*t - 8 = -4*t. Sort 1/5, -4, t in ascending order.
-4, 1/5, t
Let m be (-1)/(-4) - (-39)/(-12). Let z be 1/3 + (-5)/(-3). Sort z, -2, m in increasing order.
m, -2, z
Let f = -47 + 43. Sort 4, 5, f, 0.
f, 0, 4, 5
Let l = 6 - 6.3. Put 0.5, -2, l, 3/2 in decreasing order.
3/2, 0.5, l, -2
Let z(w) = w**2 - 9*w + 16. Let d be z(4). Sort -12, d, 0.4, 3 in increasing order.
-12, d, 0.4, 3
Let l = -2.03 - -0.03. Let b = 0 - l. Let j = 473 + -468. Sort j, b, -2 in decreasing order.
j, b, -2
Let v = -0.918 + -0.082. Put -1/4, -7, -1/3, v in increasing order.
-7, v, -1/3, -1/4
Let c = 8 + -11. Suppose v + 5 = 13. Suppose -10*z + 2 = -v*z. Sort -3/5, c, z.
c, -3/5, z
Let b = -1 - -0.8. Sort 3, 5, b in descending order.
5, 3, b
Let y = -16 + 16.4. Sort -0.2, y, 4, -0.7 in increasing order.
-0.7, -0.2, y, 4
Let b(q) = q**2 - 3*q + 1. Let n = 4 - 1. Let y be b(n). Sort -3, y, -4 in increasing order.
-4, -3, y
Let p = 1.6 - 1. Let k = 0.5 - p. Put k, -2/11, -0.2 in increasing order.
-0.2, -2/11, k
Let x = 74/5 + -76/5. Sort x, -1/3, -1.8, 4 in ascending order.
-1.8, x, -1/3, 4
Suppose -4*r = -0*r + 180. Put r, 1, 5, -1 in descending order.
5, 1, -1, r
Suppose 0*n = -2*n. Suppose 0*s + 1 = -s + o, 3*s - 9 = -o. Suppose 4*k + s*y - 12 = 0, -16 = 4*k - 2*y - 3*y. Put k, 4, n in descending order.
4, k, n
Suppose 2*m = 3*f - 7, 2*f = -m - m + 8. Let t be 8 + -2 - (2 + m). Put -4, 1, t in descending order.
t, 1, -4
Let a be (-1)/(-36) + (-2)/8. Let f = -217/1090 - 1/1090. Put f, 0.1, a in descending order.
0.1, f, a
Suppose -3*h + 10 + 21 = 4*n, 2*h + n - 14 = 0. Suppose 6*j - h*j = 1. Sort -3, j, -0.5.
-3, -0.5, j
Suppose 59 = -5*x - o - 19, -3*x = -3*o + 54. Sort 3, -3, x in descending order.
3, -3, x
Suppose 0 = -8*u + 168 - 416. Sort u, -4, -5, -3 in increasing order.
u, -5, -4, -3
Let z = -0.03 - -0.03. Put -2, z, 3 in decreasing order.
3, z, -2
Suppose -3*r - 11 = 19. Let i be (-3)/(-24)*r*4. Put 1, -3, i in decreasing order.
1, -3, i
Let s be 34/108*20/(-25). Let l = s - 4/27. Sort 1, l, 4/7 in descending order.
1, 4/7, l
Let z = 0.2 + 0. Let x = 5 + -4.4. Let v = x - -2.4. Sort v, z, -0.1.
-0.1, z, v
Suppose 4*c + 28 = -4*l, c - 15 = l + 6*c. Let b be (-2)/3 + (-33)/(-9). Suppose -5*y + 30 = 5*j - 0*j, -2*y + j - b = 0. Sort 5, y, l in increasing order.
l, y, 5
Suppose -2*p = 3*p - 35. Suppose 15 = -2*d + p*d. Put -4, d, -1 in descending order.
d, -1, -4
Let z be (-4)/18 - (-220)/99. Suppose -z*c = c - 12. Sort -2, -4, c in descending order.
c, -2, -4
Let b = 587/3 - 195. Let j = 6 - 4. Put b, j, 4 in ascending order.
b, j, 4
Let n be (-10)/(-2) + (-11 - -11). Put n, -1, -3 in ascending order.
-3, -1, n
Let m(k) = k**3 + 10*k**2 + 10*k + 9. Let o be m(-9). Let h be (o/(-2 - -4))/(-1). Suppose 0 = 2*y - h*y - 6. Sort y, 4, 0 in ascending order.
0, y, 4
Let f = 16 - 14. Put 7/4, -2, -0.5, f in descending order.
f, 7/4, -0.5, -2
Let a = -27 - -22. Let k = 2 + 3. Sort a, 2, k in descending order.
k, 2, a
Let t = -76 - -74. Put -7/10, t, -0.2 in ascending order.
t, -7/10, -0.2
Let j(d) = d - 1. Let s be j(5). Suppose 15*o + 8 = 13*o. Put o, -3, s in increasing order.
o, -3, s
Let p = -0.9 + 0.66. Let u = p - -0.04. Put u, 0, 0.03 in descending order.
0.03, 0, u
Let l(y) = -y**3 - y**2 - 1. Let a be l(-2). Suppose 9*k - 8 = 17*k. Put a, k, -4 in descending order.
a, k, -4
Let j = 6 + -5.8. Let n = 0.5 - 0.8. Let w = n - j. Sort 3, w, 4.
w, 3, 4
Let t be (-1 + 0)/(2/(-6)). Let z = 0 - -2. Sort z, t, -3 in increasing order.
-3, z, t
Let w = 13.7 + -13.3. Sort -0.2, w, 3 in decreasing order.
3, w, -0.2
Suppose -17*m = -18*m + 6. Put m, -3, -5 in decreasing order.
m, -3, -5
Suppose 52*y = 56*y + 4. Sort 2, 4, y in decreasing order.
4, 2, y
Let k be 4/6 + 2/(-3). Suppose -4*g + 2*g - 5*r = 14, 2*g = -4*r - 12. Sort g, 1, k in descending order.
1, k, g
Let f = -213 - -1061/5. Sort f, 3, 2 in descending order.
3, 2, f
Suppose -5*f = -3*w + 25, -f + w = -2*w + 17. Let v = f - -2. Let d be (-3)/(v - 6/(-8)). Sort 4, 0, d.
d, 0, 4
Let w = 13 - 13.18. Sort -1, w, -0.3 in descending order.
w, -0.3, -1
Let h = -40 - -39. Sort 0.7, h, -5 in ascending order.
-5, h, 0.7
Let p = -0.064 + -7.336. Let y = 7 + p. Put 1/4, 0.2, y in increasing order.
y, 0.2, 1/4
Let z(f) = f**3 + 3*f**2 - 1. Let t be z(-2). Let j = 2 - 4. Let x(o) = o + 2. Let u be x(j). Sort u, t, -2.
-2, u, t
Suppose h = -3*h - 4. Let t(b) = b**3 - 5*b**2 + b - 1. Let i be t(5). Suppose 11 = 5*r - 2*u, -4 = -i*r - 2*u - 6. Put h, r, -3 in decreasing order.
r, h, -3
Let l = -7 + 1. Put 4, -1, l in increasing order.
l, -1, 4
Suppose c + 7*c = 2*c. Sort 3, c, -4 in decreasing order.
3, c, -4
Let d = 29 - 86/3. Let i be 66/(-90) - (-2)/5. Sort i, d, 1/2.
i, d, 1/2
Let m(c) = -c**3 + 5*c**2 + 2*c - 5. Let u be m(5). Suppose 51 = 18*s - 21. Sort u, 0, s in increasing order.
0, s, u
Let s = 0.12 + -0.42. Let y(q) = q**2 + 18. Let j be y(0). Let h be (1/j)/(3/(-12)). Sort s, 5/2, h.
s, h, 5/2
Let b = 3/154 + 281/1386. Suppose 0 = 9*i - 10*i - 1. Let l be i/6 - (-5)/6. Sort l, 4, b in decreasing order.
4, l, b
Let n = -0.391 + -0.109. Suppose -i + 2 + 1 = 0. Suppose -5*w = 5*s - 3 - 2, -16 = 5*w - 2*s. Sort w, i, n in increasing order.
w, n, i
Let q = -9.445 + 0.145. Let j = 9 + q. Let v be 0 - (7/(-5) - -2). Sort v, -0.1, j in decreasing order.
-0.1, j, v
Let r(h) = -h**3 - 27*h**2 - h - 25. Let s be r(-27). Sort 0, 4, s, -4 in decreasing order.
4, s, 0, -4
Let b be ((-1)/(-4))/(4/(-16)). Let x = 16 + -9. Sort b, x, -3 in ascending order.
-3, b, x
Let c = 10 - 10. Let w(n) = n**3 + n**2 - n + 4. Let i be w(c). Put -3, -2, i in ascending order.
-3, -2, i
Suppose 4*t - 8 = 0, -2*t = -c - 4 + 2. Suppose 5*g - 20 = 3*p - c*p, 4*p = -2*g + 8. Sort -2, p, 4 in increasing order.
-2, p, 4
Let c(x) = -x - 11. Let u be c(-6). Let g = 3 - 6. Put g, u, -2 in descending order.
-2, g, u
Let s = 86 + -75. Put 0, s, 4, -4 in descending order.
s, 4, 0, -4
Let u(w) = -2*w**3 - 13*w**2 - 5*w + 5. Let d be u(-6). Sort d, -2/17, -0.1 in ascending order.
d, -2/17, -0.1
Let c = 4 - 6. Let o = 36 - 33.9. Let x = o + c. Sort 2/13, x, 0.4.
x, 2/13, 0.4
Let u = -26 - -36. Suppose -46 + u = -2*i. Let a be ((-8)/(-20))/(i/(-10)). Put -4/5, a, -2 in ascending order.
-2, -4/5, a
Let d = 16 - 12. Put -1, d, -9 in decreasing order.
d, -1, -9
Let h = -0.3 + 0.1. Let x be 21/28 - ((-3)/(-2) + -1). Put -4/5, h, x in decreasing order.
x, h, -4/5
Let a = -64/7 + 93/14. Suppose 0 = 2*y + y + 4*u - 8, 0 = -4*y - 3*u - 1. Sort 0.4, y, a.
y, a, 0.4
Let o be 222/(-18) - (-2)/(-3). Let a = 6 + o. Let z be 2/a + (-30)/(-7). Sort -4, z, -3 in increasing order.
-4, -3, z
Let s be (-28)/(-21)*3/(-2). Sort 1, -4, s, 4 in ascending order.
-4, s, 1, 4
Let m(p) = -2*p**3 - 1. Let c be m(1). Let x(r) = r**2 + 5 + r - r. Let i be x(0). Put c, i, -2 in decreasing order.
i, -2, c
Let n = 0.5 - 1. Let k = -271/4 + 68. Put n, k, 4/5 in decreasing order.
4/5, k, n
Let y = -78 + 83. Sort y, 3, 4, 0 in ascending order.
0, 3, 4, y
Let x(y) = y**2 + 2*y + 2. Let h be x(-2). Suppose 4*t - 15 = w, -5*t = h*w + 2*w - 24. Put t, 2, 1 in ascending order.
1, 2, t
Suppose 2*j + 14 = 4*u, -2*u + 3*j = -2*j - 19. Sort -3, u, 1 in increasing order.
-3, 1, u
Let z be 0 - -2 - 48/8. Let v = -7 - -4. Put z, v, 1 in descending order.
1, v, z
Suppose 0*w + 4*p = -w + 22, 4*w = -p + 13. Suppose -q + 0*d = -3*d - 1, w*d = 5*q - 18. Let r be (-10)/(-4) - 1/2. Sort q, r, -0.2 in ascending order.
-0.2, r, q
Suppose 2 = -0*l + 2*l + 2*z, 0 = 3*l + z - 5. Suppose 0 = -q + l*q + 2. Sort q, 4, 0 in ascending order.
q, 0, 4
Let h = -0.7 + 0.4. Let i = 0.4542 + 0.0458. Sort 5, i, h in decreasing order.
5, i, h
Let u = 26962573/2 + -33487517537/2484. Let a = -71449/10557 + 115/17. Let s = u - a. Sort s, -1, -4 in decreasing order.
s, -1, -4
Suppose -3*b - 47 = d + 9, -3*d = 3*b + 54. Sort 0.1, 5, b in descending order.
5, 0.1, b
Suppose -3*a + 5 = 2*a. Sort a, 5, -4.
-4, a, 5
Let i(g) = g**2 - 6*g + 7. Let u be i(5). Suppose -3 - 7 = u*q. Let s = -1 + 0. Sort s, q, 0.3 in increasing order.
q, s, 0.3
Let s(t) = t**2 + 10*t - 5. Let z be s(-11). Put z, -2, 4 in ascending order.
-2, 4, z
Suppose 0 = -f - 3*f. Suppose -3*o - 5*h + 59 = 19, -5*o + 3*h + 10 = f. 