pose 0 = -15*l + 26*l + 33. Let w = 8 - 6. Sort w, -8, l in increasing order.
-8, l, w
Suppose 33*k = -3*u + 38*k - 37, k = 4*u + 21. Sort 16, u, -1, 5 in decreasing order.
16, 5, -1, u
Let q(o) = 3*o**3 + 55*o**2 + 16*o - 36. Let l be q(-18). Sort -24, -3, 4, l in descending order.
4, l, -3, -24
Let x = -47 + 65. Let f = -19 + x. Sort -88, -2, f in ascending order.
-88, -2, f
Let c(q) = q**3 - 15*q**2 + 38*q - 24. Let h be c(12). Sort h, 4, -27, -0.1.
-27, -0.1, h, 4
Let n = -37 + 34. Suppose -u = -4*c + 3, -10*c + 5 = -5*c. Let m = 13 - 8. Put m, u, n in ascending order.
n, u, m
Let f = -33 - -23. Let p(k) = -2*k - 19. Let q be p(f). Sort 3/4, 0.3, q.
0.3, 3/4, q
Let v = -755 + 5282/7. Put -3/2, 1, v in increasing order.
-3/2, v, 1
Suppose 4*s = -3*p + 31, -5*p - 4*s - 8 + 49 = 0. Let b = 1053 + -1058. Put p, -1, b in ascending order.
b, -1, p
Let x be (399/14)/19*-1. Let l = -6.3 - -6. Sort l, -1/2, x in increasing order.
x, -1/2, l
Let g be 2/6*3*4/4. Put 9, g, -8 in ascending order.
-8, g, 9
Let a = -114 - -121. Let o = -12 + 9. Let l(c) = -c**3 + c + 2. Let v be l(0). Sort o, a, v.
o, v, a
Suppose -3*v + 0 = -6. Suppose -2*i + 13 = w, 2*i + 18 = w + 5*i. Let h = 685 + -685. Sort h, v, w.
h, v, w
Let j = -1412 + 1412. Sort j, -4, -11.
-11, -4, j
Let l = 482.9 - 483. Let b = -0.45 - -0.2. Put 1/2, 4, b, l in increasing order.
b, l, 1/2, 4
Let f = 233 - 229. Let r = 0.08 - 0.04. Sort -3/5, r, f.
-3/5, r, f
Let m = 16 - 43. Let p = m + 11. Let i(t) = -t**3 - 15*t**2 + 16*t + 5. Let v be i(p). Sort v, -5, -12.
-12, -5, v
Suppose 14*g = 10*g + 120. Sort 0, g, -4, -5.
-5, -4, 0, g
Suppose -3*f - f - 16 = 0, 4*f = -3*v - 88. Sort v, -8, -3.
v, -8, -3
Let j = -1611 - -1608. Sort j, 5, -17 in descending order.
5, j, -17
Let m = 227.6 + -228. Sort m, -1.7, 0 in decreasing order.
0, m, -1.7
Let z be 1*(-3 + -4)*-2. Suppose z = -5*g + 29. Suppose -8*t = -4*t - 8. Put t, 0.9, g in descending order.
g, t, 0.9
Let b = -0.13 + -24.87. Let q = 23 + b. Let p = 1.3 + -0.3. Put p, 0, q in descending order.
p, 0, q
Let c = -20.5 - 12.5. Sort 3, 5, c in increasing order.
c, 3, 5
Let l(u) = -u**2 + 32*u + 84. Let w be l(34). Put 2, w, -1, -0.4 in descending order.
w, 2, -0.4, -1
Let w(v) = -3*v + 101. Let a be w(34). Sort 7, 3, -1/9, a in increasing order.
a, -1/9, 3, 7
Let l = -0.6 + -1. Let u = -3.4 + l. Let b be (1*(-1)/2)/(-1). Sort u, 5, b in descending order.
5, b, u
Let o = 2 - -30. Let h = -37 + o. Put -2, 5, h in decreasing order.
5, -2, h
Let k = -0.6 + -1.8. Let l = k - -2. Let j = -2.278 + 2.378. Put j, -0.02, l in descending order.
j, -0.02, l
Let z = -1 - 3. Suppose -5*i + 0*i - 20 = 0. Let f(x) = 2*x**2 + 10*x + 5. Let r be f(i). Sort z, r, 2 in descending order.
2, r, z
Suppose 5 = 4*l - 15. Suppose 190*d = 199*d + 45. Suppose -4*a - 3*g = 3, -6 + 2 = 4*g. Sort d, a, l in increasing order.
d, a, l
Suppose -2*d = -3*t - 13 - 15, -2*d - t = -44. Let v = d + -20. Sort 4, -6, v in ascending order.
-6, v, 4
Let a = -133/6 + 395/18. Let u = -9 + 7. Put -11, u, a in ascending order.
-11, u, a
Let k be (-3)/6*(2 - 2). Let p = -1 + k. Let o be (-1)/p*(11 - 6). Put -0.4, o, -1 in ascending order.
-1, -0.4, o
Let j be (-72)/18*(-2)/(-12)*3. Sort -5, 0, j in descending order.
0, j, -5
Let p = 12.3 - 12.2. Sort 5, p, 50 in descending order.
50, 5, p
Let t(d) = d**3 + 6*d**2 + 2*d - 15. Let f be t(-5). Put -2, 36, f in ascending order.
-2, f, 36
Suppose 4*h = 2 - 14. Let d = -28 - -28. Sort d, -0.4, 0.5, h.
h, -0.4, d, 0.5
Let i(k) = k**2 + 4*k - 4. Let u be i(-5). Let g be 37588/660 - 1/(-5). Let y = g + -172/3. Sort y, 0.5, u in increasing order.
y, 0.5, u
Let r be (-119)/9 + (-4)/(-18). Let y = 3476 - 3473. Put y, r, -2 in increasing order.
r, -2, y
Let u = -4895 - -4900. Let d = 0.3 - -0.3. Put u, 0, d in ascending order.
0, d, u
Let n(p) = 2*p - 3. Let t be n(7). Suppose 3*j + 35*l - 31 = 30*l, 2*l - 16 = -3*j. Sort 3, j, t in decreasing order.
t, 3, j
Suppose 4*w + 63 - 3 = 0. Let j(m) = -m**3 - 15*m**2 + m + 11. Let x be j(w). Sort -2, -24, x in descending order.
-2, x, -24
Let b(m) = -2*m + 1. Suppose -2 = 2*t - 8. Let q be b(t). Let a = -0.4 + 0. Sort 0, a, q in ascending order.
q, a, 0
Let p be 6 + (-20)/50 + 1044/(-165). Put p, -1/7, 2/3 in ascending order.
p, -1/7, 2/3
Let m = 143 + -128. Put -2, 4, 5, m in descending order.
m, 5, 4, -2
Let p = -133/15 - -46/5. Let u be (0*(-4)/(-8))/(-1). Sort -1, p, u, -13 in descending order.
p, u, -1, -13
Let b be (-1)/(-2) - 39/(-2). Let k be 8/2 - 2 - 57/(-19). Suppose -k*f + f + b = 0. Put -5, f, -4 in decreasing order.
f, -4, -5
Suppose 1 + 7 = -8*l. Suppose -5 = 2*t + 5. Let y be -1 - (t - (-3)/3). Put l, y, 3/2 in ascending order.
l, 3/2, y
Let l be (-2 - 395/(-195))*-6. Let y = 7.1 - 6.9. Put l, -1, y in ascending order.
-1, l, y
Let k = 198 - 120. Let n = k + -77.63. Let h = n - -0.13. Sort h, 0.4, -5/2.
-5/2, 0.4, h
Suppose 0 = -b - 3*b - 4, 5*x + 3*b = 42. Suppose -2 - 8 = -5*c. Let d be c - x/3 - 0. Put -4, 0, d in decreasing order.
0, d, -4
Let i(j) = -1 - 154*j**2 + 7*j + 155*j**2 + 11. Let a be i(-4). Let t be 2/(-6) + 22/3. Put a, t, 0 in increasing order.
a, 0, t
Let k(s) = -21*s. Let n be k(1). Let o = 569 - 548. Let y = o + n. Sort -4, y, 6 in increasing order.
-4, y, 6
Let b be (-94 + (-9)/(-3))*-1. Let o be (-4)/14 - (-299)/b. Sort 1, o, -5 in decreasing order.
o, 1, -5
Let v = -0.0487 - -2.0487. Put -104, 4, v in decreasing order.
4, v, -104
Let k = 1199.17 + -1206. Let w = -0.17 + k. Put -0.2, -2/7, w in increasing order.
w, -2/7, -0.2
Let n = 113 - 68. Let o = n - 48. Put 2, -4, -2/3, o in descending order.
2, -2/3, o, -4
Let d = -2259/8 + 282. Suppose -5*g = -25, -2*o + 2*g + 7 = g. Put 5, o, d in descending order.
o, 5, d
Let z(q) = -q**2 + 26. Let l be z(-5). Sort l, -5, -4.
-5, -4, l
Let m(z) = z**2 + 6*z + 7. Let f be m(-5). Suppose -12*n - 23*n + 327 = -144*n. Sort n, 9, f in increasing order.
n, f, 9
Suppose 2*c - 22 = 4*i + 4*c, 4*c + 5 = 5*i. Let u be (-580)/12 - 1/i. Let h be u/(-9) + 1/(-3). Put -5, h, 3 in increasing order.
-5, 3, h
Suppose 0 = p + 4*c + 1, -7 + 4 = 3*c. Sort 5, p, -3 in increasing order.
-3, p, 5
Suppose -128 = -r - 17. Let p = -109 + r. Sort -5, p, 1 in increasing order.
-5, 1, p
Suppose 0 = 2*d - 2*a - 2, 2*d - d + 14 = -2*a. Let l = 1364 + -1362. Sort 0, l, d.
d, 0, l
Let t be 1/7 + (-1500)/(-1260). Put t, 25, 3, -0.1 in increasing order.
-0.1, t, 3, 25
Let w = -2 - -3.1. Let u = w + -0.3. Sort -2/9, u, 1/7 in increasing order.
-2/9, 1/7, u
Let i be (-4)/(-14) + 108/14. Suppose 11*c + 30 = 140. Let a = i - c. Sort a, 4, 0.4 in decreasing order.
4, 0.4, a
Let j = -4.95 + -0.05. Put 2/7, 2/5, 1/5, j in ascending order.
j, 1/5, 2/7, 2/5
Suppose 0*k + 2*k - 16 = -5*f, -f = 5*k + 6. Let u = 7 + -5. Let i = -11 + 7. Put i, k, u in decreasing order.
u, k, i
Let m = -35 - -34.2. Let x = m - -1. Put x, 9, -3 in descending order.
9, x, -3
Let i = 11.8 + -11.8. Sort 4, -13, i, 0.1.
-13, i, 0.1, 4
Let i = 41 + -34. Let c = -26.78 + 27. Let n = c + 0.28. Sort n, 5/3, i in decreasing order.
i, 5/3, n
Let b be (6/(-16))/(8/(-64)). Suppose 0 = u - 0*u - 4*a + 5, -4*u + 6 = -b*a. Put -5, u, -4 in decreasing order.
u, -4, -5
Let u = 23 - 27. Let z be u/(-20) + (-39)/(-30). Sort -3, -0.2, z.
-3, -0.2, z
Let a(g) = -g**3 + 25*g**2 - g - 39. Let r be a(25). Let b = r - -70. Sort -7, b, 3, -2 in decreasing order.
b, 3, -2, -7
Let m be 52/(-14) - (-8)/(-28). Suppose -5*u + 1 = 3*g - 24, 2*u - 38 = -4*g. Suppose 0 = 2*j + 4*i - g, -5*i = -2*j - 27 + 10. Sort m, j, -2.
m, -2, j
Suppose -8 = 2*b - 2. Let x(w) = -w**2 + 0*w**2 + 7 - 4*w - 4*w + 4*w. Let f be x(-5). Sort f, b, -5 in decreasing order.
f, b, -5
Let a = 327 - 325. Let r = -315/1963 + 1/151. Put a, -0.5, 4/9, r in descending order.
a, 4/9, r, -0.5
Let b = 0.1096 - -4.8904. Put 24, b, 2, -1 in ascending order.
-1, 2, b, 24
Let q be (-175)/(-50) + (-6)/(-4). Put q, -3, -233 in descending order.
q, -3, -233
Let z(s) = -3*s. Let q be z(-1). Let g be ((-4)/q)/(5/(-15)). Sort g, 2, -5 in decreasing order.
g, 2, -5
Suppose -5*i = -3*i - l - 2, -4*i + 14 = 3*l. Sort -3, 44, i in decreasing order.
44, i, -3
Let y(q) = -2*q + 62. Let n be y(29). Let r be 395/(-55) + 2 - n/(-22). Sort 5, 9, r in descending order.
9, 5, r
Let 