*-3*(-2)/(-2). Put 4, z, m in decreasing order.
4, z, m
Let u(h) = -h**3 + 2*h**2 - 3*h + 3. Let b be u(2). Sort b, 2, 0 in descending order.
2, 0, b
Let k(j) = -3*j - 4. Let x be k(-1). Sort -3, 6, x in increasing order.
-3, x, 6
Let w = 4 - -9. Suppose w*l - 8*l = 10. Suppose -l*q = -2*x, 0*x - 4*x - 5*q = -18. Put -2/9, 1/2, x in increasing order.
-2/9, 1/2, x
Suppose 2*x + 0*x = 24. Let g be 2/3 + x/9. Sort g, -4, -0.4 in descending order.
g, -0.4, -4
Let x = -0.12 + -1.88. Sort 2, 4, x in descending order.
4, 2, x
Let v be (-2)/8 - (-267)/12. Let y = -16 + v. Let c = y - 4. Sort c, 5, -3 in descending order.
5, c, -3
Let k = 4 - 7. Let p = 6 + k. Sort -3, p, 5.
-3, p, 5
Let n(j) = j**2 + 8*j + 8. Let v be n(-7). Suppose -5*t + 19 = 4. Suppose -8 = 5*k - t. Sort v, 0, k in decreasing order.
v, 0, k
Let b = 2 + -7. Let w = -3.048 + 0.048. Sort 3, w, b in descending order.
3, w, b
Suppose -2 = 19*r - 17*r. Sort r, -2, 5 in ascending order.
-2, r, 5
Let v(o) = o + 1. Let u be v(-3). Let g be 2/(-5) + (-54)/15. Sort -1, g, u.
g, u, -1
Let j = 20 - 137/7. Sort -0.7, -3, -0.5, j.
-3, -0.7, -0.5, j
Let m be -9*(-1)/(-6)*8. Let v = -8 - m. Put 5, -5, v in decreasing order.
5, v, -5
Let s = -99 - -94.3. Let k = -5 - s. Let u = -4.3 - k. Put u, 4, 0.3 in increasing order.
u, 0.3, 4
Suppose -2*c + 3 = -c. Suppose 0 = -6*o - 19 - 5. Suppose 0*b - 2 = b. Sort c, b, o in descending order.
c, b, o
Let o = -5 + 6. Sort -2, o, -4.
-4, -2, o
Let v = 0.066 - 0.226. Sort v, -0.2, -0.3 in increasing order.
-0.3, -0.2, v
Let x(c) = -c**2 + 4*c - 6. Let q be x(4). Let a be (3 + 0 - 2) + q. Let h = -2 - a. Sort -1, 1, h.
-1, 1, h
Let a = -160 + 475/3. Sort 2, -0.4, a, -0.3 in descending order.
2, -0.3, -0.4, a
Let f be 3 - 0 - (-3 + 3). Let a = 0 - 0. Let m = -74 - -69. Sort m, f, a in decreasing order.
f, a, m
Let n = -24.4 + 2.4. Let w = 21.7 + n. Sort w, 1, -4 in ascending order.
-4, w, 1
Let n = 24 - 118/5. Let c = 0.9 + -1.2. Put n, -0.4, c in decreasing order.
n, c, -0.4
Let p be -1 - (-1 + 2)/(-1). Let a be (-6)/(-10) - 88/(-20). Sort a, p, -1 in descending order.
a, p, -1
Let i be 1/2 + 2/(-4). Suppose k + 1 - 6 = i. Let u = -11 - -12. Sort u, k, 3 in ascending order.
u, 3, k
Let z be ((-1)/(-3))/(4/(-12)). Let n(l) = -l**3 + 3*l**2 + l - 1. Let b be n(3). Put 3, b, z in descending order.
3, b, z
Suppose -a = 2*a - 6. Let d be 3/(-7)*(a - 3). Sort -4, d, -0.2.
-4, -0.2, d
Suppose 2*j - 5*p = -39, 2*j + 75 = -3*j + 5*p. Sort 1, 2, j in decreasing order.
2, 1, j
Let x = -3.4 + 4.4. Sort -8, x, -1 in decreasing order.
x, -1, -8
Suppose -2*h = -2*q + 16, -5*h - 10 = 8*q - 7*q. Let i(m) = 2*m**2 + 28*m - 6. Let d be i(0). Sort 3, d, q in descending order.
q, 3, d
Let o = -2 - -1. Let g = 74 + -72.98. Let v = g + -0.02. Put v, o, -1/6 in descending order.
v, -1/6, o
Suppose -3*r - 12 = 3*i, -i - 2*i = -9. Put r, 2, 1, -2 in descending order.
2, 1, -2, r
Suppose 4*b - 21 = -9. Suppose 5*k - k + 12 = b*f, k + 5*f + 3 = 0. Let x be (-6)/(-2) + -16 + 11. Put x, 4, k in decreasing order.
4, x, k
Let l(c) = c + 4. Let v be l(-4). Let z be 2/(-3) - (-28)/6. Suppose v = -z*s - 0*s. Sort s, 4, 2 in descending order.
4, 2, s
Let b = 5.7 + -6. Let m = -83 - -79. Suppose -4*k = 2*n + 16, -n - 1 + 2 = -k. Sort b, m, n in decreasing order.
b, n, m
Let d be (-16)/10 - (6/15 + -1). Sort -17, 4, d, 5 in decreasing order.
5, 4, d, -17
Suppose -4*c + 8 = -2*i - 12, -c - 6 = 5*i. Let m be 1 - i/((-6)/(-9)). Let h(v) = v**2 + v - 1. Let w be h(-3). Put w, m, -2 in decreasing order.
w, m, -2
Let b = 0 + 0.1. Sort -5, b, 0 in decreasing order.
b, 0, -5
Let d = -0.43 + 0.03. Let q = 1.3 - 1. Put d, q, 3 in descending order.
3, q, d
Suppose 4*d - 30 = -d. Put d, -0.4, 4 in decreasing order.
d, 4, -0.4
Let p be (-1 + (-4 - 0))*(-13)/65. Suppose 2*k = 4*j - 14, -j - 4*j - 3*k = -23. Put j, 1/3, p in descending order.
j, p, 1/3
Suppose -29 = -5*q - 3*r, -2*r + 37 = 5*q - 3*r. Let f = q + -9. Put 3, -4, f in descending order.
3, f, -4
Let s = -61/5 + 417/35. Let o = 0.3 - 0.1. Put o, s, 5/3 in ascending order.
s, o, 5/3
Let u = 0.97 + 0.13. Put u, -0.4, -2 in decreasing order.
u, -0.4, -2
Let z = 0.2 + -1.2. Let p = z + 2. Let t(k) = k**3 + 4*k**2 + 2. Let o be t(-4). Sort o, p, -2 in descending order.
o, p, -2
Let t be (-5)/(-2)*8/80. Let h = -9 + 5. Put -2, t, h in increasing order.
h, -2, t
Let g(k) = k**3 - 14. Let o be g(0). Let p be (-74)/o + (-4)/14. Put 1/4, 1/11, p in decreasing order.
p, 1/4, 1/11
Let n = 1.1 - 0.58. Let c = -0.28 + 0.3. Let w = c - n. Sort w, -0.3, 3 in increasing order.
w, -0.3, 3
Suppose -11 + 82 = 3*d - h, 0 = -3*d + 3*h + 81. Let j = d + -15. Suppose -g - 2*o - j = 3*o, 13 = 5*g + o. Put g, -3, 5 in descending order.
5, g, -3
Suppose 6 = y + 2*y. Let a(m) = -m**3 + 6*m**2 + 8*m - 3. Let c be a(7). Sort c, -5, y in decreasing order.
c, y, -5
Let t(o) = 2*o + 1. Let f be t(-3). Let x = 39 + -37. Let b = -1 - -2. Put f, b, x in increasing order.
f, b, x
Let u = 2 + -5. Let o = -1 + -4. Sort o, -4, u in decreasing order.
u, -4, o
Suppose 0 = r + u + 6 + 8, -5*r + 4*u - 43 = 0. Put 3, -4, r in decreasing order.
3, -4, r
Let h = -1/15 - -4/15. Put h, -1/6, 0.1 in decreasing order.
h, 0.1, -1/6
Let g = -14.5 - -5.6. Let f = g + 9. Put -5, 2, f in decreasing order.
2, f, -5
Let y = -2 + 1.4. Let c = y - -0.3. Sort 3/7, c, -2 in descending order.
3/7, c, -2
Let u = -6.9 + 13.8. Let k = 3.6 - u. Let c = k - -3. Sort c, 5, -0.1 in decreasing order.
5, -0.1, c
Suppose -3*q = 2*o - 7*o - 15, -10 = 2*o - 2*q. Let h be 2/(-6) + (-22)/6. Sort o, h, -3 in increasing order.
h, -3, o
Let o(k) = 3*k**2 - 17*k - 1. Let j be o(6). Suppose -2*u + 4*u + 14 = 3*h, 0 = 2*u - h + 6. Put j, 3, u in decreasing order.
j, 3, u
Let c = -1 + 2. Suppose 3*z + 0*z + 4*k + 34 = 0, 3*k = 4*z + 12. Let a = z + 4. Sort -5, c, a in increasing order.
-5, a, c
Suppose -z - 8 = -3*z. Let p(d) = d**2 + 4*d - 3. Let m be p(-5). Suppose u + z = m*u. Sort -3, u, 2.
-3, 2, u
Let f = -0.4 + 0.3. Let g = 0.8 + -0.3. Let x = -1153/7 - -165. Put f, x, g in descending order.
g, x, f
Suppose -8*m - 36 = -4*y - 4*m, -m = 5. Put 3, y, -4, 2 in decreasing order.
y, 3, 2, -4
Let k = -67/3 + 23. Let d be 2/(3*50/(-15)). Sort k, 3, d in ascending order.
d, k, 3
Let u = 8 + -17. Let k(n) = n**3 + 9*n**2 - 2*n - 2. Let j be k(u). Suppose -j = -4*q - 0. Put -2, 3, q in decreasing order.
q, 3, -2
Let a = 8.1 - 8. Let j = a - 0.6. Let g = -1.2 + 1. Put -1/7, j, g in ascending order.
j, g, -1/7
Suppose -4*o + 4*l + 4 = 0, 3*l + 5 = -0*o + o. Suppose -8*i + 7*i + 4 = 0. Let g be -4*((-2)/4 + 0). Put i, o, g in increasing order.
o, g, i
Let c = 0 - 2.8. Let v = -2 + -1. Let m = c - v. Sort -0.2, m, -0.3.
-0.3, -0.2, m
Let o be 6/(4 + (2 - 4)). Suppose 2*x + 2*d - 5 - 3 = 0, -2*x - o*d + 9 = 0. Suppose x*k = 12, 2*j + 3*k = -j + 6. Sort -1, j, 4.
j, -1, 4
Let g = -65 + 65. Sort -3/61, g, 0.4 in increasing order.
-3/61, g, 0.4
Let c = 2/605 - -1807/2420. Let m be 2/(-10) - (-2 - -2). Sort c, m, 0.4 in descending order.
c, 0.4, m
Let h be ((-8)/35)/(18/45). Sort 1, -4, h in increasing order.
-4, h, 1
Let j = -1 - -3. Suppose 3*s - t - 12 = 0, 4*s = -5*t + 29 - 13. Let r = 2 + -5. Sort r, s, j in decreasing order.
s, j, r
Let c = 0.16 - 0.66. Sort -32, 3, c in ascending order.
-32, c, 3
Let i be 17/((-102)/(-24)) + (-4)/1. Suppose -v - v - 2 = 5*z, -2 = 2*v - z. Put v, i, -4 in decreasing order.
i, v, -4
Let v be (2/(-2) - -2) + 4. Sort 4, -5, v in decreasing order.
v, 4, -5
Let g = -0.06 - 0.54. Let q = g + 2.6. Let n = -6 - -5.9. Put 0.2, q, n in increasing order.
n, 0.2, q
Let q(t) = 4*t + 3. Let r be q(-2). Put 4, -1, r in ascending order.
r, -1, 4
Let k = 0 - -5. Let d be (-1)/13*(-2 + 4). Put -3, d, k in descending order.
k, d, -3
Suppose -12*d = -11*d + 4. Sort 3, -1, d in descending order.
3, -1, d
Let u be 336/63 + 2/(-6). Let k be (-12)/(((-15)/(-2))/(-5)). Let a = k - 4. Put a, -2, u in ascending order.
-2, a, u
Suppose 2*t + 1 = 3. Let s(d) = d**2 + d - 3. Let q be s(2). Suppose p - 7 = i, -5*p - 4 = -2*i - 27. Put t, q, i in ascending order.
i, t, q
Let w be (-14)/35 - (-27)/5. Suppose -8 = 3*f - 2. Let g = -3 - f. Sort w, g, 0.
g, 0, w
Let z = -0.01 + 5.01. Put -1, z, -4 in descending order.
z, -1, -4
Let v be