. Let y = 0.51 - 0.31. Sort y, d, 2/7 in ascending order.
d, y, 2/7
Let c = 16603 - 16605. Let v = 1 - -6. Sort c, v, 5 in decreasing order.
v, 5, c
Let v be (-2 - (-1 + -4)) + 12 + -14. Put -0.02, v, 6 in decreasing order.
6, v, -0.02
Suppose -80*y - 28 = -87*y. Sort 0, y, -1, -36.
-36, -1, 0, y
Let z = -2.3 + 25.3. Let v = z + -22.78. Let x = -0.28 - v. Put -1/4, -1, x in descending order.
-1/4, x, -1
Let w be (6*2/4 - 5)/(-2). Suppose 6*t - 20 = t. Let l be 11/t + (-21)/28. Sort -5, l, w in ascending order.
-5, w, l
Let n be 8/12*3/(-2). Let w(p) = -p + 6. Let h be w(1). Put n, -5, h in descending order.
h, n, -5
Let t = -118 + 128. Put -5/6, -1/4, t, 4 in ascending order.
-5/6, -1/4, 4, t
Let i = -77 + 386/5. Let h = -28 - 9. Let y = h - -35. Sort i, 3, y in decreasing order.
3, i, y
Let y = 3 + -2. Let g be -2 + 4/(4/7). Sort 2, g, y in decreasing order.
g, 2, y
Let u = -0.148 - -0.13. Let q = u - -10.318. Let r = q - 10. Sort 5, -1/2, r.
-1/2, r, 5
Suppose -4*m + 2*m - 4 = 0. Let a(h) = h**3 + 3*h**2 + 2*h. Let o be a(m). Suppose 0 = 4*r - o - 20. Sort 2, r, 0 in descending order.
r, 2, 0
Let d be (-1)/(-2)*(-20 - 20). Let t(f) = -f - 17. Let a be t(-14). Sort d, -2, -5, a in ascending order.
d, -5, a, -2
Suppose 0 = 12*j - 10*j - 10. Let u be (-6)/(-4)*(j - (-4 - -7)). Let r = 2 + -1. Sort 0, u, r in increasing order.
0, r, u
Let l = 17 - -8. Let u = -26 + l. Let d be 20/(-16) - (0 + u). Sort 0.2, 2, d in descending order.
2, 0.2, d
Let d be 2/4*212/689. Let a = -25/4 - -6. Sort d, a, -3 in decreasing order.
d, a, -3
Let m = -1303 + 1303.2. Let r = 2 + -2.4. Sort r, -4, -3, m in ascending order.
-4, -3, r, m
Let u be 3/6 + 24/16. Sort -27, -5, u, -2.
-27, -5, -2, u
Let s = 899 + -903. Suppose 2*r - 15 = -3*n, 16 = 4*n - r - 4. Put n, -5, s in decreasing order.
n, s, -5
Let m = 1357/9 + -151. Sort 1/3, 2/5, m, -2 in ascending order.
-2, m, 1/3, 2/5
Let n = -3/555451 + -274136429/555451. Let f = -494 - n. Put f, 3, -2/5, 0 in decreasing order.
3, 0, -2/5, f
Suppose -3*x + 4*d - 19 = 0, 5*x - 2*x + 17 = 2*d. Suppose -9 + 1 = -2*v. Sort v, -3, x, -4 in descending order.
v, -3, -4, x
Let n = -194 + 194.2. Sort n, 5, -1, 0.4.
-1, n, 0.4, 5
Suppose -n + 15 = -3*b, 2*n + 5 = -5*b + 2. Suppose 18 = n*w - 42. Suppose -2*v - 4 = -2*l, 0*v + w = -2*v + 4*l. Put -2, 2/5, v in increasing order.
-2, 2/5, v
Suppose 144*k + 35 = 137*k. Put -7, k, 5 in decreasing order.
5, k, -7
Let p be (-19)/(-190) + 1/(-10). Put -1, -71, p in descending order.
p, -1, -71
Suppose 4*d - w + 0*w = 11, 9 = -3*d - 5*w. Suppose d*z + 2*z = -2*s - 14, 4*z + 16 = -4*s. Sort -5, 3, z in increasing order.
-5, z, 3
Let t = -4.5 - -1.5. Put 4, t, -17 in descending order.
4, t, -17
Let p = -285 + 281. Put 3, 9, p in decreasing order.
9, 3, p
Suppose 39 = -5*i + 54. Sort i, -5, -15.
-15, -5, i
Let g = -1076/11 - -98. Sort 3.9, -1, g.
-1, g, 3.9
Let r(b) = b**3 - 2*b**2 - 11*b + 13. Let k be r(4). Let x = -2 + 2. Let u = 124/3 - 41. Put x, u, k in ascending order.
x, u, k
Let w be (-2)/4 - ((-5)/(-10) - 5). Suppose -w*y + 0*n = -3*n - 13, -9 = -2*y - n. Sort y, 5, -2 in decreasing order.
5, y, -2
Suppose -2*m + 138 = -2*n, 2*n = m + 4*m - 357. Suppose -18 + m = -5*x. Sort 2, x, -5 in descending order.
2, -5, x
Let h(d) be the first derivative of d**6/90 + d**5/60 + d**4/8 + 2*d**3 + 5. Let b(v) be the third derivative of h(v). Let c be b(-1). Sort -7, -1, c.
-7, -1, c
Let k = 119 + -114. Suppose -5*a - v - 15 = 3*v, 2*a - 4*v = 22. Sort k, 3, a.
a, 3, k
Let t = 15.6 - 4.6. Let i = t + -6. Let w = 142/3 - 1852/39. Put i, w, -2/7 in increasing order.
-2/7, w, i
Let l = -611 + 611. Put 3, l, -8 in descending order.
3, l, -8
Let b(d) = d**2 + 10*d + 11. Let z be b(-8). Let l = 181 + -181.5. Let a = -0.041 - -0.341. Put l, a, z in descending order.
a, l, z
Suppose -9*y = -76 - 140. Suppose 0 = 6*d + 2*d - y. Suppose 10*a - 25 = 5*a. Put -3, a, d in ascending order.
-3, d, a
Let d(j) = j**2 - j + 6. Let g be d(6). Suppose -4*t - 5*t = -g. Sort t, -1/3, -0.1 in decreasing order.
t, -0.1, -1/3
Let b = -688 + 680. Sort 2, 4, b.
b, 2, 4
Let j be (-48)/(-2) + (1 + 0)*-2. Sort -1, j, 12, -2 in decreasing order.
j, 12, -1, -2
Let u be (-3)/(-6) + 1/(-2). Suppose -4*n - 5*p + 17 = u, -10 = -4*n - 0*p + 2*p. Sort -3, n, -1 in ascending order.
-3, -1, n
Let x = 322.9 + -323. Sort x, -2, -0.07, 4 in increasing order.
-2, x, -0.07, 4
Let p = 62 - 58. Let z = 7 - 3. Suppose -d = -4*x + z, -4*d + 7*x - p*x = -10. Sort 0, d, -2 in descending order.
d, 0, -2
Let t = 21.9 - 172.9. Let u = 149 + t. Let c = -0.1 - 0.9. Sort 0.1, u, c in decreasing order.
0.1, c, u
Suppose 533*d + 27 = 524*d. Put d, -1, 1, 17 in ascending order.
d, -1, 1, 17
Suppose -4*l - 8 = 5*y, 3*y + 2 = -l - 2*y. Suppose -49*j - 5 - 334 = -94. Sort l, j, -1, 2 in ascending order.
j, l, -1, 2
Let j = 357 - 361. Let c be 31/5 - 5/25. Sort j, 0, c.
j, 0, c
Suppose 0 = 2*x + x + z + 1, 0 = -4*x - z - 3. Sort x, -1, -41 in decreasing order.
-1, x, -41
Let o = -6.79 - -2.08. Let p = o + -0.2. Let i = p - 0.09. Sort i, -0.02, 5.
i, -0.02, 5
Let v be (-2)/((336/60)/(-14)). Suppose -z - 2*z = 12. Put v, -1, z, -5 in decreasing order.
v, -1, z, -5
Let t(g) = -7*g - 103. Let w be t(-15). Put w, 3, -5, 9 in decreasing order.
9, 3, w, -5
Let j(t) = -t - 6. Let x be j(-15). Suppose -31*b - x = -28*b. Let p be 1/(-9)*(-9)/3. Sort b, p, 2/15 in ascending order.
b, 2/15, p
Let w = -26 + 26.2. Sort 0.5, w, -12/17, -1/2 in descending order.
0.5, w, -1/2, -12/17
Let k = -17 + 2. Let w = -14 - k. Put -1/2, 0.1, w in descending order.
w, 0.1, -1/2
Let z(d) = 24 - 6 - 33*d + 39*d. Let h be z(-2). Put 0.1, 3/7, h in decreasing order.
h, 3/7, 0.1
Let k be 8/3*(-3)/(-2). Let v be (-36)/(-8) + (-2)/k. Suppose 5 = 5*n, -5*b + n = v*n - 8. Sort 0, 5, b.
0, b, 5
Let q = 13 + -11. Let y be (-2 + 5 - q) + 15. Suppose 3*w - y = 7*w. Put -3, 3, w in descending order.
3, -3, w
Let m be (-5 - (-5 + 1))*3. Put 69, -0.2, m in decreasing order.
69, -0.2, m
Let t = 14 - 11. Suppose 5*z - 29 = 3*d, -3*z - 2 = -t*d - 23. Put 3, 4, d in decreasing order.
4, 3, d
Let p = -579 + 581. Put -8, -0.1, p in increasing order.
-8, -0.1, p
Let z be 1*2*(-57)/2. Let r = z - -27. Let v = r - -94/3. Sort 2, -1, v in increasing order.
-1, v, 2
Suppose -2*p - 201 = -9*t + 14*t, 5*p = 4*t + 141. Put t, 0, -4, 2 in decreasing order.
2, 0, -4, t
Let c be (2 - 1)/1 + 3. Let l = 917 - 923. Sort 2, l, c in ascending order.
l, 2, c
Let a = 3 - 3. Let b be 72/(-64) + 2/16. Put b, a, 1, 4 in decreasing order.
4, 1, a, b
Let l(n) = 3*n**3 - 38*n**2 - 11*n - 22. Let b be l(13). Sort b, 1, 8, 0 in descending order.
8, b, 1, 0
Let j(t) = t**3 - 4*t**2 - t + 7. Let m be j(3). Put m, 0, -8, 8 in descending order.
8, 0, m, -8
Let o be ((-270)/50 - -6)*5. Put o, 4, 0, -114 in decreasing order.
4, o, 0, -114
Suppose 5*v = 37 - 42. Let g = 2 + v. Put 4, -1, g, -4 in decreasing order.
4, g, -1, -4
Let b be ((-32)/(-6160)*14)/(3*-2). Put -1, -3/2, 3, b in increasing order.
-3/2, -1, b, 3
Suppose 153 = -3*p - 363. Let t be 6/27 + p/(-36). Sort t, -0.07, 2/7 in decreasing order.
t, 2/7, -0.07
Suppose 4*a - 22 = -i - i, -3*a + 9 = -i. Let h be 0 + (-3 + 4)*-1. Let c be -2*(-6)/4*h. Sort a, c, -1.
c, -1, a
Let n(v) = -v**3 - 2*v**2 - 4. Let t be n(0). Let d be ((-12)/(-9))/(1/3). Suppose 3*r + 8 = k + d*k, 0 = 3*k + 4*r + 1. Put t, 2, k in descending order.
2, k, t
Let l = -1999.91 - -1986. Let t = -1.61 - l. Let f = t + -12. Sort f, 1/7, -4 in descending order.
f, 1/7, -4
Let d = -4.43 - 0.57. Sort 71, 2/9, d.
d, 2/9, 71
Suppose f - k = -4*f + 4, -2*k + 2 = 0. Suppose -37 = 19*a - 113. Put a, 0, f in decreasing order.
a, f, 0
Let k be 8/20 + 3012/(-30). Let r = 95 + k. Put r, -9, -1/12 in descending order.
-1/12, r, -9
Let m = 233.8 - 234. Sort -3/5, m, 1/4, -2 in increasing order.
-2, -3/5, m, 1/4
Let b(c) = -c**3 - 7*c**2 + 1351*c + 8146. Let p be b(-6). Let u(a) = a - 7. Let v be u(6). Sort v, p, -4, 2.
-4, v, 2, p
Let p = -15 - -14. Let h = p + 28. Let w = -29 + h. Put 4, 2, w in descending order.
4, 2, w
Suppose 2*t = x - 0*t - 12, 2*t = -2*x - 6. Suppose 0 = 2*f + x*f. Suppose -2*s + f = -2. Sort -0.1, 2/3, s in descending order.
s, 2/3, -0.1
Suppose h - 22 = 4*o, -4*h + 10*o = 7*o - 23. Sort h, -21, -9, 4