t o be r(-5). Sort 0, o, 68 in decreasing order.
68, o, 0
Let f = 229.438 + -229. Let t = f + 0.262. Let k = -0.08 - -0.18. Sort t, k, 0.4.
k, 0.4, t
Suppose -36 = 3*o + 3*o. Let v = 20 - o. Suppose -v = -4*z - 34. Put -3, z, 2 in increasing order.
-3, z, 2
Suppose -a + 45 = p, -4*a - 62*p + 63*p + 180 = 0. Sort a, 0.1, 25.
0.1, 25, a
Let u = 0.63 - 0.645. Let s = -0.315 - u. Let b = -0.6 - -1. Sort 3, s, b, 8.
s, b, 3, 8
Let m be (-1 - -1)*(2 + -3). Sort 332, 4, 5, m in descending order.
332, 5, 4, m
Let w = -5 + 4. Let t be (15 - (-116)/(-8))*(-36)/(-45). Put t, -29, w in decreasing order.
t, w, -29
Let t = 87 + -89. Let j = 37/9 + -1271/18. Let g = j + 66. Put g, -2/5, -2/7, t in decreasing order.
-2/7, -2/5, g, t
Let x(a) be the first derivative of a**4/4 + a**3/3 + a**2 - 9*a + 14. Let f be x(0). Sort 3, f, -2, -3.
f, -3, -2, 3
Let y(i) = -2*i**2 - 203*i - 1319. Let n be y(-7). Sort 84, n, -1, 3, -3 in decreasing order.
84, n, 3, -1, -3
Let n = -1452090/11 - -131806. Let z = n + 202. Sort -0.1, -5, -0.4, z.
-5, -0.4, z, -0.1
Suppose -28*c + 18*c + 40 = 0. Suppose 2*u + 17 = 7. Sort u, 11, c.
u, c, 11
Let y(f) = -186*f + 927. Let k be y(5). Let l = 5.6 + 35.4. Sort l, 2, -5, k in increasing order.
-5, k, 2, l
Let w = -10.708 + 10.808. Let a = 784/4191 - 2/381. Sort -2/3, a, 0.4, w in descending order.
0.4, a, w, -2/3
Let l = -4.95 + 5.159. Let z = l - -0.191. Sort z, 3/8, 4/7 in descending order.
4/7, z, 3/8
Let o = 0.2 - -0.2. Let m be -5*((-856)/14124)/(10/6). Suppose 4*u + 2 = 2*u. Put m, o, -4, u in increasing order.
-4, u, m, o
Let o = 498 - 424. Suppose 0 = 3*u - 8 + 260. Let h = o + u. Put h, -2, 3 in decreasing order.
3, -2, h
Let x = -2.086557 - -0.086557. Let g = -3 - -3.02. Sort g, 0.2, 1/7, x in increasing order.
x, g, 1/7, 0.2
Let z be (-3)/(((-9)/(-6))/((-96)/(-64))). Sort 323, 3, -5, z.
-5, z, 3, 323
Suppose -t = 6*x - 4*x - 15, 0 = -4*t - 20. Let h be ((-288)/45 + 6)*x/58. Sort -2/9, -0.4, -3, h in increasing order.
-3, -0.4, -2/9, h
Let r(l) = -24*l + 189. Let d be r(6). Suppose 0 = d*w - 49*w - 8. Sort w, -5, 0, 3 in descending order.
3, 0, w, -5
Suppose -24*d + 16*d - 1014 = -34*d. Put 0.1, -4, d, -3/4, -0.5 in descending order.
d, 0.1, -0.5, -3/4, -4
Suppose -140*q + 26 = -137*q + 4*f, 0 = -q + 4*f - 18. Sort -5, q, -11, 3, -4 in descending order.
3, q, -4, -5, -11
Let d = 24.3 - 31. Let k = -7 - d. Suppose -r - 720*f = -722*f - 11, -2*r + 2*f = -12. Sort k, 3, r in increasing order.
k, r, 3
Let z(y) = y**2 - 122*y + 793. Let o be z(7). Put 34, -3, o, 2 in ascending order.
o, -3, 2, 34
Let i = 3850 - 3851. Sort 864, 2, i.
i, 2, 864
Let w = -27631 + 27626. Sort -2, 1, -13, -1/5, w in ascending order.
-13, w, -2, -1/5, 1
Let r = -0.4478 + 0.1478. Put 1, r, -0.0151 in descending order.
1, -0.0151, r
Let h be 24/60*1/(1/(-10)). Let x(k) = k**2 - 17. Let j be x(5). Let f be 1/(2/j) + 0 + h. Put 1, 9, f in decreasing order.
9, 1, f
Let i(t) = t**3 - 28*t**2 + 32*t - 140. Let v be i(27). Sort -1, v, 46 in descending order.
46, -1, v
Suppose 5*p = -y - 34, -p + 5*y = -201 + 161. Let l be 2 + -3*(-17)/(-2). Put 0.3, l, p, 3 in increasing order.
l, p, 0.3, 3
Suppose 14*w - 18 = 17*w. Suppose 3*m + 27 = 3*n, -m - 5*n + 27 = -0*m. Put 0, -9, m, w in increasing order.
-9, w, m, 0
Suppose o + 1142 = 2*l, -2*l - 3*o + 1176 - 26 = 0. Let z be l/(-88) - (-3)/2. Sort z, 15, 5 in increasing order.
z, 5, 15
Let q = 13438.1 + -13438. Put -100, 0.5, q, -1 in decreasing order.
0.5, q, -1, -100
Let w be ((-506)/(-138))/((1023/18)/(-31)). Let l = -3 + -3. Let h(d) = -d - 1. Let c be h(l). Sort -5, c, w in ascending order.
-5, w, c
Let h = 4466.1 + -4466. Sort h, -18, -2, -4 in decreasing order.
h, -2, -4, -18
Let w be (-2)/3*1/3. Let i = -6.42 + 5.42. Let c = -7.7 - -8. Sort -0.1, i, c, w in ascending order.
i, w, -0.1, c
Let n = 2230 - 2237. Let f = -20 - -26. Put -5, f, n in increasing order.
n, -5, f
Suppose -5*j + 2*i = -67, j + 3*i - 7*i = 17. Suppose -7*v - j = 1. Suppose 2*k = 6*k - 16. Sort k, -5, v, -4 in ascending order.
-5, -4, v, k
Suppose 3*w - 12 = 4*t, 0 = -2*w - 6*t + 5*t - 3. Let c = 4 - w. Suppose 2*o - c = -8. Sort o, 1, -9 in increasing order.
-9, o, 1
Let n(w) = w**3 + 43*w**2 + 46*w + 169. Let l be n(-42). Put l, 2, 374, 3, 0 in increasing order.
0, l, 2, 3, 374
Let c = -37484/99 + 3406/9. Put c, -3, -531, -4 in descending order.
c, -3, -4, -531
Suppose 142*n - 3*o + 24 = 145*n, 0 = -5*n - 3*o + 34. Suppose 4 = 2*w + b, 0*w + 2*b = w - 2. Suppose j + w = 2*j. Put -1, j, n, 1 in decreasing order.
n, j, 1, -1
Let i = 950.29 - 951. Let v = 0.921 - 5.211. Let c = i + v. Sort 1/2, c, -4 in descending order.
1/2, -4, c
Let a be 10*((-1127)/(-115) + -10). Suppose 0*g = 2*g + 10. Put 0, 5, g, a in decreasing order.
5, 0, a, g
Let t = 7 + -16. Let y be (-96)/(-336) - (-2441)/(-4452). Let g = -2/159 - y. Sort 4, t, g in increasing order.
t, g, 4
Let t be -3 - 33/9*-3. Suppose -t*h + 6 = -34. Suppose -r = -5 - 1. Sort r, -4, h, 1.
-4, 1, h, r
Let b = -1096 + 1094. Sort -447, 0, b in decreasing order.
0, b, -447
Suppose -971 = 3*m - 962, -p + 24 = -3*m. Put -1, p, -4 in descending order.
p, -1, -4
Let b be (22/(-495))/(18/15 + -1). Sort b, 0.3, 427, -0.4 in decreasing order.
427, 0.3, b, -0.4
Suppose 0 = 69*j - 4*r + 243, -9*r + 6*r = 5*j - 12. Let s(x) = x**3 - x**2 - x + 2. Let w be s(2). Sort -5, 5, w, j in decreasing order.
5, w, j, -5
Suppose 43 + 21 = -8*w. Suppose -9*t - 7 - 20 = 0. Put 13, t, -4, w in decreasing order.
13, t, -4, w
Let m be -36 - 71 - 588/(-21). Let h = -3 - -2.8. Put h, m, 0.1 in increasing order.
m, h, 0.1
Let d = -167.1 - 51.9. Let s = d - -219.4. Let m = -2.97 - 0.03. Sort 0.05, m, s in descending order.
s, 0.05, m
Let x(t) = 81*t - 27 - 178*t + 92*t - 26. Let v be x(-11). Let z(g) = g - 3. Let h be z(0). Sort -2, v, h in increasing order.
h, -2, v
Let t = -10 - 1. Let y = -23 - -8. Let n = y - t. Put 2, 0.1, n in decreasing order.
2, 0.1, n
Let y = 643 - 902. Let j = y - -262. Sort j, -3.2, 5, -0.3 in decreasing order.
5, j, -0.3, -3.2
Suppose 47*l - m - 3 = 52*l, 2*l + 3*m = 4. Let o = -2 - -4. Sort 0, -2, o, l in increasing order.
-2, l, 0, o
Suppose -323*f = -288*f - 140. Sort 0, f, -1394, -5 in decreasing order.
f, 0, -5, -1394
Let n be 6/(-9)*(-7 + 273/26). Sort n, 5, 1/8.
n, 1/8, 5
Suppose 0 = 5*o + l + 28, -4*o - 20 = 58*l - 56*l. Suppose 16*y + 9 = 13*y. Let p(w) = w + 2. Let x be p(-4). Sort y, -1, o, x in increasing order.
o, y, x, -1
Let y = 349451/6 + -58018. Let z = y + -224. Let i be -1*2/5 - -1. Put i, z, 0, -4 in descending order.
i, 0, z, -4
Let q be 2596/77 - (-2 - 96/(-56)). Sort q, -11, -1 in descending order.
q, -1, -11
Suppose -2*l - r - 366 = 0, 4*l + 535 = 5*r - 169. Let u = l - -170. Sort -3, 4, u in descending order.
4, -3, u
Suppose 0 = 5*s - 1 - 14. Suppose 4*u - b - 7 = 0, 4*u = -b + 14 - 5. Let g be ((-6)/3)/(-2) + u/(-1). Sort 2, g, s, 0 in decreasing order.
s, 2, 0, g
Let q = 1801/5 + -16219/45. Suppose 0 = 5*l - 6 + 1. Let p = -5.2 + 5. Put q, l, p in descending order.
l, p, q
Suppose -2*u = -4*u. Let a be (u - 1) + -9 + 13. Suppose -27*q - 45 = -12*q. Sort -5, q, a, 4 in decreasing order.
4, a, q, -5
Let i = -282 + 280.86. Let p = -1.34 - i. Put 1/6, -2, p, 2/9 in decreasing order.
2/9, 1/6, p, -2
Let k = 14831 - 14818. Sort -3, 5, k, -2/5 in decreasing order.
k, 5, -2/5, -3
Suppose -4843 = -79*r - 4448. Suppose 8 = 3*a - 5*j, 16 = -2*a + j - 3*j. Sort -2, a, r, 90 in decreasing order.
90, r, -2, a
Let z(d) = -2*d + 3. Let b be z(-3). Let o be 52/396 - 2/b. Let a = 0.357 - 0.657. Sort a, o, -0.4 in descending order.
o, a, -0.4
Let m = -1058 + 1053. Let k = 73 - 72.1. Put m, k, -1, -6 in descending order.
k, -1, m, -6
Let s = -2029.96 + 2027.96. Let d be 17/(-15) + 2/2. Sort d, 5, s in decreasing order.
5, d, s
Let t(g) = 4*g**2 + 50*g - 107. Let x be t(2). Sort -5, -3, 5, x, -23 in decreasing order.
x, 5, -3, -5, -23
Let y be 210386/((-1241)/(-17))*(0 + 1/(-12)). Put -3, -1/2, y, -5 in decreasing order.
-1/2, -3, -5, y
Suppose 17 = 2*o - 3. Let x = -0.8178 + 1.1178. Sort x, -6/5, o in descending order.
o, x, -6/5
Let t = -0.3 + 0.7. Let w = 129 + -123. Let f = w - 9. Sort -0.3, 4, f, t in descending order.
4, t, -0.3, f
Let x = -164 - -164.053. Let c = -2.053 + x. So