= l - -13. Sort -0.4, q, u in decreasing order.
-0.4, u, q
Let m = 0.927 - -0.073. Sort m, -2/17, -5, -2.2 in ascending order.
-5, -2.2, -2/17, m
Suppose 8 = 3*s - f, 2*f = -5*s + 6*f + 25. Sort -4, 4, s in increasing order.
-4, s, 4
Suppose -2*u - 3 - 23 = 0. Let k = u - -12. Sort 0, -4, k in increasing order.
-4, k, 0
Let b be (-5 - 2) + 2 - (-54)/6. Put b, 0, 2, -3 in increasing order.
-3, 0, 2, b
Let d = 4 + 4. Let w = -7.7 + d. Let m = 0.5 + -2.5. Put 2/11, w, m in ascending order.
m, 2/11, w
Suppose 3*j - 2*j - 8 = 0. Let c = j - 5. Suppose -c*i + 4 = -i. Sort -3, i, -5 in descending order.
i, -3, -5
Let i = 500.4 - 511. Sort -2/11, -0.4, i in descending order.
-2/11, -0.4, i
Let m be (-6)/(-7)*182/39. Suppose -m*o + 20 = -8*o. Let v be 7 + -3 + (0 - 1). Put v, o, -4 in ascending order.
o, -4, v
Let j be (9/12)/((-16)/832). Put 4, j, -5, -4 in ascending order.
j, -5, -4, 4
Let u = -2 - -5. Suppose 12*n - 6 - 6 = 0. Suppose -d = -u - n. Put d, 0.5, -1 in ascending order.
-1, 0.5, d
Let t = -78 + 74. Let i be (2*3/6)/(2/t). Put -3, -6, i in ascending order.
-6, -3, i
Let v be 2 + 1 - -6*3/(-18). Let t(r) = -r**3 + 2*r**2 + 2*r - 1. Let o be t(v). Suppose -2*p - 12 = -2. Sort -4, o, p in increasing order.
p, -4, o
Let v be ((-95)/(-38))/(15/4). Sort -2, -4, -1/9, v in decreasing order.
v, -1/9, -2, -4
Suppose 2*k - a = -86, 90 = -2*k + 2*a + a. Let r be k/10 - 1/(-5). Sort 3, 1, r in increasing order.
r, 1, 3
Let g be 6*(-1)/(-21) + (-44)/(-42). Let w = 1 + -4. Let f be (-4)/9*(-3)/8. Sort w, f, g in increasing order.
w, f, g
Let b be (-192)/(-84) - 2/1. Sort -3, 3/11, 5, b.
-3, 3/11, b, 5
Let s(t) = 9*t - 40. Let g(h) = 8*h - 39. Let m(n) = 7*g(n) - 6*s(n). Let u be m(15). Put -3/2, u, 4, -5 in decreasing order.
4, -3/2, u, -5
Suppose -2*y + 5*m = -6, -8*y - m - 12 = -3*y. Let t be y/(-12)*(-14 + 8). Sort t, 4, 1.
t, 1, 4
Suppose -74*u = -70*u + 8. Let i(y) = -y**3 + 4*y**2 - 4*y + 2. Suppose -1 + 4 = s. Let d be i(s). Sort u, 5, d.
u, d, 5
Let m(j) = 5*j**2 + 34*j + 49. Let t(o) = 2*o**2 + 11*o + 16. Let g(a) = -3*m(a) + 8*t(a). Let l be g(15). Sort 2, -2, l in decreasing order.
2, -2, l
Let z be ((-539)/(-21) - -1)*18/(-15). Put -4, z, 5 in descending order.
5, -4, z
Let k(h) = -2*h**2 + 104*h + 101. Let f be k(53). Put 4, f, 243 in descending order.
243, 4, f
Suppose -d - 16 = 5*a, -3*d + a - 9 = 3*a. Let q = d - 1. Let l be 2/5*(q - -4). Sort l, 1, -2/19 in ascending order.
-2/19, l, 1
Let w be (9/3)/(15/(-10)). Let o be ((-4)/(-3))/(-1)*(-4)/(-16). Sort w, -2/9, o, 0.1 in decreasing order.
0.1, -2/9, o, w
Let p = 412/5 - 82. Let d = 2/57 - -12/19. Sort d, p, 0.
0, p, d
Let c = -16 - -16. Suppose q + c - 3 = 0. Sort 1, 10, q, -3 in descending order.
10, q, 1, -3
Let s = -0.03 - 0.77. Let m = s + 0.3. Let z be (2 - -1) + 2 + (-3237)/581. Put -3, z, m in ascending order.
-3, z, m
Let a = 117 - 87. Let b = a + -28. Sort b, -5, 5 in descending order.
5, b, -5
Suppose 18 = 450*o - 459*o. Put 0, -5, 5, o in increasing order.
-5, o, 0, 5
Let j be (5/35)/((-18)/21). Let f = -168 - -174. Sort f, 0, j, -1 in ascending order.
-1, j, 0, f
Let b = 296 - 295.4. Sort -3, 4, -2/3, b in ascending order.
-3, -2/3, b, 4
Let k be (-65)/13 + (-39)/(-7). Let o = 2 - 7. Sort k, o, -1 in ascending order.
o, -1, k
Let f = -4.095 + 0.145. Let k = f + 4. Sort 2, -1, k.
-1, k, 2
Let h be -15*(-13)/65*-1. Put 3, -116, h in decreasing order.
3, h, -116
Let h(s) = -2*s**3. Let y be h(1). Let f = -82 + 55. Let b = f - -29. Sort -0.4, y, b in decreasing order.
b, -0.4, y
Let v = 42 + -60. Let y = -12 - v. Let h = y - 1. Sort 2/15, -5, h in decreasing order.
h, 2/15, -5
Suppose 10*s - 152 = -182. Put 87, 1, s in decreasing order.
87, 1, s
Let c = -2.86 - 14.14. Suppose -5*u = 4*i - 11, 3*i - 2*u - u - 15 = 0. Put 1/11, c, -1/4, i in increasing order.
c, -1/4, 1/11, i
Suppose 4*j - 15 = -3. Suppose 6 = -3*n, -j*p = -5*p + 5*n + 12. Let a = -73/2 + 211/6. Put a, 0.2, p in decreasing order.
p, 0.2, a
Let z = -8 - -7.9. Put 0, 4, z, 0.3 in increasing order.
z, 0, 0.3, 4
Let r = 0.6 - 3.6. Let k = -3707 + 3708. Sort 0.2, r, k.
r, 0.2, k
Suppose -3*k + 3 = k + 5*a, 0 = -3*k - 3*a. Suppose -2*b + 2*y + 6 + 2 = 0, 0 = 3*b + 3*y + 6. Let i be (-3 - -1)/(b - 0). Sort k, -4, i in decreasing order.
i, k, -4
Suppose t - 3 = -6. Let c be 12/8*16/6. Let o(j) = j**2 - 6*j + 7. Let x be o(c). Sort 5, x, t in ascending order.
t, x, 5
Let n(u) = -u**3 + 8*u**2 + 2*u - 12. Suppose 0 = 4*l - 3*o - 2*o - 57, -15 = 3*o. Let y be n(l). Sort -4, y, 0 in ascending order.
-4, 0, y
Let a = 1145.2 + -1145. Sort a, -357, -2/7 in descending order.
a, -2/7, -357
Suppose 2*m - 7*m + 20 = 0. Suppose 0 = -2*s + b - 0*b + 31, s - 13 = 3*b. Suppose -4*h = 4*q + s, -3*q - h - 23 = -7. Sort 3, m, q in increasing order.
q, 3, m
Let g = 0.291 - -0.109. Sort -2/7, g, 6.6 in descending order.
6.6, g, -2/7
Let p be -5 + (37/6 - 2). Sort p, 5, -47/3, -1/8 in decreasing order.
5, -1/8, p, -47/3
Let g = -7 - -11. Suppose -g = n + n. Suppose 2*p = -5*q - 22, -30 = 10*p - 6*p + 3*q. Put 1, n, p in ascending order.
p, n, 1
Let a = 749 + -747. Sort a, -1, 28 in decreasing order.
28, a, -1
Let x = 4.44 + 0.56. Sort -22, 0, x in decreasing order.
x, 0, -22
Let v = -1.1 + 0.6. Let u = 7.6 + -6.6. Put -3, u, v in ascending order.
-3, v, u
Suppose 0*s = s + 1. Let z = -10 + -9. Let o = z - -16. Sort s, -3/17, o in decreasing order.
-3/17, s, o
Let w(h) = 9*h + 37. Let r be w(-4). Put -9, 5, r in descending order.
5, r, -9
Let t be (-7 + 54/12)*(-2 + 4). Put -2, 4, t in decreasing order.
4, -2, t
Let m be 4/(-6) - (-16)/6. Suppose -k - 13 = -3*h + 7*h, -k + 23 = -5*h. Let g(q) = q**3 + 4*q**2 + 3*q + 13. Let u be g(h). Put m, -4, u in increasing order.
-4, u, m
Suppose -60 = -31*z + 16*z. Sort -9, z, -5, -4.
-9, -5, -4, z
Let w be (0 + 23 + 3)*(-5)/10. Sort -5, w, -3 in increasing order.
w, -5, -3
Suppose 90*y - 6 = 87*y. Suppose -5 = 4*b - 3*r - 65, 5*b - 75 = -4*r. Suppose 2*k - 5*x = -3*k + b, -12 = -4*k + 3*x. Sort 1, y, k in descending order.
k, y, 1
Suppose 10*f - 102 = -12. Sort -5, 4, f in decreasing order.
f, 4, -5
Let k(t) = -t**3 + t**2 - 3*t + 3. Let j be k(3). Let i = 29.7 - 29.6. Put j, i, 2/9 in descending order.
2/9, i, j
Let s = 1.223 + 0.037. Let i = s + -0.26. Put i, 4, -3, 5/4 in increasing order.
-3, i, 5/4, 4
Let i = -192 - -769/4. Sort -4, -24/11, i, -3/8 in descending order.
i, -3/8, -24/11, -4
Suppose 0 = -3*b + 2*l, -4*b + 0 - 1 = -3*l. Suppose 4*z + 16 = -t, 0 = -0*z - 5*z - 15. Sort 10, t, b, -3 in decreasing order.
10, b, -3, t
Suppose 24 = 2*f + 5*x, -5*x + 8 = 5*f - 37. Suppose -10 = -f*i + 2*i. Let n be (-3 + (-30)/(-9))*-9. Put i, n, 0 in decreasing order.
i, 0, n
Let w = 45.9 - 49.9. Put -3, w, 44, -2 in descending order.
44, -2, -3, w
Let f = 104386787/210 - 497081. Let a = -8/35 - f. Let p = 0.03 + 2.97. Sort -4, p, a in decreasing order.
p, a, -4
Let g = 7193.05 - 7193. Let f = -2 - -5. Put g, f, -0.4 in ascending order.
-0.4, g, f
Suppose l + 1 = -0*l. Let r(j) = 4*j - 2. Let x be r(-7). Let n = 28 + x. Sort n, 0, l in ascending order.
n, l, 0
Let f = -0.02973 - -0.32973. Suppose 2*r - 11 = 3*s, 5*s + 9 + 6 = 0. Put 1.7, f, -1/2, r in increasing order.
-1/2, f, r, 1.7
Let p = 120 - 117. Let v be ((-2)/(-1))/((p + -4)*-3). Put -3/7, v, -0.11 in descending order.
v, -0.11, -3/7
Let t = 0.273 - 0.273. Sort t, 2/5, 0.1, 0.5 in increasing order.
t, 0.1, 2/5, 0.5
Suppose -9*s + 6*s + 9 = 0. Let a = 19 + -23. Put a, -5, s in ascending order.
-5, a, s
Suppose 0 = -4*h + 9*h. Let v be 0*(h - 1) - 5. Let o = 6 - 8. Put v, 0, o in increasing order.
v, o, 0
Let a = -31 - -30.25. Let u = a - -0.45. Let l be 1/(-4)*2*1. Put u, -3/2, l in increasing order.
-3/2, l, u
Let f = 420 + -484. Put -2, f, -3 in increasing order.
f, -3, -2
Let f = -19 - -16. Let m be 17/6 + 2/12 - -1. Put m, f, -10 in increasing order.
-10, f, m
Let a(q) = -11*q. Let s be a(-5). Suppose -2*u - s = 3*u. Sort 3, 0.2, u in descending order.
3, 0.2, u
Let n = -282 + 282. Put -0.1, -4/7, n, -1 in descending order.
n, -0.1, -4/7, -1
Let q(n) be the second derivative of n**3/2 + 2*n**2 + n. Let t be q(-3). Let x = 4.806 - -0.194. Put t, x, 3 in descending order.
x, 3, t
Let y = -3 - -5. Suppose -y*u + 2 - 26 = 0. Let a be 1/(-3) 