et o = 32.5 + -29.33. Let m = w - o. Sort 5, m, 0 in decreasing order.
5, 0, m
Suppose -2*a + 4*h = 10, h = 2*a - 15 + 16. Put a, 3, -4, -10 in decreasing order.
3, a, -4, -10
Suppose 10*h - 42 + 62 = 0. Let y = -12 - -7. Put 9, h, y in increasing order.
y, h, 9
Let c = -0.02 + 0.32. Let v = -37 - -19. Let i = v + 17. Sort i, c, -0.2 in ascending order.
i, -0.2, c
Let v = -0.7 - -0.6. Let m = 491 + -488. Put 1, v, m, 5 in ascending order.
v, 1, m, 5
Suppose 2*m - 4*t = 5*m - 387, 278 = 2*m - 4*t. Sort -2, 1, m in decreasing order.
m, 1, -2
Let a be (-312)/(-91) - (-8)/14. Sort a, -2, -85 in descending order.
a, -2, -85
Let n = -47.6 - -49.8. Sort 1, -0.4, n in descending order.
n, 1, -0.4
Let i = 61 - 57. Suppose f = 5*f - 16. Suppose f*c - 3*c + 2 = -y, 3*y + 14 = c. Put 2/7, c, i in decreasing order.
i, c, 2/7
Let x(l) = l**2 + 2*l - 3. Let v be x(-4). Suppose -4*s + v*s = -3. Let a = -23392 - -23388. Sort s, 3, a in decreasing order.
3, s, a
Suppose 5*m - 2*z + 6 = 0, 0 = -m - 8*z + 3*z - 12. Suppose -v + 25 = 4*v. Suppose 1 = -v*a - 24. Sort -3, a, m.
a, -3, m
Let z = -401 - -402. Sort 2/25, z, -0.5 in ascending order.
-0.5, 2/25, z
Let o = 0.0379 + 4.9621. Put -5, 0.4, 8, o in decreasing order.
8, o, 0.4, -5
Suppose -46*d + 61*d - 30 = 0. Let j = 7 - 8. Suppose 8 = 4*q - w + 5*w, 5*w - 6 = -q. Put j, d, q in increasing order.
j, q, d
Let g = -4.1 - -4.5. Let y = g - 0.1. Sort y, 5, -2/13 in ascending order.
-2/13, y, 5
Let s(v) = -v**2 - 6*v - 5. Let g be s(-4). Suppose g*h - 6 = 0, w - 5*h = 2*w - 6. Sort 12, -5, w.
-5, w, 12
Suppose 0*d - 5*d + v = 26, -3*d + 5*v - 20 = 0. Let c(p) = p**3 + 4*p**2 - 7*p - 6. Let j be c(d). Suppose 0 = -4*r + 13 + 15. Sort j, r, -1.
-1, j, r
Let w = -36 - -32. Let u be (1 + -3 - -3) + w. Put 1, u, -1 in descending order.
1, -1, u
Let a be (7/(-4))/(364/(-104)). Let g = -2 - -2.01. Let k = 4.01 - g. Put a, k, -0.3 in ascending order.
-0.3, a, k
Suppose -110*v - 80 = -90*v. Sort v, 5, -16, -1 in descending order.
5, -1, v, -16
Let w = -354 + 357. Put -15, 4, w in descending order.
4, w, -15
Suppose 5*d + 9 - 4 = 5*o, d = 4*o + 2. Sort 142, o, -4.
-4, o, 142
Let x be 2/(-7) - (-4)/14. Let g = 2/15 - 23/60. Sort x, 6, -1, g in decreasing order.
6, x, g, -1
Let b be 22/4 + 1/(-2). Suppose 0 = 2*s + 3*s, 0 = 3*n + s + 3. Put b, 4, n in descending order.
b, 4, n
Let x = -5.19 - 0.41. Let r = -5 - x. Let f = 57 - 57.3. Sort r, 0, f in increasing order.
f, 0, r
Let o = -22 - -46. Suppose -63*f + 61*f = -o. Suppose -4*b - 6 - 14 = -4*k, -2*k = -b - 7. Sort b, -4, f in descending order.
f, b, -4
Let c(z) = -z**3 - 12*z**2 - 46*z - 69. Let w be c(-6). Sort 0, -5, w.
w, -5, 0
Suppose -g + 3*b = -26, 0*b + 30 = g - 4*b. Let o = -15 - -1. Let x = g + o. Put x, -5, 3 in ascending order.
-5, x, 3
Let m = -433 - -433. Sort -0.1, -181, m.
-181, -0.1, m
Let h be ((-15)/6)/(1/(-2)). Suppose h - 2 = 3*u. Suppose 2*t = -3 - u. Put t, -4, -6 in decreasing order.
t, -4, -6
Let j = 0.352 + 0.148. Put -1/22, -5, j in descending order.
j, -1/22, -5
Let k be 2/(-8) - 7970/(-8200). Let r = k + -5/41. Let h(w) = w**2 + 8*w + 5. Let a be h(-7). Sort a, -2/5, r in increasing order.
a, -2/5, r
Let j = -0.2739 - -0.0739. Suppose -4*f - 4 = -2*f. Let a be (6/(-4))/((-7)/f). Sort -2/5, a, j.
a, -2/5, j
Let u(s) = s**3 - 13*s**2 - 5*s + 58. Let r be u(13). Sort -5, -3, 2, r in descending order.
2, -3, -5, r
Suppose b + 5*d = 4*d + 23, -5*b + 4*d + 142 = 0. Put b, -5, 5 in descending order.
b, 5, -5
Let j = 614/5 - 122. Let x = 39.8 - 0.8. Let a = x - 34. Sort a, 2, j in increasing order.
j, 2, a
Let j = -25.41 + 25.4. Sort j, -0.1, -1.1 in descending order.
j, -0.1, -1.1
Let i be (3144/(-168) + 19)/((-30)/(-14)). Sort -2/7, -43, -5, i in increasing order.
-43, -5, -2/7, i
Let q(j) = -j - 1. Let v be q(-4). Let f(u) = -2*u - 137. Let m be f(-66). Sort v, -11, m in descending order.
v, m, -11
Let u = 29.68 - -0.82. Let y = u - 30. Sort 9, 5, y in ascending order.
y, 5, 9
Let i = 24 + -20. Let u = -3.74 + i. Let t = u - 0.06. Put -5, t, 0.5 in increasing order.
-5, t, 0.5
Suppose -5*t = -2*t. Suppose t + 20 = 4*d. Suppose -14*s + 17*s = 3. Sort d, -4, s.
-4, s, d
Let r = 110 + -110. Let c = -7 + 9. Let q = c + 0. Put q, -0.3, r in increasing order.
-0.3, r, q
Suppose -s - 2*f - 19 = 2*f, -2*s - 4*f = 18. Let a(q) be the first derivative of -q**3/3 + 4*q**2 - 7*q - 4. Let g be a(7). Sort s, -5, g in descending order.
s, g, -5
Suppose 250*o + 80 = 266*o. Put o, 3, 27, -4 in increasing order.
-4, 3, o, 27
Let n be (-2)/(-4)*(5 - 52). Let p = n + 421/18. Sort p, 4, 0.4 in descending order.
4, 0.4, p
Let w = 283 - 577/2. Let p = -0.085 - 29.115. Let t = 29 + p. Sort w, t, 0 in ascending order.
w, t, 0
Let w = 3255 - 3322. Put 2, -2/7, w, 0 in decreasing order.
2, 0, -2/7, w
Let c(g) = -g**3 + 6*g**2 - g + 12. Let a be c(6). Let m = a + -6. Sort -4, 3, m, 4 in decreasing order.
4, 3, m, -4
Let l be -1 + 15 + -3 + 0. Let i be l/3 - 24/8. Let q = -9 - -8.9. Put i, q, -0.3 in decreasing order.
i, q, -0.3
Suppose -4*c = 2*k + c - 18, 0 = 5*c - 10. Sort k, 0, 32, 1 in decreasing order.
32, k, 1, 0
Suppose -17 - 9 = -13*p. Suppose -15*l = -13*l - p. Sort 5, 3, l in descending order.
5, 3, l
Let m(j) = -6*j - 18. Let z be m(-3). Suppose 0 = 4*o - c - 3, z*c + 2*c - 20 = -5*o. Let d = 4 + -6. Sort -5, o, d.
-5, d, o
Let k be -2 + (-7)/21*6. Put 33, k, -3, -5 in increasing order.
-5, k, -3, 33
Let y = 0.3 - 0.3. Let p be 4/(-12)*6/10. Sort y, p, 0.3 in ascending order.
p, y, 0.3
Let b = -22 - -10. Let x = b + 9. Sort -2, 3, -1/6, x.
x, -2, -1/6, 3
Let l(c) = -c**3 + 8*c**2 - 6*c - 7. Let p be l(7). Suppose 4 = 4*v - p. Suppose 0 = x - n + 3, 2*x + n + 5 = 2*n. Sort x, 4, v in descending order.
4, v, x
Suppose 5*t = 6*t - 4*t. Put -1, -8, t, 2 in ascending order.
-8, -1, t, 2
Let h = -22 - -35. Let s be 111/(-148)*8/18. Sort s, h, -1 in ascending order.
-1, s, h
Let y = -36.69 + 37. Let q = -0.09 - y. Let f = q - -1.4. Sort f, 0.1, 9 in increasing order.
0.1, f, 9
Suppose -i + 11 = 9. Suppose 0 = i*x + 17 - 7. Put 3/5, 5, -6, x in decreasing order.
5, 3/5, x, -6
Suppose z + 2*u = 4, -23*u + 8 = z - 19*u. Let m(o) = -o**2 - 3*o - 2. Let x be m(-3). Sort z, 9, x in descending order.
9, z, x
Suppose 2*m + 6 = 3*c - 13, -m - 20 = -5*c. Let h(l) = l**2 - 9*l + 6. Let b be h(6). Put -3, c, 1, b in increasing order.
b, -3, 1, c
Let q = -146 - -95. Let x = q + 42. Put -4, 3, x in decreasing order.
3, -4, x
Suppose -l + 8 = -a, -a - 3*l + 12 = -2*a. Put 0, -4, a in descending order.
0, -4, a
Suppose 2*o = 6, -5*o + 28 = -5*w - 4*o. Let t(s) = s**3 - s**2 + s - 1. Let c be t(2). Suppose n = -1 - 2. Sort c, w, n in increasing order.
w, n, c
Let d = 29 + -93. Let b = d - -69.2. Let f = 0.2 - b. Put 3, -3/2, f in decreasing order.
3, -3/2, f
Suppose -p = 1, -s + 3*p - 4*p = 3. Put s, -12, 1 in decreasing order.
1, s, -12
Suppose -34*z - 862 - 1586 = 0. Sort 1, -5, z.
z, -5, 1
Let r = -187/855 + -1/285. Sort -1/10, 0.4, r, -3 in increasing order.
-3, r, -1/10, 0.4
Let r(o) = -o**2 + 8*o + 2. Let t be r(8). Suppose -t*l - 11 = 29. Let j(v) = v + 9. Let b be j(-12). Sort l, 0, b.
l, b, 0
Suppose -2*j - 5*d = -4*j - 64, -d = 5*j + 187. Let r = j - -42. Put r, -2, -4 in increasing order.
-4, -2, r
Let c be 0*((-3)/2 - -1). Put c, 8, -2 in descending order.
8, c, -2
Let x = 11 + -1. Put -2, x, 0 in ascending order.
-2, 0, x
Suppose 5*g - 2*l = 2, 0*g - 2*l = 2*g + 2. Let d = -0.94 - -2.01. Let x = d - 0.07. Sort g, x, 5 in increasing order.
g, x, 5
Let o = -58.3 + 58. Let h(a) = -a**3 + a**2 + a - 7. Let z be h(0). Put 2/5, o, z, 0.3 in ascending order.
z, o, 0.3, 2/5
Let l be 0/(-11 + 19 - 6). Let h(r) = 4*r + 5. Let b(s) = -s - 1. Let d(v) = -18*b(v) - 4*h(v). Let n be d(2). Sort 1, n, l in increasing order.
l, 1, n
Suppose -83*q + 31*q + 104 = 0. Sort 32, q, -5 in decreasing order.
32, q, -5
Let w be 9/(-1) + 10731/1176. Sort 1, w, 1/3 in increasing order.
w, 1/3, 1
Let t = -212 + 209. Put 0, t, -30, -2 in ascending order.
-30, t, -2, 0
Let l = -33 - -51. Let d = l + -17. Sort d, -1/3, -3 in ascending order.
-3, -1/3, d
Suppose 3*w + 4*l - 27 = 0, 4*l = 2*l. Suppose 13*c + w = -4. Let n = 3 + -6. Put -5, c, n in decreasing order.
c, n, -5
Suppose -9*p + 6*p + 106 = 5*h, 