ding order.
l, 0, a
Let r = 14 + -14.06. Sort r, -2, 0 in decreasing order.
0, r, -2
Let m = -1.1 + 5.1. Let h be (6/(-12))/(3/2). Sort h, m, 0.2 in increasing order.
h, 0.2, m
Let l = -59/21 - -22/7. Let j = 101 - 502/5. Put 1/9, l, j in decreasing order.
j, l, 1/9
Suppose -5*m - 14 = 16. Let t be 3/(-6)*m/(-9). Let a = -21/55 + 1/5. Put a, t, -5 in increasing order.
-5, t, a
Let k = -0.01 + -0.19. Sort k, 0.1, 0 in decreasing order.
0.1, 0, k
Let x be -18*2/(-21) + -2. Suppose 2*i + i - 3 = 0. Sort x, 1/3, i in descending order.
i, 1/3, x
Suppose -5*w = -j + 28, 2*j = -4*w + 3*j - 23. Let b = 9 + w. Sort -2, b, -3 in decreasing order.
b, -2, -3
Let r = -19 + 18. Put 5, 7, 2, r in descending order.
7, 5, 2, r
Let k = 14 + -19. Put k, 2, 1 in decreasing order.
2, 1, k
Suppose 2*v = -v - 3*r + 6, v = r + 2. Sort v, -5, -0.05.
-5, -0.05, v
Let j = 39 - 38.4. Sort j, 6, -0.5 in ascending order.
-0.5, j, 6
Let i = -26.001 - -0.001. Let r = i + 25.5. Sort r, 2/7, 5 in decreasing order.
5, 2/7, r
Let l = -16 + 16. Put -3, 5, l in increasing order.
-3, l, 5
Suppose 8 = 5*r - 7. Let c be (3 - -2) + (-6)/3 + 1. Suppose 5*a = -15, -c*a + 2 = r*b + 23. Put 1, b, -2 in ascending order.
b, -2, 1
Suppose 4*i + 5*u = 48 + 26, -5*i + 101 = 2*u. Suppose 0 = -a + f + 2*f + 19, -a - 5*f = i. Let k be 15/(-21)*-3 + 4/(-28). Sort a, k, 0 in ascending order.
0, k, a
Let c be 34/3 - (-8)/12. Suppose c = 5*x + 2. Suppose -p - 5 + 1 = 0. Sort p, x, 4 in ascending order.
p, x, 4
Let v be -3*8*9/(-12). Let j be v/(-117) + 4/26. Sort -5, j, -4 in decreasing order.
j, -4, -5
Let o = -2 - 0. Suppose 2*d = 3*d + 4. Sort o, 4, d in descending order.
4, o, d
Let d = 607/4 - 151. Put d, 0.05, -2, -0.3 in decreasing order.
d, 0.05, -0.3, -2
Suppose -4*v - v - 15 = 0, 30 = 5*q - 5*v. Suppose 2 = -p, 7 = -m - 2*m - 5*p. Let a = m - q. Put -5, 2, a in decreasing order.
2, a, -5
Suppose l = 5*g + 21, g - 2*g - 5 = 0. Let q be 2 + (-5)/(-1) + -3. Suppose -q*t = -0*t + 20. Sort l, t, 5 in ascending order.
t, l, 5
Let a = -14 - -18. Sort 2, a, 7.
2, a, 7
Let y = -5 - -2. Let g = y + 0. Sort 1, 3, g.
g, 1, 3
Suppose o - 6*o = -2*a - 9, -2*o + 3*a = -8. Sort 4, o, -6.
-6, o, 4
Let n be 3/(((-45)/10)/(6/(-2))). Put 8, -3, n, -4 in ascending order.
-4, -3, n, 8
Suppose -12*u + 10 = -2*u. Suppose 0 = 5*x - x + 12. Sort -5, x, u.
-5, x, u
Let y(w) = 3*w + 20. Let p be y(-6). Let u = 0.2 + 1.8. Let x = 0 - u. Sort 4/7, p, x in descending order.
p, 4/7, x
Let a = -217/33 - -76/11. Let i(z) = -2*z**2 + 5*z - 4. Let t be i(4). Let n be (-4)/18 - t/18. Put n, a, -3 in ascending order.
-3, a, n
Suppose -i + 2*k + 8 = -3*k, 0 = -4*i + k + 13. Sort 9, i, -3, -4 in increasing order.
-4, -3, i, 9
Let r = -62 + 59. Sort 2, r, -1.
r, -1, 2
Let p = 14 + -14. Sort p, 1, 1/2, 2 in ascending order.
p, 1/2, 1, 2
Suppose -a + 11 = 7. Suppose 5*y + a = 19. Sort -3, y, 4 in ascending order.
-3, y, 4
Let r(h) = h - 5. Let x be r(2). Sort -10, x, -4 in ascending order.
-10, -4, x
Let q be ((-18)/(-30))/1 + (-8)/5. Sort 4, 5, q, -3 in decreasing order.
5, 4, q, -3
Suppose 4*t - 21 = -5*o + 6*t, 9 = -3*t. Let r = 1 + -3. Put r, o, -1 in descending order.
o, -1, r
Let y = -1.06 - 0.04. Let i = y + 0.8. Let s(n) = n**3 + 6*n**2 + 6*n. Let z be s(-5). Sort -0.5, z, i in descending order.
i, -0.5, z
Suppose 7 = -5*t + 2. Let z be 5/t*2/(-65). Sort 0, 0.3, z in descending order.
0.3, z, 0
Let q = -2.4 + 3.2. Put 0.1, 0.3, q in descending order.
q, 0.3, 0.1
Let q = 2.9 - 5.9. Let v = 22 - 15. Sort q, v, 0.
q, 0, v
Suppose 5*x + 8 = -7. Suppose 11 = 4*i - 1. Let j(r) = r. Let t be j(i). Sort t, x, 4.
x, t, 4
Let b = -1.24 + 1.1. Let q = -0.06 - b. Let w = 3.08 - q. Sort -1/2, 5/2, w in increasing order.
-1/2, 5/2, w
Suppose -5*t = -12 - 8. Put t, 5, -5 in descending order.
5, t, -5
Suppose 0 = 4*p - 3*p + 4. Let m(z) = 11*z**3 + 2*z**2 + z - 2. Let x be m(1). Suppose 8 = -4*q - x. Sort p, q, -1 in decreasing order.
-1, p, q
Let c = -50 + 47. Sort 1, -2, -1, c in decreasing order.
1, -1, -2, c
Let l = -0.11 - -0.31. Sort l, -1, -2, -3 in decreasing order.
l, -1, -2, -3
Let x = 0.03 - -0.07. Put 0.07, x, -0.3 in decreasing order.
x, 0.07, -0.3
Let z = -2 - -4. Suppose s + z = 1. Sort -5, s, 0 in decreasing order.
0, s, -5
Suppose 5*l - 3 + 23 = 0. Sort -1/6, l, 2 in descending order.
2, -1/6, l
Let v = 14 - 25. Let j = -25 + 18. Let a = j - v. Put -1, a, -2 in decreasing order.
a, -1, -2
Let c be (-9)/28 + (-2)/8. Put -0.06, c, 2/7 in decreasing order.
2/7, -0.06, c
Suppose 0 = -5*f - 45 + 10. Let q(c) = -c - 8. Let h be q(f). Put 5, -1/11, h in descending order.
5, -1/11, h
Let c be (-26769)/(-24) + 1 - 0. Let k = c - 1119. Let j = -47/24 - k. Sort 0.3, j, -2 in increasing order.
-2, 0.3, j
Let w = -6 - -7. Let z be w/(-2 - -3)*4. Let p = 1 + -3. Sort p, z, 2 in descending order.
z, 2, p
Let a(u) = -u**3 + 2*u**2 - u + 1. Let m be a(2). Suppose -5*v - 5 = -3*z - 27, z + 3*v = 2. Sort z, m, 1 in increasing order.
z, m, 1
Suppose -s + 1 = 2. Let z = -10 + 9. Let g = 0 - z. Put s, g, 2 in descending order.
2, g, s
Suppose 36 = 3*g - 6. Put 5, g, 4 in increasing order.
4, 5, g
Let i(a) = 3*a - 3. Let v be i(2). Suppose -v*t = -2*t - 1. Suppose 0 = -3*m + b - 1 + 13, 5*b = 0. Sort m, t, -1 in descending order.
m, t, -1
Let y = -63/2 - -31. Sort -0.3, -3/4, y in descending order.
-0.3, y, -3/4
Let y(z) = -z - 11. Let a(i) = -i + 6. Let g be a(12). Let x be y(g). Suppose -4 = n - 6. Sort x, n, -2 in decreasing order.
n, -2, x
Let f = -27.2 + 27. Suppose 2*h - 4*h = -4*i + 24, 0 = -5*h + 3*i - 25. Put f, -0.3, h in increasing order.
h, -0.3, f
Let c = 61 - 62. Put -5, c, 3 in ascending order.
-5, c, 3
Let c be (-1)/(20/16 + 1/(-4)). Sort 3, 0, c, -5 in ascending order.
-5, c, 0, 3
Let b = -17 + 12. Sort -1, b, -2 in increasing order.
b, -2, -1
Suppose 4*c + 2 + 2 = 0. Let x be (-14)/(-5)*(-10)/(-4). Suppose x*j - 2*j - 5 = 0. Sort -2, c, j in decreasing order.
j, c, -2
Let v = -4.11 - -0.11. Let r = -1.5 + 1. Let g = 0.7 + r. Sort v, g, -0.2 in increasing order.
v, -0.2, g
Suppose 5*s = -2*u + 9 + 2, 5 = 2*s + u. Suppose -b = -0*b - s. Suppose -14 = 5*w + b. Put -4, -1/7, w in descending order.
-1/7, w, -4
Suppose -4*j + 6 = -3*j. Let s = j - 1. Suppose 2*r - 1 + 5 = 0. Sort s, 3, r.
r, 3, s
Let j = -1 + -2. Let z = -0.45 - 0.05. Sort j, z, 4.
j, z, 4
Let g be 2/7 + 1/(-7). Let x = 5 - 5.1. Let q = 0.5 + x. Sort q, 2/15, g in descending order.
q, g, 2/15
Suppose f = -f - 10. Let a(u) be the first derivative of u**4/4 + 4*u**3/3 - 5*u**2/2 - u + 1. Let q be a(f). Put q, 0.2, -1/3 in decreasing order.
0.2, -1/3, q
Let g = 5 + -3. Suppose 0*x + 2*y = -5*x + 19, -4*y + g = -2*x. Let s(o) = 2*o**2 - 7*o - 19. Let w be s(5). Put -3, w, x in decreasing order.
x, -3, w
Let q = 6.4 - 6. Let o = 0 + q. Let m = 0.2 + 2.8. Put m, o, 5 in decreasing order.
5, m, o
Let y(c) = c**2 + 15*c - 29. Let v be y(-17). Let n be 15/3*(1 - 2). Let m = -2 - n. Sort m, v, -3 in descending order.
v, m, -3
Let q = 7 + -6. Sort -2, q, -3 in decreasing order.
q, -2, -3
Suppose r = 3*r. Suppose -2*j + 3*o = -5*j + 6, 5*j + o + 6 = 0. Sort 4, r, j.
j, r, 4
Let g be 87/15 + (-1)/(-5). Suppose -g = -d + f, 2*f = 3*d - 0*f - 18. Suppose -3*q + d*q = -9. Sort 4, q, 3 in decreasing order.
4, 3, q
Let p be (1/2*0)/(-2). Suppose 3*r + 7 - 1 = 0. Let v = r - -6. Put v, 2, p in descending order.
v, 2, p
Let q = 315 + -2837/9. Let l = -0.1 + 0.1. Put q, 0.5, l in decreasing order.
0.5, l, q
Let n(w) = w**3 + w**2 - 14. Let y be n(0). Let v be (-4)/(-84) + (-4)/y. Sort v, -2, -3.
-3, -2, v
Suppose 0 = 6*a - 7*a. Suppose -2*d + 6 = 4*i, 4*d - 2*i = -a*i + 22. Sort 1, -2, d.
-2, 1, d
Suppose -8*i + 3*t = -5*i, 4*i + 4*t = -8. Sort -15, i, -2 in descending order.
i, -2, -15
Suppose -3*p + 2 = 2*r - 4*r, -33 = -5*r - 2*p. Let m = 7 + r. Let v be 16/m + (-1)/3. Put -4, v, 5 in ascending order.
-4, v, 5
Let b(a) = -4*a**2 + a - 2. Let f(r) = -5*r**2 + 2*r - 1. Let x(w) = 6*b(w) - 5*f(w). Let i be x(6). Put 2/7, 7, i in descending order.
7, i, 2/7
Let j = -23.6 + 23. Let m = 0.3 + j. Put 0.4, m, -2/13 in ascending order.
m, -2/13, 0.4
Let t be (8*3/15 - 2)/2. Sort t, 2/11, -11, 2/5 in ascending order.
-11, t, 2/11, 2/5
Let p = -0.45 - -0.15. Sort 0.1, -5/2, p in increasing o