 = -11.8 + 1.8. Sort 0, -2/5, p in descending order.
0, -2/5, p
Let s(j) = -j - 8. Let d be s(-4). Put 10, -3, d in increasing order.
d, -3, 10
Let l = 19 + -18.94. Let g = l + 0.94. Sort g, -1/4, 3/4 in descending order.
g, 3/4, -1/4
Suppose 3 = 4*g - 1. Let r be g/1*(-4 - -2). Sort 5, r, 1 in decreasing order.
5, 1, r
Suppose 10 = z + 4. Suppose -j + z*j = -10. Put j, -1, 5 in descending order.
5, -1, j
Let n(l) = -l**2 + 9*l - 13. Let y be n(6). Sort -5, -3, y.
-5, -3, y
Let k(v) = -3*v. Let n be k(-1). Sort -6, n, -1 in ascending order.
-6, -1, n
Suppose 5*d = 4*h + 10, d - 5*d - 18 = 2*h. Let b be -2*((-1)/d - 1). Let l = 18 - 13. Put b, -5, l in descending order.
l, b, -5
Let g = 0.1 + -0.3. Let t = 10 - 9. Sort t, g, 0.2 in descending order.
t, 0.2, g
Suppose 0 = 9*y - 14 + 5. Let o(k) = k**3 - 7*k**2 + 5*k + 1. Let w be o(6). Sort 2, w, y.
w, y, 2
Suppose 0*u = -3*u + 30. Put u, -2, 3 in decreasing order.
u, 3, -2
Let p(u) = u + 5. Let o be p(-3). Suppose -14*s = -11*s + 18. Put -2, s, o in descending order.
o, -2, s
Let q be (-5 - -6)/(2 - 3). Sort 11, 4, q.
q, 4, 11
Let o = -2/7 - 1/21. Put 0.5, o, 0.2 in decreasing order.
0.5, 0.2, o
Suppose 5*m + 23 - 3 = 0. Put 4, m, -1 in descending order.
4, -1, m
Let k(x) be the third derivative of x**5/60 + 13*x**4/24 + 7*x**3/6 - x**2. Let f be k(-12). Sort f, -1, 0 in decreasing order.
0, -1, f
Let y = -0.59 - 11.81. Let l = y + 9. Let n = -3 - l. Sort -2/5, 2/3, n in descending order.
2/3, n, -2/5
Let f = -9 + 9.4. Let u = 7 + -11. Sort u, 5, f in decreasing order.
5, f, u
Let u = -0.07 + -0.01. Let b = -0.026 - -4.946. Let m = u - b. Sort -2, -0.1, m.
m, -2, -0.1
Let m be ((-2)/4)/(6/48). Sort 3, m, 4, 0 in increasing order.
m, 0, 3, 4
Let n = -18 + -2. Let v be -10*(n/(-8))/5. Sort v, -2, 4.
v, -2, 4
Let c = 0.13 + -5.13. Let m = 0.01 + -2.01. Let k = 0.7 - 0.4. Sort k, m, c in ascending order.
c, m, k
Let d be (4/3)/((-10)/75). Let n(f) = 2*f**3 - 2*f**2 - f - 2. Let x be n(2). Let k = x + d. Sort 1, k, 5 in descending order.
5, 1, k
Let b(c) = -2*c - 1. Let t be b(-5). Let d = -15 + t. Let n be ((-1)/d)/((-6)/(-9)). Put n, -0.4, -1/2 in descending order.
n, -0.4, -1/2
Let o = 948/5 + -189. Let a = 2 + -2. Suppose l + 4 = -a. Sort l, o, 0.2.
l, 0.2, o
Let f = -2 - -7. Suppose 2*w = f*q - 23, 2*q - 3 = q + 2*w. Let m = 0 + 4. Sort q, -5, m in ascending order.
-5, m, q
Let u = 18 + -9. Suppose -5*y = -u - 11. Suppose 3*q - 5*q - y = 0. Put -1, -3, q in increasing order.
-3, q, -1
Let o(k) = k + 1. Let i = 6 + -3. Let v be o(i). Let c(u) = -3*u**3. Let b be c(1). Put b, 5, v in ascending order.
b, v, 5
Suppose -12 - 5 = 4*z - 3*p, 17 = z - 5*p. Let g be 6/z - 1/(-4). Put -0.4, g, 0.2 in descending order.
0.2, -0.4, g
Suppose -f = -3*f + 2. Suppose f = 5*n - 4. Sort n, 2, 4.
n, 2, 4
Suppose 6 = 3*s - 4*s + 3*o, -4*s + 12 = -3*o. Suppose -2 = s*b - 5*b. Sort -3, -4, b in decreasing order.
b, -3, -4
Let h = 1 - 1. Sort -5, h, -2/13 in decreasing order.
h, -2/13, -5
Suppose -39 + 35 = 2*a. Put 1, a, 3, 2 in descending order.
3, 2, 1, a
Let a be 11 - (-2 - -5) - 3. Suppose -a = -5*r - 0. Let b = -4 - -6. Put r, b, 4 in descending order.
4, b, r
Let i(w) = w**2 - 4. Let p be i(3). Suppose p*k - 5 + 0 = 0. Suppose 4*l - 1 = 2*j + 3, -3*l + 2*j = -5. Sort l, 4, k in descending order.
4, k, l
Let h = -1/4 - 1/4. Let y = 24.8 - 19.83. Let q = y + 0.03. Sort q, h, -3 in descending order.
q, h, -3
Suppose z - 2*z = -4. Suppose 4*o = 4, l + 9*o = 4*o + z. Sort l, 6, -2.
-2, l, 6
Suppose 5*c = c + 8. Suppose -2*r + r = c. Put 0, r, 1 in descending order.
1, 0, r
Let g(u) = 2*u**2 + 3*u + 10. Let v be g(-10). Suppose v = 3*h - 36. Let s = -214/3 + h. Put -0.4, 1/6, s in descending order.
s, 1/6, -0.4
Let m = 132 - 129. Put m, 4, -10 in ascending order.
-10, m, 4
Suppose -m + 3*m + 12 = -5*y, 0 = -4*m - y + 12. Let k = 1 - 9. Let w = -12 - k. Sort 2, w, m.
w, 2, m
Let h(y) = -y**2 + 6*y - 7. Let r be h(5). Let q be (-33)/r*2/(-3). Let s = -6 - q. Put 1, -1, s in ascending order.
-1, 1, s
Let y(m) = -2 - 4 + 3*m + 0*m - m**2 + m. Let x be y(4). Put 5, x, 1 in increasing order.
x, 1, 5
Suppose -3*r - 6 = 0, -2*r - 10 = -2*y + r. Suppose -y*c + 7 = 1. Let x be 1/2*(0 + -1). Sort c, x, 0.4 in descending order.
c, 0.4, x
Let y = 0.01 - -3.99. Suppose -2*i - 4*i = 0. Let z = -1 + 6. Put y, z, i in decreasing order.
z, y, i
Let t = -8.4 - -8.1. Sort t, 0, -2/3, 0.4 in descending order.
0.4, 0, t, -2/3
Suppose 4*f + 5 = -5*l, 2*f + 1 = -l - 6. Let t = l - 8. Put t, 3, 1 in descending order.
3, 1, t
Let c = 0.64 - 0.14. Put -12, c, 0 in increasing order.
-12, 0, c
Let d = 47 + -42. Sort d, -1, 1, 2/3.
-1, 2/3, 1, d
Suppose -5*n + 19 = 4*a, -3*n + 1 = -4*n + 4*a. Suppose n*d + 3*c = -d + 31, -5*c + 5 = -5*d. Suppose 4 = -d*y - 12. Put y, 0, 4 in descending order.
4, 0, y
Let j(i) = 2*i + 4. Let a be j(-3). Let y = -0.009 + 5.009. Sort y, 3, a.
a, 3, y
Let c = 3.5 + 0.5. Let s = -0.8 + -0.2. Put c, s, 2 in decreasing order.
c, 2, s
Let d = -18 - -18. Sort -5, d, -0.02 in decreasing order.
d, -0.02, -5
Let r be -5 + 0 + (-1)/1 + 0. Sort -2, -3, r in increasing order.
r, -3, -2
Suppose -2*s - 3*s = -10. Let a be 2 - s*(-1)/(-2). Suppose -4*g = 2*b + 4, -3*g = 8*b - 3*b - 11. Sort g, 3, a in decreasing order.
3, a, g
Let d be (-17)/(-3) - 24/36. Sort -3, -5, d, 0.
-5, -3, 0, d
Let f = 175 + -174.9. Let o = -277/2 + 136. Let d = 0.1 + -0.1. Put d, f, o in ascending order.
o, d, f
Let k = -10 + 3. Let v = -2 - k. Let u = -0.5 - -0.9. Sort u, -4/5, v in decreasing order.
v, u, -4/5
Let s = -0.03 - -0.63. Let d = -20 + 99/5. Put s, -1, d in descending order.
s, d, -1
Let r be (4 - 1) + (2 - 1). Let o(t) be the second derivative of -t**4/12 - 2*t**3/3 + 7*t**2/2 + 2*t. Let n be o(-6). Sort r, 1, n.
n, 1, r
Let u = -6 + 3. Let v be (1/(-3))/(10/(-60)). Put 0, v, u in increasing order.
u, 0, v
Let p = 3 + -1. Let b = -17 - -13. Put p, b, 3 in descending order.
3, p, b
Let v be 10/28 + (-1)/2. Let l = 18 + -17. Put 3, v, l in ascending order.
v, l, 3
Let m = -95.06 + 98. Let v = 3 + -2.94. Let i = m + v. Sort i, -0.4, 2.
-0.4, 2, i
Suppose -3 - 1 = 2*m. Let i(r) = -r - 5. Let h be i(-4). Put h, m, 1 in ascending order.
m, h, 1
Suppose -22 - 20 = -2*v + 5*b, -v - 9 = 5*b. Let q = -7 + v. Suppose s - q*s = -15. Sort s, 4, -1 in decreasing order.
s, 4, -1
Let d be 0 + 0 + 4/(-2). Let y = d + 10. Suppose s + 3 - y = 0. Put -3, -2, s in decreasing order.
s, -2, -3
Let g = 7 - 11. Suppose 0*n = n + 3. Put n, -1, g in increasing order.
g, n, -1
Let f = 0.1 + 0. Let j = 0.2 + f. Let q = -7 + 6.7. Put j, 0.2, q in increasing order.
q, 0.2, j
Let m = -218/259 - -10/37. Put -5, m, 0.4 in ascending order.
-5, m, 0.4
Let d(a) = -a**3 - a**2 + 2. Let u be d(0). Suppose -4*q + 2*i + 2 = 0, 4*q + 3*i + 13 = 2*i. Put q, 1, u in ascending order.
q, 1, u
Let f = 88471/1047 - -1/2094. Let i = -83 + f. Sort i, -4, -11 in ascending order.
-11, -4, i
Suppose -4*i - 3 = -11. Suppose 72 = 5*h + i*v + v, -20 = -h - 2*v. Let z be 2/(-6) - 8/h. Sort 0, -4, z.
-4, z, 0
Suppose 5*t - 2*t + 6 = 0. Sort 0, t, 4 in descending order.
4, 0, t
Let w = -10.3 + 4.6. Let g = 6 + w. Sort 0, -0.5, g.
-0.5, 0, g
Let a be ((48/(-30))/2)/((-1)/10). Sort -5, a, 5 in descending order.
a, 5, -5
Let s be 2/(-8) - (-25)/(-60). Let f = -0.1 + 0.4. Put s, f, -4 in increasing order.
-4, s, f
Let r(u) = u**3 - 5*u**2 + 4*u. Let l be r(4). Let o be 170/(-15) + (-1)/(-2). Let y = 11 + o. Put l, y, 4 in decreasing order.
4, y, l
Let z = -7 - -6.6. Sort z, 0.5, -5 in descending order.
0.5, z, -5
Suppose 2*n + 2 = 5*j + 15, 4*j - 31 = -3*n. Let c = n - 5. Let o = -0.03 + 0.33. Sort c, -2/13, o in descending order.
c, o, -2/13
Let p be -3 - (-40)/25 - 9/15. Sort -3, 6, p in descending order.
6, p, -3
Let d be (2 + -5 - -5) + -2. Put 2, -1, d in descending order.
2, d, -1
Let p be 8/70*10/4. Let c be (-48)/14 + 3/1. Sort c, -4, p.
-4, c, p
Suppose g - 3*g = 3*g. Sort -2, 3, -3, g.
-3, -2, g, 3
Let q(m) = -m**2 + 6*m - 3. Let j be q(5). Suppose p + 3*d = 4*d - 4, -j = 5*p + 4*d. Let t = -0.11 + 0.11. Sort -5, t, p.
-5, p, t
Let k = 1417/30 - 232/5. Put 6, k, 2/3 in increasing order.
2/3, k, 6
Let y be (6/(-8))/(3/1). Let q = -11 - -11.06. Let z = q + -0.26. Sort z, 0.4, y in increas