4
Suppose 0*k - k = 2*z + 1, 2*z - 2 = -4*k. Sort 3, -6, -4, z in descending order.
3, z, -4, -6
Suppose -180 = 4*u - 2*b, -3*u + 0*b = -4*b + 130. Let s be 2/7 - u/(-14). Let v(o) = o + 5. Let x be v(s). Sort -1, x, -2 in increasing order.
-2, -1, x
Let u be (-2)/(-26)*(1 - -14). Let g = -21/52 + u. Suppose -i = 2*h - 2*i, 0 = -5*h + i. Put g, h, -1/4 in descending order.
g, h, -1/4
Suppose 0*q + 2*q - 3*r - 12 = 0, 2*q - 2*r = 10. Suppose u - 3 = -7. Put u, -3, q in ascending order.
u, -3, q
Let v = 2 - 2.4. Sort 2/5, -2, v in descending order.
2/5, v, -2
Suppose 4*s + 7 = -9, 4*a + 24 = -2*s. Sort -2, 4, a.
a, -2, 4
Let f = 2.8 + -2.3. Put -0.2, 0.3, f in decreasing order.
f, 0.3, -0.2
Let l = -32 + 35. Let f be 6/33 + -2 + 2. Sort l, f, -0.02 in decreasing order.
l, f, -0.02
Let g = 0.53 - 0.03. Sort 0.3, g, -39 in decreasing order.
g, 0.3, -39
Let v = 0.26 + 1.74. Let k be (0/(-9))/(-1*1). Put -3, k, v in descending order.
v, k, -3
Let c(a) = -a**3 - 7*a**2 - 6*a - 3. Let q be c(-6). Suppose -3*i = -5*w + 2*i + 10, 5*w + 8 = -4*i. Let j = w - 5. Sort 0, j, q in decreasing order.
0, q, j
Let b(g) be the first derivative of 1/2*g**2 - 6*g + 3. Let t be b(10). Sort t, -3/2, -1/7 in descending order.
t, -1/7, -3/2
Suppose 0 = -a + 2*c + 2*c - 2, 0 = 3*a - 5*c + 6. Let z be (2/(-15))/((-3)/30). Sort a, 4/5, z in descending order.
z, 4/5, a
Suppose 3*t = -4*r + 2*r - 5, 5*t + r = -13. Put 1, t, 17 in increasing order.
t, 1, 17
Let i be (-1)/4*(1 - (-4 - -7)). Let n = 0.08 + 4.92. Sort i, -2, n in increasing order.
-2, i, n
Let p = 0.45 - 0.05. Let y = p - 0.3. Let k = 4.9 + y. Sort 4, k, 2/3 in descending order.
k, 4, 2/3
Let m = -10.8 + 10. Let u = m - -0.8. Sort u, -0.4, -1 in increasing order.
-1, -0.4, u
Let a = -253 - -3287/13. Sort -1, a, -2 in increasing order.
-2, -1, a
Let h be -1 + (-3 - (2 - 4)). Let b be ((-3)/(-63) - 0)*h. Suppose 2*f = l + 15, -4*f + 4*l = -0*f - 40. Sort b, 2, f in increasing order.
b, 2, f
Let o = -20.7 - -21. Put -2/7, -5/3, o in decreasing order.
o, -2/7, -5/3
Let v = 12 + -12. Put -3, -1, v in ascending order.
-3, -1, v
Let v be ((-76)/10 - -4)*10/(-4). Sort -2, v, 1/5.
-2, 1/5, v
Let o be -3*2/6*-2. Suppose 0 = -5*n + 101 + 24. Suppose 6*q - q + n = 0. Sort q, 3, o in decreasing order.
3, o, q
Suppose 2*g + k - 3*k + 10 = 0, 5*k = 2*g + 10. Put g, 3, -3/8 in descending order.
3, -3/8, g
Let o = 0 - -1. Let r(c) = c**3 - 8*c**2 - 9*c. Let w be r(9). Let s = 4 + w. Put s, o, -5 in descending order.
s, o, -5
Let i(u) = 4*u + 4. Let t(r) = -7*r - 9. Let h(g) = -5*i(g) - 3*t(g). Let c be h(-6). Sort c, 4, -5.
-5, c, 4
Let g = 3 + -5. Let z be (-7 + -1)*g/4. Suppose v + z*a + 2 = 0, a - 8 = 4*v - 0*a. Put 3, v, -4 in decreasing order.
3, v, -4
Let x = -11 - -32. Let z be (-8)/(-6) + (-7)/x. Sort -3, z, -1 in decreasing order.
z, -1, -3
Let u(s) be the first derivative of s**3/3 - 5*s**2/2 + 3*s + 3. Let i be u(5). Sort i, -3, 4.
-3, i, 4
Let i = 0.03 - 0.43. Let u = -4/103 - -250/1133. Sort u, 2/13, i.
i, 2/13, u
Let m = 11 + -14. Put -1, m, 0 in decreasing order.
0, -1, m
Suppose -5*t + 2 = -3*t. Sort 5, t, -5 in decreasing order.
5, t, -5
Let t = -0.18 - -3.18. Let v = t - 2. Let p = 2/433 + 848/3897. Put -1/6, v, p in ascending order.
-1/6, p, v
Let y be ((-10)/25)/((-2)/(-20)). Let q(o) = -o**3 - 7*o**2 + 9*o + 5. Let n be q(-8). Let p = -7 - -10. Sort n, y, p in ascending order.
y, n, p
Let z = -147 + 146. Put -19, z, -4 in decreasing order.
z, -4, -19
Let l be (-10)/3*3/(-2). Let t = 0.24 + -0.54. Sort -2, l, t in ascending order.
-2, t, l
Suppose -2*a + 0*o + 2*o - 14 = 0, -3*a + 2*o - 17 = 0. Sort -1, 1, a in decreasing order.
1, -1, a
Suppose 5*i + 0*w = 3*w - 6, -5*i - 5*w + 10 = 0. Let u be (-1)/((-2)/46 - i). Suppose -u = -2*v - 3*o, o + 1 - 18 = -3*v. Put v, 5, -1 in decreasing order.
5, v, -1
Let f be (-4)/3*(-4)/(-8). Put 0.5, f, -3/8 in descending order.
0.5, -3/8, f
Let h = 0.3 + 0.2. Let g = h - 0.4. Let j = g - -0.1. Sort j, -0.5, 0 in increasing order.
-0.5, 0, j
Suppose 0 = -4*z - 0 + 28. Suppose r - 2*t = -7, -t - z = -r + 4*r. Sort -5, -2, r in decreasing order.
-2, r, -5
Let h(t) = -t**3 - 13*t**2 + 2*t + 29. Let f be h(-13). Let k(x) = x**2 - x - 1. Let c be k(0). Let y = 1 + -1. Sort f, c, y in increasing order.
c, y, f
Let c = 17 + -16.5. Let p(m) = -m**3 - m**2 - 2*m - 3. Let x be p(-2). Let u be (-1)/x*(-9)/(-3). Put c, -1, u in decreasing order.
c, u, -1
Let s = 5.7 + -6. Put s, -1/2, -0.2, -5 in increasing order.
-5, -1/2, s, -0.2
Suppose 0 = -23*l + 5*l + 36. Suppose 4*i + 20 = -i. Sort -5, l, i.
-5, i, l
Let z(b) = -2*b + 10. Let u be z(8). Let o(f) = -f - 9. Let x be o(u). Suppose 4*j = -0*r - r + 3, -3*r + 3*j - 6 = 0. Sort 5, r, x in ascending order.
x, r, 5
Let b = -497/5 - -99. Suppose -7 = w + 3*n, 3*w - 2*w = -2*n - 3. Put w, b, -4 in increasing order.
-4, b, w
Suppose z = q - z - 5, q - 13 = 4*z. Let w be (4/(-4) - q) + 6. Put w, -1, 0 in ascending order.
-1, 0, w
Suppose 0 = 2*t + 1 - 11. Suppose -2*o - 3*o + 4*j + 3 = 0, 9 = o - t*j. Put 0, o, -3 in decreasing order.
0, o, -3
Let y = 0.1 + 0.2. Let b = 0.2 - y. Suppose -5 = 5*z + 10. Sort b, z, 5 in ascending order.
z, b, 5
Let w = 0.16 - 2.22. Let m = -0.06 - w. Put m, -3, 0.5 in descending order.
m, 0.5, -3
Let a be 1/(2 - (-36)/(-8)). Let b = 0 + 0.3. Put b, 1/2, a in decreasing order.
1/2, b, a
Let z = -0.3 - -0.5. Let s = 2.8 + z. Sort 0.3, 0, s in decreasing order.
s, 0.3, 0
Let z = 19.061 + -0.061. Put 0.3, -0.2, z in ascending order.
-0.2, 0.3, z
Suppose 0 = 3*f + 2*t + 1 - 3, 2*t = f + 2. Let q = 4 - 0. Sort -2, q, f.
-2, f, q
Let t = -74 - -78. Let g be 0 - (12/(-14) + 1). Put g, -3, t in decreasing order.
t, g, -3
Let w be 0/(6/(5 + -2)). Let k be ((-4)/5 - w)*5. Suppose -2*d + y - 4 = 0, y = -0*y. Put d, 3, k in decreasing order.
3, d, k
Let n = -17 - -20. Suppose -4*p - 4 = -4*t, 4*t - 3 = 5*p - 2. Sort n, 5, t in decreasing order.
5, t, n
Let x = 7 - 5. Let v be 1*3*2/6*-1. Sort x, v, 4.
v, x, 4
Let k = -0.01 - 0.39. Let y = -38 + 38.4. Put k, y, -7 in ascending order.
-7, k, y
Suppose 4*g + 6 = 3*w - 5, -4*g = -4*w + 8. Let q be (-2 - w)/(1 + -2). Sort q, 3, -2 in descending order.
3, q, -2
Let w = 0.162 - -0.038. Sort -0.06, w, 1, -2 in descending order.
1, w, -0.06, -2
Let f = 22.9 - 21. Let s = f + -2. Sort 0.1, s, -0.3 in decreasing order.
0.1, s, -0.3
Let l be 8 - (9 - (-5 - -10)). Sort 5, 0, l in descending order.
5, l, 0
Let q = -0.1 - -3.1. Let k = 14.5 - 15. Sort q, k, -4.
-4, k, q
Let z(u) = -4*u + 3. Let i be z(-3). Suppose 3*q - f = -2*q - i, 0 = 2*q - 3*f - 7. Sort -3, q, 5.
q, -3, 5
Let x = 22 + -17. Put -0.4, x, -0.5 in increasing order.
-0.5, -0.4, x
Let m = 41 - 42. Sort 4, -2, m in ascending order.
-2, m, 4
Suppose -3*i + 2*i = -2. Let r be (1/(-2))/(1/10). Sort r, i, 0 in decreasing order.
i, 0, r
Suppose 0 = 4*p - 3*s + 23, 3*p - 4*s + 16 = -3*s. Let o be -5 - 0 - (1 - -1). Let z be 2/o + 24/35. Sort p, z, 0 in descending order.
z, 0, p
Suppose -2*z - a - a = 12, -z - 3*a - 10 = 0. Let y = z + 1. Sort 3, -1, y in descending order.
3, -1, y
Suppose 0 = -2*a + 2 + 4. Sort a, 0.1, -4.
-4, 0.1, a
Let r(v) = -18*v**2 + 4*v + 2. Let m be r(-1). Put 1, -1, m in descending order.
1, -1, m
Let v = 0.8 + -0.76. Let q = v - 4.04. Sort 0.3, q, -2/9 in descending order.
0.3, -2/9, q
Let a be (4/3*18/24)/(-1). Suppose -11 = 2*g - 3. Sort g, a, 3 in decreasing order.
3, a, g
Let g be 2/(-4 + (-6)/(-3)). Put g, 1, -2 in increasing order.
-2, g, 1
Let k(q) = -q**3 + 8*q**2 + 7*q + 9. Let f be k(9). Sort -4, f, 3 in descending order.
3, -4, f
Let m be (-3 + 57/20)*-27. Let w = m + -13/4. Let x be ((-6)/15)/(34/(-10)). Sort -2/3, w, x in descending order.
w, x, -2/3
Let l = 16.3 + -17. Let c = 3.7 + l. Let t = -0.3 - -0.2. Sort 0.5, t, c.
t, 0.5, c
Let g = 39 + -41. Put g, -5, 0, -4 in descending order.
0, g, -4, -5
Let g be (-9 - 1)/(6/3). Sort 2, g, 4 in descending order.
4, 2, g
Let k = -0.4 - 0.4. Let n = 0.7 + k. Put n, 3/4, 0.5 in descending order.
3/4, 0.5, n
Suppose s - 9 = -4*y + 4, 16 = 3*y + 2*s. Let p be y*-5*(-1)/(-2). Put p, -2, 4 in increasing order.
p, -2, 4
Let l be ((-8)/10)/((-3)/15). Suppose 3*k - 6*s + l*s = 3, -4 = -4*k - s. Let v be 2/4*(k - 3). Put -3, 1/6, v in descending orde