 order.
-3, m, 25
Let j(h) = -h - 10. Let i be j(-7). Let c = 7 + i. Suppose 0 = 4*l + c*z + 12, 2*z + 8 = 4*l - 4. Put 0.1, 2, l in ascending order.
0.1, l, 2
Suppose 3*u + 1 = -5. Suppose 2*l + 18 = -4*k, -12 = 2*k + 3*l + l. Let n(s) = -s**2 - 4*s + 2. Let q be n(k). Put u, q, -4 in increasing order.
-4, u, q
Let i(y) = -6*y**3 + 2*y**2 - 2*y + 1. Let n be i(1). Let f be 1/(-6) + ((-250)/(-12))/5. Put -4, n, f in increasing order.
n, -4, f
Let b = 159/2 + -78. Sort 4, -3/7, b.
-3/7, b, 4
Let d = -276/35 - -33/5. Put d, 0, -2/7, 0.5 in ascending order.
d, -2/7, 0, 0.5
Suppose 2 = f - 3, 4*k = -4*f + 32. Let j(r) = -r**2 + 11*r - 13. Let u be j(9). Sort k, -1, u in ascending order.
-1, k, u
Let y = -453935 + 8614845/19. Let g = y - -522. Put g, 1, -0.4 in ascending order.
-0.4, g, 1
Let p = 2 + -1. Let i be (-2)/(((-16)/(-6))/4). Put p, i, 0.5 in increasing order.
i, 0.5, p
Let x(n) be the third derivative of n**6/120 - 7*n**5/60 + 5*n**4/24 + n**3 + 3*n**2. Let d be x(6). Let c be (6/(-4) + 2)*d. Sort c, 1, -4 in ascending order.
-4, c, 1
Suppose -18 = -2*p + n - 5, -3*p = -4*n - 32. Suppose -4*b + 2 = 4*a + a, b + 4*a = -5. Sort b, 2, p in decreasing order.
p, b, 2
Let q be -1 + (-3)/(-5) + 24/10. Sort 1, q, -6, 0 in descending order.
q, 1, 0, -6
Suppose 45 = 2*l + l. Let a = 10 - l. Put 2, 0, a in descending order.
2, 0, a
Suppose -z = z, 2*u + 4*z - 4 = 0. Put u, -5, -4 in increasing order.
-5, -4, u
Let a be (-2)/4 - 1/2. Let r be (0*2/(-2))/a. Suppose -q + y = -0 + 1, -2*q = -4*y + 2. Put q, r, -5 in descending order.
r, q, -5
Let w be 4*(-5)/(-10) + (-72)/28. Let x be ((-2)/(-3))/((-1)/(-6)). Put x, w, 0 in descending order.
x, 0, w
Suppose 4*z = -0*z - 2*v - 16, 2*v = 3*z + 5. Put 6, z, 5 in descending order.
6, 5, z
Let h = -5 + 7. Put -5, -4, h in descending order.
h, -4, -5
Let l = -158 - -162. Put -0.3, l, 1/7, 8 in decreasing order.
8, l, 1/7, -0.3
Let f = 59 - 231/4. Let b = -174 - -1220/7. Sort -2, f, b in descending order.
f, b, -2
Suppose 3*g + 0*k - 2*k - 229 = 0, -231 = -3*g + 3*k. Let p = g + -977/13. Put 1, 0.4, p in increasing order.
p, 0.4, 1
Let i = -1 - 1. Let p = i - -4. Sort 3, -2, p in increasing order.
-2, p, 3
Let g(v) = -v**3 - 6*v**2 + 5*v - 6. Let p be g(-7). Suppose 15 = -p*q + 3*q. Let c be 6/15 + (-92)/(-20). Put 4, q, c in descending order.
c, 4, q
Let j = -8 + 6. Suppose 6*m - 2 = 5*m. Sort 6, j, m in increasing order.
j, m, 6
Let j be (-1)/(-3) + (-11)/(-3). Let r be (57/(-38))/(9/(-6)). Suppose -3*p + 22 = 4*k - 2*p, 2*k - 2*p - 6 = 0. Sort k, j, r in decreasing order.
k, j, r
Let j(d) = d + 1. Let h be 1*(-2)/(-2) + 0. Let m be j(h). Suppose 5*y + 3 = m*y. Sort 3, 2, y.
y, 2, 3
Let s = -4 + 4.4. Let p be (-2)/5*(-26 + 21). Put p, s, -2/3 in descending order.
p, s, -2/3
Let j(g) = g - 2. Let y be -2 - (-2 - 0)*1. Let l be j(y). Let z = -1 + 3. Put l, 3, z in ascending order.
l, z, 3
Let c = -13 - -11. Let t = c - -2.5. Let a = -10 - -7. Sort t, a, 4 in ascending order.
a, t, 4
Suppose 13 = -4*z + 5*p - 15, 0 = -2*z - p. Sort 0.2, z, -4, -2/3 in decreasing order.
0.2, -2/3, z, -4
Suppose 9*d - 4*d = 25. Put -4, 0, d in descending order.
d, 0, -4
Let c = -8 - -8. Suppose 0 = -5*q - 15, 0 = -5*t - 3*q + q - 6. Let o = -3 - t. Put o, c, -2 in decreasing order.
c, -2, o
Let h(p) = -p**3 + 4*p**2 - 2*p - 2. Suppose -8*s + 6*s = -6. Let l be h(s). Sort -3, 4, l in increasing order.
-3, l, 4
Suppose 15 = 3*o - 0. Suppose -3*d + 10 + o = 5*n, 5*d + 12 = 4*n. Let l be 3/2*4/n. Put -1, 4, l in increasing order.
-1, l, 4
Let m = 29 - -11. Let n be m/(-12) - (-2)/6. Put 0, -4, n in ascending order.
-4, n, 0
Suppose 5 = -7*t - 9. Put -24, 1, t in descending order.
1, t, -24
Let o(l) = -l + 5. Let g be o(5). Suppose -32*b = -28*b - 4. Suppose 5*r - j + 17 = 0, -r = -6*r + 4*j - 23. Put r, g, b in ascending order.
r, g, b
Let i = -0.11 + 4.11. Put -0.4, 10, i in descending order.
10, i, -0.4
Let u = 0.08 - -1.92. Sort -12, u, 0, -4.
-12, -4, 0, u
Let n = -16.3 - -1.3. Let g = n + 10. Sort g, 2/11, -2 in descending order.
2/11, -2, g
Let s = -9 - -82/9. Put -1/2, -4, s in ascending order.
-4, -1/2, s
Let r be 2 - (-2 - (-2 + 1)). Suppose 4*v = -3*l + 27, 7 = 2*v - 2*l - 3*l. Let u be (v/9)/((-1)/2). Put 2, r, u in increasing order.
u, 2, r
Let w = 9 - -16. Let y be (w/20)/(2/8). Put 4, 1/8, y in descending order.
y, 4, 1/8
Suppose -w + t = 6, 2*w - 5 - 8 = -3*t. Suppose 0 = 3*f - 3. Let b = -28 + 24. Sort b, f, w in ascending order.
b, w, f
Suppose 5*v - 25 = 0, -5*v + 9 = -4*t - 4*v. Sort -5, t, -3 in descending order.
t, -3, -5
Let j = 4 + -14. Let f = j + 5. Let z be 5/(-3) - (-2)/(-6). Put f, z, -2/7 in decreasing order.
-2/7, z, f
Let w = -75 + 78. Put -4, 0, 1, w in descending order.
w, 1, 0, -4
Suppose -2*k + v - 12 = 3*v, 12 = -3*k + 3*v. Sort -16, k, 5, 1 in descending order.
5, 1, k, -16
Let w = -1 - 1. Sort w, 3, -4 in decreasing order.
3, w, -4
Let m(v) = v**3 + 7*v**2 + 7*v + 9. Let r be m(-6). Let n(c) = -c - 13. Let b be n(-9). Let h = b - -1. Put h, r, 1 in descending order.
r, 1, h
Let y(i) = i**3 - 4*i**2 + 7*i - 2. Let m be y(2). Let n = -9 + 5. Sort n, m, -1.
n, -1, m
Suppose -2*h + 5 + 3 = 0. Suppose h*k + 51 = 2*u - 7*u, -30 = 4*k - 2*u. Let g be (-1)/(0 + 3/k). Sort -4, -1, g in increasing order.
-4, -1, g
Let v = 0 + 1/3. Let j = 3 + -1. Suppose -10 = -7*y + j*y. Put v, 0, y in descending order.
y, v, 0
Suppose -3*l + 3 = 4*b, 2*l + 15 = 5*b - 2*b. Suppose -5*u + 31 = -2*o, o + 29 = 4*u + 6. Suppose -15 = u*y - 0. Put 5, y, b in decreasing order.
5, b, y
Let i be (-1)/(3*(-2)/30). Let x be 3/(-12)*2/(-6). Sort i, x, 2 in decreasing order.
i, 2, x
Let d be 0 - (-3 + 0*1/2). Let v = 6 + -11. Put d, v, -3 in decreasing order.
d, -3, v
Let m = -1412/143 - -126/13. Let y be 3 + 0 + 1 + -1. Let j be 1/y + (-4)/30. Put -0.2, j, m in decreasing order.
j, m, -0.2
Suppose -4*z + 5*i + 30 = z, i + 4 = 0. Let j be 8*(1/z - 0). Put 2, 1, j in increasing order.
1, 2, j
Let h be (-2)/(-24) + 19/114. Let z = -1.4 - -1. Put -0.2, h, z in decreasing order.
h, -0.2, z
Suppose 4*t - 5*x = -4, 1 + 23 = 4*t + 2*x. Let m = -3 + 5. Put t, m, 5 in decreasing order.
5, t, m
Let q(t) = 4*t**2 + 3*t + 1. Let a be q(-2). Put -1, a, 5 in ascending order.
-1, 5, a
Let z = 18 - 13. Sort -0.2, -0.4, z in increasing order.
-0.4, -0.2, z
Let v = 11 + -7. Suppose 5*x = 9*x - 4. Suppose -2*z - d = -12, 0 = -5*d + 9 + x. Sort -2, v, z in ascending order.
-2, v, z
Suppose 7*j - 9*j - 4 = 0. Sort 3/7, -0.2, -2/3, j in decreasing order.
3/7, -0.2, -2/3, j
Let v = -10 - -17. Suppose 15*f - 14*f = 2. Suppose -w + f*t + t - 17 = 0, 4*w = -3*t + v. Put w, 5, -4 in increasing order.
-4, w, 5
Suppose -5 = 2*h - h. Let p = 3 + -6. Put -2, h, p in decreasing order.
-2, p, h
Suppose 4 - 1 = a. Suppose -b = -4*n - 1, 2*b + 5*n = 7*b + 10. Suppose 5*w + 0*t + 20 = -4*t, -3*w = 4*t + 20. Put b, a, w in ascending order.
b, w, a
Let o(h) = -h**2 - 10*h + 4. Let y be o(-10). Let k be (6 - 3)*(-1)/3. Let j be k/2 - (-6)/(-4). Put 3, y, j in descending order.
y, 3, j
Let o(c) = 3*c + 2. Suppose -x - 2 = w + 4, 2*w = -4*x - 20. Let z be o(w). Let v = z + 4. Sort 2, v, -3 in increasing order.
-3, v, 2
Let i = -3 + 5. Suppose -i*s + 20 = -6*s. Sort s, 2, -2 in descending order.
2, -2, s
Suppose r + 0*r - 9 = 0. Let d = r + -9. Sort 4, 2, d in ascending order.
d, 2, 4
Let s = -2.7 - -0.7. Sort -4, 4, s in descending order.
4, s, -4
Let a(d) = -d**2 - 7*d - 4. Let i be a(0). Suppose 0 = -4*u - 2*w + 14, -5*u + 19 = 3*w. Sort i, -3, u in descending order.
u, -3, i
Let d = -57 + 283/5. Let q = -5 - -12. Let u = q - 11. Put u, d, -3 in descending order.
d, -3, u
Let t = -0.03 + 0.03. Let y = t - -1. Let r = -0.38 - 0.02. Sort -1/5, r, y in ascending order.
r, -1/5, y
Let o(t) be the third derivative of t**4/24 + t**3/3 - 5*t**2. Let a be o(-5). Put -2, -5, a in increasing order.
-5, a, -2
Let h(x) = x**2 - 3*x + 1 + 0*x**3 - 2 + x**3. Let s be h(-3). Put -1/5, 6/11, s in increasing order.
s, -1/5, 6/11
Let a = 13 - 7. Let p(l) = -l**3 + 7*l**2 - 6*l + 2. Let m be p(a). Put 1/6, m, -2/21 in ascending order.
-2/21, 1/6, m
Let j = 2251/7 - 321. Let c(b) = b**2 - b - 2. Let u be c(-1). Let v = 14 - 9. Put v, j, u in increasing order.
u, j, v
Let o be (-5)/2 + 