*2 + 15*t - 35. Let w be r(12). Put -24, w, 5 in ascending order.
-24, w, 5
Let f = -39 + 235/6. Put f, 0, -9 in descending order.
f, 0, -9
Suppose -16*n + 20*n = -4. Sort 2, -6, n in descending order.
2, n, -6
Let c be 2/(-4) + (-20)/8. Put c, -2, 5 in decreasing order.
5, -2, c
Let t be (-16)/(-15) + 10/25*-1. Put t, 1/8, -2/11 in descending order.
t, 1/8, -2/11
Let a = -5.3 - -0.3. Let g = 0.7 + -0.5. Put 4, g, a in descending order.
4, g, a
Let h = -1.9 + 1.5. Put h, -0.1, 4 in increasing order.
h, -0.1, 4
Let k = -0.74 - -0.3. Let h = -0.06 + k. Let q be -2*(-22)/(-36) - -1. Sort -3, q, h.
-3, h, q
Let m = -0.078 + 0.478. Let f be ((-3)/60)/((-1)/2). Sort -2, m, f in decreasing order.
m, f, -2
Suppose 0 = 3*i - 0*i. Let y(w) = w**3 + 2*w**2 - 1. Let d be y(1). Let r be 8*-1*1/(-2). Put i, d, r in decreasing order.
r, d, i
Let u = -0.03 - -0.02. Let w = u - 0.29. Put -0.1, w, -1 in decreasing order.
-0.1, w, -1
Let m = -14 + 20. Suppose -4*l - 2 = m. Put 1, 0, l in decreasing order.
1, 0, l
Let p = 10 + -9.93. Let n = -5.07 + p. Let o = 0.2 + -0.3. Sort n, o, 4.
n, o, 4
Suppose -2*k - 3*w - 30 = -5*w, 4*w = -2*k - 18. Put 4, -5, k in increasing order.
k, -5, 4
Let j(s) = s + 4. Let t be j(-2). Sort -5, t, 3 in decreasing order.
3, t, -5
Let p = -0.1 - -3.1. Let q = -19 + 24. Put -2, p, q in increasing order.
-2, p, q
Let d = 13 - 18. Let n = 46 - 185/4. Let v = -0.01 + -0.39. Sort v, d, n in descending order.
n, v, d
Let w = -5 - -6. Sort -2, 0.5, w in decreasing order.
w, 0.5, -2
Let a(q) = -q**3 + 4*q**2 - 3*q - 4. Suppose -4*k - 32 = -2*l - 6*k, 3*k + 72 = 5*l. Suppose 0*o + 5*o = l. Let v be a(o). Sort 0, v, -5.
-5, v, 0
Let u be (-2)/(-3) + (-1)/15. Let n = 59 + -38. Let g = 21 - n. Put g, u, -3 in ascending order.
-3, g, u
Suppose -4*b - 3*m - 27 = 0, 3*b + 0*b = -2*m - 19. Let r be 6 - 5 - (-1 + 0). Put b, r, 3 in descending order.
3, r, b
Let q = -7.99 + 8. Let o = 0.11 - q. Put 3, o, 0 in increasing order.
0, o, 3
Suppose 0 = a + d + 2, -2*a + d - 3 + 5 = 0. Suppose 4*g - 17 = -r, -r + 2*g = 7 - 0. Put r, a, -1 in ascending order.
-1, a, r
Let n(b) = 4*b - 3. Let i be n(2). Let j = 2 - i. Let t(g) = g**2 - 4*g. Let z be t(4). Sort z, j, -2.
j, -2, z
Let s be 61/(-7) + (-6)/21. Sort -4, 5, s in descending order.
5, -4, s
Let m = -9/5941 + 547355/516867. Let a = m - -8/29. Put 2/15, a, 5 in decreasing order.
5, a, 2/15
Suppose l = 1, -7*l + 7 = -2*p - 2*l. Suppose -u + f + 4*f = 0, 0 = 4*u - 3*f - 17. Sort u, -3, p in increasing order.
-3, p, u
Let t = 17.3 - 18. Let b = 5.8 - t. Let h = -7 + b. Put h, -3, 4 in decreasing order.
4, h, -3
Let a be (1 + -1)*-1 - -3. Put -1, a, 7 in ascending order.
-1, a, 7
Let n be (-1)/((1 + 0)*-1). Let z be 2*-1 + 2 - -21. Suppose 0 = -r - k - 4*k + 17, -3*k = -3*r - z. Sort n, 5, r in increasing order.
r, n, 5
Let r = -6 - -13. Suppose -5*b + r = s - 7, 2*b - 29 = -3*s. Let w = s - 4. Sort -4, w, 1.
-4, 1, w
Suppose -3*i - 2*i - 2*v = -10, 23 = 2*i - 3*v. Suppose -2*n + 0*o + 24 = -i*o, 0 = 4*n - 2*o - 18. Sort 5, -3, n.
-3, n, 5
Let w = -27 - -134/5. Suppose -8*h = -4*h. Suppose -3*n + 1 - 7 = h. Put w, n, -0.1 in ascending order.
n, w, -0.1
Let w(n) = n**3 + 7*n**2 + n + 9. Let k be w(-7). Suppose 0 = -k*d - d + 3*x - 93, 0 = d - 5*x + 35. Let t be (2/(-6))/(2/d). Sort -4, t, 2 in decreasing order.
t, 2, -4
Let t = -1.99 - 0.01. Put t, -4, 3 in descending order.
3, t, -4
Let u = -9 + 12. Sort 0.2, -5, u in increasing order.
-5, 0.2, u
Let l(a) = -4*a**3 + a**2 + a. Let w be l(-1). Let f be w/(-6) + 64/24. Let r(d) = -d**2 + 4*d + 1. Let y be r(4). Put y, f, -4 in ascending order.
-4, y, f
Let d = -163 + 170. Sort -0.02, d, 5 in decreasing order.
d, 5, -0.02
Let n = 4 - 1. Suppose 12 = -n*a + 6*a. Suppose 15 = 5*r - 2*r. Sort -5, a, r in descending order.
r, a, -5
Let c = -5 + 4.8. Let v = -0.52 + -0.08. Let s = v - c. Put -2/3, 1, s in ascending order.
-2/3, s, 1
Suppose 0 = 2*o - 7*o - 45. Let u be o/(-8) + 6/(-8). Let p = -0.4 - -0.3. Put u, p, 1 in descending order.
1, u, p
Let g be 15/(-21) - 2/7. Let b = g + 1. Sort 4, -5, b in decreasing order.
4, b, -5
Let m(y) = -y**3 - 4*y**2 - 4*y - 4. Let q(k) = 2*k + 9. Let f be q(-6). Let h be m(f). Let g = 393 - 396. Put g, h, 5 in descending order.
5, h, g
Let y(c) = c**3 + c**2 + c. Let x(d) = 3*d**3 + 12*d**2 - 9*d + 1. Let z(s) = x(s) - 2*y(s). Let m = -11 + 0. Let f be z(m). Sort f, -1, -5 in decreasing order.
f, -1, -5
Let z(c) = c**3 - 4*c**2 - 5. Suppose -w = -3*w + 8. Let n be z(w). Let m(a) = a**3 + 2*a**2 - 1. Let v be m(-1). Sort 3, v, n in increasing order.
n, v, 3
Let r = 0.02 + -3.02. Let p(n) = -n**3 - 4*n**2 + n - 1. Let f be p(-4). Sort f, -1/4, r in descending order.
-1/4, r, f
Let i(s) = -s**2 + 4*s - 5. Let y be i(4). Sort -4, y, 4.
y, -4, 4
Suppose 0 = 5*i + 4*l + 235, -3*i - 4*l + 8*l - 173 = 0. Let o = i + 256/5. Put -0.1, 2, o in descending order.
2, o, -0.1
Let b be ((-5)/4)/(3/(-12)). Let u be 4/(-6)*(1 + 2). Suppose 14 = 4*w + 10*o - 8*o, 2*w + 4*o - 16 = 0. Sort w, b, u in decreasing order.
b, w, u
Let m be -1 - (12/(-4) - 3). Sort m, -5, 1 in decreasing order.
m, 1, -5
Suppose -3*z + 2 + 4 = -3*f, 0 = -z + 5*f + 14. Let h = -0.04 - -0.24. Let k be 3*(-2 + (-40)/(-21)). Sort k, z, h in decreasing order.
h, k, z
Let h be 14 - (-3 + 1 + 3). Let j be (3/1)/((-1)/3). Let q = h + j. Sort q, 2, -2 in ascending order.
-2, 2, q
Let t be 4/(-32) + (-17)/(-8). Sort t, 4, -57, -3 in decreasing order.
4, t, -3, -57
Suppose 0 = 5*u - 0 + 5. Let l(r) = -r - 3. Let d(b) = -2*b - 7. Let y(a) = 3*d(a) - 7*l(a). Let g be y(-4). Sort u, 5, g.
g, u, 5
Suppose -5*c - 15 = 0, -5*x - 5*c + 5 = -0*x. Let v = 0 - -2. Suppose 2*l + 6*y + 10 = v*y, 5*l = -3*y + 3. Sort -4, x, l.
-4, l, x
Let k(j) = j**3 + 3*j**2 - 6*j - 4. Let g be k(-4). Let h = -7 + g. Suppose -3*x - 7 = 5*a, -2*a = -3*x - 6 - 8. Sort a, h, 5 in decreasing order.
5, a, h
Suppose 0 = 3*n + 5*r - 1 + 3, -n - 4*r - 10 = 0. Suppose 0 = 5*k - 3*m - n + 20, k - 2*m = -7. Let f be -1*(2 - 3/k). Sort 3, f, -2 in decreasing order.
3, -2, f
Let m be (-90)/24 - 8/(-2)*1. Let d = 0 + -0.2. Put m, -6, d in decreasing order.
m, d, -6
Let q(i) = -i - 5. Let u be 2/(-9) - (-32)/(-18). Let k(r) = -r**2 - r - 2. Let s be k(u). Let l be q(s). Sort -3, 5, l in increasing order.
-3, l, 5
Let m be (5/20)/(10/(-8)). Put m, 6, 0.5 in decreasing order.
6, 0.5, m
Suppose 0 = 3*a + m + 9, 5*a + m = -m - 15. Let k = a - -8. Let d = -4.4 - 0.6. Put d, k, 0.3 in decreasing order.
k, 0.3, d
Let u = -15 - -13. Put 5, u, 4 in descending order.
5, 4, u
Let p be -4 - ((-22)/5)/1. Put 0, 0.1, p in descending order.
p, 0.1, 0
Let m = -84 + 82. Sort m, 1, 3, -4.
-4, m, 1, 3
Let n be 6 + 39/(-6) + 4/(-8). Let r = 0.06 - -2.94. Let k = 1/93 - -181/465. Put r, n, k in increasing order.
n, k, r
Let b be (1 - (0 + 0))*4. Sort -1, 5, b in descending order.
5, b, -1
Suppose -19 = 8*n - 3. Suppose -6*z = -3*z + 3*c + 12, 4*c = -2*z - 10. Put z, 2, n in descending order.
2, n, z
Let w(p) = 2*p**3 + 17*p**2 + 11*p + 12. Let m be w(-8). Sort 5, m, 0.
m, 0, 5
Let y = -0.14 - -0.04. Let z = 0.4 - y. Sort -0.2, z, -3.
-3, -0.2, z
Let w be 5/20*(51 - (-4 - -3)). Sort -3, -2, 1, w in ascending order.
-3, -2, 1, w
Suppose 4*i + 4 = -0. Let a(l) = l**2 + 5*l - 6. Let c be a(-7). Let r be (c/14)/(10/35). Sort i, r, 5 in ascending order.
i, r, 5
Let k be (-388)/(-16) - 1/4. Suppose -w - 3*w + k = 0. Let o(m) = m**2 - 6*m + 2. Let z be o(w). Put 6, -2, z in decreasing order.
6, z, -2
Let j = -6 + 9. Let p be 14/(-2) - -1*1. Let i = -6 - p. Sort -2, j, i in decreasing order.
j, i, -2
Let a = 88 + -88.2. Put 0.2, a, 40 in ascending order.
a, 0.2, 40
Suppose -8 = -y + 2*x, -2*x + 4 = -x. Let q be (-10 - -1)/((-12)/y). Suppose c = -k + 2, 5*k = -5*c + c + q. Put 0, 2, c in ascending order.
c, 0, 2
Let r be (2/1)/(-5 - -7). Put -5, 3, r, 0 in descending order.
3, r, 0, -5
Let j(m) = 2*m - 1. Let g be j(3). Suppose -g*d + 4 = -1. Suppose -6*h = -h - 10. Put h, d, 0 in increasing order.
0, d, h
Suppose 4*w = -2*w + 6. Let h be (-3)/(-1 - (0 + -2)). Sort h, 2, w in ascending order.
h, w, 2
Suppose -2*y = -6 + 2. Suppose 0*z - 5*z - 5 = 0. Sort z, 4, y.
z, y, 4
Let p = 821/9 + -91. Put p, -5, 0.95 in descending order.
0.95, p, -5
Let g be 