
c, 1, 3
Suppose k + 16 = 3*k + 3*u, 0 = -k + 2*u - 6. Let w be (-344)/(-9) - k/9. Let b be 10/40 - w/(-8). Sort b, -4, -3 in ascending order.
-4, -3, b
Let s = -3 - -1. Let t be (1*0/4)/s. Sort t, -1, -3.
-3, -1, t
Let w = 2.5 + 0.5. Suppose 0 = 3*v + 3 - 9. Suppose 15 = -7*i + v*i. Sort i, -1, w in descending order.
w, -1, i
Let z = 6 - -1. Let b = z + -6.5. Sort 1, -0.3, b in decreasing order.
1, b, -0.3
Let t be ((2 + -4)/1)/25. Put -4, -0.5, 4, t in decreasing order.
4, t, -0.5, -4
Let t = 0.28 - -0.12. Sort 3, t, 3/2 in ascending order.
t, 3/2, 3
Let h(n) = n**3 + 3*n**2 - 5*n - 8. Let z be h(-4). Let k = 1 - 1. Suppose k = -0*v + 3*v. Sort v, 2, z.
z, v, 2
Suppose -v + 2 = -2*v. Let u be v*3/(15 + 3). Suppose -3*p = -2*t + 14, 3*t + 3 + 2 = -2*p. Sort u, 2, t in ascending order.
u, t, 2
Suppose -6 = -3*d + 42. Suppose 0*t = -4*t - d. Let b = 31/140 - -1/35. Put b, t, -3 in increasing order.
t, -3, b
Suppose 3*o = c + 5, 0*o + 4*o = 3*c. Suppose -c*y = y. Sort -5, -1, y in decreasing order.
y, -1, -5
Let x = -0.4 + 0. Let j = 13/1494 - 13795/1928754. Let s = -2556/16783 - j. Put x, s, -3 in ascending order.
-3, x, s
Let a be ((-2)/(-3))/((-20)/18). Let r(g) = -3*g. Let p be r(0). Suppose 0 = -3*w - 4*o, -3*w + 0*w - o = p. Sort 6, w, a in decreasing order.
6, w, a
Suppose 5*p + 5*j + 32 = 2*j, 5*p = -4*j - 36. Let f = 10 - 7. Suppose -3*n - d + 5 = -n, -3*n - d + 9 = 0. Put p, f, n in decreasing order.
n, f, p
Let i = 0.7 + -11.7. Let m = 13 + i. Sort -2/5, m, 2/7 in descending order.
m, 2/7, -2/5
Let t = 1 + 1. Let h(p) = p - 13. Let o be h(11). Sort 4, t, o in decreasing order.
4, t, o
Suppose -t = 7 - 3. Let j = 51 + -49. Suppose 5*p = 4*b + 12, -3*p = p. Sort t, b, j in ascending order.
t, b, j
Let g = -27 - -27.5. Let r be 2 + -3 - -1*1. Suppose i - 4*i = r. Sort g, i, -5 in descending order.
g, i, -5
Let r be (-1 + (-6)/(-5))*2. Let j = -6 + 9. Put r, 0, j in ascending order.
0, r, j
Let v = -13 - -9.2. Let y = -4 - v. Let s = 3 + -4. Sort s, 0, y in decreasing order.
0, y, s
Let d = 0.025 + -4.025. Let z = -3 - -3.2. Sort 2/3, d, z in decreasing order.
2/3, z, d
Let x = -20 + 22. Sort 4, -3, x in descending order.
4, x, -3
Let o = -2.93 - 0.07. Let m = -3.92 - 0.08. Sort 4, m, o in increasing order.
m, o, 4
Let m = -14.5 - -14. Sort m, -3, -2 in increasing order.
-3, -2, m
Let o = 10 + -10. Let v = o - -4. Put -2/11, v, -3 in descending order.
v, -2/11, -3
Suppose 3*g + 115 + 20 = 0. Let s be g/(-10) - (-1)/2. Let x(i) = -3*i**2 - i - 2. Let t be x(-1). Put s, -1, t in increasing order.
t, -1, s
Let d(m) = -2*m - 9. Let u be d(-3). Put 0, -4, u, -13 in decreasing order.
0, u, -4, -13
Let n be 2*3/120*-3. Let w = 1/60 - n. Sort 2, w, -4 in ascending order.
-4, w, 2
Let q = 15 + -15. Let k = 3 - 4. Put 2/7, k, q in descending order.
2/7, q, k
Let s be (0/1 - -10)*2/4. Suppose p = -3 + 1. Sort p, s, -1 in descending order.
s, -1, p
Let z = 0.12 + -0.02. Sort -0.01, 4, z in decreasing order.
4, z, -0.01
Suppose 5*u - 4*m - 10 = 0, -5*u - 16 = 2*m - 56. Suppose -3*a + 0 = -u. Put a, 3, 1 in descending order.
3, a, 1
Let a(z) = 3*z**2 - 26*z + 12. Let n(b) = b**2 - 9*b + 4. Let o(i) = 3*a(i) - 8*n(i). Let h be o(5). Put -0.2, h, 3 in decreasing order.
3, -0.2, h
Suppose -4*g - 2*k = -0*g, 5*g + 4*k = 0. Sort g, 4, 1 in ascending order.
g, 1, 4
Let x = -6 - -3. Let y = x - -3. Let c be -2*(-2)/(-40)*2. Sort c, -2/19, y.
c, -2/19, y
Let f = -0.1 - -0.3. Suppose 95*u - 99*u = 8. Sort u, f, -0.3 in increasing order.
u, -0.3, f
Let s(y) be the second derivative of -y**5/20 + 7*y**4/6 - 2*y**3 - 7*y**2 + 4*y. Let b be s(13). Put b, -4, -3 in increasing order.
-4, -3, b
Let t = -0.36 - -0.22. Put 4, t, 6 in descending order.
6, 4, t
Let p be (2/3)/(32/72). Let o be -1 + (-5672)/(-22) + -2. Let w = 255 - o. Put w, p, 3/8 in descending order.
p, 3/8, w
Let r be 12*4/(-36)*3. Sort r, 5, -1, -2 in increasing order.
r, -2, -1, 5
Let l be 0 + (0 + 0)/(-3). Let r = 7 - l. Let y = 5 - r. Sort 4, y, 3 in increasing order.
y, 3, 4
Let u = 143 - 431/3. Let f = -1.94 - 0.06. Let n = f + 1.9. Sort n, 0.4, u in increasing order.
u, n, 0.4
Suppose 2*o + 6 = 2*r, 5*o + 2*r + 4 - 3 = 0. Put 2, 0, o, 5 in descending order.
5, 2, 0, o
Let j = 14 + -12. Suppose -2*q = 2*g - 2, -5*g - 2 + 0 = -j*q. Put 5, 3, q in ascending order.
q, 3, 5
Let r be 3 + (1 - 3) - 1. Sort r, -5, 6 in descending order.
6, r, -5
Suppose -5*t + 1 = -14. Let d be 3 + t/(9/6). Sort d, -5, -4 in descending order.
d, -4, -5
Suppose 109 = -5*n - 96. Let b = -247/6 - n. Put 1/7, b, -2/7 in descending order.
1/7, b, -2/7
Let v = -1 - -6. Let n be (5 - 10)*(-4)/(-10). Put n, v, 8 in ascending order.
n, v, 8
Let n = 130.3 + -130. Let m be -1 + 2 + (-7)/9. Sort m, 3, n in increasing order.
m, n, 3
Let m = 8 - 7. Let w be (3/(-42))/((-1)/(-4)). Put -0.3, m, w in descending order.
m, w, -0.3
Let o(a) = -a**3 + 7*a**2 + 2*a - 9. Let f be o(7). Suppose r - 17 = f*k - 3*r, -2*r - 19 = 3*k. Sort 1, k, -3 in increasing order.
k, -3, 1
Let c = 70 - 77. Let i = -13 - -8. Sort c, i, 0 in decreasing order.
0, i, c
Let t = -0.06 + 0.06. Let b(a) = -a**2 + 9*a - 7. Let o be b(8). Suppose -6 + o = -5*x. Put -1, t, x in ascending order.
-1, t, x
Let m(o) be the third derivative of o**6/120 + o**5/5 + o**4/2 + 7*o**3/3 - 2*o**2. Let w be m(-11). Sort 6, w, -5 in ascending order.
-5, w, 6
Let p = -3.5 - -7.3. Let d = -4 + p. Sort -2, d, 0.2.
-2, d, 0.2
Let z = -58 - -233/4. Sort z, -4, 1.
-4, z, 1
Let m = 112.4 + -112. Sort 0.5, 12/11, 0, m in descending order.
12/11, 0.5, m, 0
Let w(v) = -3*v - 3*v**2 + 4*v**2 - v**2 - v**2 + 4. Let l be w(-4). Suppose 4 = 4*z - l. Sort z, -1, 0 in increasing order.
-1, 0, z
Suppose -9 = 4*a - 5*z, 3*a + 8*z - 37 = 3*z. Let c = -2 - -2. Put c, 3, a in descending order.
a, 3, c
Let g = 160 + -643/4. Let c = -9 - -8. Let b = 4 + -4. Sort g, c, b.
c, g, b
Suppose 5*a + 18 = 4*g, -2*a + 3*a + 6 = 2*g. Put a, 0, 3 in descending order.
3, 0, a
Let p = 1.2 - 1. Let v = -3.4 + 6.4. Sort v, p, -2/5.
-2/5, p, v
Suppose -4*s - 2*l = 0, 5*s + 2*l = 6*l - 26. Let w be 4/14 - (-78)/21. Suppose w*h - h = -9. Sort 4, s, h.
h, s, 4
Let n = -0.29 + -0.21. Put n, -5, 5 in decreasing order.
5, n, -5
Suppose 5*d = 6*d + 4. Sort d, 1/4, -5.
-5, d, 1/4
Let w(f) = -f**2 + 1. Let z be w(-1). Let j be z + (-1 + 2)*-10. Let m be (-8)/j - (-10)/(-5). Sort -0.2, 2, m in descending order.
2, -0.2, m
Let m = 15 - 10. Let j = -0.12 + -4.88. Let w = j - -9. Sort m, -3, w in decreasing order.
m, w, -3
Let h = 135 - 2023/15. Suppose -3*z - z - 20 = 0. Let y be ((-8)/(-10))/((-22)/z). Put -0.1, h, y in increasing order.
-0.1, h, y
Let w = -1 + -4. Let b(n) = -n - 9. Let x be b(w). Put -1, -2, x in decreasing order.
-1, -2, x
Let m = 893/11 + -81. Let s = 0.077 + -0.447. Let n = s - 0.03. Sort m, 4, n in increasing order.
n, m, 4
Let k(f) = -f**3 + 10*f**2 - 8*f - 4. Let v be k(9). Suppose -2*j - 2*j = 0. Sort v, j, -4 in decreasing order.
v, j, -4
Let l be (3/2)/(6/4). Let w be -2*(10/4 + -1). Sort 0, l, w in increasing order.
w, 0, l
Let u = 9 - 4. Let g = -2 + u. Let t = -2.6 + g. Sort 1/3, -4/7, t in decreasing order.
t, 1/3, -4/7
Let z = 4 - 8. Let t = 15 + -10. Suppose -a = -t, 5*u - 6 = -5*a + 4. Put -2, u, z in decreasing order.
-2, u, z
Let r(u) = -3*u - 8. Let m be r(0). Sort 1, m, 3 in decreasing order.
3, 1, m
Let t be 21/(14/(-2))*2/(-21). Sort t, 3, -2/19, -1/2 in decreasing order.
3, t, -2/19, -1/2
Let w = 1093/4 + -272. Put w, 2, 5, 3/2 in increasing order.
w, 3/2, 2, 5
Suppose m = -4*p + 3*p - 2, -3*p = 2*m + 9. Suppose m*c + w + 5 = 0, 0 = -c + w - 2*w - 3. Let l = -183/4 + 46. Put -5, l, c in descending order.
l, c, -5
Suppose -11*a + 14*a = -t + 16, -8 = -3*t - a. Put 10, 5, -4, t in decreasing order.
10, 5, t, -4
Let g be (8/(-114))/((-4)/(-12) + -1). Sort -4, 6, g, -2/3 in decreasing order.
6, g, -2/3, -4
Let f = 284.646 + -285. Let i = -2.384 - f. Let m = 0.03 + i. Put 0.2, m, 0.3 in decreasing order.
0.3, 0.2, m
Let j = 15 - 18. Let y be (0 - (-2)/10)/1. Put -0.1, j, y in increasing order.
j, -0.1, y
Let y = -18 + 11. Let z = y - -9. Suppose 0 = 3*p - n - 10, 8 = 2*p + z*n - 4*n. Put 4, p, 0 in descending order.
4, p, 0
Let o be (-200)/56 + 6/(-14). Put o, 3, -2 in decreasing order.
3, -