ecreasing order.
6, c, -5, -22
Let v = 0.92 - 0.27. Let w = 19.6 - 20.3. Let r = v + w. Sort r, 0.1, 1 in decreasing order.
1, 0.1, r
Let p = -8 + 5. Let z = -19 + 26. Suppose -5*w - 10 = 0, -3*c + z - 3 = -5*w. Put 2/13, p, c in descending order.
2/13, c, p
Let u be (-64)/48 + -5 - 2/(-6). Put u, 3, 28 in descending order.
28, 3, u
Let b(u) = -u**2 - u + 12. Let y be b(-4). Suppose 4*m - 21 = -2*z - m, -3*m = -3*z + 63. Suppose y = -q - z + 7. Sort q, 1, -5 in increasing order.
q, -5, 1
Let h(v) = 4*v + 7. Let u be h(-5). Let l(r) = r**2 + 14*r + 52. Let y be l(-8). Sort y, u, -1 in descending order.
y, -1, u
Let u = 461.4 - 485. Put 1, 5, u, 0.2 in decreasing order.
5, 1, 0.2, u
Let x be -5 - -3 - -5*1. Let t = -1091 + 1091. Sort t, 2, x, 1 in increasing order.
t, 1, 2, x
Suppose -4*z - 3*t = -3, 0 = 2*t - t + 3. Suppose s - 4 = g + 5, -11 = -z*s - g. Let u be 45/20 + (-9)/(-12). Put -3, u, s in ascending order.
-3, u, s
Let q = -82.05 + 82. Suppose 18 = -22*w - 92. Sort 5, q, w in ascending order.
w, q, 5
Suppose -5*z - 57*q + 1295 = -62*q, 0 = -2*z + q + 522. Put z, 3, -5 in ascending order.
-5, 3, z
Let m = 423 + -2113/5. Let f = -44 + 48. Put f, -5, 2, m in decreasing order.
f, 2, m, -5
Let t = 3 - 6. Let n be ((-51)/(-714) - (-255)/(-42))/((-3)/(-2)). Let i(o) = o**3 - 14*o**2 + o - 9. Let h be i(14). Sort 2, n, t, h.
n, t, 2, h
Let x = 0.105 + -3.105. Let t = 44 - 37. Put x, t, 4 in increasing order.
x, 4, t
Let b = 3324 + -3321. Put -3, 30, b in ascending order.
-3, b, 30
Suppose -3*j - 4*w + 9 = 0, j + j = -2*w + 6. Suppose 3*p - 3*x + j = 0, -5*p + 5 = -3*x - 0*x. Let n be (1 - 0)*(-2 - -1). Sort 1, n, -5, p in ascending order.
-5, n, 1, p
Suppose -j - f = 5, 2*j - 29*f + 30*f = -7. Sort -4, 3, j in decreasing order.
3, j, -4
Let m = 5 + 14. Suppose -2*d - 5*a + m = 0, 4*d + 0*d = -5*a + 23. Let v(h) = 2*h + 72. Let b be v(-34). Put -4, 5, d, b in decreasing order.
5, b, d, -4
Let s(g) = -g**3 + 3*g**2 - g - 1. Let l be s(2). Let q be -2 - (0/(-1) - l). Suppose 0 = 242*z + 150 - 392. Put z, -4, 2, q in decreasing order.
2, z, q, -4
Let s = -0.2 - -0.1. Let m = 407 - 335. Let w = m - 75. Sort w, -0.4, s, 1/6 in descending order.
1/6, s, -0.4, w
Let x(p) be the first derivative of -p**4/4 + 4*p**3/3 - 3*p**2/2 + 2*p + 46. Let l be x(3). Suppose 11 + 5 = -4*c. Put c, l, -1, 3 in descending order.
3, l, -1, c
Let p be (285/(-76))/(155/124). Suppose -d + 27 = -37. Sort -2, p, d in decreasing order.
d, -2, p
Let f(a) = a**2 + 10*a + 11. Let n be f(-12). Suppose -n*j = -40*j + 30. Suppose 18 = 4*i + j. Put i, -2, -1 in decreasing order.
i, -1, -2
Let t be (-26)/(-30) + 10/75. Put -3, t, -66 in ascending order.
-66, -3, t
Let o = -0.0219 + -0.0291. Let z = 246 + -246.151. Let m = z - o. Sort 3, m, 4 in descending order.
4, 3, m
Let b = -275/987 + -1/141. Put 5/8, -6, b in decreasing order.
5/8, b, -6
Let u be (-1410)/7755 + 4/22. Put -202, u, 1, 2 in ascending order.
-202, u, 1, 2
Let r be (3 - (1 - -1))/(-1). Let n be r/4*2*38. Suppose -4*z + 5 = 1. Sort z, -3, n in decreasing order.
z, -3, n
Suppose 0 = -201*z + 204*z - 3*v, 0 = -3*z - 5*v + 16. Put -21, -16, z in descending order.
z, -16, -21
Let m(a) = 15*a**2 + 180*a - 3. Let s be m(-12). Put s, 77, 1 in descending order.
77, 1, s
Let f be -3 + 20/4 + (-108)/45. Sort f, 323, 2 in increasing order.
f, 2, 323
Let d = -0.011 + 0.227. Let q = d + -0.036. Let p = -0.58 + q. Put -7, -4, p in descending order.
p, -4, -7
Let a be (-4)/6*(3 + -9). Let z be (43/(-86) - (-6)/(-4)) + 5. Sort 5, 2, a, z in ascending order.
2, z, a, 5
Let m(w) = w**2 - 9*w + 9. Let s be m(6). Let p = 16 + s. Suppose 17 + p = 6*v. Sort v, 13, -3, 1 in descending order.
13, v, 1, -3
Suppose -4*d - f = -6*d - 9, -14 = 3*d - f. Let o = -226 - -226.043. Let c = 4.957 + o. Put c, 0.04, d in descending order.
c, 0.04, d
Suppose 9*a - 7 = 8*a. Let d(x) = -3*x + 22. Let b be d(a). Suppose 0 = i - b. Put 4, i, -12 in descending order.
4, i, -12
Let i be 112/16 - (16 - 1) - (-40)/(-8). Put 13, -5, i in increasing order.
i, -5, 13
Let p = 129 + -125. Suppose m = 3*y - 0*m - p, 0 = -4*m + 8. Sort 1, -3, y, 3.
-3, 1, y, 3
Let g(u) be the first derivative of u**3/3 - 35*u**2/2 + 47*u + 43. Let b be g(33). Suppose 5*s - 24 = -29. Put 1/4, s, b in descending order.
1/4, s, b
Let i = -0.0454 - -1.3854. Let z = i + -1.54. Let f = 2.7 - -0.3. Put f, z, 11/6 in descending order.
f, 11/6, z
Let d = 343673 + -343668. Let a(v) = v**2 - 4*v + 3. Let n be a(3). Sort -5, n, d, -1 in increasing order.
-5, -1, n, d
Let m(t) = -t**3 + 18*t**2 + 20*t - 1. Let i be m(19). Let p be 174/i - (-1)/3. Suppose 69*u + p = 64*u. Put 5, 0.3, u in ascending order.
u, 0.3, 5
Let r(z) = 78*z - 1166. Let v be r(15). Sort v, 14, 3, -5, 5 in ascending order.
-5, 3, v, 5, 14
Let l = -0.14 - 0.16. Let n = -220.49 + 220.49. Put l, n, -2 in decreasing order.
n, l, -2
Suppose 3*n + 14*n = -16*n + 33. Sort -1, n, -2, -3, 5 in ascending order.
-3, -2, -1, n, 5
Suppose 0 = 3*m + 3*s - 30, -4*s + 38 = 10. Let i(u) = 2*u. Let d be i(-1). Let j = -2 - d. Sort m, 13, j in descending order.
13, m, j
Let v be 6/8*428184/(-1026). Sort 4, 5, v, 2 in decreasing order.
5, 4, 2, v
Suppose -16 - 29 = -3*d. Sort -4, 94, d in descending order.
94, d, -4
Let g = 5376 + -5352. Put -2, -9, 1, -1, g in descending order.
g, 1, -1, -2, -9
Let i(g) = 6*g - 74. Let w be i(13). Suppose -k - 2*k - 4 = -b, 3*b - 12 = w*k. Sort k, -44, -5.
-44, -5, k
Let a(w) = 2*w**2 - w - 1510. Let z be a(-27). Let d be 9/(-12)*(-9 - -5). Sort z, -2, d in decreasing order.
d, -2, z
Let o = -9 - -13. Let g be (19 - (-495)/468) + 2/(-8). Let b = g + -264/13. Put 3, b, -0.8, o in descending order.
o, 3, b, -0.8
Suppose 502 = w - 4*o - 288, -4*w = o - 3143. Put -4, 0, -1, w in descending order.
w, 0, -1, -4
Let w be (-781)/14 - 26/52. Let r = w + 56. Sort 0.1, -1.6, r, -4/5.
-1.6, -4/5, r, 0.1
Let i = 2701.9 - 2438. Let a = i - 264. Sort 4/9, 5/6, a.
a, 4/9, 5/6
Let h = 1413 - 1414. Put -3, 1, 31, h, -5 in descending order.
31, 1, h, -3, -5
Let p = -0.31447 - -5.31447. Let r be (2/1)/((-14)/4). Put p, -3, r, -0.3 in ascending order.
-3, r, -0.3, p
Let j = -32780 + 32780.4. Let t be (-1)/2 + 5/(-2). Put t, 81, j in descending order.
81, j, t
Suppose -h = 3*i - 46, 5*h + i = 148 + 96. Put h, -6, -1, 5, -5 in descending order.
h, 5, -1, -5, -6
Let p = 1363 + -1362. Suppose -28*a + 30*a = 2*q - 18, 2*q = 3*a + 22. Put -1, a, p, -2 in ascending order.
a, -2, -1, p
Suppose -9*y + 728 = 5*y. Suppose 17*m = -9*m + y. Sort -1, m, -4 in descending order.
m, -1, -4
Suppose q - r = 2*q - 686, 5*r + 2042 = 3*q. Let a be 16/(-6)*57/q. Sort a, -0.4, -0.49, 2 in decreasing order.
2, a, -0.4, -0.49
Suppose 3*i - z = -6, 5*z + 18 = -1502*i + 1505*i. Suppose -4*g - 5*d + 2*d = 0, -2*d - 7 = 5*g. Put g, -1/8, i in decreasing order.
-1/8, g, i
Let g be ((-3)/5)/((-5)/25). Let c be (-70)/(-7)*g/(-6). Suppose 1 = -2*r + 11. Put r, 1, 2, c in decreasing order.
r, 2, 1, c
Let p(c) = 6*c + 80. Let g be p(-10). Let n be g/5*-3*(-15)/36. Sort 4, n, 2, 14 in decreasing order.
14, n, 4, 2
Let h = -1116 - -2279/2. Let m = h + -27. Put -0.4, -2, m, 0.2 in decreasing order.
0.2, -0.4, -2, m
Let p = 25 - 41. Let k = -92225 - -92230. Sort p, -3, k in decreasing order.
k, -3, p
Let y = -12 - -5.8. Let k = -6.146 - y. Let l = -1.054 + k. Sort -2/13, l, 3/5 in descending order.
3/5, -2/13, l
Let f = 1/459 + 457/918. Sort -5, -134, -1/4, f in descending order.
f, -1/4, -5, -134
Suppose -3*j + 2*p - 74 + 30 = 0, -3*p = 2*j + 38. Sort 35, j, -1, 1 in decreasing order.
35, 1, -1, j
Let z = -95/2 + 48. Put 32, 5, z, 2, -1/2 in decreasing order.
32, 5, 2, z, -1/2
Let s(d) = -156*d - 159. Let r be s(-1). Sort r, 7, 1349 in descending order.
1349, 7, r
Suppose -4*b + 19 - 77 = -2*t, -4*t = -3*b - 56. Suppose 103*i + 23*i + 14*i - 840 = 0. Put 3, i, b, 4 in ascending order.
b, 3, 4, i
Suppose 946 + 143 = 168*q - 759. Let g = -2 + 3. Put -5, g, q, 2 in ascending order.
-5, g, 2, q
Let p = -6/5 - -17/10. Let v(a) = -a**3 - 28*a**2 + 61*a + 34. Let z be v(-30). Sort -1, z, p in decreasing order.
z, p, -1
Let r = 93184 + -93180. Let w(f) = -2*f - 3. Let q be w(4). Let l(a) = -a**3 - 5*a**2 - 3*a + 2. Let x be l(-4). Sort x, r, q.
q, x, r
Let s = 130 - 128. Le