der.
u, 0.3, 3/4
Let i be (0 - 4)/(-39 - -37). Let u = -164 - -157. Put u, -1, i, 0 in descending order.
i, 0, -1, u
Suppose -5 = 521*s - 519*s + 3*z, -4*s = -4*z. Sort 12, -6, -18, 4, s in decreasing order.
12, 4, s, -6, -18
Let y be (-2)/(-16) - (-6)/24*-1. Let i = -38 + 41. Suppose -q - 2 = i. Sort y, 2, q, -3/4 in descending order.
2, y, -3/4, q
Suppose 3*m - 17 = -14*m. Suppose -2*k - 26 = 5*a, 2*a + k + 16 = -a. Let f be a + 2 - (2 - 4). Sort m, 7, 3, f in descending order.
7, 3, m, f
Let s = -1.2856 + 0.2856. Sort 5, s, -2, 0.1 in descending order.
5, 0.1, s, -2
Let b be -1*((-24)/4 - -23). Let z be (3 + 1 + -5)*3. Sort 2, -5, b, z in ascending order.
b, -5, z, 2
Let a = 39988 - 40033. Put a, 1, -13/5 in descending order.
1, -13/5, a
Let a be 2/(-10) - (-44)/20. Let h be -2*5*a/(-4). Let g = 0.054 - 0.154. Sort h, 7, g in descending order.
7, h, g
Let a = 7.79 - 8.49. Put -5, 0.3, -12, a, -3/2 in descending order.
0.3, a, -3/2, -5, -12
Suppose -3*l - l = -3*l. Suppose -5*i + 9 = 2*k - 14, l = 2*k - 4*i + 22. Sort k, -11, -3 in decreasing order.
k, -3, -11
Let h be (-5)/15 + 20*(-3)/9. Let u be (150/40)/(h/(-4) - 1). Suppose -3*z - 2*l + 2 = -0, 5*z - 45 = u*l. Put -3, 0, z in decreasing order.
z, 0, -3
Let n = 186 - -123. Let p = n + -308.6. Sort -1/6, p, 0 in descending order.
p, 0, -1/6
Let x = -335.9 - -332.9. Sort -730, x, -2 in ascending order.
-730, x, -2
Suppose -157 + 48 = -27*g + 26. Put g, 3, -2, -1, 1 in descending order.
g, 3, 1, -1, -2
Suppose -2*y = -2*a - 0*y + 16, -10 = -5*y. Let f be (152/57)/((-2)/(-3)). Let q(x) = -x**2 + 5*x - 2. Let t be q(f). Put a, -4, 3, t in increasing order.
-4, t, 3, a
Let a(l) = -l**2 + 13*l - 21. Let q be a(2). Let f be 930/(-240) + q/(-8). Let i be 9*-1*1 - -3. Sort 3, f, i, -5 in decreasing order.
3, f, -5, i
Let i = -155.94 + 156. Let l = -0.05087 + 0.55087. Sort i, -0.02, l in ascending order.
-0.02, i, l
Let j = 3.8 - 4. Let h = 0.966 - 1.186. Sort h, 7/4, j.
h, j, 7/4
Suppose -12*c - 25 + 37 = 0. Sort -86, c, -4 in decreasing order.
c, -4, -86
Let w(k) = -398*k + 4779. Let m be w(12). Put m, -29, -4, 5 in increasing order.
-29, -4, m, 5
Let s = 16.8 + -8. Let t = s + -9. Let o = 5957 - 41698/7. Put -1, t, o, 4 in descending order.
4, o, t, -1
Suppose 1061*r + 910 = 1068*r. Put r, 5, 1, 3, -1 in decreasing order.
r, 5, 3, 1, -1
Let n = -2.1 - -0.1. Suppose k = -5*r - 32, 4*r + 3*k + 3377 = 3325. Sort -1/12, n, r, -5.
-5, r, n, -1/12
Let o be (-194)/(-2) + (-8)/(-4). Let h(l) = -l**3 + 5*l**2 + 9*l - 65. Let t be h(7). Let r = o + t. Sort r, 2, 9 in descending order.
9, 2, r
Suppose -4*z = 13*w - 15*w + 124, 5*z + 155 = 2*w. Suppose 0 = -26*o + 24*o. Sort o, -1, z, -2 in descending order.
o, -1, -2, z
Let u(l) = -l**2 + 92*l - 1975. Let a be u(34). Put 4, -10, a, -2 in decreasing order.
4, -2, a, -10
Let m(j) = -64*j**2 - 771*j - 32. Let n be m(-12). Let w(o) = -o**3 - o**2 + 2*o - 1. Let l be w(2). Suppose -p - 3*p + 20 = 0. Put n, l, p in increasing order.
l, n, p
Let g(y) = 20*y + 353. Let o be g(-18). Sort -1, 1/21, -4, 3/7, o in decreasing order.
3/7, 1/21, -1, -4, o
Suppose -134*p = -139*p + 35. Suppose 10*m - p*m = -3. Sort 6, 0, m, 1.
m, 0, 1, 6
Let u = -4774 - -4762. Sort 5, 4, -54, -3, u in ascending order.
-54, u, -3, 4, 5
Let o be 2/(-5*2/(-25)). Let z(s) = 22*s**2 - 749*s + 37. Let x be z(34). Sort x, o, 34, -3 in ascending order.
-3, x, o, 34
Let s = -620050 + 620050.4. Let w = 6 - 3. Let g = -6 + w. Sort 0.1, g, s, -0.5.
g, -0.5, 0.1, s
Suppose b - 165 = 2*y - 178, -4*y = b - 11. Sort -3, -5, -55, y in ascending order.
-55, -5, -3, y
Suppose -13*t + 29 = 18*t - 2*t. Put -79, 0.9, t in increasing order.
-79, 0.9, t
Suppose -y + 0*y = -s + 2, 3 = 2*s - y. Let i be 52/26 - ((-34)/(-30) + s). Let d = -7 + 6.9. Sort d, 0.1, i, -0.5 in descending order.
0.1, d, i, -0.5
Let b = -32 - -47. Let c(h) = -2*h**3 + 32*h**2 - 29*h - 10. Let l be c(b). Sort -7, 3, l, -1 in decreasing order.
l, 3, -1, -7
Let s = 5369 - 5369. Sort 13, s, -6.
-6, s, 13
Suppose -l = 5*s - 6, 0 = -0*l - 5*l + 5*s - 30. Let k(y) = -10*y**3 - 3*y - 4. Let c be k(-1). Suppose 2*v - 3 = -c. Put v, -2, l, 4 in descending order.
4, -2, v, l
Suppose -40 = -j + 7*x, -4*j + 81 = -x + 56. Let h = -3 + 1. Sort h, 2, 37, j.
h, 2, j, 37
Let s = -6992 - -7018. Sort 4, -58, -0.2, s, 3 in increasing order.
-58, -0.2, 3, 4, s
Suppose -91 + 85 = -2*d. Suppose -6*u - 185 = -5*a - d*u, -4*u = -5*a + 190. Put a, -2, -1, -4 in decreasing order.
a, -1, -2, -4
Let s = -18 - -21. Let l = -18.2 + 60. Let y = 42 - l. Put y, s, -2, 2/5 in descending order.
s, 2/5, y, -2
Suppose 3*y - 2*h - 8 = 0, 0 = y + 204*h - 202*h + 8. Put y, 71, -3, -62, 3 in ascending order.
-62, -3, y, 3, 71
Let l be (31 + -21 + -5 + -5)/(-4 - -5). Let g be -3 - -6 - (1 - 2). Put g, 3, l in descending order.
g, 3, l
Let l(z) = 3*z + 5. Let y be (-101)/(-202) - (1 + 22/(-4)). Let s be l(y). Sort 2, -4, s in descending order.
s, 2, -4
Let l be (0 - 15/(-6))*2. Suppose -q - 3 = -5*c + 4, -3*q - l*c + 19 = 0. Let y(p) = -p**2 + 290*p - 5139. Let a be y(19). Sort 5, a, q in ascending order.
q, 5, a
Let u(v) = v**3 + 10*v**2 - 17*v + 59. Let m be u(-11). Suppose -w = -123 + m. Sort 8, 4, w, -9 in decreasing order.
8, 4, w, -9
Let l = 10382 + -10381. Sort l, -43, 4, -1, -2.
-43, -2, -1, l, 4
Let g be 6/(-1)*(-1)/6. Suppose 0 = -f - 2 - g. Let w(z) = -54*z - 1675. Let h be w(-31). Put -4, h, f in increasing order.
-4, f, h
Let b(k) = k**3 - 23*k**2 - 76*k - 53. Let c be b(26). Put c, -36, -4 in decreasing order.
c, -4, -36
Suppose 3*d - 164 + 29 = 0. Suppose 32*u - 51 = d. Put -129, u, 2 in decreasing order.
u, 2, -129
Suppose 0 = -4*b + 4*p - 3*p + 55, 0 = 4*p - 4. Sort -5, b, 8 in decreasing order.
b, 8, -5
Let u(c) = 4*c - 17. Let k be u(5). Suppose 0 = k*w + w - 12. Suppose -q - o - 8 = -0*q, 4*q - w*o = 3. Sort q, -2, -14.
-14, q, -2
Let r(b) = 0*b**3 + 208 + 177 + 18*b**2 - 423 + 4*b - 2*b**3. Let i be r(9). Let p = 5 + -13. Sort i, p, -5 in increasing order.
p, -5, i
Let w be 57/285 + (-18)/40. Let r be (-1 + 2)*(-50)/10. Let n = -0.3 - 0.2. Sort w, n, -0.4, r in decreasing order.
w, -0.4, n, r
Let s = 8 - 8.3. Let q be 106/130 + (-46 - -45). Let l = q + -27/65. Sort -2/3, s, l in increasing order.
-2/3, l, s
Let l(t) = -t**3 + t**2 - t. Let h be l(0). Suppose 8 = -h*y - 2*y. Let r be (-13)/3 - y/(-8)*-4. Put -0.5, 1, r in descending order.
1, -0.5, r
Let d = 0.52 - -3.88. Let t = 14.6 - 16. Let g = t + d. Sort 5, 2, g.
2, g, 5
Suppose -151*o + 4050 - 1625 = -5578. Suppose -x = 3*x - 48. Suppose 3*b + 13 = -t + 6*b, -t - 2*b + x = 0. Sort -4, t, o in ascending order.
-4, t, o
Let l be (-1)/(-2) + (-3)/2. Let b be 40/25*((-7)/(-2) - (-534)/(-89)). Suppose -5*q = i - 5, 3*q + 2*i - 3 = -0*q. Put q, b, l in ascending order.
b, l, q
Let p = 0.5 + -1.5. Let x = 318.3 + -6.3. Let z = -307 + x. Sort z, p, 5/4, 2/11 in increasing order.
p, 2/11, 5/4, z
Let y = -211 - -207. Sort y, 0, -1179 in decreasing order.
0, y, -1179
Let k = -8062 - -8067. Let m = -2 - -1. Sort m, k, 4, -2.
-2, m, 4, k
Let g be 2 + 20/(-12) + (-69)/(-9). Suppose -12 = g*i - 4*i. Let k be -4 + (0 - (-2 + 2)). Put k, 3, i in descending order.
3, i, k
Let f = 11 - 53/5. Let g be (-77)/(1001/(-2)) - 1/(-13)*11. Put 6/5, f, g, -1 in increasing order.
-1, f, g, 6/5
Let d = 2570.57 + -2584. Let o = d - -24.37. Let f = o + -11. Sort -3, f, -1/4.
-3, -1/4, f
Suppose 34 = 43*c - 45*c. Let f be 2/c + (78/(-204) - 0). Sort 0, f, -23.
-23, f, 0
Let y = 83 - 86. Suppose 0 = -4*q - p - 70, -q - 5 = -3*p + 19. Let d = 16 + q. Put 3, 1, y, d in descending order.
3, 1, d, y
Let v be 0 + -1 + 93345/102765. Let j = v + 6/221. Sort j, 10, 1/2, 2/5.
j, 2/5, 1/2, 10
Let d = 7146 + -7153. Put -378, 4, 5, 1, d in ascending order.
-378, d, 1, 4, 5
Let h = 93.7 + -93.2. Sort h, -1/8, -1/4 in decreasing order.
h, -1/8, -1/4
Suppose 12*k - 24 = 10*k. Suppose -4*v + k = 0, -5*v + 27 = -4*p - 0*v. Let x(u) = u**2 - 9*u - 14. Let n be x(10). Put n, p, 9 in ascending order.
n, p, 9
Suppose 129 - 17 = 16*q. Let c = 284 - 279. Sort c, 4, q in ascending order.
4, c, q
Let t(z) = z**3 - 10*z**2 - 10*z - 15. Let x be t(11). Suppose -122 = 29*n + 9*n - 46. Suppose 3*k + 12 = 6*k. Sort k, x, n in descending order.
k, n, x
Let m = -58 