et n = 4.4 + -5.4. Sort n, 2/3, 12 in decreasing order.
12, 2/3, n
Let v = 0.4 + 0.1. Let u = 2.1 - 0.1. Sort v, u, 0.4 in descending order.
u, v, 0.4
Suppose v + y = 4, 2*v + 0*v - 4*y - 2 = 0. Sort -5, v, -4 in ascending order.
-5, -4, v
Let u be (0*(-4)/(-12))/1. Put u, 5, -5 in descending order.
5, u, -5
Suppose 3*c = 4*c + 3. Put -5, 3, c in ascending order.
-5, c, 3
Suppose 2*i = 3*k - 24, 0*i = 2*i + 2*k + 24. Let y = i - -18. Suppose 1 - y = b. Sort b, 0, -1.
b, -1, 0
Suppose 3*k = -4*h - 18, 5*k - 4*h + 6*h + 16 = 0. Let w(x) = x**2 - 12*x + 5. Let d be w(11). Let p = 2 + d. Sort p, -1, k in decreasing order.
-1, k, p
Let h(i) = i**2 + 8*i + 5. Let g be h(-7). Sort g, 4, 2 in increasing order.
g, 2, 4
Let y = -18 - -14. Sort -1, 1, y in descending order.
1, -1, y
Let z = 6 - 4. Suppose 9 = -2*f - 5*u, 28*u - 3 = 31*u. Put z, f, 4 in ascending order.
f, z, 4
Let y be (-57)/(-9) - 6/18. Let n be (-20)/(-45)*y/(-20). Sort n, -1/7, -0.1 in increasing order.
-1/7, n, -0.1
Let b = -0.15 - -0.15. Let p = -0.4 - -1.4. Put p, b, 3 in ascending order.
b, p, 3
Let u(z) be the first derivative of z**4/4 - 5*z**3/3 + 5*z**2/2 - 2*z - 3. Let p be u(4). Let q be 51/(-9) + 4/6. Put q, p, 1 in ascending order.
q, 1, p
Let k be -1 - ((-2)/(-4) - 1)*0. Suppose -3*i = -6*z + 4*z + 6, 3 = -5*i + z. Let p = 1 + i. Put p, 2, k in decreasing order.
2, p, k
Let q be ((5 - 8) + 2)*2. Sort -5, -4, 3, q in decreasing order.
3, q, -4, -5
Let u be (-3)/12*40/15. Sort u, 0.4, 1 in increasing order.
u, 0.4, 1
Let p = -7.2 - -7. Let x = 0.7 + p. Sort x, 5/2, -2 in increasing order.
-2, x, 5/2
Suppose 4*m + 3*c - 28 = -c, -5*m + 8 = -4*c. Put 2, m, 1, -3 in increasing order.
-3, 1, 2, m
Suppose 6 = -t - 2*t - 5*l, 5*t = 3*l + 24. Put -1, 11, t in descending order.
11, t, -1
Let z(a) = a**2 - 6*a + 9. Let d be z(6). Let j be (-10)/(-45) + (-74)/d. Let u be (-10)/j*2*2. Sort 2, u, 1.
1, 2, u
Let h be -1*2*(-2)/372. Let b = -179/651 - h. Sort 2, -1, b in decreasing order.
2, b, -1
Let p = 37 - 42. Put 2, p, -6 in decreasing order.
2, p, -6
Let i = 81.2 - 81. Sort -1.1, -1/5, i, 5 in ascending order.
-1.1, -1/5, i, 5
Let y(a) = -23*a**2 - 2*a - 1. Let l be y(2). Let c be (-3398)/35 - 2/10. Let d = c - l. Sort -3, 0, d in increasing order.
-3, d, 0
Let b(y) = -y**2 + 4*y + 2. Let t be b(3). Let z(j) = 2*j + 8. Let n be z(-4). Let q = -2 - 0. Sort t, n, q.
q, n, t
Let o(g) = 5*g - 85. Let l be o(17). Sort l, 2/13, -5 in descending order.
2/13, l, -5
Let i(v) = 7*v**3. Let k be i(1). Let z be k/85 - 2/10. Sort z, -3/2, -5 in descending order.
z, -3/2, -5
Let v = 138/5 + -28. Let g = -1.9 + -0.6. Let z = 2 + g. Put v, 5, z in decreasing order.
5, v, z
Let r be ((-2)/3)/((-4)/6). Suppose -2*g + 4 = -0. Put r, g, -5 in descending order.
g, r, -5
Let r be (-1 - 1)*5/120. Let f = 26 - 27. Sort f, -2/5, r in descending order.
r, -2/5, f
Suppose -n = -3*z + 3*n + 10, 0 = -5*z - 2*n - 18. Put z, 3/2, -0.5 in decreasing order.
3/2, -0.5, z
Let b be 10/(-4)*(-4)/(-15). Let g = 4 - 4.4. Let t = g + 0.6. Sort 4, t, b in decreasing order.
4, t, b
Let x be (-3)/2*(1 - 17/3). Put x, -1/10, -3/8 in descending order.
x, -1/10, -3/8
Let d be 7 + -3 + (1 - 7) + -2. Put d, -3, 5 in decreasing order.
5, -3, d
Let x(f) = f**3 - 9*f**2 - 4*f + 34. Let g be x(9). Sort 2, 91, -5, g in descending order.
91, 2, g, -5
Let v be 1/5*10/(-6). Put 4, 1, v in descending order.
4, 1, v
Suppose -4*r - 4 = 3*i, -i + r + 1 + 0 = 0. Suppose k - 4*k = i. Sort -2, k, 2/5 in descending order.
2/5, k, -2
Let s = 16 - 12. Sort -0.5, 3/13, s.
-0.5, 3/13, s
Let h = -20 + 16. Put -5, h, -1 in descending order.
-1, h, -5
Let o = -2 + -3. Let p = 0.03 - -0.27. Let x = 6 + -5.6. Put x, p, o in descending order.
x, p, o
Suppose 4*a = 5*q + 9, 2*a = q - a - 7. Let v(g) = -g**3 + 4*g**2 + 6*g - 1. Let r be v(5). Put q, r, 5 in increasing order.
q, r, 5
Let v = 650/9 - 72. Put -1, 5, v, 1 in decreasing order.
5, 1, v, -1
Suppose -4*s = 2*b + 18, s + 2*b + 1 = -2*b. Suppose -2*y + 2 = -2. Sort y, 3, s in increasing order.
s, y, 3
Let o(l) = l + 6. Let d be o(8). Let r be ((-4)/(-3))/(d/21). Sort r, -3, 4.
-3, r, 4
Let k(f) = -f**3 + 3*f**2 - 1. Let t be k(3). Put t, -5, 2 in ascending order.
-5, t, 2
Let w = -2.35 + 0.35. Sort 0.19, w, 1/2 in decreasing order.
1/2, 0.19, w
Suppose 15 = -6*k + k + 5*z, -2*k + 4*z = 2. Let a be k*1 + 6/3. Let c = 1 + 3. Put -4, c, a in decreasing order.
c, a, -4
Let w be (3/4)/((-3)/(-12)). Let u be (-12)/(-10)*(-20)/(-6). Put -2, u, w in increasing order.
-2, w, u
Let b(q) = -q**3 + 14*q**2 - 12*q - 8. Let t be b(13). Sort 3/8, t, -3, 0.1 in descending order.
t, 3/8, 0.1, -3
Suppose 4*p + 4*h = 6*h - 14, 0 = -5*p - 2*h - 40. Sort -4, -5, 3, p in decreasing order.
3, -4, -5, p
Let v = 3 - 8. Let w = 1 - 0. Sort -4, w, v in descending order.
w, -4, v
Let t(q) = q**3 + 6*q**2 + 3. Let x be t(-6). Let u = 1 + 0. Let r = x + u. Put -3, r, 2 in descending order.
r, 2, -3
Let x(b) = b**2 - 4*b - 5. Let t be x(5). Suppose t = -0*m - m - 1. Let y = 34 - 33. Put -4, m, y in increasing order.
-4, m, y
Let a be (1*-2)/(2/(-4)). Suppose 0 = k - a. Put k, -5, -2 in ascending order.
-5, -2, k
Let z = -29 - -35. Sort 4, 0, z, -4 in increasing order.
-4, 0, 4, z
Let b = -1.6 - 6.4. Let q = b + 6. Let p = -9 - -5. Sort q, 4, p.
p, q, 4
Suppose 3*t - 40 = -46. Put 39, -4, t in decreasing order.
39, t, -4
Let u(t) = t - 1. Suppose 8*a - 5*g = 3*a + 45, 2*g = -a. Let k be u(a). Put -4, -1, k in decreasing order.
k, -1, -4
Let z = 0.51 - 0.31. Sort z, -1, 2/7 in ascending order.
-1, z, 2/7
Let h = 0.18 - -4.32. Let u = -4 + h. Let y = u + -0.3. Put 0.3, y, 1/4 in descending order.
0.3, 1/4, y
Let y = 3.2 + -0.2. Put 0, -3/7, y in descending order.
y, 0, -3/7
Let i = 3 + -3.3. Let j = 4.5 + -3.5. Put 0.3, j, i in descending order.
j, 0.3, i
Let z be (-4)/(-14) + (-10)/(-14). Let o(q) = -q**2 + 8*q + 3. Let f be o(8). Let y be (f - 3)/(z + 0). Put y, -4, 1 in ascending order.
-4, y, 1
Suppose 5*v + 2*t = 1, -1 + 14 = -4*v + 3*t. Put -4, 5, v in descending order.
5, v, -4
Let m(a) = a**3 - 3*a**2 + 1. Suppose -2*t = -3*j - 7, -4*j - 10 = -4*t + t. Let o be m(t). Sort o, 3, 2 in ascending order.
o, 2, 3
Suppose -7 = 5*x + 8. Sort 3, x, -1.
x, -1, 3
Suppose -5*x + 2*n - 25 = 0, -5*x - 5*n = -0*x + 25. Put 0, x, 2, 3 in increasing order.
x, 0, 2, 3
Suppose 2*b = 3*b + 5. Sort 5, b, 4 in decreasing order.
5, 4, b
Suppose 3*s - 19 = -2*u, u - 27 = -3*s - 2*s. Suppose 4*a + 3*o = 9*a - 9, 12 = u*a - 4*o. Suppose 8 = 4*l - 8. Sort 5, a, l.
a, l, 5
Suppose -12 = 4*w - 0. Put w, 2, 4 in descending order.
4, 2, w
Let n be 5/15 - 22/(-6). Suppose -n*z + 1 = -3. Sort 4, -4, z in descending order.
4, z, -4
Let s(m) = -4 + 3*m + 0*m + 7. Let h be s(-2). Sort -2, h, -1.
h, -2, -1
Let g = -6 + 8. Let n = g - -4. Let d(c) = c - 4. Let k be d(n). Put k, 5, -3 in decreasing order.
5, k, -3
Suppose 2*v + 16 = -3*b - 2*v, 2*b - 4*v = -4. Sort b, -2, 4 in decreasing order.
4, -2, b
Let q = -0.3 - -0.31. Let v = q - 0.41. Let d = 15 + -11. Sort d, -3, v in increasing order.
-3, v, d
Suppose -5 = -t - 4. Let c = -21.61 + -0.39. Let m = c + 22.4. Sort 2, t, m.
m, t, 2
Let j be (-1 - -2)*1/(-6). Let q = 0 - 0. Let n = 0.2 + q. Put 0.4, n, j in descending order.
0.4, n, j
Let p = -165 - -170. Let h = 3.6 + -0.6. Put -1/2, p, h in descending order.
p, h, -1/2
Let i(a) = a**3 + 8*a**2 + 7*a - 1. Let m = 8 - 15. Let q be i(m). Sort -2/11, -2/19, q.
q, -2/11, -2/19
Let m = -0.11 - -0.01. Let z = 0.4 + m. Sort z, -4, 0.4 in ascending order.
-4, z, 0.4
Let h be 2 + (-3)/6*2. Let z = -5 + h. Let x be ((-8)/(-130))/((-2)/5). Sort -0.4, x, z in descending order.
x, -0.4, z
Let o = -3 - -4. Let i be 1*(4 + (3 - 12)). Put o, 5, i in increasing order.
i, o, 5
Suppose 3*f - 4*f = 3. Put 2, f, 1 in descending order.
2, 1, f
Let s be (-1 + 1/2)*-6. Let h = s - 4. Put -5, h, -4 in decreasing order.
h, -4, -5
Let x = 0.014 - -0.866. Let r = x - -0.12. Put r, 2, -0.5 in decreasing order.
2, r, -0.5
Suppose -12 = 9*y - 6*y. Sort -0.01, -0.1, y.
y, -0.1, -0.01
Let j be (-2)/((-1 - (-10)/8)*-2). Put -3, -2, 5, j in increasing order.
-3, -2, j, 5
Suppose 0*w = -w. Suppose -6 - 2 = 2*v. Put -1, w, v in decreasing order.
w, -1, v
Let z = -5 - -10. Suppose 0*p + 2*i