ing order.
9, o, -5
Suppose 5*c - l - 20 = 0, -2*c - 2*c - 2*l + 2 = 0. Sort -1, 4, c, -38.
-38, -1, c, 4
Let s = -12 - -17. Sort 1, 10, s in decreasing order.
10, s, 1
Let h = -1085.05 - -1027. Let i = h - -58. Sort -0.2, i, 2, -1 in descending order.
2, i, -0.2, -1
Suppose 14 = -4*v + 2*d, 0*d = 2*v - 2*d + 10. Let n = -1953 - -1952. Suppose w + 12 = 4*w. Put n, w, v in increasing order.
v, n, w
Suppose -a - h = 2*a + 29, -5*h = -5. Let t be -1 - (2 - 6)*6/24. Put a, 1, t, -2 in increasing order.
a, -2, t, 1
Let a = -149659 + 30380687/203. Let f = 3/203 + a. Sort -1/4, -2/5, f in ascending order.
f, -2/5, -1/4
Suppose -8*r - 781 = 267. Let n = r - -127. Let g(l) = l**3 - l**2 - 5*l + 2. Let i be g(3). Put i, -5, n in ascending order.
-5, n, i
Let a(d) = 62*d - 621. Let m be a(10). Sort 0.287, m, 2/3.
m, 0.287, 2/3
Let n = -11 - -7. Let z = 458 - 467. Put 1, n, z, 0 in ascending order.
z, n, 0, 1
Let a(i) = -16*i - 155. Let t be a(-10). Sort -4, t, 46, 4 in increasing order.
-4, 4, t, 46
Let n(t) = 10*t + 7. Let m be n(-7). Let a be 10/55 - m/(-165). Suppose 0 = -0*j + 3*j + 9. Sort j, 5, a in decreasing order.
5, a, j
Let q = -41753/23481 - -1/2609. Let b = q + 1/9. Sort -0.7, -1/7, b in descending order.
-1/7, -0.7, b
Let w(y) = -y**2 - 2*y - 14. Let s be w(0). Let h be 3 + (-7 - -2) + (-24)/s. Suppose r - 2 = 2*g, 5*r + 14 + 12 = -2*g. Sort 0.4, h, g.
g, h, 0.4
Let j = 47 - 46.66. Let r = 0.46 + j. Put r, -1/5, 1 in descending order.
1, r, -1/5
Let h = 120.51 - 115.51. Let g = 4 + -3.6. Sort g, h, 10 in ascending order.
g, h, 10
Let w(g) = -g + 8. Let s be w(7). Let p(x) = -x - 4. Let d be p(-8). Let r be (2 - 1)*(1 + d). Put r, 3, s in increasing order.
s, 3, r
Suppose 19*z = 15*z - 16. Suppose 5*y - 4*y = -3. Let j be y*(-5)/3 - 2. Sort j, z, -1 in increasing order.
z, -1, j
Suppose 8 = 5*t - t. Suppose -3*y - 3*q + 18 = 0, -3*y - 4*q = q - 26. Suppose b - y*o + 6 = -3*b, -14 = b - 3*o. Sort -5, b, t in ascending order.
-5, b, t
Let n be 30/9*1*-3. Suppose 5*p - 16 = 4*o, 4*o - 2*p = 3*o - 4. Put -3, o, n in increasing order.
n, o, -3
Let i = -22.7 + 4.7. Let p = 17.8 + i. Sort -0.1, p, -2, 4.
-2, p, -0.1, 4
Let s be (7 - 2 - 3 - 3)/(-1). Put s, -3/7, -0.5, -4 in decreasing order.
s, -3/7, -0.5, -4
Let d(z) = -4*z - 180. Let q be d(-46). Sort q, 5, 1, -2 in decreasing order.
5, q, 1, -2
Let b = -14 - -22. Let h = b + -4. Let g(p) = 11*p + 83. Let v be g(-8). Put v, 5, h in decreasing order.
5, h, v
Let z = 194 - 193.5. Let c = -7/6 - -1/2. Put z, c, -12 in increasing order.
-12, c, z
Let j be (4 + 0)/(2 + -1). Let b = -1654 + 1657. Sort -5, b, 2, j.
-5, 2, b, j
Let t = -1 - -0.7. Let r = -47 + 47.2. Sort t, r, 0.3 in descending order.
0.3, r, t
Suppose 5*j + 0*j = -15. Suppose -34*k = -37*k + 21. Let n be 4*((-1)/7 - (-8)/k). Put j, n, -2 in decreasing order.
n, -2, j
Suppose 0 = -a + 2*h + 7, -4*a - 2*h + 0*h = 22. Let y = -23 + -7. Let p be -3*5/y*-2. Sort 5, p, a in descending order.
5, p, a
Let t = -1.585 + 1.485. Put t, 0.1, -8, 10 in decreasing order.
10, 0.1, t, -8
Let c = 16.92 + 0.08. Let i = -14 + c. Put -3, -1/6, i in decreasing order.
i, -1/6, -3
Let m = -28.3 - -25.3. Sort -0.3, m, 25.
m, -0.3, 25
Let t(z) = z**3 - 7*z**2 + 7*z - 4. Let f be t(6). Let h = 9/4 + -2. Sort h, -1/2, -7, f in increasing order.
-7, -1/2, h, f
Suppose -66 = -64*u + 62. Sort u, -3, -4, -1.
-4, -3, -1, u
Suppose 3*v - 2*q = -5*q + 12, -12 = -3*v - 5*q. Suppose -v*z - 14 = -6. Sort -5, -3, z, 2/3 in decreasing order.
2/3, z, -3, -5
Let r = 0.512 + -0.012. Let m be (-1)/3 + 3/6. Let y = -81/4 - -397/20. Sort y, r, m in decreasing order.
r, m, y
Let u = -21.8 + 15. Let l = u - -6.6. Let t be 4/3 + 3/(-3). Sort l, 5, t in descending order.
5, t, l
Let a be 45/110 + 9/99. Sort -2, 1/3, a, 3.
-2, 1/3, a, 3
Let w = 1145 - 1148. Sort w, -4, 1/21 in descending order.
1/21, w, -4
Let i = -178994/16485 + 2/2355. Let g = 373/35 + i. Sort g, 1, -7/3, -2/7.
-7/3, -2/7, g, 1
Let c = -10/3 - -4. Let o = 10 - 13. Sort 2, c, o in increasing order.
o, c, 2
Suppose 5*b = b + 4*p - 8, 1 = b - 4*p. Let j be (2 + b)*-8 + -4. Put j, 6, 3 in ascending order.
3, j, 6
Let x = 0.257 - 0.457. Put x, 1, -3/5, 2/5 in decreasing order.
1, 2/5, x, -3/5
Suppose 3*g - 3*b = 0, 3*g + b - 2*b + 10 = 0. Let p = 160 - 157. Sort p, 1, g in decreasing order.
p, 1, g
Let c be (18/24)/((-15)/8). Let h = -15 - -3. Let s = h - -11.4. Put c, -1/2, s in decreasing order.
c, -1/2, s
Suppose 2*v = 5*v - 15. Suppose n + b + 3*b - 22 = 0, 4*n + b = 13. Let a be -8 - (-1 + n)/(-1). Sort a, 4, v.
a, 4, v
Let v = 47 - 52. Sort -0.3, v, -8 in ascending order.
-8, v, -0.3
Let m(c) = c**3 - 7*c**2 + 14*c - 10. Let t be m(2). Sort 1, 9, t, 6 in decreasing order.
9, 6, 1, t
Let r = 11 - 10.91. Let k be (-1)/11 + (-2337)/(-297) - 8. Sort 0.2, r, k, -1 in ascending order.
-1, k, r, 0.2
Suppose -193*r + 20 = -183*r. Suppose 29 + 1 = z + 3*w, 0 = 4*w. Suppose 20 = -4*l - 4*y, -5*l - z = -2*y + 30. Sort 5, r, l.
l, r, 5
Suppose 10*k - 33 = -43. Put 3, 15, k in decreasing order.
15, 3, k
Suppose -2*u = 4*j - 9*j + 801, 3*u - 328 = -2*j. Let t = j + -645/4. Let g be (-4)/(-1) - 2/(-2). Sort -0.3, t, g.
-0.3, t, g
Suppose 3*h - 4 = -h. Suppose -3*s + 2 = -4*p, -4*p + 1 = -3*p. Suppose -3*x - 8 = 3*c - c, -4*c + s = 3*x. Sort h, 5, x.
x, h, 5
Suppose 3*k - 5*p = 13, -3*p = p + 8. Let t(x) = -5*x**3 + 32*x**2 - 9*x - 10. Let c be t(6). Put -5, c, k in decreasing order.
c, k, -5
Let r = -816.4 + 816. Put 2/7, r, 0.3, -0.95 in descending order.
0.3, 2/7, r, -0.95
Suppose 0 = w - 5*y + 9, 3*w + 16 = 5*y - 1. Suppose 1 - 7 = -2*x. Sort w, 4, x in ascending order.
w, x, 4
Suppose 5*r + 2*k = 10, 2*k + 40 = 5*r - 2*k. Sort 0.27, -2/9, r.
-2/9, 0.27, r
Suppose 0 = 222*x - 201*x - 63. Put -2, x, 16, 1 in descending order.
16, x, 1, -2
Let a = -2.4 - 9.8. Let s = 10.2 + a. Sort -26, 3, s in decreasing order.
3, s, -26
Let b be 15/(-9) + (-20)/15. Let l = 8 + b. Suppose 16*v = 11*v + l. Sort 5, 0, v in decreasing order.
5, v, 0
Suppose 0 = -3*t - 5*m + 1, -9*t + 3*m = -13*t + 5. Put t, -1/2, -0.2, -5/6 in decreasing order.
t, -0.2, -1/2, -5/6
Suppose -14 + 10 = -x. Suppose -2*l + 3*l = -4*j, -x*l - 15 = j. Put l, -3, -1 in decreasing order.
-1, -3, l
Suppose 0 = 5*k + 5*w + 10, -5 = 4*k - 0*k + w. Let u(l) = -59*l - 2937. Let c be u(-50). Sort -2, c, k in increasing order.
-2, k, c
Let f = -270.8 - -271. Suppose -m - 5*g = -8, 5*m - g - 8 = 2*m. Put f, m, -19 in decreasing order.
m, f, -19
Let a = -678/5 + 136. Let f = 3350 + -3345. Put a, -9, f in decreasing order.
f, a, -9
Let w(u) = -u**2 - 8*u - 29. Let q be w(-9). Let v = 43 + q. Put -3, 2, 1, v in ascending order.
-3, 1, 2, v
Let m(d) = d**3 - 16*d**2 + 41*d - 30. Let v be m(13). Sort -1/2, v, -5, 0 in ascending order.
-5, v, -1/2, 0
Suppose 0 = q - 2*q - 5*h - 6, -5*h = 5*q - 10. Sort q, -2, 1.
-2, 1, q
Suppose 0 = 49*i - 15 - 34. Put 4, 3, i, -1 in decreasing order.
4, 3, i, -1
Let n(c) be the first derivative of 2*c**3/3 + 6*c**2 - 3*c - 16. Let f be n(-8). Sort 2, -2, f.
-2, 2, f
Let t = 349 + -344. Put 24, -1, -2, t in increasing order.
-2, -1, t, 24
Let n = 27 - 22. Suppose -3*g - t + 6 = -0*g, -2*g - n*t + 4 = 0. Let s = -3 - -2. Put g, -5, s in decreasing order.
g, s, -5
Let f(t) = 2*t + 5. Let v be f(-16). Let b = -30 - v. Put b, 0, 4 in descending order.
4, 0, b
Let u be 0/(-1) - (-4)/(-2). Put u, -15, 4 in increasing order.
-15, u, 4
Let i = 6.17 - 0.17. Suppose 0 = -2*p + 3*p - 3. Sort i, 0.5, 1/8, p.
1/8, 0.5, p, i
Let g = -2/299 + 608/1495. Let j = -209 + 835/4. Sort j, g, 5 in decreasing order.
5, g, j
Let u(j) = j**2 + 10*j. Let r be u(0). Sort r, -5, -3.
-5, -3, r
Let b = 55 - 36. Let c = b + -18.7. Sort -0.5, 0, c in ascending order.
-0.5, 0, c
Suppose i - 15 = -20*u + 23*u, i - 2*u = 12. Sort i, 0, -2 in increasing order.
-2, 0, i
Let s = -0.058 + -4.942. Let k = 1/30 + 53/210. Sort s, k, -2 in increasing order.
s, -2, k
Let i = -270 - -270.4. Put i, -1.7, -0.1, -0.5 in decreasing order.
i, -0.1, -0.5, -1.7
Let d = 1.9 + 25.1. Let k = d + -25. Sort -3, k, 5 in ascending order.
-3, k, 5
Let r(n) = n**3 + n**2 + 4*n - 7. Let f be r(2). Sort -1.4, f, 2/19 in decreasing order.
f, 2/19, -1.4
Let g = 241.8 + -242. Sort -3, -46/11, g.
-46/11, -3, g
Let d 