decreasing order.
-1, -2, -4, a
Let x = -777 + 775. Sort 2, x, 153 in increasing order.
x, 2, 153
Let n = -171 - -169. Let l = -10 + 13. Sort n, l, -3.
-3, n, l
Suppose 0 = 4*p - 11*p - 42. Suppose 4*j + 3*v + 0*v + 11 = 0, -5*j = 5*v + 20. Put j, p, -2 in ascending order.
p, -2, j
Let z = 997 + -994. Put 0.191, -3/5, z in descending order.
z, 0.191, -3/5
Let t(m) be the second derivative of -1/20*m**5 + 5*m + 1/2*m**2 + 0*m**3 + 0 - 5/12*m**4. Let s be t(-5). Sort -1, -5, s in decreasing order.
s, -1, -5
Let h = 11 - 10.94. Let i = 0.14 + h. Let r = 0.13 + -0.16. Sort -3, r, i.
-3, r, i
Let n(q) = -q**3 + 4*q**2 + 2*q - 5. Let a be n(4). Let m = -10.5 + 10.6. Put 2/7, a, m in descending order.
a, 2/7, m
Suppose 7*w - 224 = -231. Let n = 96 - 483/5. Put 0.2, w, n in increasing order.
w, n, 0.2
Let g = 962 + -955. Sort g, 0.2, -16 in decreasing order.
g, 0.2, -16
Let g = 46 + -46.46. Let w = g - -0.36. Sort 0.3, 1, w, -3 in decreasing order.
1, 0.3, w, -3
Let a be ((-3)/3 - -3)*2. Suppose 0 = 2*t - 3*z - 17 - 16, 4*t + a*z - 16 = 0. Let n = 6 - 11. Sort -0.1, n, t in ascending order.
n, -0.1, t
Let u = 50.013 + -0.013. Let x = u + -46. Let c be ((-3)/(-8))/(3/(-2)). Sort x, c, -3.
-3, c, x
Suppose 0 = 6*v - 19 + 13. Suppose -1 = f - 13. Suppose 0*t - 3*t - f = 0. Put t, -3, v in ascending order.
t, -3, v
Let q(n) = -4*n**2 - n - 1. Let t be q(-1). Sort 2, t, 3/4 in decreasing order.
2, 3/4, t
Suppose -t = x - 15, -81 = -5*t - 3*x + 4*x. Suppose -2*s + 0*s + t = 0. Let j be (-6)/(-3) + s/4. Sort j, 2, -2.
-2, 2, j
Suppose -h - 9 = -12. Suppose -2*k = -l - 5, 2*l + 33 - 26 = k. Sort -1, l, h, 0 in descending order.
h, 0, -1, l
Let q be 0/(2 - (1 + 0 - -4)). Put -13, q, -3, 4 in descending order.
4, q, -3, -13
Suppose 4*b = -3 - 9. Let r(x) = -x**3 - 6*x**2 + 10*x + 25. Let m be r(-7). Sort m, b, -2, 5.
b, -2, m, 5
Let z be 1/2*3*(-230)/(-69). Sort 16, 4, z, -1.
-1, 4, z, 16
Let f = -671.8445 + -0.1555. Sort -1, f, -0.1 in increasing order.
f, -1, -0.1
Let z(s) = s**2 - 3*s + 8. Let k be z(8). Let m be 3/(-18) + (-184)/k. Put m, -3, 1 in decreasing order.
1, -3, m
Let r = -8 - -4. Let k = 91/11 + -466/55. Sort k, -3, r in increasing order.
r, -3, k
Let t = -5 + 1. Let a = -82 + 79. Let b = 7 + a. Sort 0.05, b, t.
t, 0.05, b
Let x(u) = 3*u**2 + 12*u + 7. Let m be x(-4). Put m, 15, -5, 4 in descending order.
15, m, 4, -5
Suppose 0 = -2*y + x - 5, -5*y + 2*x - 50 + 36 = 0. Sort 5, 3, 8, y in decreasing order.
8, 5, 3, y
Let s = -392 - -393. Sort 0, s, 2 in decreasing order.
2, s, 0
Let o be (5/(-105))/(114/(-54) + 2). Sort -2/3, o, -3 in ascending order.
-3, -2/3, o
Suppose 14*u + 1750 = 19*u. Let t = u - 4548/13. Put 4, 2/25, 0.07, t in ascending order.
0.07, 2/25, t, 4
Suppose 9*m + 132 = -13*m. Let y(c) = -c**2 + 5*c - 2. Let k be y(2). Put k, -5, m in descending order.
k, -5, m
Let y be (260/(-208))/(1/4). Sort y, -4, 2, -6 in increasing order.
-6, y, -4, 2
Let j = 4.88 - -0.12. Put j, 0.4, 4, 0.03 in increasing order.
0.03, 0.4, 4, j
Let p = 4.85 + -6.4. Let n = 0.9 + p. Let x = n + 0.15. Put 1/6, x, 0 in increasing order.
x, 0, 1/6
Let f(m) = 6*m - 266. Let x be f(44). Sort -4, -13, x, -5/4.
-13, -4, x, -5/4
Let b = 46 - -31. Let r = -78 + b. Sort 4, -0.006, r in decreasing order.
4, -0.006, r
Let t = -36 + 36. Let u be 5*(-4 - t - -3). Sort -6, 5, u in ascending order.
-6, u, 5
Let u = 2 + -3. Let h = -4 + u. Let f = 1.0752 - 0.0752. Put h, f, 3 in ascending order.
h, f, 3
Let k be -1 - (20/(-5))/4. Suppose 0 = 4*v - k*v - 4. Put 5, v, 4 in increasing order.
v, 4, 5
Suppose 20*y + 3*p - 5 = 21*y, -3*y - 5*p + 27 = 0. Suppose -2*t = -2*r + 26, 0*t + 18 = 3*r + 4*t. Put r, y, 1 in descending order.
r, y, 1
Suppose 0 = 2*h - 3*g + 458 - 438, 0 = -2*h - 3*g - 8. Put -5, h, -4, -3 in decreasing order.
-3, -4, -5, h
Let x(v) = v**2 - 1. Let c(o) = 7*o**2 - 9. Let j(t) = c(t) - 6*x(t). Let b be j(-3). Let s be 0/(-2) - (-2 - -1). Sort s, b, 0 in descending order.
b, s, 0
Let f = -1.305 - -1.205. Sort f, 2, -62 in descending order.
2, f, -62
Let x be (-46)/10 + 4 + (-2)/(-5). Let w = 0.03 + 0.03. Let o = w + 0.04. Put -0.6, o, x in descending order.
o, x, -0.6
Let k be (-1)/((6/3)/4). Let i = 3 + k. Let h = 31 - 26. Sort i, -6, h in ascending order.
-6, i, h
Let g = -834 - -857. Put 3, g, -3 in descending order.
g, 3, -3
Suppose 0 = b + 5, -2*o - 4*b = -o + 20. Suppose 5*j - 10*j + 30 = o. Sort -1, -4, j.
-4, -1, j
Let n = 490 - 486. Sort n, 1, 6 in ascending order.
1, n, 6
Let q = 2.95 + 0.05. Suppose -2*c - 4*k + 14 = 0, -c + 3*k = -0*k + 13. Sort q, -2/7, c in ascending order.
c, -2/7, q
Let t = 0.179 + -0.379. Sort -5/3, 3, 4, t in decreasing order.
4, 3, t, -5/3
Suppose 3*t - 4*y = -0*t + 19, 2*y = -2*t + 22. Let i be (-93)/t + (-4)/6. Put i, -4, 5 in ascending order.
i, -4, 5
Let u = 6.1 + -3.6. Let p = u + -2.53. Sort -0.2, 2/3, p.
-0.2, p, 2/3
Let w(z) = -z - 6. Let u be w(-5). Let f be u + 4 + -1 + 1. Let d be (5/((-25)/8))/(168/420). Sort 5, d, f in decreasing order.
5, f, d
Let r be 1*((-49)/(-7) - 6). Put -5/4, -5, 20, r in ascending order.
-5, -5/4, r, 20
Let f be 0 - ((-7)/(-4) - 1). Let g = -0.13173 - -8.13173. Sort f, g, 0.3 in decreasing order.
g, 0.3, f
Suppose 20*w = 121 - 181. Put -5, w, -21, -9 in decreasing order.
w, -5, -9, -21
Suppose 5690 + 350 = 10*d. Let u = -2/171751 + 2385621436/3950273. Let f = d - u. Put -0.5, f, -3/5 in ascending order.
-3/5, -0.5, f
Suppose 247*r - 14 = 249*r. Sort r, 1, -3.
r, -3, 1
Let g(w) = -w**3 - 8*w**2 - w + 7. Let i be g(-6). Let v = 63 + i. Sort 1/2, 0.4, 1, v in decreasing order.
v, 1, 1/2, 0.4
Let b(d) = d - 1. Let o be b(3). Let m = -1 + 4. Suppose -15 = -m*w + r, 2*r = -2*w - 1 + 11. Sort o, -4, w.
-4, o, w
Let q = -1448 - -1447. Let a be (-179)/5 - (-1)/(-5). Sort a, -4, q in increasing order.
a, -4, q
Let t be 3*(-28)/(-8)*(-10)/15. Suppose -19 = -5*i + 3*y, 2*y - 21 = -3*i + 7*y. Sort t, i, 4, -1 in descending order.
4, i, -1, t
Suppose z - 12 = 3*z. Let g = 19/3 + z. Let n be 2/(-15)*15/(-12). Sort -2/9, g, n in descending order.
g, n, -2/9
Let c be (5/(-25))/((-18)/(-50)). Sort -0.2, 1/7, -5, c in increasing order.
-5, c, -0.2, 1/7
Let n(l) = -l**3 - 8*l**2 - 13*l - 9. Let z be n(-6). Sort z, -5, 4 in decreasing order.
4, z, -5
Suppose -64 = 4*j + 36. Let b = j + 31. Sort b, -2/7, -5.
-5, -2/7, b
Let y(g) = 3*g + 17. Let n be y(-6). Sort n, 2, 50.
n, 2, 50
Suppose -6*v + 240 = 14*v. Put 3, 1, v, -3 in increasing order.
-3, 1, 3, v
Let u = 148.9 - 153.9. Sort u, 0.06, -4/5, -0.3 in decreasing order.
0.06, -0.3, -4/5, u
Suppose 0 = 3*u - 8 + 2. Suppose 2*l - 3*l = -2. Suppose -x + d = -1, 0 = -2*x - 2*x + l*d - 6. Sort 6, x, u in increasing order.
x, u, 6
Suppose -c + 4*l - 8 = 0, 2 = 3*c - l + 2*l. Sort -0.3, 0.4, c in increasing order.
-0.3, c, 0.4
Let p be (6/((-12)/5))/(6/4). Sort 2/15, -1/10, p, -4 in decreasing order.
2/15, -1/10, p, -4
Suppose -65*p - 117 = -78*p. Put p, -5, -12 in descending order.
p, -5, -12
Let j = 1790 - 1790. Sort 5, j, -4, 4.
-4, j, 4, 5
Let l = 16 - 13. Let v(n) = 1 - 3*n**2 - 2*n - 2 + n**3 - 3*n + 0*n**l. Let o be v(4). Sort -1, o, -6.
-6, o, -1
Suppose -4 = 3*c + 2, 0 = -n + 2*c + 6. Suppose -2*v = -2*b - 2, -5*b + 3 + n = 5*v. Put -3, b, 1 in decreasing order.
1, b, -3
Let c be 1/(-3 + 90/27). Sort 511, c, 4 in decreasing order.
511, 4, c
Let n = 1278 - 1285. Sort n, 23, 1 in increasing order.
n, 1, 23
Let t be ((-15)/(-5) + -4)/1. Suppose 0 = -4*s - 3*f + 7, 3*f = 8*f - 25. Sort t, -5, s.
-5, s, t
Let p = 19.5 + -19. Let y be 1/3 - 57/117. Put p, -3, y in decreasing order.
p, y, -3
Let i be ((-10)/25)/((-123)/(-5)). Sort -0.1, i, 11 in descending order.
11, i, -0.1
Suppose 4*g + 11 = -0*g + 3*p, 0 = -2*p + 2. Let c(b) = -b**2 + 13*b - 19. Let i be c(11). Suppose 5*k - 1 = -4*x, 2*k - 3*k = x. Sort x, g, i.
g, x, i
Let m = -5 + 5.5. Let z = 2.764 - -0.236. Sort -4, -0.2, z, m in ascending order.
-4, -0.2, m, z
Suppose -4*v + 1 = 3*c, -3*c - 2*c = v + 21. Let u be 16/(-20)*(19 - -1). Let h be u/72 - (-40)/18. Sort h, -2, v in increasing order.
-2, h, v
Suppose 2 = v - 5*u - 8, -26 = -5*v + u. Sort 4, 35, 3, v.
3, 4, v, 35
Suppose 37 = 17*j + 88. Put 4, -31, j in descending order.
4, j, -31
Let t = 1545.8 + -1546. Put 307, 1, t in increasing order.
