, 1, k in decreasing order.
1, k, b
Suppose -4*z - 8 = p, z = -3*z + 3*p + 8. Suppose l - 4 + 0 = 0. Suppose -l*n + 12 = -8. Sort 2, z, n in ascending order.
z, 2, n
Suppose -3*b + 11 = -2*m, -b = 3*m + b - 16. Sort -6, 5, m in descending order.
5, m, -6
Let g = 0.96 - -0.04. Let b = -0.7 + g. Let y = -3 - -2. Sort y, b, 5 in decreasing order.
5, b, y
Let a = -104 - -106. Let v = -5 - -14. Suppose -2*r = r - v. Sort 0, r, a.
0, a, r
Let g = 22.018 + -0.018. Let h = g - 22.4. Sort -5/4, -1, h in descending order.
h, -1, -5/4
Suppose 4*t = 5*t + 4. Sort -2, 3, t in decreasing order.
3, -2, t
Let r(o) = o**3 - 20*o**2 - 2*o + 42. Let b be r(20). Sort 1, -2, b, 3.
-2, 1, b, 3
Let n(c) = c**2 + 10*c + 10. Let o be n(-8). Let r = o - -3. Sort r, -3/4, -0.2 in descending order.
-0.2, -3/4, r
Let m = -0.41 - -0.42. Sort -1, -0.1, m.
-1, -0.1, m
Suppose 2*q + 3*p + 2 = -0*q, 5*q + 3*p = -5. Suppose 0 = -u - 0 + 2. Let h = u - 7. Put h, q, 2 in ascending order.
h, q, 2
Let n = -23 + 19. Suppose -8 = -4*b + 4*m, -2*b - 10 = -0*b + 5*m. Let o(y) = y**2 + y + 4. Let p be o(b). Sort n, -5, p.
-5, n, p
Let i(u) = u**2 - 3*u + 3. Let r be i(2). Put r, -5, -4 in decreasing order.
r, -4, -5
Let a(d) = -d**3 + 3*d**2 - 1. Let r = 14 - 12. Let w be a(r). Sort w, -2, 4 in decreasing order.
4, w, -2
Let x = -125.9 - -126. Put x, -0.1, -0.07 in decreasing order.
x, -0.07, -0.1
Let y be (-1)/4 + 34/8. Let d(v) = -v**2 + 4*v + 2. Let p be d(y). Suppose -5*c - 19 = 3*h, -p*h + 0*h - 11 = 3*c. Sort c, -1, 0 in decreasing order.
0, -1, c
Let j = -4.48 - -4.2. Put -3, j, -4 in ascending order.
-4, -3, j
Let j = 26 + -18. Suppose j = 4*w - 8*w. Sort 0, w, 5 in ascending order.
w, 0, 5
Let c = -7.11 - -0.11. Let p = c + 12. Put 1/5, p, 4 in descending order.
p, 4, 1/5
Let i be -6*((-10)/(-4) + -3). Suppose 2*y - 2*f = -4, 0 = -i*y + 4*f - 6 + 1. Suppose -2*u - 20 = 3*u. Sort -5, u, y in increasing order.
-5, u, y
Let n be (-6)/(-1 + 0 - -3). Let o = 9 - 6. Put o, 4, n in ascending order.
n, o, 4
Suppose 12*l = -4*l + 48. Let y = -7 + 4. Sort y, -4, l in increasing order.
-4, y, l
Suppose 0 = -4*r - 7 + 27. Suppose 4*w - j = 20, -r*w + 16 = 2*j - 9. Let c(i) = -i**3 + 4*i**2 + 5*i + 3. Let y be c(w). Sort -4, 4, y in decreasing order.
4, y, -4
Suppose 0 = -5*b + b - 8. Suppose -4*l - 9 = -h - 3, -5 = -l - 3*h. Let q be 15/(l - 2) - 0. Put q, b, 5 in ascending order.
q, b, 5
Let b = -7 + 12. Let u be 0/2 + 6 + -1. Let h = u + -1. Sort 2, b, h in decreasing order.
b, h, 2
Let b(t) = t - 6. Let x be b(7). Put x, -3, 3 in increasing order.
-3, x, 3
Suppose -3*t + 2*g = -12, 0 = -t - 5*g - 0 - 13. Suppose -x - 5 = -t. Let c(z) = 4*z**3 + z**2 + z - 1. Let b be c(1). Sort b, 2/13, x in descending order.
b, 2/13, x
Suppose -1 = 2*v - 3. Sort v, 3, 6 in descending order.
6, 3, v
Let p = 179 + -183. Let v(c) = 2*c**3 - 2*c**2 + c. Let y be v(1). Sort p, -1, y in ascending order.
p, -1, y
Let c = 42 - 39. Sort 0.1, 0.5, c in descending order.
c, 0.5, 0.1
Let l = 37/84 - 4/21. Let r be (-27)/(-5) + 6/(-15). Sort r, l, -2 in decreasing order.
r, l, -2
Let y = 722/7 + -103. Sort -4, 0, y in descending order.
y, 0, -4
Suppose -h = 2*h - 12. Suppose -l - i + h = -4, i - 17 = -4*l. Let s = -43/55 - -2/11. Put s, l, -1 in ascending order.
-1, s, l
Let a = -11 + 11.2. Suppose -s + 0*s = 4*k - 12, 0 = 4*k - 4*s + 8. Put a, k, 0 in ascending order.
0, a, k
Let l be ((-4)/(-6))/((-4)/6). Let p be ((-1)/3)/(1/(-21)). Put 3, p, l in decreasing order.
p, 3, l
Let t = -157/2 + 80. Sort 0.1, 4, t.
0.1, t, 4
Suppose v - 3*b - 9 = 0, 2*v = 7*v + 4*b + 50. Let x = v + 11. Sort x, 4, 1 in descending order.
x, 4, 1
Suppose -2*u + 5*k + 20 = 0, -5*u = 2*k - 11 - 10. Put -4, u, 0 in descending order.
u, 0, -4
Let d be (2 - -39)*3/4. Let s = -31 + d. Sort s, -5, 2.
-5, s, 2
Let s = -0.506 + -0.104. Let b = -0.11 - s. Put b, 0, -3/2 in ascending order.
-3/2, 0, b
Let n be (-27)/(-6) + -4 - (-7)/(-8). Put 4, n, -2, 0.2 in decreasing order.
4, 0.2, n, -2
Let w(v) = v**2 + v + 1. Let d be w(0). Put -3, 0.1, d in decreasing order.
d, 0.1, -3
Let r = -0.4 + -1.6. Put r, 19, -4 in ascending order.
-4, r, 19
Suppose -4*m - 2*v - 40 = 0, -3*m + 3*v + 2*v = 30. Put -2, 3, m in decreasing order.
3, -2, m
Let x be (-477)/(-180)*45/2. Let r = -60 + x. Sort 0.2, r, 0.3 in ascending order.
r, 0.2, 0.3
Let f(n) = n**3 + n**2 + 1. Let k be f(-2). Let t(q) = -5*q + 1. Let u be t(-1). Let z(m) = -m**2 + 6*m - 5. Let d be z(u). Sort d, -2, k in increasing order.
d, k, -2
Let r = 39 - 115/3. Sort 0.4, -3, r in descending order.
r, 0.4, -3
Let n = -7 - -7. Let h(m) = -4*m - 2. Let z be h(-3). Suppose -4*w + 6*w - z = n. Put -2/19, 0, w in decreasing order.
w, 0, -2/19
Let b(f) = f**2 - f - 10. Let p(c) = -c**2 + 2*c + 11. Let z(i) = 5*b(i) + 4*p(i). Let d be z(-5). Suppose 6*y = 34 - 4. Sort d, 2, y.
2, d, y
Let s(f) = 5*f**2 - 1. Let j be s(-1). Let k = j + -2. Sort k, -2/21, 1 in ascending order.
-2/21, 1, k
Let y be (-526)/(-360)*3 - 4. Let r = y - -1/60. Let o = -4.87 + -0.13. Put r, o, -1 in descending order.
r, -1, o
Let k = 3/14 - -2/7. Sort -0.2, 3/2, k in increasing order.
-0.2, k, 3/2
Let c = -48 - -48.3. Put -5, 0.2, c, -5/2 in increasing order.
-5, -5/2, 0.2, c
Suppose 0 = 5*g - 2*g + 3. Suppose -4*h + t = -7, 0*t - 6 = 3*h - 3*t. Sort g, h, -2.
-2, g, h
Let a = -8 + 12. Suppose 0 = z + v, 2*z - 4*v = -2*z. Sort z, a, -2 in increasing order.
-2, z, a
Let p = -44 + 42. Put -3, -4, p in increasing order.
-4, -3, p
Let n = -39 - -16. Let p = 18 + n. Sort -2, 3, p.
p, -2, 3
Let l be 2/6 + 1/(-3). Let z be l/(2/2) - -3. Sort -2/5, -2/9, z.
-2/5, -2/9, z
Let i = -17 - -14. Sort i, 2, -1, -5 in descending order.
2, -1, i, -5
Let l = 21 + -25. Let p = 0.8 - -2.2. Let h = -2 + p. Sort l, h, 0.5 in ascending order.
l, 0.5, h
Suppose 2*v = -0*v + 6. Suppose -2*y + 3*x + 8 = 7*x, 20 = 5*y - 5*x. Sort v, y, -3 in descending order.
y, v, -3
Let x be (-28)/3 + 8/(-12). Let k = -2 + 7. Sort 2, k, x in increasing order.
x, 2, k
Let m(f) = 2*f**2 + 2*f - 1. Let o be m(1). Sort o, 4, -3.
-3, o, 4
Let b = -0.008 + -0.992. Sort b, -1/7, 0, 3 in decreasing order.
3, 0, -1/7, b
Suppose 9*o - 6 = 7*o. Put o, 4, 8 in ascending order.
o, 4, 8
Let h be 0*(-1)/(4 + -3). Let t be (-2)/(-8) + (-6)/(-24). Sort -0.2, t, h in ascending order.
-0.2, h, t
Suppose 0 = 17*c - 20*c + 3. Sort -2, c, -2/21.
-2, -2/21, c
Let w = -11/3 + 71/21. Let r be (-4)/6 + 8/18. Let z = 3/4 + -3/20. Put w, r, z in decreasing order.
z, r, w
Suppose 4*b + 3 + 8 = 3*p, -p = -5*b - 11. Sort -9, -5, p, -2 in descending order.
p, -2, -5, -9
Let i = -11.69 - 0.31. Let y = -17 - i. Put y, 4, 0.3 in descending order.
4, 0.3, y
Suppose -11 = 4*g + 9. Put g, 0, 4 in descending order.
4, 0, g
Let x = -4 - 1. Sort x, -7, 2 in ascending order.
-7, x, 2
Suppose 4*n - n - 5*y - 4 = 0, -5*y = 10. Suppose b = -2*b - 6. Let g = n + b. Sort 5, 1/2, g in descending order.
5, 1/2, g
Let v(l) = -l**2 - 8*l + 5. Let g be v(-9). Let h be 2 - (0 - 0 - 0). Suppose 0 = 4*r - 6*r - 2. Sort g, h, r.
g, r, h
Suppose 0*x - 2*r = 3*x + 6, 10 = -5*x + 3*r. Let l(d) = 0 + 2 + 0 - d**2. Let s be l(x). Sort 3, s, 5 in decreasing order.
5, 3, s
Suppose 0 = 2*c + 20 - 8. Let g be (-16)/3 - 2/c. Let r = -42/5 - -136/15. Sort g, r, 0.3 in decreasing order.
r, 0.3, g
Let a(x) = x**3 - 4*x**2 - 3*x + 3. Let q be a(5). Let w = -9 + q. Suppose -1 = -w*r + 15. Sort 1, -2, r.
-2, 1, r
Suppose 0*s = -2*s + 6. Let f = s + -5. Let q be ((-2)/25)/(5/(-50)). Put f, 0.4, q in decreasing order.
q, 0.4, f
Let n = 6 - 12. Let x(d) = 2*d + 14. Let w be x(n). Sort w, 1, -1 in increasing order.
-1, 1, w
Suppose l + 0 + 4 = 3*b, 2*l = 3*b - 8. Suppose -4*x + b*x + c = 0, x = 4*c. Let w be 1 + (-1 - 0) + -3. Sort w, 5, x in ascending order.
w, x, 5
Let v be (-2)/(-6)*(-1 - -13). Let m = 4 - 3.5. Sort v, m, 0 in increasing order.
0, m, v
Let z = -4.95 - 0.05. Suppose -131 - 405 = -4*o. Let a = o - 668/5. Sort a, z, 3/8.
z, 3/8, a
Let n = 3/148199 + -12895785/122115976. Let o = n + -2/103. Suppose 0*x + 3 = -3*x. Sort -4, x, o in descending order.
o, x, -4
Let j = 0.121 - 2.121. Put 3, -2/9, 0.2, j in descending order.
3, 0.2, -2/9, j
Let v be 10/(-45) + (-4)/9. Put -1, -2, v in ascending order.
-2, -1, v
Let r be (9/(-81))/((