et k = 3.972 + -4. Let r = k + 4.928. Let s = 5 - r. Put 2/13, s, -2 in descending order.
2/13, s, -2
Suppose 2*y - 2*s + 18 = 0, -4*y - 37*s + 42*s = 41. Put 0, -2.1, 0.47, y in ascending order.
y, -2.1, 0, 0.47
Let r = 0.2433 - -0.0567. Let v = -4 - -3. Suppose 0 = 2*n - 2 - 4. Put n, r, v in descending order.
n, r, v
Let o = -2 - 1. Let g be 5 - o/(1 + 2). Let r be g/8 + 1/(-4). Put 1, r, -0.1 in decreasing order.
1, r, -0.1
Let j = 22 + -22.3. Let a = 0.41 + -0.01. Let l(c) = -2*c - 6. Let h be l(-4). Sort j, h, a.
j, a, h
Let a = 0 - 0. Let h be ((-6)/4)/(-3)*(2 - 2). Suppose -6*k - 6 + 18 = h. Sort k, -4/13, a in increasing order.
-4/13, a, k
Let x be -23 - (1/((-4)/12) + -2). Sort 0, x, 1 in decreasing order.
1, 0, x
Let z = 109 + -107. Suppose -t + 2*x = -0*t - 3, 2*x = z*t - 8. Sort 0, -1, t in descending order.
t, 0, -1
Suppose 0 = -f + 6. Let u be -1*2/7 - 3/14. Sort 5, 1, u, f in increasing order.
u, 1, 5, f
Let l = 7460/11 + -678. Sort 3, -10/3, l in descending order.
3, l, -10/3
Let t = 40 - 12. Suppose 17*f - 264 = t*f. Sort -4, 4, f in ascending order.
f, -4, 4
Suppose 5*m - 3*z = m + 3, 1 = -z. Let h = m - 2. Suppose w + 20 = -5*y + 2, 3*y - 18 = 3*w. Put h, 0, w in increasing order.
w, h, 0
Suppose 7*y = 5*y. Suppose 0 = -d - 2*k, 10*d - 15*d - 15 = -5*k. Sort y, d, 5, 2 in decreasing order.
5, 2, y, d
Suppose k + 3*k + 5*j = -23, 0 = 3*k + 5*j + 21. Sort 18/11, -1.1, k in ascending order.
k, -1.1, 18/11
Let i = 0.582 + 0.008. Let b = i + 0.41. Sort b, -3, 2/3.
-3, 2/3, b
Let s = -0.022 - 0.478. Put 9, 0.4, s, -3/4 in descending order.
9, 0.4, s, -3/4
Let q = 0.7 - -0.3. Let l = 191.5 + -159. Let p = l - 33. Sort -4, q, p.
-4, p, q
Let x be -1 - 2*(-7)/2. Let u be (6/(-4))/(9/(-120)). Let c = u - 21. Put 0, c, x in descending order.
x, 0, c
Let x be (1 + 4/(-12))*9. Suppose 0 = x*l - 2*l - 8. Put 4, l, -2 in ascending order.
-2, l, 4
Let b = -70294/87 - -808. Let t = 6 - 5.5. Put b, 1/4, -0.1, t in ascending order.
-0.1, b, 1/4, t
Suppose 3*o = -4*v - 2*o - 45, v = -3*o - 20. Let r be -1 - 1/((-26)/30). Put v, 2, r in ascending order.
v, r, 2
Let i = -27 + 25. Let l be (-1 - i)/(1/2). Sort -2, l, 1, -4 in ascending order.
-4, -2, 1, l
Let x be (-28)/(-154) + (-116)/154. Let t be (-3)/(-10)*2/12. Sort t, -5, x.
-5, x, t
Let d be ((-3)/21)/((-5)/(-10)). Put 7, d, -0.2, 1/6 in decreasing order.
7, 1/6, -0.2, d
Suppose 3*d = -10 + 7, -3*d = 3*r + 3. Sort 40, 2, -1, r in descending order.
40, 2, r, -1
Let k = 0.069 - -2.731. Let i = -3.3 + k. Put 0.1, -17, i in decreasing order.
0.1, i, -17
Let h be 0/(3 + 5/(-1)). Suppose 2*z = h, 9 = -3*r - 5*z - 3. Sort r, 2, 5 in ascending order.
r, 2, 5
Suppose v - 6*f + 32 = -7*f, -2*v - 66 = 3*f. Sort v, 4, -2, -1 in ascending order.
v, -2, -1, 4
Let q = 18 + -32. Let a = 21 + q. Suppose 0 = a*k + 12 + 23. Put 5, k, 2 in ascending order.
k, 2, 5
Let o be (0 - -2) + (8 - 13). Put -11, o, 0 in decreasing order.
0, o, -11
Suppose -5*n = -2*j - 12, -4*j - 80 = 6*n - 2*n. Suppose 8 + 36 = -4*x. Let l = j - x. Sort 0, 3, l in decreasing order.
3, 0, l
Let m = 223/6 + -73/2. Put m, -380, -1/6 in increasing order.
-380, -1/6, m
Let l = -497/8 - -62. Let a = 23.1 + -24. Let y = a + 1.9. Sort y, -5/3, l in descending order.
y, l, -5/3
Let r = 50.4 + -24.6. Let z = r - 26. Sort -3, -4, z.
-4, -3, z
Let a = -6.79 + 5.29. Sort 4, 14, a in ascending order.
a, 4, 14
Suppose 2*s = s - 1. Let f be (44/(-77))/(2/(-7)). Sort s, f, -2 in increasing order.
-2, s, f
Suppose -5*s = 3*g + 23, -3*g - 15 = 2*s + s. Let c(b) = -b**2 - 14*b - 11. Let a be c(-13). Let k be (-6)/4*a/(-3). Sort k, -2, g in ascending order.
-2, g, k
Let z = -230.2 - -229. Let v = -1.3 + -0.7. Sort v, z, -0.4 in ascending order.
v, z, -0.4
Let n = 281 + -279. Sort n, -4, 8/9 in descending order.
n, 8/9, -4
Let o be (-1 + -8 - -4)/(1 - 2). Suppose -5*n = 2*p + 53, 3*n + p + 31 = -0*n. Let x be ((-2)/(-3))/(n/(-27)). Sort o, x, -4 in increasing order.
-4, x, o
Let h be (3 - 7/2)*-2. Let j be -7 + 7 - 3*h. Sort j, -2/25, -4 in descending order.
-2/25, j, -4
Let i = 33003/35 + -943. Sort -1, 6, i, -1/9.
-1, -1/9, i, 6
Let d be -4 + 18/36 + (-10)/(-4). Let k(x) = x**3 - 5*x**2 - 6*x + 2. Let g be k(6). Suppose -20 = g*q - 7*q. Sort 3, d, q.
d, 3, q
Suppose 64*d - 69*d + 5 = 0. Put d, -5, 27, 4 in ascending order.
-5, d, 4, 27
Let z = 258 + -254. Sort 9, -3, 1, z in decreasing order.
9, z, 1, -3
Let c = -497 + 501. Suppose 2*g - 3 = 3. Let t be -5 + (-3)/((-6)/4). Sort c, g, t in decreasing order.
c, g, t
Let m(r) = -r**3 - 8*r**2 + 9*r + 2. Let n be m(-9). Let f be (0 - n/(-6))*-6. Let y = 6 + -4. Put y, f, -5 in descending order.
y, f, -5
Let j(q) = 30*q**2 - q - 5. Let c be j(5). Suppose g - c = 6*g. Let k be -1 - 2 - g/52. Sort -2/11, k, 0.4.
-2/11, k, 0.4
Suppose 5*f = 2*f. Suppose -5 = -5*o + 2*c + 3, -4*o - 2*c + 10 = f. Let r(d) = -d**2 + 3*d - 4. Let t be r(3). Sort o, 5, t in descending order.
5, o, t
Let g = 2119 + -2114. Put -5, -142, g, -3 in descending order.
g, -3, -5, -142
Suppose 2*j + 0*g = 3*g - 9, -1 = j + 2*g. Let m = 224 + -223.8. Put j, 0.5, -1, m in decreasing order.
0.5, m, -1, j
Suppose 162 - 84 = 26*f. Let z be 1/((-2)/(-2))*-2. Put f, 4, 0.2, z in increasing order.
z, 0.2, f, 4
Let c be -2*1 - 63/(-45). Let y = 18.17 - 1.57. Let x = y + -17. Sort -0.1, c, x in decreasing order.
-0.1, x, c
Let y(r) = -r**3 - 7*r**2 + 8*r + 10. Let b be y(-8). Let l(c) = c**2 - 9*c - 8. Let i be l(b). Suppose -1 = i*f + 3. Sort f, -1, -4 in descending order.
-1, f, -4
Let b(s) = -s**3 + 2*s**2 - 1. Let i be b(2). Let u be (-3)/i + 2/(-4). Sort u, -1, 0.01 in descending order.
u, 0.01, -1
Let o(t) = -t**2 + 9*t - 10. Let u be o(7). Suppose -f - 3*d + 16 = -0*d, 0 = -u*f + 5*d + 30. Let q be (f/(-4))/((-1)/2). Put q, 4, -2 in decreasing order.
q, 4, -2
Let r be 3/6*1*2. Suppose -9*m + 13*m = -4*y, y = 3*m + 32. Sort r, -0.2, y.
-0.2, r, y
Let q(r) = -2*r - 18. Let s be q(-7). Let g be (-1 - 0)*(s - -6). Sort -1, -6, g.
-6, g, -1
Let c(o) = o**3 - 7*o**2 - 12*o + 32. Let t be c(8). Sort 3, 5, t in decreasing order.
5, 3, t
Suppose -102*h - 333 = 9*h. Sort h, -100, -4 in descending order.
h, -4, -100
Suppose 0 = 2*r - 4, 2*t + 2*r = 3*r + 8. Suppose 3*g + 12 = -3*b, -b = 4*g + 2*b + 12. Sort g, -2, t in descending order.
t, g, -2
Let d = -260 + 266. Let p = 1 + -3. Sort p, d, -0.2 in ascending order.
p, -0.2, d
Suppose 0 = -5*w + w. Let n = 226 + -214. Suppose -n*l + 17 = -29*l. Sort l, -11, w in descending order.
w, l, -11
Suppose 0 = 5*d + m + 2*m + 6, 8 = 4*d - 4*m. Sort 2, -3, 5, d in increasing order.
-3, d, 2, 5
Let h = -1.79 + 5.38. Let s = 3.4 - h. Let l = 4.19 + s. Put 2/7, l, -1 in increasing order.
-1, 2/7, l
Let t = 70 - 50. Suppose 5*d + t = -0*d. Let l = -0.1 - -0.6. Put 3/4, d, l in descending order.
3/4, l, d
Let g(l) = -l + 4. Let d be g(-11). Suppose 3*r + 0*r = d. Suppose -r*h = -3*t + 3 + 5, -5*t - 8 = -3*h. Sort 2, h, 0.
h, 0, 2
Suppose 0*q = -3*q - 24. Let y(k) = k + 9. Let n be y(q). Suppose -c + 0 = -3. Sort c, -4, n in ascending order.
-4, n, c
Let y be 1*-1*29*(-4)/(-4). Let p = y + 31. Let s(a) = a. Let c be s(-1). Sort c, p, -5.
-5, c, p
Let q = 2235.841 - 2233. Let u = q - -0.159. Sort -6/5, 5, u in descending order.
5, u, -6/5
Let j(c) = 2*c - 9. Let r be j(5). Let h = 44 - 16. Let s = 30 - h. Sort r, 3, s in ascending order.
r, s, 3
Let r = -2635/2 + 1317. Put -7, r, -2/15 in decreasing order.
-2/15, r, -7
Let z = 19 + -19. Suppose 2*v + z + 2 = 4*p, 5*v - 7 = 4*p. Suppose 0 = -2*o + 2, -2*a + o = 3*a + 81. Sort a, v, -5 in descending order.
v, -5, a
Suppose -4*f - 48 + 58 = 5*w, f = 0. Sort -1, 3, w in ascending order.
-1, w, 3
Let p = 2.5 - 1.5. Let y = 3 + 0. Let d = -2 - y. Sort d, -0.5, p in increasing order.
d, -0.5, p
Let p = 21.8 + -24. Let k = -1.9 - p. Sort -7, 0.1, k.
-7, 0.1, k
Suppose 11*m + 2 = 10*m. Let t be (m/(-5))/(9/(-15)). Let z = -0.8 + -0.2. Put 5, z, t in ascending order.
z, t, 5
Let y = 20 - 17. Let j = -0.086 - 0.814. Sort j, -0.3, -0.4, y.
j, -0.4, -0.3, y
Let g(u) = u**2 + 8*u - 11. Let i be g(-10). Let s(n) = n - 2 + 0 + i. Let l be s(-7). Sort -3, l, -4 in decreasing order.
l, -3, -4
Let l(x) = 4*x - 13. Let o be l(4). Suppose 0 = -4*z - o*a + 8, 0 = 2*z + 4*a - a - 4. Sort z,