ng order.
y, 0.4, w
Let g = -9 - -4. Let a = -68 - -73.1. Let l = a + g. Sort 3, -1, l in descending order.
3, l, -1
Let q = -80 - -82. Let n = -1.2 + 6.2. Sort n, 0.1, q in ascending order.
0.1, q, n
Suppose 3 + 17 = 5*h. Let d be 2/(4/2) - h. Put d, 1/4, 2 in increasing order.
d, 1/4, 2
Suppose -5*o + 2*o = -18. Let r be -1*(0 + 1) - -3. Sort o, -1, r in ascending order.
-1, r, o
Let w = 18 + -18.2. Put w, 0.5, -1 in ascending order.
-1, w, 0.5
Let a be 19/4 - 1/(-4). Suppose -6 = a*g - 31. Let q = -0.7 - -0.2. Sort q, g, -3/7 in descending order.
g, -3/7, q
Let y = -291 + 294. Let i(v) = 4*v - 2. Let w be i(3). Let h = 6 - w. Sort -2, y, h.
h, -2, y
Let y = 12/19 - 122/133. Let g = 14 - 2. Let c = g + -14. Sort y, c, -1 in descending order.
y, -1, c
Let b be (0 - -2)*(-8)/(-4). Suppose -5*w + 3*n = 4, -w = -5*w + b*n. Put w, 5, -4 in decreasing order.
5, w, -4
Let g = 55 - 384/7. Sort 2, g, -1 in descending order.
2, g, -1
Let z = 9.29 + -0.29. Sort 1, z, 0.3, -4 in increasing order.
-4, 0.3, 1, z
Let c = -17/26 + -1/78. Sort -1/6, -0.28, c.
c, -0.28, -1/6
Suppose -5*q + 33 - 8 = 0. Put -3, q, 2 in ascending order.
-3, 2, q
Let d = -964/7 - -138. Let j = 25.012 + -0.012. Let m = j - 24.5. Sort 2, m, d in ascending order.
d, m, 2
Suppose 0 = 96*n - 98*n + 2. Put 3, -5, -3, n in ascending order.
-5, -3, n, 3
Let p = 874 - 870.01. Let l = p - -0.01. Put -0.5, -1, l in decreasing order.
l, -0.5, -1
Let m be (1 + 9/(-6))*4. Let u = -12 - 4. Let g = u + 11. Sort 3, g, m in descending order.
3, m, g
Let u = -0.033 + -2.027. Let a = 0.06 + u. Put -3/7, a, 0 in descending order.
0, -3/7, a
Let a = 2/39 - -31/156. Sort -1/3, -8, a in ascending order.
-8, -1/3, a
Let r = 6 + -3. Suppose -3*k = k + b - r, -2*k + 4*b = 12. Put 4, 3, k in increasing order.
k, 3, 4
Let s(d) = d + 10. Suppose 0 = -4*i + 5 - 33. Let l be s(i). Sort l, -2, 4 in decreasing order.
4, l, -2
Let w(f) = 1. Let b(a) = 2*a + 1. Let o(s) = -b(s) - 4*w(s). Let z be o(-4). Sort z, 1, -2 in increasing order.
-2, 1, z
Suppose a + 3*c - 4 - 2 = 0, 4*a + 15 = c. Suppose z - 1 = -0. Suppose 2*t + 5 - z = 3*y, 4*t - y = -18. Put 4, a, t in decreasing order.
4, a, t
Let c(x) be the second derivative of x + 0 + 1/2*x**2 + 1/6*x**3. Let b be c(2). Sort -1, b, -2 in ascending order.
-2, -1, b
Let y = -6 + 3. Let h be (2 - 1) + (-9)/21. Sort h, y, -3/7 in increasing order.
y, -3/7, h
Let z = 17.8 - 18. Put z, 2/5, -4 in descending order.
2/5, z, -4
Let k(c) = -c**2 - 9*c + 10. Suppose 0 = -4*b - 40 - 0. Let x be k(b). Let r = -4 - -8. Sort r, x, -2 in increasing order.
-2, x, r
Let j be 16/8 + (1 - 0). Suppose 4*u - 2*q - 2 = -0*q, -q + j = -4*u. Sort -4, 5, u.
-4, u, 5
Let h = 0.4 - 0. Let c = -0.1 - -0.2. Sort h, c, -4 in descending order.
h, c, -4
Let m = 0.62 + -1.12. Put m, -0.07, 1, -3 in increasing order.
-3, m, -0.07, 1
Let l be 1/2*(4 - 4). Let j = l + 0. Suppose 2 - 12 = 2*v. Put 1, v, j in decreasing order.
1, j, v
Suppose 0 = -4*x + 5*o + 26, 3*o + 6 = -0*o. Suppose -x*c = -30 + 10. Suppose 2*w - 7 = l, -c*l - 13 - 7 = -5*w. Sort 1, 2, l.
l, 1, 2
Let x = -1 + 2. Let t = 2 - x. Sort -1, t, -0.1 in descending order.
t, -0.1, -1
Let r be ((-2)/5)/((-2)/20). Sort 1, r, -4 in decreasing order.
r, 1, -4
Suppose v = -3*i + 5, 3*i - 10 = -v - v. Sort v, -17, -4 in increasing order.
-17, -4, v
Let p(b) = -b**3 + b + 14. Let c be p(0). Suppose -t - 2 = -4*q + 5, 3*q + t = c. Put q, 5, 0 in decreasing order.
5, q, 0
Let c = 32 - 36. Put 0.1, c, 1 in increasing order.
c, 0.1, 1
Let q = -0.4 - -0.6. Let t = -2.1 - -2. Sort q, t, 2.
t, q, 2
Let o be -9*-1*(-3)/(-9). Let a be (1/(-1))/(2 - 10/6). Put a, 1, o in descending order.
o, 1, a
Let v = 40.2 - 40. Sort -9, 0, v.
-9, 0, v
Let i(d) = -d**2 + 10*d - 29. Let o be i(4). Put 5, -3, -1, o in descending order.
5, -1, -3, o
Suppose -3*m = -6 - 6, 5*m = -a + 37. Sort a, -2, 0.
-2, 0, a
Let b = -2 + 1. Put b, -6, -5 in descending order.
b, -5, -6
Let j = 29 - 17. Let s = j + -12.2. Sort -5, 0.5, s in descending order.
0.5, s, -5
Let u be ((-18)/12)/(6/8). Let y = 2 - u. Sort -5, y, 2 in decreasing order.
y, 2, -5
Suppose 0*s + 9 = -3*s. Let t = 11 - 4. Suppose t*c + 4 = -3. Sort c, s, 4 in ascending order.
s, c, 4
Let s(x) = x**2 + 6*x + 5. Let m be s(-4). Let l be 4/m + (10 - 8). Sort -1/8, l, -3 in increasing order.
-3, -1/8, l
Let n = 0 + 0.4. Let c = 0 - n. Let y = 6 + -2. Sort 1/5, y, c.
c, 1/5, y
Suppose 11*s + 7*s + 90 = 0. Sort s, -4, -24.
-24, s, -4
Let r = -0.4 + 0. Let l = 0.1 + r. Let a = l + 0.2. Sort a, -1/7, 4 in increasing order.
-1/7, a, 4
Suppose -5*a - 23 = 9*z - 10*z, -z = -2*a - 11. Suppose 0 = -h - 4 + 2, -3*h = -i + 11. Put a, i, -2 in ascending order.
a, -2, i
Let x = 3.4 + -3.2. Suppose 0 = -g - g + 666. Let z = -4327/13 + g. Sort x, -0.5, z.
-0.5, z, x
Suppose 4*r + 8 + 4 = 0. Put r, 3/5, 2 in decreasing order.
2, 3/5, r
Let p be 30/7 + (-6)/21. Suppose 0 = -3*x + p*t - 9, -4*t + t = -4*x - 12. Put x, 5, -5 in increasing order.
-5, x, 5
Let q be 3*2*(-2)/(-4). Let a(k) = -3*k + 3. Let m(h) = -h**2 + h + 2. Let d be m(0). Let r be a(d). Put q, 2, r in decreasing order.
q, 2, r
Suppose -1 - 3 = -v. Let p(b) = -b - 7. Let h be p(-7). Sort -5, v, h in increasing order.
-5, h, v
Suppose -4*k = -k + 3. Let f be (-6)/(-10)*k/(-3). Let n be (32/64)/((-3)/(-8)*4). Put n, f, -2/3 in decreasing order.
n, f, -2/3
Suppose -2*m - 4*q = -m + 8, 5*m = 4*q + 8. Sort -4, -2, m in ascending order.
-4, -2, m
Let n = 9.3 + -7.3. Put -8, -2, n in descending order.
n, -2, -8
Suppose 0 = 3*o - 4*q, 6*q = -3*o + 2*q + 24. Sort -19, 2, o in decreasing order.
o, 2, -19
Let m be 2 + 0 - (-2 - -2). Let a(o) = -2*o**3 + 3*o**2 - 1. Let c be a(m). Sort 9, -2, c in descending order.
9, -2, c
Let q = -6 - -10. Let n be -1*(-2)/(4/10). Sort n, q, -3 in decreasing order.
n, q, -3
Let j = 1 + 0. Let d be (44/(-6) + j)*5. Let h = -33 - d. Sort h, 0.4, -0.4 in descending order.
0.4, -0.4, h
Suppose i - d + 2 = 0, -2*i + 3*d - 14 = -5. Suppose -15 + i = 4*a. Sort -1, 0, a.
a, -1, 0
Let x = 3.7 + -4. Let r = 8 + -3. Sort r, x, -1/7 in ascending order.
x, -1/7, r
Let a = 0.29 + 4.71. Let c = -1 + 1.5. Put 0.1, c, a in decreasing order.
a, c, 0.1
Let i be -7*1 + (5 - 3). Let t = -0.02 - 0.06. Let h = t - -5.08. Sort i, 4, h in descending order.
h, 4, i
Let n = -0.08 + 0.88. Let x = n + -0.4. Sort -1/5, 2, x in decreasing order.
2, x, -1/5
Let f(v) = v**2 - v - 1. Let g be f(3). Suppose -k - 6 + 1 = 0. Put g, k, 3 in decreasing order.
g, 3, k
Suppose 31 - 23 = 2*p. Sort p, 0, -5 in descending order.
p, 0, -5
Let b be 60/(-15) - (-20)/6. Sort b, 3, 4 in descending order.
4, 3, b
Let d(f) = f**3 + 3*f**2 - 4*f + 2. Let n be d(-4). Suppose n*q = c + 3*q + 2, 18 = 5*c - 2*q. Let o be -2 - (-2 - (3 - c)). Put 5, o, 3 in descending order.
5, 3, o
Let p(v) = v + 2. Let z be p(-3). Suppose -4*u - 32 + 36 = 0. Put z, 3, u in descending order.
3, u, z
Let q = -9 - -5. Sort -1, 2, q in descending order.
2, -1, q
Let r(p) be the first derivative of -p**4/4 - p**3 + 3*p**2/2 - p + 1. Let y be r(-4). Sort 0, y, 5.
0, y, 5
Suppose -4*n + 6*n - 10 = 0. Suppose -n*i = 13 + 7. Let x = 6 + i. Sort x, 4, -1 in decreasing order.
4, x, -1
Suppose -3*m - o + 13 = 0, 3*m - 2*m + 4*o = 8. Sort m, 1, 2 in decreasing order.
m, 2, 1
Let v = 111 + -111. Let s(u) = -u**2 + u + 2. Let l be s(0). Suppose -j + 1 = -l*j. Put j, v, -2/13 in increasing order.
j, -2/13, v
Let a(u) = -u**3 - 5*u**2 + u. Let g be a(-5). Suppose n + n = 0. Sort g, n, -4 in descending order.
n, -4, g
Let l = 1 + -4. Let d = 10 - 10.33. Let w = d - -0.73. Sort w, 3, l in decreasing order.
3, w, l
Suppose 3*h = 2*h. Suppose h*f + 5 = -f. Let x = f - -1. Put 5, 0, x in decreasing order.
5, 0, x
Let v = -11.9 - -2.5. Let l = 9 + v. Put -4/3, -0.1, l in descending order.
-0.1, l, -4/3
Let m = 85 - 421/5. Put -2, 0.1, m, -3 in decreasing order.
m, 0.1, -2, -3
Let d be ((-3)/4 - 0)*-4. Let n = 431 + -432. Sort d, 1, n in ascending order.
n, 1, d
Let r = -0.01 + 3.01. Let m be 8/(-12)*-3*(-1)/(-5). Put -1/8, m, r in ascending order.
-1/8, m, r
Let j = -33/164 - 2/41. Sort 1/12, j, 2/7, -3 in increasing order.
-3, j, 1/12, 2/7
Let c = -1 - 0. Let u = -71 - -76. Sort -14, u, c in descending order.
u, c, -14
Let n = 18.6 - 19. Put