 descending order.
c, -0.07, b
Let m = 67.1 + -67.4. Put 0, 0.1, 33, m in decreasing order.
33, 0.1, 0, m
Suppose -2*l = -p + 2*p - 9, 5*p + 5 = 0. Suppose -f + 1 = 0, 2*i + l*f = i + 5. Let k(m) = 3*m + 3. Let y be k(-2). Sort 5, i, y in descending order.
5, i, y
Let f = -2 - -2. Suppose 0 = -k - 4 - f. Let d = 401 - 399. Sort -5/3, k, d.
k, -5/3, d
Let n = 23 + -38. Let d be n/(-13) + (-4)/26. Let r be d/(-24)*-4 + 0. Put 1/2, 1/10, r in increasing order.
1/10, r, 1/2
Let u = 1389 - 1389. Sort u, 8/9, -2, -3.
-3, -2, u, 8/9
Let s = -0.352 - -0.052. Let c = 0 - 5. Sort -0.5, s, c.
c, -0.5, s
Let j = 18 - 14. Suppose 0 = -5*n - 218 + 73. Let z = -34 - n. Sort z, 3, j in ascending order.
z, 3, j
Suppose 33 = 17*a + 16*a. Suppose -2*s = 2*s - 12. Suppose -s*r = 4*b - 0*r - 23, -2*b = r - 9. Sort b, 4, a in increasing order.
a, b, 4
Let g = 1348.9 + -1351. Sort -0.35, g, -0.3.
g, -0.35, -0.3
Let b = 44 - 46. Let f = -0.1 + 2.1. Let u = 69 + -209/3. Sort b, u, f in ascending order.
b, u, f
Let j = -4 - -1. Let x be 1/(-7) - (9 + (-65)/7). Sort j, x, 1.
j, x, 1
Let y = 156 + -151. Sort -1, -33, y, 4 in ascending order.
-33, -1, 4, y
Suppose -5*o + 5 = 2*z - 95, 3*o - 4*z - 34 = 0. Suppose -14*k = -o*k - 656. Let n = -816/5 - k. Put n, 0.3, -1/5 in decreasing order.
n, 0.3, -1/5
Let j(i) = i**2 - i - 1. Let c be j(0). Let m(k) = k**2 - 13*k - 47. Let x = 24 - 8. Let t be m(x). Sort c, -5, t in descending order.
t, c, -5
Let u(n) = n**2 + 5*n + 6. Let v be u(-4). Suppose g = -g - v. Let m be -3 - -7 - (-2 - -2). Put g, 1, m in descending order.
m, 1, g
Let j be 111/18 + 6/(-36). Suppose -19 + 7 = 4*z. Suppose -3*i + 5 = -2*i - x, 3*i - 5*x - 17 = 0. Put i, z, j in increasing order.
z, i, j
Let f(n) = -3*n**2 + 60*n - 61. Let m be f(19). Let c(j) = 2*j - 6. Let o be c(5). Sort -5, 5, o, m in ascending order.
-5, m, o, 5
Let o = -1874 - -1875. Sort -25/2, o, 2 in decreasing order.
2, o, -25/2
Suppose 6 = -37*v + 43*v. Let l = 3 + -3. Suppose -5*s + w = -3*w + 10, 4*s - 2*w + 8 = l. Sort v, s, 0.
s, 0, v
Let y(n) = 10*n + 35. Let b be y(-4). Let h(a) = a**3 + a**2 + a. Let l be h(0). Sort b, 5, l.
b, l, 5
Let h be (360/76)/5 - 1. Let q be (4/(-6))/(6 - 175/30). Sort q, h, -2/23 in decreasing order.
h, -2/23, q
Let q be 48/15 - (-12)/15. Let o(v) = v - 3. Let g be o(4). Suppose -n + 5*k = 13, 13 = 4*k + 5. Sort n, g, q.
n, g, q
Let t = -83/17 - -5. Let q = 8 + -5. Sort 0.8, t, q in increasing order.
t, 0.8, q
Let u = 5 + -12. Let j = 5 + u. Let p be 0/(j - (-6)/2). Sort 3, 2, p in increasing order.
p, 2, 3
Let p be 46/(-42) - (-230)/2415. Sort p, -3, 4, -18 in descending order.
4, p, -3, -18
Suppose 3*v - 5*h = 3, -3*v + 5 = 2*v + 3*h. Put -82, -2, 3, v in descending order.
3, v, -2, -82
Let m be (-4)/4*(-7 + 6). Put 19/6, m, 5/3, 2 in descending order.
19/6, 2, 5/3, m
Suppose 5*p + 1 + 19 = 0. Let w be (4 - 1) + -3 + -6. Let l be (-11)/w + (-4)/(-24). Sort p, -5, l in descending order.
l, p, -5
Let b = 1016 + -1015.5. Put -88, b, 3 in decreasing order.
3, b, -88
Suppose 0 = -j - 5*z - 30, z - 10 = -2*j + 5*j. Put -30, j, 2 in decreasing order.
2, j, -30
Let h be ((-4)/5)/((-1)/10). Let x be -3 + 3/3*h. Suppose 3*g = x*n + 7, -g + 5*n = -2*g - 11. Sort 4, 0, g.
g, 0, 4
Let c = -1217/7 - -174. Let h = 0.3 - -6.7. Let y = h - 7.3. Put c, y, 1 in decreasing order.
1, c, y
Suppose 2*u = 5*u - 12, 3*u - 24 = -4*s. Sort 2, s, 0, -2 in ascending order.
-2, 0, 2, s
Suppose 4*d = -3 + 11. Let f be (-252)/70 + d*2. Let w = -4 + 3.7. Put 1, w, f in descending order.
1, f, w
Let u = 1459 + -1462. Put 0.6, 1/3, 7, u in decreasing order.
7, 0.6, 1/3, u
Let k(m) = -m**2 + 1. Suppose 5*j - 5 + 15 = 2*d, 0 = d - 5*j - 10. Let q be k(d). Let p be ((-9)/18)/(q/8). Put -3, 5, p in decreasing order.
5, -3, p
Let t(b) = -2*b**2 + 5*b + 4. Let u be t(0). Put 5, -5, u, 1 in decreasing order.
5, u, 1, -5
Let k = -0.279 - -0.369. Sort k, 0.5, 2/7.
k, 2/7, 0.5
Let h = 0.36 - 0.06. Sort 2/5, 22/9, h in decreasing order.
22/9, 2/5, h
Let i be (-80)/(-35) + 4/(-14). Suppose 5*g - 55 + 90 = -2*f, g - 5*f - 20 = 0. Sort 2/13, g, i, 0.4 in increasing order.
g, 2/13, 0.4, i
Let r be 1/(3 + -5 + 1). Sort -9, 1, r in decreasing order.
1, r, -9
Let u = -6.7 - -63.7. Let i = u - 57. Sort -7, i, -0.5, 5 in ascending order.
-7, -0.5, i, 5
Let p = -16 - -42. Suppose 16 - p = -5*s. Sort -3, s, 0 in descending order.
s, 0, -3
Let l(j) = -2*j**3 + 2*j**2 + j + 1. Let q be l(3). Let x = 42 + q. Suppose -4*s = -x - 6. Sort s, -7, 3.
-7, 3, s
Let i(v) = -6*v - 7. Suppose -3*m + 5*f + 12 = m, 2*m + 20 = -4*f. Let j be i(m). Put 2, -3, 4, j in descending order.
j, 4, 2, -3
Let d = 4 - -1. Let l = 0.2897 - 12.2897. Put -0.4, -5, d, l in ascending order.
l, -5, -0.4, d
Let d = -271/2 + 132. Let c = d - -19/6. Let j = 4891 - 24451/5. Put j, -0.1, c in descending order.
j, -0.1, c
Let d(w) = -w**2 - 17*w - 53. Let c be d(-14). Put c, -4, 22 in descending order.
22, -4, c
Let b = 14.22 - 3.92. Put 1/7, b, 3 in ascending order.
1/7, 3, b
Let v = 6.3 - 6. Let l = 2309/3 - 11536/15. Sort -1/5, v, l in decreasing order.
l, v, -1/5
Let b(s) = s**2 + 3*s - 10. Let q be b(3). Suppose q*t + 14 = u + 5*t, 0 = -u + 4*t + 11. Put 4, u, 5 in decreasing order.
u, 5, 4
Suppose 3*a = -2*f - 8, -3*a + 4 = -f + 9. Let h(l) = 3*l + 5. Let r be h(a). Put -2, r, 1 in descending order.
1, r, -2
Suppose 241 + 32 = 3*q. Let i = 88 - q. Put i, 1, 11, -1 in increasing order.
i, -1, 1, 11
Let v = -121/28 + 32/7. Sort v, -53, -5, 1/3 in ascending order.
-53, -5, v, 1/3
Suppose 0 = -3*i - 4*v + 39, i + 0*i = -v + 12. Sort i, -1, 4, 0 in decreasing order.
i, 4, 0, -1
Let x = 1556 - 1560. Sort 1, -1/5, x in descending order.
1, -1/5, x
Let n be (3/(-766))/(8/((-32)/3)). Let w = n + 1911/766. Sort w, -0.3, -0.1, 2/7 in increasing order.
-0.3, -0.1, 2/7, w
Suppose 4 = -4*d - 0. Suppose -o + 5 = -5*f, -o - 2*f + 17 = 26. Put d, o, -3 in increasing order.
o, -3, d
Let h be (-18)/(-6) + 0 + -6. Sort h, 5, -2, 3 in decreasing order.
5, 3, -2, h
Let n = 0.0553 - 5.0553. Sort -1/5, -0.02, n in ascending order.
n, -1/5, -0.02
Suppose 4*k - 3 = p, -k + 2*k - 22 = -4*p. Suppose -5*m - w = 10, 13 = -2*m - m - k*w. Suppose 0 = -3*h - 4 - 11. Put 0, h, m in increasing order.
h, m, 0
Let d = 3.1 + -20.1. Let r = -467 - -454. Let c = r - d. Sort c, -3, -4/5 in descending order.
c, -4/5, -3
Let g(b) = -b**3 + 17*b**2 - 3*b + 49. Let o be g(17). Put o, -1, 2 in increasing order.
o, -1, 2
Let z be -1*(-2)/(6/(-3)). Let h = z - -3. Let b(r) = -r + 9. Let f be b(6). Put h, -3, f in decreasing order.
f, h, -3
Let m(g) be the first derivative of g**4/4 - g**3 - g**2/2 + g + 2. Let i be m(2). Let l(b) = -12*b - 171. Let f be l(-14). Sort i, 1, f in increasing order.
i, f, 1
Let c = 0.195 - -79.805. Let u = 85 - c. Put 0.2, -5, u, 2 in decreasing order.
u, 2, 0.2, -5
Let v = -179.03 - -179. Sort 2, 4, v.
v, 2, 4
Let j = 5.4 + -5. Let o = -50 - -1. Let k = o - -49. Sort j, -2, k.
-2, k, j
Let g = 371.1 - 371. Put -2/7, -4/7, g, 1/3 in decreasing order.
1/3, g, -2/7, -4/7
Suppose 95*g + 40 = 103*g. Suppose 5 = -m, -3*b + m = 2*m - 1. Put 4, b, g, -4 in decreasing order.
g, 4, b, -4
Let k = -26 - -26.88. Let s = -0.12 - k. Let r = -3 - s. Put r, -5, -0.3 in increasing order.
-5, r, -0.3
Suppose 2*g - 4 = -5*h - 22, 3*g - 5*h = 23. Suppose 0 = -2*p + 3*r - 15, -5 + 0 = 2*p - r. Put g, p, -5 in descending order.
g, p, -5
Suppose 0 = 2*j - 4*j + 6. Let i be (-2)/(5 - j)*-5. Put i, -0.6, -1/7 in descending order.
i, -1/7, -0.6
Let d = 18400 + -18400.4. Let f = 4.91 + 0.09. Sort -1, f, -1/2, d.
-1, -1/2, d, f
Let y = -308 + 314. Put 3, 0.8, y in ascending order.
0.8, 3, y
Let a = 6 + -4.9. Let s = a + -0.3. Let b = 1 - s. Put 3/4, 4, b in descending order.
4, 3/4, b
Let o = 27.2 + -27. Let s = 0.78 + -2.78. Sort s, 1/17, o in ascending order.
s, 1/17, o
Let a be (1 + 0/(-4))*2. Suppose -a*y = 4*y - 36. Sort y, -1, 3 in descending order.
y, 3, -1
Let g = -0.091 - -0.031. Put g, 0.6, 2/13 in ascending order.
g, 2/13, 0.6
Let o(q) = q**2 + 2*q - 103. Let f be o(9). Put 2, 1, f in decreasing order.
2, 1, f
Let o = 192/5 + -38. Let p = -0.08 + -12.92. Let f = -13 - p. Sort 5, f, o in increasing order.
f, o, 5
Let v be 5 + (8 - 4 - 7). Suppose -18 + 0 = -2*b + 5*l, -3*b