0 = 5*f + 1 + 9. Let q(n) = -4*n - 12. Let c be q(f). Sort c, a, -2 in ascending order.
c, -2, a
Let d = 503 - 493. Sort 2, -1, d in decreasing order.
d, 2, -1
Let q = -13 - -68/5. Let m = 0.5 + 0.5. Let t = m + -1.4. Put 4, q, t in descending order.
4, q, t
Let t = -0.13 - -0.13. Let u = -0.193 - 2.807. Sort u, -2, -5, t in decreasing order.
t, -2, u, -5
Let m = 20479016/45963 + 6/5107. Let n = m + -446. Sort -0.4, n, -8 in decreasing order.
-0.4, n, -8
Let h = 2.39 + 2.61. Put 1, h, -1/4, -9 in decreasing order.
h, 1, -1/4, -9
Let r(f) = f**3 + 30*f**2 - 30*f + 33. Let g be r(-31). Sort 53, g, 3 in decreasing order.
53, 3, g
Let p = 204/5 + -41. Let l = 2 + -1.6. Let m = 0.9 - l. Sort m, p, 0.4.
p, 0.4, m
Suppose 0 = 5*a - 2*a. Suppose -y - 11 = -4*r, 2*y - 6 = 3*r - 2*r. Suppose 0 = -0*b - 3*b + r*h + 21, -4*h = -5*b + 27. Sort b, a, -6 in decreasing order.
b, a, -6
Suppose -33*b + 56*b = -23. Sort -5, b, 2/3, 4 in decreasing order.
4, 2/3, b, -5
Suppose 103*r - 111*r = -16. Put 3, r, -1, -5 in descending order.
3, r, -1, -5
Let z = 5250 - 5248. Let u = 4 - 3. Put z, 11, u in decreasing order.
11, z, u
Let b(c) = c**3 - c**2 - 2*c + 2. Let h be b(2). Suppose -3 - h = 5*m. Let i(a) = a**3 - 3*a**2 - 14*a - 21. Let k be i(6). Sort k, 5, m in decreasing order.
5, k, m
Let q = -17 + 21. Let f = 48 - 46. Put 5, f, q, -2 in descending order.
5, q, f, -2
Let w be ((-9)/3)/(6/(-4)). Suppose 2*a - 16 = -w*a. Sort 2, -8, a, -3.
-8, -3, 2, a
Let n = -166.5 - -166. Put 3, n, 2, 0.3 in descending order.
3, 2, 0.3, n
Let a(i) = -i**3 - 98*i**2 + 303*i - 1. Let u be a(-101). Let f = 15 + -11. Sort u, -2/7, -2, f in decreasing order.
f, -2/7, u, -2
Let j = 196 + -31. Let b = j - 98. Put b, -0.5, -0.1 in decreasing order.
b, -0.1, -0.5
Let y = -21 + 21.6. Let h = -39 + 35.6. Let r = h - y. Put 0, 0.2, r in increasing order.
r, 0, 0.2
Suppose 4*t = 14 + 2. Suppose -3*i - 2 = -4*i. Suppose 5*r + 3 = -2*o, -5*o + i*o - 2 = 5*r. Put 2, t, o in ascending order.
o, 2, t
Let h = -1 + 0. Let p = 0.25 - 7.25. Let v be ((-18)/30)/(6 - (-30)/(-4)). Sort p, v, h in decreasing order.
v, h, p
Suppose 0 = -s - 2*r + 25 - 217, 0 = -5*s + 3*r - 986. Sort s, 2, 0 in descending order.
2, 0, s
Let q = 1467 - 1360. Put 0, q, 5 in ascending order.
0, 5, q
Let p(j) = -j**3 + 15*j**2 + 38*j - 75. Let n be p(17). Sort n, -8, -1 in decreasing order.
-1, n, -8
Let l(w) = w**2 + 1. Let x be l(2). Let y(q) = q**2 - 6*q + 3. Let n = 9 + -4. Let b be y(n). Sort 0, x, b.
b, 0, x
Let k be 2/(-11) - 168/44. Let n = 15 - 11. Suppose 3*u + 3*q + n + 8 = 0, 17 = -4*u - 5*q. Put k, u, 0 in decreasing order.
0, u, k
Let d = 1447 + -13003/9. Let p = d + -107/36. Suppose 2*l = -l. Sort l, p, 3/2 in descending order.
3/2, l, p
Let j = 0.969 - -0.031. Let p be ((-5)/(-2))/((-2)/(-36)). Let g = p - 359/8. Sort g, j, 0.3 in descending order.
j, 0.3, g
Let o = -0.4 - 0. Suppose 24*i - 1 = 95. Let v = -0.2 - 0.8. Sort v, i, o in decreasing order.
i, o, v
Let s = 1.2 + -1. Let c = s + 0.2. Let k = -1514/7 - -216. Sort k, c, -4 in descending order.
c, k, -4
Let j = -55 - -274/5. Suppose 10 = 2*h - 3*h - 3*u, -12 = 4*h + 5*u. Put j, h, 3 in ascending order.
j, h, 3
Let q = 34 - 100/3. Suppose -4*o = 2*a - 4*a - 14, 4*o - 4*a = 16. Put 0.3, q, o, 6 in ascending order.
0.3, q, o, 6
Suppose 0 = 5*c - 7*d + 3*d + 32, 2*d = -c + 2. Put -5, c, 5, 9 in descending order.
9, 5, c, -5
Let i be (2 - (-10)/(-6)) + (-1860)/45. Put 4, -5, i in descending order.
4, -5, i
Let r = -14 + 9. Let h = 2254 + -2258. Sort -2/23, h, -0.5, r in descending order.
-2/23, -0.5, h, r
Let k = 7.1 - -70.9. Let i = 78.5 - k. Sort 1, 0.02, 2/7, i.
0.02, 2/7, i, 1
Suppose -5*g = 2*d + 104, -29 - 43 = 4*g - 4*d. Let q be 22/(-5) + 12/g. Put -3, -1, q in ascending order.
q, -3, -1
Let o = -0.703 + -0.227. Let r = o - 0.07. Let a = -1 - -1. Put r, a, 3 in decreasing order.
3, a, r
Let g(p) = 2*p - 1. Let c(x) = -x**2 + x + 1. Let i be c(0). Let k be g(i). Let u = 811 - 809. Put u, k, -1 in increasing order.
-1, k, u
Suppose -19 = 4*u + 5*p, -5*u = 2*p + 3*p + 20. Let c = 1225 - 1229. Put c, 5, u, -5 in increasing order.
-5, c, u, 5
Let c = -1 - -4. Let w = 80 - 67. Let f be (-693)/315 - (-2)/10. Put c, f, w in increasing order.
f, c, w
Let g = -1.29 - 0.11. Let t = g + 9.4. Let k = 10 - t. Put 2/9, 1, k in decreasing order.
k, 1, 2/9
Let f = -179 + 178.027. Let l = f - 0.027. Let o = 2.7 - -0.3. Put 4, l, o in decreasing order.
4, o, l
Suppose -2*x + 2*w = 0, 0 = x + 4*w - 6*w - 1. Put x, -1/2, -0.1, 0 in descending order.
0, -0.1, -1/2, x
Let r = -13.3 - -9.3. Let i = 1 + -3.5. Let s = i + 3. Put r, s, 2/11 in ascending order.
r, 2/11, s
Let y be 4/5 + 272/(-340). Suppose 0*m - 3*m + 51 = 0. Put m, 3, y in increasing order.
y, 3, m
Suppose 0 = 6*s - 2*s - 4*g - 36, 3*g + 19 = s. Suppose -p = p - j - 3, -4*j + 32 = 3*p. Let t be (-1 - p)*2/5. Sort s, t, 6.
t, s, 6
Let s(n) = n**2 - 14*n + 47. Let a be s(7). Sort -3, a, -7, -10 in ascending order.
-10, -7, -3, a
Suppose 3*a + w - 168 = 0, -3*a - 2*a - 5*w + 280 = 0. Let v be (32/a)/(20/14). Let f = -0.88 + 0.08. Sort f, v, -4 in decreasing order.
v, f, -4
Suppose -52 = 7*j - 66. Sort j, -45, 1.
-45, 1, j
Suppose 7*r - 54 + 82 = 0. Suppose -2*j = j - 30. Put j, r, 0 in descending order.
j, 0, r
Let m = 12.811 - 0.011. Let s = m + -12.7. Put 0, s, -0.3 in decreasing order.
s, 0, -0.3
Let y = -45 - -44.92. Sort 2/19, 3/7, y in descending order.
3/7, 2/19, y
Let y = 7.7 + -8.21. Let p = y - -3.51. Let z = -164 + 823/5. Sort p, z, 2 in decreasing order.
p, 2, z
Let x = 0.09 + -4.09. Let u = 47 - 162. Let m = -109 - u. Sort x, 4, m.
x, 4, m
Suppose -3*x + 18*x = -12*x. Let r(j) be the second derivative of j**4/12 + j**3/3 - j**2 - 2*j. Let v be r(-4). Put v, x, -2 in increasing order.
-2, x, v
Suppose 2*y + 2*y - 20 = 0, -2*g - 2*y + 20 = 0. Suppose -2*j + 9 = -g*j. Sort -2, j, 4 in descending order.
4, -2, j
Let m(x) = 2*x - 1. Let b be ((-3)/9)/((-1)/15). Let f be m(b). Sort -2, f, 3.
-2, 3, f
Let t = 59 - 55. Let d be (t/(-15))/((-20)/(-50)). Put -0.4, d, -0.1 in descending order.
-0.1, -0.4, d
Suppose 0 = -4*a + 15 + 9. Let l = 1 - a. Let r(c) = -2*c**2 + c + 2. Let i be r(2). Put i, l, -3 in ascending order.
l, i, -3
Let y = 2/211 - 229/1899. Let b be ((-12)/18)/((-7)/(-3)). Sort b, -0.3, y, -2/15 in decreasing order.
y, -2/15, b, -0.3
Let f be (-11 + 1)/(0 - 2). Let n(t) = -2*t + 15. Let a be n(f). Suppose 0 = -4*s - 4*d - 4, -2*d + a = -3. Sort 3, s, 0.
s, 0, 3
Suppose -96 = -42*a + 39*a. Put -3, a, 0, 1 in decreasing order.
a, 1, 0, -3
Let y = -512 + 526. Sort -5/6, 1/11, y in descending order.
y, 1/11, -5/6
Let h = -1.1 + 1.15. Suppose 47*q = 45*q. Put q, h, -1/8, -1 in descending order.
h, q, -1/8, -1
Let g(m) = -m**2 + 5*m + 80. Let j be g(-8). Sort 4, 5, j in descending order.
5, 4, j
Suppose -84 = 13*r - 19. Let a be (9/(-6))/((-30)/r). Sort 0.4, -0.2, a in increasing order.
a, -0.2, 0.4
Let w(u) = u - 1. Let k(t) = -t**2 + 10*t - 8. Let n(p) = -k(p) + 5*w(p). Let l be n(5). Let v(z) = 3*z - 2. Let g be v(l). Sort 2, g, -3 in ascending order.
-3, 2, g
Let k = -28.9 + 29.9. Sort -2/11, k, 0.02 in increasing order.
-2/11, 0.02, k
Suppose -14 = 5*f - 4. Put 4, 21, -5, f in descending order.
21, 4, f, -5
Suppose -t + 217 = 212. Sort 4, t, -1, 6.
-1, 4, t, 6
Let p be (-29)/((-29)/6) - 2. Put -4, 2, 12, p in descending order.
12, p, 2, -4
Let r be 5 + 2 + 21/(-3). Sort 11, r, -2, 4 in decreasing order.
11, 4, r, -2
Let i be 1/2*(11 + -15). Put -4, i, 9, 5 in decreasing order.
9, 5, i, -4
Suppose 31*u + 120 = 35*u. Let n = u - 31. Sort -3, n, -2 in decreasing order.
n, -2, -3
Suppose 3*n + c = -0*n + 202, 5*n - 346 = 3*c. Let i be (n/12 - 6)/((-1)/3). Put i, -2, -1 in descending order.
i, -1, -2
Let v = -38.3 - -38. Sort -5, v, 0.2 in increasing order.
-5, v, 0.2
Let b = 465 + -464.8. Sort 0, -0.2, b, -1 in increasing order.
-1, -0.2, 0, b
Let l(x) = -x**2 + 6*x - 5. Let n be l(5). Suppose -17 = 6*c + 1. Sort n, 11, c in decreasing order.
11, n, c
Let t = -184 + 212. Sort 0, -4, t.
-4, 0, t
Suppose -8*r - 156 = -21*r. Sort -4, -2, 0, r in increasing order.
-4, -2, 0, r
Let a = -58.1 + 63. Let u = a - 4.8. Sort 1, u, 2.
u, 1, 2
Let y be 10 + 2/(3 - (-44)/(-12)). Let p be (-3)/(y/(-35)*(0 -