.4 in decreasing order.
t, -0.4, -3/5
Let c(r) = -8 - 3*r - 3 + 4 - 2. Let s be c(-4). Sort -1, s, -2 in decreasing order.
s, -1, -2
Suppose -2 + 4 = -i. Let o(q) = q**3 + 16*q**2 - 18*q - 21. Let l be o(-17). Put l, 3, i in decreasing order.
3, i, l
Let x be 1*4/(-4 - -3). Suppose 2*g - 5*t = -18, -4*t = 5*g - 7 - 14. Let p = g - x. Sort p, 1, -4.
-4, 1, p
Let j be 1/((-1)/2) - 1. Let r = -14 + 15. Put r, -4, j in descending order.
r, j, -4
Let z be -2 + -4*(-9)/6. Suppose -5*h - 11 = z*b, -8 + 28 = -5*b. Put 5, -8, h in descending order.
5, h, -8
Let g = 0.3 + -1.3. Let f = -1 - 1. Let a = -7 - f. Sort g, a, 4 in increasing order.
a, g, 4
Suppose 0 = 6*x + 3*x - 135. Put -3, -4, x in increasing order.
-4, -3, x
Let z(n) = 2*n + 17. Let v be z(-7). Put v, -1, 0 in increasing order.
-1, 0, v
Let v = 2705/3 + -910. Let j = v + 131/15. Sort 1, j, -0.3 in descending order.
1, j, -0.3
Let k(u) be the third derivative of u**5/60 + 7*u**4/24 - 5*u**3/6 - 2*u**2. Let c be k(-7). Sort c, 4, 5 in increasing order.
c, 4, 5
Let d be 1*(-10 + (6 - (-3 + 4))). Suppose -i - 3 - 1 = 0, 3*i = 5*v - 12. Put v, d, 5 in decreasing order.
5, v, d
Let a = 7 + -13. Let f be (-4)/a*45/10. Sort f, -3, 4 in descending order.
4, f, -3
Let w be -10*(-15)/(-36) - -2*2. Sort 5, 2/7, w in descending order.
5, 2/7, w
Let w = -43.3 + 46. Let t = -0.7 + w. Let d = 0 - 2. Sort 5, d, t.
d, t, 5
Let p = 7 + -2. Suppose -j - 20 = -5*j. Suppose -3*a + a - 4*q + 2 = 0, 0 = -j*a + 4*q - 9. Sort 0, p, a in descending order.
p, 0, a
Let n = -40 - -39.8. Put -5, n, -0.03, 3 in decreasing order.
3, -0.03, n, -5
Let z = 8 + -4. Let v be z/6*15/(-20). Sort -0.2, v, -4 in descending order.
-0.2, v, -4
Let r = 20 + -14. Let g(k) = 3*k + 14. Let n(m) = 2*m + 7. Let u(a) = 3*g(a) - 5*n(a). Let x be u(r). Put x, 4, -5 in decreasing order.
4, x, -5
Suppose -b - b - 4 = -5*y, 20 = -b - 2*y. Let m be (b/10)/((-15)/50). Sort -2, m, 1/6 in increasing order.
-2, 1/6, m
Let c(y) = -4*y + 9. Let f be c(6). Let u = -14 - f. Sort 3, -3, u in increasing order.
-3, u, 3
Suppose -8 = -4*b - 4*m, 5 = 4*b + 3*m - 6. Suppose 0 = 5*l - 10*l. Put l, -2, b in increasing order.
-2, l, b
Let a = -0.3 - -0.5. Let x = -22 + 24. Put x, a, 5 in ascending order.
a, x, 5
Let t = -36 - -33. Sort t, -3/2, 0.05 in decreasing order.
0.05, -3/2, t
Suppose -2*d - 12 = -2*i, 0*i - 2*i = -4*d - 16. Sort 0, i, -4 in decreasing order.
i, 0, -4
Let k = -3 - -3.2. Let v = -0.1 + 0.2. Sort v, -0.5, k in increasing order.
-0.5, v, k
Let b = 5 + -9. Let u(n) = n + 21. Let a be u(-16). Sort 4, b, a in increasing order.
b, 4, a
Let c be 1*(-5 + 3 - -3). Put -3, 5, c in descending order.
5, c, -3
Suppose -3*o - 4*u - 10 = -2*u, 3*u - 6 = -o. Let y = 5 + o. Sort y, 0, -2.
-2, y, 0
Let r = -14 + 3. Let o = r + 6. Put 1/2, o, 5 in descending order.
5, 1/2, o
Let v(w) = -w**3 + 8*w**2 - 12*w + 1. Let x be v(6). Put x, -3, -2 in increasing order.
-3, -2, x
Suppose s - 5 = 5*b, -b - 2*s + 3*s = 5. Suppose b = -3*r - 5*d + 2 + 23, -5*r + 5*d = 25. Sort r, -2, 3.
-2, r, 3
Let h be (-8 - 2)/(4/(-2)). Sort h, 2, 0.1.
0.1, 2, h
Let f be (-6)/(-8) + -1 + 0. Let x = 1 - 1.2. Let d = 0.7 + x. Put -2/17, d, f in decreasing order.
d, -2/17, f
Suppose 0 = 3*m + 534 - 522. Sort -7, 1, m, 0 in ascending order.
-7, m, 0, 1
Let h = -31 - -50. Sort -5, -0.1, h in decreasing order.
h, -0.1, -5
Suppose 0 = -3*n - 5*b + 4*b + 14, 0 = -4*n - 2*b + 20. Let v = 55 + -58. Put 2, v, n in descending order.
n, 2, v
Let b = -0.02 - -6.02. Let o = -5 + b. Sort -1/3, o, -2/3.
-2/3, -1/3, o
Let a = -72 + 69. Put -5, -2, a, 4 in decreasing order.
4, -2, a, -5
Suppose a - 16 = 3*x + x, 0 = -5*a - 20. Put x, 1, 5 in ascending order.
x, 1, 5
Suppose 0 = -57*u + 56*u + 3. Let r(w) = -2*w - 6. Let a be r(-5). Put u, -5, a in ascending order.
-5, u, a
Suppose 7*d - 2*d = -a + 13, 4*a - d = -11. Let n be (a + 1)*(-1 + 3). Suppose 4*l - 2*b - 28 = 0, b + 0*b + 9 = l. Put n, 0, l in descending order.
l, 0, n
Let r = -0.9 + -10.1. Let j = -14 - r. Put 4, j, -1/3 in descending order.
4, -1/3, j
Suppose 3*g + 4*a - 106 + 3 = 0, 4*a - 70 = -2*g. Let q = -22 + g. Let m = -7 + q. Sort 3, m, -1 in decreasing order.
m, 3, -1
Suppose -4 - 1 = -m. Put -5, -3, m in decreasing order.
m, -3, -5
Suppose -3*b + 25 = 28. Sort 0, 76, b in decreasing order.
76, 0, b
Let h = -3.7 + -0.3. Sort h, 22, 1/2, -5 in increasing order.
-5, h, 1/2, 22
Let k be (-36)/(-420) - ((-22)/10 - -2). Sort -2, 0.5, 4, k in increasing order.
-2, k, 0.5, 4
Let s = -4.08 - -0.08. Let i(q) = -7*q**2 - 2. Let b be i(2). Let o be (8/b)/(2/3). Sort s, 1, o in increasing order.
s, o, 1
Let k(s) = -s - 6. Let q be k(-8). Put -3, 1, q in increasing order.
-3, 1, q
Let z be (-32)/12*9/(-6). Let a be ((-4)/5)/(z/(-10)). Put 3, 1, a in descending order.
3, a, 1
Let s be (-4)/3*(-3)/2. Let x = 1059 - 1058. Sort s, 4, x in descending order.
4, s, x
Let z be (-5 - -9) + 1 + 0. Put -4, -8, z in increasing order.
-8, -4, z
Suppose -6 = 13*a - 16*a. Let c = 3.38 - 8.5. Let y = -0.12 - c. Put 1/2, y, a in decreasing order.
y, a, 1/2
Let z = 0.2 + 0.8. Let c = 0.564 + -0.064. Put c, z, 3/7 in increasing order.
3/7, c, z
Suppose 0 = o - 0*o - 4. Suppose -1 = r + o. Let w = -2 - -2. Sort 2, r, w in increasing order.
r, w, 2
Let p = 0.08 + -5.08. Let i(q) = -q + 17. Let c be i(12). Let o = 9.4 + -9. Put p, o, c in increasing order.
p, o, c
Let y = 7.03 + -7. Let c = 31 + -59/2. Put y, 4, c in increasing order.
y, c, 4
Let g = -2 + 1.5. Let q be (-12)/(-4)*(-4)/(-3). Suppose 0 = -0*j + j - a + 5, 0 = -j + q*a - 17. Sort j, 5, g in ascending order.
j, g, 5
Let o be 0 + (0 - (-3 + 3)). Suppose 7*b - 4*b - 15 = o. Sort b, -3, 1 in descending order.
b, 1, -3
Let w = -135 + 134.9. Sort 2, -3, w in ascending order.
-3, w, 2
Let v = -1 - 2. Let s = -27 + 25.1. Let r = -2.1 - s. Sort v, r, -0.02 in increasing order.
v, r, -0.02
Let r be 40/(-15)*6/4. Sort r, -9, 0.
-9, r, 0
Let r = 5 + -6. Let n = 2 + r. Put -5, -3, n in increasing order.
-5, -3, n
Let v = 27.9 - 30. Let p = v - -0.1. Sort -1, p, -0.5 in descending order.
-0.5, -1, p
Let w = 96.8 + -100.89. Let c = -0.09 - w. Let y = 0.6 - 0.8. Sort y, c, -1.
-1, y, c
Let u = 8/3 + -101/39. Let s be (2/10)/((-26)/(-42)). Let n = u + s. Sort -0.3, 3, n.
-0.3, n, 3
Let p(f) = -f + 9. Let r be p(4). Let n(u) = -u + 2. Let s be n(-1). Sort 2, s, r.
2, s, r
Suppose -5*i = 15, t - 12 = -0*t + 3*i. Let c be 12*(-1)/((-12)/(-9)). Let w be 0*(c/(-6))/3. Put w, 5, t in descending order.
5, t, w
Let o = 2 - -14. Let c be 4/o + 0/2. Sort c, -0.2, -1.
-1, -0.2, c
Let n = -0.2 - -0.2. Suppose -2*w - 52 = 56. Let t be 8/28 - w/56. Put n, 2, t in ascending order.
n, t, 2
Suppose 0 = f + 4*x - 14, 12 + 5 = f + 5*x. Put 0, f, 15 in increasing order.
0, f, 15
Let x be 42/(-21) - (0 + 1 + -2). Sort x, -3, -5.
-5, -3, x
Suppose 5*q = -4*m - 4, -5*m + 20 = -2*q - 2*m. Sort 3, q, 2 in ascending order.
q, 2, 3
Let h = -10 + 5. Let i = -5 - -3. Let x be ((-8)/6)/4*3. Sort i, x, h in decreasing order.
x, i, h
Suppose 12 = 4*h + 16. Let n(k) = k**3 - 3*k**2 + 2. Let z be n(2). Put z, h, 4 in decreasing order.
4, h, z
Let g be (8 - 6) + 10/(-3). Let t = -1 - g. Put t, -2/9, 3 in descending order.
3, t, -2/9
Let j be (1 - 2) + -1 + 6. Put -4, j, -5 in descending order.
j, -4, -5
Let w(s) = -s**2 - 2*s + 3. Let r be w(0). Put -8, -4, r in descending order.
r, -4, -8
Let u be -3*-4*2/6. Suppose -2*f - 10 = -u*d - 2, 5*d - 28 = -2*f. Let c = -3 + 6. Put d, 0, c in descending order.
d, c, 0
Let w be (-3 + 6)*8/(-6). Let n be -2 - (0/1 + w). Let r(g) = -g**2 + 6*g - 2. Let m be r(5). Put 5, n, m in increasing order.
n, m, 5
Let g = 4/1111 + -38993/29997. Let z be (-1)/(-5)*80/432. Let x = z - g. Put 0.4, x, 0.3 in ascending order.
0.3, 0.4, x
Suppose 65 = 11*y + 2*y. Let t be 1/3 + (-3)/9. Let x = t - -2. Put y, 4, x in increasing order.
x, 4, y
Let b = 5 - 2. Sort 1, 5, b in descending order.
5, b, 1
Let t = -1 + 0. Suppose g + 23 = 5*a, 0*g + a = 3*g - 1. Sort g, t, -5 in decreasing order.
g, t, -5
Let c = 0.4 + 3.6. Let f = -4.3 + c. Put 0.3, f, -3/7 in ascending order.
-3/7, f, 0.3
Let w = 73/170 - 9/17. Suppose -2*x + 33 = x. Let a = 7 - x. Put w, a, -2/5 in decreasing order.
w, -2/5, a
Let c = 70 + -68. Put -19, c, 2/7 in in