 = -b*h - 0*h. Sort g, 4, c in increasing order.
g, c, 4
Let r = 25 - 25.13. Let i = r - 0.07. Put i, -3, 1 in decreasing order.
1, i, -3
Let x = 0.2 - 0.4. Let q = -1.5 - -4.7. Let k = x + q. Sort -2/3, k, -0.4 in ascending order.
-2/3, -0.4, k
Let a = -57 + 54. Put -6, a, -2 in increasing order.
-6, a, -2
Let n = 21/5 + -132/35. Put 1, 0.5, n, -3 in ascending order.
-3, n, 0.5, 1
Let u = -2 + 4. Suppose a - u = 2. Sort 5, a, 0.2.
0.2, a, 5
Let x(f) = 2*f + 1. Let o(m) = -2*m**3 - m**2 - 2*m - 1. Let i be o(-2). Suppose 5*z + 0*z + i = 0. Let u be x(z). Sort -2, u, 3 in ascending order.
u, -2, 3
Let i = 0.4 - -2.6. Let z = 0 + i. Sort 5, z, 0.2.
0.2, z, 5
Let m(h) = 0*h + 3 + 3*h**2 - h**3 - 4 - h. Let l be m(3). Sort 0, 2, l in ascending order.
l, 0, 2
Suppose -v + 3 - 7 = 0. Put v, 4, -2 in ascending order.
v, -2, 4
Let b(l) = -2*l - 3. Let h be b(-2). Suppose 4*c - 5*x = -0*c - 41, 0 = 3*x - 15. Put 3, h, c in descending order.
3, h, c
Let d = -1 - 2. Sort 5, d, -0.2, -4 in ascending order.
-4, d, -0.2, 5
Let v = -0.14 - 1.86. Put v, 0.3, 0.2 in descending order.
0.3, 0.2, v
Let j(x) = 30*x**3 - 1. Let u be j(1). Let v be 0 - -1*2/u. Sort 1, v, 0 in ascending order.
0, v, 1
Let z(u) = u**3 - 2*u**2 - 3*u. Let l be z(3). Suppose -4*y + 0*y + 4 = l. Let q be 3*(0 + -1 + 2). Put q, 4, y in descending order.
4, q, y
Let o = -0.15 - -0.05. Let q = -4.1 - o. Sort 2, 0.1, q in descending order.
2, 0.1, q
Let v(h) = -h**3 + 5*h**2 - 5*h + 4. Let n be v(4). Suppose 4*m + 5 - 21 = n. Sort -4, 3, m in descending order.
m, 3, -4
Let l be 12/3 - (4 + -2). Suppose 45 = 7*w - l*w. Suppose 21 = 4*d + w. Sort d, 5, -5.
-5, d, 5
Let z be (-1 + 2)/(-3) - (-7)/3. Sort -2, -6, z in decreasing order.
z, -2, -6
Suppose -f + 4*f + 7 = -4*s, f + 2*s = -3. Let j be -1 - (-4 + (-1)/f). Let i be 4*(-1)/j + 0. Put -5, 2, i in increasing order.
-5, i, 2
Let m = 189.5 - 190. Sort m, -12, 4, 0.4 in ascending order.
-12, m, 0.4, 4
Let i = -131.9 - -139. Let y = i + -1.1. Let z = y + -10. Sort -0.1, z, 0.3 in increasing order.
z, -0.1, 0.3
Let l = 6 - 6. Let v = -0.2 + l. Sort -1/3, v, 3 in decreasing order.
3, v, -1/3
Suppose -2*w - 7 = -13. Put w, 7, -3 in decreasing order.
7, w, -3
Suppose 22 = 2*s + 4*v, -s - 5*v = s - 27. Sort 3, s, 4, -5 in descending order.
4, 3, s, -5
Let q = 15 + 3. Let h be q/(-4) + 2/(-4). Let v(c) = -c**3 - 7*c**2 - c - 2. Let j be v(-7). Put j, 3, h in descending order.
j, 3, h
Suppose -13 = 2*q - x, -2*q + 2*x - 16 - 2 = 0. Put -1, -0.1, q in increasing order.
q, -1, -0.1
Let h be 5/(2/12*3). Suppose 2*i + 3*i + h = 0. Sort 5, i, 3 in decreasing order.
5, 3, i
Let p = -2/29 - 164/145. Let k = 219 - 218.8. Sort 5, p, k in ascending order.
p, k, 5
Let j be (4/10)/(27/(-15)). Put 0.2, 4, j in ascending order.
j, 0.2, 4
Let z be (-3 + 2)*-3 + -2. Suppose g = -4*g - 15. Put z, g, -5 in decreasing order.
z, g, -5
Let y = -15 - -44/3. Suppose 2*f - 5*f + 5 = -2*c, 2*f + 2*c = 0. Let z be (-63)/(-14) + 2/(-4). Put z, y, f in decreasing order.
z, f, y
Let f = 0.12 - 0.1. Let w = f + -0.04. Let u = w - 2.98. Put -1, u, 5 in descending order.
5, -1, u
Let u = -43 - -128/3. Let j = -0.2 - 0. Put u, 0.3, j in decreasing order.
0.3, j, u
Let q = -17 + 12. Suppose -k - 2*k - h + 11 = 0, -4*k + 3*h = -32. Suppose -19 = -k*i + 6. Sort q, -3, i in decreasing order.
i, -3, q
Let k = -13 + 10. Let f = -5 - -7. Let h = 35/2 - 17. Sort h, f, k in ascending order.
k, h, f
Suppose 37 = 5*w + 17. Let z = -1 - 11. Let k be (0 + 1)/(3/z). Put w, k, -3 in decreasing order.
w, -3, k
Suppose -z - 1 = q, -2*z + 4*z = q - 8. Let w be 20/12*q/(-10). Sort w, -5, -3.
-5, -3, w
Let r = -173.5 + 174. Sort 2, r, 3, -28 in increasing order.
-28, r, 2, 3
Let r be 0 - (0 + -3 + 10). Put -5, r, -2 in increasing order.
r, -5, -2
Let z = 37 - 37.19. Let c = -0.59 - z. Put -0.2, 1, c in increasing order.
c, -0.2, 1
Let h be (-7)/4 + (-2)/(-2). Sort h, 0.3, 14.
h, 0.3, 14
Suppose 0 = -k + 2*k - 4. Let y(w) = -w**3 - 3*w + k*w**2 + 7 - 2*w**2 - 8*w**2. Let m be y(-5). Sort m, 1, 3.
m, 1, 3
Let q = -0.2 + 0.3. Let g = 164 + -147.7. Let a = 16 - g. Put a, 5, q in increasing order.
a, q, 5
Let v(n) be the first derivative of n**3/3 - n**2/2 - 10*n + 4. Let x be v(0). Put 5, x, -4 in descending order.
5, -4, x
Let x = -0.7 - -1. Let s = 6.1 + 1.9. Let a = s - 7.9. Sort a, 0, x in decreasing order.
x, a, 0
Let n = -166 + 1158/7. Let f = 6/13 - 4/65. Sort f, n, 4 in decreasing order.
4, f, n
Let k = -159 + 3023/19. Let y = 3.876 + 0.124. Put y, k, -2 in decreasing order.
y, k, -2
Suppose -2*w - 5*x = 3, -1 = 3*w - 0*x + 4*x. Let j be (9 + 1)*2/4. Suppose r = 2*s - 0*s + 11, 2*s + j*r = 7. Sort w, s, 2 in increasing order.
s, w, 2
Let h = 6 + -5.7. Let r = -106/3 + 275/6. Let n = 10 - r. Put h, -3, n in ascending order.
-3, n, h
Suppose z = -u + 2, 0 = 3*z - 4*u + 19 - 4. Sort -4, z, 4 in ascending order.
-4, z, 4
Let c = 1.1 - 0. Let j = c - 0.8. Sort j, -2, 3 in decreasing order.
3, j, -2
Let v be 40/(-18) + (-6)/(-27). Suppose x = 5*l - 20, 0*x + 5*x + 12 = 3*l. Suppose x = 2*f - 6 - 0. Sort -5, f, v.
-5, v, f
Let v = -3 - -2.7. Let h be (-160)/(-704)*(0 + 8/10). Sort h, v, 4 in decreasing order.
4, h, v
Suppose f - 75 = -4*f. Suppose -4*u - 3*y + f = -0*y, 2*u + 2*y = 8. Put 2, -1, u in descending order.
u, 2, -1
Let x(r) be the second derivative of r**3/3 - 7*r**2 - 9*r. Let n be x(5). Sort n, 0, -5 in decreasing order.
0, n, -5
Suppose 3*n = -n. Suppose 3*b + 0*b = 0. Suppose 3*l + 3 - 6 = b. Put n, l, 3 in increasing order.
n, l, 3
Let f = -0.02 - -0.09. Let j = f - 0.07. Put -2, j, -4 in decreasing order.
j, -2, -4
Suppose 3*g - 8 + 2 = 3*x, -3*g = 5*x - 14. Let o be -1 - (-1 + x + 0). Suppose 0*b + 4*b = 2*j + 8, 2*b = -4*j + 4. Put b, o, -2 in descending order.
b, o, -2
Suppose -j + 4*j = 12. Sort j, -3, -4 in decreasing order.
j, -3, -4
Let m = 1 + 1. Let l be (-4 + m)/((-2)/(-7)). Put 5, l, -5 in ascending order.
l, -5, 5
Let u = 20.1 - 19. Let h = -0.1 + u. Let x = h + -1. Sort 3, x, -5 in ascending order.
-5, x, 3
Suppose 0 = -y + 6*y. Sort -2, -1, y in descending order.
y, -1, -2
Let h be 62/(-16) - (-1)/16*-2. Sort 2/3, -3, h, 1/3.
h, -3, 1/3, 2/3
Let d(s) = 3*s. Let w be d(1). Suppose -3*q + 1 = 2*z, 4*q - 5*z - 3 = -17. Sort q, w, 2 in descending order.
w, 2, q
Let d = -0.16 + 0.07. Let s = -1.91 + d. Let j = s + 1.8. Put 3, -0.5, j in ascending order.
-0.5, j, 3
Let n(c) = 2*c - 1. Let o be n(2). Let f = -6 + 8. Sort -1, o, f in descending order.
o, f, -1
Let y be (-3)/(2/(24/(-9))). Suppose 0 - y = 2*k. Put k, -0.2, 0 in ascending order.
k, -0.2, 0
Suppose -3*g + g - w = -6, 2*w - 6 = -g. Suppose -2*n + 3 = n. Put g, -4, n in decreasing order.
g, n, -4
Let q(c) = -c**3 - 5*c**2 + 9*c + 9. Let d be q(-6). Sort d, 5, 0.4 in decreasing order.
5, 0.4, d
Let t(g) = -g**2 + 5*g + 5. Let l(w) = -3*w. Let v be l(-2). Let a be t(v). Let f = 19 - 94/5. Sort a, 2, f in decreasing order.
2, f, a
Let v be (-8)/(-6)*9/(-3). Let t be (-69)/(-21) - (-4)/(-14). Let z(j) = -j - 4. Let k be z(-4). Sort k, v, t.
v, k, t
Let b = 121.707 + 0.293. Let m = 114.7 - b. Let n = -7 - m. Put n, 5, 4 in decreasing order.
5, 4, n
Let t be 5*3*-1*-1. Suppose 3*l - t = 2*q, -2*q + 5*l + 12 = 37. Let b be q - (-2 - 18/(-8)). Put 2/9, b, -0.4 in decreasing order.
2/9, b, -0.4
Let o be (-12)/20*(-10)/568. Let p = o + 499/6532. Put 3/7, 0.4, p in descending order.
3/7, 0.4, p
Let q = 1 + 0. Sort q, 2, 14 in ascending order.
q, 2, 14
Let m = -2.006 - -0.006. Sort m, 1/2, 0.1 in decreasing order.
1/2, 0.1, m
Let i(c) = -c**2 + 3*c + 1. Let y be i(5). Let x = y + 12. Sort -3, x, 4 in descending order.
4, x, -3
Suppose t - 2 + 3 = 0. Let h be 80/(-4)*1/2. Let z = -8 - h. Put z, -2, t in descending order.
z, t, -2
Suppose 2*o + 12 = 7*o + 4*l, 5*l = -2*o + 15. Suppose 0 = -4*w + 6 - 18. Sort 4, o, w.
w, o, 4
Suppose -l + 0*y = -2*y - 3, -3*y = 4*l + 10. Put 0.8, l, -0.2 in decreasing order.
0.8, -0.2, l
Let u = -1.8 - -0.8. Let x = -1.4 - u. Sort -2, 0, x in descending order.
0, x, -2
Let j = 6.6 + -7. Sort j, -3, -6.
-6, -3, j
Let c(u) = -2*u - 4. Let p be c(-4). Suppose 2*x = -2*a - 8, -4*a = -3*x + p*x + 13. Sort a, 5, 0.
a, 0, 5
Let k = 0.26 + 9.74. Let v = -6 + k. Put -2, v, 0.2 in ascending order.
-2, 0.2,