*w + v = 17. Sort -1, w, -3 in increasing order.
w, -3, -1
Let c = -3 - -3. Sort c, -5, -6 in decreasing order.
c, -5, -6
Let a(s) = -s**3 - 8*s**2 + 8*s - 3. Let q be a(-9). Suppose 3*g = -q - 9. Sort -2, g, 2 in increasing order.
g, -2, 2
Let b be (-144)/(-460) + (-2)/5. Let r be ((-1)/(-2))/(12/8 - 2). Put 2, b, r in ascending order.
r, b, 2
Let i(t) = 13*t. Let z be i(-2). Let c = 26 + z. Sort -3, c, 2.
-3, c, 2
Let m(i) = -i**3 + 3*i**2 + 4*i. Let h be m(4). Put h, 2, 4 in increasing order.
h, 2, 4
Let g = -11.3 + 11. Sort 5, g, -1/3 in decreasing order.
5, g, -1/3
Let o be 2/(-4) - 63/(-30). Let m = -9/5 + o. Sort 4, -0.4, m in decreasing order.
4, m, -0.4
Let d = -961.83 - -967. Let a = d - 0.17. Put 3, a, 0 in ascending order.
0, 3, a
Suppose -b - 4*a = -6*b + 12, 0 = 2*b + 2*a + 6. Sort 2, -5, b.
-5, b, 2
Let x be (14/385)/(2/(-10)). Sort -5, 0.3, x in increasing order.
-5, x, 0.3
Let a = -3 - 0. Let c = -2 - a. Put c, -3, -2 in descending order.
c, -2, -3
Let h(d) = 8*d**2 + d. Let p(o) = 2*o + 13. Let g be p(-6). Let f be h(g). Sort 4, f, 5 in descending order.
f, 5, 4
Suppose -3*m + 6*m + 10 = -2*t, -2*m - 4 = 0. Put t, -5, 1, 4 in increasing order.
-5, t, 1, 4
Suppose -u - 5*t - 27 + 12 = 0, -4*u - 2*t - 42 = 0. Put -5/3, -1, -0.4, u in descending order.
-0.4, -1, -5/3, u
Let g = 0.02 + 0.48. Let p = g - 0. Put p, -0.4, 5 in decreasing order.
5, p, -0.4
Let p = 58 - 57. Sort -3, -5, p, -1 in decreasing order.
p, -1, -3, -5
Suppose -24 = -4*t - 2*p, 3*p = 2*t - 0*p - 4. Let b = -12 + t. Let n be (3 - 1) + b/1. Sort 0, n, -4 in ascending order.
n, -4, 0
Let x = -0.43 - -1.43. Put 2, x, -2, -3/7 in increasing order.
-2, -3/7, x, 2
Suppose -7 = 3*p - 37. Put 2, -5, p in descending order.
p, 2, -5
Let d be 2138/(-20) + (-15)/(-10). Let y = d - -106. Put 4, y, 0.4 in descending order.
4, y, 0.4
Suppose -2*f + 0 = 10, x = 4*f + 18. Put x, 9, 1, 4 in decreasing order.
9, 4, 1, x
Let b = 10 - 22. Put b, 2, -4 in descending order.
2, -4, b
Let r(p) = p**3 + 26*p**2 + 24*p - 29. Let c be r(-25). Let d = 1 + 0. Sort -1, d, c in descending order.
d, -1, c
Let l = 19 + -18.89. Let u = l - -4.89. Let c = -8 + u. Put c, 0, -5/4 in decreasing order.
0, -5/4, c
Let t = -16 - -18. Sort -0.07, 2/13, t in decreasing order.
t, 2/13, -0.07
Suppose 7 = 2*z + 11. Put 1, z, 4, 6 in decreasing order.
6, 4, 1, z
Let u(x) = x**2 - 7*x - 2. Let o be u(7). Let r(g) = g**3 + 2*g**2 - g + 1. Let l be r(o). Sort l, -1, -4 in increasing order.
-4, -1, l
Let f = 42 + -167/4. Let u = 0 + -2. Let k = -13 - -12.9. Sort k, f, u.
u, k, f
Let z = -12 + 11. Let x = 2 - 5. Let m = x - z. Put 0, -0.1, m in ascending order.
m, -0.1, 0
Let m(t) = -t**2 + 10*t - 3. Let u be m(9). Let h be (28/u)/((-6)/(-9)). Let b = 10 - h. Sort -5, -1, b in descending order.
b, -1, -5
Let j = -13 - -15. Let z be (-3)/(-18)*(j - -4). Sort -2, 4, z.
-2, z, 4
Suppose 6 = -2*s + s. Let o be (-12)/63*s/(-4). Let u = -0.2 + 0.2. Put u, o, 5 in increasing order.
o, u, 5
Suppose -3*d + 15 = -8*d. Sort d, 5, 2, 2/5 in decreasing order.
5, 2, 2/5, d
Let z = 241 - 244. Let v = 0 - -0.3. Sort z, -0.6, v in ascending order.
z, -0.6, v
Suppose -2*n + 14 = 2*o, -4*o = -23 + 3. Suppose -n*g - 3*v - 2 = -3, -4*g - 4*v + 8 = 0. Sort 0, g, 3 in decreasing order.
g, 3, 0
Let k = 5 + -1. Suppose 4*j = -7*l + 3*l - 4, -2*l - 14 = -j. Let n = 2 + -3. Sort k, l, n in descending order.
k, n, l
Let s = -1 + -3. Suppose 0 - 10 = 2*p, 4*w - 3*p - 75 = 0. Suppose -6 + w = 3*v. Sort v, 1, s.
s, 1, v
Let j be (-164)/170 + (-8)/(-8). Let z = -149/595 - j. Put -0.5, -2/11, z in descending order.
-2/11, z, -0.5
Let o be 1/(-4) - 7/4. Let j be -1 + -5*o/2. Suppose 22 = -2*z + j*c, -z = -4*c + 14 + 7. Sort z, 2, 1.
z, 1, 2
Suppose p - 6*p - 18 = -3*b, 5*b + 4*p + 7 = 0. Suppose 9*x - 8*x = 0. Sort b, x, -4 in decreasing order.
b, x, -4
Suppose -3*b = -3 - 3. Let n(t) = -t**2 - 4*t. Let v be n(-3). Let f be (-7 - -2) + 3/(-2)*-2. Sort v, f, b.
f, b, v
Let l = -39 - -41. Let v be (5/(-3))/((-4)/(-12)). Let n = 3.1 + -3. Sort l, n, v in decreasing order.
l, n, v
Let v = 75 + -74. Suppose -6*g = -g - 15. Put g, v, 0 in descending order.
g, v, 0
Let m be 2 + 1/((-4)/12). Let u be 1/m*30/(-6). Let a be 1/(-4) - 11/4. Sort a, u, 4 in decreasing order.
u, 4, a
Let m = -19 + 22. Put 0, m, -21 in decreasing order.
m, 0, -21
Let h = 1.9 - -0.1. Let f = -3 - -3.4. Put 4/5, f, h in increasing order.
f, 4/5, h
Let n be (7/(-2))/(2/(-4)). Let m(k) = k**3 - 6*k**2 - 8*k + 4. Let z be m(n). Sort 5, -5, z in increasing order.
-5, z, 5
Let h be 18/(-63) + 6/21. Sort 5, -0.4, 2/7, h.
-0.4, h, 2/7, 5
Let o be -2 - (4 - 7)*5. Let p = 17 - o. Sort -2, -5, p.
-5, -2, p
Let t(b) = -b**2 + 5*b - 3. Let i be t(4). Let y be (-21)/(-3) - (-1 + 3). Put 3, y, i in descending order.
y, 3, i
Let m(v) = -v**3 + 5*v**2 - 3*v - 5. Let h be m(5). Let o = h - -19. Put 4, o, 2 in increasing order.
o, 2, 4
Let q be (1 - 0) + 24/(-6). Sort -5, 4, q.
-5, q, 4
Let a = 2261/9 + -251. Sort -0.1, a, -0.4, 3/2 in decreasing order.
3/2, a, -0.1, -0.4
Suppose -p + 9 = 3*p - f, -4*p = 5*f - 27. Let x be (-2)/p + (1 - 1). Let j = 1.9 + -1.5. Sort x, -1/5, j in descending order.
j, -1/5, x
Let o = -35 - -38. Sort o, -4, -2.
-4, -2, o
Let o = 25/2 + -13. Let j be -1 - (-2 + 1/1). Suppose j = -i - 2*r - 5, r + 3 = 3*i - 10. Sort o, 1, i in descending order.
i, 1, o
Let n(t) = t**2 + 14*t - 12. Let r be n(-15). Put r, -3, 4 in decreasing order.
4, r, -3
Let i be (-2)/(-9) + 4/(-18). Suppose -5*x = -2*x + 2*d - 6, -24 = -3*x + 4*d. Sort x, i, 3 in ascending order.
i, 3, x
Let c be 4*(-2)/(-16)*2. Let r(j) = j**3 - 14*j**2 + 14*j - 17. Let i be r(13). Sort c, i, 2 in descending order.
2, c, i
Let d = -5 + 4. Let t be 0/d - (-8)/8. Put 0.3, t, -3/2 in decreasing order.
t, 0.3, -3/2
Let n = -5 + 6. Put 1/4, 0.3, n in decreasing order.
n, 0.3, 1/4
Suppose -2*c + 2*b - 3*b + 13 = 0, 0 = 4*c + 3*b - 29. Suppose 0 = w - 5*w + 20. Suppose 20 = c*g + w. Put 5, 2, g in decreasing order.
5, g, 2
Suppose -10*u + 9*u + 24 = -4*h, 5*u = 2*h + 30. Sort -1, 0, h, 2.
h, -1, 0, 2
Let x = 10/17 - 324/493. Sort x, 5/3, 4/5 in increasing order.
x, 4/5, 5/3
Suppose 18 = 7*a - a. Put a, -1, -6, 4 in descending order.
4, a, -1, -6
Let z = -0.11 + 0.41. Let o = 0.7 + -0.7. Put z, 3/4, o in descending order.
3/4, z, o
Suppose 15 = 3*v + 3. Let g be (-1 + 2)/((-2)/v). Suppose 13 = q + 7. Put 1, g, q in decreasing order.
q, 1, g
Let u be (-3)/(-39)*(0 + (-4 - -6)). Put u, -0.5, 0.2, -4 in descending order.
0.2, u, -0.5, -4
Suppose 0 = -h - 0*f - 2*f - 13, 2*f + 10 = 0. Let c = 1 + 1. Suppose 5*q - 3*q + 12 = 2*p, 5*p - c*q - 24 = 0. Sort 0, p, h in decreasing order.
p, 0, h
Let v = 94 + -93. Sort 10, -1, v in decreasing order.
10, v, -1
Suppose -2*j - h = h + 2, 2*h = 3*j + 3. Put 0.4, j, -1/2 in decreasing order.
0.4, -1/2, j
Let o = 80 - 90. Put o, 0, -0.5 in increasing order.
o, -0.5, 0
Let c = 0.2 - -0.3. Let h = 7.64 + -2.64. Put h, -0.5, c in descending order.
h, c, -0.5
Let y = 32 - 35. Sort -5, -1, y in decreasing order.
-1, y, -5
Suppose -1 = n - 0. Let p be -75 + -4 + 2 + 4. Let f = -217/3 - p. Put n, f, 1 in ascending order.
n, f, 1
Let c = 3 + -3.1. Let x = c - -0.5. Let f = 31 + -34. Put -4, x, f in descending order.
x, f, -4
Let t = 3/61 + 223/427. Sort -3, t, -0.9 in decreasing order.
t, -0.9, -3
Let z = 104 - 105. Sort z, -8, 3, -6 in decreasing order.
3, z, -6, -8
Suppose 2 - 1 = y. Let o(s) = s**3 + 9*s**2 + 10*s + 11. Let c be o(-8). Put 4, c, y in increasing order.
c, y, 4
Let l = 0.04 - -0.86. Sort -1/6, l, -4 in increasing order.
-4, -1/6, l
Let w = -0.2 + 0.21. Let i = w - 0.11. Sort -2, i, -0.4 in decreasing order.
i, -0.4, -2
Let j be (-2 - -1)/(3 + -2). Let b be (-10)/(2/1)*3. Let i = 10 + b. Sort i, j, 2/7 in ascending order.
i, j, 2/7
Let z = -31 + 29. Let f = 3.6 - 4. Put 1/2, z, f in descending order.
1/2, f, z
Suppose 7 = -2*l + 15. Let q be l/18 + (-55)/45. Sort -3, -4, q in descending order.
q, -3, -4
Suppose 0*i - 2*i - 14 = 2*n, -2*i - 2 = -n. Let x = -4 - n. Let s be ((-2)/(-5))/(24/(-40)). Sort 3, x, s in decreasing order.
3, x, s
Let s(b) = b**2 + 18*b - 2. Let x be s(-18). Put 24, -3, x in increasing order.
-3, x, 24
Let g = 1.41 + -1.11. Let q = -1.7 - -2. Let u = q 