ending order.
4, r, k
Suppose 3*h + d + 40 = 0, 0 = -4*h - h - 2*d - 67. Put h, -5, -2, 1 in descending order.
1, -2, -5, h
Let f = -45 - -50.4. Let v = -0.4 + f. Put -0.4, v, 4 in descending order.
v, 4, -0.4
Suppose -3*p + 37 = -i, 3*i = -p + 2*i + 19. Sort p, 5, -3 in descending order.
p, 5, -3
Let j(f) = -f**3 - 12*f**2 - f - 9. Let m be j(-12). Let k = -5 - -1. Sort k, 0, m in decreasing order.
m, 0, k
Let o be 26/(-10) + 4/2. Suppose 51 = 4*y - 173. Let d be ((-12)/y)/((-6)/8). Sort d, -0.4, o in descending order.
d, -0.4, o
Let s = -38 + 113/3. Put -0.2, s, 1/3 in descending order.
1/3, -0.2, s
Suppose 2*j = -2, 5*j = -5*p + 24 - 4. Suppose 13*f - 40 = 3*f. Let r be (1/(-2))/(2/(-4)). Sort r, p, f in decreasing order.
p, f, r
Suppose -30 = -w - 5*g - 10, 4*g - 16 = 4*w. Suppose 4*h + o = 5*o - 52, 0 = 5*h - 3*o + 61. Let r = h + 7. Put w, 2, r in descending order.
2, w, r
Let h = -3 + 7. Let t = 0 - h. Sort 0, t, -3/5.
t, -3/5, 0
Let b(f) = -f - 1. Let n be b(-9). Let v = 8 - n. Sort 4, v, -1 in ascending order.
-1, v, 4
Suppose 5*d + 33 = 4*k, -d - 5 = -0*d. Sort -5, k, 8 in ascending order.
-5, k, 8
Let q = -7 - -2. Let l = q - -3. Let i = 12 + -10. Sort i, l, -1/3 in ascending order.
l, -1/3, i
Let x = -2.2 - 15.8. Let m = x + 23. Sort -0.4, 4, m in increasing order.
-0.4, 4, m
Suppose 3*f + 2*f = 10. Let n = f - 4. Put -3, 0, n in decreasing order.
0, n, -3
Suppose -y - y - 5*g = -12, 4*y - 3*g = -28. Let b = 0 + -1. Sort 4, b, y.
y, b, 4
Let b = 0.081 - 3.081. Sort 0.2, -0.2, b in increasing order.
b, -0.2, 0.2
Let v be 60/42 + 4/7. Put -4, v, -1 in decreasing order.
v, -1, -4
Let d = 0.8 + -0.5. Let s = -0.7 - -0.6. Put 2/19, s, d in descending order.
d, 2/19, s
Let u be ((-6)/8)/(1/(-4)). Let d be (10/6)/(1/3). Suppose d*w + 4 = -1. Sort w, u, -5 in descending order.
u, w, -5
Let o be (-8)/(-12)*(-3)/(-3). Sort -2/13, o, 3.
-2/13, o, 3
Let q be 0 + (3 - -2) - 1. Let i(d) = d**3 - 5*d**2 + 4*d + 5. Let y be i(q). Sort 4, y, -5 in decreasing order.
y, 4, -5
Suppose -5 = -5*r + 3*u + 7, r = 3*u + 12. Suppose -4*k = 5*n - 6 + 22, -5*k - 3*n = 7. Let j be r/k - (1 - -1). Sort j, 0, 1 in decreasing order.
1, 0, j
Let w be (-16)/(-24) + (-2)/6. Sort 0.5, w, 2/5 in decreasing order.
0.5, 2/5, w
Suppose -6*k = -3*k + 15. Let n be (1 - 4/2)*1. Sort k, -5/3, n.
k, -5/3, n
Suppose 4*j = 8 + 8. Suppose -5 = 3*w - 4*w. Suppose -w*m = -15, m - 5 + 1 = i. Put 5, i, j in ascending order.
i, j, 5
Let n(r) = r**3 - 7*r**2 - 2*r + 9. Let m be n(7). Sort 2, 5, m in descending order.
5, 2, m
Let g = 0 - -2. Let j = g - 2.1. Let n = 0.1 - j. Sort -2, n, -1/5.
-2, -1/5, n
Let i = 0.2 + 0. Let n = -11446/35 + 327. Let a = n - 31/140. Put a, 4, i in descending order.
4, i, a
Suppose 7*h - 5*h - 6 = 0. Let k = -3 + 3. Suppose -l - 1 + 6 = k. Put h, l, -5 in decreasing order.
l, h, -5
Let a be 17102/14 + 4/(-2). Let d = a - 1213. Let w = d + -6. Put 0.2, w, -0.3 in increasing order.
-0.3, 0.2, w
Let p(r) = r**3 - 9*r**2 - r + 6. Let k be p(9). Let y be (1 + (-2)/1)*k. Let c = -17/4 + 53/12. Put c, y, -5 in ascending order.
-5, c, y
Suppose 4*y - 2*y = 4. Let w be y/9 + (-2)/(-72). Let z = 2 + -2.3. Put w, z, -3/2 in ascending order.
-3/2, z, w
Let u = -0.2 + 1.2. Sort -2/5, -2/15, u, 2 in descending order.
2, u, -2/15, -2/5
Suppose -3*f - 15 = 2*f. Put -1, 10, f in increasing order.
f, -1, 10
Suppose 0 = y - 5*o + 8, -2*o = 4*y + 2*o - 64. Put -3, 5, y in decreasing order.
y, 5, -3
Let a = 143 + -145. Sort 3, a, 5, -1/4.
a, -1/4, 3, 5
Let q = -1.181 - -0.111. Let v = 0.07 + q. Sort v, 0.4, 1/3 in increasing order.
v, 1/3, 0.4
Let t be (-1)/((-2)/10*-1). Let s be 22 - (0 + 3 + -1). Suppose -2*z + 6*z = s. Sort 4, t, z.
t, 4, z
Let i be (3 - (-45)/(-6)) + 4. Sort 16, i, 0 in decreasing order.
16, 0, i
Let v = -0.02 + 0.22. Put v, -1, -1/5 in increasing order.
-1, -1/5, v
Let n = 5 - 1. Let g be 18/(-8)*32/12. Let v = 4 + g. Put n, 2, v in increasing order.
v, 2, n
Let f be (9/3)/(3/(-4)). Let g(c) be the first derivative of c**2/2 + 12*c + 2. Let a be g(-7). Sort f, 0, a.
f, 0, a
Let u be ((-10)/(-4) - 3)*6 - 0. Put u, 47, 5 in descending order.
47, 5, u
Let d = -1 + 0. Let g = 6 + -2. Suppose 4*j - 5 = -l + g, -5*j + 5 = -5*l. Sort l, d, -3 in descending order.
l, d, -3
Suppose 2 - 12 = -2*x. Suppose -3*r = -x*q - 2, q + r = 4 + 2. Sort q, 1, 5 in increasing order.
1, q, 5
Let o(w) = w - 1. Let p be o(8). Put p, -1, -5 in descending order.
p, -1, -5
Let w = -0.1 - -15.1. Let z = w - 6. Let l = 6 - z. Put -0.3, 1, l in descending order.
1, -0.3, l
Let o(r) = -6*r + 2. Let g be o(1). Suppose -3*s - 2 = -5*j, 0 = -3*s - 6 - 6. Sort g, 1, j in descending order.
1, j, g
Let n = -11.74 + 23.91. Let x = -12 + n. Let k = 0.03 + x. Sort k, 3, -1 in descending order.
3, k, -1
Let h(q) = q**2 + q - 13. Let k be h(-4). Put -5, k, 3, -3 in decreasing order.
3, k, -3, -5
Suppose 0 = 8*j - 17*j - 45. Sort j, -1, 2 in descending order.
2, -1, j
Let i be 8*(-3)/(3/1). Let l(q) = -2*q - 11. Let o be l(i). Suppose 4*c - o = 5*c. Sort 1, c, -2.
c, -2, 1
Let x = 7 + -4. Suppose 0 = -3*r + 6*r + 4*f - 13, 5*r + 3*f - 18 = 0. Suppose 4*h + r = 7. Put -3, h, x in descending order.
x, h, -3
Let g = 0.03 - -1.97. Let m = -21.1 + 23. Let s = g - m. Sort s, 1/2, 3 in ascending order.
s, 1/2, 3
Suppose -14*j + 2 = -12*j. Put 3, 0, j, -1 in decreasing order.
3, j, 0, -1
Let m be (0 - (-4 + 2))*7/(-14). Put 2, 4, 5, m in descending order.
5, 4, 2, m
Let k be (6/8)/(1/(-4)). Let o(r) = r**2 - 5*r - 8. Let f be o(6). Sort 1, f, k in ascending order.
k, f, 1
Let d = 28/3 + -26/3. Put d, -0.5, 0.4 in descending order.
d, 0.4, -0.5
Let k = -13 - -12.89. Let r = k - 0.39. Let i = -5 - -3. Put i, -2/5, r in descending order.
-2/5, r, i
Suppose -20 = -7*q + 15. Let i = 7 - 3. Suppose a + 4*n = 7, a + 0*n - 4 = -n. Sort i, q, a.
a, i, q
Let n = -0.3 + 0.1. Let l = 0.2 + 0.1. Sort -0.1, n, l in descending order.
l, -0.1, n
Let i = 44 + -351/8. Put -5, -0.9, i in ascending order.
-5, -0.9, i
Let h be (-6)/9 + 2/3. Let m be h + 6/((-2)/(-2)). Suppose -2*o - o + m = 0. Sort o, 4, 3 in decreasing order.
4, 3, o
Let r = 1 - 1.4. Let j = -205 - -203. Put j, 0.3, r in decreasing order.
0.3, r, j
Let r(o) = o**2 - 15*o + 17. Let v be r(14). Sort -5, v, 4, -4 in descending order.
4, v, -4, -5
Let a(p) = -p**3 + 4*p**2 - 3*p + 3. Let i be a(3). Let y = i + -5. Let b = y - -6. Sort b, -3, -5.
-5, -3, b
Let y = 0 - -5. Suppose 7 = -y*h - 8. Sort h, 1, 3 in ascending order.
h, 1, 3
Let x = 6 + -11. Let b = -5.92 + 6. Let o = b - -4.92. Put x, -0.1, o in descending order.
o, -0.1, x
Let y(k) = -k**3 - 7*k**2 + 2*k + 9. Let d(o) = -7*o**3 - o + 1. Let l be d(1). Let j be y(l). Let v = -0.1 - -0.6. Put v, j, -0.5 in ascending order.
j, -0.5, v
Suppose 5*m + 18 + 30 = 4*b, -2*m - 5*b - 6 = 0. Let n = 78 - 74. Put 3, n, m in decreasing order.
n, 3, m
Suppose 2*g - 5*s + 59 = 0, 5*g = 3*g - s - 41. Let c = g + 11. Let j = 6 + c. Sort 2, j, -1.
j, -1, 2
Suppose -5*p + 4 + 21 = 0. Let c = p - -1. Suppose 2*z = -x + c, 6*z - z - 17 = -2*x. Put 1, x, -2 in ascending order.
x, -2, 1
Let y be 5/(-10)*-1*-2. Sort y, 4, -5 in ascending order.
-5, y, 4
Let d(j) = -j + 7. Let z be d(6). Let r be 6/3 - 24/(-8). Put -4, z, r in increasing order.
-4, z, r
Suppose -4*m - 20 = 0, 0 = -3*r - r + 4*m + 24. Suppose -5*n + 0*n - 2*u + 16 = 0, 2*n - r = u. Sort n, 5, 4 in descending order.
5, 4, n
Suppose -2*c + 6 = 0, 0*c = -h - 5*c + 9. Let q be (-15)/(-2)*(-8)/h. Let k be (-5)/(-5)*q/(-2). Sort k, 4, -2 in descending order.
4, -2, k
Let x be 0/(7 + ((-3)/(-1) - 7)). Let f(u) = -u**3 - u**2 + 1. Let m be f(1). Put m, -4, x in decreasing order.
x, m, -4
Suppose -s - 4*h + 25 = 0, 2*h + 3*h - 35 = -2*s. Sort s, -1, 1 in decreasing order.
s, 1, -1
Let w = 33 + -32.5. Let o be (-2)/(-8)*(1 + -2). Sort -3, o, w.
-3, o, w
Suppose -147 = -11*a - 10*a. Sort a, 1, 5 in ascending order.
1, 5, a
Suppose -2*h + 8 = -x - x, 4*h = -20. Let y(f) = f**3 - 3*f**2 - 6*f + 4. Let l be y(4). Put x, l, 3 in decreasing order.
3, l, x
Let x = 50 + -149/3. Let m = 3 - 2. Sort 4, x, m in ascending order.
x, m, 4
Suppose -6*y + y + 37 = -3*a, -5*a = -2*y + 30. Put a, 34, 5 in descending order.
34, 5, a
Suppose -u + 3*k - 14 = 0, -2*u + k - 8 + 0 = 0. Sort