9
Let o(a) = 5*a + 127. Let q be o(-26). Let p be (q - 2/((-3)/(-3))) + 6. Put p, -2/7, -6 in decreasing order.
p, -2/7, -6
Let u = -39.12 + 38.62. Sort u, 123, -5, -0.4 in ascending order.
-5, u, -0.4, 123
Let p be (-1 - 6) + (-72)/(-18). Let w be ((-54)/(-45))/(p/(-10)). Sort 1, -3, w, 5 in descending order.
5, w, 1, -3
Suppose 19*y = 33*y - 42*y - 252. Sort y, 2, 97 in ascending order.
y, 2, 97
Let d(y) = y**3 + 5*y**2 + 5*y + 3. Let g(u) = 22*u + 172. Let n be g(-8). Let s be d(n). Put 0, 27, s in decreasing order.
27, 0, s
Let k = 529 + -530. Let b be k + 36/28 + 0. Put -9/2, b, 4 in ascending order.
-9/2, b, 4
Suppose 0 = 2707*q - 2698*q - 180. Sort 4, 1, 7, q.
1, 4, 7, q
Let p be (30/4)/((-2)/(-4)). Suppose -11*m - p = -8*m. Suppose -14*n - 8 = -6*n. Put m, n, 0 in increasing order.
m, n, 0
Let d = 1 - 3. Suppose -29*u - 55 = -18*u. Let r be u + 5 + 0 + 2. Put r, d, 4 in ascending order.
d, r, 4
Let r = -23670 - -23668. Sort 0.3, -4685, r in descending order.
0.3, r, -4685
Let m be (4 + 27 - 22) + -2*2. Put 1, 116, m in decreasing order.
116, m, 1
Let y = -8708 - -8704. Sort 4, y, 5, 12, -5.
-5, y, 4, 5, 12
Let f = -5.18 + 5.528. Let d = f + -0.848. Put 0.2, -5/2, -1/8, d in decreasing order.
0.2, -1/8, d, -5/2
Let z = 456 + -457. Let t = -268/5 - -54. Sort 2, z, t, 2/7 in decreasing order.
2, t, 2/7, z
Let r(p) = p**2 + 66*p + 689. Let j be r(-54). Put -3, j, 2, 6 in increasing order.
-3, 2, 6, j
Suppose 17*p + 99 - 31 = 0. Suppose -3*o + 18 = 5*q + 4, -q + 3*o + 10 = 0. Sort -3, q, p, -2 in decreasing order.
q, -2, -3, p
Suppose -22 = -2*p - 16. Let v = 20 - 56/3. Sort v, -9, p.
-9, v, p
Suppose -194*l - 160 = -337*l + 175*l. Sort 34, l, 1 in descending order.
34, 1, l
Let o be (0 + 3)/((6 - 0) + 24/4). Put 2/155, 2/13, 2, o in decreasing order.
2, o, 2/13, 2/155
Let y be (-50)/(-10) + (-3 - -1). Suppose 0 = 3*k + t + 41, -2 = 3*t - 2*t. Let q be (-1056)/(-880)*20/6. Sort k, q, y in ascending order.
k, y, q
Let r = 1 + -2. Let l = -566 - -122. Let v = -443 - l. Sort 3, v, -3/5, r in decreasing order.
3, v, -3/5, r
Let c(b) = 3*b + 30. Let y(g) = 6*g**2 - 36*g + 8. Let k be y(6). Suppose j = -k*j - 81. Let i be c(j). Sort i, -23, 1.
-23, 1, i
Suppose -11*u + 15*u - 2*h = 6, u - h - 1 = 0. Let k = 2 + -2. Put 4, k, u in descending order.
4, u, k
Let y = -0.52 - 103.48. Let z = 100 + y. Sort -1/3, 2/17, z, 3 in descending order.
3, 2/17, -1/3, z
Let d be 6/(-9)*-27*(-2)/3. Let h be d/8*30/9. Let f(j) = -10*j**3 + j**2 - j - 1. Let g be f(-1). Put g, h, 5 in increasing order.
h, 5, g
Suppose 0 = -5*n + 5*w + 365, 6*n - 5*w - 134 = 4*n. Let x be 122/305 + n/(-5). Put x, 0, -5, 1 in increasing order.
x, -5, 0, 1
Suppose 5*v + 5*y + 11 + 4 = 0, -4*y + 44 = -4*v. Let n = 7 + v. Suppose a - 2*a = n. Sort 4, -2, a, -5 in ascending order.
-5, -2, a, 4
Suppose 4*i = 44*n - 45*n + 8, 0 = 4*i + 5*n + 8. Sort 12, -2, 5, i.
-2, i, 5, 12
Let n(i) = -19*i + 343. Let v be n(18). Sort -2, v, 3, 5, 2707.
-2, v, 3, 5, 2707
Let m = 6.5 + -6.624. Let w = m + 0.424. Sort 0.2, 0.5, -1, w.
-1, 0.2, w, 0.5
Let g = 87 + -53. Let k = -37 + g. Let n = 15.2 - 15.6. Put n, -1, -1/8, k in increasing order.
k, -1, n, -1/8
Let k be (3 - 2)/(1/(-5)). Suppose 0*t = -t + 2. Let f = -10046 + 10043. Sort t, k, f in decreasing order.
t, f, k
Let k = -260/763 - -6/109. Let m = -0.042 - -0.342. Sort k, -2/23, m.
k, -2/23, m
Suppose 2*z + 175 = 435. Let n = -128 + z. Sort 4, n, -5 in descending order.
4, n, -5
Let w = 22345 + -22344. Put w, -296, -3 in decreasing order.
w, -3, -296
Let u = -23 - -23.02. Let q = -2.094 - 0.8. Let m = -0.106 + q. Put u, m, 5 in decreasing order.
5, u, m
Let b(n) = -33 + 21*n + 6 - 1 - 23 - 7. Let s be b(3). Sort -2, s, 1, -4.
-4, -2, 1, s
Let g = -330 + 1649/5. Suppose -5*n + 5 = c, 5*c - 63*n + 60*n - 25 = 0. Sort 0.071, c, g in ascending order.
g, 0.071, c
Let i = -939/10 + 94. Let p = 89 + -88.8. Let t = -18.4 - -14.4. Put 1, i, t, p in increasing order.
t, i, p, 1
Let x = -10014 - -10011. Sort -0.5, 1, x, 54 in decreasing order.
54, 1, -0.5, x
Let s = -2 - 1. Let k = -1.92 + -184.08. Let c = 181 + k. Put s, 0, c in descending order.
0, s, c
Let b be (-2)/(22/(-2) + -2). Let u = -111.26 + 1256.66. Let g = u - 1146. Sort g, 4/3, -5, b.
-5, g, b, 4/3
Let c(r) = 4*r**2 + r + 2. Let f be c(-1). Suppose 5*p + s - 4 = 14, 0 = -p - f*s + 18. Put p, 2, -88 in descending order.
p, 2, -88
Let j(n) = n**3 + 5*n**2 - 17*n - 16. Let w be j(-7). Suppose 2*y + w*s = -y + 10, 0 = -2*s - 2. Sort 4, -2, -31, y.
-31, -2, 4, y
Let l = 52/11 + -211/33. Let x be 5/20 + 15/(-220). Let c be (-9 + 10)*((-68)/(-22) - 3). Put c, l, x in descending order.
x, c, l
Let r = 0.02597 + -0.22597. Sort -0.4, 3/4, -11, r, 0.5.
-11, -0.4, r, 0.5, 3/4
Suppose -4*k + 4*i - 36 = 0, 179*k - 176*k - 1 = -4*i. Sort -1/4, -142, k, -0.1.
-142, k, -1/4, -0.1
Suppose 28*n - 16704 = -3348. Sort n, 5, -5, 3, 4.
-5, 3, 4, 5, n
Let a(d) = 42*d - 265. Let z be a(5). Sort 4, -60, z in decreasing order.
4, z, -60
Suppose 2*z + 3*p + 9 = 0, z + 0*p = -3*p - 9. Suppose -11*v + 7*v = z. Put v, -1/5, -1, 2 in decreasing order.
2, v, -1/5, -1
Let z(c) = c - 14. Let s be z(13). Let q be (-2 - -5)*(-5)/(-3). Suppose 0 = -38*r + 62*r + 168. Put -3, q, s, r in descending order.
q, s, -3, r
Let q = 137 + -553/4. Let b = 34/5 + -38/5. Sort 0.5, q, b.
q, b, 0.5
Let b be 700/(-245)*7*(-1)/1. Suppose 0 = -4*p + 2*g - b, 3*g = 4 + 2. Sort 0, -1, p, 4 in descending order.
4, 0, -1, p
Let a = -181/5 - -36. Let b be 2592/(-1458)*((-6)/(-8))/(-3). Put a, b, 1/6, -2/7 in ascending order.
-2/7, a, 1/6, b
Suppose 3*w = 31 - 175. Let z = w + 49. Let a be (3 - (z + 0)) + 0 - -3. Sort 0, 6, a in decreasing order.
6, a, 0
Suppose 107 - 27 = 16*h. Let c = -1/309 + -1750/309. Let s = h + c. Sort 0.3, s, -9, -4 in increasing order.
-9, -4, s, 0.3
Suppose 5*u + 4*v - 330 + 274 = 0, 3*u = -5*v + 44. Sort 3, 84, u.
3, u, 84
Let x be (6 - 3) + (1 - 1)/(4/4). Put x, -4, -34 in ascending order.
-34, -4, x
Let b be -2*14/72*(-372)/651. Put -1, -5/6, b, 0.03, 0 in ascending order.
-1, -5/6, 0, 0.03, b
Suppose 30 = -7*n + 9*n + n. Sort 3, n, 74 in increasing order.
3, n, 74
Let u = -0.8 - -1. Let j be (-8)/(-6) + 33/(-99). Let q be (-36)/(-6) - (j - -2). Put 1/3, q, u in descending order.
q, 1/3, u
Let w = -4.5 - -4.9. Let n = -5.15 - -2.15. Put n, 3, -2, w in decreasing order.
3, w, -2, n
Let i(l) = -9*l**2 + 249*l - 787. Let r be i(24). Put -3, -12, -2, r in increasing order.
-12, -3, -2, r
Let j = 8.6 - 8.3. Sort 143, j, -1 in increasing order.
-1, j, 143
Suppose f + 3*y = -3 - 0, 4*f + 3*y = 6. Let k = 301 + -302. Sort f, 0, k, 4.
k, 0, f, 4
Let k be (0 - -1) + 12/(-15). Let j = -591.5 + 489. Let i = 98.5 + j. Put i, -0.2, k, -0.4 in descending order.
k, -0.2, -0.4, i
Suppose 0 = 4*q + 5*t + 16, 3*q = q - 3*t - 8. Suppose -5*r + 27 = 4*i, 5*i + 3 = 3*r + 9. Let z be i*1/(-20) + (-45)/75. Sort z, 0.4, q, 2 in descending order.
2, 0.4, z, q
Let h = -2073 + 2071. Put 2, 3, h, 4, -87 in increasing order.
-87, h, 2, 3, 4
Let z(o) = -o - 6. Let d be z(-5). Let h(q) = -3*q**2 - q. Let n be h(-1). Suppose -4*k + 453*s = 450*s - 7, 2*k - s = 5. Put d, k, n, 3 in descending order.
k, 3, d, n
Suppose 0 = -2*n + 6*n + 4. Suppose -9*p = -4*p - 195. Suppose 94*a - 81*a = -p. Sort 8, a, n in descending order.
8, n, a
Suppose -12*n = -9*n + 27. Let d = -11 - n. Sort d, -23, 0, -3.
-23, -3, d, 0
Let q = 0.7 + -0.5. Suppose -4*z - z = 15. Let g be (-32)/(-18) + (-26)/(-117). Sort q, g, z in descending order.
g, q, z
Let s = 347 + -344. Let g be (-2)/(-8) - (-2)/(-8). Suppose -s*v + 3 + 3 = g. Put v, 4, 3, -0.2 in ascending order.
-0.2, v, 3, 4
Let i = 29 - 31. Put i, -5, -119 in descending order.
i, -5, -119
Suppose 30 - 25 = q. Sort -19, 2, q, 4, -9.
-19, -9, 2, 4, q
Let k = -394 + 393. Let r be 6/(324/66) - (k + 2). Sort 5, 3/5, r, 2/7 in decreasing order.
5, 3/5, 2/7, r
Suppose 5*k + 2*f = f - 2193, 0 = k - 3*f + 429. Let w = k - -3940/9. Sort -0.1, w, -0.08, 1/2 in decreasing order.
1/2, -0.08, -0.1, w
Let w = -74.62 - -74.72. Let r be 1 + -4 + 170/55. Sort r, w, -2/5 in descending order.
w, r, -2/5
Suppose 7*p - 58 = 9*p - 10*w, -2*p - 2*w = -14. Put 4, 1/2, -2/7, p, -2/5 in descending order.
4, p, 1/2, -2/7, -2/5
Let s = 0 + -1. Suppose 