-415 - -419. Put w, 4/7, 3 in decreasing order.
w, 3, 4/7
Let h(z) = 2*z**2 + 27*z - 86. Let i be h(-16). Sort 2, 6, i in ascending order.
i, 2, 6
Suppose -5 = 5*i, 2*y - 1 = 4*i + 9. Sort -5, y, -1, 0.3 in decreasing order.
y, 0.3, -1, -5
Let v = -2.3 + 14.3. Let s = -10 + v. Let u = 50 - 50.6. Sort -2/5, u, s in ascending order.
u, -2/5, s
Let k = 0.0931 + -0.1931. Sort 2/7, k, -3, 0 in decreasing order.
2/7, 0, k, -3
Suppose 0 = p + o, p = -4*p - o - 8. Put p, 3, -37, -4 in increasing order.
-37, -4, p, 3
Let s = -0.2 + 0.7. Let a = 0.019 + -3.019. Let t = -64.2 - -64. Sort s, a, t.
a, t, s
Let o(b) = -3*b**3 - 53*b**2 - 33*b + 13. Let u be o(-17). Put 6, 3, u in descending order.
6, 3, u
Let o = 3.55 - 3.55. Put -30, 0.1, 2, o in increasing order.
-30, o, 0.1, 2
Let w(m) = 3*m - 37. Suppose 86 = 5*f + 4*x, 54 = 3*f + 4*x - x. Let s be w(f). Put s, 2, 17 in descending order.
17, s, 2
Suppose -3*b - 17 = -5*p, -b - 3*p - 17 = 4*b. Sort -33, b, 5 in ascending order.
-33, b, 5
Let a(h) = h**3 + 5*h**2 + 22*h + 103. Let j be a(-5). Sort -4, -2, 21, j.
j, -4, -2, 21
Let y = -122 + 118. Let d be (2 + 6)/(6 + y). Put -5, d, -1 in ascending order.
-5, -1, d
Let z be (-4)/30 + 3604/30. Sort 3, 0, z in increasing order.
0, 3, z
Let o = 12.2 + -16. Let q = o - -4.2. Put -5, q, -2, 6/13 in descending order.
6/13, q, -2, -5
Let r = -3.8 + 6.8. Let t be (-13 - -15)/(2 + 8). Put -0.4, -3, r, t in decreasing order.
r, t, -0.4, -3
Let u = -2.68 + 2.67. Sort u, -0.5, 6, -5 in ascending order.
-5, -0.5, u, 6
Let n(i) = i**2 - 2*i - 3. Let y be n(-2). Let l = y - 3. Suppose -5*v = 21 + 4, l*v = c - 5. Put 5, 0, c in decreasing order.
5, 0, c
Let v be (-2)/(-5) + 2/(-5). Let b be 2 - 3 - (-15)/1. Suppose 2 = 3*n + b. Sort v, -2, n in increasing order.
n, -2, v
Let j = -9463/7 - -1352. Sort 5, 3, j.
j, 3, 5
Let s be (-34)/(-90) + 5/((-125)/15). Suppose 4*p = 2*p - 2. Put p, 2/15, s in descending order.
2/15, s, p
Suppose a - a = 4*a. Sort 2, a, -4 in increasing order.
-4, a, 2
Let c = 5.5 - -19.5. Let v = c - 26. Sort v, -5, 2 in descending order.
2, v, -5
Let t = -8 - -8.3. Let w = -0.4 + t. Let z = 86 + -84. Put z, w, -1/2 in decreasing order.
z, w, -1/2
Let y(d) = d - 4. Let t be y(3). Let l be (-45)/60 + -22*t/8. Let x(f) = 5*f**3 - f**2 + 1. Let n be x(1). Sort l, n, -2.
-2, l, n
Let r = -75.2 + 74.7. Let f = 0 + 1. Sort 1/2, -5, r, f in descending order.
f, 1/2, r, -5
Suppose 0 = 187*l - 186*l. Sort 11, -0.03, 5, l.
-0.03, l, 5, 11
Let j = -48 + -113. Let r = j + 151. Put -5, 1, r in decreasing order.
1, -5, r
Suppose 0*v + 2*v - 11 = -3*c, c - 3 = 0. Let a be 1 - -2 - (2 - v). Let i be (-16)/22*(-1694)/308. Sort a, -3, i.
-3, a, i
Suppose 5*l - 3 = 2*p, -3*l + 5*p = 1 + 1. Let q be (0/(l - -2))/(-1). Let m = 36 - 38. Put m, q, -7 in ascending order.
-7, m, q
Let j = 1659 - 1653. Put 0, 5, -8, j in descending order.
j, 5, 0, -8
Let f = -12.7 - -13. Let r = 137.8 - 138. Sort 3/4, -2/5, r, f.
-2/5, r, f, 3/4
Let n = 1.95 + 0.05. Let d = -17.79 + 21.79. Sort d, 5, n.
n, d, 5
Let v be (18/10 + -3)*35. Let k = v + 45. Sort -0.3, 4, k, -1 in descending order.
4, k, -0.3, -1
Let k(b) = -2*b - 16. Let j be k(-8). Suppose j = -n - 9*n. Sort n, 4, 18, -4 in decreasing order.
18, 4, n, -4
Let l = 2 - -2. Let v be (-6)/(-27)*(-135)/90. Sort -0.02, -5, l, v.
-5, v, -0.02, l
Let h = 13.5 - 2.5. Let o = 61 - 69. Let k = h + o. Sort 0.2, k, 0.4 in decreasing order.
k, 0.4, 0.2
Suppose -2*t + h - 55 + 8 = 0, 0 = -t + 3*h - 36. Let r = t + 23. Suppose 1 = u - r. Sort -4, -5, u in increasing order.
-5, -4, u
Suppose 0*a = -3*n - 5*a + 12, -4*a = -12. Sort n, -5/3, -2, -3 in ascending order.
-3, -2, -5/3, n
Suppose -2*r = 4, -4*r = 3*a - 0*r + 77. Let f = a - -30. Suppose -5*p - f = -2. Sort 5, p, 4.
p, 4, 5
Let b = -0.55 + 5.8. Let o = b + -1.25. Let f = 6.4 - 6. Sort o, f, 1/2.
f, 1/2, o
Let v = 2.6 + -4. Let z = v + 2.4. Let o(l) = -l**2 - 7*l - 7. Let x be o(-6). Put 1/7, z, x in increasing order.
x, 1/7, z
Let q = -71 + 70.31. Let j = q - 3.31. Let g = 45/2 + -23. Sort g, -1/6, j in increasing order.
j, g, -1/6
Suppose -5*i - 35 = -2*s, 5*i + 5 = -881*s + 880*s. Suppose 0*t + t = 0. Suppose t = -5*n - 1 + 26. Put s, n, -4 in increasing order.
-4, n, s
Let h(c) = -4*c**3 + 7*c - 10. Let v be h(2). Let d be (0/(-1 - -2))/2. Put 1, d, -3, v in decreasing order.
1, d, -3, v
Let q = 2 - 7. Let v = -390 + 373. Put v, 0.5, 2, q in decreasing order.
2, 0.5, q, v
Let b be (1 + (-2 - -9))/2. Sort -2, 2, 0, b.
-2, 0, 2, b
Let z(b) = 5*b + 168. Let j be z(-29). Sort j, 2, 3, -4.
-4, 2, 3, j
Let v = -36.66 - -37. Let w = v - -4.66. Let h = -49/2 - -25. Sort w, 0, h in increasing order.
0, h, w
Let p be ((-8)/5)/(32/80). Put 6, p, 3 in increasing order.
p, 3, 6
Let h = -173 - -187.9. Let r = h + -17. Let t = r - -2.1. Put 0.2, 3, t in ascending order.
t, 0.2, 3
Let h = -0.54 + 0.04. Let s = h - -0.46. Let y = -0.24 - s. Put -4/3, y, 0.2 in decreasing order.
0.2, y, -4/3
Let x(n) = -49*n - 148. Let g be x(-3). Suppose 0 = -4*v + y + 2*y + 35, -20 = v + 5*y. Sort g, -5, v in increasing order.
-5, g, v
Let c = -22 + 21.6. Let v be (-262)/804 - (-12)/36. Let z = -529/938 - v. Sort c, 0.4, z in increasing order.
z, c, 0.4
Suppose -5*x - j + 11 = 3*j, -j = 4*x. Let z(m) = -5*m**2 + 1. Let v be z(x). Suppose -5*u + 44 = -4*g + 14, -5*u - 5 = 3*g. Sort g, 1, v.
g, v, 1
Let r(u) = -u**3 - 3*u - 9. Let m be r(0). Sort m, 2, -5, -1 in decreasing order.
2, -1, -5, m
Suppose -51*q + 3*d - 21 = -54*q, -29 = -5*q - 4*d. Let t be (-2)/(-4) + 9/(-2). Put 2, -2, t, q in descending order.
2, q, -2, t
Let n be (-3)/(-12) - (-46)/8. Let l be (-4)/n + 19/(-3). Put 2/13, 2, l in increasing order.
l, 2/13, 2
Let f = 112 + -198. Let k = f - -85.5. Let r = 1013/11 + -92. Sort k, -2, r in descending order.
r, k, -2
Let n be -1 + ((-12)/15)/(-2). Let k = -0.192 + 4.192. Sort n, -3/2, k.
-3/2, n, k
Let z = -9 - -5. Suppose -66 + 50 = 8*c. Sort c, -21, z in descending order.
c, z, -21
Let r be (-2)/6 - 49/33. Let a = -2 - r. Let w = 134 - 139. Put w, 2/3, a in descending order.
2/3, a, w
Let b = -2769/4 + 693. Sort 3/5, 1/2, b, 0.1 in increasing order.
0.1, 1/2, 3/5, b
Let g = -100.8 + 106.8. Put 4, 0.3, 1/8, g in ascending order.
1/8, 0.3, 4, g
Let l = -5.4 - -0.4. Let b be (-150)/(-250)*((-10)/(-6) - 1). Put b, -2/9, -2, l in decreasing order.
b, -2/9, -2, l
Let o = 7 - 0. Suppose -10*t = o + 3. Suppose -d - 3*w + 4 = 0, -d + w = -2*d - 2. Sort d, 1, t.
d, t, 1
Suppose 0 = -5*b + 14*b + 45. Let y = -13 + 28. Sort y, 0, b.
b, 0, y
Let k = 34 + -34. Let f = -22 - -27. Sort f, 4, k in descending order.
f, 4, k
Let c = -244/9 + 2738/99. Suppose -4 = a + 3*j, 2*a + 5 = -j - 3. Sort 5, c, 0.4, a.
a, 0.4, c, 5
Let u be (-8)/44 - 171/(-33). Suppose 0 = -u*n - 6*l + l - 45, -4*l = n + 21. Put 1/2, -1, n in ascending order.
n, -1, 1/2
Let o be 7439/215*(-5 - 0). Sort o, 3, 5 in decreasing order.
5, 3, o
Suppose 3*o - 12*o = 432. Let r = 53 + o. Sort 3, -1, r, 4 in increasing order.
-1, 3, 4, r
Suppose -3*b - q + 2 = -b, -2 = -4*b - 3*q. Let t be 2 - -1*(0 + 1). Suppose 2*m + 35 = -37 + 64. Sort b, m, t in decreasing order.
t, b, m
Suppose -3*g + 7*g = 0. Let v = -91/249 - -13408/65985. Let d = -2/53 + v. Sort g, 0.5, d in ascending order.
d, g, 0.5
Let f(p) = p**2 + 5*p - 9. Let w be f(3). Suppose -6*k = w + 9. Sort k, 0, -2, 1 in decreasing order.
1, 0, -2, k
Let d = -7 + 5.74. Let i = -1.23 - d. Put -0.5, i, 1/6 in descending order.
1/6, i, -0.5
Let s(m) = 3*m + 3. Let d be s(0). Let b be (-6)/4*(d - 95/30). Put 0.5, b, -1, -0.1 in decreasing order.
0.5, b, -0.1, -1
Suppose -924*o = -927*o + 21. Put o, -5, -1, 4 in ascending order.
-5, -1, 4, o
Let h = 436 + -2182/5. Sort -12, h, -5 in decreasing order.
h, -5, -12
Let z be (-274)/(-30) + (-2)/15. Let d(j) = j + 15. Let x be d(-7). Let q = x - 8. Sort -3, z, q.
-3, q, z
Let w = 57 + -48. Suppose v + 3*j = 1, 5 = v - 4*j - 3. Suppose -k - w = -v*k. Put -5, 5, k in ascending order.
-5, k, 5
Let t = 53 + -52.9. Let l = 22.52 - 0.52. Let j = -21 + l. Sort t, j, 2/19 in ascending order.
t, 2/19, j
Let k = -25 - 17. Let v = k - -39. Sort 1, v, -0.3, 1/2 in increasing order.
v, -0.3, 1/2, 1
Let f = 38 - 100. Let i = -36 - f. Let k = -24 + i. Sort 4, k, 5 in ascending order