 order.
1, 0.3, v
Suppose 5*b = 4 + 1. Let g be (b/(-4))/((-9)/(-54)). Let a = 0 + 1. Sort -4, g, a in descending order.
a, g, -4
Let b = 5 - 0. Let p = -52 - -54. Put b, -1, p in decreasing order.
b, p, -1
Let g = 5.1 + -7.1. Put g, -1.4, -0.1 in descending order.
-0.1, -1.4, g
Let k(c) = -c + 1. Let q be k(-2). Let l = -1 + q. Sort 3, 1, l in decreasing order.
3, l, 1
Suppose 0*y = 3*y. Suppose -5*x = -4*m - 13, 3*m + y = 3*x - 9. Sort x, -4, 5.
-4, x, 5
Let b be -3 + 7 - (-9)/(-1). Let r(d) = 3*d - 9. Let v be r(6). Suppose 3 = 3*f + v. Put b, f, 2 in descending order.
2, f, b
Let c(j) = -j**3 - 7*j**2 - 7*j. Let w be c(-6). Sort w, 4, 5.
4, 5, w
Let y = 10.2 + -5.2. Put 1/4, y, 4 in decreasing order.
y, 4, 1/4
Let f be 2/(-1) + 0/(-2). Let w be (-162)/30 - f/5. Sort -2, -3, w in descending order.
-2, -3, w
Let c be (-2)/(-12) - (-116)/24. Sort 3, -4, c in ascending order.
-4, 3, c
Let d be 88/24 + 8/6. Let s = 2 + 1. Put -2, s, d in descending order.
d, s, -2
Let l(v) = -v - 19. Let q be l(-15). Sort q, 5, -1, 4.
q, -1, 4, 5
Suppose -s - 19 = -2*s - 2*j, -4*s = 4*j - 60. Sort -5, -4, s.
-5, -4, s
Let d = 11 + -1. Suppose 4*t = 6 + d. Suppose -t*x - 21 = -5. Sort x, 5, -5 in increasing order.
-5, x, 5
Let s = -2 - -3. Let l = 0.056 + 1.944. Sort s, l, 4/7 in descending order.
l, s, 4/7
Suppose -10*f + 36 = 86. Put -43, 4, 3, f in descending order.
4, 3, f, -43
Suppose 38*b + 169 - 17 = 0. Let a = -1 - -1. Let c(u) = u - 2. Let l be c(a). Sort l, b, 0 in decreasing order.
0, l, b
Let y(z) = -z + 3. Let h be y(8). Suppose 0*b = -3*b. Let d = 3 + b. Sort 1, d, h.
h, 1, d
Let v = -28/3 - -9. Let y = -9 - -10. Sort v, y, 0.5 in increasing order.
v, 0.5, y
Let i = 28 + -29.3. Let q = -2.7 + i. Put -0.2, q, 0.3 in descending order.
0.3, -0.2, q
Let a(i) = 2*i**3 - 5*i**2 + 3*i - 5. Let m be a(2). Sort m, 0, 3 in ascending order.
m, 0, 3
Let n be -6*(-2)/(-4)*-1. Let j = -0.02 + -2.98. Sort n, 0, j in ascending order.
j, 0, n
Let h = 734/9 + -82. Sort h, 3, -0.06 in descending order.
3, -0.06, h
Suppose 3*v - 10 = -5*z - v, -3*v + 7 = 4*z. Let k be 3*(14/(-6) + 1). Put z, 0, k in descending order.
0, z, k
Let u = 0.21 + -0.61. Put u, -2/11, -4 in decreasing order.
-2/11, u, -4
Let w = 1.1 + -0.1. Suppose 0 = -5*n - 4*p, 3*p - 8 = 7. Sort 4/7, n, w in descending order.
w, 4/7, n
Let x be ((-4)/12)/(1/(-15)). Let b(t) = -t**2 + 4*t. Let p be b(4). Sort -2, x, p in increasing order.
-2, p, x
Let k = -7.8 + 8. Sort k, 0.3, 2 in descending order.
2, 0.3, k
Let z = -60 + 50. Put 0, -3, z in descending order.
0, -3, z
Let t = -9 + 11. Put 4, t, -3 in increasing order.
-3, t, 4
Let y = -4.34 - -0.44. Let i = -0.1 + y. Let j = 4.97 + 0.03. Sort j, i, 2 in decreasing order.
j, 2, i
Suppose 5*l - 1208 = 3*l. Let b = 1915/3 - l. Let c = b - 35. Sort -0.5, c, -4.
-4, c, -0.5
Let i(v) = v + 1. Let f be i(4). Suppose 17 = f*p + 6*a - 2*a, 0 = -5*p + 2*a - 1. Suppose 4*r + p = 5. Put -3, r, 0 in descending order.
r, 0, -3
Let n = 659/12 + -55. Sort -0.5, n, -0.4.
-0.5, -0.4, n
Let b be (-6)/(-100)*-6 - 0. Let v = b + 4/25. Sort 3, v, 4 in ascending order.
v, 3, 4
Let d = 6 - 1. Let n = 9.2 + -7. Let a = n - 2. Sort -3, a, d in descending order.
d, a, -3
Let x(k) = -2*k**2 + k + 1. Let r be x(2). Let b be (3/r)/(8/20). Sort b, 2/5, 3 in descending order.
3, 2/5, b
Let q = 0.08 + 0.22. Let n = -13 + 22. Let g = n + -9. Put q, 2, g in increasing order.
g, q, 2
Suppose 27 = 2*c + c. Put 0, c, -5 in increasing order.
-5, 0, c
Let w = -0.7 - -0.2. Let y be (-3)/1 + (1 - 0). Suppose -11 = -z - 5*s, s + 8 = 5*s. Put w, y, z in descending order.
z, w, y
Let k be 7 - (1 + 4) - (1 + 3). Sort 5, 1/4, k, 1 in increasing order.
k, 1/4, 1, 5
Let v(z) be the second derivative of z**5/20 - 7*z**4/12 - z**3 - 11*z**2/2 + 3*z. Let j be v(8). Sort -4, j, 2.
-4, 2, j
Let m(j) = j - 7. Let s be m(11). Let y be (-2)/1 - (0 - -1). Let n = -6 - y. Put n, 0, s in decreasing order.
s, 0, n
Let d(p) = p**2. Let n be d(-1). Suppose 0 = 2*t - 3*q + 51, 2*t - q = 5*t + 93. Let j = 26 + t. Sort j, -1, n in decreasing order.
n, -1, j
Suppose -5*l = -3*s + 5*s - 26, -5*s = 4*l - 31. Suppose -3*j + f - 3 = -0*j, 3*f = 3*j + s. Sort j, -4, 3 in decreasing order.
3, j, -4
Suppose -5*n + 22 = -0*n - 4*g, g = -3*n + 3. Suppose 4*r - 7 = 5. Suppose 5*o - r = 2. Sort n, -5, o.
-5, o, n
Suppose 5*i - 2*m = 2*i + 8, 3*i = 5*m + 2. Suppose -s = -i*s - 12. Sort 1, s, 0 in descending order.
1, 0, s
Let m be 740/(-140) + (4 - -1). Sort 3/7, 4, m, 2.
m, 3/7, 2, 4
Let x = -3 - -8. Suppose x - 3 = -a. Put a, 3/7, -1/5 in descending order.
3/7, -1/5, a
Let k = 2 - 2.5. Let d = 35/152 - 2/19. Put k, d, 5 in decreasing order.
5, d, k
Let c = 1.9 + -1.7. Suppose 0 = -0*t - 4*t. Suppose -15 = -3*x - t*x. Put x, 0.3, c in ascending order.
c, 0.3, x
Let p be 30/(-5) + -2 + (4 - 1). Put 3, 1/3, p in ascending order.
p, 1/3, 3
Let p = 28.9 + -29. Sort -27, p, 2/11 in decreasing order.
2/11, p, -27
Let w be (8/(-20))/(2/(-20)). Let s(j) = j**3 - 7*j**2 - j + 10. Let c be s(7). Sort 1, c, w in decreasing order.
w, c, 1
Let y be (-5 + 4)*((-2)/2 - -2). Let j = 3 + -7. Sort -5, y, j in increasing order.
-5, j, y
Let a be 181/(-10) - 2/5. Let n = 19 + a. Suppose -2*h + 5*h = 9. Put n, h, 1/4 in increasing order.
1/4, n, h
Let t(q) = q**2 - 15*q + 1. Let s be t(15). Sort 5, s, -3.
-3, s, 5
Let f = -2.71 - -4.7. Let v = 0.01 + f. Put v, -3, -0.3 in ascending order.
-3, -0.3, v
Let o = -312 - -5302/17. Sort -5/7, 2/9, o, -4 in ascending order.
-4, -5/7, o, 2/9
Let t = 87 + -92. Sort 0, t, -1, 3 in decreasing order.
3, 0, -1, t
Let a be 5/25 + (-14)/(-5). Sort 21, a, -3 in decreasing order.
21, a, -3
Suppose -5 = -2*u - 2*u - 5*q, -3*q + 3 = 0. Let a be (20/(-7) - u) + 2. Sort -2, 3, a.
-2, a, 3
Let m be (-1)/((3 - 0)/(-9)). Let i be m + (-3 - 4/(-2)). Put 3, -2, i in ascending order.
-2, i, 3
Let f be 594/760 + 0 + 0. Let g = -3/95 + f. Let s = 9 + -13. Sort g, -0.2, s in decreasing order.
g, -0.2, s
Let c(u) be the first derivative of 3*u**2/2 + 3*u - 4. Let q be c(3). Suppose -5*x - 2 = -q. Sort -5, x, -2 in descending order.
x, -2, -5
Let w = 2 + -2. Sort w, -2, -4.
-4, -2, w
Suppose -4*i - 12 = -4*x, -4*x = 5*i - 5 - 7. Put 1, i, 5 in ascending order.
i, 1, 5
Let g(i) = i**3 - 10*i**2 - 13*i + 19. Let a be g(11). Sort 4, a, -4 in increasing order.
-4, a, 4
Suppose -4*a = -4*q, -4*q = -3*a - 0*a + 1. Suppose -5 = -5*p - 5*h, 5*p = h - 4 + 3. Sort p, 1, a in ascending order.
a, p, 1
Let o be (128/(-12))/(-4) + -3. Put 14, 2, o in ascending order.
o, 2, 14
Let c(i) = -i**3 + 2*i**2 + 2*i - 2. Let z be c(2). Let v = 78.9 - 79. Sort 0.1, v, z in decreasing order.
z, 0.1, v
Let y(t) = -t - 4. Let h be y(-3). Put h, -3, 3 in increasing order.
-3, h, 3
Suppose 2*r + 5 = 4*d + 1, -2*r + 10 = 3*d. Sort r, 3, -1, -5.
-5, -1, r, 3
Suppose 0*q - q = -2. Sort q, -4, 5 in descending order.
5, q, -4
Suppose -3*k + 2*u + 1 = 0, -4*k - u - u + 6 = 0. Put k, -2, -3 in decreasing order.
k, -2, -3
Suppose -2*d = 4*u + 2 - 0, 0 = 2*d - 3*u + 2. Let a = -8 - -15. Let v = a - 3. Sort -5, v, d in descending order.
v, d, -5
Let i = 5.1 + -7.13. Let h = 2 - 1.97. Let p = h + i. Put -0.4, -0.5, p in ascending order.
p, -0.5, -0.4
Let p = -40 + 45. Sort 0, -5, p.
-5, 0, p
Let l(t) = t. Suppose 24 = -4*u + 4*i, -2*u + i = 3*u + 22. Let v be l(u). Let j be (21/6 + -3)*v. Put 3, 5, j in decreasing order.
5, 3, j
Let b(l) be the first derivative of 3*l**2/2 + 2. Let o be b(1). Let d be 0/(o/(6/2)). Put 3, d, -2 in decreasing order.
3, d, -2
Let v = 37 - 64. Let r = v + 26.8. Put -1, -5, r in decreasing order.
r, -1, -5
Let a = 0.1 + -0.1. Let m = 41.2 + -41. Let f = a - m. Sort -3, f, -4/7.
-3, -4/7, f
Suppose 8 = -3*h + 17. Suppose -3*f - 2 = 3*v - 5, -4*v = h*f + 1. Sort f, -5, 1.
-5, 1, f
Let k = 8 - 4. Suppose 2*s = k*n + 10, -7*n - 15 = -2*n - 3*s. Put 3, n, -5 in descending order.
3, n, -5
Let u be 3 - 3 - 1*6. Let w = -3 - u. Put -3, 1, w in decreasing order.
w, 1, -3
Let i be (-2)/(-8) - (-66)/(-8). Let j be (-6)/(-12) + (-441)/i. Let c = j + -56. Put c, -2/17, 3 in descending order.
3, -2/17, c
Let u = -10 - -10. Let x = -3.5 + 3. Let j = x - u. Put j, -5, -1/9 in decreasing order.
-1/9, j, -5
Let d = -12 - -18. Let n be (4/d)/((-2)/(-15)). Put