 = 2 - 2. Let t be 0 + (-1 + k - 1). Sort t, -4, j in increasing order.
-4, t, j
Let k = -740/9 - -82. Let n = -1.6 - 0.4. Sort n, -0.2, k in ascending order.
n, k, -0.2
Let r be (3 - (-1 - -1)) + 1. Suppose -r + 5 = -a. Sort a, 2, -2.
-2, a, 2
Suppose 2*u - 4*y = -2 - 4, 5*y = 2*u + 7. Suppose -5*q = -2*k - 9, -2*q = -q - k - 3. Put 1/4, u, q in descending order.
q, 1/4, u
Let p = 4 + -4.4. Let u = 0.08 + -0.06. Sort u, -2/9, p in descending order.
u, -2/9, p
Suppose -4*m + 0*m = 3*r - 7, -3*m = 5*r - 19. Suppose 0 = -0*v - 3*v - 9. Let t(x) = -x**3 - 2*x**2 + 2*x + 1. Let y be t(v). Sort y, m, -3.
-3, m, y
Suppose 0 = 3*i + 3*b, -3*i - 3*b = b. Let y = 229 + -224. Sort 2, y, i in descending order.
y, 2, i
Let d be ((-3)/(-9)*-2)/3. Sort 1, d, 2/11.
d, 2/11, 1
Let z be (-2 - -1)/((-3)/(-18)). Sort 2, z, -1 in decreasing order.
2, -1, z
Let t be 6/9*2/(-8). Sort 0, t, -15 in decreasing order.
0, t, -15
Let w = -0.06 - 0.14. Let z = -15 + 15.11. Let p = -4.11 + z. Put w, p, 2 in decreasing order.
2, w, p
Suppose 4*c + a = -0*c + 11, -c = a + 1. Sort -23, -3, c in decreasing order.
c, -3, -23
Let r = -0.22 + 0.42. Suppose 0 = 3*o + 13 + 2. Put r, 0, o in ascending order.
o, 0, r
Let o = -4.67 + -0.33. Sort -1/4, o, -8 in ascending order.
-8, o, -1/4
Let u(i) = -i - 10. Let d be -3 + 3 + -10 + -1. Let o be u(d). Let p be (2 - 4) + (o - -2). Sort -1, p, -0.1 in decreasing order.
p, -0.1, -1
Suppose 2*g - 4*g = 0. Suppose 5*k = k + 104. Suppose -k = -5*o - 1. Sort g, o, -2.
-2, g, o
Let x(t) = t**2 + 4*t. Let s be x(-3). Sort 10, s, -4 in ascending order.
-4, s, 10
Suppose -7 = -6*m + 23. Sort -1, m, 4, -4 in descending order.
m, 4, -1, -4
Let g = 1 + 0. Suppose 6 = 3*t - b, 5*t - b - 8 = 2. Let c = 1 - -2. Put t, c, g in decreasing order.
c, t, g
Suppose -18*b = -13*b - 5. Put 6, 5, 2, b in decreasing order.
6, 5, 2, b
Let p = 18 + -9. Let f = -7 + p. Sort 0.2, -4, f in descending order.
f, 0.2, -4
Let h = -0.5 + -6.5. Let w = -6.5 - h. Put 0.3, -0.1, w in descending order.
w, 0.3, -0.1
Suppose 3 + 5 = 4*k. Let z(s) = -s**3 + 4*s**2 + s - 2. Let j be z(k). Let i be j/(-20) - 17/(-5). Put -1, i, -4 in descending order.
i, -1, -4
Let w be ((-2)/4)/((-4)/16). Let f be (-32)/3*9/6. Let d be (-2)/(2 + f/10). Sort w, d, 0 in ascending order.
d, 0, w
Let h = -3.2 - 0.8. Let u be 5/(-2)*(-6)/25. Sort 1, u, h in increasing order.
h, u, 1
Let z be -2*(-3)/(-2)*-1. Put 4, -4, -3, z in decreasing order.
4, z, -3, -4
Suppose -s = -2 - 1. Suppose -d + 2 - 1 = 0. Suppose 5*x + 5*v = -11 + d, 0 = x - 3*v + 10. Sort x, s, 1 in decreasing order.
s, 1, x
Let h(s) = 2*s - 5*s + 2*s + 0*s. Let u be h(0). Suppose 2 = 3*d - d. Sort u, 5, d in ascending order.
u, d, 5
Let y(c) = c**3 - c + 14. Let z be y(0). Let m = z + -43/3. Sort m, -1, 3 in decreasing order.
3, m, -1
Let j = 3 + -3.3. Suppose 3*q + 0*q = -153. Let m be (-1)/(-4) + q/108. Sort 5, j, m.
j, m, 5
Let q = 11 + -6. Let u be 18/14 + (-4)/14. Sort u, q, -4.
-4, u, q
Let g = 6 - 10. Put -3, g, 2/55 in ascending order.
g, -3, 2/55
Let u(b) = 2*b - 13. Let m be u(8). Let a = 622/1435 + -1/205. Let k = -2 - 0. Put m, a, k in decreasing order.
m, a, k
Let g = -1 - 2. Suppose 5*o = i - 5, -2*i + 3 = -3*o + 14. Let z be -5*(-8)/i*1. Put g, -1, z in increasing order.
z, g, -1
Let g = -0.9 - -0.6. Let i(n) = -n - 2. Let y be i(-2). Let p be y + ((-5)/(-3) - 2). Put g, p, -2/23 in ascending order.
p, g, -2/23
Suppose 0 = -9*d + 57 - 21. Sort d, 2, -4.
-4, 2, d
Let v = 6 - 6. Suppose -d - 5 = -v*d. Put d, -4, 1 in decreasing order.
1, -4, d
Let v = -14.4 - -19.4. Let o = 1.5 + -2. Sort v, o, 0.5 in ascending order.
o, 0.5, v
Let j be (-4)/(-5)*(-10)/(-14). Let u = -1 - -2. Let z = -1.49 + 0.99. Put j, u, z in decreasing order.
u, j, z
Let o be (-2)/7 + (-516)/(-42). Let c be (o/(-8))/1 + 2. Put c, 1/4, -4 in increasing order.
-4, 1/4, c
Let s(j) = j**3 - 10*j**2 + 11*j - 22. Let d be s(9). Sort 4, -2, d in ascending order.
d, -2, 4
Suppose p + 5*s + 5 = 0, -4*s + 3*s - 1 = 2*p. Put p, -1, 3, 2 in ascending order.
-1, p, 2, 3
Let t(s) = 4*s**3 + s + 1. Let k be t(-1). Sort 5, -2, k in decreasing order.
5, -2, k
Let i = -1177/1152 + -399/128. Let x = i - -44/9. Let s = 293 + -297. Put 2, s, x in ascending order.
s, x, 2
Let q = -94 - -94. Put -9, -6, q in increasing order.
-9, -6, q
Let w(x) = x**2 + 3*x + 1. Let u be w(-4). Suppose -4*z + 0*z + 9 = 3*g, 15 = 3*z + u*g. Put -5, z, 4 in ascending order.
-5, z, 4
Suppose 0 = 2*i - 0*i. Let r(b) = b**2 + 9*b + 9. Let y = -16 + 8. Let s be r(y). Sort -4, i, s in decreasing order.
s, i, -4
Suppose 5*q - 5 = 6*q. Let i = q + 6. Let f be (6/5)/((-4)/(-10)). Put i, f, 5 in increasing order.
i, f, 5
Let d = -8/5 - -27/20. Put d, 1, 3 in descending order.
3, 1, d
Let x = 4.97 + 0.03. Sort x, -0.4, -4, 4 in descending order.
x, 4, -0.4, -4
Let f be ((-11)/(-22))/(10/(-4)). Sort -3/7, f, -0.3 in descending order.
f, -0.3, -3/7
Let b = 0 - -2. Let m = b - 1.8. Let q = m + -0.3. Sort -2, -0.3, q.
-2, -0.3, q
Suppose 2*n - n = -2. Let m = 6 + -9. Put m, n, 2 in ascending order.
m, n, 2
Let d = -98/3 - -290/9. Let l be 1 + (-2)/(-6)*-2. Sort d, 4, l in decreasing order.
4, l, d
Let q(z) = -2*z + 6. Let t(p) = -p**2 + 6*p - 4. Let v(b) = b. Let w(c) = -t(c) + 5*v(c). Let m be w(0). Let a be q(m). Sort -1, a, 5 in ascending order.
a, -1, 5
Let a(q) = q**2 - 2*q - 7. Let k be a(4). Sort 5, k, -1/2 in increasing order.
-1/2, k, 5
Let z = -247/4 + 62. Let c = -0.7 + -0.3. Sort -2, c, z in ascending order.
-2, c, z
Suppose 3*a + 4*t = 19, -3*t - t = 2*a - 14. Sort -2/11, -0.5, a, 1/2 in descending order.
a, 1/2, -2/11, -0.5
Suppose -30 = -5*x - x. Put x, -2, -4, 3 in ascending order.
-4, -2, 3, x
Let g(j) = -j**3 - 11*j**2 - 3. Suppose 5*i = -3*n - 8, -2*i = 3*n + 2 + 3. Let c be (0/(-3) - -11)*n. Let v be g(c). Put v, -2, 3/7 in ascending order.
v, -2, 3/7
Let y be -3*(1 + (-21)/24). Let n = 0.88 - 0.68. Sort n, -2/5, y in increasing order.
-2/5, y, n
Let r = 2.69 + 0.31. Put 0.4, -0.5, 0.1, r in decreasing order.
r, 0.4, 0.1, -0.5
Let n(c) = c**2 - 3*c + 2. Let l be n(2). Let m = 41 - 43. Sort m, 2, l.
m, l, 2
Suppose 0 = 4*k + 3 - 7. Suppose 5*j - 5*n - 40 = 0, 4*j = j + 2*n + 19. Sort k, j, -1 in decreasing order.
j, k, -1
Suppose 21 = 3*a - 3*s, 3*s = -a + 6*s + 7. Let b(y) = -a*y - 3 - 2*y**2 - 2 + y**2. Let j be b(-6). Sort -3, j, 4.
-3, j, 4
Let w = 16 - -2. Suppose -2*f = 5*p - w, -1 = -4*p + f + 3. Sort p, -5, 3.
-5, p, 3
Suppose -2*f = -2*b, -2*b - 6 - 4 = 3*f. Let z be ((-6)/7)/(21/(-98)). Suppose -z*p + 6*p = 8. Sort 5, p, b in increasing order.
b, p, 5
Let c = -0.48 + -0.02. Sort c, 1/6, 0.5.
c, 1/6, 0.5
Suppose -2*y + 6 = -2*m, -2*m - 3*m - 15 = 2*y. Sort m, 7, 3.
m, 3, 7
Let k be (-4)/22 + (-400)/(-22). Let l be (-2)/(-2) + k/(-20). Let m = l - -1/2. Put -0.2, m, -3/7 in decreasing order.
m, -0.2, -3/7
Suppose 9 = 2*c + 3*c - 2*o, -2*o = 4. Suppose -3*b - 5 = c. Sort 4, 3, b in decreasing order.
4, 3, b
Let k = 14 - 9. Suppose -y - 2 - 3 = l, -3*y + l = 11. Sort y, -5, k in descending order.
k, y, -5
Let l = -8.9 + 8. Sort 0.2, -0.5, l in ascending order.
l, -0.5, 0.2
Suppose 0 = l - 5*l - 28. Let d(h) = h**3 + 15*h**2 - 15*h + 12. Let i be d(-16). Let n = l - i. Sort -1, 5, n in increasing order.
n, -1, 5
Let z = -1/10 + -3/20. Let f = -0.3 + 0.2. Sort f, 1, z in decreasing order.
1, f, z
Let z(c) = -c**3 - 9*c**2 + c + 12. Let u be z(-9). Sort u, 1, 2 in increasing order.
1, 2, u
Let c be -2 - 3 - (-1 - 1). Let w(v) = v + 7. Let a be w(c). Suppose s + 4*k - 3 = 0, 0 = -3*s - k - a - 9. Sort s, 0.3, 1 in descending order.
1, 0.3, s
Let x = 22 + -18. Sort 8, x, -2 in decreasing order.
8, x, -2
Suppose 0 = 2*q + 4*l + 18, q + 0*q + 4*l + 19 = 0. Let a be (-2 + 3)/(q/(-3)). Let v(c) = c - 1. Let j be v(a). Sort -5, -3, j in ascending order.
-5, j, -3
Let s be (2/(-3))/((-8)/(-12)) - -3. Sort s, 0, 16 in increasing order.
0, s, 16
Let t be 1/(-3)*(-18)/12. Sort t, 2, -4.
-4, t, 2
Let l be 1 + (0 - (9 + -3)). Let x(r) = r + 2. Let k be x(-6). Suppose -2*p = 4*i - 7 - 7, -4*p + 25 = 5*i. Sort p, k, l in ascending order.
l, k, p
Let j = -0.1 - -0.6. Let a = -0.4 + j. Put 5, a, 4 in descending order.
5, 4, a
Let r = 0.54 + -0.9. Let u = -0.04 + r. Let q be (6/8)/((-4)/(-16)). Put