t o = 5.4 - 5. Sort s, o, 3 in descending order.
3, o, s
Let q = -2.76 + 2.8. Sort -1, -0.4, q.
-1, -0.4, q
Let w(i) = i**3 - 9*i**2 - 8*i - 22. Let l be w(10). Sort l, -4, 4 in increasing order.
-4, l, 4
Let d = 331 - 331. Let q = -0.1 - 0.3. Sort 0.4, d, q in decreasing order.
0.4, d, q
Let q = 2.17 + -2.1. Put q, -0.2, 0 in ascending order.
-0.2, 0, q
Let b(q) = -6*q**3 - q - 1. Let z be b(-1). Suppose 4*j = j - z. Let t be (6/(-8) - 0)*-4. Sort 2, j, t in ascending order.
j, 2, t
Let j = 110 - 115. Suppose 4*v - 25 = -v. Sort -4, j, v in descending order.
v, -4, j
Suppose 5*y - 42 = -62. Put 5, 1, y, 8 in increasing order.
y, 1, 5, 8
Let z = -24 + 28. Sort 2, z, -2 in increasing order.
-2, 2, z
Let r be -1*3/(-1 - -4). Suppose 0*u + 6 = u. Suppose t + 2*t = -u. Sort r, 0, t.
t, r, 0
Let v be (-4 + 3)*(-3)/(-12). Sort v, 0.1, -1, -2/13.
-1, v, -2/13, 0.1
Let h be (-1 - -2) + (-1428)/(-20). Let n = -72 + h. Let l = 0 + 3. Put -1/4, l, n in ascending order.
-1/4, n, l
Let k be (-32)/5 + 30/(-50). Let r = 8 + k. Put -4, -3, r in increasing order.
-4, -3, r
Let r(m) = m - 1. Let v be r(5). Let i be 3*(-1 + -1 + 3). Suppose -i*z = -z - v. Sort 5, z, -1 in decreasing order.
5, z, -1
Let w = 0.7 + -1.7. Sort 5, w, 2/5 in decreasing order.
5, 2/5, w
Let l be (39/(-13) + (-2)/(-1))/(-4). Sort l, 4, 0.08.
0.08, l, 4
Let k = 5 - 8. Let b = k + 2.9. Let t be (4/(-14))/((-4)/(-6)). Put 3, b, t in descending order.
3, b, t
Suppose -3*i + 0*l + 4*l - 56 = 0, 0 = -2*i - 2*l - 14. Let f be (-6)/8 - (-51)/i. Sort -2, f, 1 in increasing order.
f, -2, 1
Let c = 56 - 38. Let g be 2*3*15/c. Put -1, g, 2 in increasing order.
-1, 2, g
Let j(m) be the second derivative of 0 + 7/2*m**2 - 1/12*m**4 + m - m**3. Let q be j(-7). Put -3, -5, q in decreasing order.
q, -3, -5
Suppose -3*y + 22 = 4. Let q be -2 + 1 + 0 + y. Sort -5, -1, q in descending order.
q, -1, -5
Suppose 4*d = -a, 0 = a + 3*a - d. Let c = -11 - -22. Suppose -5*b = -r + 10, -5*b = 4*r - c - 4. Sort b, 4, a in decreasing order.
4, a, b
Let u = 14 - 11. Suppose -d - 4*c = -0*c - 12, u*c = 3*d + 24. Put 0, 3, d in ascending order.
d, 0, 3
Let r be ((-3)/12*0)/(-3). Sort r, 5, -5 in decreasing order.
5, r, -5
Let q(s) = s**3 - 3*s - 2. Let i be q(-2). Suppose -2*m - 4*a = -7*a - 1, -1 = -m + 2*a. Let p be (-1 - (-1)/2)*4. Sort i, p, m in decreasing order.
m, p, i
Let b = 4.6 + -5. Let x = -30 - -32. Put b, 3/4, x in decreasing order.
x, 3/4, b
Suppose 0 = -3*h + 4*v + 9, -h - 3*h = 2*v - 12. Let a be (1 - h) + 55/25. Sort -2/13, -2/11, a.
-2/11, -2/13, a
Let d be -1*6 + -1 + 2. Suppose 9 - 29 = -5*y. Sort d, y, -4 in increasing order.
d, -4, y
Let y = -2 + 4. Sort y, 0.04, -1 in ascending order.
-1, 0.04, y
Let y = 13 + -13. Let s = 0.06 - -0.34. Put y, s, 0.2 in decreasing order.
s, 0.2, y
Suppose v - 3*v - 4*a - 4 = 0, 0 = -5*v + 2*a + 14. Let q be -4 - (2 + (-10)/v). Sort q, -5, 0 in decreasing order.
0, q, -5
Let b(m) = m - 8. Let j be b(11). Let w(a) = -a + 1. Let u be w(3). Sort u, -4, j.
-4, u, j
Let l = -27 + 28. Sort 5, l, 2.
l, 2, 5
Suppose 2*f - 6*t + 12 = -2*t, -3*f - 3*t = -18. Suppose f*n + 2 = 3*n - x, 5*n + 3*x = -22. Let g be 1 + 2 + 0 + -7. Sort n, 2, g in increasing order.
g, n, 2
Let c = -0.2 - 0.3. Let t(l) = 15*l**3 - l**2 + 2*l - 1. Let s be t(1). Suppose s = -5*w + 2*w. Sort w, c, -2.
w, -2, c
Suppose 3 + 1 = 2*y. Suppose 0*i + y*i = 4. Sort 4, -2, i.
-2, i, 4
Let w = -106 - -105. Put -2, 2, 5, w in ascending order.
-2, w, 2, 5
Suppose -3*u = u - 32. Let b = u - 5. Sort -6, b, -3 in descending order.
b, -3, -6
Let o be 51/(-12) + (-1)/(-4). Let c(v) = v - 1. Let m be c(o). Suppose 0 = 2*d + 2*z - 4, -2*d + z = -2*z + 1. Sort -2, d, m in increasing order.
m, -2, d
Suppose 0 = 4*l - 2*l - 10. Suppose 9 = 4*o + 5*x + 23, -5*x + 10 = 0. Sort o, l, 3 in descending order.
l, 3, o
Let k = -0.13 - -0.03. Let q = 3.7 + 1.3. Sort k, q, -3/5 in decreasing order.
q, k, -3/5
Let h = -49.3 + 49. Sort h, -2/5, -2/7.
-2/5, h, -2/7
Let f be 1 + 0 + (5 - 1). Suppose -6 = -2*z + f*z. Let g = 139 + -137. Put z, 5, g in ascending order.
z, g, 5
Let i = -1.34 - 1.62. Let o = i - 0.04. Let u = 14 + -13.5. Put u, o, -4 in increasing order.
-4, o, u
Let l be 1 + -2 - (-4)/7. Sort 5, l, 0.
l, 0, 5
Suppose 5*f - 22 = -2. Suppose -5*o + f*i = -0*o - 5, 3*o - 30 = -3*i. Suppose -5*u + 25 = 5*k, 2*u - 4 = -2*k + 6*k. Put k, o, 2 in descending order.
o, 2, k
Suppose -v = 3*a - 4, -4*v + 0*v - 20 = 0. Put 1, a, 6 in decreasing order.
6, a, 1
Let d = 1611 - 8016/5. Let k = d + -8. Let y = -8 + 11. Sort -2/11, k, y in ascending order.
k, -2/11, y
Suppose -4 = -4*y + 5*w + 8, -w + 2 = -3*y. Suppose p + 3*x - 16 = 0, -3*p + 4*x - 18 = -1. Sort -4, p, y in decreasing order.
p, y, -4
Let f = -70 + 75. Put 1, 0, f, 2 in ascending order.
0, 1, 2, f
Let v = -1.9 + 1.9. Sort 3, v, -1/2 in descending order.
3, v, -1/2
Let v = 162 - 653/4. Let p = 9.8 + -9.7. Put 0.2, v, p in increasing order.
v, p, 0.2
Suppose -2*i = -4*i. Let j(g) = g**2 + g - 4. Let l be j(i). Suppose 0 = -4*f + 1 + 11. Sort f, 2, l in ascending order.
l, 2, f
Let u be (2/8)/(40/32). Let y be 2/12*-1*-4. Put 4, u, y in descending order.
4, y, u
Let o = -2 - -1.9. Let u(p) = -p**2 - p. Let m be u(-2). Sort m, 4, o in increasing order.
m, o, 4
Let n = 41 - 36. Sort -4, n, -2 in ascending order.
-4, -2, n
Let d be (-18)/(-12)*(-16)/(-6). Let z be (-6 + d)*10/4. Sort -1, z, -14 in ascending order.
-14, z, -1
Let z = 2 - 11. Let p = z + 9. Put p, -4, 1 in increasing order.
-4, p, 1
Let v(t) = -t**3 - 3*t**2 + 4*t - 3. Let y be v(-4). Let d(l) = l**2 - l - 3. Let n be d(3). Let o = -4 + n. Sort 4, o, y in descending order.
4, o, y
Let d be (5*3)/3 - (-12)/(-6). Sort 7, d, -1.
-1, d, 7
Let z(u) = -u**3 - 6*u**2 - 6*u - 5. Let b be z(-5). Suppose -3*h = -3*q - 3, 0 = -q - q - 6. Put b, 5, h in increasing order.
h, b, 5
Let l(h) = h**3 - 6*h**2 + 5*h - 1. Let w be l(5). Let r = -11 - -8. Sort w, r, 3 in decreasing order.
3, w, r
Let b = 61 - 28. Put b, -2, 5, -1 in ascending order.
-2, -1, 5, b
Suppose 0 = 5*t - 3*t - 20. Suppose -6 = 2*d - t. Sort -2, 1, d in ascending order.
-2, 1, d
Suppose 3*q + s = 19, q + 5*s + 57 = 5*q. Let y = -6 + q. Let o = 12 + -8. Sort y, -4, o.
-4, y, o
Suppose 6*d = 3*d - 12. Let m(w) = -w**3 - 14*w**2 + w + 13. Let l be m(-14). Put d, 2, l in ascending order.
d, l, 2
Let o = 27 + -24. Suppose -11 = -o*l - 5. Sort 1, -2, l.
-2, 1, l
Suppose 3*j = 5*j. Suppose -5*y - 2*a - 1 = j, 4*a + 4 = -5*y + a. Sort y, -1, 0.
-1, 0, y
Let r = -5 + 9/2. Suppose -273 = -4*l + k, 3*l = k + k + 201. Let z be (-2)/(-4) - l/114. Sort r, -3, z in decreasing order.
z, r, -3
Let p = -32357/7 + 4609. Let o = 1020/77 + p. Let x be 5/(-2)*(-12)/135. Put 4, o, x in decreasing order.
4, x, o
Let x = -38.7 + 39. Sort 2/7, 32, x.
2/7, x, 32
Suppose -8*j + 6 = -10*j. Sort 1, j, -9 in descending order.
1, j, -9
Let q = -15 - -13. Sort 2/11, 1/6, q.
q, 1/6, 2/11
Let u = -0.6 - -0.1. Let l = -13.5 + 13. Let j = l + u. Sort 1/8, j, -0.4.
j, -0.4, 1/8
Let i = -4.03 - -4. Let l = 0.07 - i. Put -1, 0.3, l in ascending order.
-1, l, 0.3
Suppose -3*j = -5*j. Put j, 10, -3, -2 in descending order.
10, j, -2, -3
Let k = -0.02 + -0.08. Let a = k - -5.1. Let w = -3 - -3. Sort -4, w, a.
-4, w, a
Let q(b) = b + 2. Let n be q(-4). Let l be (-5)/((-6)/(-18)*3). Let u = -1 - 2. Sort u, n, l in descending order.
n, u, l
Let w = -202 + 27. Let q be 1/5 - 15/w. Suppose 0 = -4*r + 8*r - 12. Put r, q, 0 in increasing order.
0, q, r
Let o = -4 - -4. Let u(n) = n**3 + 4*n**2 - 4*n - 4. Let b be u(-5). Let t be ((-2)/(-3))/(6/b). Sort 4, t, o in descending order.
4, o, t
Let b = 180 + -184. Put b, 0, -1, 20 in ascending order.
b, -1, 0, 20
Let k be 2 + (0 - -3 - 3). Let g be (-2)/9 - (-6)/27. Suppose -2*b + 6*b - 12 = g. Sort 4, k, b.
k, b, 4
Suppose 0 = -4*x + 12*x + 8. Let l = -4 - -7. Put 1, x, l in decreasing order.
l, 1, x
Let x = -105 + 16. Let c = -624/7 - x. Sort -0.3, 5, c in decreasing order.
5, c, -0.3
Let r = -10 + 10.04. Let i = -1.96 - r. Put -3/8, -0.2, i in descending order.
-0.2, -3/8, i
Let r be ((-2)/(-6))/(2/30). Let o = r + -9. Suppose -6*v + v = -3*c - 14, -2 = v - 3*c. Put v, o, -3 in decreasing order.
v, -3, o
Let w = 4 - 0. Suppose 2*b = -5*o + 13, -o = o + w*