der.
t, p, 1
Suppose -2*o + 6*o - 20 = 0. Let f be (18 - (-17 + 28)) + 1. Sort f, o, 3, 4.
3, 4, o, f
Suppose 5*l + 3*o = 2*o - 10, 0 = -2*l + 2*o - 4. Suppose -20*j = -12*j + 75 - 3. Put 4, l, j in descending order.
4, l, j
Let h = 209.5 + -171. Let y = 0.28 + -39.28. Let d = y + h. Put d, -1/3, -25 in increasing order.
-25, d, -1/3
Let m = -950.98 + 951. Put 1, -0.2, -1/2, m, -2 in increasing order.
-2, -1/2, -0.2, m, 1
Let l = -6.99 - -7. Let n = 0.06 - l. Let a = -8803 - -8804. Put 5, a, n, -3 in ascending order.
-3, n, a, 5
Let i(a) = -868*a + 6077. Let z be i(7). Put 494, 4, -5, 0, z in descending order.
494, 4, z, 0, -5
Let r = 6193 - 6194. Sort -7, -41, r.
-41, -7, r
Let v be 2 - (2/(-3) - 120/(-18)). Suppose -41*d - 70 = -34*d. Put d, v, 4 in increasing order.
d, v, 4
Let y be -4 - -10 - (-4 - -1). Let t = 175 + -176. Put t, y, -4 in increasing order.
-4, t, y
Suppose 1261 = -618*r - 1211. Put -12, -10, -2, r in descending order.
-2, r, -10, -12
Let v = 157.02 - 158. Let l = v + 2.98. Put l, -5, -3, 2/19 in decreasing order.
l, 2/19, -3, -5
Suppose x - 3 = 0, -97*x - 3 = -3*f - 98*x. Let v = -8 + 0. Sort f, 2, v.
v, f, 2
Let k be 1/(3/2*(-10)/(-45)). Suppose 4*g - 63 = 3*q, -1 = 4*q - k*q. Suppose w = g*w + 28. Put w, -4, -5 in increasing order.
-5, -4, w
Let m(z) = 40*z - 684. Let u be m(13). Put -1, 0, 1, u in increasing order.
u, -1, 0, 1
Let d(q) = -q - 24. Let l be d(-19). Let k = -877/2030 + 1/290. Let v = 10.41 - 10.58. Sort 3/2, k, l, v.
l, k, v, 3/2
Let w be (-6)/114 + 9 + 680/(-76). Sort -18, 5, -30, w, 2 in descending order.
5, 2, w, -18, -30
Let y(w) = -4*w. Let j be y(-9). Let r be -3*(-2 + -3*(-4)/j). Suppose 0 = -s - 4*g + 17, -4*s - 4 - 13 = -g. Sort -5, s, r in ascending order.
-5, s, r
Let j = 511/6 + -85. Let f = 184.49 + -181. Let v = -0.49 + f. Put v, 5, j in ascending order.
j, v, 5
Let v(i) = -i**2 + 7*i + 3. Let x be v(8). Let l = -6100 - -6096. Let p = 5 - 1. Sort -3, p, l, x.
x, l, -3, p
Suppose -94*l = -82*l - 36. Suppose -3*d = 491 - 479. Sort l, d, 10 in increasing order.
d, l, 10
Let h = 0.03 - 6.03. Let v be 2 + 1/(-2)*114. Let q be (-5)/v - 0/2. Sort h, -3, -5/4, q.
h, -3, -5/4, q
Let j(h) = 4428*h + 13289. Let a be j(-3). Suppose 0 = -10*f + 5*f + 5. Sort f, 7, a, 2 in decreasing order.
7, a, 2, f
Let m = -1934.8 + 1935.2. Sort m, 0.2, -3, -5, 4/11 in decreasing order.
m, 4/11, 0.2, -3, -5
Let k = 3524 - 24670/7. Let y = 0 + -1. Put -0.05, y, 5, k in increasing order.
y, k, -0.05, 5
Let w = -212 + 206. Let j be (4/((-40)/(-45)))/w. Put -0.2, 4, -0.4, j in descending order.
4, -0.2, -0.4, j
Let z = 25.78 - -0.22. Suppose 202*l - 203*l - 15 = 3*y, 3*y = 5*l + 3. Sort l, z, 2/17 in decreasing order.
z, 2/17, l
Let b = 4.8 - 4.7. Let w = -0.87 + 154.87. Let n = 154.02 - w. Sort b, n, -5, 1.
-5, n, b, 1
Let o be -2 + 1 + -2 - -1. Let h = 1015 - 1015.1. Let x = 2.73 - -0.27. Put x, o, h in descending order.
x, h, o
Let j = 3/29 + 37/203. Let z be -17 - -14 - ((-120)/21 - -3). Sort -4, j, 2, z.
-4, z, j, 2
Let l be -4 + -4 + 8 - -3. Suppose 2 = f + 2*m, 0 = 2*f + m - 2*m + 1. Put 2, f, l in decreasing order.
l, 2, f
Let z be -4 - (1 - -1 - (-833)/(-42)). Let g = -937/66 + z. Sort g, 3, -2 in ascending order.
-2, g, 3
Let b = -9823 + 9821. Sort -3, b, 1, -5 in increasing order.
-5, -3, b, 1
Let g = -108.3 - -108.34. Let r = 73 + -149/2. Let k = 1963 + -1963. Sort r, k, g, -5/3 in increasing order.
-5/3, r, k, g
Let k = 0 + -3. Let u = -1 - k. Let i be (-13*(-36)/(-2574))/1. Put u, 0.07, i, -1 in descending order.
u, 0.07, i, -1
Let l be -7 + 7 + 4/(-3 - -7). Let c be (((-5)/(-10))/(7/2))/l. Put -5, c, -0.2, 0.1 in ascending order.
-5, -0.2, 0.1, c
Let j = -21270 + 21267. Put 47, 2, j, 4 in decreasing order.
47, 4, 2, j
Let n = -2.857 + 139.857. Sort 0.19, 5, n.
0.19, 5, n
Let g = -909 - -86354/95. Let p = 187/285 - g. Let q be (3 - 2) + 60/(-55). Sort p, q, 0 in decreasing order.
p, 0, q
Let b = -40729 - -40729. Let h = 9/113 - 1153/11639. Sort 3/4, b, h in decreasing order.
3/4, b, h
Let b be 5/(-8) - (-4080)/(-5760). Sort b, -5, 6, 4 in ascending order.
-5, b, 4, 6
Let d = -1.099 + 5.099. Sort 0.5, -3/1534, d, 0.2 in descending order.
d, 0.5, 0.2, -3/1534
Let r be 0 - (2 - (-157)/(-79)). Let q = r + -155/237. Let c = 3893 - 3892. Sort c, q, 3/5.
q, 3/5, c
Let f = 0.07 + 6.93. Let k = -0.117 + 6.817. Let r = f - k. Sort -3, -11, 3, r in ascending order.
-11, -3, r, 3
Let o = -5.04 + -535.96. Let i = o - -538. Put i, -3/2, -0.08 in decreasing order.
-0.08, -3/2, i
Let s = -2641 + 2623. Let x = -1 - 0. Let g be 10/(-15)*x*1. Sort s, -2, g in decreasing order.
g, -2, s
Let d = -102931/5 + 20585. Sort -2/7, -1.71, d, -0.5 in increasing order.
-1.71, d, -0.5, -2/7
Suppose -301*q + 296*q + 21 = 3*w, -5*w - 5*q = -35. Sort -1, 0, w, -4 in descending order.
w, 0, -1, -4
Let f be (-43)/10 + ((-246)/2870)/(6/(-21)). Put 1, 2, -1, -39, f in descending order.
2, 1, -1, f, -39
Let u be (-31)/(-186)*(57/12 + -4). Put -13, 0.06, u, 0.1 in descending order.
u, 0.1, 0.06, -13
Let q be (-18)/2*((-40)/15 + 2). Suppose -15 = -4*r - k - q, -2*k + 10 = 0. Put -2, r, 37 in increasing order.
-2, r, 37
Let o = -0.42 + 0.5. Let g = -4794 + 4794.38. Let y = g - o. Put y, -21, 1/2 in decreasing order.
1/2, y, -21
Let a = -226 - -131. Suppose 23*y - 932 = -3094. Let p = a - y. Put p, 0.4, -26 in decreasing order.
0.4, p, -26
Let n be (0 + 2)/(2*4/(-16)). Let u be (-87)/29 + (-10)/n. Sort 17, u, -0.3.
u, -0.3, 17
Let d = -609.7 + 707.7. Sort 1/2, -0.02, d.
-0.02, 1/2, d
Suppose -5*n = -n + 12. Let s = 0.03 - -8.97. Let c = 7111/2 + -35559/10. Sort c, s, n in decreasing order.
s, c, n
Suppose 8*d - n = 6*d - 914, -3*n = 3*d + 1380. Let v = d + 463. Sort -4, -53, v.
-53, -4, v
Let l(r) = -r**3 + r**2 + 3*r - 3. Let c be l(1). Let x be (6/10)/((-84)/(-80) - 1). Sort x, -2, c.
-2, c, x
Suppose 0 = 4*i + 4*c - 84, -4*i - 23 = 5*c - 107. Let s be (i/(-15) + (-4)/(-10))*-2. Let p be -4 + 0 + 6 + -4. Put 4, p, 5, s in decreasing order.
5, 4, s, p
Let w = -0.4 - -0.3. Let h = -309 + 317. Sort w, -3, h, 0.
-3, w, 0, h
Suppose -3*n - 2*v - 3 = -17, 2*n - 3 = 5*v. Put 20, n, -3, 0 in descending order.
20, n, 0, -3
Suppose -2*y = -7*y - 40. Let a(s) = 4*s**2 + 5*s + 10. Let t be a(4). Suppose 5*i + t = 109. Put 1, y, i in descending order.
i, 1, y
Suppose -2*l + 2 = 0, -4*j + j = 5*l - 8. Let m = 33 - 35. Sort j, -1, m, -3 in decreasing order.
j, -1, m, -3
Let u be (-2*(-8)/(-28))/(6/(-399)). Suppose u = 5*r + 68. Let i be (-1 + 1)/((-6)/r). Put i, 2, -0.7, -0.5 in increasing order.
-0.7, -0.5, i, 2
Let k = -0.33 - -0.59. Let m = -179/194 - -138/97. Put m, 2, k in decreasing order.
2, m, k
Let r be -12 - (-123)/9 - (-1)/3. Let d = -1.9 + 1.5. Let t = 0.6 - d. Sort t, -0.4, -2/3, r in ascending order.
-2/3, -0.4, t, r
Suppose 3*g = m - 20, -17*g + 25 = -22*g. Sort -1.1, m, 0.01, 3.
-1.1, 0.01, 3, m
Let r = 27 + -19. Let u be 2/(-4) - ((-8976)/(-32) - 13). Let b = u - -265. Sort 0, b, -5, r in decreasing order.
r, 0, b, -5
Let f = 1210/921 - -6/307. Sort -1176, -0.2, f in increasing order.
-1176, -0.2, f
Let d = -372 - -379. Suppose -5*b + 2*p = d, b - p = -0*p + 1. Put -5, -1/2, 0.09, b in descending order.
0.09, -1/2, b, -5
Let f be 181 + -22 - 1*-3. Let k = f - 160. Sort 4, -3, 3, k in decreasing order.
4, 3, k, -3
Let k = -64.03 - -64. Let a = 0.9 + 17.6. Let y = a + -19. Put y, 1/7, k in descending order.
1/7, k, y
Let d = 3.21 - 3.4. Let m = -17.81 + d. Let a = m - -22. Sort -5, a, -3, 0.5 in increasing order.
-5, -3, 0.5, a
Let i = 172 + -169. Put -95, i, -4, -2, 2 in ascending order.
-95, -4, -2, 2, i
Let h = -273997/36 - -7611. Put -1/3, h, 1/2 in increasing order.
-1/3, h, 1/2
Let k = 5997 + -5997.5. Sort -2/7, k, 990, 1/6 in increasing order.
k, -2/7, 1/6, 990
Let s = 0.2 - -2.8. Let a(q) = 3*q**2 - 22*q - 411. Let y be a(16). Sort 11, s, y in descending order.
11, y, s
Let t = -0.556 + 0.656. Sort t, -44, 6 in decreasing order.
6, t, -44
Let r(l) = 19*l + 20*l + 8*l - 46 - 41*l. Let i be r(8). Suppose -5*o + i*t + 28 = -o, -5*t = 2*o + 10. Sort -3, -7, o in ascending order.
-7, -3, o
Let w = 9 - 8.9. Let h = 28.5 + -3.5. Let d = 24.9 - h. Put d, 2, -2/13, w in decreasing order.
2, w, d, -2/13
Let r = 0.02 - 0.32. Let f be (-1 - -9) + 26