Put t, -8, -0.3 in decreasing order.
-0.3, t, -8
Let x = 26 - 43. Let n = x + 17.3. Put n, -0.23, 0.4 in increasing order.
-0.23, n, 0.4
Suppose -3*w + 2*w + 6 = 0. Let j be w/(-4)*-2 - 4. Put 4, j, -2 in decreasing order.
4, j, -2
Let g = -5.24 + 5.04. Sort 0, g, -48 in decreasing order.
0, g, -48
Let i = 8875 + -8875. Let k(s) be the third derivative of -s**4/12 + 4*s**3/3 + s**2. Let w be k(6). Put i, 4, w in descending order.
4, i, w
Let s = -1233 + 1232.9. Put 0.4, s, 0 in descending order.
0.4, 0, s
Suppose -17*g - 6 = -20*g. Let r be g/(-20)*(-25)/15. Sort 5, 1/2, r in ascending order.
r, 1/2, 5
Let x(t) = -3*t + 71. Let n be x(-8). Let b = 91 - n. Let m = -1 - 2. Put 5, m, b in increasing order.
b, m, 5
Let s = -0.2056 - -4.2056. Put -1/3, s, 0, -28 in descending order.
s, 0, -1/3, -28
Let i be -4 + (-9)/(36/184). Let r = 53 + i. Let y(s) = s - 6. Let o be y(3). Sort r, -6, o in descending order.
r, o, -6
Let j = 348 + -350. Let b be (-4)/14 - 90/(-21). Suppose 7 = -b*t - 5. Sort j, t, 2 in ascending order.
t, j, 2
Let w be 1*3*(-12)/36. Put 4, w, -4 in descending order.
4, w, -4
Let k = 114 + -119. Put 3, 5, 1, k in ascending order.
k, 1, 3, 5
Let f(r) = r**2 - 6*r - 75. Let k be f(12). Sort 1, k, 0, 5 in ascending order.
k, 0, 1, 5
Suppose -51*z = -18*z + 2178. Sort -1, 2, z in descending order.
2, -1, z
Suppose -2*x - 4*j - 18 = 0, 3*j = -4*x - 3*j - 28. Sort x, -4, -3, 21 in ascending order.
-4, -3, x, 21
Suppose 140 = 335*f - 342*f. Sort -5, -4, f, -3.
f, -5, -4, -3
Suppose 2*b = -2*b + 12. Let c = b + -1. Suppose 2*q - 6 = -4. Sort q, c, 3.
q, c, 3
Suppose -10*c + 8*c = -6. Suppose c*x - m = 14, -2*x - 4*m - 3 - 11 = 0. Sort x, 4, -1/2 in decreasing order.
4, x, -1/2
Let b = -385 - -401. Put b, -1, 6, -3 in increasing order.
-3, -1, 6, b
Suppose -3*h - 20 = -8*h. Suppose 0 = -5*j + h + 21. Let q be 131 + -126 - 3/((-3)/(-5)). Sort 4, q, j in descending order.
j, 4, q
Let h(a) = a**3 - 33*a**2 - 32*a - 82. Let f be h(34). Sort -5, 6, f in ascending order.
f, -5, 6
Suppose 5*a + 2*s + 148 = 4*s, a + s = -31. Let f be (-43)/15 - (-1 - 34/a). Put 4, f, -5, -4 in descending order.
4, f, -4, -5
Let r = 79.33 - 1.33. Let d = -81 + r. Put -0.3, 1, d in decreasing order.
1, -0.3, d
Let p(g) = g - 1 - g**3 + 5*g**2 + 5*g + 4. Let v be p(6). Suppose 2*t - k = -v*t - 8, -3 = -k. Sort 3, 1, t.
t, 1, 3
Let j be (-5)/10*0/1. Suppose -z + 3*z = j. Sort z, -3, 4 in descending order.
4, z, -3
Let i = 49/6 + -19/2. Sort i, -63, -1 in decreasing order.
-1, i, -63
Let t = 0.48 - 5.48. Put -2, t, -1/17 in decreasing order.
-1/17, -2, t
Suppose 2*b = -b + 24. Suppose -119 - 11 = 65*d. Put b, d, 1 in decreasing order.
b, 1, d
Let i be ((-8)/6*(-48)/(-352))/(-1). Let q = 0.07 - -1.93. Let w = 1 - q. Sort i, -2, w in descending order.
i, w, -2
Let u(j) = 3*j + 2 - 4 - 4*j + 5. Let a be u(6). Put 0, a, -2 in increasing order.
a, -2, 0
Let z = -650 + 650. Let r(h) = -h + 7. Let t be r(5). Let l be 1/(-5) + (-48)/10. Sort t, z, l in ascending order.
l, z, t
Let l = -141 + 132. Sort 5, l, -4 in descending order.
5, -4, l
Suppose -5*u = 3*i + 55, 0 = -u - 3*u - 8. Let y be 5/i*(-2 - -8). Suppose 5*r + 4*d = 1, 0 = -2*r - 2*r - 5*d - 1. Sort y, -3/5, r in decreasing order.
r, -3/5, y
Let n = -0.629 - -0.029. Sort n, 5, 3, -1 in descending order.
5, 3, n, -1
Let d = 161 + -161. Let b be (7 + -5)/(1 - 8). Put d, -0.22, b in descending order.
d, -0.22, b
Suppose 0*j - 12 = -4*j. Suppose 521*l - 1049*l + 21 = -535*l. Suppose 2*q - q - 18 = -3*u, -43 = -4*u + 5*q. Sort j, l, u in descending order.
u, j, l
Let q = 94.9 + -91.9. Let k = 2 - 2.5. Let s = 0.1 - 0.1. Sort s, k, q.
k, s, q
Let l = -219 + 225. Put 5, l, 18 in ascending order.
5, l, 18
Let i = 9.63 + -4.63. Let k = -0.06 + 3.06. Put i, k, 2 in descending order.
i, k, 2
Let d = -0.836 - -0.126. Let q = -0.61 - d. Put -2/13, q, -1/4, -2/3 in ascending order.
-2/3, -1/4, -2/13, q
Suppose -10*q = 5*q + 30. Put 2, q, 4, -42 in decreasing order.
4, 2, q, -42
Let c be (0 - 2)/(36/1026). Sort 2, 6, c in descending order.
6, 2, c
Let d = 4.6 - 5. Let u = -107.2 - -102.2. Sort 2, d, 0, u in decreasing order.
2, 0, d, u
Let h be -1 + (1 - (-25)/((-15)/3)). Sort 6, 4, 5, h in decreasing order.
6, 5, 4, h
Let r be (0 + 1)/(2/(-6)). Let w = -896 - -892. Sort -1/7, -0.5, w, r in ascending order.
w, r, -0.5, -1/7
Let j be ((-3)/2)/(6 - (-189)/(-32)). Put -2, j, -3, -4 in descending order.
-2, -3, -4, j
Suppose -5*c + 7 + 3 = 0. Let d(y) = 1 + y**2 - 3 - y + 1. Let g be d(c). Sort g, 3, 12 in increasing order.
g, 3, 12
Let c be (-5)/35*1 + 14755/91. Sort -2/3, 0.3, c in descending order.
c, 0.3, -2/3
Suppose -6 = 4*f - 3*v - 23, 0 = 5*f - v - 13. Let u be (1*-21)/3 - 4. Let s = u - -5. Sort -5, s, f in descending order.
f, -5, s
Let s = -193/3 - -773/12. Sort s, -2/27, -6/5.
-6/5, -2/27, s
Let t be (166/15 + -11)*5. Sort 107, -0.4, t, 0 in descending order.
107, t, 0, -0.4
Let g(y) = -y**3 + 20*y**2 - 40*y + 73. Let v be g(18). Sort -19, -5, -3/4, v in ascending order.
-19, -5, -3/4, v
Let k = -147 + 186. Sort -5, 4, -2, k in descending order.
k, 4, -2, -5
Suppose -10 = -4*h - 2. Let a be ((-7)/(-28))/(h/4)*2. Let c(j) = j**3 - 7*j**2 + 8*j - 6. Let s be c(6). Put a, 4, s in decreasing order.
s, 4, a
Let m = 0.6 - 0.9. Let y be (-4)/(-20) + 19/(-45). Let g = 647 - 645. Put m, g, y in descending order.
g, y, m
Suppose 13*c - 19*c = -492. Put 1/2, c, 4/5 in decreasing order.
c, 4/5, 1/2
Let c = -2.7 - -3. Suppose 4*j = 16, 605 - 98 = 5*o + 3*j. Let i = -497/5 + o. Sort i, -2, c in descending order.
c, i, -2
Let x = 2520 - 1274. Let z = -23664/19 + x. Put z, 1/8, -2/3 in increasing order.
-2/3, 1/8, z
Let v = -2 + -1. Let o = 38.31 - 40.31. Sort o, 1, v in increasing order.
v, o, 1
Let o = -153 + 203. Let j = -53 + o. Let u = -4 + 0. Sort 2/3, u, j in descending order.
2/3, j, u
Let t = -28 - -49. Let z = t + -8. Suppose 1 = -4*c + z. Sort 5, c, 4.
c, 4, 5
Let a = -6 + 6. Let p(x) = x - 6. Let y be p(5). Sort -4, a, y in decreasing order.
a, y, -4
Let t be -3 + (-73)/(-5) + (-2)/(-5). Suppose -2*v - 2*a + t = 0, -v - 3*a = -6*v + 38. Sort 2, 4, v in descending order.
v, 4, 2
Let q = -408 + 405. Put q, 13, 3, -3/4 in decreasing order.
13, 3, -3/4, q
Let x = 3.5 + 0.5. Let t = 70 + -73.1. Let f = t - 0.9. Sort -2/9, x, f in descending order.
x, -2/9, f
Let z be 1/(56/(-32)) - -1. Sort -38, 11, z.
-38, z, 11
Suppose -10*a + 6 = -13*a. Let r be (1 + -2 + a)/(9/6). Put -3, 2, 3, r in descending order.
3, 2, r, -3
Suppose 73*u - 3*f = 70*u - 9, 0 = -2*u - 2*f - 6. Sort 5, u, 3, -5 in decreasing order.
5, 3, u, -5
Let q = 5 - 67. Let z = -64 - q. Sort -1/2, -1/4, z.
z, -1/2, -1/4
Let v(n) = -2*n**3 - 29*n**2 - 13*n + 5. Let l be v(-14). Put l, -2, 7 in ascending order.
l, -2, 7
Let d = -735 - -731. Sort 2, -2, 4/3, d in decreasing order.
2, 4/3, -2, d
Suppose 2*r - 2*b = 0, -4*r + b - 1 = 2. Let m be 0 - (4 - 0 - -1). Let x be (-2)/8 - 1/(-4). Put m, x, r in ascending order.
m, r, x
Let j = -12.8789 - -0.0389. Let h = -0.16 + j. Let k = -17 - h. Put 0.1, 2/21, k in ascending order.
k, 2/21, 0.1
Let f = -95 - -90. Let z = 0.4 + -0.38. Put f, z, 1/7 in descending order.
1/7, z, f
Suppose 2*v = -b - 0*v + 12, 5*b - 42 = -4*v. Let u be 4/(-8) + 51/b. Suppose 0 = 5*s - u + 33. Put -3, -1, s in ascending order.
s, -3, -1
Let i = -36 + 36.4. Put i, -2, -7, -1/8 in increasing order.
-7, -2, -1/8, i
Suppose 4*m = -2*y - 2, 3*m = -2*y - 1 - 3. Suppose 0 = 2*w - 4*r, -6*r = 4*w - 10*r + 8. Put m, 5, w in increasing order.
w, m, 5
Suppose 0 = 5*b + 10 + 10. Let s be ((1 - -1) + -7)*b/(-10). Put -5, 7, s, 5 in increasing order.
-5, s, 5, 7
Let h = 2.307 - 0.307. Put -5, h, -0.7 in ascending order.
-5, -0.7, h
Let i = 0.1 - -0.2. Let c = -0.264 - -0.264. Sort -5, c, i, 1.
-5, c, i, 1
Let l = 968 - 971. Sort -1, l, 1, -16.
-16, l, -1, 1
Let n(a) = -a**2 + 10*a - 3. Let d be n(10). Let k = -40.4 - -40. Put d, 2, k in descending order.
2, k, d
Let p = -19 + 18. Suppose 3 + 3 = -2*n. Suppose 2*c - 26 = 4*s, 2*c - 7*s = -11*s - 6. Put n, c, p in increasing order.
n, p, c
Let a = -240/7 + 239/7. Sort 48, 5, a in increasing order.
a, 5, 48
Suppose -h = 3*h - 4. Let n(s) be the second derivative of s**3/6 - s**2/2 + 88*s. Let x be n(h). Sort -2, 2, x