t
Suppose 0 = 4*p + 10 + 10. Let b(x) = x**2 + 6*x + 8. Let q be b(-6). Let h = q + -4. Put 2, p, h in increasing order.
p, 2, h
Let a be (-3 + (-1 - -4))/1. Sort -2, -5, a.
-5, -2, a
Let s = -0.9 - -0.9. Let u(f) = -3*f**3 - f**2 + f. Let c be u(1). Let n = c + 2. Sort -2/3, s, n in increasing order.
n, -2/3, s
Let q be (-10)/(-1)*1/(-2). Suppose -2*j - 4 = -10. Put j, q, -4 in descending order.
j, -4, q
Let d be 4/2*((-32)/(-12))/4. Put 7, -0.5, d in increasing order.
-0.5, d, 7
Suppose 0*n - 5*j + 20 = 2*n, 0 = -5*j - 10. Suppose 0 = -5*m + n, -4 = -k - 2*m - 2. Sort k, -2, -1 in ascending order.
k, -2, -1
Let g be 81*-2*(-3)/6. Let y be g/255 - (-1)/(-5). Put 4, -4/7, y in descending order.
4, y, -4/7
Let j = 3 - 3.4. Let y be 2/(-5) + (-6)/60. Sort j, y, -5 in descending order.
j, y, -5
Let i = -2.12 + 0.12. Let g = -0.06 - -0.06. Sort 3, g, i.
i, g, 3
Let b = 61 + -59. Sort b, 2/15, 0, 1 in ascending order.
0, 2/15, 1, b
Suppose r = -r - 14. Let q = 26 - 22. Sort r, q, 0.
r, 0, q
Let w be (-17)/(-22) + 7/(-14). Let x = -41/110 + w. Put 3, x, 12 in increasing order.
x, 3, 12
Let u = -2 - -1. Let j be (-2 + -2)/((-2)/u). Let q(v) = -3*v. Let n be q(-1). Sort j, n, 0.
j, 0, n
Suppose -w + 15 = 17. Sort 0.4, w, 0 in increasing order.
w, 0, 0.4
Let l = -48 - -45. Put 0, -4, -2, l in increasing order.
-4, l, -2, 0
Let b = -10 - -5. Put -3, -1, b in ascending order.
b, -3, -1
Let w = 0 - -3. Let z be (-56)/(-160) + 6/(-10). Let c = 3 + -3. Put c, z, w in descending order.
w, c, z
Let y(i) = -i**2 - 10*i - 14. Let x be y(-6). Let k be (x/4)/(5/10). Sort -5, k, -0.5 in increasing order.
-5, -0.5, k
Suppose 5*d - 14 + 4 = 0. Let f = 1 - 2. Let g = 2 + f. Sort -2/9, d, g in ascending order.
-2/9, g, d
Let a = -3.06 + 0.06. Let f = -0.06 - 4.94. Let x = f + 4.6. Sort x, a, 1/2.
a, x, 1/2
Suppose 2*x = 3*s - 5, -s - 4 - 5 = 2*x. Sort -3, s, 0, 1 in increasing order.
-3, s, 0, 1
Let z = 56 + -61. Let l(k) = 2*k - 1. Let t be l(3). Put z, 1, t in decreasing order.
t, 1, z
Suppose r = -5*v - 7, 0*r + 4*r - 2*v = -6. Sort r, -44, -3 in ascending order.
-44, -3, r
Let g(q) = 2*q**2 - 4*q + 3. Let i be g(2). Let t = -7 - -9. Suppose 2*s + t = -2. Put s, 4, i in decreasing order.
4, i, s
Let h(c) = c**3 - 6*c**2 + 3*c + 6. Let y be h(5). Suppose 3*r = 3*j - j - 10, 2*r + 10 = 2*j. Sort y, j, -3.
y, -3, j
Let v = -13.9 - -2.9. Sort v, 1/3, 4 in decreasing order.
4, 1/3, v
Let l(c) = c**3 - 7*c**2 - c + 10. Let v be l(7). Let y = v + 1. Let b(m) = 4*m**2 - m. Let a be b(-1). Put a, -4, y in descending order.
a, y, -4
Suppose -10*u - 40 = -5*u. Let q = u + 11. Sort q, -6, -5.
-6, -5, q
Let j = 92/5 + -18. Put 1, 0.3, j, -2/11 in ascending order.
-2/11, 0.3, j, 1
Suppose 2*n - 4 = -0. Suppose -3 = n*f - f. Sort -4, f, 4 in decreasing order.
4, f, -4
Let l = -34 + 34.2. Sort l, -2/3, -0.1 in increasing order.
-2/3, -0.1, l
Suppose 5*b + 1 - 7 = -2*z, -b = -3*z + 9. Let s = -7 - -11. Suppose -s = 3*v - v. Sort b, v, -1.
v, -1, b
Let z = -9 + 9. Put z, 5, 3 in ascending order.
z, 3, 5
Let l = -5.6 - -6. Let w = 18 - 16.9. Let r = -6.1 + w. Sort l, r, -1 in ascending order.
r, -1, l
Let y = 25 - 74/3. Let c be ((-1)/(-3))/(8/6). Sort 2, c, y in decreasing order.
2, y, c
Let q(k) = -2*k - 5. Let x be q(-4). Suppose 3*t - 3*v - 11 = 10, -2*v = -t + 9. Let s be (2 - 1)/(6 - t). Put x, s, -4 in ascending order.
-4, s, x
Let q = 0.08 + 4.92. Let r = -40 + 44. Put 0.4, r, q in descending order.
q, r, 0.4
Suppose l = 5*c + 5, l - 5 = -5*c + 4*l. Let a = -8 + 3. Sort a, c, -1 in increasing order.
a, c, -1
Let i be 1 - ((3 - 5) + -1). Let x = -6 + i. Let z be 0*(-1)/((-4)/(-2)). Sort x, z, 5 in descending order.
5, z, x
Let q = 89 + -89. Put 3, q, -1, -3 in decreasing order.
3, q, -1, -3
Let o = -97 - -292/3. Sort 0, o, 5, 3/7 in descending order.
5, 3/7, o, 0
Let n be (-4)/(-10) + (-3)/(-5). Suppose 3*o - 27 = -3*g, g = 5*o - 4*g - 5. Let z be (1 - -7)*(-2)/(-4). Sort o, z, n.
n, z, o
Let g be (-16)/(-40)*(-20)/(-2). Suppose 5*l - g*k + 13 = 0, -l - 2*k = k - 5. Sort l, 3, 5 in descending order.
5, 3, l
Let b = -0.9 - -0.5. Sort b, 2/3, -4 in increasing order.
-4, b, 2/3
Let x = 11 - 21/2. Sort x, -2/39, 0.2.
-2/39, 0.2, x
Suppose 4*q + 2*f = 3*q - 1, 5*q - 5 = -5*f. Sort q, -5, 5.
-5, q, 5
Let w(l) = -l**3 + 6*l**2 - 6*l + 7. Let q be w(5). Let n be (3/(-1))/(-15 - -14). Sort q, 3/7, n in increasing order.
3/7, q, n
Suppose -5*o = -4*o - 4. Suppose 0 = -o*w - 4, -v + 3*v = 3*w + 7. Suppose 0 = v*a - 5*a + 6. Put -2, a, -7 in decreasing order.
a, -2, -7
Let m = -14 - -14. Sort 3, -5, m, 2 in decreasing order.
3, 2, m, -5
Let c = 0 + -1. Let x = c - -0.7. Put -1, 0.3, x in decreasing order.
0.3, x, -1
Let a = -1 - -6. Sort a, 1, -5 in decreasing order.
a, 1, -5
Let w be (4 - 5)*2*-1. Suppose -1 = 2*k + 3. Sort k, -1, w in descending order.
w, -1, k
Let o = 215/28 + -33/4. Sort o, -0.2, -4 in decreasing order.
-0.2, o, -4
Let s = -8 - -12. Suppose 0 = -x - 0 - 10. Let h = x + 6. Sort s, h, -2 in decreasing order.
s, -2, h
Let k = -96 + 91. Let h = -2 - -1. Put h, k, -2/9 in decreasing order.
-2/9, h, k
Let y = -0.56 - 2.54. Let f = 2 + -2.9. Let o = f + y. Sort -0.4, 1, o in decreasing order.
1, -0.4, o
Let f = -17/33 - 5/33. Sort 9/7, 2/23, f in ascending order.
f, 2/23, 9/7
Let z(s) = s + 1. Let a be z(2). Suppose -5*p - 20 = -10*p. Let q be (2/p)/(7/(-4)). Put 0.2, a, q in increasing order.
q, 0.2, a
Let y = 5 + 12. Put -3, y, 3 in ascending order.
-3, 3, y
Let c = 74 + -70. Put 0, 3, c, -1 in descending order.
c, 3, 0, -1
Let z be 53*(-1)/(-2)*2. Let o = z + -209/4. Let u = -6 + 4. Put o, 1/4, u in ascending order.
u, 1/4, o
Let x(s) = s + 5. Let j be x(-11). Sort 5, j, 2 in ascending order.
j, 2, 5
Suppose -10 = o - 2*o. Suppose -3*r + 1 - o = 0. Put 1, r, -1 in ascending order.
r, -1, 1
Suppose 0*r + 20 = r. Let s be (-74)/(-14) + (-4)/14. Suppose r = -n + s*n. Sort 2, n, -3 in ascending order.
-3, 2, n
Let s = -34.9 - -37. Put -1/3, -1, s, 4 in ascending order.
-1, -1/3, s, 4
Let p = -52 - -51.9. Sort p, -3/14, 0.3 in descending order.
0.3, p, -3/14
Let a(z) = 3*z - 23. Let u be a(8). Sort -4, -6, 0, u in descending order.
u, 0, -4, -6
Let q = -11 - -4. Let w = 12 + q. Sort 1/6, -2, w.
-2, 1/6, w
Let q(o) = -o - 2. Let m be q(-4). Let r be 5/2 - 1/m. Let h be (0 - 1)/(r/8). Put 3, h, 4 in descending order.
4, 3, h
Let c = 18 + -18.5. Sort -13, c, 4 in descending order.
4, c, -13
Let a(o) = -o**3 + 7*o**2 - 5*o - 5. Let i be a(6). Sort 5, 13, i in decreasing order.
13, 5, i
Let j(v) = 24 + 8*v - 3 + 0*v - 6*v. Let z be j(-14). Sort -3/7, z, -0.5.
z, -0.5, -3/7
Let s = 4 + -5.3. Let h = 1.7 + s. Sort h, -0.4, -2/7 in increasing order.
-0.4, -2/7, h
Let k = 0 + -4. Suppose -n + 1 = -2. Sort k, n, -3.
k, -3, n
Let m = -90.8 + 91. Sort m, 1, 0.23 in descending order.
1, 0.23, m
Suppose d = -3*o + 1, 1 = -d + 5*o - 6. Sort d, -5, -2/15, 12.
-5, d, -2/15, 12
Let z = 26.99 + -27. Sort z, -0.3, 1/3.
-0.3, z, 1/3
Let l(c) = c + 6. Let u be l(-6). Suppose -5*i = -u*i - 25. Let q = 6 - i. Sort -2, -1, q.
-2, -1, q
Let x(c) = -c**3 - c + 48. Let n be x(0). Sort n, -2, -5.
-5, -2, n
Let m be 4 + 0 + -1 + -1. Let h(f) = -f**2 - 8*f - 2. Let p = -20 - -13. Let g be h(p). Sort m, g, -5.
-5, m, g
Suppose 4*l + 0*l + 7 = 3*i, 5*i - 2 = -3*l. Suppose 2*m + 4*k + 36 = 0, -2*m + 3*k + k + 4 = 0. Let f be ((-36)/m)/3 + -2. Sort i, 0.3, f in decreasing order.
i, 0.3, f
Let w = 294 + -3236/11. Put w, -0.1, -0.06 in ascending order.
w, -0.1, -0.06
Let j = 24 - 23.8. Put j, -5, 0.5 in decreasing order.
0.5, j, -5
Let r(u) = 2*u**3 + 4*u**2 + u - 2. Let a be r(-2). Put 5, a, -1, -29 in ascending order.
-29, a, -1, 5
Let d = -0.16 - 0.24. Sort d, -1, 1/6, 7.
-1, d, 1/6, 7
Suppose -6*n = 111 - 81. Let z = 3 - -1. Put n, 2, z in increasing order.
n, 2, z
Let k = -0.17 - -0.24. Let n = 4.93 + k. Sort 0.2, 0.4, n in descending order.
n, 0.4, 0.2
Let u(s) = s**3 - s**2 + 3*s - 7. Let t be u(2). Sort -4, t, -17 in decreasing order.
t, -4, -17
Let h = 2972/11 - 270. Let o = 199/4 - 2197/44. Sort h, o, -0.4 in increasing order.
-0.4, o, h
Suppose -t - 3*t - 8 = 0. Let h = 6 - 6.2. Let d be 2/((-2)/(-2)) + 3. Put t, h, d in increasing order.
t, h, d
Let b = 0.18 - 0.07. Let f = 0.055 - -3.835. Let d 