 12 = -4*g. Suppose 4*w = g*i + 7, 0*w + w + 7 = -i. Put 1, w, 4 in decreasing order.
4, 1, w
Suppose -11 = -8*d + 21. Put 5, -3, d in decreasing order.
5, d, -3
Let a = 126 - 507/4. Sort 2/3, 0, a, 0.5 in descending order.
2/3, 0.5, 0, a
Suppose 5*p + 29 = 3*f, -2*f + 0*f = -p - 10. Suppose 26 = -4*l - 2*h, 0*l - 28 = 4*l + 4*h. Let r = l - p. Sort -5, 5, r in descending order.
5, r, -5
Let k = -9.7 - -10.2. Put -5, k, 0.02 in increasing order.
-5, 0.02, k
Let j be -3*1/(-3) + 14. Suppose -2*l + j = l. Let y(t) = -t**2 - 7*t - 4. Let k be y(-7). Sort l, k, 1 in decreasing order.
l, 1, k
Let k = -0.06 - 9.94. Let a = 14 + k. Let v = a + -3.6. Put v, -2/7, 5 in descending order.
5, v, -2/7
Let z(o) = o - 8. Let p be z(12). Let x = -8 + 4. Put p, x, 0 in increasing order.
x, 0, p
Let j be (-34)/(-60) - 2/5. Let g be 2/9 - 80/279. Let k = -43/186 - g. Put k, -5, j in ascending order.
-5, k, j
Let h(j) = 0*j - j - 1 - 1. Let z be h(3). Put z, 5, 2 in descending order.
5, 2, z
Let a = 2.2 - 0.2. Let z be (1 + 14/(-32))/(33/44). Let h be 0 + 0 - (3 - 1). Sort h, a, z in ascending order.
h, z, a
Suppose 7 - 2 = -w. Suppose -5*y = u - 11, 4*y - 2*y = 3*u + 1. Suppose 0 = -d - 2*m + 6, -2*d - 12 = -4*m - 0. Sort w, d, y in descending order.
y, d, w
Let q = 51 - 49. Sort -1, q, 1/3 in descending order.
q, 1/3, -1
Let u = -21 + 19.8. Sort -3, 0, u in descending order.
0, u, -3
Let s(i) = i**2 + 4*i - 6. Let c(n) = -n**3 + 4*n**2 + 4*n. Let g be c(5). Let k be s(g). Put k, 3, 1 in decreasing order.
3, 1, k
Let o = 0.3 + -1.2. Let n = o + -0.1. Let z = -4.3 - -4. Sort -3, z, n in descending order.
z, n, -3
Let b = -1.86 + 2. Let l = -0.86 - b. Sort 1/5, l, -2 in increasing order.
-2, l, 1/5
Let q be (2 - 4) + 4/2. Let z(j) be the first derivative of -j**3/3 - 2*j**2 + 2*j - 2. Let b be z(-4). Sort q, b, -5 in decreasing order.
b, q, -5
Let u = -91.1 + 91. Let g = -0.6 + 1. Put 2/7, u, g in decreasing order.
g, 2/7, u
Suppose -p + 4*n = 0, 2*p + 5*n + 16 = 3. Sort p, -2, 0.
p, -2, 0
Suppose 3*m - 16 = -5*m. Sort m, -3, -2.
-3, -2, m
Let u = -9 + 1. Put -2/5, 0.3, u, 2/3 in ascending order.
u, -2/5, 0.3, 2/3
Suppose 6 = 4*s - 6. Let x = 3 - s. Let g = 0 - x. Put g, 3, -1 in decreasing order.
3, g, -1
Suppose -12 = 2*a + 4*v, -4 = -2*a + 3*v - 2. Let j be -2 + (1 - (4 + 0)). Let x = j + 5. Put a, x, -1 in descending order.
x, -1, a
Let g be (8/(-576)*-8)/(2/(-6)). Put 9, g, 3 in ascending order.
g, 3, 9
Let a be (-7)/(-4) + 9/(-12). Let t(b) = -b + 8. Let o be t(-7). Suppose -i = y - 3, -y - y = -5*i + o. Sort a, i, 4 in decreasing order.
4, i, a
Suppose v - 45 = -13. Suppose v = 2*a + 2*a. Suppose -4 = -3*n + 5*x, 2*n - a = -4*x + 2*x. Sort -3, n, -2 in descending order.
n, -2, -3
Suppose 5*d = -2*g + 15, 0 = 2*d - g - 4*g + 23. Suppose 6 + 6 = 3*x. Let q = 8 - x. Put q, d, -2 in decreasing order.
q, d, -2
Let g = 3 + -6. Let v = -3 - g. Let r = v + 0.4. Put -3/7, r, -5 in descending order.
r, -3/7, -5
Let j = -14 - -9. Suppose 4*b = 7*b + 9. Sort j, b, 1 in descending order.
1, b, j
Let n(g) = g**3 - 10*g**2 + g - 10. Let s be n(10). Suppose -5*b + 20 = s, 0*b = -2*k + b - 4. Sort k, -1, 1.
-1, k, 1
Let i = 2980 + -107287/36. Let q = i + 4/9. Let w = -4 - 1. Put 3, w, q in descending order.
3, q, w
Suppose 0 = y + 5 - 1. Let t be 18/4 - 2/4. Suppose -3*o - 5 = 2*n, 3*n = 5*n + 2*o + t. Sort n, y, -5 in ascending order.
-5, y, n
Suppose -h + 2*w = 4*h - 12, 3*w = -h - 1. Suppose -h*i - 8 = -0. Sort i, -5, 1 in decreasing order.
1, i, -5
Let y = -25/14 + 16/7. Put 8, -4, y in decreasing order.
8, y, -4
Let r = 16 - 16.5. Sort -8, r, 5 in decreasing order.
5, r, -8
Let n be (-1)/(-2 + (-22)/(-10)). Suppose 0*h + 5*j - 33 = -h, j + 35 = 5*h. Suppose -q - h = -4*w, -5*w - 6 = 5*q + 9. Sort n, -2, q in ascending order.
n, q, -2
Suppose 4*j - 2*r + 16 = -r, r + 24 = -4*j. Put 3, 1, j in descending order.
3, 1, j
Let n = 5 + -9. Let a = n - 1. Sort 0, a, -2/5.
a, -2/5, 0
Let n = -9 - -1. Let s(k) = -2*k + 9. Let l be s(11). Let r = l - n. Put r, 4, 3 in decreasing order.
4, 3, r
Suppose 3*l - 2 = 2*l. Suppose -o = 4*c - 39, 7 + l = c + o. Let w be (-12)/c*40/12. Sort -5, w, 3.
-5, w, 3
Suppose -4*f = 16, 2*d - 3 = -3*f - 1. Let l(h) = d - h**2 - 5*h**2 + 3*h**3 + 3*h - 2*h**3. Let w be l(5). Sort -1, 1, w in increasing order.
w, -1, 1
Let m = 4 + -1. Let b be (-3 - (-21)/6)*2. Let k be b + (-1 - 1) + 6. Sort -4, m, k in decreasing order.
k, m, -4
Let h = -95 + 116. Sort -0.2, 3, h in descending order.
h, 3, -0.2
Let m = 13959/23 - 607. Let s(d) = 11*d + 8. Let u be s(-6). Let b = 409/7 + u. Sort m, -4, b in descending order.
b, m, -4
Let n = -18 + 15. Suppose l = 4*l + g - 11, -5*l = -4*g - 7. Let f be (-2 + l)*(-4)/(-26). Sort n, 2/5, f in ascending order.
n, f, 2/5
Let t = -97 - -98. Put t, 0.3, -1, -1/6 in decreasing order.
t, 0.3, -1/6, -1
Let z = 174 + -173. Put 0.1, 5, z, -5 in descending order.
5, z, 0.1, -5
Let b = 0.1 + -2.1. Sort -4, b, 1/2 in increasing order.
-4, b, 1/2
Let v = -1.6 + 1.3. Put v, 1/2, 1 in decreasing order.
1, 1/2, v
Suppose 5*v - 4*x - 10 = 0, v + 2*x = -2*x + 2. Sort -7, v, -5.
-7, -5, v
Let z be (2 - 5) + 3156/1155. Let h = -3/35 - z. Sort 0.02, h, -0.2 in decreasing order.
h, 0.02, -0.2
Let w = -13.6 + 14. Put 5, w, -5 in descending order.
5, w, -5
Suppose 5 + 2 = t. Suppose 4 = -3*q + 4*x - 1, 2*x = 3*q + t. Suppose b - 29 = -4*b - 3*r, -2*b - 2*r + 14 = 0. Sort b, q, -2/7 in ascending order.
q, -2/7, b
Let x = -5.23 - -0.23. Let p = 0.7 - -2.3. Sort p, 1, x.
x, 1, p
Let y be 2 + 2*(-15)/6. Put -5, 1, y in descending order.
1, y, -5
Let m = -60 - -65. Sort -2, -47, m in increasing order.
-47, -2, m
Let d = 3 + 1. Put d, -7, 2 in decreasing order.
d, 2, -7
Suppose 0 = -2*p - 2*p + 24. Let s(w) = -2*w + 18. Let a be s(5). Let g = p - a. Put g, -3, 2 in descending order.
2, g, -3
Let s be ((-2)/(-4))/((-1)/2). Let l = 19/28 - 3/7. Sort l, 0.5, s in increasing order.
s, l, 0.5
Suppose 12*j - 25 = 17*j. Sort j, 5, 0 in descending order.
5, 0, j
Let i(g) = 2*g**3 - 5*g**2 - 6. Let n be i(3). Put -4, -2, n, 34 in ascending order.
-4, -2, n, 34
Let m = -4 - -7. Suppose -10 = -2*k - m*k. Let w(g) = g**3 + 7*g**2 - 3*g - 16. Let j be w(-7). Put 0, j, k in decreasing order.
j, k, 0
Suppose 0 = 2*v - q + 6, 3*v - 4*v - 5*q = -19. Sort 4, -5, v, -2.
-5, -2, v, 4
Let f = 182 - 178. Let c = -1/30 - -37/210. Put 2/3, f, c in ascending order.
c, 2/3, f
Let v = 5 + 1. Let i be (-9)/(-12)*4/v. Put -5, i, 5 in decreasing order.
5, i, -5
Let j be (1 - 3) + 7 + -2. Let g be 2 + (6 + -3 - 4). Put j, g, -2 in decreasing order.
j, g, -2
Let z be (-2 + 3)*(0 - 6). Let m be (9 - 0)*(-4)/z. Let x be (m/(-99)*6)/2. Sort -1/3, x, 0.4 in descending order.
0.4, x, -1/3
Let x(a) = 3*a + 2. Let w = 11 - 15. Let r be x(w). Let k = r + 6. Sort -5, 5, k in decreasing order.
5, k, -5
Let g = -28 - -59/2. Put -1, -3, g in increasing order.
-3, -1, g
Suppose 4*x + 15 + 1 = 0. Let v = -32 - -33. Let h = 8 + -13. Sort x, v, h in ascending order.
h, x, v
Let o be 2/3 - 9/((-243)/(-18)). Let u = 2.3 + -0.3. Put o, u, -1/3 in decreasing order.
u, o, -1/3
Let k = -28 - -23. Let v be ((-1)/(-2))/((-2)/(-8)). Let w be (-1)/3 - 7/(-12). Put k, v, w in decreasing order.
v, w, k
Let k = -8.02 - -0.02. Let i = k - -8.2. Put 0.1, i, -0.4 in descending order.
i, 0.1, -0.4
Suppose -2*d + 4 = 2*d. Suppose -5*a = 4*k - d + 22, 3*a = -5*k - 10. Put 2, -3, k in descending order.
2, k, -3
Let i = 37 + -39. Let f = 0 + -0.1. Let k = f + 0. Sort k, i, 2/5.
i, k, 2/5
Let c = 0.2 + 0.1. Let s = 0.3 - c. Let y = 1 + 1. Put s, 0.1, y in decreasing order.
y, 0.1, s
Let s be (-5)/10*36/21. Suppose -4*c + 3 = 3*z, -2*c - 3*z = c - 6. Sort c, -5, s.
-5, c, s
Let c be (16/(-6))/(2/(-3)). Sort c, 3, -8.
-8, 3, c
Let h(t) be the second derivative of t**3/6 + t**2 - 3*t. Let q be h(0). Sort q, 1, 5 in ascending order.
1, q, 5
Suppose 0 = -5*p + 2*s + 1, -2*p - s - 6 = p. Put 1, p, 3 in ascending order.
p, 1, 3
Let w = 2.38 - 2. Let q = w + 0.02. Let o = -2.9 + -0.1. Put o, -0.4, q in ascending order.
o, -0.4, q
Suppose 0*n - 20 = -5*n. Let q be 28/16 - (-2)/8. Let w be (-2 + 5)*(-2)/q. Put n, w, -5 in descending order.
n, w, -5
Let v = -0.317 - -0.017. Put -4/7, -3, v, 3 in descending order.
3, v, -