t h, 0, -11, -3 in increasing order.
-11, -3, 0, h
Let b be 3/15*(40 + -5). Suppose -b*d = -d. Put -4, 3, d in ascending order.
-4, d, 3
Let m = -6 + 6.07. Put -0.5, -3, m, 4 in decreasing order.
4, m, -0.5, -3
Let f(r) = -6*r + 308. Let s be f(51). Let w = 148/3 + -48. Put s, 5, 4, w in increasing order.
w, s, 4, 5
Let c be 3/(-7) + -7 + 204/84. Let x(o) = -o - 5. Let z be x(-5). Let a be 50/18 + 18/81. Put c, a, z in decreasing order.
a, z, c
Let g = -19 - -12. Suppose 4*c - 21 = 2*y - 7, -2*y - 2*c - 8 = 0. Put g, 3, y, -3 in decreasing order.
3, -3, y, g
Suppose 2*d = -2, 2*m = -5*d + 2*d - 3. Suppose 5*f - 24 = -2*s - 0*f, 3*s + 4*f = 22. Suppose 0 = -2*o - s*o + 16. Sort -3, m, o.
-3, m, o
Let m(r) = r**2 - r - 58. Let y be m(-7). Suppose 15*c = -c + 16. Put c, 0, y in ascending order.
y, 0, c
Let s = -42.3 + -136.7. Let f = -155.3 - s. Let l = f - 24. Sort -2/3, l, -0.5 in descending order.
l, -0.5, -2/3
Let s = 53/20 + -9/4. Let u be ((-1)/(-4))/((-1)/(-1)). Sort s, -0.4, 5, u.
-0.4, u, s, 5
Suppose -28 = 3*x + 4*x. Let f = 15 + 5. Suppose f = -5*c, c = -j + 5*c + 18. Sort j, 3, x in increasing order.
x, j, 3
Let n = -22 + 21.52. Let w = -1.08 - -1. Let t = w - n. Put t, -2/17, -2/3 in descending order.
t, -2/17, -2/3
Let p = 0.17 - 0.1. Suppose 3*c = -2*s + 21, 0 = -c - 0*c - 3*s + 14. Put c, p, -1 in descending order.
c, p, -1
Let i = -1.67 + 2.67. Sort i, -5, -0.5.
-5, -0.5, i
Let w = 1.9 - 1.4. Let y = -0.7 - -0.4. Let j = w + y. Put -3/5, -1, j in descending order.
j, -3/5, -1
Let a = 1.92 + -2.1. Sort a, 5, 2/5 in descending order.
5, 2/5, a
Let y = 0.859 - -0.341. Sort 2, -5, y.
-5, y, 2
Let d = 48 + -67. Let q = 14 + d. Put 0, q, 3/7, 3/8 in increasing order.
q, 0, 3/8, 3/7
Let f = -7 - -11. Sort -3, f, -1, -32.
-32, -3, -1, f
Suppose -3*a - 4*n - 24 = 0, a = 5*a + 5*n + 31. Let x be a/30 + 4/(-6). Let u = -16 - -13. Put u, -2, x in descending order.
x, -2, u
Let l be (-24)/(-72) - 59/24. Put 5, 0.5, l in descending order.
5, 0.5, l
Let m(v) be the second derivative of -v**5/20 - v**4/3 + v**3/6 + 21*v. Let p be m(-4). Put p, 1, 7 in decreasing order.
7, 1, p
Let m(t) = 4*t. Let x be m(5). Suppose -3*j - j = -x. Suppose -5 = 5*s + 5, -18 = 2*c + j*s. Put c, -1, -5 in decreasing order.
-1, c, -5
Let k be (-9)/(-15) + 24/(-15) + -3. Let x = -18 + 27. Put k, x, -3 in increasing order.
k, -3, x
Let n be -3*(28/(-6) - -3). Suppose -15 = -n*l + 5*z, -4*l - z - z + 12 = 0. Sort -0.1, l, -1/3 in ascending order.
-1/3, -0.1, l
Let t = 17/4 + -23/4. Let x be 1 - 25/(-15)*3. Sort -1, t, x in decreasing order.
x, -1, t
Let n = -121/238 - -27/34. Sort 0.4, n, 0, -167/2 in decreasing order.
0.4, n, 0, -167/2
Let v = 1 - -3. Suppose -2*d = -g - 3, -g - 4*g = -d + 15. Suppose -j = m, -10 - 2 = -5*m - j. Sort d, v, m in increasing order.
d, m, v
Let q = 11.8 + -12.2. Suppose -4*f - 2 = 10. Let y be 9/3*(-1)/f. Sort y, q, -1.
-1, q, y
Let n = 0.5569 + -0.0569. Put 2/5, 2/11, n, -3 in decreasing order.
n, 2/5, 2/11, -3
Let z be ((-273)/(-182))/((-1)/(-2)). Put -3, -153, z in descending order.
z, -3, -153
Let m = 12268.94 + -12141. Let x = 128 - m. Put 0.3, -1, -2/7, x in increasing order.
-1, -2/7, x, 0.3
Suppose 5*y = y + 8. Suppose -252 = -32*q - 4*q. Put q, y, -1 in ascending order.
-1, y, q
Let v(z) = z**3 + 6*z**2 + 6*z + 5. Let f be v(-5). Let x = 12 - 22. Let t = x - -14. Put 0.1, f, t in descending order.
t, 0.1, f
Suppose -1 = -r + 2*i - 2, -5*i = -5*r. Suppose d + 3*w = 5*d + 5, 0 = -2*d + 4*w. Let a = d - -4. Put 5, r, a in ascending order.
r, a, 5
Let g be 3 - -2 - (-945)/(-195). Put -0.1, -0.26, g, 0 in decreasing order.
g, 0, -0.1, -0.26
Let k = -1214.9641 - -1215. Put -5, 0.2, k in increasing order.
-5, k, 0.2
Suppose -y - 13 = -3*b + 16, 2*y - 2*b = -62. Put 3, 1, y in descending order.
3, 1, y
Let c be 7*(-4)/4*-2. Let z be (5 - 2)/((-21)/c). Sort z, -1/2, -4/7 in decreasing order.
-1/2, -4/7, z
Suppose -72*c + 75*c - 3 = 3*o, c + 11 = 4*o. Let b = 2 + -7. Sort 5, b, 2, o in increasing order.
b, 2, o, 5
Suppose 3*y + y - 4*w = 0, 0 = -y + 5*w + 4. Suppose -f - 12 = -4*p - 5*f, -2*f - 4 = -3*p. Sort p, y, 1 in descending order.
p, 1, y
Suppose 4*i = 839 - 815. Put -1, i, 2, -4 in ascending order.
-4, -1, 2, i
Suppose 0 = -5*r + 20, 2 = 3*n + r - 17. Let x = 51 + -47. Put 22, n, x, -5 in descending order.
22, n, x, -5
Let g = -339 + 338. Let o be 1/(22/(-23) + 1). Put o, 2, g in descending order.
o, 2, g
Suppose 0 = -17*l + 55*l + 3724. Sort 3, -4, -5, l in descending order.
3, -4, -5, l
Let m be 4/(-18)*(5/(-4) - -2). Sort m, -4/5, -1/5 in ascending order.
-4/5, -1/5, m
Let b = -535 + 536. Put -3, b, 14 in decreasing order.
14, b, -3
Let l = 6 - 2. Suppose 0 = -2*w + 2 + l, -5*p = -4*w - 3. Let i = -0.57 - -0.27. Sort p, i, 1/6 in ascending order.
i, 1/6, p
Let p(q) = -8*q + 3. Suppose 2 = -i - 1. Let f be p(i). Let n be (f/63)/(3/(-2)). Put -0.4, 5, n in descending order.
5, n, -0.4
Let r = -101 + 302/3. Suppose g + 21 = 26. Sort 0.3, 0, g, r in ascending order.
r, 0, 0.3, g
Let u = -1480 - -1476. Put -1, 0, u, -2 in decreasing order.
0, -1, -2, u
Let b be 1/(-2) - ((-85)/(-50) + -2). Put b, 0.03, -5, 0 in descending order.
0.03, 0, b, -5
Let b be ((-6)/(18 - 12))/1. Put -4, 1, b, -5 in decreasing order.
1, b, -4, -5
Let g be (141/(-1269))/((-1)/45). Sort 1, -46, 2, g.
-46, 1, 2, g
Let o(l) = -l**3 - 4*l**2 + 6*l + 5. Let d(m) = -m**3 + 6*m**2 - 7*m + 5. Suppose -3*f = 2*f - 25. Let n be d(f). Let j be o(n). Sort 5, -5, j.
-5, j, 5
Suppose 86*q + 82 = 4*q. Sort -1/3, q, -1/4, -4 in decreasing order.
-1/4, -1/3, q, -4
Let m be (-1)/((3 - -1)/(-40)). Suppose -2*u + 13 = -4*f + 5, 0 = -2*f. Suppose 4*x - 23 = -2*n - 9, 2*x - m = -u*n. Sort 5, n, 0 in decreasing order.
5, n, 0
Let v = -15688.14 + 15873. Let d = v + -177. Let c = d - -0.14. Put -0.3, 0, c in increasing order.
-0.3, 0, c
Let i be (-2 - (-215)/70) + -1. Put -0.4, -2, -5, i in decreasing order.
i, -0.4, -2, -5
Let q(x) be the third derivative of -11/6*x**3 + 3*x**2 + 0*x + 0 - 1/12*x**4. Let y be q(-6). Sort -5, y, 4 in descending order.
4, y, -5
Let q = -9 - -14. Suppose 13*f - 12 = 7*f. Suppose -f*b = 8, 16 = -5*m + b + 5. Sort q, m, -5 in increasing order.
-5, m, q
Let k = -0.3 + 0.4. Suppose 5*y + 0*y + 2*u = 22, -4*y + 2*u = -32. Suppose 0 = -y*t + t. Sort -3/8, k, t in decreasing order.
k, t, -3/8
Suppose 3*i + 5 = 3*r - 7, -5*i - 17 = -4*r. Sort -4, 2, i, -5 in decreasing order.
2, i, -4, -5
Let x = -37 + 33. Let t = 16 + -14. Sort x, 2/11, t in decreasing order.
t, 2/11, x
Suppose -2 - 1 = 3*i. Suppose 924*d - 12 = 912*d. Sort -4, i, d in increasing order.
-4, i, d
Let k(q) = -q**3 + 9*q**2 + 2*q - 18. Let t be k(9). Let v be 6/4*10/3. Sort t, v, 2, -3 in increasing order.
-3, t, 2, v
Let q = -2.25 - -5.25. Sort q, -4, 5 in descending order.
5, q, -4
Suppose 4*i + 2 + 14 = 0. Let d(h) = h**3 + 4*h**2 - 2. Let c be d(i). Sort 7, 5, c in descending order.
7, 5, c
Suppose -3*c + 44 = -2*i, -8 + 0 = 2*i. Suppose 0 = o - 7 + c. Sort 3, 5, o in descending order.
5, 3, o
Let p(k) = k**3 - 35*k**2 + 34*k + 5. Let d be p(34). Put d, 0, -12.4 in ascending order.
-12.4, 0, d
Let b be 13/(-12) + ((-2)/1)/(-24). Sort b, 0, 93, 5.
b, 0, 5, 93
Let m = 1.1028 - 0.1028. Put m, 112, 3, -0.4 in ascending order.
-0.4, m, 3, 112
Suppose 3*z + 7 = w - 13, -z = -5*w - 12. Let o be ((-5)/(-2))/(4/z). Put -4, o, -3, 4 in decreasing order.
4, -3, -4, o
Let p = 91 - 88. Suppose -18 + 81 = p*m. Sort -1, 5, m in ascending order.
-1, 5, m
Let v = 1.142 + -0.142. Let g be (-18)/63 - 22/(-126). Sort 9, g, 0, v in decreasing order.
9, v, 0, g
Suppose 0 = 2*u - 4*u + 8. Let h be (3/(-4))/((-11)/(-44)). Let i be (-20*h/6)/2. Sort i, -5, u in increasing order.
-5, u, i
Let v be ((-1 - -1) + -2)*(-20)/(-40). Sort -5, 3, v, 0 in descending order.
3, 0, v, -5
Let j(d) = -22*d + 164. Let h be j(9). Sort -1, h, 2 in decreasing order.
2, -1, h
Let i = -3356 - -288651/86. Let c = -4/43 - i. Sort 2, -2/11, -1, c in ascending order.
-1, c, -2/11, 2
Let k = -3 - -1. Suppose 839*r + 8 = 836*r - 1. Sort 3, r, 4, k in decreasing order.
4, 3, k, r
Let h be 0/(-1) - (-9 - (-322)/35). Let y = -7.3 + 0.3. Put y, h, -2 in ascending order.
y, -2, h
Let a be 2/11 + (-20)/(-11) - -35. Let b(x) = x**3 - 7*x**2 + 2*