-170)/15). Let s = -3 - 0. Put s, c, q in decreasing order.
q, s, c
Let a(h) = -h**3 + 4*h**2 + 4*h + 5. Let q be a(5). Put q, -1, 4 in descending order.
4, q, -1
Suppose -24 = 5*t - 9. Let f = 29 - 33. Sort -1, f, t in decreasing order.
-1, t, f
Let l be (-1*1)/(5/15). Suppose -2*d - d = -12. Suppose 7*k + 12 = d*k. Sort 3, k, l in increasing order.
k, l, 3
Let s be 1 - (1/(-1) - -1). Suppose 0 = -2*t + s - 5. Sort -4, 4, t in increasing order.
-4, t, 4
Suppose 9*v = -3*v - 12. Sort v, 5, -3.
-3, v, 5
Let v = -33 + 29. Put 3, v, 2 in decreasing order.
3, 2, v
Suppose -10 = -5*k - 0. Suppose -k*p = -p. Sort 2, p, -1.
-1, p, 2
Let j = -0.61 + 3.71. Let m = 3 - j. Sort 0.5, 1, m in decreasing order.
1, 0.5, m
Let p be (-13 - -16) + -4 + 1. Sort -1, p, -4 in decreasing order.
p, -1, -4
Suppose -3*s = -g - 8, -g + 2*s - 4 = -0*g. Suppose 3*k - 9 = 0, -4*a - 5*k = g - 3. Put a, 3, 1 in descending order.
3, 1, a
Let d = 13 + -12.88. Put -0.3, d, -2/7, 3 in increasing order.
-0.3, -2/7, d, 3
Let q = -1.88 + 1.58. Suppose 7*v - 3*v = -24. Sort v, q, 0 in decreasing order.
0, q, v
Let x = 11 + 7. Let f be (-6)/10 - x/45. Let w = 4 + 1. Put f, w, -3 in ascending order.
-3, f, w
Let p be (4/(-2) - -2)/2. Suppose -2*i + 5*i + 3 = p. Put -4, -3, i in descending order.
i, -3, -4
Let t be ((-2)/3)/(2/(-6)). Let j = 1 - t. Sort -5, 5, j in descending order.
5, j, -5
Let t = -9 - -14. Let u = -9 + 9.5. Sort t, u, 0 in decreasing order.
t, u, 0
Let x = 216 + -421/2. Sort x, 2, 3.
2, 3, x
Let h(x) = -x**2 - 1. Let k be h(0). Suppose 3 = l - 2*l. Put k, 0.4, l in increasing order.
l, k, 0.4
Let l = -0.13 + 0.23. Put 1, -1/13, l in descending order.
1, l, -1/13
Let a = 5.2 - 4.6. Let i be 1/(-4)*(-12)/(-9). Sort 3, i, a in increasing order.
i, a, 3
Let u be -2*(34/(-4) - -1). Let y be u/63 - (-2)/(-3). Let w = -0.5 + 0.8. Put 3, w, y in descending order.
3, w, y
Let v = 369 - 369.3. Let f = 0.22 + -0.66. Let d = 0.04 + f. Sort v, d, -0.5 in increasing order.
-0.5, d, v
Let c(f) = -f**3 - 12*f**2 - 10*f + 2. Let r be c(-11). Let q(v) = -v**3 - 9*v**2 + v + 12. Let g be q(r). Put g, 5, -2 in increasing order.
-2, g, 5
Let j(p) = -p - 8. Let d be j(-7). Let o(c) = -2*c**2 - 3*c - 1. Let w be o(-2). Sort w, d, -2 in descending order.
d, -2, w
Let z = 59 + -59.1. Sort -5, z, 4, 3 in ascending order.
-5, z, 3, 4
Suppose 4*f - 10 = -f, -2*f + 24 = -5*x. Let h be (-16)/(-30) + x/12. Let n be 4/10 + (-22)/5. Sort 1/3, h, n.
n, h, 1/3
Suppose 2*b = -0*b. Let j = -27 - -24. Sort -5, j, b in decreasing order.
b, j, -5
Let a = -50 - -72. Let w be (-4)/a + 21/539. Suppose -5*o - q - 7 - 3 = 0, 5*o + 4*q + 10 = 0. Sort 3/4, w, o.
o, w, 3/4
Suppose 0 = -5*b + 16 + 4. Let u(v) = v**3 + 4*v**2 - 4*v + 6. Let f be u(-5). Let o be (-1)/(-2) - 36/(-8). Sort b, o, f.
f, b, o
Suppose 3*y + 51 - 36 = 0. Suppose 0*g = g - 3. Sort 5, y, g in ascending order.
y, g, 5
Suppose -j - 235 = -10. Let f be (-3)/(-1) + j/63. Sort 0, 4, f in ascending order.
f, 0, 4
Let g(j) = -3*j**2 + 4*j + 9. Let s(p) = 9*p + 9 + 3*p**2 + 8 - 8*p**2. Let h(t) = -7*g(t) + 4*s(t). Let i be h(-8). Put 1, 0, i in decreasing order.
i, 1, 0
Let r be (2 - 1) + (-38)/2. Let v = -13 - r. Sort 0, -2/5, v in descending order.
v, 0, -2/5
Let d = -0.18 - -0.18. Put d, 5, -7 in increasing order.
-7, d, 5
Let m(j) = j + 16. Let q be m(-13). Suppose 5*k - 2 = q*k. Sort 4, k, -4 in decreasing order.
4, k, -4
Let c = 25 + -27. Sort -4, c, -10 in descending order.
c, -4, -10
Suppose 13*u = -0*u + 39. Sort u, 1, 0 in ascending order.
0, 1, u
Let g = -0.11 + -0.19. Let s be (-2)/11 + (-24)/110. Put g, s, -4 in decreasing order.
g, s, -4
Let u(v) = -v + 3. Let b be u(7). Suppose h - o = 3*h - 5, 0 = 3*h + o - 10. Suppose -3*g + 2*g - h = 0. Put b, 5, g in increasing order.
g, b, 5
Suppose -u = -6*u - 5. Sort u, -3, -2 in decreasing order.
u, -2, -3
Let s = 13 + -13. Put -1/4, 2/9, s in decreasing order.
2/9, s, -1/4
Let m = 24 - 32. Let z = -168 + 176.3. Let r = z + m. Sort -0.5, r, -3 in decreasing order.
r, -0.5, -3
Let o be 4/14 + (-138)/42. Put o, -4, 5 in increasing order.
-4, o, 5
Let i = -25 + 76/3. Let c = -2.6 - -0.6. Sort -0.1, c, i in decreasing order.
i, -0.1, c
Let i = -0.3 - -0.5. Let h = -0.74 + 6.04. Let z = -5 + h. Put z, -4, i in decreasing order.
z, i, -4
Let a = 89/6 + -15. Suppose -f - 6 = -1. Let s = 12 + -8. Put a, s, f in increasing order.
f, a, s
Suppose -15 = q + 2*q + 3*x, -q + 4*x + 10 = 0. Sort q, 5, 0 in decreasing order.
5, 0, q
Let c = 23 + -33. Let s = -1 - 6. Let n = c - s. Sort 1/4, n, -2/7.
n, -2/7, 1/4
Let m = 2 - -3. Suppose 5*w + 5 = h + 2*w, 0 = -m*h - w + 9. Suppose n + 5 = 6. Sort 3, h, n in decreasing order.
3, h, n
Let l(m) = m**2 + 6*m. Let b be l(-6). Let r = 27 + -30.1. Let n = r + 3. Sort b, -2, n.
-2, n, b
Suppose 3*g - 4*p - 14 = 0, 2*g + 2*p = 5*g - 10. Suppose -g = 5*i + 18, -2*i - 28 = 4*a. Suppose 3*n + n = -28. Sort 1, a, n in descending order.
1, a, n
Let k = -5303 + 302239/57. Let b = 2/19 - k. Let c = 0.3 + -0.1. Sort c, -5/3, b.
-5/3, c, b
Let u be 1/(2/(-50) - 0). Let b = -30 - u. Sort 4, -4, b in decreasing order.
4, -4, b
Let j(m) = -3*m - 4. Let n be j(-3). Suppose -5 = -n*p - 0. Suppose 5 + 14 = -4*h + r, 2*r - 10 = h. Put h, p, -5 in descending order.
p, h, -5
Let o = -20 + 18. Sort 0.5, 3, -2/3, o in ascending order.
o, -2/3, 0.5, 3
Let z be (-7)/(-28) - (-1 + 1). Let t = 1 - -12. Let i = t - 9. Put z, 0.2, i in decreasing order.
i, z, 0.2
Suppose -3*t + 6*r + 23 = 2*r, 4*r = 5*t - 33. Suppose 3*x - 12 = -x. Suppose 0 = -b - 5*a - 0*a + 1, 0 = 4*b + a - 4. Put t, x, b in increasing order.
b, x, t
Let o = -0.3 - 4.7. Put -2, o, 5 in descending order.
5, -2, o
Let g = 4 - 9. Sort -2, -1, g in descending order.
-1, -2, g
Let i = -49/95 - -6/19. Sort 2/3, 2, i in descending order.
2, 2/3, i
Suppose 5*z + 5*t + 30 + 0 = 0, 0 = -z + 2*t + 6. Sort 0, 11, 4, z in increasing order.
z, 0, 4, 11
Let g = 3 - 3.2. Let c = -134 + 129. Sort c, g, 5 in descending order.
5, g, c
Let b = 65 + -70. Sort 4, -1, b, 1.
b, -1, 1, 4
Let p = 0.2 - 0. Let d(z) = 2*z + 10. Let h be d(-4). Sort h, 1/3, p in descending order.
h, 1/3, p
Let f(w) = -w**2 - 3*w - 1. Let q = -6 + 4. Let d be f(q). Let z = 3/16 - 11/16. Put -3, d, z in descending order.
d, z, -3
Suppose 0*h = -5*k - h + 17, -11 = -2*k + h. Let s = 13 + -8. Put k, 2, s in increasing order.
2, k, s
Let m = 1498/11 - 136. Let z = -1 + 1. Let r = 3 + z. Put m, r, 1/2 in increasing order.
m, 1/2, r
Let y = -4 + 5. Suppose 2*j = -6 + 2. Put j, -3, y in descending order.
y, j, -3
Let s = -8.36 - -6.3. Let q = s + 0.06. Put -0.5, q, -3/4 in ascending order.
q, -3/4, -0.5
Suppose 0*b - 20 = 4*b. Let h = -10 - b. Let a = -7 - -10. Sort a, h, 4.
h, a, 4
Let o be (-5 - (-9)/2)*-8. Suppose 0*s + 5*p = s - 26, p = -2*s - 3. Sort -4, s, o.
-4, s, o
Let m(w) = 2*w + 17. Let b be m(-8). Let t(o) = -3*o**2 - o + 1. Let z be t(b). Put z, 0, 10 in descending order.
10, 0, z
Let m = -18 + 22. Put -1/4, m, 3 in ascending order.
-1/4, 3, m
Suppose 6 = 5*r - 4. Suppose r*l = -l - 3. Sort 3, l, 4 in decreasing order.
4, 3, l
Let g = 3 - 3/2. Let o be (-7 - -8)/(3*3). Put o, -0.4, g in descending order.
g, o, -0.4
Let b = 1 + -0.95. Let f = b - -0.95. Let q = -7 - -6.9. Put 4, q, f in decreasing order.
4, f, q
Let l be 4/22 - 155/(-55). Let c(q) = q**2 - q - 3. Let h be c(l). Put h, 5, -3 in descending order.
5, h, -3
Let h be 54/(-5)*(-50)/15. Sort -4, h, -1, 3 in decreasing order.
h, 3, -1, -4
Let m = 0.6 - 0.2. Let a = 0.8 + -0.3. Let w = 4.5 - a. Sort w, m, -0.3.
-0.3, m, w
Let h = -26 - -31. Put h, -1, -1/11 in increasing order.
-1, -1/11, h
Let b = -9 - 5. Let j(l) = l + 9. Let c be j(b). Put 4, c, -3 in decreasing order.
4, -3, c
Let t = -0.4 + 0.36. Let q = t - 1.96. Let i = q + -3. Sort -1/4, i, 3 in decreasing order.
3, -1/4, i
Let h be 8/(-6) + (-4)/6. Suppose 10 = 2*i - 0*i. Sort i, h, 1.
h, 1, i
Let v(g) = 2*g + 31. Let t be v(-10). Put -4, 0, t in descending order.
t, 0, -4
Let w = -43 - -41. Sort w, 1, -5, 2.
-5, w, 1, 2
Let w = -78 + 78.1. Let z be 4/(-18) - 25/9. Sort w, z, -2 in descending order.
w, -2, z
Let w = -18 - -23. Let x(l) = l - 1. Let a be x(3). Suppose -3*h - 2*k = -h - 4, 0 = -5*h - a*k + 1. Put 3, h, w in ascending order.
h, 