 - 1/(-2)) + 7. Put a, j, -5 in increasing order.
-5, a, j
Let g = 61 - 63. Let x be (g*82/4)/(4 - 3). Let k = x + 69/2. Sort k, -2, 2 in ascending order.
k, -2, 2
Suppose 0 = c - 39*i + 37*i + 3, -8 = 3*c - 5*i. Sort -14, c, 65 in increasing order.
-14, c, 65
Let q = -6640 - -6640. Sort -5, -276, 4/9, q.
-276, -5, q, 4/9
Let u = -3 - -4. Let n = 65.4 + 35.6. Let z = -101.5 + n. Sort z, -5, u.
-5, z, u
Let u = -597.93 - -597. Let g = -1 - -1.07. Let x = g - u. Put -2/5, 3, x, 0.3 in increasing order.
-2/5, 0.3, x, 3
Let i = -27991 + 27998. Sort i, 0.9, -62 in decreasing order.
i, 0.9, -62
Let w = -123 + 243. Let q = w + -123. Sort q, -70, 0 in decreasing order.
0, q, -70
Suppose -1402*b = -1364*b + 76. Sort b, -35, -5, -1, 18 in ascending order.
-35, -5, b, -1, 18
Let b = 54433 + -54438. Let f = 11 - 15. Sort -1/6, b, -8, f in decreasing order.
-1/6, f, b, -8
Let j = 1743/2 + -8457/10. Let d = -26 + j. Sort 0.5, d, 11 in increasing order.
d, 0.5, 11
Let k = 977 + -974.878. Let a = k + -0.122. Let i be 15/28 + 4/(-14). Sort a, i, -0.7 in ascending order.
-0.7, i, a
Let m be 9867/1771 + -3*2. Sort -0.39, m, -3.
-3, m, -0.39
Suppose -c = 16*c - 17. Let o = 8 - 5. Let s = o + 0. Put 9, c, s in descending order.
9, s, c
Let f be 1/26*(-2431)/(-374). Suppose 2*h = -3*x, -10 = 4*x - 3*h + 7. Put x, -113, f in decreasing order.
f, x, -113
Let f = 67.31 + -49.31. Sort f, -1/5, 2/17, 5 in descending order.
f, 5, 2/17, -1/5
Let u be (3/(-9) - 0)*-4*6. Suppose -2*o + 5 = -1. Sort o, u, 4 in decreasing order.
u, 4, o
Suppose 4*q = 30*q - 24180. Suppose 11*z + 985 = q. Sort -1, 5, -2, z in decreasing order.
5, -1, -2, z
Let o(n) = -n**3 + 5*n**2 + 5*n - 9. Let d be o(6). Let j be ((-12)/15)/(3/d). Suppose 22 = 9*s + j. Put s, -5, -1 in decreasing order.
s, -1, -5
Suppose 0 = -5*d + d - 72. Let l be 4/d + (-282)/(-54). Suppose -9 = z - l. Sort -2, z, -1.
z, -2, -1
Let f be -61*400/(-6104) - 4. Let i = f + 1560/12971. Let a = 0.9 + -1. Sort i, 2/7, a, 0.
a, 0, i, 2/7
Let u = 20543 - 20558. Sort u, -4, -2, 10.
u, -4, -2, 10
Let t be (30/(-50) - 9/(-15))/2. Put 3, t, 2/1413 in descending order.
3, 2/1413, t
Let t be (6 - 2 - 4)*-1. Suppose 3*z + 20 = 5*l, t = -3*z - z + 2*l - 22. Sort -2, z, 0, -18.
-18, z, -2, 0
Let h = 609 + -597. Suppose -5*x - 4*i = 16, 5*i + 20 = 4*x - 0. Suppose x = 6*c + h + 18. Sort c, -3, 0.
c, -3, 0
Let c = 1392 - 853. Let h = c - 538.9. Sort h, 2/17, 6, 0.7.
h, 2/17, 0.7, 6
Let z(k) = 57*k - 7571. Let s be z(132). Sort s, 1, -46.
s, -46, 1
Let n(o) = 4*o**3 + 2*o**2 + o - 3. Let c be n(1). Let j(g) = g - 1. Let q be j(-2). Suppose -4*u + 0*u - 3*k = -12, 0 = -3*u + 3*k - 12. Sort c, 10, q, u.
q, u, c, 10
Let h = 5 + -1. Let d be 1212/150 + 2 + ((-510)/125 - -4). Sort h, 5, d, 1 in decreasing order.
d, 5, h, 1
Suppose -3*i + 5*w + 30 = -7*i, 2*i - 2*w - 12 = 0. Put -475, -1, i, 4, 1 in decreasing order.
4, 1, i, -1, -475
Let c be (3/2 + -2)*2. Let l(j) be the first derivative of -5*j**2/2 + 126*j + 108. Let p be l(25). Sort p, c, -5, 5 in increasing order.
-5, c, p, 5
Suppose 3*v + 3*k = 42, -2*v + 102 = -2*k + 66. Sort -25, 0, v.
-25, 0, v
Let t = 2.3161 + -0.1201. Let l = t - 3.2. Let b = 0.004 + l. Sort 1, -2, 7, b in increasing order.
-2, b, 1, 7
Let r be -10 - 4 - -7 - -5*(-4 + 6). Sort 2, 207, r, -5 in decreasing order.
207, r, 2, -5
Let o be (1 + -3 + 6 + -3)*-3. Suppose 0 = 11*z + 102 + 151. Sort z, -2, o in increasing order.
z, o, -2
Let k(b) = -2*b - 22. Let n be k(-13). Suppose h - 4 = -5*w, -n*h + 4*w + 1 = 9*w. Sort 1, h, 15 in ascending order.
h, 1, 15
Let p = 163.2 + 52.8. Let g = p - 214. Put -3/8, 2/21, g, 3 in ascending order.
-3/8, 2/21, g, 3
Let x(m) = -95*m + 1145. Let u be x(12). Sort -3, u, 974.
-3, u, 974
Let z = 491169/5 + -98232. Let i be 4/(-5)*5/(-2). Sort 3, z, i in decreasing order.
3, i, z
Let f be -6 + 52/(-30)*8/(72/(-27)). Sort f, 1/3, -0.1, 2/45.
f, -0.1, 2/45, 1/3
Let l be 2 - (2 + -2 + -2). Let t = -26 - -28. Suppose 2*c - 3*w = 7, t*w - 14 = 2*c + 6*w. Sort c, l, 1 in descending order.
l, 1, c
Let i = -2341 - -2344. Put i, 4, -7 in decreasing order.
4, i, -7
Let v be 3/6 - 2/20. Let h = -0.0142 + -3.0858. Sort 1, v, h in decreasing order.
1, v, h
Let r be (-4)/16 + (-2)/(-8). Suppose -20*b - 3*h + 4 = -21*b, 3*b = -4*h + 53. Suppose r = b*o - 12*o + 2. Sort -6, 1, 3, o in increasing order.
-6, 1, o, 3
Suppose 5*t + 51*s = 52*s + 112, s + 90 = 4*t. Sort t, -5, 49 in increasing order.
-5, t, 49
Suppose 0*y = 5*y - 20. Suppose -y*x + 8 + 64 = 0. Let k = x - 23. Put -2, -1, 1, k in ascending order.
k, -2, -1, 1
Suppose 72*i + 84*i + 477 = -3*i. Sort 3, -5, 10, i.
-5, i, 3, 10
Let o = -55931/7 + 7989. Sort o, -13, 2/3.
-13, o, 2/3
Let a be 2/(-7) + 17/35. Let s = -40187 + 40182. Sort 4, s, a, 21 in ascending order.
s, a, 4, 21
Let w = 151.43 - 143.5. Let g = -9.93 + w. Let n be 8/6*(-1)/(-2). Sort n, g, 4.
g, n, 4
Let n = -0.7 - -3.7. Let d = 1818 + -1818.2. Sort 15/4, n, d in decreasing order.
15/4, n, d
Suppose -226*u = -5*l - 230*u + 81, 0 = l - 2*u - 33. Sort -12, 5, l.
-12, 5, l
Let g(i) = -244*i - 7584. Let x be g(-31). Sort 0, -5, 7, x in ascending order.
x, -5, 0, 7
Let j = -886 + 887. Put -1, -6, 26, 5, j in decreasing order.
26, 5, j, -1, -6
Let r = -2345 - -2347. Suppose -q + 2*h + 3 = 0, 2*h - 4*h + 22 = 4*q. Suppose -1 = -a - q. Put r, a, 16 in descending order.
16, r, a
Suppose -27*k + 14432 + 7717 = 3303. Sort k, -5, -3 in descending order.
k, -3, -5
Let b(r) = 39*r**2 - r - 1. Let p be b(-1). Suppose -8151 = -56*x - 8375. Sort -5, x, p in descending order.
p, x, -5
Let t = 247 - 244. Let l(i) = i**2 + 10*i + 18. Let s be l(-8). Sort -33, t, s in descending order.
t, s, -33
Let p be ((-560)/(-147))/8*6/5. Put -4/3, -12, -8, p in increasing order.
-12, -8, -4/3, p
Suppose -5*p - 9 = i, 0 = 17*i - 12*i + 20. Let j be (-1)/26*-1*-4. Let y be 2 + -2 + 8 + -4. Put j, p, y in descending order.
y, j, p
Let p = -6350617/85 - -74714. Let a = -1/17 + p. Let r = 11 - 15. Sort 2, a, r in descending order.
2, a, r
Let a = -97 + 300. Let l = a - 205. Sort -75, -2/3, l, -1 in increasing order.
-75, l, -1, -2/3
Let v be 3/9 - ((-106)/6 - 2). Let k be (6/15)/(8/v). Let j = -11 - -9. Sort k, j, 8.
j, k, 8
Suppose 188 = -13*z + 15*z. Let n = z + -88. Sort 0, 1, n in ascending order.
0, 1, n
Suppose -3*p + 2 = -2*y, -y - 835*p = -837*p. Sort 2, -373, y, 7 in descending order.
7, 2, y, -373
Let a = -5.11 + 0.11. Let c = a + 4.4. Let s = 0.14047 - 3.14047. Put 0.5, c, s, 0 in decreasing order.
0.5, 0, c, s
Suppose 168 = h + 3*h. Let a = 47 - h. Suppose -5*d - 2*u + 70 = -7*u, -a*d = 4*u - 79. Sort d, 5, -4 in descending order.
d, 5, -4
Suppose -69*p = 32 - 4 + 41. Sort p, -3/7, 18 in increasing order.
p, -3/7, 18
Let r be (2/(-12))/((-7)/(-28)). Suppose 2*t - 65 = o + 2*o, 175 = 5*t - 5*o. Let u be 15/t*4/6. Sort r, u, -4/5 in ascending order.
-4/5, r, u
Suppose 0 = 67*t - 167*t - 100. Suppose -z + 3*f - 4 = -0, 3*f + 6 = 3*z. Let p(v) = -2*v**2 - 15*v + 3. Let h be p(-8). Put h, z, t, 3 in descending order.
z, 3, t, h
Suppose q + 3*a = -44, 0 = 5*q - 5*a - 3 + 163. Let m be (((-2)/(-5))/(7/q))/2. Sort m, 1/2, 2.
m, 1/2, 2
Let v be 2/(-7) - (-9472)/4144. Sort 186, v, -15.
-15, v, 186
Let q = -1568 - -1570. Put q, -97/2, 5, -2 in decreasing order.
5, q, -2, -97/2
Let p = 1413 - 1411. Let n = -6/5 - -13/15. Let y be 20/(-175)*(-5)/2. Sort n, p, y.
n, y, p
Let h = 3942 - 3942. Put h, 74, -5, -1 in descending order.
74, h, -1, -5
Let p = -4404 + 4403. Let x(r) = -r - 1. Let v be x(2). Put v, p, -4, -2 in increasing order.
-4, v, -2, p
Suppose 2*s - 276 = -4*d, -4*s = -16*d - 84 + 1140. Suppose -3*a + 9 = p - 2*p, 0 = 2*a - 2*p - 2. Put a, 2, -0.2, d in increasing order.
-0.2, 2, a, d
Let f = -3727 + 7455/2. Sort 0, 9, f, -1/4 in increasing order.
-1/4, 0, f, 9
Suppose 42 = -846*j + 853*j. Put -6, -5, 5, 1, j in decreasing order.
j, 5, 1, -5, -6
Suppose 28 = 31*p - 34. Let v = -19 - -25. Let k be 1*(1 - 1 - 1). Put v, p, k, -2 in ascending order.
-2, k, p, v
Let x(v) = -v**3 - 48*v**2 - 83*v + 343. Let j be x(-46). Put j, 2, -3 in decreasing order.
2, -3, j
Let f = -0.7 - -0.85. Let u = 4044 - 4044.1. Sort -4, -3, u, f in descending order.
f, u, -3, -4
Let x(z) = z + 10. Suppose 0 = 13*y - 40 + 131. Let k be 