= 3*z - y. Put -2, j, 0 in decreasing order.
j, 0, -2
Let i = -19 + 21. Let h be i/4 - (-36)/8. Put h, 2/19, -5 in increasing order.
-5, 2/19, h
Let g = -19 - -19. Suppose -5*o - 22 = -g*f - 3*f, 23 = -4*o - 3*f. Sort 4, 0, o in decreasing order.
4, 0, o
Let q(j) = -j**3 - 4*j**2 - 3*j - 1. Let b be q(-2). Sort 1, -2, b in increasing order.
b, -2, 1
Let w be (0 - 6/(-3)) + -1. Let o = -1 - w. Sort -3, -4, o in decreasing order.
o, -3, -4
Suppose -33 = 9*q - 87. Sort -9, q, -1 in descending order.
q, -1, -9
Let j be (2/4)/((-2)/16). Sort -0.3, j, -2 in ascending order.
j, -2, -0.3
Let r = -3/43 - 123/86. Let w = 2.089 + -0.089. Put w, -3, r in decreasing order.
w, r, -3
Let p be (-2)/(-4)*4 - 2. Suppose p = -k + 6*k - 30. Let s be k/(-4)*(-4)/6. Sort s, 4, 0.1 in decreasing order.
4, s, 0.1
Let c = 0 + 3. Let t = 3 - c. Put -4, 1, t in ascending order.
-4, t, 1
Let p = 1 - -3. Suppose -4*i + 7 = 3. Let k = 1 - -1. Put k, p, i in descending order.
p, k, i
Let u = -2 + -4. Let g = -1 - u. Suppose g*v = 2 - 12. Put v, 5, -1 in descending order.
5, -1, v
Let x = -130 + 131. Put x, -6, -5 in descending order.
x, -5, -6
Let l = 3.3 + -3.2. Let y = -4 + 7. Suppose -v + 8 = 4*v - 4*d, 0 = 5*v - y*d - 6. Sort v, -4/7, l in increasing order.
-4/7, v, l
Let h = -5 - 3. Sort h, -5, -1 in ascending order.
h, -5, -1
Let p be 54/10 + 4/(-10). Suppose -2*m + 10 = -4*m - 3*k, 0 = m + 2*k + 7. Sort -2, m, p in decreasing order.
p, m, -2
Let w = 0.4 + 0. Put w, -7, -2 in increasing order.
-7, -2, w
Let z be 28/6 - (-2)/6. Suppose -17 = 3*c - 5*t + 23, -4*t + 20 = 0. Put 3, z, c in descending order.
z, 3, c
Let d be 10/6 + 4/(-2). Let j(h) = -h**2 - 3*h + 2. Let y be j(-2). Sort d, -5, y.
-5, d, y
Let n = 0.5 - 0.1. Let b = -1.6 - n. Let y = 17/33 + -2/11. Put y, b, 2/15 in ascending order.
b, 2/15, y
Let k = -0.2 + -3. Let i = 4 + k. Sort 2/9, 3, i.
2/9, i, 3
Let d = 8 - 7. Let h = 29/22 + 2/11. Put h, -0.2, d in decreasing order.
h, d, -0.2
Suppose -3*n + 13 = 4*y - 14, -4*y + 4*n + 48 = 0. Suppose -2*l + j - y = -4*j, -3 = -j. Sort l, 4, -5.
-5, l, 4
Let d = -5.12 - -0.12. Let c = d + 10. Sort 0, -0.1, c in ascending order.
-0.1, 0, c
Let u = -115.2 + 114. Sort u, -3, -5 in ascending order.
-5, -3, u
Let c = 10 + -11. Let v be 15/(-4) - c/(-4). Put -3, v, -5 in decreasing order.
-3, v, -5
Let p = 2.1 + -3. Let h = -2 - p. Let w = -0.6 - h. Sort -3, 2/11, w in descending order.
w, 2/11, -3
Let w = 3/104 + -431/520. Put -7, 2/3, w in ascending order.
-7, w, 2/3
Suppose -5*t - 13 - 12 = 0. Sort 9, 5, t.
t, 5, 9
Let g = 6.7 - 7. Put 0.4, g, 5 in descending order.
5, 0.4, g
Let r be 3 + 244/(-84) + 0. Let i = -56/9 + 274/45. Sort i, 3/2, r in descending order.
3/2, r, i
Suppose 3*u + 23 = 5*w, -3*w = -4*u + w - 36. Sort u, -4, 0.
u, -4, 0
Suppose -3*h + 2 = -4. Let k be -1*(-2 - -1)*5. Suppose 1 = -2*i + g - 2*g, 0 = -5*g - k. Put -3, h, i in increasing order.
-3, i, h
Let m be 3/6 + 2742/(-28). Let x = -97 - m. Let h = 0.097 - 4.097. Put -5, h, x in ascending order.
-5, h, x
Let z be (1 - 1)/(3 - 4). Suppose z = -4*m - 0*m. Sort 3, 2, m in increasing order.
m, 2, 3
Suppose 3*d = -3, 4*s = -3*d - 0 - 3. Let c be (5 - 4)/(s - -1). Put 2, 3, c in ascending order.
c, 2, 3
Let m(t) = -2*t**2 - 2*t - 24. Let h be m(0). Put -1, h, -3, 5 in decreasing order.
5, -1, -3, h
Suppose -4*u - 2 = -f, -2*u + 3*u + 74 = -5*f. Put 4, f, 3 in increasing order.
f, 3, 4
Let h be 3*(-4)/54 + (-58)/(-18). Sort 4, h, -6.
-6, h, 4
Let r = 5 + -7. Sort r, 2, 5, -3 in decreasing order.
5, 2, r, -3
Let u = -13.87 - -14. Let r = -1.87 - u. Let y = -15 + 10. Put r, y, -1 in increasing order.
y, r, -1
Suppose g = 4*j - 25, 5*j - 30 = 3*g + 2*j. Let m = 10 + -11. Sort -4, g, m.
g, -4, m
Let o be (-1)/(-3) + 0 - 6/18. Suppose -p - p = -4*i - 12, 4*p + 3 = -i. Sort -4, i, o.
-4, i, o
Let d(r) = r + 1. Let j be d(2). Suppose -b = -6 - j. Suppose -4*s + b*s - 9 = -3*c, 3*c = 9. Sort 4, -2/21, s in ascending order.
-2/21, s, 4
Let o(w) = w**2 - 8*w - 12. Let p be o(9). Sort 2, 0, p, -4 in descending order.
2, 0, p, -4
Suppose 9*q - 4*q + 15 = 0. Sort q, 32, -4 in descending order.
32, q, -4
Let k be 1/3 + (-13)/(-6). Let a be (-4)/4 - 36/(-46). Let i = 2/115 + a. Sort i, 0.1, k in decreasing order.
k, 0.1, i
Suppose -2*b = -5*t + 2, 5*t = 2*t + 3*b - 6. Suppose g = t*n - n + 3, 5*n - 4*g = -11. Sort 2, -1, n.
-1, n, 2
Let u = -2.06 - -0.06. Let m = 3 - u. Let j = -18/5 + 3. Put m, j, -2/5 in descending order.
m, -2/5, j
Let q = 1 - 3. Sort q, -3, 5, 1 in increasing order.
-3, q, 1, 5
Suppose 4*x - 2*t = 42, 0*t + 3*t = 4*x - 39. Suppose 3*p - 5*p = -x. Suppose -f - 2*f = p. Sort f, 1, 4 in increasing order.
f, 1, 4
Suppose -2*u - 7 + 3 = -4*l, -2*l = u + 2. Let k = -11 - -16. Put -4, l, k in ascending order.
-4, l, k
Suppose 0 = 4*w - 5*y - 93, -y = -3*w - 0*y + 67. Let i be w/(-4) + (-2)/(-4). Let r = 6 + i. Sort 5, r, 3.
r, 3, 5
Let k = -30 - -119/4. Put k, 2/3, 7 in descending order.
7, 2/3, k
Let p be 16/2 + (-4 - -1). Suppose 5*i - 14 = 2*c, i - c = 2*c - p. Let r = -0.1 - 0.9. Sort 1/2, i, r.
r, 1/2, i
Suppose -k + h - 3 + 11 = 0, k - 2*h - 12 = 0. Suppose 0 - k = 2*t. Let o = -6/47 - 117/188. Sort t, o, -1/4.
t, o, -1/4
Let u = 11 - 16. Let g = -3 - -2.99. Let p = g + -0.09. Sort p, 0, u in ascending order.
u, p, 0
Let z = 38.92 + -42. Let a = z - -0.08. Let k = -3.2 - a. Put 2/7, 5, k in descending order.
5, 2/7, k
Let w(i) = 2*i**2 - i - 1. Let n be w(-1). Suppose -4*d = -3*b - 27, n*d = b + d + 8. Sort b, -1, 3 in ascending order.
b, -1, 3
Suppose 5*b - 2*f - 31 = 0, 2*b - 7*b + 19 = 2*f. Let l be (-1)/b*10/(-1). Sort l, 0, 5 in decreasing order.
5, l, 0
Let h = -9 + 8.8. Let c = h + 0.4. Sort c, -2/13, -4.
-4, -2/13, c
Suppose -2*p = 3*p - 5*k - 5, -4*k + 17 = 3*p. Let j(x) = -2*x + p*x**3 - 2*x**3 + 8*x**2 + 8*x - 5 + 0*x. Let l be j(-7). Sort l, 3, 4 in increasing order.
l, 3, 4
Suppose 5*a - 1 = 9. Let l be a/2 + 6/2. Suppose -l*k = y + 4, 0*k = 3*y + 2*k + 12. Put y, 4, 1 in ascending order.
y, 1, 4
Let z(k) = k**2 + 5*k + 6. Let i be z(-5). Suppose 4*r = -4*p - 4, -2 = 2*r + i. Let w = -502 - -507. Put w, p, -2 in increasing order.
-2, p, w
Suppose -3*d + 3*k = -k + 25, 4*k = 16. Let z be 2*(-1 + 3 + -3). Sort z, 5, d in increasing order.
d, z, 5
Let c = 3.25 - -0.75. Put 2/9, -1, c, 1/9 in descending order.
c, 2/9, 1/9, -1
Let o(c) = -c**3 + 5*c**2 + 5*c + 6. Let i be o(6). Suppose -4*y - 6 - 2 = i. Sort 4, -3, y in decreasing order.
4, y, -3
Let x(k) = -2*k + 1. Let j be x(-2). Suppose -5*m + 0*m + 5 = 5*u, -2*u + 2 = -j*m. Suppose -26 = 3*r - 11. Sort r, -1, u in ascending order.
r, -1, u
Suppose -2*j = j - 6. Sort 7, -3, j.
-3, j, 7
Let a = -1.97 - 0.03. Sort 5, a, -5 in ascending order.
-5, a, 5
Suppose m - 1 - 1 = -2*l, 3*l + m = 5. Let d(u) = u**2 - u + 1. Let f be d(1). Put -2, f, l in descending order.
l, f, -2
Let d = 7 - 1. Suppose -20 = -j + d*j. Let v = 211 + -1897/9. Put v, j, 3 in decreasing order.
3, v, j
Let w = -14.1 - -14. Let m = w - 2.9. Sort m, 3, 2 in ascending order.
m, 2, 3
Let b(m) = m**2 - 5*m + 4. Let k be b(4). Let j = -13 + 15. Suppose 3*h = j*h - 2. Put -5, k, h in decreasing order.
k, h, -5
Suppose 4*o - 4 = 24. Sort 5, -5, o in increasing order.
-5, 5, o
Suppose 2*o = 3*o. Put o, -0.4, -3/2 in decreasing order.
o, -0.4, -3/2
Let x(h) = h**2. Let t be x(-2). Suppose 4*n - 3*g - 17 = 0, -4*n + 5 = g - 0. Let j = 0 + n. Put 0, j, t in decreasing order.
t, j, 0
Let b be (9/(-9))/(1/(-12)). Let o = b - 10. Put o, 0, -2 in descending order.
o, 0, -2
Let a = -0.34 + -0.16. Sort a, 1/7, 0.1 in descending order.
1/7, 0.1, a
Let n(c) = 4*c - 1 + c - 1 - 3. Let g be n(2). Sort 3, g, -4 in descending order.
g, 3, -4
Suppose 8*k - 12 - 28 = 0. Let c = 0.4 + -0.2. Let q = c - -0.3. Put k, q, -0.5 in decreasing order.
k, q, -0.5
Suppose -4*g + q - 10 = -q, 4*g - 5*q = -7. Put -6, 5, -1, g in decreasing order.
5, -1, g, -6
Let s be -5*((-8)/4)/2. Let i(y) = -y**3 - 4*y**2 + 4*y - 2. Let m be i(-5). Sort 4, m, s in increasing order.
m, 4, s
Let i = 8 + -8.06. Let y = i - -3.06. Sort -0.2, y, 0.2 in increasing order.
-0.2, 0.2, y
Let c(s) = -s**2 + s + 1. Let l(j) = -2*j**2 + 5*j + 4. Let n(v) = -3*c(v) + l(v). Let o be n(-2). Sort o, 5, -3 in increasing order.
-3, 