order.
k, t, 4
Let a be (-14)/35 + 2/30. Let m = 0.5 - 0.4. Sort m, a, 2/9 in decreasing order.
2/9, m, a
Let u(f) = 4*f**2 + 2*f + 1. Let x be u(-1). Suppose 1 = -41*m - 40. Sort x, -3, m in descending order.
x, m, -3
Let p(o) be the second derivative of -o**5/20 + o**4/3 + 5*o**3/6 + o**2 - 2*o. Let i be p(5). Suppose 4 = i*v - 3*v. Sort v, 0, 3 in descending order.
3, 0, v
Let s be 2/3 + (-32)/3. Let v = -7 - s. Suppose -v*g + 8 = -g. Put 3, 5, g in decreasing order.
5, g, 3
Let j be 1*3*2048/(-96). Let z be ((-24)/10)/((-6)/20). Let b be 3/1 + j/z. Put 1, b, 5 in decreasing order.
5, 1, b
Let y = -16 - -10. Let b be 16/y*(-2)/(-8). Let u = 52 - 55. Sort b, 2/13, u in ascending order.
u, b, 2/13
Let u = -5.6 - -0.6. Let w = 83 + -253/3. Sort u, -0.3, w.
u, w, -0.3
Let u = 2 - 5. Let v = u + 0. Sort 0.3, -1, v in decreasing order.
0.3, -1, v
Suppose -1 - 3 = -2*r, 5*a - 2*r + 14 = 0. Put -18, -3, a in ascending order.
-18, -3, a
Let i be 15/(-105) - (-74)/322. Put -1, 0.4, i in decreasing order.
0.4, i, -1
Let r = -11 - -25. Let s = r - 16. Sort -2/9, s, 0 in descending order.
0, -2/9, s
Let m be (2/(-6))/(7/(-21)). Suppose 12 = x - 4*j, -5*x + j + 0*j + 22 = 0. Sort x, -4, m.
-4, m, x
Let y be 5*2*(-56)/(-35). Suppose 4*d = -4*c + y, c + 2*d - 1 = 2. Sort -5, -4, c in descending order.
c, -4, -5
Suppose 7*b - 21 = 238. Sort b, -1/4, 5 in descending order.
b, 5, -1/4
Let g = 3 - -1. Let q(h) = h**2 - 12*h - 10. Let d be q(13). Suppose 3*s = 3*m - 9, s + 3*s + 11 = 3*m. Sort d, g, m in descending order.
g, d, m
Suppose -t - 4*t = 0. Suppose -5*p - 6 = 2*h - 34, 3*p = h + 8. Sort 3, t, h in decreasing order.
h, 3, t
Let j = 8 - 3. Suppose j*y - 15 = 5. Put -1, 0, y in ascending order.
-1, 0, y
Suppose -12*v = -64 + 4. Put -6, v, 0 in decreasing order.
v, 0, -6
Let n be (-1)/5*2 + (-6)/(-15). Sort n, -5, -4.
-5, -4, n
Suppose 6*m + 0*m = 30. Sort m, -4, -5 in ascending order.
-5, -4, m
Let o(b) = -b**2. Let q be o(0). Sort 4, 1, q, 3.
q, 1, 3, 4
Let u = -11.849 + -0.151. Put 0.1, u, -3/4 in ascending order.
u, -3/4, 0.1
Suppose 0 = 3*t, -o - 2 = 3*t + 4. Let f = o - -7. Sort f, 1/2, 2 in descending order.
2, f, 1/2
Let w = 99 + -90. Put w, 3, 2, 4 in descending order.
w, 4, 3, 2
Suppose -2*i = 5*h - 0*h + 233, 0 = -4*h - i - 184. Let j = -139/3 - h. Sort 1, -1/2, j in decreasing order.
1, -1/2, j
Let t = 0.5 + 4.5. Sort -0.2, t, 100 in ascending order.
-0.2, t, 100
Suppose 5 = -2*k + 65. Suppose -2*z - z + k = 0. Let h = 9 - z. Put h, 2, 4 in increasing order.
h, 2, 4
Let c = -0.12 + 0.62. Put c, 0.3, -0.1 in descending order.
c, 0.3, -0.1
Let a = -1 - -4. Let n = -28 + 27. Sort n, a, -2.
-2, n, a
Let w = 10 - 16. Let c = -11 - w. Sort -0.3, c, 0.3 in descending order.
0.3, -0.3, c
Suppose b + 22 = 3*b. Let j = -8 + b. Suppose -6*c + j*c = -3. Put -4, c, 0 in ascending order.
-4, 0, c
Let n = -1.6 + 3.6. Put 5, 0.1, 0.02, n in ascending order.
0.02, 0.1, n, 5
Let l = -35.5 + 35. Sort -19, l, 0.4.
-19, l, 0.4
Suppose -2*w = -4*q - 5 - 1, 4*q + 2*w - 14 = 0. Sort -5, q, -4.
-5, -4, q
Let z = 915368/9 - 101809. Let x = z - -101. Sort -0.5, -2, x.
-2, -0.5, x
Let f = 189 + -193. Let b = 0 - 0. Put f, b, -3 in ascending order.
f, -3, b
Let o = -40 - -45. Sort o, -1, 2/7.
-1, 2/7, o
Let k = -4 + 0. Let c be (-4)/6*(-15)/10. Sort -6, c, k in increasing order.
-6, k, c
Suppose 0 = s - 1 + 6. Suppose -4*y - a = -0*y + 13, -5*y = -5*a + 35. Suppose 10 = 2*u - 0. Sort u, s, y in descending order.
u, y, s
Suppose -2*q + q = -2. Suppose -6 + q = 4*y. Let a = -4 - -6. Sort a, 0, y.
y, 0, a
Suppose 5*y - 2*d = 4, 5*d = 20 - 5. Suppose 0 = n - 3 - y. Sort n, -4, 3 in decreasing order.
n, 3, -4
Let c(r) = r - 3*r**2 - 7 - 7*r + 4*r**2 - 2. Let f be c(7). Put f, 3, -4 in increasing order.
-4, f, 3
Let k(a) = a + 1. Let v be k(-1). Let j be v/3 - 1 - -3. Suppose -b - j*b = 5*u - 31, 4*b = 2*u - 2. Sort -4, b, 3 in descending order.
3, b, -4
Let k = -5 - -5.2. Let x = -9 - -8.5. Put k, 5/3, x in descending order.
5/3, k, x
Let d = -9 + 12. Suppose -5*f = -2*v - 0*v + 3, -4*v - 1 = -d*f. Suppose z + 4 = -2*w, -2*z = -5*w - 5*z - 8. Sort f, w, -5.
-5, w, f
Suppose 4*t + t = -15. Let f(c) be the third derivative of -c**6/120 + c**5/15 + 5*c**4/24 - c**3/3 - 2*c**2. Let j be f(5). Sort 4, j, t in decreasing order.
4, j, t
Let z = 3.99 + -4. Let y = z - -3.01. Let g be 2/8 + 38/(-24). Sort g, 2/13, y in decreasing order.
y, 2/13, g
Let t = -8 + 9. Let r be -11*t/4 + 2. Let d = -5085/17 + 299. Put -3/2, d, r in descending order.
d, r, -3/2
Let y = -11.4 + 12. Sort 1/4, y, 3 in decreasing order.
3, y, 1/4
Suppose 8*r - 2*y - 23 = 3*r, y = -5*r + 11. Suppose 7 = -a - 3*w, r*w + 19 = -0*a - 4*a. Suppose 0 = -4*d - 1 - 3. Put a, d, 1 in decreasing order.
1, d, a
Let h(p) = -5*p**2 + 1. Let x be h(-1). Put x, 4, 3 in descending order.
4, 3, x
Let q be (-5)/(-7) + (-8)/(-28). Suppose t - 3*t + 2 = 0, 4*l = t + 99. Suppose -6*h + 3*h + 15 = 3*s, 3*h + 5*s = l. Put -2/7, h, q in increasing order.
-2/7, h, q
Let n = 0.4 - 0.6. Let l = n + 0.1. Let y = -11 + 10. Put -4, l, y in descending order.
l, y, -4
Suppose 0 = -m - v - 3, 9 - 3 = m - 2*v. Suppose -5*k = -m*k + 15. Sort 2, -4, k in descending order.
2, k, -4
Let o = 0 + -0.2. Let a = 4.7 + -4.3. Suppose -y - 6 = y. Sort y, o, a.
y, o, a
Let h be 4/(-40) + (-3)/6. Sort -0.3, 6/11, h.
h, -0.3, 6/11
Let o(f) be the third derivative of f**4/12 - 7*f**3/6 + 6*f**2. Let s be o(6). Sort s, 3, -2 in decreasing order.
s, 3, -2
Let j = -39.9 + 40. Put 3, -0.6, j in descending order.
3, j, -0.6
Suppose -m + 7*m - 30 = 0. Let j = -5 + 4. Let z be -6*-1*j/2. Put m, z, 1 in decreasing order.
m, 1, z
Let y(b) = -2*b - 1. Let f be y(-3). Let o = f + -2. Sort -5, 2, o in ascending order.
-5, 2, o
Suppose g + 2*g - 15 = 0. Let k(t) = 3*t**2 + t. Let z be k(1). Suppose -2*i = 5*j - 15, 0 = -3*i - 3*j + j + 6. Put g, z, i in ascending order.
i, z, g
Suppose -m = 2*r + 11, -4*m + 5*m = 2*r + 5. Let v be 32/10 - (-2)/(-10). Put v, r, 2 in decreasing order.
v, 2, r
Let d(f) = 5*f + 1. Let s be d(1). Suppose 5*m - 1 + s = 0. Suppose 0 = -0*k + 2*k. Put -2, k, m in ascending order.
-2, m, k
Suppose -8*k - 5 = -9*k. Put -4, 3, k, -8 in decreasing order.
k, 3, -4, -8
Let o = 31 + -95/3. Suppose -2*u - 4 = -2*s - 0*u, -5*s - 18 = 2*u. Sort 0.3, s, o.
s, o, 0.3
Suppose 0 = 4*b - 15 - 33. Suppose 3*r = -b, r + 1 = 2*u - 3*u. Sort -5, u, 0 in ascending order.
-5, 0, u
Let t be (2/16*-1)/(-1). Let a(r) = 3*r + 8. Let o(x) = -x - 1. Let h(l) = a(l) + 4*o(l). Let w be h(4). Sort 4, w, t in increasing order.
w, t, 4
Let r = 3 - 2. Suppose -4*s + 16 = 4*s. Sort 0.4, s, r in decreasing order.
s, r, 0.4
Let w = -1557027/68 - -22897. Let y = 12/17 + w. Let s = 0.3 - -0.1. Put s, y, -4 in descending order.
s, y, -4
Let i = 78 + -625/8. Let k = -0.004 + 2.704. Let u = k + -3. Put i, 4, u in decreasing order.
4, i, u
Suppose 0 = -3*t - m + 4*m - 30, m + 60 = -4*t. Put t, 2, -5 in increasing order.
t, -5, 2
Let f = 31.1 + -28. Let d = -0.1 + f. Let s = 1 - d. Put 5, -0.5, s in descending order.
5, -0.5, s
Suppose 0 = -0*n + 5*n. Sort 2, n, -2 in ascending order.
-2, n, 2
Let b(d) be the second derivative of -d**5/20 + 5*d**4/12 + 7*d**3/6 - d**2 + d. Let w be b(6). Let m = -65 + 61. Put m, 1, w in descending order.
w, 1, m
Let h be (-4)/(1/(3/3)). Let n = 0 + 1. Put 0, h, n in ascending order.
h, 0, n
Let n(f) = f**3 - f**2 + 4. Let m be n(0). Let l be (5/10)/((-5)/m). Let t = -1 + 1. Sort l, t, -2/9 in increasing order.
l, -2/9, t
Let q(o) = -2*o - 1. Let t be q(-2). Put t, -2, 4, 5 in decreasing order.
5, 4, t, -2
Suppose 5*h + 35 = -5*y, 5 = y - 2*y. Let j be 0 + -13 + (2 - -1). Let m = -15 - j. Put m, h, 2 in ascending order.
m, h, 2
Suppose -5*q + 3*r = 35, -2*q = 6*r - 2*r + 40. Sort -3, -5, q.
q, -5, -3
Suppose 3*o + 63 = -18*o. Put o, 6, 3 in ascending order.
o, 3, 6
Let f(b) = -b**3 - 5*b**2 - 6*b - 6. Let o be f(-4). Let p be 3/((-45)/(-40)) + 2/6. Put -3, o, p in decreasing order.
p, o, -3
Let y = 4.22 + -0.22. Sort 5, -2, 3, y in ascending order.
-2, 3, y, 5
Let d(q) = q**2 + 8*q + 8. Let z be d(-6). Let v be 3 - 5 - (-2 - 5). Put z, v, -5 in decreasing order.
v, z, -5
Let v = -0.9 + 0.91. Sort 1, 5, v, -0.3 in increasing order.
-0.3, v, 1, 5
Let p b