Sort l, 0, 5 in decreasing order.
5, 0, l
Let m be -2 + (5/(-10))/((-3)/132). Sort -2, 4, m, 0.
-2, 0, 4, m
Let f = 7 + -3. Let j = 1225.371 + -1226. Let n = j - -0.129. Sort 1, f, n in decreasing order.
f, 1, n
Suppose -2*r - 12 = u, -20*u = -24*u - 3*r - 48. Let p = -0.09 + 5.09. Put p, u, 2 in descending order.
p, 2, u
Let i = -2 - -2.009. Let w = i + -0.009. Sort -1/2, w, 0.5.
-1/2, w, 0.5
Let j = -330/13 + 1042/39. Put 0.2, -2/19, 1.3, j in descending order.
j, 1.3, 0.2, -2/19
Suppose 5*g - v - 1 = 0, -3*g + 2*v + 2 = g. Let c be 1*6 + (-445)/89. Sort g, -4, c in increasing order.
-4, g, c
Suppose -q = -0*j + 5*j - 5, 3 = 3*j - q. Let h = 3 - j. Let w be (0 - h) + 9 + -2. Sort w, 4, 0 in descending order.
w, 4, 0
Suppose -2*w - 5*w = 35. Sort -1, 28, w.
w, -1, 28
Let d(m) = m**2 + 3*m - 7. Suppose -6*h + h - 2*b + 262 = 0, h + 2*b = 54. Let r be h/(-10) + 12/(-15). Let c be d(r). Put c, 1, 3 in decreasing order.
c, 3, 1
Suppose 28*n + 64 = 44*n. Sort n, 59, 0 in increasing order.
0, n, 59
Let t = -2.4 + -2.6. Let d = -8 + 7.3. Let j = d + 0.6. Sort j, t, 4/9 in decreasing order.
4/9, j, t
Let a(t) = -2*t**3 + 17*t**2 - 6*t - 13. Let s be a(8). Put 5, 1, 23, s in ascending order.
1, s, 5, 23
Suppose 0 = 4*o + 4*i + 300, -3*o - i = 43 + 178. Put 3, -1, -3, o in ascending order.
o, -3, -1, 3
Let x = 137.9 + -138. Put 1, x, -2 in ascending order.
-2, x, 1
Let y(j) = 5*j + 61. Let h be y(-12). Let t = -40 + 19. Let q = t + 12. Put h, 3, q in increasing order.
q, h, 3
Let h be ((-7)/14)/((-1)/(-8)). Suppose 4*p - 15 = 33. Let o be 6/4*p/(-42). Put h, 2, o in increasing order.
h, o, 2
Let c = 1.34 + -1.23. Put -2/5, c, -0.02 in ascending order.
-2/5, -0.02, c
Suppose 2*v = 3 + 1. Let u = -15 - -64. Let m be (-2)/(-6) + u/(-21). Sort v, 5, m.
m, v, 5
Let m be 6/(-12) + 3/2. Sort 0, 15, m.
0, m, 15
Let a(b) = 3*b**2 - 18*b + 1. Let k be a(6). Put -4, 4, -9, k in descending order.
4, k, -4, -9
Suppose 16 = -3*b + 4*h, -1 = -4*b + 3*h - 20. Let l(g) = g**3 + 4*g**2 + 5*g + 4. Let s be 3/((-5)/15*3). Let p be l(s). Sort p, b, 3 in increasing order.
b, p, 3
Let b = 107.013 - 107. Let r = -3.013 + b. Sort r, 2, 1/2, 1.
r, 1/2, 1, 2
Let r = -168 - -170. Sort r, -7, 4.
-7, r, 4
Let w(o) = -o**2 + o + 10. Let q be w(-3). Put 26, q, -5 in increasing order.
-5, q, 26
Suppose 33 = -3*z + 3*t - 4*t, -2*z - t - 21 = 0. Let a = z - -30. Let c be ((-38)/171)/((-2)/a). Sort -11, c, 5 in increasing order.
-11, c, 5
Let u = 424 + -422. Let k be (-5)/2*(-8)/10. Let g = k + -4. Sort -0.1, u, g in ascending order.
g, -0.1, u
Suppose -20 = 4*g, -5*r + 4*g + 395 = -0*g. Let n = 72 - r. Put 7, -5, n, -4 in descending order.
7, n, -4, -5
Suppose 0 = 4*w + 5*u - 17, 0 = 3*u - 3. Suppose w*g + 9 = 6*g. Sort g, -2, 5 in decreasing order.
5, g, -2
Let w(f) = -f**2 + f + 1. Let y be w(6). Let p(d) = -3*d**2 + 28*d + 18. Let n be p(10). Sort y, -1, n.
y, n, -1
Let u = 2378 - 2378.3. Let s = 0.9 - 0.6. Let l = 0 + s. Sort u, -2, l.
-2, u, l
Let y be 68/10 - (-6)/30. Let s = y + -3. Sort -2, -6, -4, s in increasing order.
-6, -4, -2, s
Let w(v) = 22 - 1 - v**2 + 4 + 22*v. Let x be w(23). Put x, 6, 4 in decreasing order.
6, 4, x
Suppose 6*j - 7 - 11 = 0. Let z(u) = 2*u**2 - 6*u - 4. Let s be z(j). Let p(g) = g**3 - 11*g**2 + g - 14. Let m be p(11). Sort s, -5, m in ascending order.
-5, s, m
Let l = -0.897 - -0.397. Let r = 2 - 1.5. Sort -0.3, l, r in descending order.
r, -0.3, l
Suppose -1224 = -4*u - 5*u. Let p = 545/4 - u. Sort 2/3, -4, p, 3.
-4, p, 2/3, 3
Let o = 261 + -1309/5. Sort o, -4, -2/7, 0.2.
-4, o, -2/7, 0.2
Let a = 65.97 - 61. Let r = a - -0.03. Let y = -2.3 - -0.3. Put y, r, 3 in decreasing order.
r, 3, y
Let l be 2/4 - (-20)/8. Let x be (-3)/(-27)*l/(-2). Let t = -0.15 + 4.15. Put x, t, -2/3 in increasing order.
-2/3, x, t
Let o = 45 - 45.1. Sort o, -2/3, 29 in ascending order.
-2/3, o, 29
Suppose 0 = d + 4*d - 35. Sort 0, d, -4, -5 in descending order.
d, 0, -4, -5
Suppose 0*u - 11*u - 88 = 0. Sort 0, u, -2, -5 in increasing order.
u, -5, -2, 0
Let l be ((-12)/18)/(2/(-12)). Let i be -1 + ((-8)/(-6))/(14/(-42)). Sort i, l, -6.
-6, i, l
Let b = -0.054 - -1.054. Sort b, 90, -3 in increasing order.
-3, b, 90
Let f be 1*(-3 - (-44)/12). Let u = -26.21 + 0.21. Let m = u - -24. Put m, f, -0.5 in decreasing order.
f, -0.5, m
Let d = -1.22 + 0.22. Let x = -4 + d. Let l be 2 + ((-18)/8)/1. Sort x, 0.3, l in increasing order.
x, l, 0.3
Let u = -19 + 18. Put 7, u, 3, 21 in decreasing order.
21, 7, 3, u
Let n(z) = -z**2 + 12*z + 11. Let h = 33 - 22. Let k be n(h). Let y = k - 49/2. Sort -0.4, -1/9, y in increasing order.
y, -0.4, -1/9
Let x be (-30)/135 - 1/((-9)/29). Sort 2, x, 34 in decreasing order.
34, x, 2
Let u(s) = s**2 - 6*s - 7. Suppose -3*t + 54 = 6*t. Let z be u(t). Sort z, 4, 1, -1.
z, -1, 1, 4
Let k = 233 - 232.6. Sort k, 0.2, 10, -1 in ascending order.
-1, 0.2, k, 10
Suppose 13 = p + 5*a, 11 = 5*p - a - a. Let y be ((-4)/22 + (-10)/(-55))/(-1). Suppose 0 = -4*m + 3*l - 0*l + 4, 0 = -l. Sort y, m, p.
y, m, p
Let t = 69 - 68. Put -2/5, -0.1, t, 3 in ascending order.
-2/5, -0.1, t, 3
Suppose 4*v + 44 = 2*y + 2*y, -v = -2*y + 22. Suppose -2*m + y = 1. Let b = 4 + -7. Sort b, -2, m in descending order.
m, -2, b
Let d(r) = 117*r**2 + r - 56*r**2 - 56*r**2. Let q be d(-1). Sort 7, -5, q.
-5, q, 7
Let y = -35.5 + 35. Let f be (-6)/(-5)*(9 + -4). Sort 3/2, f, y.
y, 3/2, f
Let j = -1.8 - 1.8. Let w = 5 + j. Let i = w - -3.6. Sort -0.3, i, -0.5 in increasing order.
-0.5, -0.3, i
Let r be 66*(-4)/(-6) + -1. Let i = r + -38. Let q = -2 + 2. Sort i, q, 1 in decreasing order.
i, 1, q
Let m = -22/51 - 4/17. Let n = -0.5 + 0.1. Let i = 457/4 + -115. Sort i, n, m.
i, m, n
Suppose -2*b - z + 42 - 2 = 0, 0 = -5*b + z + 93. Sort b, -7, -2, 1 in descending order.
b, 1, -2, -7
Let g = -167/21 + 23/3. Sort -0.9, 2, -2, g.
-2, -0.9, g, 2
Suppose 0 = 3*t - 5*t + 10. Suppose -5*g + 10*g = 10. Suppose -g*b = -5*h + 12, -3*h - 4 = -5*b + 4. Sort t, -3, h in decreasing order.
t, h, -3
Let o = -22 + 25. Let k = 4 - o. Sort -2, -5, k in descending order.
k, -2, -5
Let u be (-5 + (-5 - 0))/(2/(-4)). Suppose -3*j + y + 16 = 0, -5*j + y = -6 - u. Sort 1, 0, j in ascending order.
0, 1, j
Let u = 9.1 + -0.1. Let g = u - 7. Let k = g + -1.5. Put 0.4, -0.5, k in decreasing order.
k, 0.4, -0.5
Let s be (-56)/(-14) - 114/27. Sort s, 1/4, 17/3, -0.5 in increasing order.
-0.5, s, 1/4, 17/3
Suppose 16 = 2*u - 2*k, -k = 2*u - 4*u + 16. Sort 0, -3, u, -9.
-9, -3, 0, u
Let z = -26 + 15. Let l be (-1)/(-2) - z/66. Let n = -0.18 + 0.68. Sort n, l, -2.
-2, n, l
Suppose 15 = 5*n - 2*n. Let c be -6*(-8)/(-36)*3. Let y be (-2)/10 - (-2)/10. Put n, y, c in descending order.
n, y, c
Suppose -3 = -3*p - 4*q + 14, p - 5*q = -26. Suppose -5*m + 5*o + 14 = 4, -m - 2 = 3*o. Put p, 3, m, -3 in decreasing order.
3, m, p, -3
Let b = -11.2 + 9.2. Let o = -11 - -145/13. Sort b, -3, o.
-3, b, o
Let y = 1445/6 - 241. Put -5, y, 2/33, 2 in decreasing order.
2, 2/33, y, -5
Let c(d) = -d**2 - 5*d - 3. Let n be c(-5). Put n, 5, -2, 1 in descending order.
5, 1, -2, n
Let k = -204 + 201. Let z = -6.6 - -6. Let m = -0.9 - z. Sort 1, m, k in decreasing order.
1, m, k
Suppose -3*c = 0, 2*f - 5*c - 37 = 9. Let p = 36 - f. Put p, -1, -5 in increasing order.
-5, -1, p
Let w = -24 + 13. Let q = w - -6. Suppose -36*r - 18 + 54 = 0. Sort 15, q, r in descending order.
15, r, q
Suppose 0 = 17*g - 53*g + 36. Put g, -2, 0.2 in increasing order.
-2, 0.2, g
Let c = 4/367 - -2561/734. Put c, 4, 1, 3/2 in decreasing order.
4, c, 3/2, 1
Let i = 302/833 - 12/49. Put -1/13, i, -16 in decreasing order.
i, -1/13, -16
Suppose -t + 8 = -5*k + 2*t, -4*t + 8 = -4*k. Let p be (2 - 12/3) + k. Put p, 3/8, -2, -5 in increasing order.
-5, p, -2, 3/8
Suppose h + 2*x = 14, 33 = 2*h - 7*x + 12*x. Let n be -1*(-1)/2*-2. Put h, n, -4 in ascending order.
-4, n, h
Let m(f) = -f**3 - 13*f**2 + 15*f + 9. Let s be m(-14). Let d be 0/((s + 4)*-2). Let i be (3 - 2)/(1/2). Put i, d, -5 in descending order.
i, d, -5
Let a be (-2)/(-9) + (-129)/(-27). Let x(p) = p**3 - 5*p**2 + p - 6. Let t be x(a). Sort t, -5, 5.
-5, t, 5
Let q = -0.124 + 0.134. Let r = -2.99 - q. Sort r, -4, 1 in ascending order.
-4, r, 1
Suppose 0 = -2*r + 5*r - 159. Suppose -28 = q - r. Let h be (-15)/6*