Put -1, 4, d in increasing order.
d, -1, 4
Suppose -m - 25 = 4*m. Suppose 0 = -4*i + 1 + 15. Suppose -20 = -5*k + 2*t, 0 = 2*k - k - i*t - 22. Put m, -2, k in decreasing order.
k, -2, m
Let u = 11 + -8. Let d = u - 3.2. Let c be -6*1*(-4)/(-6). Put -4/5, d, c in descending order.
d, -4/5, c
Suppose -i - 3 = -4*i. Sort i, -4, 0.3 in increasing order.
-4, 0.3, i
Let p be ((0 - 1) + (-3)/(-9))/3. Sort p, 0, 0.5, 5 in ascending order.
p, 0, 0.5, 5
Let o = 272 - 1900/7. Let n = 4.3 + -3.8. Sort -0.1, o, n in ascending order.
-0.1, n, o
Let b be 2/4*8/20*-5. Sort 8, b, -2 in increasing order.
-2, b, 8
Let l = 115 + -112. Let h = -2 - 2. Put h, l, 0 in ascending order.
h, 0, l
Let t be ((-84)/(-15) + -5)*4/18. Sort t, 4, -2/7, -2/5.
-2/5, -2/7, t, 4
Let o(f) be the second derivative of -f**3/6 - 2*f. Let s be o(-2). Sort 4, -3, s in descending order.
4, s, -3
Suppose -d - 2 = -0. Suppose 5*v = 112 - 117. Put v, 0, d in descending order.
0, v, d
Suppose -2 = n + a - 4, n + 2*a = 4. Sort -7/6, n, -1, 0.4 in descending order.
0.4, n, -1, -7/6
Suppose -l + 1 = 5. Let d be (l + 1)*(-4)/(-3). Let q be (-12)/2 - d/2. Put q, -1, 0 in decreasing order.
0, -1, q
Let i be (-2)/(-4 - (-1 - 1)). Let g be i + 4 - (-1 - -3). Sort 4, g, -3.
-3, g, 4
Let y = -0.06 - 0.34. Put y, -1, -3 in descending order.
y, -1, -3
Let x(w) = 2*w + 4. Let f be x(-3). Put -5, 4, f in descending order.
4, f, -5
Let z(u) = -u**2 - 10*u. Let t be z(-10). Let j(p) = p**2 + 6*p + 4. Let a be j(-5). Sort -2, t, a.
-2, a, t
Let q = -13.3 + 13. Suppose -3*v - 8 = 2*d + 3, -d + 5*v = -27. Let g = d + -2. Sort 1, g, q in descending order.
1, g, q
Let d be 12/10*(-50)/(-15). Sort -2, 2, d, -1 in decreasing order.
d, 2, -1, -2
Let u = 16 - 10. Suppose l - u = -l. Suppose m + 6 = 2. Sort m, -2, l.
m, -2, l
Let r be 228/40 - 4/(-2). Let x = -15/2 + r. Suppose 0 = 2*z - 5*z + 6. Sort z, x, -6/7.
-6/7, x, z
Let g be (-3)/15*(-5)/(-2). Let r = 4 + 1. Let j = -2 + -1. Sort r, g, j in increasing order.
j, g, r
Let m = 0 + 1. Suppose c - m + 2 = 0. Put c, 2, -4 in descending order.
2, c, -4
Let b = 8 - 5. Sort -2, b, 5 in descending order.
5, b, -2
Let l = 48 - 51. Put 0.5, l, 0.1 in decreasing order.
0.5, 0.1, l
Suppose 2*d - 3*l - 17 = 0, 2*d - 5*d + 13 = -2*l. Let v be 2/(d + -3)*-5. Let b = -70 - -67. Put 3, b, v in descending order.
v, 3, b
Suppose 4*s - 3*h - 4 = 4, -3*s + 1 = -h. Let d(o) = o**3 - o**2 - o - 3. Let y be d(0). Sort y, 4, s in decreasing order.
4, s, y
Suppose 2*c = 6 + 2. Suppose y - 8 = 5*k + 6, -c*k = 2*y + 14. Sort -2, k, 4 in ascending order.
k, -2, 4
Let a = 70 + -65. Sort 4, a, 1 in increasing order.
1, 4, a
Let l be 26/5 + 56/20 + -3. Put -5, l, 3 in decreasing order.
l, 3, -5
Let p(o) = -2*o + 6. Suppose -q + 2*q = 4. Let x be p(q). Let m be (3 + -1)*2/x. Put m, 3, -4 in decreasing order.
3, m, -4
Let h = 3 + -3. Let g = -4 + 8. Let l be (-3)/g - (-68)/112. Sort -0.4, l, h.
-0.4, l, h
Let x be (-2)/(-14) + (-12)/(-42). Sort 5, -0.4, x.
-0.4, x, 5
Let d = 3.22 + -2.22. Sort 2/9, d, -1, 4.
-1, 2/9, d, 4
Suppose -3*v = -2*m - 3, 4*m + 5 = v + 4. Put -4, -2/11, v in increasing order.
-4, -2/11, v
Suppose 11 = -3*t - 19. Sort 4, t, 0.
t, 0, 4
Let q = 0.24 + -0.44. Sort 2/13, q, -4, 3/4 in ascending order.
-4, q, 2/13, 3/4
Let b be 2/4 - (1 + -3). Sort 2/19, -5, b in increasing order.
-5, 2/19, b
Let b(v) = v - 4. Let q be b(0). Let z(h) = -h**3 - 4*h**2 + h + 3. Let y be z(-4). Let n be (q - (1 + -1))*y. Put n, -3, 5 in descending order.
5, n, -3
Suppose 4*g = -a + 10, 2*g + 0*g + 2*a - 8 = 0. Let i be (-4)/8*0*1/(-4). Suppose 3 = 4*w + 19. Sort i, g, w in decreasing order.
g, i, w
Let z = 4 - 3. Let n = -5 - -9. Let l = 49 - 52. Sort l, z, n in decreasing order.
n, z, l
Suppose -3*w + w + 4 = 0. Suppose -2*n + w = -n. Put -1, n, 3 in descending order.
3, n, -1
Let r = -1 - -0.9. Let y = r + 0.1. Let a = -1 + y. Sort -1/2, a, 0 in decreasing order.
0, -1/2, a
Let x be (3/3)/(1/3). Suppose -4*o - 50 + 14 = 4*j, 5*o = 2*j - 17. Let k(v) = -v - 2. Let b be k(3). Sort j, b, x.
b, j, x
Let n = -10 - -6. Let r = -60/11 + 224/33. Suppose 2*j + 4*l = 18, 5*j - 2*l - 21 = -4*l. Sort j, r, n in descending order.
j, r, n
Let j = 6 + -8.1. Let s = 2.2 + j. Sort 7, 0.3, s in descending order.
7, 0.3, s
Let u = -3 - 0. Let d = u + 2.6. Sort d, 2, -2 in increasing order.
-2, d, 2
Let l = -163/4 - -41. Sort l, -0.08, 0.1 in decreasing order.
l, 0.1, -0.08
Suppose -2*g - 3*o + 12 = 0, g + 4*o - 5 = 2*g. Let q = -54 - -54.23. Let b = q + -0.03. Put 0, g, b in decreasing order.
g, b, 0
Suppose -4*w = 2*s + 10, 4*s + 5 + 15 = -2*w. Let k = s - -11. Let t be 1/k*1*8. Sort -0.3, -5, t in descending order.
t, -0.3, -5
Suppose r + 2 = -1. Let a be (8/4 - 3) + -1. Let l(f) = -f**3 + 4*f**2 - 2*f - 2. Let n be l(2). Put r, a, n in descending order.
n, a, r
Let p(l) = l - 2. Let f be p(2). Sort -4, -1, f in increasing order.
-4, -1, f
Suppose 6*j - 24 = 6. Suppose -i - 4 = 0, -j*t + 4 = -t + 4*i. Sort -5, t, -4 in descending order.
t, -4, -5
Let u = 51 + -47. Let y(a) = a**3 - 2*a**2 + a. Let c be y(1). Suppose -3 = -c*x + 3*x. Put u, 1, x in decreasing order.
u, 1, x
Let k = 0 + 4. Let z be (-5 - -1)/(-8) + (-5)/(-10). Put k, z, -4 in ascending order.
-4, z, k
Suppose 4*f - 3*j = -6*j - 2, 4*j = -4*f. Sort 1, -1, f in descending order.
1, -1, f
Let n be (9/(-2))/(9/12). Let b = 7 + n. Put b, 2, 5 in increasing order.
b, 2, 5
Suppose 0 = -2*m + 4*v - 3*v - 3, -5*m = -v + 3. Sort 1, 16, m.
m, 1, 16
Let j = 0.1 - 0.1. Let s be 4 - ((-6)/12 + 177/42). Sort 2/11, s, j in ascending order.
j, 2/11, s
Let t = -8.5 - -9. Let z = -0.3 + t. Sort 0.5, z, -5 in descending order.
0.5, z, -5
Let x = 25 - 25.3. Put x, -2/11, 0.1 in descending order.
0.1, -2/11, x
Let n be 2/(-3)*(-3 + 0). Suppose -64*j + 3 = -65*j. Put -2, n, j in ascending order.
j, -2, n
Let n be 2/(-3)*(5 - 2). Let p = -694 + 131174/189. Let c = p - 5/27. Sort n, 2, c in descending order.
2, c, n
Let s = 9.59 - 10. Let k = 0.28 + s. Sort -0.4, k, -0.5 in increasing order.
-0.5, -0.4, k
Suppose -p - p + 6 = 0. Suppose 0 = -2*j + 7*j + 15. Put j, p, -1 in descending order.
p, -1, j
Let p = -0.04 - 3.96. Let u = 3.98 + p. Sort -2, u, 2/7 in decreasing order.
2/7, u, -2
Let b be 22/8 + 2/8. Let k be 3*2/3 + 0. Suppose -3*a = k*a + 25. Sort -1, a, b in increasing order.
a, -1, b
Let d = 3 + -7. Let n = 0.021 - 1.021. Sort d, -2/3, n in ascending order.
d, n, -2/3
Let o be (-2)/(-6) + (-2)/6. Let s(h) = -h**2 - 5*h - 5. Let b be s(-5). Put b, 1, o in descending order.
1, o, b
Suppose 0 = 3*b + 8 - 23. Sort b, -3, 3 in descending order.
b, 3, -3
Suppose 2*u = 6*u + 16. Suppose 0 = -8*w + 18 + 30. Sort 2, u, w in decreasing order.
w, 2, u
Suppose -d = 3*d. Suppose -4 = -2*w - 2*w. Sort d, w, 4 in ascending order.
d, w, 4
Let a = -7 - -7.5. Let b = -550748/185 - -2977. Let m = 439/4255 + b. Sort a, 4, m in decreasing order.
4, a, m
Suppose -h = -3*h - 8. Let k be 6/h*10/(-15). Let j = 1 + -4. Sort -2, j, k in decreasing order.
k, -2, j
Let p be (2/6)/(6/(-126)). Sort 5, 3, p in increasing order.
p, 3, 5
Let z = 7 + -2. Let b = 5 + -2. Let j = -2 - b. Sort z, j, 0 in ascending order.
j, 0, z
Let t(y) be the first derivative of y**3/3 - 2*y**2 - 5*y + 9. Let r be t(4). Sort 2, r, 3 in ascending order.
r, 2, 3
Let u = 96 + -98. Put -0.2, u, -0.1, 5 in decreasing order.
5, -0.1, -0.2, u
Suppose 0 = -2*c - 0 + 4. Let l(y) = -3*y**3 + 9*y**2 + 7*y - 9. Let b(w) = -w**3 + w**2 - w. Let d(g) = -2*b(g) + l(g). Let h be d(8). Sort 4, c, h.
h, c, 4
Let r be 34/2 - (-6 + 7). Suppose -3*h - r = b, -5*b = -h + 5*h + 36. Suppose 6 = 3*i - 6. Put 1, i, b in ascending order.
b, 1, i
Let w = -201/568 - 3/142. Let l be -2 + 1 + (1 - 3). Sort l, w, -1/11 in descending order.
-1/11, w, l
Let l = -19 + 2. Let s = 17.3 + l. Sort 2/3, 0.2, s in descending order.
2/3, s, 0.2
Let k be 4/3*6/(-4). Let x = 3 - k. Suppose -3*t - x = -4*t. Sort 2, t, 4.
2, 4, t
Let h = 5 - 4. Put -0.2, -1, h in decreasing order.
h, -0.2, -1
Let p(j) = -3*j + 1. Let i be p(-3). Let k be 2*2 + i/(-5). Sort 5, k, 1 in descending order.
5, k, 1
Let c = 0.066 - -0.034. Let m = -0.3 + -1.7. Sort c, -1, m in ascending order.
m, -1, c
Let a(n) = -n**3 + 5*n**2 + 7*n - 2. Let m be a(6). Let p be m/(-26) - 16