1, t, 4
Let t = 17 - 16. Let n = 0.7 - t. Sort n, -2/13, -3 in ascending order.
-3, n, -2/13
Suppose 4 = 6*x - 2*x. Sort 2, x, 1/18 in increasing order.
1/18, x, 2
Let u = -6.8 - -1.8. Sort u, -1/3, -6 in descending order.
-1/3, u, -6
Let r be (0 + 1)/(-1) + 15. Let s = 10 - r. Let j(b) = -b**3 + 6*b**2 - b + 8. Let y be j(6). Sort y, -5, s in descending order.
y, s, -5
Let j be 1/(4/(-8) - (-3)/(-6)). Sort 2, j, 3 in increasing order.
j, 2, 3
Let q = -0.2 + -4.8. Let w = 4.85 - -0.15. Sort w, -0.1, q.
q, -0.1, w
Let z be 12/(-8)*16/6. Suppose 0 = -q - 2*q + 9. Suppose -2*d = q*d. Sort -2, d, z in descending order.
d, -2, z
Let t(y) = -y**2 + 3*y + 4. Let g(h) = -2*h**3 - 4*h**2 - 3*h - 2. Let r be g(-2). Let o be t(r). Sort -1, o, 1 in descending order.
1, o, -1
Let m be (-2)/(-7) + (-26)/(-7). Sort 6, m, -3.
-3, m, 6
Suppose -g + 4*u = 3, 10*g - 6*g = -2*u + 6. Let c be (-40)/18 - 2/(-9). Sort -7, c, g.
-7, c, g
Let s(h) = -5 + h + 5 + 5 + 1. Let p be s(-10). Sort 0.1, 1/11, p in decreasing order.
0.1, 1/11, p
Suppose 4*w - 9 = -1. Put 3, w, -3 in descending order.
3, w, -3
Let b be (1 - 2)/((-18)/(-27)). Sort b, 0, 4.
b, 0, 4
Let m = 8.3 + -8. Let w be (1/(-3))/((-3)/9). Sort -2/3, m, w in decreasing order.
w, m, -2/3
Suppose v - 4*v + 12 = 0. Suppose g - 1 - 3 = 0. Suppose 2*u + 8 = l, 0 = 3*u + 5*l - g*l + 12. Sort u, v, -5 in decreasing order.
v, u, -5
Let i = 12 + -8. Let m = i + -3.5. Let g = 172/3 - 58. Sort -4, m, g in increasing order.
-4, g, m
Suppose -2*l = -0*l - 8. Let c(w) = w**3 + 7*w**2 - w - 1. Let t be c(-7). Suppose -t*d - 20 = -d. Sort l, d, -5 in decreasing order.
l, d, -5
Let b = 1.7 + -8.7. Let k = b + 7.6. Let a = -1 + k. Sort -4, -0.1, a.
-4, a, -0.1
Let o(u) be the third derivative of u**5/60 + u**4/12 - u**3/2 - 16*u**2. Let z = -3 + 5. Let d be o(z). Sort -5, -3, d in descending order.
d, -3, -5
Let r = -21 - -1. Let u = r + 13.8. Let t = u + 6. Sort 4/5, 0, t.
t, 0, 4/5
Suppose 0 = -2*p - 8, 3*p + 18 = -j - 2*p. Suppose 3*h = -0 + 9, 15 = 4*l + 5*h. Suppose l = -i - j - 1. Sort -2, 1, i.
i, -2, 1
Let n(h) be the second derivative of -h**5/20 + 3*h**4/4 - 4*h**3/3 - 3*h**2/2 + h. Let w be n(8). Put w, 5, 3 in increasing order.
w, 3, 5
Let j = 99.94 - 83.5. Let r = j - 17. Let i = r + 0.06. Sort 0.1, i, -1 in decreasing order.
0.1, i, -1
Let g = -6 - -7. Let u be (0 + 1)/(g/(-3)). Let f = -2 + 1. Put 2, u, f in decreasing order.
2, f, u
Let z be (2*-2 - -3)*0. Put 4, z, -4 in ascending order.
-4, z, 4
Let l = -632/4515 + 2/301. Let x = -13.9 - -14. Let q = 8.3 - 8. Sort q, l, x in decreasing order.
q, x, l
Let o = -6 - -1. Suppose -13*t - 40 = -17*t. Let i(h) = -h**3 + 10*h**2 + h - 10. Let p be i(t). Sort -1, o, p in ascending order.
o, -1, p
Suppose 6*w + 45 = 21*w. Sort -6, w, -4, 0.
-6, -4, 0, w
Let t be (-28)/(-6)*180/35. Let m be 8/(-52) + t/(-13). Sort 2, m, 3.
m, 2, 3
Let w(d) = -5*d**3 + d**2 - d. Let p be w(1). Suppose 0 = -4*n - 9 - 3. Let o = n - -3. Sort o, 1, p in descending order.
1, o, p
Let t(c) = -c + 1. Let k(o) = o**3 - 3*o**2 - 5*o + 1. Let r be k(4). Let j be t(r). Suppose -h = -2*h + j. Sort h, 3, -3 in decreasing order.
h, 3, -3
Let d = -12 - -7. Let x = -13 + 9. Put d, -2, x in increasing order.
d, x, -2
Suppose 2*h - 5*x - 11 - 12 = 0, -15 = -5*h + 4*x. Sort 2, 1, h.
h, 1, 2
Let c be (-1)/((15/6)/5). Let m = -10.4 - -5.7. Let k = 0.7 + m. Put c, k, 4 in decreasing order.
4, c, k
Let w(b) = -b. Let v be w(-5). Suppose -h = -2*h + v. Suppose -h*c = 2*s - 3, -s = -3*c + 4*c - 3. Put 5, -4, c in descending order.
5, c, -4
Let x = 4 + -6. Suppose 6 = 3*q - 3. Suppose q*s - s = 10. Sort -4, s, x in increasing order.
-4, x, s
Suppose -3*q = 4*g + 4, -2*q = 5*g + 4 - 6. Suppose 4 = -2*n - g. Suppose -3*c + 1 + 8 = 0. Put -0.4, c, n in descending order.
c, -0.4, n
Let b = 11.5 - 8. Let q = -3 + b. Let x = -70 - -69.7. Put x, 0.4, q in descending order.
q, 0.4, x
Let h = -3 + 8. Let o = -8 - -11. Put 2/15, o, h in descending order.
h, o, 2/15
Let y(z) be the first derivative of -z**4/4 + z**2/2 + 1. Let h be y(0). Sort h, 2, 4.
h, 2, 4
Let r = -2 + 1.9. Let o = -0.05 + 0.55. Let b = o - -1.5. Put r, 3, b in increasing order.
r, b, 3
Let q = 42 + -48. Put -1, -3, q in decreasing order.
-1, -3, q
Let v be (-15)/108 + 12/54. Sort v, 3/8, 4 in ascending order.
v, 3/8, 4
Let x(p) = p**3 - 14*p**2 - 32*p - 4. Let d be x(16). Suppose -3*q + 1 = 3*k - 2*k, 0 = -4*q - 5*k - 17. Sort q, d, -5 in decreasing order.
q, d, -5
Suppose -2*f = -3*f + 1. Let y be f + (0 - (-6)/(-3)). Let r = 6 - 3. Sort y, 1, r in increasing order.
y, 1, r
Let r = -0.9 + 1. Let o = -12 + 18. Let k be o/(-10) + (0 - -1). Put k, r, -2/15 in decreasing order.
k, r, -2/15
Suppose -4 - 9 = g + 2*z, 4*g - z = -16. Put g, 0, 20 in ascending order.
g, 0, 20
Let v(c) = c**3 - 10*c**2 - 2*c + 23. Let b be v(10). Put b, 1, -0.3, -0.2 in ascending order.
-0.3, -0.2, 1, b
Let w = 6 + -7. Let g(o) = 5*o + 1. Let f be g(w). Suppose 0 = -2*x + 6. Put x, f, 4 in descending order.
4, x, f
Suppose -3*v = -v + n - 6, -v - n + 4 = 0. Let g = -3 + v. Sort -3, 2, g in ascending order.
-3, g, 2
Let z = -60 - -241/4. Let l = -0.074 - -0.474. Let o = -5 + 2. Sort l, z, o in ascending order.
o, z, l
Suppose 4 = -q + 9. Let o = 19 - 18. Sort q, 0, o in increasing order.
0, o, q
Let t(l) = -l**3 - 4*l**2 - 6*l - 8. Let m be t(-3). Sort 7, -4, m in descending order.
7, m, -4
Suppose 29 + 21 = -10*x. Sort x, -7, -1 in increasing order.
-7, x, -1
Let m(j) = -j + 2. Let y be m(2). Suppose 0 = -2*o - 3*o - 10. Put y, o, 2 in decreasing order.
2, y, o
Let s = -18 + 23. Let g = -21.9 + 21. Let w = 1 + g. Sort w, s, 2/5 in increasing order.
w, 2/5, s
Let h(u) = -u**3 - u**2 - u - 9. Let n be h(0). Let q = n + 4. Suppose -7 - 9 = 4*m. Put q, 5, m in increasing order.
q, m, 5
Let l = -0.5 + 0.2. Suppose 9 = 3*m - 0*m. Let n be (0/(-2))/(7 - 8). Sort m, l, n in descending order.
m, n, l
Let c = 0.53 + -5.53. Put c, -3, 1, -2 in decreasing order.
1, -2, -3, c
Suppose 5*q = -4*n + 16, 3*q - 7 = 5*n + 10. Put 0, -2, n in decreasing order.
0, n, -2
Let n be (-312)/54 + ((-16)/(-18))/(-4). Put n, -2, -5 in increasing order.
n, -5, -2
Suppose 0 = g - 2*g. Suppose c + c = g. Suppose 4 = -4*d - 2*h, -h - 5 = -d - c*h. Put -2, 4, d in descending order.
4, d, -2
Let a be 4 - (9/6 - -4). Sort 3, a, -3 in descending order.
3, a, -3
Let d(p) = -p**3 + 7*p**2 + 7*p + 11. Let z be d(8). Suppose -3 = -3*b - 0. Sort b, -2, z.
-2, b, z
Suppose 2*u - 5*u + 9 = 0. Sort u, -5, 0.
-5, 0, u
Let l = -0.45 + 0.05. Suppose -2*h - 20 - 10 = 0. Let b = -9 - h. Sort 0.4, l, b.
l, 0.4, b
Let w = -0.089 - -0.089. Let o be (-2)/(-12) + (-1)/(-3). Let g = o - 2/3. Sort w, -0.1, g.
g, -0.1, w
Let v be (-1)/((-2)/(-11))*-2. Suppose v*z - 7*z = -4. Put z, -9, 5 in increasing order.
-9, z, 5
Let h = 3 - 8. Put h, 0.3, 5 in decreasing order.
5, 0.3, h
Let h be (-662)/1435 + (-2)/(-7). Let u = 1/41 - h. Put -1/5, u, -4 in descending order.
u, -1/5, -4
Let y = -4.5 + 4.3. Put 3, -4, y, 2/11 in increasing order.
-4, y, 2/11, 3
Let d = -4.3 + 4.1. Sort -5, -0.3, d, 0.6 in descending order.
0.6, d, -0.3, -5
Let x(f) = -f**3 - 5*f**2 - f + 2. Let r be x(-4). Let v be (-2)/(r/4 + 2). Let t(w) = -2*w + 5. Let y be t(v). Sort 1, 5, y in descending order.
5, 1, y
Let t(c) = -c + 5. Let v be 15/25 - (-33)/(-5). Let n(y) = y**3 + 6*y**2 + 5. Let m be n(v). Let q be t(m). Put -1, q, -4 in descending order.
q, -1, -4
Let a be ((2 + -3)/(-5))/((-2)/(-4)). Put -4, 0, a, 3 in decreasing order.
3, a, 0, -4
Let l = 118 + -120. Sort -3, 3, l, -5 in decreasing order.
3, l, -3, -5
Suppose -2*u - 4 = -6. Let p(k) = k**3 + 11*k**2 + 21*k + 22. Let c be p(-9). Sort 0, c, u in descending order.
u, 0, c
Let d(b) = -9*b - 2. Let v be d(-2). Suppose -g = 4*h - 1, -v = -3*g - h + 2*h. Let t be 2/(-3)*-6*-1. Sort g, -1, t in descending order.
g, -1, t
Let m(n) = 8*n**2 + n + 4. Let p be m(-5). Let v = 143/668 + 927519/4676. Let y = p - v. Sort y, -5, 4 in descending order.
4, y, -5
Let u = 0.34 - 0.04. Let n(j) = j**3 + 4*j**2 + j + 5. Let q be n(-4). Let b be (12/9 - q) + -1. Sort 4/3, u, b.
b, u, 4/3
Suppose -2*u + 6 = -3*h + 2, 2*u + 10 = -4*h. Put 0.9, h, 2 in ascending order.
h, 0.9, 2
Suppose 3*t + 2*t + 5 = 0. Let n = 11 + -11.1