1 + -0.8. Let m = -0.6 + u. Put -0.2, m, -5/3 in increasing order.
-5/3, m, -0.2
Suppose 5*g + m - 8 = 0, 5*m + 15 = -5*g + 35. Put 6, g, -1 in increasing order.
-1, g, 6
Let y = 0.6 + -0.6. Let t = 0.5 + 0. Sort t, y, -0.3 in descending order.
t, y, -0.3
Let a = 1 - 0.96. Let n = -0.26 - a. Let j = -1 + 0.8. Sort j, -2/7, n in ascending order.
n, -2/7, j
Let w = 0.8 + 0.2. Put w, 0.2, -0.3, 3/4 in increasing order.
-0.3, 0.2, 3/4, w
Let i(g) = 4*g - 36. Let q be i(10). Put -5, q, -1, 1 in descending order.
q, 1, -1, -5
Let q = -7.74 - -8. Let y = q + -0.3. Let a = y + -1.96. Sort a, 1/3, 0.5 in increasing order.
a, 1/3, 0.5
Let y be (-22)/(-6) + 2/6. Suppose 2*i = y*r - 20 + 4, -2*r + 3*i = -16. Suppose -m = -2, -3*w - 2*m + 8 = w. Sort -5, r, w.
-5, w, r
Let i be -2*((-3)/(-2) - 4). Put 3, 0, i in decreasing order.
i, 3, 0
Let m = -3.3 + 3. Let y be (-4)/3*9/(-2). Let h(k) = -k**2 + 6*k + 1. Let a be h(y). Put m, 2, a in decreasing order.
2, a, m
Let p be (4/5)/(4/70). Let x be (-72)/7 + 4/p. Let r = -14 - x. Sort -7, -2, r.
-7, r, -2
Let b = -11 - -13. Let l = 8 - 12. Put 1, l, b in decreasing order.
b, 1, l
Suppose -b + 3 = 4. Sort -2, b, 0 in descending order.
0, b, -2
Let k = -0.7 - 0. Let n = -73 - -75. Put n, k, -0.2 in increasing order.
k, -0.2, n
Suppose 12 = -5*z + 27. Sort -4, z, -5.
-5, -4, z
Suppose 0*p = 4*p - 4*d - 28, 4*p - 2*d = 20. Let r = 55 + -53. Sort r, p, 1/12 in decreasing order.
p, r, 1/12
Let k be (2/(-5))/((-6)/(-60)*-2). Put -1, k, -5 in decreasing order.
k, -1, -5
Let k(w) = w**3 - 4*w**2 - 2*w + 6. Let b be k(4). Let v be 3 - (0 + b) - 0. Put v, 3, -4 in descending order.
v, 3, -4
Suppose -d + 9 - 12 = 0. Sort 4, d, 6 in descending order.
6, 4, d
Let r(s) = -s + 7. Let d be r(4). Put d, 16, 5, 0 in ascending order.
0, d, 5, 16
Suppose -4*r = 4*x - 20, 4*r = -x + 5 + 3. Suppose 0 = 7*h - 2*h - 2*j + 8, j - 1 = h. Let i be -5 + (h - 2*-2). Sort i, r, 3 in increasing order.
i, r, 3
Let s(g) = -g**3 - 10*g**2 - 2*g - 15. Let p be s(-10). Sort 1, -4, 3, p in ascending order.
-4, 1, 3, p
Let x be 0*(-1)/(-5)*(-15)/9. Sort 5, x, -5 in descending order.
5, x, -5
Let l = -0.73 - -0.33. Sort -2, -4, 4, l in descending order.
4, l, -2, -4
Suppose 2*z - 63 = -z. Suppose -5*w = 2*h + z, -2*h + 24 = -0*w - 4*w. Suppose 15 = -5*v - 10. Put 0, h, v in descending order.
h, 0, v
Suppose -f - 18 = -4*f - d, -5*f = 4*d - 37. Let b(x) be the first derivative of x**3/3 - x**2/2 + 3*x - 1. Let j be b(0). Sort 0, j, f in decreasing order.
f, j, 0
Let d be ((-8)/(-6))/(2/(-6)). Let c = 113 + -111. Sort c, 5, d in descending order.
5, c, d
Let q = -0.15 - -0.05. Put -7/2, 2/11, q in decreasing order.
2/11, q, -7/2
Suppose 2*q = 2*a + 16, -5*a + 0*q = q + 10. Let i = 56 + -53. Put -4, a, i in ascending order.
-4, a, i
Suppose 0*c = -4*c - 20, 3*b - 3*c = 0. Put 0, 2, b, 4 in decreasing order.
4, 2, 0, b
Let j = -19.2 - -21. Let q = -2 + j. Sort -0.3, q, 3 in ascending order.
-0.3, q, 3
Let x(j) = j**2 + 5*j + 9. Let i be x(-4). Sort i, -1, -2 in decreasing order.
i, -1, -2
Let x(d) = -d + 5. Suppose -8*n = -3*n. Let b be x(n). Sort -1, b, 0 in increasing order.
-1, 0, b
Let b(k) = -6*k**3 - k**2 + 1. Let i be b(1). Put 4, i, -3 in decreasing order.
4, -3, i
Let z = 27 - 80/3. Let x be ((-2)/7)/(18/14). Put z, 3, x in descending order.
3, z, x
Suppose -2 = 3*x - 4*m - 3, 4*x = 5*m + 1. Suppose 0 = o - 0 - 4. Let l be ((-4)/50)/(o/(-40)). Put x, 0.5, l in descending order.
l, 0.5, x
Let x be ((-3)/6)/(6/(-8)). Sort -0.5, 1/4, 0.5, x.
-0.5, 1/4, 0.5, x
Suppose -2*p + 56 = 2*p. Let o = p - 18. Let h = -10 - -7. Sort -1, o, h in increasing order.
o, h, -1
Let w = 3/7 + 6/35. Put -0.4, w, -2/9 in descending order.
w, -2/9, -0.4
Let z = -0.32 + 0.2. Let p = 3.12 + z. Let o = -126 + 1132/9. Sort -0.4, p, o in ascending order.
-0.4, o, p
Let q = 0.26 + -1.96. Let z = 2 + q. Sort -0.4, z, -3/2.
-3/2, -0.4, z
Let k = -18.83 + 19. Sort -1, k, 0 in descending order.
k, 0, -1
Let s = -151 - -751/5. Put 0.4, s, -4/3, 4/7 in descending order.
4/7, 0.4, s, -4/3
Suppose 16*n - 17*n = -4. Sort -2, -8, n.
-8, -2, n
Suppose -2*u - 6 = 4. Suppose -9*o + 14*o = 25. Suppose 0 = 2*z - z + 4, o*c + 2*z = -13. Put c, u, -2 in ascending order.
u, -2, c
Let w = -388/5 + 78. Put -9, 0.2, w, -2/9 in descending order.
w, 0.2, -2/9, -9
Suppose 2 = m + v + 1, 2*m = 5*v + 16. Put m, -4, -2 in descending order.
m, -2, -4
Let d = 0 - -5. Suppose -2*j = -2*h - 12, d*h = 3*h - 4*j. Sort 4, h, 0 in decreasing order.
4, 0, h
Let g = -6.2 - -3.2. Put g, -2, -1, 3/4 in decreasing order.
3/4, -1, -2, g
Let q = -0.4 + 4.4. Let g = -21 - -17. Sort q, 0.1, g in increasing order.
g, 0.1, q
Suppose -5*u = -5, -q + 4*u = u + 54. Let p be q/2*(-5)/(-462). Let h = 2/77 + p. Sort h, 0.5, -0.4 in ascending order.
-0.4, h, 0.5
Suppose -5*p - 5 = 5. Let w be -2*(-2 - (-1)/(-2)). Sort w, 4, p in descending order.
w, 4, p
Let x = 0.031 + -3.031. Sort -2, -1, x, 2/5 in increasing order.
x, -2, -1, 2/5
Suppose 0*g + 10 = 5*m + 2*g, 0 = 5*g - 25. Let j be (3 - (1 + m))/(-5). Put 0.4, 3, j in ascending order.
j, 0.4, 3
Let u = -0.1 + 0.05. Let r = u - 0. Let j = -1.05 - r. Sort 2/3, -5/2, j in ascending order.
-5/2, j, 2/3
Let l(t) be the third derivative of t**6/120 + t**5/15 - t**3/3 + 2*t**2. Let r be l(-4). Let y = 0.13 + -0.03. Sort r, y, 2/9.
r, y, 2/9
Let x = -7 + 15. Let i = 5 - x. Let j = 0 + i. Sort -0.1, j, -5 in ascending order.
-5, j, -0.1
Let n be (-10)/8*48/(-120). Sort n, -1, 17.
-1, n, 17
Let z = -2 + 2. Let y = 57.8 + -58. Sort y, z, -3 in decreasing order.
z, y, -3
Let a = -2069/13 - -159. Sort 1/2, 1, a in increasing order.
a, 1/2, 1
Suppose -5 = -2*g - 1. Suppose 5*u + g*m = -17, 5*m = 5*u + m + 11. Put 3, -1, u in ascending order.
u, -1, 3
Let l be (12/63)/(2/3). Let k(f) = -f**2 + 5*f - 4. Let c be k(4). Let o = 0.2 + -0.3. Put o, c, l in decreasing order.
l, c, o
Suppose -2*f + 2*b - 6 = 0, -b + 5 + 2 = f. Suppose 20 = 3*q + f*q. Let m(v) = -v**2 + 4*v + 8. Let j be m(6). Sort q, 5, j in increasing order.
j, q, 5
Let w = -55 - -274/5. Put 5, -3, w in descending order.
5, w, -3
Suppose 4*q + 4*j = 0, -3*j = 18 - 6. Let v(o) = 2*o**2 + o - 1. Let x be v(-2). Sort x, q, -5 in ascending order.
-5, q, x
Suppose -32 = 6*a - 2. Sort 2, a, 4, -9 in decreasing order.
4, 2, a, -9
Let p be (-120)/18 - (-8)/(-6). Sort -0.5, 0, p.
p, -0.5, 0
Let f = -52.8 - -53. Put f, 6, 0.5 in decreasing order.
6, 0.5, f
Let d = 103 - 409/4. Sort 1/2, d, -1/5 in descending order.
d, 1/2, -1/5
Suppose 2 = h - 16. Let n = 16 - h. Suppose -2 = -2*j - 4. Put -5, n, j in increasing order.
-5, n, j
Let v be (14 - 16)*1/3. Sort v, 0.4, -2/13 in ascending order.
v, -2/13, 0.4
Let m = -75.4 + 75. Suppose 3*v - 4*v - 5 = 0. Put v, m, 3 in descending order.
3, m, v
Suppose 3*v + 6*v = 306. Sort 1, 4, v in descending order.
v, 4, 1
Let h = 6 - 8. Let f = -0.74 + -0.16. Let o = 4.9 + f. Put h, 0, o in increasing order.
h, 0, o
Let k = -2.2 + 19.2. Let j = 12 - k. Put j, 10, -2/13 in ascending order.
j, -2/13, 10
Suppose 3*n - 8 = n. Suppose -n*f + 24 = 4*b, -24 = -f - f - 5*b. Put -3, 1, f in increasing order.
-3, 1, f
Let v(n) be the third derivative of 5*n**4/24 + n**3/6 + 3*n**2. Let a be v(-2). Sort a, 0, 2 in ascending order.
a, 0, 2
Let k be ((-2)/(-8))/(33/8 + -4). Suppose -5*a + 6*a = -5. Sort -0.4, k, a in ascending order.
a, -0.4, k
Let h be (0/(-1 + 5))/(2 - 0). Sort -5, 5, -4, h.
-5, -4, h, 5
Let i = 1.97 - -2.03. Let v be 4/(-6) - (-17)/3. Suppose v*a + 13 = 4*u, 0 = 2*a + 2*u + u + 19. Sort a, 5, i in increasing order.
a, i, 5
Let a = -38 + 34. Suppose -x + 3*x = 0. Sort -5, a, x in ascending order.
-5, a, x
Suppose v = -4, 0 = 2*g - 4*v - 1 - 31. Suppose -2 - g = -5*z. Let s(p) = p**3 - 5*p**2 + 2*p - 5. Let a be s(5). Put a, z, -2 in decreasing order.
a, z, -2
Let y = -3199/45 - -161/9. Let o(m) = 10*m - 3. Let k be o(-5). Let z = k - y. Put -0.1, z, 5 in decreasing order.
5, z, -0.1
Let z = 0 - -0.3. Let d be ((-42)/(-10) - 3) + -2. Sort 0.1, d, z in ascending order.
d, 0.1, z
Let s(x) = x**2 - 10*x - 9. Let g be s(11). Put 0, 9, g in increasing order.
0, g, 9
Suppose -3*z + 12 = -0*h + 5*h, -4*z - 4 = 0. Suppose -4 = y, h*p = 4*p - 2*y - 9. Sort p, 5, 6 in increasing order.
p, 5, 6
Let s = 1.43