m - 5 = z. Put -1, y, m in increasing order.
m, y, -1
Let u = -2 + 1. Let s be 1/1 - (7 + u). Let a be (5/2)/((28/(-8))/(-7)). Sort 1/2, a, s in increasing order.
s, 1/2, a
Suppose 0*h = -4*k + 2*h + 2, 20 = 5*k + h. Let l be (1 - 2/5)/(1/(-5)). Sort k, 1, l in descending order.
k, 1, l
Let n = 3 + -3. Suppose 5 = m + 3. Suppose 2*x + 2 = 4*z, -m*z + z = 5*x - 6. Sort -1, z, n in ascending order.
-1, n, z
Let m = 3 - -2. Let l = -1 + 5. Put l, 1, m in decreasing order.
m, l, 1
Let q(x) = x**3 - 6*x**2 + 3*x + 12. Let f be q(5). Put f, 4, -3 in decreasing order.
4, f, -3
Let z be (177/(-6))/((-3)/6). Let y = 235/4 - z. Sort 0.1, 3, y in increasing order.
y, 0.1, 3
Let l = 25 + -20. Put 3, l, 1/2, -7 in increasing order.
-7, 1/2, 3, l
Let s = 2.99 + 0.01. Put -0.09, -2/15, s in descending order.
s, -0.09, -2/15
Suppose y - 16 = 5*y. Let a = -7 - -7.1. Sort 0, y, a in descending order.
a, 0, y
Let y = 7 + -37. Put 0, y, 3 in descending order.
3, 0, y
Let g(f) = f**3 + 3*f**2 + 3*f + 5. Let t be g(-3). Put -1, t, 1, 2/5 in descending order.
1, 2/5, -1, t
Let y = 4.939 + 0.061. Put 0.1, -3/4, -2/13, y in increasing order.
-3/4, -2/13, 0.1, y
Let t = 0.12 - 3.62. Let g = t + 3. Sort -2, -1, g in decreasing order.
g, -1, -2
Let h = 14 + -13. Sort -0.2, h, 1/4 in descending order.
h, 1/4, -0.2
Let x be 8/2 + (-1)/(-2)*0. Put -5, -2, x, 9 in descending order.
9, x, -2, -5
Let i(x) be the second derivative of 1/12*x**4 - 1/6*x**3 - 1/20*x**5 + 0 - 5/2*x**2 - 3*x. Let d be i(0). Put d, 0, -1 in decreasing order.
0, -1, d
Let o = 19 + -11. Let t = o + -5. Sort t, 4, -5.
-5, t, 4
Let i be (-1)/(3 + 120/(-39)). Let a = 11 - i. Sort a, -4, 3 in increasing order.
-4, a, 3
Let q = -0.05 + -0.15. Let c = q + 1.2. Sort c, -2/13, 0.1.
-2/13, 0.1, c
Let b = -39.3 - -50. Let f = b + -2.2. Let r = -8 + f. Sort r, -0.2, -2/5.
-2/5, -0.2, r
Let k = -22/63 - -4/7. Let a = 10547/35460 - -8/985. Let h = a + 4/9. Sort -1, h, k in descending order.
h, k, -1
Let b be (4/5)/((-1)/5). Let v(c) = -c**3 - c - 2. Let f be v(0). Sort b, f, -4/7.
b, f, -4/7
Suppose -2*c = 3*t + 15, 2*c - 5*t - 20 = -t. Suppose c*a = -4*a. Let g = -0.13 - 0.07. Put g, -0.5, a in decreasing order.
a, g, -0.5
Let v(n) = -7*n**2 + 5*n + 5. Let b(c) = -6*c**2 + 5*c + 4. Let z(y) = 6*b(y) - 5*v(y). Let i be (-7)/(-2) - 3/(-6). Let a be z(i). Sort a, -2, 2.
-2, 2, a
Let d be (-2 - -4)*(-1)/2. Suppose 0*v = 2*v. Sort d, v, -4 in decreasing order.
v, d, -4
Let t(g) = -g**3 + 8*g**2 + g - 2. Let o(r) = 5*r - 2. Let u be o(2). Let l be t(u). Let n be (-1)/(-3) - (-10)/l. Sort n, 3, 4 in increasing order.
n, 3, 4
Let d be (5/(-10))/((-1)/(-6)). Put d, 1, 0 in descending order.
1, 0, d
Let r = 8985/19 - 473. Sort 0, r, 4 in descending order.
4, 0, r
Let h = 12 + -18. Let d = 5 + h. Let v = 0.5 + d. Sort 0.5, 2, v in descending order.
2, 0.5, v
Let h = -0.1 - -0.17. Let s = h + 0.03. Let z = 105 - 947/9. Sort z, s, -0.2 in decreasing order.
s, -0.2, z
Suppose 5*t - 5 - 5 = 0. Suppose -5 = 2*l + 4*z + 9, -5*z - 19 = t*l. Suppose -l*c + 3 = 5*b, -3*c = 2*c - 5*b + 35. Put c, 0, 3 in descending order.
3, 0, c
Let c(z) = -z**2 - 6*z - 1. Let p be c(-4). Let u(h) = h**2 - 8*h + 10. Let g be u(p). Let s(v) = v + 2. Let n be s(-6). Put n, 2, g in decreasing order.
g, 2, n
Let w = -0.02 + -0.98. Let m = w - -1.1. Let l be (-2)/14*1*-1. Put m, l, 0.5 in increasing order.
m, l, 0.5
Let q(w) = 2*w**2 - w - 5. Let b be q(4). Put b, -4, -3 in increasing order.
-4, -3, b
Let d be 0 + -2 - (6 - 18). Suppose -11 + 31 = -2*i. Let a = d + i. Sort a, 2, -3.
-3, a, 2
Suppose -4*q - 2*i + 25 = -i, 0 = q + 2*i - 15. Let g = -15.4 + 15. Put q, -1, g in increasing order.
-1, g, q
Suppose -p - 1 = -0. Let m be 2 - ((-2)/2 + -1). Put m, -4, p in decreasing order.
m, p, -4
Let f = 17 + -14. Put f, -1/5, -2/7 in decreasing order.
f, -1/5, -2/7
Let i be (3/6)/((-1)/2). Let u = i + -1. Sort -1, 3, u.
u, -1, 3
Let a be (3/7)/(27/189). Put 1, -1, 4, a in descending order.
4, a, 1, -1
Let u be (-2)/(-4)*((-2)/1 - -2). Suppose -5*l - 35 = -0*l. Let q be 3/12 + l/(-4). Sort -3, q, u.
-3, u, q
Let l = -28 + 24. Suppose -2*a + 7*a - 10 = 0. Suppose 5*q - 3*j = -10, -5 + 1 = 2*q - a*j. Put q, l, 3 in ascending order.
l, q, 3
Suppose 2*k - t - 2*t = 10, -4*t - 12 = -2*k. Let u be (-3)/k + (-1)/2. Let a be ((-3)/(126/(-8)))/u. Sort a, 2/9, 0.2 in increasing order.
a, 0.2, 2/9
Let o = 42 - 43. Put o, -32, 4, 2 in descending order.
4, 2, o, -32
Let l = 13 - 19. Let c = l + 5.7. Sort -3/2, c, -4 in ascending order.
-4, -3/2, c
Let p = 128 - 123. Put -2/5, p, 2/11 in ascending order.
-2/5, 2/11, p
Suppose 2*c + 3*y + 21 - 5 = 0, -23 = 3*c + 4*y. Sort 4, -4, -1, c in ascending order.
c, -4, -1, 4
Let u = 2/13 + -58/39. Put 2, 3, u in ascending order.
u, 2, 3
Let d = -59 + 59. Sort d, -0.3, 0.02.
-0.3, d, 0.02
Let h = -0.8 - -0.3. Let q = 0.46 + 4.54. Sort q, -0.3, h.
h, -0.3, q
Let v = -0.2 - -0.3. Let i be (-44)/154*2*6/8. Put v, i, 5 in decreasing order.
5, v, i
Let h(f) = f - 1. Let k be h(-4). Let g be 15/6*(-1)/k. Put g, 2/11, 1 in descending order.
1, g, 2/11
Let o be (-1)/(3 - 1)*0. Suppose 20 = -4*w - 2*n, 3*w - n - 4*n = 11. Let i be 3*(1/w - -2). Put i, -4, o in descending order.
i, o, -4
Let s(g) = -g**2 - 4*g + 2. Let n be s(-4). Suppose -n = 3*j - 14. Suppose 0 = -j*k + 2*x + 6, -k + 0*x - 3 = -2*x. Put k, 0, -1 in ascending order.
-1, 0, k
Let b = 0.39 + 20.61. Let x = 20.94 - b. Put x, 2/11, -0.3 in decreasing order.
2/11, x, -0.3
Let l be 3/(-6) + (-20)/8. Let s be (-4)/(1 - l)*5. Put s, 4, 2 in ascending order.
s, 2, 4
Let l be ((-2)/4)/(2/(-16)). Suppose v - l = -v. Suppose u = v*u - 7. Sort -2, 3, u in decreasing order.
u, 3, -2
Let a = 16/9 - 41/18. Put 0.1, a, -0.3 in ascending order.
a, -0.3, 0.1
Suppose p - 2*j = -0 + 3, -3*p + 5*j = -6. Sort -2/7, 0, 0.01, p in descending order.
0.01, 0, -2/7, p
Suppose 0*w = w - 2. Let g be (1/w)/((-3)/(-96)). Put 0, g, 5 in decreasing order.
g, 5, 0
Let d = -7 + 3. Let m = -4 - -7. Sort -2, d, m in decreasing order.
m, -2, d
Suppose 0 = -4*j - 5*d + 23, -5*j = -10*j + 2*d + 4. Let t = 39 - 64. Let z = t - -26. Sort j, z, 5.
z, j, 5
Let k = 41 - 51. Put k, 2/15, -2 in descending order.
2/15, -2, k
Suppose 4*a = 0, 4*v + 3*a + 2 = 6*v. Let p(c) = -c**2 + 9*c - 10. Let k be p(7). Sort -5, v, k.
-5, v, k
Suppose 2*t + 2*d = 0, 2*t - 4*d = -2*d + 4. Let r be ((-6)/(-4) - t)/(-1). Sort -5, 1/5, r in decreasing order.
1/5, r, -5
Suppose 4 = -o + 10. Suppose -3*q - 27 = o*x - 3*x, q + 4*x + 24 = 0. Sort q, 2, 3.
q, 2, 3
Let z = 3.7 + 0.3. Let j = 1 - -4. Let a = 4 - 3. Sort j, z, a.
a, z, j
Let k be (0 + 0)/(-4*(-4)/(-8)). Sort -1, k, -3 in descending order.
k, -1, -3
Let b be (-6)/(-45) + (-52)/(-60). Put b, -3, -1, 5 in descending order.
5, b, -1, -3
Let d be 4/(-10) + 13/(-65). Let s = 2 + -2.3. Put d, s, -0.2 in increasing order.
d, s, -0.2
Suppose -6*k + 3*k + 2 = -v, -3*k - 4*v = -7. Let f = 5 + -3. Sort f, k, -6 in descending order.
f, k, -6
Let n(l) = -2*l**2 - l + 2. Let q be n(-2). Suppose 2*x = -10, -4*x = -6*s + 2*s + 12. Put s, q, -6 in increasing order.
-6, q, s
Let m = 8 - 4. Let n = m + -3. Let o = -7 + 12. Sort 2, o, n.
n, 2, o
Suppose -4 = -2*y - 2*d, -y + 4 = -3*d - 6. Suppose -7*a + y*a = 3. Let o be (-66)/45 + a/5. Put o, -2, 5 in decreasing order.
5, o, -2
Let w = 69 + -1309/19. Suppose f = 5 - 0. Let s = 0.03 + 0.37. Sort f, w, s in descending order.
f, s, w
Let s be 3*((-48)/45 - -1). Sort -2, 3/2, s in ascending order.
-2, s, 3/2
Let s = 0.76 + 0.14. Let h = 7.9 - s. Suppose -12 = -0*t - 4*t. Sort t, 2/15, h.
2/15, t, h
Let a(x) = -x**2 + 6*x + 8. Let i be a(7). Let n = 1 + -2. Sort 4, n, i in descending order.
4, i, n
Let a(d) = -d**2 - 11*d + 15. Let s be a(-12). Suppose -6 = -3*z - 3*m, -2*z - 6*m + 2*m = -4. Sort -3, z, s.
-3, z, s
Let q = -235/3 - -79. Let r = 0.2 - 1.2. Put 0.1, r, q in ascending order.
r, 0.1, q
Suppose -3*i + 5*t + 29 = 0, 4*i = 3*i + t + 7. Suppose 5*c - 10 = -0*c. Let s be (-6)/4*2*1. Sort c, i, s in decreasing order.
i, c, s
Suppose s = -3*s + 32. Let j = s + -6. Sort j, 0, 5 in ascending order.
0, j, 5
Let f = 28 + -27. Sort -3, 0, f in decreasing order.
f, 0, -3
Let q = 4 + -8. Suppose 0 = 157*d - 150*d - 7. Put q, d, -3 in ascending order.
q, -