creasing order.
r, 2, t
Let o = -0.65 - 11.35. Let t = o - -12. Let u = -0.36 + -0.04. Put t, -1, u in descending order.
t, u, -1
Suppose -1033*f = -1036*f - 9. Put 4, f, 1 in descending order.
4, 1, f
Suppose 3 - 10 = -2*t + 3*p, -2*t + 8 = -2*p. Suppose 5*i + 40 = 5*o, 3*o - 3*i - 20 = -4*i. Suppose b + o = 11. Sort b, 1, t in descending order.
t, b, 1
Let g be 190/(-15) - -7 - (0 - 7). Sort 2, g, -3, 34 in decreasing order.
34, 2, g, -3
Let g(k) = 11 - 5*k**3 - 7*k + 7*k**2 + 0 + 0*k + 4*k**3. Let n be g(6). Let c(s) = s**2 - 4*s - 5. Let h be c(5). Sort n, 1, h.
h, 1, n
Suppose 0 = -4*v - 16, 0 = -3*d + 4*v - 6 + 28. Suppose -d*f - 2*f - 28 = 0. Let r be 8/(-7)*(0 + f). Put r, -1, 1 in increasing order.
-1, 1, r
Let s(q) = -q**3 - 8*q**2 - 8*q + 8. Let p be s(-7). Let i be 66/14 - 8/(-28). Suppose -i*r = -10*r - p. Put 3, r, 2 in ascending order.
r, 2, 3
Let g(h) = h**3 - 5*h**2 - 6*h + 1. Let y be g(6). Let s(t) be the second derivative of t**4/6 - t**2/2 - 3*t. Let p be s(y). Sort 3, p, -1 in descending order.
3, p, -1
Suppose i + 1 = -b - 3, 2*b = -3*i - 6. Put -5, 5, b, -2 in ascending order.
b, -5, -2, 5
Suppose -18 - 10 = -14*r. Suppose -8 = -3*d - 4*j, 2*d = 4*j + j - 10. Suppose -f - 4*f - 10 = d. Sort f, -5, r in decreasing order.
r, f, -5
Let d(j) = 5*j - j**3 - 1 + j**2 - 5*j. Let a be d(2). Suppose -20*h + 9 = -17*h, -3*h = 4*m - 1. Put 4/7, m, a in descending order.
4/7, m, a
Let q be 178*(-1)/(-120) + -2. Let n = -4/15 - q. Let o = 120 - 125. Put 0.1, o, n in ascending order.
o, 0.1, n
Let a = -3/737 + 746/2211. Sort 1.8, 2/7, -1, a in ascending order.
-1, 2/7, a, 1.8
Let d = 2/17 + -23/51. Sort -26/5, d, 1/2.
-26/5, d, 1/2
Let a = -55.77 + 26.77. Sort 1, 3, a, -4.
a, -4, 1, 3
Let k(z) = -z - 2. Let l be k(-6). Let c be (-42)/10 + l/20. Let j = 0.11 - 0.2. Put 1/3, c, j in descending order.
1/3, j, c
Suppose 5*j + 5*t - 10 = 0, 7 = 5*j - 0*t + 2*t. Put j, 2/15, 2, -0.2 in increasing order.
-0.2, 2/15, j, 2
Let f = 112.21 - 112.11. Let z = -0.2 - 1.8. Sort 5/3, f, z.
z, f, 5/3
Let i = -0.4 + 0.1. Suppose 3*n + y - 12 = 0, -y - 8 + 12 = n. Sort -12, i, n.
-12, i, n
Suppose -2 = t + 1. Suppose -2*y + 6 = -5*r, -3*r - 65 = 2*y - 71. Put t, 8, y in increasing order.
t, y, 8
Let a(z) = z**3 + 10*z**2 + 8*z - 10. Let j(v) = 35*v**2 + v + 1. Let h be j(1). Suppose 8 + h = -5*y. Let f be a(y). Put 1/5, 2/15, f in ascending order.
f, 2/15, 1/5
Let u(a) = -a**3 + a**2 - 5*a + 5. Let v be u(5). Let g be (-2)/((-3)/v*-2). Suppose -3*f = 2*x + 20, -g = 5*f - x + 6*x. Sort -1, -6/7, f in ascending order.
f, -1, -6/7
Let r(g) = g**2 + 4. Let m be r(0). Let c be m/(-30) - 2/10. Let q = 204/515 - -2/515. Put 3, q, c in increasing order.
c, q, 3
Let n = -4.6 + 8.1. Sort -0.3, 0, n in increasing order.
-0.3, 0, n
Let t = -629 + 628.6. Sort t, 2/17, 5, -2 in ascending order.
-2, t, 2/17, 5
Let o = 1.3 - 6.3. Suppose -3*q = 2*q + 265. Let a = -370/7 - q. Put -7, a, o in ascending order.
-7, o, a
Let g = 6.9578 + 0.0422. Sort 5, 0.5, g in increasing order.
0.5, 5, g
Let i = -25 + 25. Let z be i - 0/(-2 - 0). Suppose 0 = 4*w + 3*d - 5, d = 2*w - 3 - 12. Sort 4, w, z in decreasing order.
w, 4, z
Let r(v) = v**2 - 2*v - 3. Let p be r(3). Let q(c) = c**3 - c**2. Let x be q(p). Put 2, x, 1 in ascending order.
x, 1, 2
Let k(o) = -4*o - 3. Let q be k(-3). Suppose -d + 32 = 4*p + 3*d, -q = -3*d. Let b = p - 3. Sort 5, -2, b in ascending order.
-2, b, 5
Let y = 36 - 39. Suppose 0 = -5*s - 5*v, -4*v = 3*s - 5*s + 24. Put y, 3, 7, s in decreasing order.
7, s, 3, y
Suppose 0 = -4*y + 4, -z - 2*y + 7 = -0*y. Sort 4, -8, z in increasing order.
-8, 4, z
Suppose 0 = 3*d - 5*r - 17, 5 = 3*r - 1. Suppose -f + d = -0*f. Suppose -3*g + 0*g + f = 0. Sort 5, g, -6 in ascending order.
-6, g, 5
Let j(o) = o + 2. Let g be j(-5). Let z = -0.06 + 0.13. Let h = 338 - 338. Sort g, h, z in descending order.
z, h, g
Suppose 0 = -19*k + 42*k - 1104. Put -2, k, 2 in increasing order.
-2, 2, k
Suppose -13*m - 282 + 217 = 0. Put 0, -11, -47, m in descending order.
0, m, -11, -47
Let a(m) = -m**3 - 4*m**2 - 3*m. Let c be a(-3). Suppose -t - 2*j + 3 = c, -3*j + 24 = 5*t - 10*t. Put t, -2, -4 in ascending order.
-4, t, -2
Let a = -108 + 109. Sort -4, -3, 2, a in descending order.
2, a, -3, -4
Suppose -m = -5*i - 4*m + 3, 4*m + 7 = -3*i. Suppose 4*p + r = -18 + 2, 0 = 5*p + i*r + 13. Sort 4, -3, p in ascending order.
p, -3, 4
Suppose 8*m - 32 + 136 = 0. Sort m, 3, 4 in decreasing order.
4, 3, m
Let d = -27.1 + 31. Let i = -3.5 + d. Put -2, i, 0.3 in decreasing order.
i, 0.3, -2
Suppose -a + 2 + 3 = 0. Let b = -27 - -29. Suppose 5*f - 5*i = b*f - 21, 4*i - 12 = 0. Sort a, -5, f.
-5, f, a
Let h = 0.0705 + -3.0705. Sort h, -0.41, 1 in descending order.
1, -0.41, h
Let a = -175079680 - -5952024047/34. Let v = -20147 - a. Let c = -12/17 + v. Sort -0.1, 4/3, c in descending order.
c, 4/3, -0.1
Let k = 1421 + -1417. Put k, -4, 3, -17 in decreasing order.
k, 3, -4, -17
Let i be (2 - -1) + 4*-1. Suppose -2*t - 13 = 1. Put 5, t, i, 2 in descending order.
5, 2, i, t
Let i = 25 - 12. Let p = 136 - 132. Let u = 0 - -1. Put p, i, u in ascending order.
u, p, i
Let s(x) = 5*x - 22. Let j be s(5). Let g(l) = l - 6. Let v be g(4). Let t be 3/((-6)/4) - v. Put 5, t, j in increasing order.
t, j, 5
Let z be 40/6 + (-2)/(-6). Suppose 12 = z*n - 3*n. Suppose a + 3*u + 9 = 0, 4*a + 1 = n*a + u. Sort 0, a, 4 in increasing order.
a, 0, 4
Let a = -0.88 + 1.4. Let i = -0.89 + a. Let g = 4.37 + i. Put 0.2, g, -9 in decreasing order.
g, 0.2, -9
Suppose -5*u + 7 = 3*p, 7*u - 2*u = 2*p + 12. Suppose 98*s + 3 = 97*s. Put s, u, -10 in descending order.
u, s, -10
Let m = 1 - 3. Let w = -667 - -672. Put m, -2/5, 5/2, w in descending order.
w, 5/2, -2/5, m
Let o(c) = 2*c + 29. Let v be o(-9). Suppose 12*j + 5 = v*j. Sort -2, j, 6, -3 in decreasing order.
6, -2, -3, j
Let r = -816 - -816.5. Suppose -2*y - 10 = -4. Let c be (-22)/26 - (2 + y). Sort r, 2, c in increasing order.
c, r, 2
Let v = 44.033 + -44. Let t = 0.267 + v. Sort t, -4, -3, -2/3 in increasing order.
-4, -3, -2/3, t
Let s = 34 - 24. Let n be 182/(-280) - (-4)/s. Sort n, 0.2, -0.7, -2/9 in descending order.
0.2, -2/9, n, -0.7
Let c be 0 - 3 - (-159)/51. Let y = 13 - 10. Let u = 18 + -17. Sort y, c, u in descending order.
y, u, c
Let n = 232.1 + -232. Put 5, -0.01, 0, n in ascending order.
-0.01, 0, n, 5
Let u(d) = 2*d - 3. Let m be u(2). Let z be 2/(-13) + m + -1. Suppose 5*q + 4 = -289*p + 285*p, -3*q - 20 = -2*p. Sort q, z, 0.
q, z, 0
Let x = 16 - 8. Let q(l) = 3*l**2 - 62*l - 25. Let u be q(21). Put x, -2, -3, u in increasing order.
u, -3, -2, x
Let h(r) = r**2 - 21. Let w be h(0). Let y be 6/21 - 78/w. Suppose -4*b - 2 + 1 = -3*q, -5*b = q - 13. Put y, q, 1 in ascending order.
1, q, y
Let k be (26 - 30) + 1*5/1. Sort -5, 0, -30, k in decreasing order.
k, 0, -5, -30
Let o(v) = 0 + 0 - 3*v - 2 + 1. Let i be o(-2). Suppose 0 = -i*a + 2*a - 3, 4*a = -u - 2. Sort 4, 1, u in descending order.
4, u, 1
Let l = 1.94 + 0.06. Let a be 14 + -16 + 118/52. Let w = 1/52 - a. Sort 4/9, l, w in ascending order.
w, 4/9, l
Let v(g) = g**3 + g**2 - 4*g + 3. Let d be v(2). Suppose 6*j + 1 = d*j. Sort 4/3, 4, j.
j, 4/3, 4
Let p(k) = -8*k + 14. Suppose 0 = -h + 5*i + 28, 2*i + 1 = -2*h - 3. Let w be p(h). Sort 4, w, -4 in ascending order.
w, -4, 4
Let m = 3 - 2. Let q = 673 - 667. Let h be ((-18)/q)/((-5)/m). Sort 3, h, 1.
h, 1, 3
Let k be (3/(-6))/((-2)/16). Suppose -2*v = k*n - 2*n + 2, -5*v + n - 17 = 0. Sort -15, v, 5 in decreasing order.
5, v, -15
Let b be (0 + 0 - -3) + (75 - 74). Sort 165, b, -2 in descending order.
165, b, -2
Suppose -7*v + 9*v = -2. Sort -7, 1, 5, v in increasing order.
-7, v, 1, 5
Suppose 0 = -2*j + 4*j - 3*r + 7, 4*r - 14 = 5*j. Sort 4, 56, j in ascending order.
j, 4, 56
Suppose 72 = 4*m + 2*m. Let j(c) = -c**3 + 11*c**2 + 12*c - 2. Let i be j(m). Put i, 3, 2 in increasing order.
i, 2, 3
Suppose -15*a - 3 = -12*a. Let l = 2 - 5. Sort l, a, 3 in increasing order.
l, a, 3
Suppose -3*i = 2*x - 3*x - 6, -3*x - 5*i = 88. Sort 0.11, x, 5 in decreasing order.
5, 0.11, x
Suppose -570*c = -568*c + 8. Sort -1/5, -6, 0, c.
-6, c, -1/5, 0
Let y = -2305 - -2305. Suppose 3*a = 2*h + 4 - 8, -2*h + 2*a + 2 = 0. Sort 1, y, -5, h in increasing order.
-5, h, y, 1
L