. Sort t, 3, 2/17 in ascending order.
t, 2/17, 3
Let c = -22 + -1. Let g = c + 21.7. Let d = 1.7 - g. Put -0.5, 4, d in descending order.
4, d, -0.5
Suppose 4*i = 3*i - 1, 4*i = -z - 10. Let a = 47 + -46.7. Put 4, z, a, -4 in increasing order.
z, -4, a, 4
Let a = 3517/10560 - -1/3520. Sort 11, 19, a in decreasing order.
19, 11, a
Let s(f) = -f**2 + 22*f + 53. Let z be s(24). Put 0, -3, z in decreasing order.
z, 0, -3
Let h = -27.6 - -30. Let d = h - 2. Let k = -266 + 268. Sort k, d, -1 in descending order.
k, d, -1
Let b be 66/(-297) - (-4)/18. Put -2, b, -31 in ascending order.
-31, -2, b
Let s = 1 - 6. Let v = 2 - 15. Let f = v - -12. Sort -2/13, f, s in descending order.
-2/13, f, s
Let g = 16 + -14. Suppose -3*j - l + g*l = 0, 2*j = 5*l. Put j, -1, 1 in ascending order.
-1, j, 1
Suppose -6*v - 17 = -35. Sort -5, -53, 1, v.
-53, -5, 1, v
Let u = -7270 - -7247.884. Let a = u + -0.084. Let o = a + 22. Sort -1, -5, o in descending order.
o, -1, -5
Let w be 2*-1*2*1. Let f be (-6)/(-12) + 0 + 13/2. Suppose -4 = -2*h + 2*z, h - f = 2*h - 4*z. Sort h, 3, w in decreasing order.
h, 3, w
Let j = -96 + 104. Let i be (60/(-80))/((-14)/j). Put i, 5, -3 in decreasing order.
5, i, -3
Let w be (-10)/10*(-9 + 1). Suppose 0 = 2*a + l + w, 3 = -l + 5. Let x be (3/a)/((-18)/4). Put -4, x, -2 in decreasing order.
x, -2, -4
Let o be (44/14 + -3)*-2. Sort -1/3, -5, o, -0.3.
-5, -1/3, -0.3, o
Let o = 76 - 63. Put 4, -3, o in decreasing order.
o, 4, -3
Let y(s) = -11*s - 104. Let k be y(-10). Put -4, 3, -5, k in ascending order.
-5, -4, 3, k
Let n = 0 + -1. Let l = 2.7 - -0.3. Let f = 4 - l. Sort f, n, 5.
n, f, 5
Let i = 418565/5854 - 2/2927. Let l = -70 + i. Sort -1, -0.3, l in descending order.
l, -0.3, -1
Let t = -1707 - -1711. Sort -14, -2, t, 1 in descending order.
t, 1, -2, -14
Let j = 1 + 4. Suppose 7 = y + j. Suppose -3*a - 3*f + 42 = 0, -3*f + 12 + 3 = 0. Put a, -4, y in ascending order.
-4, y, a
Suppose 2*u - 14 = -4*d, u + 9 = 5*d + 2. Let q = -584 + 583. Suppose 3*f - 7 = -1. Put u, q, f in descending order.
u, f, q
Let b be ((-112)/48)/((-21)/(-18)). Put -0.11, b, -1 in increasing order.
b, -1, -0.11
Suppose 5*q - 4*q = 4. Suppose 1 = -3*w + 4*u + 2, w - 5*u = -18. Sort q, w, -3 in increasing order.
-3, q, w
Let i(y) = -y**3 + 14*y**2 + 16*y - 14. Let v be i(15). Suppose 2*b - 7 = -3*d, -30 + 10 = -4*b. Sort d, v, -3 in descending order.
v, d, -3
Let i = 0.2 + -0.5. Let s(r) = r**2 - 4*r - 16. Let a(x) = 9*x**2 + 4*x + 1. Let h be a(-1). Let y be s(h). Put y, 0.3, i in decreasing order.
0.3, i, y
Suppose 3*r = 4*u + 29, -5*r + 2*r + 4 = u. Let s be (2 + -2)*(-9)/18. Put 6, -3, u, s in descending order.
6, s, -3, u
Suppose 5*f - 7*f + 5*b = -8, 2*b = f - 4. Put -1, f, 14, 2 in descending order.
14, f, 2, -1
Let w = 52069/30 - 1735. Let t = -2/15 + w. Sort -0.4, t, 0.2, -0.8.
-0.8, -0.4, 0.2, t
Let x = -4 - -6. Let z be (-1)/(-2*x/4). Suppose -48*l + 39*l = -45. Sort l, -7, z in decreasing order.
l, z, -7
Let c = 2 + -4. Let t(g) = g. Let j be t(c). Let r be (4 - 210/50)*(3 + -3). Sort 5, j, r.
j, r, 5
Let v be ((-6)/1)/(39/(-52)). Let c be (-2)/(-6) - v/(-30). Sort -1, c, -2/5 in descending order.
c, -2/5, -1
Let n = -1.1 - -1.1. Let d = n - 0. Let j = d - 0.4. Sort 0.1, j, 1/6 in descending order.
1/6, 0.1, j
Suppose -4 = -2*f, 0 = -p - p + 4*f - 10. Let s be 0/(0/(-3) + -1). Suppose 2*v + v + 15 = s. Sort v, -4, p in increasing order.
v, -4, p
Let s = -105.4 + 105.5. Sort 68, 7, s in decreasing order.
68, 7, s
Let k = -265 + 138.9. Let m = 126 + k. Put -4, -1, -0.5, m in ascending order.
-4, -1, -0.5, m
Let k = -0.16 + -7.84. Let g = k + 13. Let t = 5 - 3. Sort t, g, 4 in increasing order.
t, 4, g
Let q = -3 + 4. Let t = 289 + -289. Let b = 3 - 0. Sort t, b, q in decreasing order.
b, q, t
Let d be 3/4*(-4)/6. Let j = -6819/5 - -1364. Sort 1/4, d, j.
d, j, 1/4
Let u be ((-17)/(-119))/(-1 - -4). Put 0, u, 1 in ascending order.
0, u, 1
Suppose -n = n - 4. Suppose 0 = -3*p + b + 10 + 160, b + 60 = p. Suppose -2*h = -57 + p. Put h, n, -5 in descending order.
n, h, -5
Let y(m) = -m**2 + 2*m + 75. Let j be y(-8). Suppose 0*f + 28 = -2*f. Put j, 3, f in ascending order.
f, j, 3
Suppose -5*p = 4*u - 10, 5*p + 1 = 11. Let k = -5 - 0. Sort -1, k, u in decreasing order.
u, -1, k
Let k be (4 - 3)/(-1 - -2). Suppose -p - 4 = 9*l - 5*l, 0 = 4*p + 5*l + 16. Sort k, p, 3, -2 in ascending order.
p, -2, k, 3
Let h be 3/12 + (-1035)/1260. Sort h, -8/5, -1/6 in decreasing order.
-1/6, h, -8/5
Suppose -4*s = -9*s. Let h = 935 + -932. Sort h, s, -2, 2 in descending order.
h, 2, s, -2
Let k = -41 + 41.056. Let l = k + -1.056. Sort 0, 4, l, 0.1.
l, 0, 0.1, 4
Let f = 136 - 145. Sort 3, f, -0.4, 0.5.
f, -0.4, 0.5, 3
Let m = -23.7 - -25.7. Sort -3/100, m, -5 in increasing order.
-5, -3/100, m
Let y(b) = 8*b + 125. Let o be y(-16). Sort 0.4, 2/13, o.
o, 2/13, 0.4
Let v(b) be the first derivative of -b**3/3 - 11*b**2/2 - 10*b - 1. Let o be v(-10). Let c be (-2 - o) + (-12 - -15). Sort -3, 3, c in increasing order.
-3, c, 3
Let o = -1233 + 1233.0983. Let a = 4.2683 - o. Let s = -0.17 + a. Sort -4, -2, s in decreasing order.
s, -2, -4
Let a = 0.304 + -0.304. Sort 0.07, 13, a, 3/2.
a, 0.07, 3/2, 13
Let g(y) = 4*y - 4. Let m be g(6). Let q = 18 - m. Let f be (-1)/(0 - q/(-4)). Sort f, -1, 9 in descending order.
9, f, -1
Let o(v) = -4*v - 12. Let j be o(-8). Let f = 34 - 30. Suppose 0 = 3*u - f*h - 35, -h - 3*h = j. Sort u, -3, 2 in descending order.
u, 2, -3
Let d be 36/7 + (-3)/(-63)*-3. Sort d, -3, -1 in increasing order.
-3, -1, d
Let i = -3 + 3.3. Let p = 28.3 - -13.7. Let r = p + -41. Sort i, r, 3.
i, r, 3
Suppose -3*l = 2*l - 13*l. Put 4, 1, -19, l in ascending order.
-19, l, 1, 4
Let t(x) = -x**3 - 8*x**2 - 6*x + 9. Let y be t(-7). Let p be 0*(-3)/12*y. Let h be ((-2)/(-4) + -1)/(24/144). Sort p, h, -4.
-4, h, p
Let h(k) = k + 12. Let g be h(-15). Let p be 1*1/3 + 2/6. Sort g, p, -2/5 in descending order.
p, -2/5, g
Let n = -6 + 6. Suppose i - 6*i - 40 = 0. Let h = -3 - i. Sort n, h, -1 in descending order.
h, n, -1
Let n be (-38)/(-4)*3*2. Let t = 60 - n. Put 5, 0, t, -9 in decreasing order.
5, t, 0, -9
Let a be (-16)/(-4) + 6/(-1). Put a, -6, -0.4 in descending order.
-0.4, a, -6
Suppose -274 = -6*r + 20. Let a be 238/r - (-2)/14. Sort -2, -3, -5, a in decreasing order.
a, -2, -3, -5
Let r be 1*9/(54/30). Let i = 5 - 8. Sort 4, i, r in decreasing order.
r, 4, i
Let v = 12 + -6. Let s = 1 - v. Sort s, 4, -4 in descending order.
4, -4, s
Suppose -45*s = -44*s - 2*p - 9, -2*s + 2*p = -10. Let a = -7 - -3. Put a, s, 5 in descending order.
5, s, a
Suppose 0*h = 4*h + 2*b - 240, h - 53 = 3*b. Let f = h + -297/5. Sort 5, -1/3, -2, f in increasing order.
-2, f, -1/3, 5
Let q be 6*4/18 + (-222)/126. Let v = -27 + 134/5. Put v, q, 0.4, 0.5 in increasing order.
q, v, 0.4, 0.5
Let v be (-52)/65 + (-31)/(-20). Sort v, -1, 2 in descending order.
2, v, -1
Let f = -29 + 59. Suppose -6*o + o = f. Let g be o/(-1)*11/33. Sort g, 4, 9 in descending order.
9, 4, g
Suppose 2 = -2*k + 6. Let n be 3/36*(1 + k). Let v = 5.8 + -6. Sort 1/6, v, n in ascending order.
v, 1/6, n
Suppose 0 = 5*t - q - 57, -8*q + 45 = 5*t - 3*q. Put 7, t, 4/7 in descending order.
t, 7, 4/7
Let m = 48.2 - 48. Let z = 0.2 + -1.2. Let a = -0.6 + 0.2. Sort m, z, a in increasing order.
z, a, m
Let o = -90 - -84.2. Let a = o - -5.6. Sort 2/9, a, 1/2 in ascending order.
a, 2/9, 1/2
Let c be 30/4*24/(-30). Let m be ((-3)/(-7))/(c/4 + 3). Put -1, m, -1.8 in increasing order.
-1.8, -1, m
Let u = 17.4 - 17. Let i = -0.3 - -0.24. Put u, 2/13, i in decreasing order.
u, 2/13, i
Suppose -7*u + 5*u + 5*b = 26, -4*u - 4*b = 24. Let o be (-1 - -2)*(12 + u). Put o, 0.4, 0, -3 in decreasing order.
o, 0.4, 0, -3
Suppose 0 = 239*f - 372 - 106. Suppose 3*i = 2 + 4. Let c be (1 - i) + 10/1. Put c, -3, f in ascending order.
-3, f, c
Let l = 20542462/133551 - -10/12141. Let t = l - 154. Let a = -1.47 - 2.53. Put a, t, -2 in decreasing order.
t, -2, a
Suppose 2*x + 5*y + 3 = x, 0 = -2*x - y - 6. Let c(b) = 8*b - 3. Let i(h) = -h. Let j(r) = c(r) + 6*i(r). Let p be j(4). Put 1, x, p in descending order.
p, 1, x
Let a = 87 - 199. Put 2, a, 0.1 in decreasing order.
2, 0.1, a
Suppose 0 = -0*u + 3*u. Suppose 5*s = -25 - 0. Suppose -8*b - 16 = -4*b. 