ing order.
d, 4, -1, -2
Suppose -2*v - 109 = -107. Sort -4, v, -129, 1 in decreasing order.
1, v, -4, -129
Suppose -22*o - 15 = -81. Put 5, -43, o, 4 in ascending order.
-43, o, 4, 5
Let i be (-70)/(-175)*(-15)/(-4). Put 1, 1/5, i, -0.5 in increasing order.
-0.5, 1/5, 1, i
Let i be ((85/(-20) - -4)*7)/((-8)/32). Let d(v) = -v**3 - v**2 - v. Let j be d(0). Put i, j, 4 in decreasing order.
i, 4, j
Let a = 14 - 29. Let f be (4/95)/((-6)/a). Let o = -621/10 + 123/2. Sort o, 3/5, f.
o, f, 3/5
Suppose d + 10 = 6*d. Suppose -5*f + 3 - 13 = 2*g, 5*g - 5*f = -25. Put 3, d, g in decreasing order.
3, d, g
Suppose 0 = 9*h - 5 - 13. Suppose 3*p + 10 = -5*d + 2*p, -3*d = p + 4. Put 5, 3, h, d in descending order.
5, 3, h, d
Let v = 1159 + -1159. Sort 1, -1, 29, v.
-1, v, 1, 29
Suppose 4*y - 3 = n - 11, -4*n + 2*y = 24. Let w be n + 4 + 7/1. Put 0, w, 1, -5 in descending order.
w, 1, 0, -5
Suppose -3*g - 17*m = -10*m - 80, 0 = 5*g - m - 146. Suppose -4 = -2*r + r. Put -5, r, g in descending order.
g, r, -5
Let m be (-3 - -1) + (0 - (-25)/5). Let l be 11/2 + 2/(-4). Suppose -2*g - 1 = d + 11, 10 = -l*d. Sort m, -1, g in descending order.
m, -1, g
Suppose 0 = -v - 0 - 4. Let k(d) = -2 - 1 + 3*d + 12. Let l be k(v). Sort 4, l, 2 in increasing order.
l, 2, 4
Let g = -5.01 - -0.01. Let t = g - -7. Let q = 3 - 7/2. Sort q, t, 0.3 in ascending order.
q, 0.3, t
Suppose 2 = -5*k - 5*z - 33, 12 = -3*z. Sort -1/6, k, 0.3, 6.
k, -1/6, 0.3, 6
Let k = 107 - 102. Sort k, 2, 0 in increasing order.
0, 2, k
Let y be 21/(-14) + 45/2. Let s = y - 22. Let i be 2/((-2)/1)*0. Put -3, s, i in decreasing order.
i, s, -3
Suppose v + 3*v - 2*n + 10 = 0, v - 5*n - 20 = 0. Let b = -0.038 + -0.962. Suppose 2*q - 6*q = -12. Sort b, v, q.
v, b, q
Let x(h) = h**3 + 95*h**2 + 617*h + 92. Let v be x(-88). Sort 15, v, -6 in ascending order.
-6, v, 15
Let g be (1/3)/(3/72*4). Put -1/9, 0, g in decreasing order.
g, 0, -1/9
Suppose -2*y = 3*v + 2, y + v + 13 - 11 = 0. Suppose 3*i - 1 - 14 = 0. Sort 0.1, i, y.
y, 0.1, i
Let m be ((-28)/12)/(-7)*6. Suppose -5*w = -z + 33, 2*z + m*z = -3*w + 17. Let d = z - 13. Sort -2, -4, d in increasing order.
d, -4, -2
Let a(n) = 53*n - 474. Let y be a(9). Put 5, -1, -8, y in decreasing order.
5, y, -1, -8
Suppose 4*z + 17 = v, 4*v + 4 = z - 3. Put -17, z, 2, -1 in descending order.
2, -1, z, -17
Let r = 8 - 5. Let c be -4 + (-8)/(-2) - -2. Suppose -c*v + v - 3 = 0. Sort v, r, 4 in descending order.
4, r, v
Let z = -19.3 + 3.3. Let v = z - -12. Let f = v - -4. Sort 5, f, 2 in increasing order.
f, 2, 5
Let y = 22 + -22.24. Let m = -0.06 + y. Sort m, 0.3, 7.
m, 0.3, 7
Let i = -3.7 - 0.3. Let p = 222.6 - 222.67. Sort 1/2, -1/5, i, p in ascending order.
i, -1/5, p, 1/2
Let d be 0 - (-3)/((-6)/(-10)). Suppose -2*g = -d*g. Let p(u) = 12*u + 723. Let j be p(-60). Put j, -3, g in ascending order.
-3, g, j
Let c(f) = -11 - f + 9*f - 5*f + 2. Let d be c(4). Sort 11, d, 2 in increasing order.
2, d, 11
Let c = 19 + -14. Suppose -3*i = -c*h + 3*h - 1, 3*i = -4*h - 11. Let q = -3.9 + -0.1. Put i, q, -0.8 in descending order.
-0.8, i, q
Let a = -24 + 23. Let g be (1 - -1)*a - -2. Sort -4/7, g, -1, 0.1 in descending order.
0.1, g, -4/7, -1
Suppose -6*y + 4 = -20. Suppose 4*w + j - 54 = w, -y*w = j - 73. Let l = w + -16. Put l, -2, 2 in decreasing order.
l, 2, -2
Let z = -15 + 28. Suppose -a + 5*o + z = 0, 23 = -3*a - a - 5*o. Put 2, 0, a in decreasing order.
2, 0, a
Let b be (9/12)/(1/(-36)). Let w be (-323)/51 - (0 + (-7)/3). Put -1, w, b in descending order.
-1, w, b
Suppose 0*g = -4*t - 5*g - 4, -3 = 3*t + g. Let m be (-65)/130*(0 - -10). Put m, t, 4, -2/5 in decreasing order.
4, -2/5, t, m
Let p = 14 + -9. Suppose -o = -n + 8 - 2, 2*n - 4*o - 18 = 0. Let c be n/2*(-1 + -1). Sort c, 4, p in increasing order.
c, 4, p
Suppose 0 = -3*c - v - 13, -5*v - 8 = 5*c + 27. Sort 1, 37, c in descending order.
37, 1, c
Let u = 6 + -8. Let x(c) = c**3 + 9*c**2 + 6*c - 10. Let n be x(-8). Suppose n = -3*f + 9*f. Put f, -5, u in descending order.
f, u, -5
Let f be (-138)/(-33) - 28/154. Put f, -15, -4, 0.09 in descending order.
f, 0.09, -4, -15
Let y = 3.98 - 3.88. Put -47, y, 1 in ascending order.
-47, y, 1
Let c(k) = 3*k**2 - 11*k + 13*k + 2*k**2 + k**3 - 8. Let r be c(-4). Put -3, r, 4 in increasing order.
-3, r, 4
Suppose -3*u - 4 = -l, 0 = -u - 0*l - 4*l - 10. Let r be u/9 + (-33)/(-27). Let b(k) = -2*k + 10. Let n be b(7). Put 4, n, r in ascending order.
n, r, 4
Suppose -3*c - 5*q - 110 = 0, 20 - 176 = 4*c + 2*q. Suppose -3*y + 0*v - 5 = 4*v, 0 = 5*y + 5*v + 10. Put 1, 5, c, y in decreasing order.
5, 1, y, c
Let q(o) = -11*o + 97. Let k be q(9). Sort k, 0, -3, 5 in descending order.
5, 0, k, -3
Let w = 19 - 20. Let y be -1*(-15)/(6 + -1). Sort w, y, -5, 5 in descending order.
5, y, w, -5
Let b(t) = -t**2 - 16*t - 17. Let m be b(-15). Let u = 22 + -40. Let j be 2/6*u/(-8). Put 3, m, j in descending order.
3, j, m
Let s = -1902 + 1903. Put 2, -63, s, -1 in decreasing order.
2, s, -1, -63
Suppose -3*l - 6*d - 30 = -d, 11 = -4*l + 3*d. Sort 26, 0, l, -3 in decreasing order.
26, 0, -3, l
Let p = -900 - -894. Put p, -1.4, 1/3 in descending order.
1/3, -1.4, p
Let w(g) = 4*g - 8 + 4*g - 5*g. Let o be w(4). Let p = -3/4 + 1/4. Put o, -0.4, p in decreasing order.
o, -0.4, p
Let c be (-138)/(-63) - (-414)/(-483). Put -0.3, -5/4, c, 4/5 in descending order.
c, 4/5, -0.3, -5/4
Let o be 2/((-28)/8 + 4). Suppose 4*z + 8 - 3 = 5*u, -2 = -2*u + 5*z. Put -32, o, u in descending order.
o, u, -32
Let f = -57 - -72. Let c be f*(-3 - (-1 + 28/(-12))). Put 0, c, 7 in descending order.
7, c, 0
Let u = -26.976 + -0.024. Let n = u - -23. Let w = 0.13 - 5.13. Put 5, n, w in increasing order.
w, n, 5
Let f be 5 + -8 - (-6)/1. Let d be -12 + f/(15/(-5)). Sort 1, 5, d.
d, 1, 5
Suppose 3*z = n - 31, -2*z - 34 = -0*z + 2*n. Let w be (-5 + (-68)/z)/(1/(-12)). Sort w, 3, -5 in descending order.
3, -5, w
Let v = -108 - -104. Sort -3/4, 0.04, 0, v.
v, -3/4, 0, 0.04
Let g = 11 - 15. Suppose 17 - 27 = 5*i. Let b be (-29)/9 - (116/(-36) - -3). Sort i, g, b.
g, b, i
Let w = -82 - -91. Let q = 18.787 + 0.013. Let u = q - 19. Put 0.2, w, u in descending order.
w, 0.2, u
Let n be (1*21/(-8))/(4/444). Let a = -291 - n. Sort a, 1, 4, 6.
a, 1, 4, 6
Let y = 28.5 - 2.5. Let h = y + -16. Let v = 10.4 - h. Put 3/4, v, 2 in decreasing order.
2, 3/4, v
Let k = 2 - 3. Let r(p) be the third derivative of -p**4/4 - p**3/3 - 3*p**2. Let i be r(-1). Sort i, k, 5 in decreasing order.
5, i, k
Let a = 1501 - 1500. Sort -111, a, 0.3, 0 in decreasing order.
a, 0.3, 0, -111
Let z = -0.9 - -1.2. Let h = -87 - -91. Put h, z, 3 in descending order.
h, 3, z
Suppose 3 = -3*l + 18. Suppose 0 = -2*q - 2*a + 58, -3*q + 38 + 57 = a. Suppose -3*b + l*b = -5*z - q, 3*b - z = -7. Put 0.07, b, -5 in decreasing order.
0.07, b, -5
Suppose -4*y - g = -13, -6 = -6*y + 5*y - 3*g. Put -2, y, -1, 5 in ascending order.
-2, -1, y, 5
Let b = -10 - -10.1. Let m = 40 + -44.1. Let v = m + b. Sort v, 3, 0.4 in decreasing order.
3, 0.4, v
Let h(w) = w - 4. Let d be h(5). Let t be (d - -1) + 60/(-27). Let f = -78 + 73. Put 5, t, f in descending order.
5, t, f
Suppose 100 + 72 = 2*k. Suppose -3*o - 3*q + k - 14 = 0, o = -2*q + 19. Suppose -o = 4*n - 0*y + y, 2*n - 5*y + 31 = 0. Put n, -4, 2 in decreasing order.
2, -4, n
Suppose -3*v + 21 = -2*m, m - 1 = -2*m - 2*v. Let g be ((-5)/2)/(6/(-12)). Suppose -3*w = -w - 5*k + 25, g*k = -3*w + 25. Sort w, m, 6 in decreasing order.
6, w, m
Let s = 0.22 + -0.85. Let o = s - -0.33. Let j be 2/((-6)/(-2) + -1). Sort o, 1/7, j in increasing order.
o, 1/7, j
Let z be (16 - (-6)/(-2)) + 3. Let l = -11 + z. Sort -4, l, 4 in increasing order.
-4, 4, l
Suppose 13 = -221*n + 208*n. Sort 1, n, 10, -5 in ascending order.
-5, n, 1, 10
Let o be (24/(-28))/(-6) + 1 + -1. Put 0.8, o, -0.1, -2 in ascending order.
-2, -0.1, o, 0.8
Let d be -2 + 238 - (22 - 28). Let f = -242 + d. Let x(v) = 2*v - 6. Let q be x(5). Sort f, -4, q in descending order.
q, f, -4
Suppose 19*q = 2*x + 18*q + 1, -2*x + 5*q = 13. Sort x, -7, -5, -4 in decreasing order.
x, -4, -5, -7
Suppose -17*s + 85 - 4913 = 0. Sort -1, 2, s, -3 in decreasing order.
2, -1, -3, s
Let x = 107/4 - 27. Suppose 1 = -c - 0*c - 2*u, c = 4*u - 1. Let k = c - 1. Sort k, x, -1.
k, -1, x
Suppose 6*