t a = u + -0.2. Let y = 0.5 + a. Sort 1/4, y, 4 in descending order.
4, 1/4, y
Let f be -3 - -2*(-1 + 2). Put 1, -10, f in ascending order.
-10, f, 1
Let m = -0.07 + 0.13. Let w = m - 0.46. Let t = 2.5 - 0.5. Sort t, -3, w in descending order.
t, w, -3
Let l = -10 - -11. Let t = l + 3. Sort t, -1/3, 0 in increasing order.
-1/3, 0, t
Suppose 2*i = -2*i + 16. Let u = i - 7. Suppose -h = -5 + 2. Sort h, -2, u in decreasing order.
h, -2, u
Let p = -4 + 2. Sort p, 1, 5 in increasing order.
p, 1, 5
Suppose -1 = 2*y - 5. Suppose 3*f - 4 = -b, 0 = y*f + 3*f + 3*b. Sort -2/9, f, 1 in descending order.
f, 1, -2/9
Suppose 2*c - 25 = -5*m - 7, 3*m - 3*c = -6. Sort m, -7, -2.
-7, -2, m
Suppose n + 8 = 2. Sort -5, 2, n.
n, -5, 2
Let c = -25 + 12. Let b(i) = i - 3. Let j be b(-2). Put c, j, 0 in descending order.
0, j, c
Let y = -13 + 9. Let p = 611647 - 397570689/650. Let l = 3/50 + p. Put 1/2, l, y in ascending order.
y, l, 1/2
Let o = -2.9 - 0.1. Let u = o + 6. Put -1, u, -3 in decreasing order.
u, -1, -3
Let n be 3 - 12 - (-1 - 1). Put 5, -4, n in ascending order.
n, -4, 5
Let p = -6.4 - -7. Let q = 20.6 + -18. Let j = q - p. Put 0.4, 0.1, j in ascending order.
0.1, 0.4, j
Suppose 6 = 3*w + 3. Let d = 72 - 362/5. Sort 0.1, w, d in decreasing order.
w, 0.1, d
Let h be ((-3)/7)/(21/14). Put h, 0.2, 0.5 in descending order.
0.5, 0.2, h
Let v be (40/(-5) - -6)/(-5). Let t = -116 - -2077/18. Let p = t - -1/9. Sort 5, p, v.
p, v, 5
Suppose -5*x - 25 = -20. Suppose 0 = -4*y + 8 + 8. Let i be y/6*(-3)/(-2). Put i, x, 4 in increasing order.
x, i, 4
Let k(p) = p + 10. Let i be k(-5). Suppose -8*o = -6*o. Sort i, 3, o.
o, 3, i
Let j be 39/(-60) - 2/(-5). Sort j, 0, -4/7 in increasing order.
-4/7, j, 0
Suppose -s - 1 = 2*l + 8, 4*l - 4*s = 12. Let t be (-50)/(-8) + (-4)/16. Suppose -3*r + t = -0*r. Sort l, 4, r in ascending order.
l, r, 4
Let u = 34 + -8. Let w = u - 23. Put 5, w, -0.4 in descending order.
5, w, -0.4
Let g = 254 - 257. Suppose 0 = -0*r + 2*r - 30. Suppose r = 3*b - 0*b. Put -1, g, b in descending order.
b, -1, g
Let m(w) = 2*w**2 - 12*w + 6. Let u be m(5). Sort -3, -23, u, 3 in decreasing order.
3, -3, u, -23
Suppose 0*f = 4*a - 3*f + 3, -3 = f. Let z be (-1)/((-2)/8 + 0). Let k be 5/((-5)/2) + -2. Put z, k, a in descending order.
z, a, k
Let v(y) = 3*y**3 - 2*y**2 + y. Let t be v(1). Let x = -61/12 - -23/4. Sort t, -0.5, x in decreasing order.
t, x, -0.5
Let r = 0.05 + 0.15. Put r, -0.3, -0.5 in decreasing order.
r, -0.3, -0.5
Let m = 25/6 + -119/30. Let c(z) = z**3 - 6*z**2 - 8*z + 8. Let q be c(7). Put 3/4, q, m in decreasing order.
q, 3/4, m
Let c = -51 + 50. Put 7, c, -2, 1 in increasing order.
-2, c, 1, 7
Let y = -3.6 + 0.6. Let o(i) = 3*i - 16. Let d be o(7). Sort 2, y, d in descending order.
d, 2, y
Let q = -6 + 4. Let v = q - -2. Suppose 3*h - 2 - 16 = 3*t, 0 = 5*h - 3*t - 20. Sort v, -0.4, h in decreasing order.
h, v, -0.4
Let m = 0.34 + -0.04. Let f = 0 + -0.1. Let r = f - 0.1. Sort r, m, 1/5 in decreasing order.
m, 1/5, r
Let v = 21 - 20.9. Let q = -3.7 + -1.3. Put v, 3, q in decreasing order.
3, v, q
Suppose 5*d - s - 79 = 0, d + 4*s = 2*s + 7. Suppose d = 3*t, -o + 8 + 3 = t. Let j be 7/o - 2/4. Put -0.5, j, -1/6 in ascending order.
-0.5, -1/6, j
Let j = 10.1 - 10.1. Sort -70, 5, j.
-70, j, 5
Let n = 6 + -6. Sort 4, 3, n in ascending order.
n, 3, 4
Let h = -22 + 17. Put 34, 2, -4, h in decreasing order.
34, 2, -4, h
Let s be (2/(-6) + (-5)/(-15))/(-3). Sort s, 4, -5, 2 in ascending order.
-5, s, 2, 4
Let a = 10 + -6. Let u = -9 + a. Put u, 0.4, 5/3 in descending order.
5/3, 0.4, u
Let c = 104 + -522/5. Let x(y) = y**2 + 8*y - 15. Let f(t) = t**2 + 8*t - 14. Let l(w) = 5*f(w) - 4*x(w). Let z be l(-9). Sort z, c, 3.
z, c, 3
Let g = 0.051 - 2.051. Sort 1.4, 0, g, -4 in descending order.
1.4, 0, g, -4
Let l(r) = 3*r**2 - r + 3*r - 5*r - 5. Let c be l(6). Let z be 4/10 - c/25. Put -4, -1, z in descending order.
-1, z, -4
Let k = -196 + 198. Let o = -3983/3 - -1315. Let i = o - -12. Sort i, k, 6 in decreasing order.
6, k, i
Suppose -5*x - 10 = 15. Put x, -3, 0 in decreasing order.
0, -3, x
Suppose 4*t + 5 = -3*m, 1 = -2*t - m - 2. Put t, 2, -10 in descending order.
2, t, -10
Let a(r) = r**3 + 7*r**2 + 5*r - 4. Let k be a(-6). Let b = k - 1. Suppose b = x - 3. Sort x, 1/6, -0.2.
-0.2, 1/6, x
Suppose 2*s = -4*a, -s + a = 4*a + 2. Let j be s/18 - 2/9. Put j, -4, -3 in decreasing order.
j, -3, -4
Suppose 3*t = 5*l + 40, -5*l + 35 = 4*t - 8*l. Sort -1, t, -16 in ascending order.
-16, -1, t
Suppose -v + 5 = -3. Put -2, -1, -2/15, v in decreasing order.
v, -2/15, -1, -2
Let w(n) = -11*n**2 + 1. Suppose u + 4 = 3. Let d be w(u). Sort 5, -3, d in decreasing order.
5, -3, d
Let s = -21 + 25. Sort s, 0, -3.
-3, 0, s
Let a = -15 - -15. Put -5, a, 5 in decreasing order.
5, a, -5
Suppose -f = -5*z - 19, 10 = 5*z + 25. Sort 5, 2, f, -3 in decreasing order.
5, f, 2, -3
Let h be (-12)/24 + (-11)/(-2). Sort 3, h, 1 in decreasing order.
h, 3, 1
Let g = 9 + -9.02. Sort -2/23, -1, 5/2, g in ascending order.
-1, -2/23, g, 5/2
Let s be (0 - (-2)/(-2))*3. Suppose q + 18 = 5*q - 3*r, -5*r = 10. Put s, q, 2 in increasing order.
s, 2, q
Let p = -0.05 - -3.05. Let h = 0 + -3. Suppose y - 5 + 3 = 0. Put h, p, y in decreasing order.
p, y, h
Let o be (3/(9/(-24)))/2. Suppose 2*j = -5*a - 15, 0*a - 30 = 5*a + 5*j. Sort 2, a, o in increasing order.
o, a, 2
Let y = 8 + -10. Sort -1, y, 5 in descending order.
5, -1, y
Let g = -1 + 1.06. Let f = -11 + 8. Put g, -0.3, f in increasing order.
f, -0.3, g
Suppose -2*q + y + 4*y + 21 = 0, 4*y = -3*q - 26. Put 2, 3, q in decreasing order.
3, 2, q
Let x = 20 + -19. Suppose -2*u - 2*u = 0. Let s = u - -2. Put x, s, -5 in ascending order.
-5, x, s
Let r(o) = o + 13. Let t be r(-9). Suppose 0 = -l - 3*x + 27, t*x - 65 = -3*l - 9. Let g be (8/l)/(22/(-6)). Put g, 4, -0.2 in descending order.
4, g, -0.2
Let k(x) = -x**2 + 7*x + 2. Let g be k(6). Put g, 5, 3 in ascending order.
3, 5, g
Let s = -0.1 + 0.1. Suppose 3*k = 13*k - 30. Sort k, s, 0.3 in ascending order.
s, 0.3, k
Let l = -19.2 - -19. Put l, 4, -0.5, -7 in descending order.
4, l, -0.5, -7
Suppose 0 = -7*m + 4*m + 18. Suppose 3 + 10 = -g + 4*v, -2*v + 24 = -4*g. Sort m, g, -3 in decreasing order.
m, -3, g
Let k = -3.3 - 0.7. Sort 0.1, 2/17, k in decreasing order.
2/17, 0.1, k
Suppose 12 = -3*q + 27. Let t = -1 + 3. Suppose -15 = i + t*i. Sort -2, i, q in descending order.
q, -2, i
Suppose -6*q = 2*q - 16. Sort -2, 46, q in increasing order.
-2, q, 46
Suppose -4*p - 53 + 65 = 0. Put 4, p, 1, 6 in decreasing order.
6, 4, p, 1
Suppose -4*z + 3*z - 5 = 0. Let w = -0.07 - -2.07. Put -0.4, z, w in decreasing order.
w, -0.4, z
Let n(t) = t**2 - 4*t + 3. Let g be n(4). Let c be 8/6 - 4/(-6). Put g, 5, c in increasing order.
c, g, 5
Let s = -9.85 + 10. Let z = 0.07 - s. Let j = -4.08 - z. Sort 3, j, 0.4 in decreasing order.
3, 0.4, j
Suppose 3*d - 8 = -2. Suppose d*s = s. Put -4, -3, s in descending order.
s, -3, -4
Let i be (-7 + 5)*1/(-6). Sort i, 0.2, -2/7 in descending order.
i, 0.2, -2/7
Let h = -0.17 + 5.17. Sort h, -6, -1/3 in increasing order.
-6, -1/3, h
Let g = 0.3 - 0.18. Put -1, g, 0.3 in descending order.
0.3, g, -1
Let k be (12/10)/((-6)/(-20)). Let f = 8 - k. Sort -2, -0.2, f in decreasing order.
f, -0.2, -2
Suppose 0 = y - 5*j - 23, 3*y + 0*j - 5*j = 19. Let a be ((-2)/(0 + y))/1. Put 1/6, -2, a in increasing order.
-2, 1/6, a
Let z = 1 + -2. Let p be 65/10*12/39. Sort p, z, -5 in ascending order.
-5, z, p
Suppose -8*c = 3*r - 3*c + 11, 4*r + 5*c + 8 = 0. Suppose 0 = -r*f - 2*p, 5*f + 10*p = 5*p + 5. Let i be 1 - f/(2/(-1)). Put 5, -5, i in descending order.
5, i, -5
Let u be -6 + 7/(14/8) + -4. Let o(v) = -v**3 + 4*v**2 + 6*v - 1. Let t be o(5). Put t, -4, u in ascending order.
u, -4, t
Let h(u) = 3*u - 9. Let i(n) = 8*n - 28. Let s(y) = -11*h(y) + 4*i(y). Let b be s(-11). Put -3, b, -4 in descending order.
b, -3, -4
Suppose 2 = 2*h - 2. Let i(s) = 5*s - 3. Let b(j) = -10*j + 7. Let d(t) = 2*b(t) + 5*i(t). Let n be d(1). Sort n, h, -1 in increasing order.
-1, h, n
Let r be (-1)/9*(-48)/32. Put 1, -0.3, r, -4 in decreasing order.
1, r, -0.3, -4
Let j = 145 + -147. Sort -5, 1, j.
-5, j, 1
Let s = 109 + -433/4. Let j be ((-12)/18)/(2/(-9)). Suppose j*n + 2 = n. Sort s, -4