 1, l
Let s = -0.6 + 3.1. Let h = -2.8 + s. Let b = 3225 + -3230. Sort -11, b, h in ascending order.
-11, b, h
Suppose -2*f + 15 = 3*f, -4*f = 5*n + 13. Sort 1, 2, n in descending order.
2, 1, n
Suppose -g + 126 = 5*h + 3*g, h = g + 18. Let m = 26 - h. Let v be -1 - (1/m + (-7)/(-4)). Put v, 0.4, 2 in decreasing order.
2, 0.4, v
Suppose 0 = 5*x - 6*x - 618. Let i be (-1 - x/12)*2/555. Let o = -2/111 - i. Put 1/2, -2/15, 0, o in decreasing order.
1/2, 0, -2/15, o
Let z = -3454955/8 - -7998213457/18520. Let n = z + -1/463. Put n, -3, -8/3, 3 in decreasing order.
3, n, -8/3, -3
Let v = 12 - 12.198. Let r = v - -0.63. Let l = 0.068 + r. Sort 0.04, -1/8, l, -5.
-5, -1/8, 0.04, l
Suppose -88 = -4*u - 3*l, -u + 3*l + 64 = 3*u. Let w = -25 + u. Let y be w/(-8) - (-4 + 1 + 3). Put -4, y, -3 in decreasing order.
y, -3, -4
Let a(i) = 0*i + 467 - i - 468 - i**2. Let f be a(0). Let s = 15 + -10. Sort f, 3, s, 0 in descending order.
s, 3, 0, f
Suppose 25*z + 102 = -148. Let g be ((-140)/25 + 2)*z/4. Sort g, -4, 5, -5.
-5, -4, 5, g
Let v = 146 - 93. Suppose 2*x = -3*b - 50, 5*x + 0*x + v = -3*b. Let g be (-3 + b/(-4))*(-2 + 6). Sort -1, g, -4, -3 in decreasing order.
g, -1, -3, -4
Let m(b) = 5*b**2 + 2*b + 2. Let g be m(-1). Let a be 0/(-2)*1/(-2). Sort a, -1, g, 4 in ascending order.
-1, a, 4, g
Let k be 9/(-6)*((-5)/3 + 1/1). Sort 2, k, -3, 18, 5 in descending order.
18, 5, 2, k, -3
Let z = 0.3127 + -0.6127. Sort 0.043, 2/7, -3/7, z, -0.1 in descending order.
2/7, 0.043, -0.1, z, -3/7
Let u = 0.3 + 0.2. Let i = -7940 - -269911/34. Let m = i + -1/17. Put u, -2/3, m in descending order.
u, -2/3, m
Let b = -2.8 - -3. Let v = -0.4676 - -0.46. Let t = -0.0424 + v. Put b, t, 0, 4 in decreasing order.
4, b, 0, t
Let p be (10 - 100/(-40))*(2 + 18/(-10)). Let k be 0/(-1 - -3) - -5. Let r = -120 + 129. Put -0.1, r, p, k in decreasing order.
r, k, p, -0.1
Let y(l) be the second derivative of l**5/10 + 31*l**4/12 - 17*l**3/6 - 7*l**2 + 3*l - 9. Let a be y(-16). Sort -5, 10, a in decreasing order.
10, a, -5
Suppose 4*z = 5*z - 1. Let c(f) = f**2 + 128*f - 806. Let n be c(-134). Sort 5, 7.5, z, n in increasing order.
n, z, 5, 7.5
Suppose -3*u + 1 = 7. Let c be (4/(-8))/(u/(-3)). Let d = 0.02 - 3.02. Sort d, c, -0.2 in decreasing order.
-0.2, c, d
Suppose 0 = 13*k - 5*k - 352. Suppose k = 5*m - 7*m. Let t be 57/11 + 4/m. Sort 0, -9, t.
-9, 0, t
Let v be ((-10)/(-3))/((-1)/3) + (2 - -3). Let u = 8.91 + -9. Put 0.4, 0.2, v, u in decreasing order.
0.4, 0.2, u, v
Suppose 0 = -79*r + 75*r + 16. Suppose -9*h = -r*h + 5. Sort -12, 5, h, 0 in descending order.
5, 0, h, -12
Let o(l) = l**3 - 13*l**2 + 5*l + 89. Let d be o(12). Suppose -d*y + 18 = 3. Sort y, -71, 0.2 in decreasing order.
y, 0.2, -71
Suppose -3*j - 4*q = q - 390, 4*j - 531 = -3*q. Let g = j + -677/5. Let i = 149/474 + 3/158. Put i, 0.1, 2/11, g in decreasing order.
i, 2/11, 0.1, g
Suppose -118*p + 122*p = -5*a - 16, 3*p = 4*a + 19. Sort a, -5, 2, 1, 102 in descending order.
102, 2, 1, a, -5
Suppose 0 = -2*k - 5*f + 1962, -3*f - 2906 = -4*k + 1070. Suppose -1000*a + k*a - 135 = 0. Let c be 1 - 0 - (-1 - -2). Sort c, 3, -5, a.
a, -5, c, 3
Let j(l) = -419*l + 1260. Let b be j(3). Sort 89, 4, 0, 2, b in descending order.
89, 4, b, 2, 0
Let f be ((-9)/3)/(1562/44 - (-1 + 8)). Let d be 8635/(-20)*8/30. Let w = -115 - d. Sort f, 4, w in descending order.
4, w, f
Let n be (20/9)/((-245)/(-4410)). Put 4, -4, -5, 3, n in ascending order.
-5, -4, 3, 4, n
Let s = -33573 + 33575. Sort 4, 0, -4, -2, s.
-4, -2, 0, s, 4
Suppose 51*c + 2*c + 2279 = 0. Sort c, 3, 4, -4, 2.
c, -4, 2, 3, 4
Let b = -0.1 + 0.3. Let j be (-25 - -35)*2/4. Suppose 0 + 20 = j*r. Put r, -1/2, b in descending order.
r, b, -1/2
Let x = -0.08 + -4.92. Let l = -251.2 - -250.6. Let i = 0.03 - 0.13. Sort l, x, i.
x, l, i
Let b = 1839 + -1836. Sort b, 10, -5.
-5, b, 10
Let g(p) = p**3 + 3*p**2 - p + 26. Let i be g(-5). Let z(d) = -2*d**2 - 41*d - 57. Let f be z(i). Sort 5, 4, f in descending order.
5, 4, f
Suppose 2*y = -3*y + 5*p + 5, 5*y - 3*p = 13. Suppose -2*q - 1 = l, 5*l - 2*q = -5*q + 2. Put y, 2, 8, l in decreasing order.
8, y, 2, l
Let n = 2596 + -2595. Put n, -3, 283 in descending order.
283, n, -3
Let w = -68.22 - -64.22. Put 132, -0.2, w in increasing order.
w, -0.2, 132
Let z = 45 - 37. Suppose -y = -z*y + 35. Suppose -3*b - 3*j - j + 15 = 0, y*b - 5*j = -10. Sort -5, b, 7.
-5, b, 7
Let f be -5 - (-144)/(-16) - -19. Put f, -4, -160, 13 in descending order.
13, f, -4, -160
Let m = 21476 - 21466. Sort 93, 1, -5, m in decreasing order.
93, m, 1, -5
Let c be (3/(-5))/(5/(-75)). Suppose 4*b + 7 = -w - c, 2*w + 4*b = -12. Suppose -16*j + 11*j + 5 = 0. Put 5, j, w in decreasing order.
5, w, j
Let w = -266 + 268. Sort 5, -389, w in ascending order.
-389, w, 5
Let q = 0.12 - -4.88. Let x = -368 + 266. Let n = x + 98. Put q, n, 1/2 in decreasing order.
q, 1/2, n
Suppose 0*q + 2 = q. Suppose 2*b - 122 = -128. Put 0, b, q in decreasing order.
q, 0, b
Suppose 694*r = 665*r + 58. Sort r, 0.3, 1/4, 5, -0.5.
-0.5, 1/4, 0.3, r, 5
Let w(o) = -o**2 + 8*o - 7. Let m be w(7). Suppose 3*v - z + 4 = m, -2*v - 3*v - 9 = -4*z. Let x = 343 - 338. Sort x, -4, v in descending order.
x, v, -4
Let h(b) = -b**3 - 41*b**2 + 87*b + 39. Let w be h(-43). Put w, 4, -6, 1 in descending order.
4, 1, w, -6
Suppose -39 = -5*b - 2*x - 12, b - 2*x - 3 = 0. Let k(a) = -a**3 - 6*a**2 - 7*a - 7. Let v be k(-5). Sort b, v, 0.
0, v, b
Let i = -12879 + 12879. Sort 46, i, -4.
-4, i, 46
Let x be 156/30 - (-1 - 18/(-15)). Let y be (1 - 18*1) + 3. Let b = 17 + y. Put b, x, -1 in ascending order.
-1, b, x
Let h = 18 + -17. Let b(y) = y**3 - 2*y**2 + 3*y - 1. Let q be b(h). Let s = 95 + -91. Sort s, q, 2, 3 in decreasing order.
s, 3, 2, q
Suppose -r + 37 = 4*r - 3*w, 2*w = 5*r - 33. Suppose -3277 = -8*p - 167*p + 62*p. Put 2, -4, p, r in descending order.
p, r, 2, -4
Let d = -6216 - -6214. Sort 3, d, -11, 4/5.
-11, d, 4/5, 3
Let t = 43 + -68. Let g = 21 + t. Put g, 1, 2 in decreasing order.
2, 1, g
Let o be 1/((-5)/(-2) + 1). Let i = -1.336 - -0.072. Let f = i + 0.264. Sort -1/4, o, f, 1 in decreasing order.
1, o, -1/4, f
Let a = -0.04043 + 0.04043. Sort 0.022, a, -0.1 in increasing order.
-0.1, a, 0.022
Let x = 131 - 105. Suppose x*a = 33*a. Let c be (-3 + -1)*(3/4 - 1). Put a, c, -7 in descending order.
c, a, -7
Let o = -2/143 - -68/143. Let f be ((-2)/8)/(13/156). Sort 2, f, o in decreasing order.
2, o, f
Let t be -5 + (3 - -7 - 45)*1. Put 23, t, -4/7 in decreasing order.
23, -4/7, t
Let d = -5933 + 5930. Sort -0.1, d, 4/7, -1, 0.6 in decreasing order.
0.6, 4/7, -0.1, -1, d
Let k be 2/12*(-554)/831. Sort -2/5, 1, 0.07, k.
-2/5, k, 0.07, 1
Let j = 27865/7 + -3981. Sort j, 630, 3/4.
j, 3/4, 630
Let o be -4 - (-294)/75 - (7 - (-11130)/(-1625)). Sort -0.4, o, -0.3 in decreasing order.
o, -0.3, -0.4
Let k = 364 + -371. Let u be 5 + k - (-11 + 4). Suppose 2*x - c + 8 = -0, -x - 3*c + 10 = 0. Sort u, 1, -5, x in decreasing order.
u, 1, x, -5
Suppose 0 = s - 5*k - 35, 55*s = 56*s + 3*k + 13. Let p be (6/3)/(-2) + 2. Let u(v) = 2*v**2 - 27*v + 8. Let m be u(13). Put p, s, m in decreasing order.
s, p, m
Let u = -318 + 322. Let s be 22/(-8) - 3*u/48. Put s, 4, -1, -104 in decreasing order.
4, -1, s, -104
Let i(t) = -24*t + 4. Let j be i(-3). Let n be 25*-9*3/(-9). Let w = n - j. Put w, -5, -21, 1 in ascending order.
-21, -5, w, 1
Suppose -3*x + 2 = 11, 13 = 2*g - x. Let z be ((-1)/g)/(120/150). Let y(f) = 2*f + 5. Let k be y(-4). Put z, k, 2/17 in ascending order.
k, z, 2/17
Let r be -43 - (-1*1 + 2). Let v(p) = -p**2 + 10*p - 18. Let s be v(7). Suppose -s*z + 13*n = 18*n + 10, 3*z - 4 = 2*n. Sort r, 5, z in decreasing order.
5, z, r
Let v = 164.46 + -162. Let y = 1.46 - v. Sort y, -3/7, -1/7, 20 in decreasing order.
20, -1/7, -3/7, y
Let s = 64.25 + -63.85. Sort 1/3, 2, -28, -1/2, s.
-28, -1/2, 1/3, s, 2
Let d = -364396 - -106039048/291. Let c be 303/582 + 1/(-2). Let j = c - d. Sort 0.3, 0.5, j in descending order.
j, 0.5, 0.3
Suppose 5*t - 102 = 3*b, 0 = -2*t - 3*b - b + 46. Suppose 23*v - t*v + 76 = 0. Sort 5, v, 0 in decreasing order.
5, 0, v
Suppose -5*k + 5 = r - 6*r, -7 = 2*r - k. Let b be (2 - 4)*(-9)/r. Sort 2, 4, b in ascending order.
b, 2, 4
Suppose -5*m = -107 + 167. Let a be (-12)/4 + (-6 - m).