t be y(-2). Let c be 1 + 3 + t/1. Sort c, 1, 0 in increasing order.
0, 1, c
Suppose -4*q = -n - 22, 0*q + 2*q - 4*n = 18. Suppose -2*b + q*b - 15 = 0. Let p be (-6)/9 + (-5)/(-3). Put p, b, -3 in descending order.
b, p, -3
Let g = -11 + 13. Let l = -0.07 - 4.93. Put 0.2, g, l in increasing order.
l, 0.2, g
Let m = -2 - 0. Let d = -50 + 47. Sort d, m, 0 in decreasing order.
0, m, d
Suppose -5*g + 2*g + 3 = i, -4*g - 1 = 3*i. Put 25, 3, i in ascending order.
i, 3, 25
Let c = 21 - 20.55. Let t = 0.05 - c. Sort 1/2, t, 5 in descending order.
5, 1/2, t
Suppose -12 = 5*n + 8. Sort -2, n, 5, -1 in ascending order.
n, -2, -1, 5
Let k = -77 + 77.2. Sort -1, k, 9.
-1, k, 9
Suppose -5 = -7*h + 2*h. Let f(x) = -x + 1. Let j be f(h). Sort j, -3, -4 in decreasing order.
j, -3, -4
Let y be (0 - -2)/28*-4. Sort 2, y, -4 in decreasing order.
2, y, -4
Let c = -8 - -11. Suppose 3*y - c*a - 23 = 2*y, -4*y = 5*a - 109. Let m be (-4)/18 - y/45. Put 2/5, 0, m in increasing order.
m, 0, 2/5
Let c be (2 + 1)*4*(-5)/15. Put c, -3, 1, 16 in descending order.
16, 1, -3, c
Suppose 5*b - 25 = -0*b. Let j = b + 0. Let x be 2/4*(-8)/(-4). Sort x, j, 3 in decreasing order.
j, 3, x
Let k = -0.15 + 6.15. Let o = -5 + k. Let l = 1 + o. Put -0.1, l, -2/11 in descending order.
l, -0.1, -2/11
Let b = 5436/19 + -286. Sort b, -3, 0.2.
-3, b, 0.2
Suppose 5*o + 0 = 5. Suppose b - 1 = o. Put -5, 0, b in increasing order.
-5, 0, b
Let c(z) = -2*z - 9. Let q be (9/(-4))/((-18)/(-48)). Let x be c(q). Put 1, 5, x in increasing order.
1, x, 5
Let a = 0 - 0.2. Let m be ((-8)/(-12)*-1)/(26/6). Let h be 4/(-14)*3/6. Sort m, a, h in increasing order.
a, m, h
Suppose -3*p + 5*a = -20, 4*p - 2*a + 8 = -4*a. Suppose p*w = 3*w. Put -3, 2/3, w in descending order.
2/3, w, -3
Suppose 3*z - 4 = -z. Let r(o) = -o**2 - o + 1. Let b be r(0). Let s = b + z. Put 5, -3, s in descending order.
5, s, -3
Suppose -25 = -4*b + 5*t + 19, -22 = -2*b - 5*t. Sort 1, -4, 5, b in decreasing order.
b, 5, 1, -4
Let b be ((-2)/6)/(46/(-552)). Suppose 0*w + 2 = 2*w. Put b, w, 0 in descending order.
b, w, 0
Let z = 21508333/12 - 1793430. Let n = 1068 + z. Let b = 1/4 + n. Put b, -3, -1/5 in increasing order.
-3, b, -1/5
Let x = -3 - 2. Let p = -721 + 725. Sort x, 1, p.
x, 1, p
Let r = 0.28 + -0.08. Let f = -2 - -1. Put r, f, -4/3 in ascending order.
-4/3, f, r
Suppose 4*i + 14 = -c, -10 = 5*i + 3*c + 2*c. Sort 3, i, 5 in ascending order.
i, 3, 5
Let i = -6 + 4. Let m = -485 + 488. Put -4, m, i in descending order.
m, i, -4
Let z be (-4)/8*2*0. Sort -17, z, 3.
-17, z, 3
Let k = 9 + -13. Let p(m) = m**2 + 4*m**2 + 2 - 3*m**2 + 2*m - m**2. Let n be p(-3). Put n, -2, k in ascending order.
k, -2, n
Let h(u) = 2*u**2 + 15*u - 22. Let q be h(-9). Let w be 2*(2 + 1 + -1). Sort 2, w, q.
2, w, q
Let n(p) = -p**3 + p + 1. Let z be n(-1). Put -6, 4, z in descending order.
4, z, -6
Let x(c) be the second derivative of c**4/12 - 2*c**3/3 - 7*c**2/2 + c. Let u be x(6). Put 2/11, -0.2, u in increasing order.
-0.2, 2/11, u
Let l be 25/(-2)*(-12)/15. Suppose -j - 2 = 2*o, 0 = 5*j - o - l + 31. Let v be 6/j*2/3. Put -0.3, v, -5 in increasing order.
-5, v, -0.3
Let b = -51/2 + 25. Put 0, -0.03, b, -0.3 in ascending order.
b, -0.3, -0.03, 0
Let i be (17/34)/((0 - -1)/(-8)). Sort 4, 3, 0.3, i.
i, 0.3, 3, 4
Let j = -115 - -113. Put j, 1, -1/4 in decreasing order.
1, -1/4, j
Let t = 1 - -1. Suppose 4*n + 3 = -5, -5*n + 10 = -4*i. Put 3, i, t in decreasing order.
3, t, i
Let o = -91 - -87. Put -3, -7, 5, o in decreasing order.
5, -3, o, -7
Let j be 4494/15 - (-4)/10. Suppose 4*w = -w, j = 5*y + 3*w. Let f be (-33)/y - (-3)/(-12). Put 1, f, 3/8 in descending order.
1, 3/8, f
Let d be 3 - 6 - (-2 - -1). Sort 2, -4, d, -5 in decreasing order.
2, d, -4, -5
Suppose 3*t - 16 = -4*i - 6, 20 = -4*t + 3*i. Suppose -4 = -2*d + d. Let p = d + t. Sort 0, 5, p.
0, p, 5
Let m(l) = 4*l - 3. Let r be m(2). Suppose -20 = -4*o, 4*o = 5*q + r*o - 25. Suppose -4*n + 32 = n + 4*c, 0 = -q*c + 12. Sort n, 0, -4 in ascending order.
-4, 0, n
Suppose j + 2*j - 6 = 0. Suppose 0 = j*t - 10, 3*t - t = a + 11. Put 0, -5, a in decreasing order.
0, a, -5
Let d be 8/20 + 13/(-20). Let u = 2/15 + 29/120. Let y = 67 + -67.5. Put y, d, u in descending order.
u, d, y
Let x be (1 + 9)*(-52)/(-8). Let w = x + -717/11. Sort 3/5, w, 2.
w, 3/5, 2
Let q = 19.3 - 19. Sort -8, q, -0.5 in increasing order.
-8, -0.5, q
Let j be -8 - (-12)/3 - -9. Sort -2, j, -22 in decreasing order.
j, -2, -22
Suppose -2*c - c = -12. Suppose -1 = t + c*n, -4*t - n = n - 10. Put t, -5, 4 in descending order.
4, t, -5
Let d = 0.36 + -0.76. Sort d, -26, -1/4 in ascending order.
-26, d, -1/4
Let j be (1 - 3) + (-12)/(-2). Suppose -4 = j*v - 0. Let y = 65 - 63. Sort v, y, -3 in decreasing order.
y, v, -3
Let x(l) = -l + 16. Let y be x(0). Suppose 5*a - 2*b - y = 2*b, -4*a + b + 15 = 0. Sort 0, a, -7 in ascending order.
-7, 0, a
Let u be (2 - -1)/(18/12). Put u, -4, 5 in descending order.
5, u, -4
Let q = 27 - 26.5. Let n = -2 + 2.2. Let s = -0.45 + 0.05. Sort s, q, n.
s, n, q
Let u = 4 - 2. Suppose -11 = -3*q - 2. Suppose -2*j + q*g = -j - 3, -1 = -4*j + g. Sort -5, u, j in descending order.
u, j, -5
Let w = -63 + 53. Sort w, 4, -1 in decreasing order.
4, -1, w
Suppose 0*u + 5*x - 27 = -2*u, -u - 4*x = -18. Sort 4, 1, u.
1, 4, u
Let x be (4/(-1) - -2)*1. Sort 5, 0, x in descending order.
5, 0, x
Let v = 4 + -4.3. Let r be 50/(-12) + (-4)/(-24). Let b(i) = -2*i - 4. Let o be b(r). Put v, o, -1 in increasing order.
-1, v, o
Suppose 4*r + 17 = -2*l + 7, 4*r = 4*l + 20. Sort 1, 4, -3, l.
l, -3, 1, 4
Let g = -8 - -7.2. Let k = g - -1. Let m = 0.9 + -1.3. Sort m, k, 2 in decreasing order.
2, k, m
Let o(m) = -m + 6. Let z(l) = -3*l + 19. Let v(t) = 8*o(t) - 3*z(t). Let a be v(11). Sort -1, -5, a.
-5, -1, a
Let w = -8 + 4. Suppose b + 5*p = 25, -4*b - 2*p - 3*p = -40. Put w, b, -1 in increasing order.
w, -1, b
Let a = -18694/3 + 6169. Let g = 63 + a. Put g, -2, 3 in descending order.
3, g, -2
Let h be 2 - (-3 + 0 - 29). Let g = 16 - 22. Let v be 4/g - h/(-6). Sort 0, -4, v in decreasing order.
v, 0, -4
Let j(q) = -5*q**3 - q**2 + q. Let w be j(1). Let s = -126 + 131. Let m = -29/6 - -5. Put w, s, m in descending order.
s, m, w
Let f(m) = m**3 + 4*m**2 - m - 1. Let o be f(-4). Let i(x) = -4*x**2 - 2*x + 1. Let q be i(1). Put q, -3, o in descending order.
o, -3, q
Let s = -8.07 + 0.07. Let h = -8.4 - s. Sort h, -2/17, -0.5 in descending order.
-2/17, h, -0.5
Let q = 8 + -5. Suppose -m + 0*d = -d - 5, 0 = 5*m + 5*d + 15. Suppose 2 = -o + u + m, -2*u = 2*o - 18. Sort -1, o, q in ascending order.
-1, q, o
Let g = 69 + -72. Put g, -0.07, 3, 1 in descending order.
3, 1, -0.07, g
Let j = 1.98 - -0.02. Let p = 1.7 - j. Sort 1, p, -3 in ascending order.
-3, p, 1
Let a = -0.053 + -6.197. Let p = a - -0.25. Put p, -2, -0.1 in ascending order.
p, -2, -0.1
Let a = -1.95 - 0.05. Let c = a + 2.6. Let l = 0.4 - c. Sort 2/13, l, -2 in descending order.
2/13, l, -2
Let o = 4 - -10. Let g be 3/(-5) + o/(-35). Sort 5, g, -1/7 in decreasing order.
5, -1/7, g
Let g = 0.181 + 0.019. Sort -1, g, 1, 0 in ascending order.
-1, 0, g, 1
Let y = 0.6 - 3.4. Let m = y - -3. Let x = m - 0.2. Put 1, -4, x in descending order.
1, x, -4
Let f = -1.05 + 0.05. Let d = -1.1 + -2.9. Put d, f, -0.5 in descending order.
-0.5, f, d
Let p(k) = k**3 + 3*k**2 - 3*k + 2. Let d be p(-4). Let i be 30/(-14) - d/1. Let t = -0.34 - -1.34. Sort i, t, 3 in increasing order.
i, t, 3
Let o = 13 - 11. Sort -0.3, o, -0.9 in ascending order.
-0.9, -0.3, o
Let r = -2 - -1. Let a = -0.07 + -0.13. Let v = 3.2 + a. Put -1/2, r, v in descending order.
v, -1/2, r
Let s = 1/89 + 78/979. Put -0.01, s, -3/4 in ascending order.
-3/4, -0.01, s
Suppose 3*p = -0*p - 3. Let w be 2/((-16)/(-20))*-2. Sort w, 5, p.
w, p, 5
Let n(w) = 3 - 2 - 1 - w. Let d be n(-4). Suppose -16 = 2*f - a - a, -2*f - 4*a + 2 = 0. Sort d, f, 0 in decreasing order.
d, 0, f
Let b be ((-10)/(-25))/((-6)/(-15)). Sort -3, 4, b.
-3, b, 4
Let w(s) = -3*s - 1. Let g be w(0). Put g, -4, 5, -3 in decreasing order.
5, g, -3, -4
Let a(g) = 2*g + 3. Let p be a(-3). Suppose t = -s - s + 5, 5*s - 30 = t. Sort -1, s, p in increasing order.
p, -1, s
Suppose -2*n - 2*r = -4, n + 4*r = 2*r - 1. Let z = 0 + 0. Suppose z = -f + n*f. So