et t = 7 - d. Put -4, -6, t in decreasing order.
t, -4, -6
Suppose c = -0*o - 2*o - 11, -3*o = 5*c + 20. Sort 16, 5, c in increasing order.
c, 5, 16
Let j = 30 + -12. Suppose 0*r = 5*x - 3*r - j, -2*r = 4*x - 10. Put -2, x, 0 in decreasing order.
x, 0, -2
Let d be 33/(-4) + (-15)/20. Sort d, -5, -1, 2.
d, -5, -1, 2
Let a = -36/5 + 57/10. Let g = 0.35 + 0.05. Put -3, a, g in descending order.
g, a, -3
Let b be (-9)/12*(0 - -4). Let a be (b + 5)*(-9)/(-6). Put 1, -3, a in descending order.
a, 1, -3
Let g be (-1)/2 - 18/4. Sort g, 1/4, 0.3.
g, 1/4, 0.3
Let f = 61.11 - 60. Let g = -4.59 - f. Let n = g - -0.7. Sort n, -4, 1/4.
n, -4, 1/4
Let d(s) = s**2 - 4*s + 3. Let k be d(2). Suppose 7*o = 4*o + 9. Suppose 7*n + 16 = o*n. Put 2, k, n in decreasing order.
2, k, n
Let l = 48 - 191/4. Sort -2, l, 6/11 in ascending order.
-2, l, 6/11
Let q be 5 + -7 + (-6)/(-2). Sort q, 4/5, 1/4, -2/3 in decreasing order.
q, 4/5, 1/4, -2/3
Suppose -4*z - t + 3 = -3, 4 = -2*t. Let b(r) = 31*r + 3. Let k be b(3). Let a = k - 387/4. Sort 0.3, z, a in ascending order.
a, 0.3, z
Suppose 21 = r + 4*r - 4*j, 0 = -4*r - 4*j + 24. Suppose 2*s - 4*o = 8 + 2, o = r*s - 25. Let m = -1.99 + -0.01. Put m, 3, s in decreasing order.
s, 3, m
Suppose -y + 6*y - g = 0, 2*y = 5*g. Sort 2, y, 4, -1 in descending order.
4, 2, y, -1
Suppose 11*g = 5*g - 30. Suppose -3*k - 4 + 1 = 0. Put k, g, 5 in increasing order.
g, k, 5
Let x = 20 - 17. Let p(o) = 4*o - 2. Let r be p(1). Sort r, 7, x in ascending order.
r, x, 7
Let v(c) = c**3 + 21*c**2 + c + 22. Let o be v(-21). Sort o, -2, 5, 4 in ascending order.
-2, o, 4, 5
Let p(g) = g**2 - 23*g + 19. Let i be p(22). Put -0.2, -4, i, -2 in decreasing order.
-0.2, -2, i, -4
Suppose -2*q - 1 + 3 = -2*d, 4*d + 4*q + 36 = 0. Sort d, -1, -2 in ascending order.
d, -2, -1
Let r be (-5)/(-10) + (-2)/4. Suppose -3*a = -0*a + 15. Let v(c) = c**3 + 3*c**2 - 5*c - 6. Let z be v(-4). Sort r, a, z in descending order.
r, z, a
Let a(r) = -r**2 + 11*r - 9. Let g be a(10). Suppose 4*p + 5*u - 3 = g, 3 = 3*p + 5*u. Suppose -4 - p = o. Put 3, 5, o in decreasing order.
5, 3, o
Let q be 3/4 + 2 + -3. Let v = 0.04 + 0.26. Sort v, q, -8 in descending order.
v, q, -8
Let z be 1 - 2 - (-9)/15. Sort -4, 5/4, z in decreasing order.
5/4, z, -4
Suppose 2*x = -0*b + b - 1, 0 = -4*x - 4*b + 16. Let u(r) = 4*r. Let v be u(x). Sort -2, 3, v.
-2, 3, v
Let i(p) = -p**3 + 5*p**2 + 4*p + 7. Suppose -3*h + 2*h = -3*z, -3*h = -5*z. Let r = h - -6. Let k be i(r). Put k, -4, -3/2 in decreasing order.
-3/2, -4, k
Let d = 4.11 + -0.11. Let i = -4.05 + d. Let q = 4.05 + i. Put q, 0.5, 1/5 in descending order.
q, 0.5, 1/5
Let q(x) = -x**3 + 7*x**2 - x + 10. Let t be q(7). Put 12, t, 1, -3 in descending order.
12, t, 1, -3
Let q be (-10)/(-25) + 16/10. Let b be 1/q*6*74. Let j = 1557/7 - b. Sort 0, 2, j in decreasing order.
2, j, 0
Let m be (0*4/16)/1. Suppose 4*x + 4*t = 4, -4*t - 5 = 3*x - 3*t. Put m, x, -5 in increasing order.
-5, x, m
Let j be (-2)/(-6) + (-1848)/15660. Let l = j + 1/145. Sort l, -0.5, -0.1.
-0.5, -0.1, l
Let o(m) = -m**3 + 5*m**2 - 4*m + 5. Let p be o(4). Suppose 4*c - p = -21. Sort 5, -1, c in ascending order.
c, -1, 5
Let b = 0.8 - -2.2. Let s = -7.5 + 8. Sort s, 2, b in descending order.
b, 2, s
Let s = 12/11 + -14/11. Let d = 5 + -1. Put d, -0.4, s in descending order.
d, s, -0.4
Suppose -5*q + 21 = 4*f - 24, -40 = -4*q - 4*f. Sort -4, -2, q in ascending order.
-4, -2, q
Let q = 10 - 9.9. Put -0.3, -5, q in decreasing order.
q, -0.3, -5
Let z = -128 + 130. Sort 0.03, z, 2/3, 5.
0.03, 2/3, z, 5
Let s = -3/8 + -1/40. Sort -2, s, -1.
-2, -1, s
Let d(k) = 3*k + 62. Let g be d(-16). Put g, 0, 2 in descending order.
g, 2, 0
Let u(t) = 3*t**2 - 3*t - 5 + 10*t - 4*t**2. Let b be u(6). Let l = 56 + -223/4. Sort l, -2/5, b.
-2/5, l, b
Suppose -4*u = -12 - 0. Suppose 4*c + c = 0. Sort u, 5, c in decreasing order.
5, u, c
Let x = 5.19 - 0.19. Sort 0.2, x, -1/4 in decreasing order.
x, 0.2, -1/4
Let a(p) = -p + 5. Let o be a(2). Suppose -4*m - 2*v + 0*v = -14, 2*m - 2*v = -2. Let t be m*-1 + 1 + 1. Sort o, t, -2 in descending order.
o, t, -2
Suppose x + 10 = 3*z - 2*z, 0 = -x - 5. Suppose -j + 1 = -1. Suppose j*d - 8 = t, 0 = -2*d + d - 5*t - 7. Put d, 2, z in increasing order.
2, d, z
Let b be 4/30 + (-14)/105. Sort 7, -1, b.
-1, b, 7
Let o = 2 + 106. Let w be 32/18 + 24/o. Sort 1, 3, w.
1, w, 3
Let f = 0.09 + 2.91. Put f, 2/5, 2/11 in decreasing order.
f, 2/5, 2/11
Suppose 5*u + 5*k = 30, -5*k - 1 = 2*u - 16. Suppose -u*o + 24 = d, 10*o = 5*o + 4*d + 29. Let x(r) = -r**2 - 5*r + 1. Let p be x(-6). Sort p, -4, o.
p, -4, o
Suppose m + 1 = -3*u, -5*u = -4*m + 57 + 7. Suppose 0*x - x - m = 5*a, 4*x - a = -2. Sort 4, 3, x in descending order.
4, 3, x
Let o(r) = -r + 4. Let b be o(4). Suppose 5*u - 15 = 2*v, 6*u = 2*u + 4*v + 12. Let d be 4/(-4 + (0 - -2)). Put u, b, d in ascending order.
d, b, u
Let o be 7/(21/(-6)) + -2. Suppose 0 = 4*z - 5*z. Put 5, z, o in increasing order.
o, z, 5
Let c = -19.3 - -2.3. Let z = -18.4 - c. Let u = 0.4 + z. Put 3, u, -0.4 in decreasing order.
3, -0.4, u
Let x = 81.9 + -82. Put 0.5, 3, x, 0.1 in increasing order.
x, 0.1, 0.5, 3
Let y = 13/34 + 2/17. Sort 2/3, 1/4, y in descending order.
2/3, y, 1/4
Suppose m + 3*c + 2*c = -5, 0 = 3*m + 5*c + 5. Suppose j - 1 + 0 = m. Let x = -2 - j. Sort 4, 1/3, x.
x, 1/3, 4
Let w = -25 - -30. Let t be (-1)/(-3) + 11/3. Put -4, t, w in increasing order.
-4, t, w
Let l(q) = -q**3 + 5*q**2 + 5*q + 2. Let u be l(6). Suppose -5*y + 0*y = 5*s + 25, -3*s = 5*y + 25. Sort 1, y, u in descending order.
1, u, y
Let r(o) = -o**3 + 2*o. Let g be r(1). Sort -1, -4, 3, g.
-4, -1, g, 3
Suppose 0 = d + 1 + 3. Suppose 41 = 5*h + 31. Sort d, 4, h in decreasing order.
4, h, d
Let j = 2.3 - 2. Sort 0, -1, j in decreasing order.
j, 0, -1
Let m be 0 + (7 + -3 - 5). Put -9, m, -3 in descending order.
m, -3, -9
Let w(c) = c**3 - 5*c**2 - 7*c + 7. Let d be w(6). Suppose -2*o - 3 = -9. Suppose -2*j + 8 = -r + 3*r, -o*r - 5*j + 10 = 0. Sort -4, r, d in descending order.
r, d, -4
Let s = 0.3 - -0.2. Let q = 12 - 12.1. Let z be 1*-2*-1 - 0. Sort q, s, z in decreasing order.
z, s, q
Let a be (-1 - 5) + 0 + 1. Let o(f) be the second derivative of -f**4/12 + 5*f**3/6 + f**2/2 - 2*f. Let w be o(5). Sort a, -1, w.
a, -1, w
Let g be 602/(-105) - 0/1. Let b = 27/5 + g. Put 0.2, -1, b in decreasing order.
0.2, b, -1
Let f = 5.78 + -0.78. Sort -2/17, f, -1/2 in decreasing order.
f, -2/17, -1/2
Let l = -19 - -17. Suppose -2*h = -4*c + 2 - 22, 5*c - h + 25 = 0. Let x(z) = -z**3 - 6*z**2 - 6*z - 3. Let g be x(c). Sort g, l, -1/5.
l, -1/5, g
Let c = 41 - 45. Sort 0, c, -1.
c, -1, 0
Let x be 2/((-2 + 1)*2). Let c(d) = d**2 - 4*d + 2. Let t be c(4). Put t, x, 1 in decreasing order.
t, 1, x
Let j = 0 - 1. Sort -2, j, 3 in decreasing order.
3, j, -2
Let i = -5.3 + 5. Let o = 0.23 + 0.07. Let d = i + o. Sort 5, 0.5, d in decreasing order.
5, 0.5, d
Let k = 17 + -13. Let a be (-5 + 1)*(-3)/4. Suppose -3*o = 4*s - 4, o = 5*o. Sort a, k, s in decreasing order.
k, a, s
Let q be (7 + -1)*(-2)/(-4). Suppose 2*t - 7 = -x, 2*x + 21 = -q*x + 4*t. Sort 2, x, 1/3 in ascending order.
x, 1/3, 2
Let t = 25 - 23. Let m = -3 + 4. Put t, 5, m in descending order.
5, t, m
Let g = -28 - -16. Let l = g - -7. Sort l, 3, 2 in decreasing order.
3, 2, l
Let q be (-3)/6*(-18)/(-3). Suppose y = 3*r - 118, 1 = r + 4*y - 21. Let h be r/8 - (-2)/8. Sort q, h, -1 in decreasing order.
h, -1, q
Let g be (-1)/(-6)*308/(-33). Let i = g + 106/45. Put 2, -5, i in increasing order.
-5, i, 2
Suppose 8*u + 12 = 2*k + 12*u, k + 4*u = 14. Suppose 4*b = 8*b - 16. Put k, b, 3 in ascending order.
k, 3, b
Suppose 24 = 5*q + 3*u, -2*q + 9*u - 4*u - 9 = 0. Suppose -5*t + 0 = -q*w - 5, 0 = -2*w + 4*t - 2. Let i = w - -9. Sort -3, 0, i in increasing order.
-3, 0, i
Suppose 30 = -4*v + 14*v. Sort v, 7, -1/4 in descending order.
7, v, -1/4
Let v = 0.54 - 0.04. Sort 5, 3, v.
v, 3, 5
Suppose -8*b + 3*b - 82 = -3*p, 2*p - 4*b - 56 = 0. Put -3, p, 0.5, -0.3 in descending order.
p, 0.5, -0.3, -3
Let r be 2/(-8) + (-5)/(-4). Let l be -2 + 6 + 0 + 0. Let q be (-2 - -2) + 3/(-1). Put l, q, r in ascending order.
q, r, l
Let o = 2/243 - -725/486. Put o, -4, 0.1, 2 in decreasing order.
2, o, 0.1, -4
Let j be 20/8*10/(-