.2 + 0.5. Put b, -4/5, j in decreasing order.
b, j, -4/5
Let x(z) be the first derivative of 8/3*z**3 + 0*z**2 - 4*z + 1/4*z**4 - 2. Let a be x(-8). Sort a, -0.5, 2/11 in ascending order.
a, -0.5, 2/11
Let b = 0.7 - -0.3. Let l = 5 - b. Let c = l - 3. Sort -2/23, c, 1/8 in increasing order.
-2/23, 1/8, c
Suppose 0 = -n + 3*n + 6. Let d = 6 + n. Put d, 1, 5 in decreasing order.
5, d, 1
Suppose 27*i = 28*i + 1. Sort 49, 1, i in increasing order.
i, 1, 49
Suppose 5*r + 0 + 20 = 0. Let c(q) = 2*q**2 - 5*q + 1. Let h be c(3). Sort 1, h, r in decreasing order.
h, 1, r
Suppose 28 = 3*s + 5*c, s - 20 = -2*s - c. Sort s, -1, 1.
-1, 1, s
Let c = -0.2 + 0.1. Let h = -0.24 + -1.96. Let x = h + -0.8. Sort 1/5, x, c in increasing order.
x, c, 1/5
Let h be 42/14*(-10)/(-6). Put -2, -1, h in increasing order.
-2, -1, h
Let i = 1.5 - -0.5. Let n = 5 - 4. Let p be ((-4)/(-15))/((-6)/15). Put i, p, n in descending order.
i, n, p
Let u = -14 + 21. Put -1, -3, 0, u in ascending order.
-3, -1, 0, u
Let o = -12 + 12. Suppose o = -2*h + 4*h + 4*l - 10, 17 = -3*h + 2*l. Let f = -0.04 + -0.26. Put f, h, -0.5 in descending order.
f, -0.5, h
Let n = -5 - -10. Suppose 5*a = a + 4. Sort n, -4, a in ascending order.
-4, a, n
Let x be 2/((-3)/((-15)/2)). Let c = x + 1. Let n be -1*(-5)/((-10)/c). Sort 2, 1, n in decreasing order.
2, 1, n
Suppose 0 = -8*w + 6*w - 2. Sort -2, 3, w, 1.
-2, w, 1, 3
Let h = 12 - 7. Suppose 0 = -h*i + 3*i. Let k(m) = m**2 + 14*m + 11. Let q be k(-13). Sort q, 4, i.
q, i, 4
Let q(f) = f + 2. Let a be q(0). Sort 1, -2, a in increasing order.
-2, 1, a
Suppose 13 = -3*i + 4*w, -2*w = 7 - 3. Let j = 4.98 + 0.02. Put i, 1/2, j in descending order.
j, 1/2, i
Let h(g) be the first derivative of -g**4/4 - g**3 - g**2/2 - 6*g - 4. Let m be h(-3). Sort m, -1, 0 in ascending order.
m, -1, 0
Let o = 10 - 5. Put 4, o, -3 in descending order.
o, 4, -3
Let w(l) = -l**2 + 1. Let q be w(2). Let k = 7 - 5. Suppose -k*z - 1 = -2*g - 5*z, g - 5*z = -19. Put g, 0, q in decreasing order.
0, q, g
Suppose 75*r = 77*r + 8. Put -5, 7, r, 0 in decreasing order.
7, 0, r, -5
Let n = -2 + 4. Let l = -0.52 - -0.29. Let f = l + -0.07. Sort -0.1, f, n in increasing order.
f, -0.1, n
Let u = 9.1 + -7.8. Put 5, -4, -5/6, u in decreasing order.
5, u, -5/6, -4
Let p(q) = q**3 - q**2 - 3*q + 2. Let b be p(2). Put -3, -1, b in descending order.
b, -1, -3
Let i(f) = -f**2 - 2*f + 4. Let o be i(-3). Let r be (6/(-4))/(4/(-64)*6). Suppose 1 + 1 = -k. Put k, r, o in ascending order.
k, o, r
Suppose -4*w + 8 = -8. Let t = w + 2. Let v be t/9 + 1/3. Put v, -2, -5 in descending order.
v, -2, -5
Suppose -r - 7 = -8. Put 5, r, 2 in increasing order.
r, 2, 5
Let c(j) = j**2 + 20*j - 5. Let x be c(-20). Put -1, x, 4, 0 in decreasing order.
4, 0, -1, x
Let f = 122/3 - 41. Let m = -5 + 3. Let t = 2.9 - 2.7. Sort m, t, f in ascending order.
m, f, t
Suppose 4*l - 12 - 20 = 0. Suppose -l*m = -11*m. Let b be (-2)/(-4) - (-15)/(-6). Sort m, b, 1 in increasing order.
b, m, 1
Suppose -3*i + 3 = 4*s - 10, 3*i - 9 = 0. Let b = 5 - s. Sort -4, b, 3 in descending order.
b, 3, -4
Let z = -6 - -3. Let m = 20 - 24. Let l = z - m. Put l, 0, 2/15 in decreasing order.
l, 2/15, 0
Let i = -4 - -7. Suppose 3 = b + 2*b. Suppose -5*p + 7 + 3 = 0, 5*s = -p + 2. Put i, s, b in decreasing order.
i, b, s
Suppose -6*y = -15*y - 36. Sort 2, y, 3 in decreasing order.
3, 2, y
Let p = -0.2 + -0.8. Let j = 235/2 - 3529/30. Let x = 37 - 79/2. Sort p, x, j in increasing order.
x, p, j
Let u = -0.22 + -0.08. Suppose 0 = -3*y - 3*n + 4*n - 7, -y = n + 9. Sort u, -0.4, y.
y, -0.4, u
Let p be (-6)/(-15) - (-36)/10. Put 3, p, -1 in increasing order.
-1, 3, p
Suppose -4*n + 3*p - 24 = 7*p, -2*n - 4*p - 22 = 0. Let o = -5 - -7. Let m = o - 2. Put m, -5, n in increasing order.
-5, n, m
Suppose -2*l + 6*l = 0. Let k = l - -1/3. Sort 5, k, -0.3 in decreasing order.
5, k, -0.3
Let q be (3*(3 + -4))/1. Let n be 2 - (0 - (-1 + 2)). Put 1, n, q in decreasing order.
n, 1, q
Suppose -5*u = 4*p - 110, -3*p = -5*u + u - 67. Suppose 0*v = 5*v + p. Sort 1, v, 0 in descending order.
1, 0, v
Let q be -1 + -30*(-3)/78. Put 0, 0.4, q in decreasing order.
0.4, q, 0
Let i be 0/4 + (-1 - 1)*1. Put 0.2, -2/11, i in decreasing order.
0.2, -2/11, i
Suppose 5*z = -3*c + 35, 0*z = 2*c + z - 14. Let p(m) = -m**2 + 11*m - 9. Let u be p(10). Put 4, u, c in descending order.
c, 4, u
Let c = -0.3 - 0.2. Let o = -182 - -183. Sort o, 9, c in increasing order.
c, o, 9
Let y = -8/9 + 4/45. Let r = -0.6 - 3.3. Let p = r + 4. Sort p, -2, y.
-2, y, p
Let s(b) = -b**3 + 4*b**2 + 2*b - 4. Let p be s(4). Let j be 9/p - 1/4. Suppose 4*f + 3*r + 0*r + 1 = 0, -2*r = 5*f + 10. Put j, 1, f in descending order.
j, 1, f
Let t = -1 + 1.2. Let p be (2/5)/(2/20). Suppose 0 = u + 3*d + p, -5*d - 15 = 0. Sort 1/2, u, t in descending order.
u, 1/2, t
Let s be (-7)/(21/(-12)) + 17. Sort -4, s, 1.
-4, 1, s
Let v be -2 + 92/20 - 3. Let r(k) = -k - 1. Let q be r(0). Sort v, q, 2 in descending order.
2, v, q
Suppose 8 = -4*q - 8. Suppose -6*m + 4 = -2*m. Sort 0, m, q in descending order.
m, 0, q
Suppose 0 = 2*h + h - 12. Let c = 34 + -20. Let y be (-2)/h - c/4. Put y, 4, -3 in increasing order.
y, -3, 4
Suppose 2*r + 3*r - 4*t = -7, 0 = -4*t - 8. Put -4, 1, r in descending order.
1, r, -4
Let p = 0.066 - 5.216. Let z = p + 0.15. Suppose 4*k - 12 = 4. Sort z, k, 5.
z, k, 5
Let q = 0.5 + -0.8. Let m = -11 - -8. Sort q, -2/7, m in increasing order.
m, q, -2/7
Let k(j) = j**3 + 4*j**2 - 2*j - 5. Let x be k(-4). Suppose -x*a + 2*a = -z - 6, z = -5*a. Suppose 0 = 4*v + 5 + 11. Sort 0, v, z in descending order.
0, v, z
Let v = 2.8 - 3. Suppose 0 = 5*p + 4*x + 8, 3*p = -0*p - 2*x - 6. Let u = 7.4 + -3.4. Sort v, u, p in ascending order.
p, v, u
Let v(u) = u**2 + 3*u - 5. Let c be v(-5). Let q = 4 - c. Let a = -2 + q. Put -2, 4, a in ascending order.
a, -2, 4
Let l = 3.081 + -0.081. Sort 2/13, l, 4, -0.1 in descending order.
4, l, 2/13, -0.1
Let q(f) = -8 + 2 - 2 - f. Let o be q(-9). Sort 0, o, -3.
-3, 0, o
Let w be 0*-1*(1 - 0). Sort 5, w, -4 in increasing order.
-4, w, 5
Suppose -20*i + 62 = 2. Suppose 0*x + 10 = -2*x. Put i, x, -2 in increasing order.
x, -2, i
Suppose 3*h = 3, -3*t - 17 = -5*h - 0*h. Sort 21, 0, t.
t, 0, 21
Suppose 0 = n + 8*h - 3*h - 12, -5*h + 4 = -3*n. Let f = n - 4. Sort -4, 3, f.
-4, f, 3
Let p be ((-8)/14)/(8/(-28)). Put -0.2, 6, p in increasing order.
-0.2, p, 6
Suppose -5*d - 13 = 7. Let b = -41/2 - -20. Sort b, d, -1/3.
d, b, -1/3
Suppose -9 = -2*k + 5*o, 3*o + 12 + 1 = 5*k. Suppose w = 3 + k. Put w, -5, -2 in decreasing order.
w, -2, -5
Suppose 2*i - 5 = -2*x - 7, 0 = x - i + 1. Let o(l) = l**3 - 4*l**2 + 1. Let r be o(4). Suppose -2*t = t + 12. Put x, r, t in descending order.
r, x, t
Let q = 26.5 + -3.5. Let o = 23.4 - q. Sort -2/9, 0.2, o.
-2/9, 0.2, o
Let c(b) = -3*b**3 + 2*b**2 + 2*b + 1. Let x be c(-1). Suppose -x*y + 5 = y. Let h = 27 - 31. Put y, h, 2 in ascending order.
h, y, 2
Let s be 1/3 - (-91)/(-525). Put s, 4/5, -0.1 in decreasing order.
4/5, s, -0.1
Let l = -4.5 + 0.5. Let z = 3.2 - 3. Put 1/4, z, l in decreasing order.
1/4, z, l
Let r be (2/6)/(2/24). Sort 0.2, 0.1, r in ascending order.
0.1, 0.2, r
Let t = 0.27 + 0.03. Let c = -2 - -2. Let q = c + 1. Put q, 3, t in ascending order.
t, q, 3
Let l = 7 - 4. Let r = -8 - -7.5. Sort 4/7, l, r.
r, 4/7, l
Let a = 82.3 + -82. Let v = -0.06 - 3.94. Sort a, v, -2/9 in decreasing order.
a, -2/9, v
Suppose -9*t - 22 = -76. Suppose -5*n = -5*k - 2*n + 7, 4*k - 2*n = 6. Put 5, t, k in ascending order.
k, 5, t
Suppose -14 = -4*m + 2*x, -m - 2*x + x = -8. Suppose -37 = -2*z - z - 5*k, 0 = -5*z + 5*k - 5. Put m, -5, z in ascending order.
-5, z, m
Let d be (-6 - -10) + 1*-2. Put d, -3, -4, -0.3 in increasing order.
-4, -3, -0.3, d
Let i(f) = -f**2 - 5*f + 5. Let r be i(-6). Put 0, -11, r in increasing order.
-11, r, 0
Let i = -18 - -18. Put i, -4, 7/5, -3 in descending order.
7/5, i, -3, -4
Let h = 4 - 2. Put h, 5, 0.04 in descending order.
5, h, 0.04
Let n(h) = h**3 - 5*h**2 - h + 2. Let x be n(5). Let u(w) = 18*w - 55. Let c be u(3). Put x, -7, c in ascending order.
-7, x, c
Suppose 0*l - 2*l + 2 = 0. Let i be 2/7 - 65/7. Put i, -3, l in ascending order.
i, -3, l
Let j(k) = k - 3. Suppose -9*t = -4*t. Let z be j(t). So