0.2 in descending order.
v, -0.2, -5
Let d = 76 + 26. Let i = d + -104. Sort i, 3, 4, -17 in decreasing order.
4, 3, i, -17
Let t = 0.476 - 0.376. Let y = 935/8 + -117. Let v = -2 - 0. Sort t, y, v in decreasing order.
t, y, v
Suppose 0 = -3*a + 7*a + 40. Let b be (-107 - 1)/(6/4). Let f = b - -67. Put 0, a, f in descending order.
0, f, a
Let h(q) = 10*q**2 - 168*q - 25. Let r be h(17). Sort 3, 13, r.
3, r, 13
Let q = -647 + 644. Put 3, q, 1, -1 in descending order.
3, 1, -1, q
Let a(n) = -2*n**3. Suppose -m - 5*m - 18 = 0. Let q be (m - (1 + -3))*-1. Let h be a(q). Sort h, -4, -3 in descending order.
h, -3, -4
Let k be 266/(-152) - (-63)/(-12). Sort 0.1, -4, k, 3/2 in ascending order.
k, -4, 0.1, 3/2
Suppose 2*s = -2*s - o + 19, 2*s + 5*o - 23 = 0. Suppose 218 + 142 = 9*f. Suppose 3*l = -5*l + f. Sort l, s, -1.
-1, s, l
Let j be (1 + -1)/(1 - 2). Suppose -158*g + 153*g - 5 = 0. Sort g, j, -6.
-6, g, j
Let h be 88/(-110) - 22/10. Suppose -4*w = 2*n - 38, 2*n + 9 = -3*w + 40. Sort 4, h, w in descending order.
w, 4, h
Let y = -167 - -172. Sort -164, y, -5 in descending order.
y, -5, -164
Let u = -13 + 11. Let w = -2 + u. Suppose 3 = 3*x - 3. Sort x, w, 3 in decreasing order.
3, x, w
Suppose -v + 1 = -6*y + 5*y, 4*y = -4*v - 12. Put v, 0, 65 in increasing order.
v, 0, 65
Let w = -1 + -5. Let p(i) = -i**2 - 12*i + 19. Let x be p(-14). Let r = x + 11. Sort w, r, 1 in descending order.
r, 1, w
Suppose 0*p = 2*p + 2. Let i(x) = -2*x**2 + 39*x + 21. Let z be i(20). Sort 2, z, p, 0.
p, 0, z, 2
Let r(i) = -4 - 5*i**3 + 1 + 2 + 3*i - 4*i. Let z be r(-1). Suppose m = -z*k + 8, -5*m + 12 = -6*k + 3*k. Sort 4, k, -1 in ascending order.
-1, k, 4
Let r be (23 + -12 + -11)/2. Sort r, -27/4, 4 in decreasing order.
4, r, -27/4
Let a = -0.707 - -0.047. Let m = a - -0.96. Put -2/11, m, -1 in increasing order.
-1, -2/11, m
Let j(l) = -l**3 - 3*l**2 - 6*l - 4. Let x be j(-2). Suppose 4*d + 5*w - 23 = 0, -x*w + 10 = 2*d - 2*w. Put 1, 10, d in decreasing order.
10, d, 1
Suppose -b + 1 = 5*p, p - 7 - 6 = 3*b. Suppose -2*h - 3*k = h + 12, 0 = -3*h + 2*k - 2. Let l(v) = -v**3 - 3*v**2 - 5*v - 20. Let f be l(-3). Sort f, p, h.
f, h, p
Suppose -4*x + 48 = -0*x + 4*l, -3*x + 12 = -5*l. Suppose -3*n + x = 0, -2*t = t - 3*n. Put 1, t, 2 in decreasing order.
t, 2, 1
Suppose 5 = -4*t + 25. Let c(v) = v**2 - 4*v - 5. Let i be c(t). Let h be 2/(-3)*(-21)/7. Sort i, h, 5 in ascending order.
i, h, 5
Suppose 0*a - 2*a + 4 = 2*b, 4*a + 2*b = -2. Sort -285, 0, a.
-285, a, 0
Let x = -4 + 4. Suppose 14 = -2*w - 2*o + 4*o, -3*o - 4 = 2*w. Suppose 5*a + l + 11 = 0, -a + 29 = -4*a + 5*l. Sort a, x, w in increasing order.
w, a, x
Let a be ((-9)/6)/(27/(-4)). Let m be -1 + (-39)/(-91)*-7. Put -2/7, m, 3, a in ascending order.
m, -2/7, a, 3
Let w(n) = 9*n + 333. Let b be w(-38). Sort -5, -2, b, 1 in increasing order.
b, -5, -2, 1
Suppose -13 + 4 = -3*m, -4*m + 25 = -j. Let d = j - -9. Let q(f) = 2*f**2 - 9*f + 5. Let n be q(4). Sort d, n, -5.
-5, d, n
Suppose -7*y = 96*y - 103. Sort y, 53, 0 in decreasing order.
53, y, 0
Let o be (2 - -26)*10/(-210)*-6. Sort o, 0.3, 26 in decreasing order.
26, o, 0.3
Suppose -4*j + v - 37 = 68, -v + 30 = -j. Let m = 30 + j. Sort -5, m, 3 in decreasing order.
m, 3, -5
Suppose -25*a = -21*a. Suppose a = 8*v - 6*v - 2. Put 3, -4, v, -5 in decreasing order.
3, v, -4, -5
Let y = 17 - 17.12. Let z = y - 6.88. Let c = z + 7.5. Sort c, 0.1, 3 in increasing order.
0.1, c, 3
Let q be -7 + (7 - (-2 + -2)). Put -6, 2, q, 5 in descending order.
5, q, 2, -6
Let h = -425 + 417. Sort h, 3/5, 0.1, 0.4 in descending order.
3/5, 0.4, 0.1, h
Let l = 5 - -22. Let m = l + -23. Sort 2, m, 0.03.
0.03, 2, m
Let j(z) = 10*z + 102. Let m be j(-10). Put m, -1, -3, 8 in decreasing order.
8, m, -1, -3
Let b = 832/5 - 167. Sort 7, b, -0.5, -5.
-5, b, -0.5, 7
Suppose y = -2*y. Let z = -5 + y. Let t = -127 + 127. Sort t, z, 4 in descending order.
4, t, z
Let m = -2 + 3. Suppose -3*p + 4*p = v - 2, 4*p + m = -3*v. Put 4, 2, v in decreasing order.
4, 2, v
Let w = -0.311 - 3.679. Let x = 0.01 - w. Let j = -324/5 - -64. Put x, -2/5, j in ascending order.
j, -2/5, x
Suppose 5*r + 4*w - 34 = 0, -4*r + 4*w = -21 + 1. Let m be (-8)/24 - (-16)/3. Suppose m*k = r + 4. Sort -1, -2, k in descending order.
k, -1, -2
Let j be (18/(-15))/(3/10). Suppose -25*c = 119*c + 32*c - 4576. Sort 4, j, c in descending order.
c, 4, j
Let n(d) = 2*d**3 - 8*d**2 - 2*d + 6. Let x be n(4). Let o be 5/((-15)/(-6)) - x. Sort o, 5, 3 in decreasing order.
5, o, 3
Suppose -d = -g + 3*g - 332, 0 = 2*g + 8. Let v be d/90 - (-6)/27. Put v, -4, -3 in decreasing order.
v, -3, -4
Suppose 0 = p - 4*p. Suppose p = -2*t + 3 + 3. Suppose 0*v = t*v. Sort v, -4, 5 in increasing order.
-4, v, 5
Suppose 16*u + 3183 + 1281 = 0. Put -4, 5, u in descending order.
5, -4, u
Let r = -165 - -160. Let h(n) = 4*n. Let p = -1 + 2. Let o be h(p). Sort o, 5, r in descending order.
5, o, r
Suppose -5*k + 10 = 5*v, 0 = 2*k + v - 5*v - 22. Let h(t) = -t + 8. Let m be h(6). Put m, 1, k in ascending order.
1, m, k
Let w = -3 - 2. Suppose -6*c - 224 + 56 = 0. Let h = c + 195/7. Put -0.1, h, w in decreasing order.
-0.1, h, w
Suppose -655 = 4*c + 5*p, p - 5*p = -4*c - 628. Let a = -155 - c. Let m be 0 - 2*(-2 + 3). Put a, m, -4 in descending order.
a, m, -4
Let v = -0.593 - 0.407. Sort 5, 0, 1/6, v in decreasing order.
5, 1/6, 0, v
Let h be 4/6*((-2)/(-4) + -1). Let p = -30 - -33. Put h, 6, p, -1 in decreasing order.
6, p, h, -1
Let u = -18.71 + -0.29. Let v = -18.8 - u. Sort -0.1, v, -5.
-5, -0.1, v
Let c(k) = -k**2 - 84*k + 832. Let w be c(9). Sort -1, 5, -3, w in decreasing order.
5, -1, -3, w
Let r(d) = -13*d + 17. Let q be r(1). Sort -2, 19, q in decreasing order.
19, q, -2
Suppose -3*p = -p + o - 2, 5*o + 16 = 3*p. Sort 28, p, 0, 1.
0, 1, p, 28
Let o(g) = 5*g**3 - g**2 + 2*g - 1. Let m be o(1). Let j be (m + -2)/(1 + -5). Put j, 2/9, 0.2 in descending order.
2/9, 0.2, j
Suppose 3*d = 4*j - 8 + 1, 2*j - 4*d = -4. Sort -56, 2, 5, j.
-56, 2, j, 5
Suppose -w = 8 - 12. Suppose -3*t + 2*t - w = 0. Sort t, 5, 4 in descending order.
5, 4, t
Let p be -17 - (-6*(-2)/10 + (-1368)/190). Let i be (-6)/(1/((-2)/(-3))). Put i, -1, p in decreasing order.
-1, i, p
Let k = -66.143 - -0.143. Let s = k + 66. Sort -6, -4/5, s in increasing order.
-6, -4/5, s
Suppose -5*w - 3*d + 29 = -13, 22 = w + 4*d. Let l be (-1)/(2/(-2)) - 3. Suppose 10*v - 9 = 41. Sort v, l, w.
l, v, w
Let g = -0.3 - -0.6. Let a = 403 - 2419/6. Sort g, -0.5, a, -5 in ascending order.
-5, -0.5, a, g
Let r be (-48)/(-288) - 262/(-12). Sort 2, r, 4 in decreasing order.
r, 4, 2
Let n be (0 + -1)/((-12)/24). Let x be ((-4)/6)/(220/150). Sort n, 4, x in decreasing order.
4, n, x
Let a = 28 - 29.35. Let y = 1.4 + a. Let z = 26 + -28. Sort -1/10, y, z in decreasing order.
y, -1/10, z
Let h = 11.14 + -11. Let p = 1.02 + -1.42. Put -0.3, h, p in descending order.
h, -0.3, p
Let i = 117/8 + -121/8. Sort i, 0.2, 0.3, -3/5 in descending order.
0.3, 0.2, i, -3/5
Let d = -151 - -155. Put d, -3, 11 in decreasing order.
11, d, -3
Let u = 172 + -174. Sort 0, 7, u, 5 in increasing order.
u, 0, 5, 7
Suppose -4*s = -2*k - 2, -2*k = -3*s + k. Sort 6, s, -8 in decreasing order.
6, s, -8
Let p = 71 + -36. Let m = 34.5 - p. Let v = -2 + 4. Put m, 0.5, v in increasing order.
m, 0.5, v
Let b be (-7 + (-24)/(-4))*1. Sort b, -9, -3 in descending order.
b, -3, -9
Suppose 4 = 2*b - 4*m, -5*m - 2 - 3 = 3*b. Let i = 43 + -23. Sort i, 5, -3, b.
-3, b, 5, i
Let k = -3 - 1. Let c be 44 - 6/2 - (-2 - 0). Let f = c - 38. Put k, 0, f in decreasing order.
f, 0, k
Let m = -7 - -11. Suppose -d - 20 = m*d. Let o(c) = c**3 + c**2 - c + 5. Let b be o(0). Put -0.2, d, b in ascending order.
d, -0.2, b
Let n = 4.6 - 5. Suppose 5*t + t = 24. Sort n, 0.01, t, -0.2.
n, -0.2, 0.01, t
Suppose -10*j + 24*j = 70. Suppose -4*x = d - 11, 2 = 4*x + 4*d - 18. Suppose 2*t - 10 + x = 0. Sort t, 2, j in descending order.
j, t, 2
Let b = 0.0397 + 14.9603. Sort -1/3, b, 0 in decreasing order.
b, 0, -1/3
Let w = -0.084 + 0.484. Let j = 42 + -44. Sort 1/4, j, w in descending order.
w, 1/4, j
Let p(s) = s**3 + 13*s**2 + 6*s - 17. Let w(f) = f**2 + 2*f. Let z(u) = -p(u) - 5*w(u). Let y be z(-17). Sort 1, -4, y in increasing order.
-4, y, 1
Let y = -130619/6 - -218