 (-2)/(-8)*(-4)/(7 - 3). Put y, -3, 0.5 in decreasing order.
0.5, y, -3
Suppose c + 3*b = 0, 2*c - 2*b + 16 = -4*b. Sort c, -0.1, -1 in descending order.
-0.1, -1, c
Let l(j) = 3*j**2 - j - 2. Let f be l(-2). Suppose v - f = 3. Suppose z - 5*u = v, -z + 5*z = -u - 24. Sort 0, z, 4 in descending order.
4, 0, z
Suppose 4*i - 20 = 0, -4*i + 5*i + 35 = -4*v. Put 1, 2, v in ascending order.
v, 1, 2
Let b = 0.08 + -0.02. Let w = -9.94 - b. Let m = 10 + w. Sort 0.5, -1/2, m in increasing order.
-1/2, m, 0.5
Let x = -0.7 - -1. Let a = x + -0.7. Put a, -0.3, -5 in ascending order.
-5, a, -0.3
Let h be ((-3)/15)/(6/10). Let i = 2 + -3. Let g be (1 - 1)/(i - -2). Sort h, 4, g.
h, g, 4
Let d be (-1)/(7/((-21)/18)). Suppose 0 = -3*y - 2*y + 20. Let i = -3 + 3. Put y, d, i in decreasing order.
y, d, i
Suppose 3 + 9 = 4*x. Suppose -x*s = c - 18, -3*c + 11 = -c + s. Sort c, 5, 1 in descending order.
5, c, 1
Let n = -11 - -9. Sort 4, 5, n.
n, 4, 5
Suppose -5*z + 4 = -4*p - 5, 4*p + 2*z + 30 = 0. Put 1, p, -3 in decreasing order.
1, -3, p
Suppose 0 = 5*f + 24 - 9. Sort 0.07, f, -1/4 in decreasing order.
0.07, -1/4, f
Let c be 3/(15/8) + (-3)/5. Sort -1/4, 0, c in descending order.
c, 0, -1/4
Let d(k) = k**2 + 4*k + 8. Let b be d(-2). Put 3, -4, b, 0 in descending order.
b, 3, 0, -4
Let a = 0.03 - -0.47. Let f = 1.9 - 2. Let k = -0.1 - f. Put k, a, -3 in ascending order.
-3, k, a
Let p = -22 + 23. Sort p, 4, -5 in increasing order.
-5, p, 4
Let q be 3/(-9) + (-95)/(-15). Let l = -16 + q. Sort l, -5, -2 in descending order.
-2, -5, l
Suppose -5*v - 4 + 29 = 0. Put v, 3, -3, 0 in decreasing order.
v, 3, 0, -3
Let l be 1/(-4 + (-15)/(-4)). Sort -2, 4, l in increasing order.
l, -2, 4
Let f be 2 + -1 + 166/(-8). Let p = f + 20. Suppose 5*h - 6 = m, 2*h - h - 2 = m. Sort p, h, 1/5 in descending order.
h, p, 1/5
Let g(k) = k**3 + 4*k**2 - 4*k + 1. Let q = 4 + -9. Let o be g(q). Let l be (-1)/((-1)/(-2)*2). Sort 3, o, l in increasing order.
o, l, 3
Let r(c) = -c**3 + 2*c**2 + 2. Let t be r(4). Let k be (-94)/t + 16/(-120). Sort -1, 4, k in descending order.
4, k, -1
Suppose -5*h = -h - 4. Suppose -21 = 3*y + 2*k, -2 = 3*y - 4*k + 1. Put -1, h, y in ascending order.
y, -1, h
Suppose -4 - 8 = 3*q + p, -4*p - 20 = 5*q. Put -1, q, 0 in increasing order.
q, -1, 0
Suppose 5*u = 2*i - 5 - 3, -4*u = 3*i - 12. Let y = 3 - 2. Let n(k) = -k + 2. Let x be n(3). Put u, x, y in descending order.
y, u, x
Let z = 0.2 + -0.6. Let a = z - 0.1. Sort a, -4, -2 in increasing order.
-4, -2, a
Let m = 0 + 4. Put -3, -1, m in decreasing order.
m, -1, -3
Let k(s) = s**2 - s + 3. Let y be (-6 - -6)/((-2)/(-2)). Let h be k(y). Suppose 0 = -6*i + i. Sort -2, h, i in decreasing order.
h, i, -2
Suppose -o = 2*z, -4*z = -0*z - 5*o + 28. Sort -3, z, 0.
-3, z, 0
Suppose -2*f - 2*f = 0. Sort f, -2, 4.
-2, f, 4
Let t = -7 + 12. Let s = t + -4.7. Let x(c) = c**2 - 4*c - 44. Let v be x(-5). Sort -0.1, s, v in decreasing order.
v, s, -0.1
Let k = -3 + -4. Let b be 60/14 - 4/14. Let x = b + k. Sort x, 2, -0.4 in increasing order.
x, -0.4, 2
Let z = -5 - -13. Let f = z + -12. Sort f, 1/2, -0.1 in descending order.
1/2, -0.1, f
Suppose 5*h - 3*h - 10 = 0. Put h, 3, -1 in increasing order.
-1, 3, h
Let b = -2.3 + 1. Let t = 1.8 + b. Sort 5, 1/7, t.
1/7, t, 5
Let a(l) = l**2 - 13*l + 11. Let u be a(12). Suppose 0 = -w - 5*i + 2, 2*w - 4*i + 7 = -3. Sort u, -5, w.
-5, w, u
Suppose 6*f = 2*f + 4*w - 16, -4*w = -2*f - 14. Suppose 5*v = 2*s - 17 - 10, s + 2*v = 0. Let j(p) = -p + 1. Let o be j(s). Sort 5, o, f.
o, f, 5
Let x = 0 + -4. Let t be 1/(-4) - 17/x. Let b be ((-5)/2)/((-2)/t). Put b, -4, 3 in ascending order.
-4, 3, b
Let i = 9576/61 - 157. Let k = i + -113/549. Let j = 2.01 + -1.01. Sort k, j, -0.3 in increasing order.
-0.3, k, j
Let j(a) = a - 8. Let o be j(0). Put -3, o, 4 in increasing order.
o, -3, 4
Suppose -6 = -5*l + 2*l. Suppose 0 = l*h + 3*s + 6, 2*h + 4*s = 5*h - 25. Suppose -h = 4*p + 9. Put p, 2, -5 in increasing order.
-5, p, 2
Let w = -1 - -5. Suppose 0 = 8*k + 2*k - 30. Put w, k, -3 in decreasing order.
w, k, -3
Let t(g) = -g - 11. Let n be t(-8). Put -6/7, n, -0.3 in ascending order.
n, -6/7, -0.3
Let z = 1 - -5. Let h(j) = -j**2 - 9*j. Let q be h(-8). Let v = q - z. Put -2, -5, v in decreasing order.
v, -2, -5
Let m be (-10)/3*(-12)/8. Let a(y) = y**2 + 7*y + 6. Let d be a(-6). Sort m, 4, d.
d, 4, m
Let y = -0.3 + -0.1. Let n = -4.6 + y. Put n, -4, -1 in decreasing order.
-1, -4, n
Let n = -6 + 5.9. Let t = -1.8 - 0.2. Sort 0.3, t, n.
t, n, 0.3
Suppose 11 = -5*r + s, s - 4*s - 7 = 5*r. Let a be (-18)/3*r/(-4). Let m = a + 6. Sort m, -2, -3 in increasing order.
-3, -2, m
Suppose 2*n + j - 3*j = 14, -2*n + 4*j + 12 = 0. Suppose -5*q + 20 = -0*q + y, y = -q + n. Let x = 4 - 4. Sort q, x, -4 in decreasing order.
q, x, -4
Suppose -2 = 4*b + 2*q, -4*q + 9*q = -3*b + 2. Let c(s) = s**2 + 4*s + 7. Suppose 0 = -5*z - 7 - 8. Let t be c(z). Put 1, b, t in descending order.
t, 1, b
Suppose -3*j = -3*c + 12, c - 12 = -3*j - 4*c. Let h(t) = 3*t**2 - t. Let g be h(j). Let z = 0 - -1. Put z, 3, g in ascending order.
z, 3, g
Let k = -46 - -43. Sort k, 5, 2 in descending order.
5, 2, k
Let n = 2 + -3. Let i = -6 - n. Sort 0.2, 1/7, i.
i, 1/7, 0.2
Let p be 2/(20 + (-1 - -2)). Sort p, -3/5, -0.1.
-3/5, -0.1, p
Suppose 3*q = -3*i + 39, 6*i = q + i + 5. Sort -3, -5, q in descending order.
q, -3, -5
Let y = -15.7 - -16. Put 3, -1/7, y in decreasing order.
3, y, -1/7
Let r = 9.9 - 9.7. Sort r, 0.3, -5, 8.
-5, r, 0.3, 8
Let m(w) = 2*w. Let j be m(2). Let f = 1.92 + 0.08. Sort f, -0.3, j in decreasing order.
j, f, -0.3
Let h = 12 - 10. Sort 5, -7, h in ascending order.
-7, h, 5
Let w = 0.914 - 0.014. Sort w, 0.2, 1/3, -0.6 in descending order.
w, 1/3, 0.2, -0.6
Let s = -452 + 2274/5. Let p = 108/35 - s. Let c = -5.3 + 0.3. Put p, c, 0.4 in ascending order.
c, p, 0.4
Let z be -1*(2 - 3/1). Let g be 5 + -2 - 0 - z. Let c be (-1)/(-2) + (-3)/g. Sort 0.1, 2, c in increasing order.
c, 0.1, 2
Suppose -5*w + 2 + 3 = 0. Put -3, w, -2 in descending order.
w, -2, -3
Let p(d) = d + 4. Suppose 0 = 4*a + 22 - 6. Let r be p(a). Let v = 0.5 + -0.6. Sort v, 2/17, r in ascending order.
v, r, 2/17
Let t be (-74)/26 - (30/26 - 1). Put t, -7, -1 in ascending order.
-7, t, -1
Let w(m) = -2*m - 46. Let i be w(-24). Put -1, -0.2, i in ascending order.
-1, -0.2, i
Let g = 0.74 + -0.24. Let d = -1 + 0.5. Let q = 0.5 - 3.5. Put g, d, q in ascending order.
q, d, g
Let d(h) = -2*h + 14. Let r be d(9). Sort r, 1, 3 in descending order.
3, 1, r
Let j(n) = n**2 - 9*n + 5. Let w = 0 + 9. Let p be j(w). Let f be 48/28 + (-4)/(-14). Sort f, 4, p in descending order.
p, 4, f
Suppose 2*d + d + 9 = 0. Suppose -3*x = 2 - 2. Sort d, 5, x in ascending order.
d, x, 5
Suppose -20 = -5*t - 5, 4*s = -5*t + 31. Suppose -5*z + 7*w = 2*w - 15, 0 = -3*z - 5*w - 31. Sort z, s, 3 in decreasing order.
s, 3, z
Let n be ((-2)/(-6))/(2/54). Suppose 0 = -8*b + n*b. Sort b, -5, -3 in descending order.
b, -3, -5
Suppose r + 20 = 6*r. Sort r, -5, 10 in increasing order.
-5, r, 10
Suppose 2*u - 35 = -3*l, -l - 3*l + 48 = 4*u. Put l, 2, -5, -3 in ascending order.
-5, -3, 2, l
Let w be (-15)/2*2/(-3). Let n be (w + -2)/(-1 + 2). Put n, 0, 2 in decreasing order.
n, 2, 0
Suppose 0*x = -2*x. Let q(z) = 7 + x*z - 2*z + z - 2. Let u be q(6). Sort -3, 2, u in ascending order.
-3, u, 2
Let q(t) = -t**3 - 7*t**2 - 8*t - 6. Let x be q(-6). Let s be (x - 9)*(-2)/15. Put -2/5, s, -5 in ascending order.
-5, -2/5, s
Let n = 0.29 - -13.01. Let f = -13 + n. Let s = 1 - 0.9. Sort f, s, -0.5 in ascending order.
-0.5, s, f
Let h(f) be the first derivative of f**2/2 + 7*f - 3. Let z be h(-3). Sort -2, -4, z.
-4, -2, z
Let s = -10 - -21. Suppose -55 = -4*q - s. Suppose o - 2*d + 3 = 2*d, q = o + 3*d. Sort o, -5, -4.
-5, -4, o
Let s = 0.3 + 0.7. Suppose 50 = -4*b - 6. Let d = b + 9. Put 0.2, s, d in ascending order.
d, 0.2, s
Let f be (-2)/(-6) - 2/(-6). Let a be (-26)/3*57/(-620). Let t = 1/310 + a. Sort t, f, 3.
f, t, 3
Suppose -20 = -5*h, -3*o - 3*h + 11 = -7. Suppose o*t + 5 = r, -t = r - 0*t + 7. Put 3, r, 0 in descending order.
3, 0, r
Let i = 1.8 - 1.6. Let d = -3/28 + -1/7. Put -0.1, d, i in decreasing order.
i, -0.1, d
Let v be (1 - (-1)/(-1))/(-1). Suppose 4*s + 4*r + 16 = -v*s, 0