 a in decreasing order.
4, 2/5, 0.01, a
Let i = -435 + 433. Put i, 1, 8 in descending order.
8, 1, i
Suppose 2*d + d = -9. Let q be (-3)/(-6) - 19/(-2). Suppose -q = 4*i + i. Sort d, 1, i in decreasing order.
1, i, d
Let k(m) = -m**3 - 8*m**2 - 8*m - 3. Let s be k(-7). Suppose -5 = 62*h - 5. Sort h, s, -3, -2 in increasing order.
-3, -2, h, s
Suppose 96 = 5*y + 76. Sort -4, y, -11 in ascending order.
-11, -4, y
Suppose 2*f = -3 + 11. Sort f, 3, 0 in descending order.
f, 3, 0
Let t = -100 + 101. Put t, -0.5, -75 in decreasing order.
t, -0.5, -75
Let x(b) = 4*b. Let w be x(-5). Let v = w - -29. Let d be ((-3)/v)/(2/12). Sort 1, d, 0 in ascending order.
d, 0, 1
Let w = 184 + -186. Sort -4, -5, -3, w in descending order.
w, -3, -4, -5
Let g = -0.46961 + 0.06961. Suppose 4*h = 16, -h = 5*z - 0*h + 16. Sort -1, g, z, -0.3 in ascending order.
z, -1, g, -0.3
Let d be 9/83*84/252. Put 1/2, -1, d in decreasing order.
1/2, d, -1
Let v(i) be the third derivative of -i**5/60 + 17*i**4/24 - 26*i**3/3 + 18*i**2. Let z be v(13). Put -9, z, 1, 2 in descending order.
2, 1, z, -9
Suppose -3355*a + 3349*a - 18 = 0. Sort a, -51.4, 1, -3/2 in decreasing order.
1, -3/2, a, -51.4
Let c be (30/(-25))/((-2)/(-5)). Let j be c + 5/((-20)/(-32)). Sort j, -5, 11 in descending order.
11, j, -5
Let c be (4/5)/((-2)/(-5)). Suppose -7*v - c = 5. Sort v, 0.12, -4/9.
v, -4/9, 0.12
Let g = -39 - -119/3. Let i = 543 + -541. Sort g, 3/7, -0.3, i in descending order.
i, g, 3/7, -0.3
Suppose -7*b = -2*b - d + 34, 5*d = -2*b - 19. Let v = 91 + -92. Sort v, -5, b.
b, -5, v
Let p = 36 + -60. Let x = p + 28. Sort -0.3, x, -0.2 in increasing order.
-0.3, -0.2, x
Let v = 1241 - 1374. Sort 5, 2, -3, v.
v, -3, 2, 5
Suppose -3*y - 2*d = -7, 2*y + 2*d = 25 - 21. Let n be (-8)/(-6)*(-3)/2. Put y, 14, -3, n in descending order.
14, y, n, -3
Suppose 0 = -2*n + 79 - 19. Let v(a) = -4*a - 39. Let i be v(-11). Suppose n = 5*u + i. Put 4, u, 3 in descending order.
u, 4, 3
Suppose 30 - 22 = 8*b. Put 9, b, -1 in decreasing order.
9, b, -1
Let v = 4 - 9. Let w = -802/175 + 111/25. Sort w, v, 0.1 in decreasing order.
0.1, w, v
Let a = -95.3 - -109. Let d = -52 + a. Let b = 38 + d. Sort 5, 1, b.
b, 1, 5
Suppose 5*a - 3*d - 32 = 0, -3*a = -5*a + 5*d + 28. Let y = -2 - a. Put -1, y, 0, 3 in ascending order.
y, -1, 0, 3
Let d = -7 - -10. Let x = d + -3.09. Let f = 0.11 - x. Sort 5, -0.1, f in ascending order.
-0.1, f, 5
Let z = 0.511 - -11.489. Sort -1/4, -2, 2/7, z in decreasing order.
z, 2/7, -1/4, -2
Let u be ((-42)/(-36) - 4/6)*-2. Let b be (-2 - -2 - 0)/(u - 1). Sort 1, b, 4, 2/9.
b, 2/9, 1, 4
Let r be 6/15*105/6. Suppose r - 16 = -3*b. Let q(h) = 6*h**3 - h. Let d be q(-1). Sort b, 4, d.
d, b, 4
Let b = -1056 - -1060. Put 1/8, b, -0.44 in increasing order.
-0.44, 1/8, b
Suppose 6 = 3*d - 6. Let w be 573/(-15) - (3 - 1). Let f = -601/15 - w. Put f, d, -2/13 in descending order.
d, f, -2/13
Suppose -7 = 3*q - 4*j - 1, -4*q - 3*j - 8 = 0. Put q, -1, 123 in decreasing order.
123, -1, q
Let z be (-6)/8 + 60/(-48). Let i(x) = -x**3 - x**2 + 3*x + 2. Let t be i(z). Suppose -20*y = -16*y + 20. Put t, y, 2 in descending order.
2, t, y
Let c = -6 - -5. Let v be ((-3)/(-7))/(44/(-77)). Suppose z - 2 - 2 = 0. Put c, v, z in descending order.
z, v, c
Let x = 917 - 913. Sort -12, -1, x in decreasing order.
x, -1, -12
Let i(j) = 12*j**2 + j**3 + 2*j - 29 + j - j - 4*j. Let x be i(-12). Put -17, x, 1 in ascending order.
-17, x, 1
Let b = 1610 + -1613. Sort 2, b, 58 in descending order.
58, 2, b
Suppose -4*u + 2*x + 28 = 0, 3*x + 1 + 1 = u. Suppose 0 = -4*c + u. Let j = -8248 + 8245. Put 0, j, c in descending order.
c, 0, j
Suppose -5*t + 22 = -2*r, 10 = t - r + 2*r. Let m be ((-3)/(-6))/(t/(-4)). Sort m, 3/7, 7 in descending order.
7, 3/7, m
Let w be (0/(2 + -8))/(-2). Sort w, -3, 2/9, 4.
-3, w, 2/9, 4
Let y be 0 - -7 - (-9)/(-3). Let i(j) = -j**2 + 4*j + 4. Let g be i(y). Suppose -w - d = -6*d - 30, g*d + 5 = -3*w. Put 1, w, -1 in descending order.
w, 1, -1
Suppose 4*y + 5*j + 1 + 4 = 0, 10 = -3*y - 5*j. Suppose 0 = t + 2*t - 9. Suppose -t = -g + 1. Sort -4, y, g in increasing order.
-4, g, y
Let w(p) = p**3 - 2*p**2 - 5*p - 8. Let l be w(4). Suppose 5 = -j + 2*j. Suppose -2*h = 2*h, j*h + 9 = -v. Sort v, -0.5, l.
v, -0.5, l
Let j = -3.1 - -38.3. Let w = j + -35. Sort 4, w, -0.01 in ascending order.
-0.01, w, 4
Suppose 5*q + 237 = 10*q - 3*y, 3 = 3*y. Put q, -3, -4 in descending order.
q, -3, -4
Let u = 40 + -38. Let n be 4/22 + (-53)/(-11). Sort u, -1, n in increasing order.
-1, u, n
Let p = 0.47 - 2.47. Let b = 0.06 + -0.46. Let j = 1945/11 - 177. Put p, b, j in increasing order.
p, b, j
Let y = 0.05 + -0.1. Let o = 9 - 8.974. Let p = -2.974 - o. Sort p, -0.5, y in ascending order.
p, -0.5, y
Suppose 4*t = 15 + 1, 2*j + 3*t - 20 = 0. Sort -19, -2, -4, j in decreasing order.
j, -2, -4, -19
Let r = -4 - -3. Let q = -309 - -309. Sort q, 5, r, 2 in ascending order.
r, q, 2, 5
Suppose l = 2*g + 2, -2*g + 8 = -5*g - l. Sort 58, 2, g in ascending order.
g, 2, 58
Let s = 3907/2 + -1953. Put 2, -1, s, -0.01 in descending order.
2, s, -0.01, -1
Let r be 4 - 16*(-10)/10. Sort -0.2, r, 1, 0.5 in ascending order.
-0.2, 0.5, 1, r
Suppose -7 = -13*g + 58. Sort -8/11, g, 3 in descending order.
g, 3, -8/11
Let s be 25/3 + 2/(-6). Suppose 2 = -3*n + 4*n. Suppose -6 + n = 4*l. Put l, 5, s in decreasing order.
s, 5, l
Let p = -923 - -927. Sort 2/27, p, -3/2 in descending order.
p, 2/27, -3/2
Let x be (-2)/(2 + -8)*0. Suppose x = -0*y - y. Let o = -14 + 9. Sort y, 3, o.
o, y, 3
Let y(p) = 6*p**2 + 30*p + 1. Let v(m) = m**2 + 6*m. Let g(u) = 11*v(u) - 2*y(u). Suppose 6*q - 57 = -21. Let o be g(q). Sort 4, 2, o.
o, 2, 4
Let z be -3 + 615/(-5) + 2. Let q = z - -127. Put 26, 5, q in ascending order.
q, 5, 26
Let j(m) = -136*m - 403. Let s be j(-3). Let p = 5 - -2. Sort 2, s, p.
2, s, p
Let a = 443 - 446. Put 9, 4, a in decreasing order.
9, 4, a
Let w = 11/4 - 13/4. Let f = 73 + -71. Sort -15, w, f in ascending order.
-15, w, f
Let t = 649 + -648. Sort 0, -2, 3, t in increasing order.
-2, 0, t, 3
Let i = 10 - 11.3. Let j = 3.7 - i. Let s = j + -5.3. Sort s, 0.3, -0.1 in increasing order.
s, -0.1, 0.3
Let s = 0.7 + -0.3. Let a = 34.9 - -9.1. Let i = 43.6 - a. Sort s, i, 1 in decreasing order.
1, s, i
Let b(r) = 3*r**2 - r. Let x be b(1). Let z(c) = -c**3 - 5*c**2 + 3*c + 14. Let d be z(-5). Put x, 5, d in descending order.
5, x, d
Suppose -2*a = -3*f - 92, 4*f + 73 = -2*a - 59. Let s = -34 - f. Sort -3, 3, s in descending order.
3, s, -3
Let l = 0.27 - -11.73. Let c = 12.5 - l. Put 2/9, 3/5, c in descending order.
3/5, c, 2/9
Let c(i) = 24*i**2 + 1. Let f be c(1). Suppose -4*x = -5*s + f, 2*x - 7*x + 25 = 5*s. Sort 9, s, 3.
3, s, 9
Let i = 2.96 + -2.7. Let n = -0.74 - i. Let f(a) = a**2 + a + 3. Let b be f(0). Sort n, -3, b in increasing order.
-3, n, b
Let y = -9 + 45. Let m be 1/(-3) - 2/3. Let g be (m - (-152)/y) + -3. Sort -4, g, 2.
-4, g, 2
Let q = 6.1 + -6.4. Put 2/25, q, 0.2 in decreasing order.
0.2, 2/25, q
Let l(h) = -h**3 + 8*h**2 + 13*h + 10. Let g be l(9). Let r = g + -41. Suppose -3*j - 9 = 6. Put r, j, -3 in increasing order.
j, -3, r
Let v = 11/3 + -4. Let h be (-2 + (0 - -5))*(-6)/(-9). Let r be h + (-32)/(-20) - 4. Sort r, v, 4 in ascending order.
r, v, 4
Let d = -65.6 - -70.6. Sort -1/3, 1/9, d in increasing order.
-1/3, 1/9, d
Let t = -27 + 41. Let l = 0.272 - 0.472. Sort t, -3/8, l in ascending order.
-3/8, l, t
Let r = -9/19 - -263/114. Sort 1, 2/9, r, -5.
-5, 2/9, 1, r
Let q be (-35)/49 - 4/14. Sort -2, 0, q, -33 in increasing order.
-33, -2, q, 0
Let f be 4 + (-3 + 6)*5/(-3). Put f, -0.3, -59 in ascending order.
-59, f, -0.3
Suppose -15 = -g - 2*g. Suppose k = d - 6 - g, 3*k = 5*d - 51. Sort 4, d, 2, 0 in descending order.
d, 4, 2, 0
Let k = 31 - 2. Let i = 58 - k. Let r = 31 - i. Put r, -0.3, -3 in decreasing order.
r, -0.3, -3
Let w = -269 + 156. Let x = 109 + w. Put -5, 3, x in descending order.
3, x, -5
Let n = -36 + 64. Let l = -25 + n. Sort -4, l, 0.
-4, 0, l
Let k = 0.112 + 0.398. Let n = k + -5.51. Sort 4, 5, n in decreasing order.
5, 4, n
Suppose -2*l = -3*f + 3, -l = -2*f + 3 - 0. Suppose -j + 2 = f. Let g(t) = t**3 - 11*t**2 + 19*t - 11. Let h be g(9). Sort 0, j, h in descending order.
0, j, h
Let i = -