t i be (2 - d) + 7/5. Sort -1, i, 0 in decreasing order.
i, 0, -1
Let u(m) = m + 24. Let a be u(-26). Put -5, a, -4 in increasing order.
-5, -4, a
Suppose -3 = 2*y + s + 2, -4*y = 4*s + 20. Suppose 3 = -2*g - g. Sort g, y, 2.
g, y, 2
Let x = -20/9 - -26/9. Put -3/5, 0.4, x in decreasing order.
x, 0.4, -3/5
Let z(y) = -y**2 - 3. Let x(t) = 4*t**2 + 10. Let b(d) = 2*x(d) + 7*z(d). Let m be b(-1). Suppose m = -q + 6*q - 20. Put -4, 1, q in decreasing order.
q, 1, -4
Let a = -0.3 + 0.8. Suppose p - 79 = 3*c, -6*c = -2*c - 16. Let q = p + -457/5. Sort a, 4/7, q in increasing order.
q, a, 4/7
Let l = -39 + 34. Put 5, 4, l in descending order.
5, 4, l
Suppose -r = 4*g + 3, -2*r + 4*r = 4*g - 42. Let a be ((-1)/r)/(18/(-45)). Sort a, 4, 5 in decreasing order.
5, 4, a
Let p be 4/(-18) + 93/54. Let w be 2/(-3)*(-3)/7. Put p, w, 3 in ascending order.
w, p, 3
Let j = -5/132 + -169/2508. Let o = 1 + 0. Let c = o - 1. Sort j, c, -4 in decreasing order.
c, j, -4
Let r(p) = p - 9. Let d be r(12). Let o be (-4)/(-2)*(-6)/4. Sort o, -5, d.
-5, o, d
Let s = -135 + 543/4. Sort -5, s, -2, -0.8 in decreasing order.
s, -0.8, -2, -5
Let z = -76 + 80. Put z, -2/9, 2 in increasing order.
-2/9, 2, z
Suppose -r = -3*r + 12. Let u be ((-6)/(-9))/(16/r). Let f = 193/140 + -5/28. Put u, 5, f in descending order.
5, f, u
Let k = 78 + -82. Sort k, 3, 2, 3/7 in decreasing order.
3, 2, 3/7, k
Let w be -5*1/1*1. Let u(m) = m - 11. Let l be u(13). Sort w, l, -1 in descending order.
l, -1, w
Let d be -2*(2/(-1) - 72/(-30)). Put -7, 5, d in descending order.
5, d, -7
Let i be 2/7 - (-3)/(-84). Let v(k) = -k**2 - 8*k - 11. Let f be v(-6). Put i, f, -3 in descending order.
f, i, -3
Let n be -3 + 3 - 1*-4. Let z be n + 52 + 1 + -1. Let f = -170/3 + z. Put f, 0.2, -1/6 in descending order.
0.2, -1/6, f
Let y = 11 - 13. Let l = -15 - -14.5. Sort -1/4, l, y.
y, l, -1/4
Suppose 2*a = a - 1. Sort -3, a, 0 in increasing order.
-3, a, 0
Let f be -5*(2 + -4 - -1). Let d be (-12)/(2*-2) - 7. Sort f, 1, d in decreasing order.
f, 1, d
Let d(h) = -2*h + 7. Let r be d(5). Let y(t) = -t**3 + t**2 - 3*t + 3. Let g be y(3). Let j be (2/(-6))/(2/g). Sort 2, r, j.
r, 2, j
Let g = -61/3 + 20. Sort 0.5, 4, g in ascending order.
g, 0.5, 4
Suppose 0 = 4*b - 3 + 11. Let z be (0 + -1)/(-1) - b. Suppose z*m + 12 = -m. Sort -1, m, 0 in increasing order.
m, -1, 0
Let b be (0 - -1)/(-2 + -5). Let v = 20 - 25. Sort b, -1/3, v in decreasing order.
b, -1/3, v
Let z be 15/9 + -3 + (-10)/(-3). Put -1, z, 1, -2 in increasing order.
-2, -1, 1, z
Let s = -7.88 - 0.12. Let f = 7.6 + s. Sort f, 0.2, 0.
f, 0, 0.2
Let p be 1/2*(3 - 1). Let g = 18 + -13. Sort p, g, -2 in descending order.
g, p, -2
Suppose -4*y + 0*y = 20. Let m be 5 + 51/(-6) + 3. Put y, 1, m in increasing order.
y, m, 1
Suppose -5*c + 5 = 0, -l + 5*c - 2 - 4 = 0. Let j = l + -2. Let d = -3 - -2. Put d, 5, j in decreasing order.
5, d, j
Let x = 22 + -11. Suppose -f - 2 = c, 3*c + x = 4*f + 40. Suppose 0 = -5*d - 4*b + 28, 0 = 2*d - b - 3*b. Put d, f, 2 in increasing order.
f, 2, d
Let r be (-2)/8 + 66/(-24). Put 3, r, -13 in descending order.
3, r, -13
Let c be (-7 - -6)/(26/(-4)). Let m(z) = -z. Let a be m(6). Let t be 6/4*a/(-27). Put t, 0.5, c in decreasing order.
0.5, t, c
Suppose -4*f = 2*s + 14, -5*s - 9 = 4*f - 4. Sort f, 5, -1 in decreasing order.
5, -1, f
Let l = 1 - 1. Put -17, -0.4, l in increasing order.
-17, -0.4, l
Let r(s) = -s**2 - 12*s - 12. Let f be r(-11). Sort f, -3, -5 in decreasing order.
f, -3, -5
Let r = 0.9 - -0.1. Let l = 3 + -4. Let k = l + r. Sort k, 5, 0.4.
k, 0.4, 5
Let x = -7.454 - -0.054. Let q = 7 + x. Put -3, 2, q in ascending order.
-3, q, 2
Let t = -13/150 + -2/25. Sort -3, -1, t in ascending order.
-3, -1, t
Let i(b) = -b**3 + 8*b**2 + b - 6. Let p be i(8). Let q = -4 + p. Suppose -4*c = c + 25. Sort -3, c, q in descending order.
q, -3, c
Let c be (0 - 2) + 1 - 0. Let p = 23.8 - 22. Let m = -0.2 - p. Put -5, m, c in ascending order.
-5, m, c
Let b = -21.8 + -0.2. Let l = -22.7 - b. Sort l, 0.1, 5 in decreasing order.
5, 0.1, l
Let z(v) = -v + 17. Let c be z(13). Sort -1, c, 1.
-1, 1, c
Let v be -1*1*(-7 + 11). Let h(f) = f - 4. Let z be h(3). Sort z, 5, v in descending order.
5, z, v
Let o be 20/(-9) - (-6)/27. Suppose 2*n - 3*n + f - 2 = 0, 2*f - 4 = 3*n. Sort n, -4, o in decreasing order.
n, o, -4
Let g be (-3)/(-30)*54 - 5. Put g, 4, 4/9, -5 in descending order.
4, 4/9, g, -5
Suppose -3*f - 9 = 4*w + 9, 2*f - 11 = 5*w. Sort -3, f, -6 in descending order.
f, -3, -6
Let n(i) = -i**3 + 7*i**2 - 5*i - 1. Let q be n(6). Suppose q = l + 2. Sort l, -3, -4 in ascending order.
-4, -3, l
Suppose -2*v - 7 + 1 = a, 0 = -5*a - 20. Suppose 4*p + 8 = 104. Suppose p = 5*u - b, 3*b = -2*u + 5*u - 12. Put u, 3, v in increasing order.
v, 3, u
Let s be 0*(-2)/(-8)*1. Put -2, s, -5 in increasing order.
-5, -2, s
Let m = 0.1 + -0.1. Suppose 0 = 7*k - 3*k - 28. Suppose 2 = -5*i + k. Sort -2, i, m.
-2, m, i
Suppose 354 - 87 = -2*o - 3*w, 2*w = 4*o + 558. Let s = o + 964/7. Sort -5, -0.1, s.
-5, s, -0.1
Let i = 1 + -1.2. Let o = -0.08 + -6.92. Let t = 6 + o. Put -1/7, i, t in increasing order.
t, i, -1/7
Suppose 0 = 4*d - 22 - 10. Let i = d - 6. Suppose 8 - i = -3*l. Put -5, 2, l in descending order.
2, l, -5
Suppose -5*k = f + 13, -1 = -5*f - 5*k - 6. Suppose -5*j = l + 18, f*l - 4*l = 6. Let q be j*(1 + -2 + 2). Sort -2/11, 4, q in descending order.
4, -2/11, q
Suppose 0 = -17*b + 20*b + 33. Put -2, b, 4, 2 in ascending order.
b, -2, 2, 4
Let p be -6 + (3 - 2/(-2)). Sort p, 3, -1, 1.
p, -1, 1, 3
Let b be ((-6)/9)/(4/6). Let i be 5/((3 + -2)*b). Let p be i/2 - 1/2. Sort -1, p, 1 in ascending order.
p, -1, 1
Let u = -2 - -8. Let n = 6.1 - u. Let o = n - -0.1. Put o, -3, -2 in descending order.
o, -2, -3
Let j be 0 + 0 + 4/6. Sort 2/15, j, -4.
-4, 2/15, j
Let o be (-12)/16 - (-5)/(-20). Put 0, o, -2 in decreasing order.
0, o, -2
Let h be ((-10)/(-4))/(5/(-10)). Sort 3, -3, h in increasing order.
h, -3, 3
Suppose -4*x + 14 = -2*c, 7*c = -2*x + 3*c + 22. Sort x, -2, -4, 1 in decreasing order.
x, 1, -2, -4
Let r = 4.35 + -0.35. Let t = 15 + -4. Let m = 7 - t. Put m, -2, r in descending order.
r, -2, m
Suppose 7*f - 4 = -11. Sort 4, -0.5, f in increasing order.
f, -0.5, 4
Suppose -61 - 179 = -4*g. Let s be 2*(g/28 + -2). Sort s, 5, 3 in ascending order.
s, 3, 5
Let m be 2/8*20/3. Let u be 3/(-2)*(-36)/(-27). Put 5, m, u in increasing order.
u, m, 5
Let t be (0/2 - -1) + (1 - -1). Sort 4, t, 2, -4 in decreasing order.
4, t, 2, -4
Suppose -15 = -3*c - 2*c. Let r = -13/4 + c. Sort -0.4, 0.4, r.
-0.4, r, 0.4
Let p(h) = -h. Let a be p(2). Suppose 2 = -2*r + 4. Let c be (-3 + 2 + -2)*r. Put 5, c, a in ascending order.
c, a, 5
Let r(o) = -2*o**2 - 4*o + 1. Let a be r(-3). Sort -4, -3, a in descending order.
-3, -4, a
Let g = -41 + 38. Sort -4, g, 5 in descending order.
5, g, -4
Let b(s) = -s**2 + 24*s + 4. Let k be b(24). Suppose -4*p = 3*i + 13, -p - 3*i - 3 = -2*i. Put 5, p, k in ascending order.
p, k, 5
Let b be (-4)/10*-1 - (-16)/(-65). Put -1, -2, b in ascending order.
-2, -1, b
Let r = 169 - 164. Sort r, -7, -4, 3 in descending order.
r, 3, -4, -7
Suppose -3*l + 12 = l. Let p = -0.3 - -0.5. Let r = -3 + -2. Sort p, r, l in increasing order.
r, p, l
Let a = -5 + 22/5. Let r(n) = -n - 7. Let u(j) = j + 4. Let y be u(-7). Let k be r(y). Sort 3, a, k in decreasing order.
3, a, k
Let x = 1.2 + -0.2. Let v = -0.01 - 1.99. Let i = x - v. Put -2, i, -3 in increasing order.
-3, -2, i
Let x = -7.7 + -2.3. Sort -0.4, 2, x.
x, -0.4, 2
Let q(f) = 5*f**2 - f + 1. Let s be q(1). Suppose -8*y + s*l = -3*y, -3*l + 15 = 2*y. Put y, -4, 0 in descending order.
y, 0, -4
Let h = -420.07 + 424. Let a = h + 0.07. Let z(o) = -o**2 - 3*o - 2. Let w be z(-3). Put 1/2, a, w in descending order.
a, 1/2, w
Let a = 24 + -22. Sort 0, 4/3, 1, a in ascending order.
0, 1, 4/3, a
Let d = 0.5 - -3.5. Let x = -0.03 - -2.03. Sort d, -3, x in decreasing order.
d, x, -3
Let p = -0.057 - -0.257. Let w = -47 + 187/4. Put -2, w, p in ascending order.
-2, w, p
Let w = 0.24 - 0.54. Sort 0.1, w, 0.07.
w, 0.07, 0.1
Suppose -5*k + 8 = -3*k. Suppose g = 2*s + 5 + 7, 0 = 4*g - 8. Let u be (-2 - 3)*2/s. Sort k, 3, u.
u, 3, k
Suppose 4*f - 10 = -f. Suppose -3*y + 9 = x - 4*x, -f*y - 10 = 2*x. Let