1 + (1 - 1/(-3)). Let u = -0.9 + -0.8. Let w = u + 5.7. Put t, 0, w in ascending order.
0, t, w
Suppose 4 = -2*i + 3*i. Suppose -4*o - 18 = -p, 4*o + 3*p + 24 = 7*p. Sort i, o, 1 in decreasing order.
i, 1, o
Let g = 2.4 + -2.7. Sort g, -1/3, -3/5 in ascending order.
-3/5, -1/3, g
Suppose 4*n + 18 = 2. Let z be 3*((-8)/6 - -2). Sort z, 4, n in descending order.
4, z, n
Let b = 7.01 - 7. Put 1, b, 4/5 in descending order.
1, 4/5, b
Let s = -8 + 5. Let k be 6/(-9)*(-3 + 0). Put k, s, -4 in decreasing order.
k, s, -4
Let n = -43.1 + 43. Sort n, -0.05, -1/11, -5 in descending order.
-0.05, -1/11, n, -5
Let x(r) = -3*r - 1. Let z be x(-10). Suppose -2*y + z = 1. Let c = y - 83/6. Sort c, -3, -3/4 in ascending order.
-3, -3/4, c
Let k(g) = -2*g**2 + 21*g - 15. Let z be k(10). Suppose -2*i + 2 = -4*i - 4*u, -5*u = 0. Sort 1, z, i in ascending order.
z, i, 1
Let k(n) = -3 + 5*n**3 - 2*n**3 + 2*n + 0*n**2 - 2*n**3 - 2*n**2. Let c be k(2). Put c, -2, 3 in ascending order.
-2, c, 3
Let l(s) = -s + 8. Let k be l(6). Suppose 0 = -k*r + 4*m + 1 + 3, 4*r - 2*m - 8 = 0. Suppose -2*b - r + 3 = z, 2*b = 0. Sort 2, z, 5.
z, 2, 5
Let u(n) = 2*n**2 + 13*n + 11. Let y be u(-6). Put 3, -4, y, -0.3 in ascending order.
-4, -0.3, 3, y
Let k = -3 - -2. Let w(i) = i**2 - 6*i - 1. Let p be w(3). Let j(x) = x**2 + 11*x + 12. Let z be j(p). Sort z, k, 3 in ascending order.
k, z, 3
Suppose 3*k - 2*w = -2, 5*k - 2*w + 7*w = -20. Put -3, k, -5 in descending order.
k, -3, -5
Let j = 0.422 + -0.022. Put 2, 0.5, -0.3, j in ascending order.
-0.3, j, 0.5, 2
Let c be 1 + 0 + (-6)/4. Sort -3/8, 2, -1, c.
-1, c, -3/8, 2
Let w(d) = 2*d - 7. Let l be w(5). Sort l, -3, -4 in descending order.
l, -3, -4
Let w = 87941/2 + -27701257/630. Let c = 1/35 - w. Sort 5, c, -0.5.
-0.5, c, 5
Let x = 1 + -1.3. Let g = -23 + 38. Let r = g - 10. Put -2/7, r, x in descending order.
r, -2/7, x
Let z = -5.6 - -12.5. Let m = 7 - z. Sort m, 3, -6 in increasing order.
-6, m, 3
Let k(o) = o**3 + 8*o**2 - 12*o - 24. Let u be k(-9). Sort -0.14, -4, u in ascending order.
-4, -0.14, u
Let y be (-10)/25 - 2/(-30). Put -0.5, y, 1/5 in increasing order.
-0.5, y, 1/5
Let d be 0 + -1 + 128/112. Let x = 0.4 + -0.1. Let b = x + -2.3. Sort -2/15, d, b in decreasing order.
d, -2/15, b
Let a = -4 + 7. Sort -9, 5, a in descending order.
5, a, -9
Let g = 8.8 + -9. Let m = -8.07 - -8. Let d = m + -3.93. Sort g, 3, d.
d, g, 3
Let h be ((-3)/(-4))/(2/(-8)). Suppose 4*g = 5*s + 13 - 36, 14 = 2*s - 4*g. Suppose -s*j + 14 = d, -d + 6 = -0*d + j. Put h, -2, d in descending order.
d, -2, h
Suppose -5*k = -k + 4. Let s = -0.6 - -0.3. Sort s, k, 1.
k, s, 1
Let b(n) = -n**3 + n**2 + n + 1. Let g(r) = -5*r**3 + r**2 + 12*r + 9. Let t(f) = 6*b(f) - g(f). Let c be t(3). Sort 6, -5, c in descending order.
6, c, -5
Let n = -2 - -1.9. Put -2/13, n, -2/3 in ascending order.
-2/3, -2/13, n
Suppose -8 = 5*o - 18. Put 5, o, 0 in descending order.
5, o, 0
Let y be (-1 + 2 + 0)/(9/(-45)). Sort 0, y, -9 in descending order.
0, y, -9
Let f(v) be the third derivative of v**4/24 + 5*v**3/6 - v**2. Let n be f(0). Let i(l) = -l - 2. Let h be i(3). Sort h, -2, n.
h, -2, n
Suppose 0 = -o - 2*o + 12. Suppose -h + t - 3 = 0, 0*h - 2*h + o*t - 4 = 0. Suppose 3*b - 5*b = 2*a - 4, 0 = 5*b + 10. Put -3, a, h in decreasing order.
a, -3, h
Let w be (-6)/5*(-10)/4. Suppose -v = -2*h + 4*v - 28, -3*v = w*h. Sort -1, -2/7, h.
h, -1, -2/7
Let p be ((-1)/2)/(7/56). Sort -5, 0, p in descending order.
0, p, -5
Let r(f) = -2*f + 24. Let k be r(10). Suppose 0 = j - 2*t + 7, -5*j + k*t = -t + 25. Sort -2, j, -5.
-5, j, -2
Let t be ((-36)/(-351))/((-2)/3). Sort 1/25, t, -2/3.
-2/3, t, 1/25
Let h = -0.12 - -0.15. Let x = -0.17 - h. Sort -0.3, x, -0.1 in decreasing order.
-0.1, x, -0.3
Let r(n) = n**2 + 9*n + 3. Let a be r(-9). Let g be 2/8 - (-9)/(-4). Sort g, -1/10, a in decreasing order.
a, -1/10, g
Suppose -3*s + 167 - 14 = 0. Let x be s/9 + 8/(-12). Let f be (-5 + 2 - 0)/(-1). Sort f, x, -4.
-4, f, x
Let q = 0 + -4. Let x be 2/q + (-6)/12. Sort 5, 2, x in ascending order.
x, 2, 5
Let q(t) = t**2 + 6*t - 5. Let d be q(-5). Let x be d*(3/(-6) + 1). Let r = -0.3 - -0.8. Put x, r, -4 in increasing order.
x, -4, r
Let p = 12.5 - 7.5. Sort 0.2, -4, p, -4/23 in descending order.
p, 0.2, -4/23, -4
Let f = 0.69 + -0.39. Sort -5, -1/2, f in descending order.
f, -1/2, -5
Let o = -880/7 + 126. Sort 8, 5, o in descending order.
8, 5, o
Suppose -13 = a + 4*d, -5*a = 5*d - 14 + 4. Let r = a - 4. Sort r, -2, -4 in descending order.
r, -2, -4
Suppose -16 = 4*i - u, 3*i = 3*u - 0*u - 21. Sort i, 2, 0 in decreasing order.
2, 0, i
Let v be (1/2)/((-5 - -1)/(-16)). Sort v, 5, -6.
-6, v, 5
Let m(h) = h + 7. Let t(f) = -f**2 + 2*f + 3. Let j be t(4). Let s be m(j). Let a = 1 + -1.4. Sort a, s, 1/4 in decreasing order.
s, 1/4, a
Let l = -9 + 11. Let c = -2.6 - -4.8. Let t = c - l. Put -3, -4, t in ascending order.
-4, -3, t
Let p be (-86)/(-18) - 2/(-9). Suppose -p*g - 52 = -12. Let n be 22/8 - 2/g. Put 1, n, 4 in descending order.
4, n, 1
Let x = 2 - -1. Suppose -x*v - 25 = -8*v. Sort -2, v, 2 in decreasing order.
v, 2, -2
Let q = 0.4 - 0.7. Let g be -1 + (-2 - 388/(-119)). Let f = g - -3/119. Sort f, q, 0 in decreasing order.
f, 0, q
Let r be -3 - (3 + -1 + -13). Let t(x) = -x**3 + 7*x**2 + 7*x + 9. Let k be t(r). Suppose -b = -2*s - 15, 5 = 4*s + 25. Sort k, b, -4 in ascending order.
-4, k, b
Let u = 0.1 + 0.4. Let w = -0.8 + 5.8. Let r = -8 + w. Sort 4/3, u, r in ascending order.
r, u, 4/3
Let k be (-2)/(-4)*6/9. Let o = 3 - 1. Suppose -2 = -4*h + o*p - p, -2*p - 4 = -3*h. Put k, 0.4, h in descending order.
0.4, k, h
Let n be (5/((-5)/(-2)))/15. Let d = 97 + -482/5. Sort d, -4, n in descending order.
d, n, -4
Let y = 1.1 - 1. Let u = -0.1 + y. Let z = 3 + u. Put 2, z, 4 in increasing order.
2, z, 4
Let c be (-2)/(-4) - (-3)/6. Suppose 2*z + c = 3*z. Let b(g) = g**2 + 3*g - 2. Let d be b(-3). Put 4, d, z in increasing order.
d, z, 4
Let y be 10/(-3)*(-84)/35. Let v be -3*(0 - y/156). Sort 0.5, v, 2 in increasing order.
v, 0.5, 2
Let w(q) = -3*q + 2 + 4*q - 3*q - 8. Let r be w(-5). Put -3, r, 1 in increasing order.
-3, 1, r
Let k be (-28)/(-49) - (-2)/(-7). Let r(b) = b**2 - 8*b + 8. Let o be r(6). Sort k, 5, o in decreasing order.
5, k, o
Suppose 5*b + 17 = 42. Suppose 117 = -10*f + 157. Sort b, -5, f in descending order.
b, f, -5
Let a be (2 - (-1 + 9)) + 1. Put -12, a, -4, 1 in decreasing order.
1, -4, a, -12
Let p be -2 + 1 + (-16)/(-24). Let r = -1078/9 + 120. Put -1, r, p in descending order.
r, p, -1
Let q = -5 + 7. Suppose 5*g - 12 = 2*g. Suppose -g = 3*y - y. Sort -4, q, y in increasing order.
-4, y, q
Let s(g) be the second derivative of g**5/20 + 3*g**4/4 + g**3/3 - 3*g**2 + 2*g. Let d be s(-6). Let m be 3 - 1 - d/48. Sort -2, -0.5, m in descending order.
m, -0.5, -2
Let x(t) = -t**2 + 3*t + 12. Let i be x(5). Put 1, i, 5 in ascending order.
1, i, 5
Let k = -1565/7 - -223. Let o = -124.5 + 124. Sort k, o, 4/5 in descending order.
4/5, o, k
Let i = 100 + -94.9. Let x = 32 - 27. Let n = x - i. Sort 3, n, -1 in ascending order.
-1, n, 3
Let o(r) = 2*r**3 + 2*r - 1. Let n be o(1). Suppose -2*h = n*h. Put -1, 3, h in descending order.
3, h, -1
Let f = 7 + -7. Suppose f + 3 = c. Suppose 0*v = -v - c. Sort v, -4, -1 in descending order.
-1, v, -4
Suppose -3*j + 5*g - 34 = -0*j, 2*j + 18 = g. Let n be ((-5)/(-110))/(2/j). Put n, 2, 4 in ascending order.
n, 2, 4
Let t = 6386/19 + -336. Sort -4, t, 3/4, -5.
-5, -4, t, 3/4
Let m = 23 + -22. Sort 2, -3, m in decreasing order.
2, m, -3
Let i(c) = -c - 5. Let l be i(-8). Suppose l = -5*s + 4*s. Let f = 9 - 14. Put f, s, 0 in ascending order.
f, s, 0
Let p = -0.83 - 0.17. Let i = 6.4 - 6. Let a = -13/2 + 6. Sort p, a, i in descending order.
i, a, p
Let y = -2.001 - -0.001. Put -3, 5, y, 0 in decreasing order.
5, 0, y, -3
Let z = -71 + 61. Put z, 5, 2 in increasing order.
z, 2, 5
Suppose -3*y - 54 = -5*y. Suppose -8 = 4*m, -3*t = -3*m - y - 3. Let b(p) = p - 7. Let r be b(t). Sort -0.2, r, 1/2 in descending order.
r, 1/2, -0.2
Let n = -18 + 19. Put -3, n, 0.2 in descending order.
n, 0.2, -3
Let m(a) = a**3 + 5*a**2 - 6*a - 5. Let g be m(-5). Let c be g/5 + (1 - 1). Put 0, 2/9, c in decreasing order.
c, 2/9, 0
Let p = 0 + 3. Let h = p + -4. Put