. Put 0.5, t, 9, -0.4 in increasing order.
t, -0.4, 0.5, 9
Suppose -8*i = -18 - 6. Sort i, -50, -1, 4 in descending order.
4, i, -1, -50
Let o(y) = -4*y + 10. Let z(n) = 3*n - 11. Let t(f) = -4*o(f) - 5*z(f). Let r be t(-13). Sort -8, r, -0.3 in ascending order.
-8, -0.3, r
Suppose 5*u - 5*k - 57 = -k, -k - 37 = -3*u. Put u, 0, 2 in ascending order.
0, 2, u
Let d = 5 - 29. Let j be -1 - (-11)/((-44)/d). Sort -1, -1/5, j, 1/2 in descending order.
j, 1/2, -1/5, -1
Let g be (-1)/((-27)/(-108)*(-1)/(-2)). Put -2, g, -37 in ascending order.
-37, g, -2
Let z = -2.1 + 0.8. Let o = z + 0.3. Suppose 0 = -0*h + 5*h + 2*u, 5*h - 2*u = 0. Put 0.4, o, h in descending order.
0.4, h, o
Suppose -2*t + 54 = -5*t. Let b = 565.5 + -566. Put b, t, 0.2, -0.3 in increasing order.
t, b, -0.3, 0.2
Let z = 4.057 + -0.037. Let n = -0.02 + z. Let h = n + -3. Put -2, -0.4, h in increasing order.
-2, -0.4, h
Let z be 1 - (2 - 35/25). Put z, -5, -4, -11 in increasing order.
-11, -5, -4, z
Let x = -494 + 494. Sort x, 1, -0.5 in decreasing order.
1, x, -0.5
Let w(i) = i**3 + 5*i**2 - 4*i - 24. Let c be w(-4). Sort c, 1, -4, 5 in decreasing order.
c, 5, 1, -4
Let v = -4.9 + 0.9. Let y be (24/(-30))/(-2) + 42/(-80). Let r = y + -17/56. Put 1/5, r, v in increasing order.
v, r, 1/5
Let v(b) = -18*b - 104. Let a be v(-6). Sort -1, 42, a in increasing order.
-1, a, 42
Let i(u) = -u**3 - 17*u**2 - 34*u - 68. Let a be i(-15). Sort -5, 1, 5, a in increasing order.
a, -5, 1, 5
Let c(v) = -2*v + 21. Let i be c(12). Let y = 0.61 - 0.11. Let g = 0 - y. Put i, g, 1/5 in decreasing order.
1/5, g, i
Suppose 5*f = -3*t + 40, 5 = -0*f + 2*f - t. Suppose -u + s + 12 = 4*u, f*s + 10 = 0. Let x be 10/(-42) + (-18)/42. Sort u, x, -0.4 in increasing order.
x, -0.4, u
Let x(u) = u**3 + 28*u**2 - 32*u - 91. Let m be x(-29). Let s be (16/(-20))/((-2)/5). Put 0, s, 4, m in ascending order.
m, 0, s, 4
Let q = -2/311 + -303/1244. Put 3, q, 2, 81 in decreasing order.
81, 3, 2, q
Let b be (663/(-65) - -11)*-5. Let k = -2 - 3. Sort 5, b, k, 6 in decreasing order.
6, 5, b, k
Let j = 12 - 13. Suppose 0*n + 12 = 6*n. Sort n, j, -2 in decreasing order.
n, j, -2
Suppose 61*j + 3*w + 4 = 59*j, 2*w = -5*j + 12. Sort -3, 0, j, 16.
-3, 0, j, 16
Let j be ((-4)/(-54))/(112/(-672)). Sort -4, j, -3, -5 in increasing order.
-5, -4, -3, j
Let l = 8/137 + -427/274. Sort l, -1/26, 2, -2/19 in descending order.
2, -1/26, -2/19, l
Let l(z) = z + 4. Let s be l(-2). Suppose 5*r + 0*c + 5 = 5*c, -3*r - 8 = 2*c. Sort r, -4, 5, s in descending order.
5, s, r, -4
Let u = -2068 - -2065. Suppose 0 = -4*c + 3*c, h + c = -1. Sort -5, -8, u, h.
-8, -5, u, h
Let n be ((-18)/45)/((-2)/890). Suppose -5*w + 203 - n = 0. Sort -63, w, 4.
-63, 4, w
Let v(o) = 63*o + 562. Let p be v(-9). Put 2, 24, p in decreasing order.
24, 2, p
Let x = -0.12 + 1.32. Let i = 6 + -8. Let s = -0.009 - -0.109. Sort i, s, x in decreasing order.
x, s, i
Let o(t) = -7*t**2 - 219*t - 65. Let j be o(-31). Let l = 0 - 0. Suppose 2*n + 8 = -w, 5*n + 22 = -l*w - 3*w. Put n, 1, j in increasing order.
j, n, 1
Let l(u) = 3*u**2 - 21*u - 20. Let p be l(-1). Put p, -10, -1 in decreasing order.
p, -1, -10
Let o = -4 + -1. Let w = -3045/11 + 277. Sort -1/2, w, o, -1 in increasing order.
o, -1, -1/2, w
Let w = 3 + -3.05. Let s = -102.25 - -102. Let v = w - s. Sort 0.5, v, -0.04.
-0.04, v, 0.5
Let q be 1/(-2)*-1 - (-516)/24. Sort q, 0.5, -0.2 in decreasing order.
q, 0.5, -0.2
Let y(v) be the second derivative of -v**3/6 + v**2 - v. Let z be y(7). Let h be 8/((6 - 7) + -1). Sort 0, z, h.
z, h, 0
Let l = 21689 + -6506621/300. Let s = 1/75 - l. Let j = 596/9 - 66. Put s, 11, j in descending order.
11, j, s
Let y be 5/((-90)/(-493))*-2. Let n = 55 + y. Let b = -121 + 118. Sort 1/2, n, b in decreasing order.
1/2, n, b
Let w = -2169 + 2166. Put 1/4, w, 10, 0.2 in descending order.
10, 1/4, 0.2, w
Let y = 0.011 - -1.939. Let p = y - -0.05. Let f be (-35)/(-100)*(-4)/(-14). Sort f, p, -0.2.
-0.2, f, p
Let a = -2088 + 2090. Sort a, 4, -231.
-231, a, 4
Let y = 4.3 + -4. Let c = 0.29 + -0.247. Let w = c + -0.073. Sort y, -2, w in increasing order.
-2, w, y
Let g = 1002.97 + -1007. Let v = g - -0.03. Put v, 4, 5 in ascending order.
v, 4, 5
Let r be (5019/5031 + -1)*-58. Let t = -2/129 - r. Suppose 5*i + 0 = -5. Put -0.4, t, i in descending order.
t, -0.4, i
Suppose -h + 3*h + 4 = 0, 4*h = -d - 2. Suppose d*i + 20 = 2*i. Put i, -3, 9, -4 in descending order.
9, -3, -4, i
Let v = 0.56 - 5.56. Sort v, 1/2, -4 in increasing order.
v, -4, 1/2
Let b(i) = 6*i - 33. Suppose 0 = -f + 16 - 8. Let g be b(f). Put -1, -1/4, g in ascending order.
-1, -1/4, g
Let o = -228/7 - -232/7. Let a be 28/(-340) - (-2)/10. Put a, -4, o in decreasing order.
o, a, -4
Let i be 3/(-3)*33/3. Sort 3, -5, 7, i in decreasing order.
7, 3, -5, i
Let k = -1994.8 + 1995. Sort 4, -3, k, -0.1.
-3, -0.1, k, 4
Let y(t) = t**2 + 5*t - 2. Let r be y(-6). Suppose -45*s + 38*s = -49. Sort -4, s, r in descending order.
s, r, -4
Suppose -12*x + 1 - 61 = 0. Put 22, x, 1 in increasing order.
x, 1, 22
Let r = 107/145 - 4/29. Let i = -46 - -46.27. Let y = 2.73 + i. Put y, r, 4 in increasing order.
r, y, 4
Let l be ((77/21)/1)/((-2)/12). Sort l, -3, 3, 5 in ascending order.
l, -3, 3, 5
Let v be (-5)/((-276)/24 + 12). Put -5, 3/5, 8, v in descending order.
8, 3/5, -5, v
Let v(x) = -x**3 + 9*x**2 + 11*x - 4. Let k be v(10). Let u = k + 0. Put -5, u, 1 in descending order.
u, 1, -5
Let o = 5249/6 + -5251/6. Let z = -2 - -2.1. Sort 1, o, z.
o, z, 1
Let d = -127/363 + 2/121. Sort d, 2, 3, -5.
-5, d, 2, 3
Let y(k) = 2*k + 32. Let u be y(-16). Put 2, u, -9 in descending order.
2, u, -9
Let a = 0.02 + 0.28. Let k(y) = -79*y**2 + 84*y. Let x be k(1). Let c = -0.5 - -0.3. Put x, c, a in decreasing order.
x, a, c
Let r = 33 - 32.5. Put -5, r, -0.11 in ascending order.
-5, -0.11, r
Let c be (-2)/13 - 249/(-13). Let j(p) = p - 14. Let x be j(c). Sort x, -5, 4 in ascending order.
-5, 4, x
Suppose 2*m + 102 = -2*s - 0*m, 0 = 3*s - 2*m + 158. Let j = -52 - s. Put j, 2, -2, 1 in descending order.
2, 1, j, -2
Let x = 27 + -24. Let v = -2.7 - -2.6. Sort -4, -5, v, x in increasing order.
-5, -4, v, x
Let o = -346 + 350. Sort o, 12, -2, 5 in increasing order.
-2, o, 5, 12
Suppose -7*s = -5*o - 2*s + 20, -5*o + 16 = -3*s. Suppose 2*z + 4 = 3*d, 292*z = -3*d + 295*z. Put o, 7, d in descending order.
7, d, o
Suppose 25*f = 20*f + 50. Let h = 13 - f. Sort 1, -0.09, h in ascending order.
-0.09, 1, h
Let f = -71 + 73. Suppose -9 = -5*o + 4*k, 0 = 2*o - 4*k + 6. Sort o, f, 1, -2 in ascending order.
-2, 1, f, o
Let g = -0.665 - -0.365. Put -0.06, g, 0 in increasing order.
g, -0.06, 0
Let q(a) = a**3 - 7*a**2 - a + 9. Let b be 4 - (-1)/((-3)/(-9)). Let f be q(b). Let l(p) = 4*p**2 + p + 1. Let o be l(-1). Put f, o, 3 in decreasing order.
o, 3, f
Let m be (2/25*5)/((-2)/4). Sort m, -4, -5, -0.6 in ascending order.
-5, -4, m, -0.6
Let y(x) = -x**2 + 7*x - 7. Let s be y(4). Suppose s = -21*p + 22*p. Let j be 3/(-30)*4*-10. Sort p, 3, j.
3, j, p
Let r = -80.3 + 84. Let n = -2.3 - r. Sort n, 0.5, -2/13 in decreasing order.
0.5, -2/13, n
Suppose -14*a + 25 = -9*a. Suppose 0 = a*l - 10, 4*b - b - 2*l = 5. Let y = -1 + 2. Sort b, y, -2/9 in decreasing order.
b, y, -2/9
Suppose -r - r - 4 = 0. Let q = 5 + -1. Let d be (10/q + 0)*14/(-7). Put r, d, 0 in descending order.
0, r, d
Let p = -333.8 + 334. Sort 0.3, p, -7 in increasing order.
-7, p, 0.3
Suppose g - 4*k = -0*k + 8, 3*g - 2 = k. Sort 11, -2, -5, g in descending order.
11, g, -2, -5
Let p(i) = -i**2 + 8*i - 12. Let g be p(3). Let m be g - (-4 + (-242)/(-34)). Let d = -0.1 - -0.3. Sort -2, d, m in descending order.
d, m, -2
Let p = -2764 + 2732. Let f = 10/7 + -156/119. Sort f, p, -5.
p, -5, f
Let b be (-135)/(-55) - 12/(-22). Let a(l) = 0*l + 2*l**2 - 1 + 0*l. Let k be a(1). Sort k, b, 4 in descending order.
4, b, k
Let k = 9.27 + -0.67. Let g = k - 9. Let m = -0.03 + -0.07. Put -0.3, m, g in ascending order.
g, -0.3, m
Let h = 0.67 + -0.57. Sort -7, -0.1, 4/9, h.
-7, -0.1, h, 4/9
Let u = 0.7 - 0.4. Let i be ((-20)/40)/((-5)/(-2) - 0). Put u, 6, i in increasing order.
i, u, 6
Let a be ((-8)/(-6))/(-2 - 160/(-78)). Let p = a - 23. Put -5, 7, p in ascending order.
-5, p, 7
Let x = -7 + 6.91. Let v = x - 0.21. Sort v, -5