 2 in increasing order.
-8, u, 2
Suppose -4*i + 33 = -27. Suppose -2*l - 5 = -i. Suppose 0 = -3*w - 14 + 2. Sort l, w, 2 in ascending order.
w, 2, l
Let z = 3.3 - 3. Let j = 8.08 + -0.08. Let k = -4 + j. Sort k, z, 5 in descending order.
5, k, z
Suppose -3*h = 6 + 12. Let x = -9 - h. Put x, 0, -4 in descending order.
0, x, -4
Let c = 0.02 - 0.02. Sort c, 4, 2 in ascending order.
c, 2, 4
Let r = 9.1 - 6.1. Sort -0.2, r, -17, -2/5 in descending order.
r, -0.2, -2/5, -17
Let x = 0 + -0.1. Let j = -15.3 + 15. Put j, x, -0.4 in decreasing order.
x, j, -0.4
Let t = 0.3 - 1.1. Let b = t + 0.3. Let v = 4.5 - b. Put -1, 0, v in decreasing order.
v, 0, -1
Suppose d - 2 = -0*d. Let a be (4 - 4)/(0 - d). Sort 4, a, -5 in descending order.
4, a, -5
Suppose -w + 1 = y, -2*w - 22 = -4*y - 0*w. Sort y, 2, 5.
2, y, 5
Let q = 3.957 - -0.043. Sort 3, 3/8, -0.1, q in ascending order.
-0.1, 3/8, 3, q
Let r(k) = k**3 - k**2 - k + 5. Let x be r(4). Let z = x + -9. Suppose -z = 3*h + 5*g, 5*g - 10 = -35. Put h, 0.2, -0.4 in descending order.
0.2, -0.4, h
Suppose 70 = 5*p + 6*f - f, 6 = 2*f. Let z = -6 + p. Sort 0.4, 4, z in decreasing order.
z, 4, 0.4
Let h be (-4)/6 + (-39)/9. Let j be (-8)/(-10) + (-10)/(-25). Sort 2, j, h in ascending order.
h, j, 2
Let z = -204 - -1424/7. Let x = 0.02 - -1.98. Put z, 3/4, x in increasing order.
z, 3/4, x
Let b be 1/2 + (-11)/2. Put -2/5, b, 4 in decreasing order.
4, -2/5, b
Let b = 3.93 - -0.07. Let r = -4.1 + b. Let w = -1 + -4. Sort w, 5, r in ascending order.
w, r, 5
Let b(j) = -j + 3. Let p be b(3). Let a(n) = -n**3 + 4*n**2 + 2*n + 7. Let h be a(5). Let c = h + 13. Sort 9, p, c.
p, c, 9
Let t(g) = -g**2 - 3*g - 1. Let h be t(-3). Suppose 25 = -o - 4*o. Put o, 3, h in descending order.
3, h, o
Let f(r) = -r**3 + 4*r**2 + 4*r + 7. Let m be f(5). Let i(z) = z**2 - 3*z + 1. Let t be i(2). Sort t, m, 4 in ascending order.
t, m, 4
Let x(g) = -g + 3. Let c be x(4). Put -7, c, -5 in decreasing order.
c, -5, -7
Let s = 5/9 + -8/9. Sort 0.3, 1/3, s.
s, 0.3, 1/3
Let q = 0.1 - 0.1. Let t be 3/2*(4 - 0). Let u be ((-2)/t)/((-1)/4). Put q, u, 3/2 in descending order.
3/2, u, q
Let x(p) = -3*p**3 + p**2 + p. Let r be x(-1). Let h(m) = m**2 - 19*m - 25. Let d be h(20). Put d, -4, r in descending order.
r, -4, d
Let a be 8/8*2/(-10). Sort 0.7, a, 0.5 in decreasing order.
0.7, 0.5, a
Let d = 8590/19 + -452. Sort 0, d, -1/4 in descending order.
d, 0, -1/4
Let l = 0.5 + -0.8. Let q = 44 - 39. Sort q, l, -2/15.
l, -2/15, q
Let h(t) = -2*t + 1. Let j be h(-1). Suppose -4*b + j*a = -2 - 1, -2*a + 15 = 3*b. Let s be (0 - -1)/1*1. Sort s, 4, b in descending order.
4, b, s
Let b = 5/2 + -1. Let o = 0.4 - 0.1. Let y = o + -0.4. Sort y, 3/8, b in decreasing order.
b, 3/8, y
Let b = 160 + -156. Put 0.3, b, -0.02 in descending order.
b, 0.3, -0.02
Let y = -38 + 43. Suppose -5*a - 3*g - 5 = -4, 2 = 2*a + 2*g. Put a, 4, y in decreasing order.
y, 4, a
Let u = -12.67 + -0.33. Let h = u - -10. Sort -3/7, 0.3, h in decreasing order.
0.3, -3/7, h
Let t be 3/11*2/3. Let b = -42131/225300 + 1/3004. Let x = -1/75 + b. Sort -1/9, t, x.
x, -1/9, t
Suppose 3*q + 182 = -31. Let x = -356/5 - q. Let m = 0 - 0.1. Put 0.4, x, m in descending order.
0.4, m, x
Let v = 0.05 - 0.17. Sort -4, v, -1.
-4, -1, v
Let d = -0.02 + -0.18. Sort d, -0.1, -2/5, 1.
-2/5, d, -0.1, 1
Let u be 2 - (0 + 6 + -3). Sort u, 3, 4.
u, 3, 4
Let d be (10*1*5/10)/1. Put -5, -1, d in decreasing order.
d, -1, -5
Let t = 2/9 - 5/9. Sort 4, t, 0.
t, 0, 4
Suppose -w + 3*w = 12. Suppose k = -k - w. Let f be k - -8 - (0 - -2). Sort 4, f, 0.
0, f, 4
Let h(n) = -n - 5. Let z be h(-5). Sort z, -1, 5 in decreasing order.
5, z, -1
Suppose 2*u - 1 = 9. Sort 0, -3, u in increasing order.
-3, 0, u
Let v = -2.1 + 2. Let b = 44/9 + -221/36. Let q = b + 9/20. Sort q, v, 0.1 in increasing order.
q, v, 0.1
Let b = 10 + -5. Let t = 10 - b. Let g = 4 + -9. Put t, g, -2/13 in ascending order.
g, -2/13, t
Let u = 2 + 1. Let f be 11/30 + 4/(-24). Sort -0.5, u, f.
-0.5, f, u
Let h be 3*2*3/6. Let u(j) = -4 + 6*j**2 - j**3 + 0*j**2 + 6*j - 3*j**2. Let w be u(4). Sort w, 2/17, h in descending order.
w, h, 2/17
Let n = 6 - 7.1. Let m = 1 + n. Sort 1, m, 2 in descending order.
2, 1, m
Let q(d) = -d**3 + 3*d - 1. Let t be q(2). Sort t, 2, -1, 12 in decreasing order.
12, 2, -1, t
Suppose -s + 0*s = -5*g + 14, 0 = 3*s + 12. Let k(q) = 5*q + 9. Let o be k(-2). Put g, o, 3 in ascending order.
o, g, 3
Let c = 4.17 + -0.17. Let p = -34 + 101/3. Sort -0.3, c, p in increasing order.
p, -0.3, c
Let j = -43.34 - -43. Let h = j - -0.04. Sort 1/10, 0.4, h in ascending order.
h, 1/10, 0.4
Let y = -43 + 47. Let x = -0.5 - -1. Sort y, x, -4.
-4, x, y
Suppose 0 = 5*v + 25, -5*m - v = -4*m - 100. Suppose -x = -2*x - m. Let d be 1/4 - x/28. Sort -3, 2, d in descending order.
d, 2, -3
Let r be -2*(1/(-2))/(-1). Suppose -4*s + 9 = 1. Let i be s/(-6) - 7/(-3). Put r, i, -4 in decreasing order.
i, r, -4
Suppose 0 = h + 2*h + 5*v + 28, h = 2*v + 9. Let w = 9 + -5. Sort 1/3, h, w in decreasing order.
w, 1/3, h
Let j = 51 + -51. Sort -4, j, -5 in decreasing order.
j, -4, -5
Let y(l) = 4*l + 2. Let k be y(4). Suppose -7 = 5*p + k. Suppose 8*d - 1 = 3*d - r, 5*d + 5*r + 15 = 0. Put -1, d, p in increasing order.
p, -1, d
Suppose -10 = -0*b - b - 5*w, b - 2*w = -11. Let x = 23/2 + -11. Put b, x, -1/5 in decreasing order.
x, -1/5, b
Let t = -2 + 2. Suppose t = 5*q - 2*l - 25, 56 - 21 = 5*q - 4*l. Let r(g) = -g**3 - 5*g**2 - 3*g. Let y be r(-4). Put y, 0, q in ascending order.
y, 0, q
Suppose -4*b = -3 + 3. Put 6, b, -2, -5 in increasing order.
-5, -2, b, 6
Let y = 7 + -7.2. Let r = y - 0.2. Sort -1/3, r, 2/5 in descending order.
2/5, -1/3, r
Suppose 9*t = 3*t. Suppose -3*j - 5*w + 5 = -4*j, 5*j - 3*w = 19. Sort j, t, 1.
t, 1, j
Let n be -2*(0 - 1/(-2))*2. Let f(s) = -s**3 - 5*s**2 - 2*s + 3. Let w be f(-4). Sort n, w, -1 in decreasing order.
-1, n, w
Let z = -15 + 25. Suppose 0 = -3*b + 4*f - 0*f - z, -3*f + 5 = -b. Let s be ((-16)/(-12))/1*-3. Sort s, b, 3 in descending order.
3, b, s
Let v(n) = 17*n - 3 - 3 - 9 - 4*n**2 + 3*n**2. Let m be v(16). Let y be (-2)/(-1 + (-10)/(-6)). Sort y, 5, m in increasing order.
y, m, 5
Let h(b) be the first derivative of b**4/4 - b**3/3 - b**2 - 3*b + 1. Let l be h(-2). Let n = -7 - l. Put n, -4, -5 in ascending order.
-5, -4, n
Let g = -1.7 - 0.3. Let v = -0.16 - -0.08. Let a = -0.08 - v. Sort a, g, -1 in ascending order.
g, -1, a
Suppose 5*f + 16 = -3*v, 2*f + v = 5*v + 4. Let m = f + 3. Suppose m = u + 3. Sort 1, u, -4.
-4, u, 1
Let h be ((-2)/(-4))/((-2)/4). Suppose 3*k - q - q + 1 = 0, 5*q + 20 = 0. Sort k, h, -5 in decreasing order.
h, k, -5
Let r be (6/4)/(-3)*0. Suppose -5*o + 2*s = -2*s + 26, r = -o - 3*s - 9. Let m be o/(9/3)*-2. Sort 3, m, -2 in ascending order.
-2, 3, m
Suppose -4*j + 2*q - q = -6, -j - 9 = 5*q. Suppose 2*r + j + 3 = 0. Put -0.3, 1/3, r in descending order.
1/3, -0.3, r
Let b = -1.3 - 6.2. Let h = 7 + b. Sort 3, h, -2 in decreasing order.
3, h, -2
Let v be 8/(-6)*(-6)/4. Suppose -4*b - v*k + 30 = 3*k, -4*b + 12 = -4*k. Suppose -2*g + b*g = -3. Put g, 4, 1 in decreasing order.
4, 1, g
Let t = 5.54 - -0.06. Let z = 1.6 - t. Put 4, 2/9, z in increasing order.
z, 2/9, 4
Let k = 1.7 - 1.7. Sort -3, 0.4, k in ascending order.
-3, k, 0.4
Let m be 0/(-3*2/3). Suppose 0 + 5 = 5*g + k, -5*k = m. Sort -4, 4, g in decreasing order.
4, g, -4
Let o = 132.7 + -140. Let d = 7 + o. Let m = 0.1 + d. Sort m, -2/3, 2 in descending order.
2, m, -2/3
Suppose 15*v - 2*v = 117. Sort 3, 0, v in ascending order.
0, 3, v
Let z be (2/6)/(1/(-3)). Sort z, 1, -2 in descending order.
1, z, -2
Let n = -4.9 - -0.9. Let m be (4/56*-1)/(4/(-14)). Put 3, n, m in decreasing order.
3, m, n
Let z = 194.03 + -193. Let a = 0.03 - z. Sort 4, -2, a in descending order.
4, a, -2
Suppose 4*p + 4 = 12. Let x(s) = s - 10. Let m be x(5). Let a = m - -2. Put -4, p, a in decreasing order.
p, a, -4
Suppose 2*n - 12 = -4*d, n + 2*d = 2*n + 2. Let k = n + 3. Suppose h - 8 = 3*r, -h - k*r = 9 - 1. Put h, -1, -2 in ascending order.
-2, -1, h
Let x be (-34)/(-72) - (-8)/(-32). Let p = 0 - 0.4. Let m = p + 0.4. Sort x, m, 4.
m, x, 4
Suppose -4*n = -5*n + 3*u + 4, 4*n - 5*u = 16. Suppose 5*t = 13 - 33. Sort -1, n, t in increasing order.
t, -1, n
Le