 = i*b + 20. Sort b, f, -2.
b, -2, f
Suppose 2*t + 2*t - 44 = 0. Suppose -t = -2*o + 5*i, -2 = o - i - 6. Put 4, o, 1 in decreasing order.
4, o, 1
Suppose -45*s + 46*s - 5 = 0. Suppose 12 = -h + 5*h. Sort s, h, 1 in ascending order.
1, h, s
Let m = 7.1 + -7.2. Let h be 2 - (1 - 8/(-5)). Sort m, 0.5, h.
h, m, 0.5
Let j(i) = i**3 + 12*i**2 + 11*i + 4. Let y be j(-11). Let m be y/(-22) - 3/44. Let l = -1.3 + 0.3. Put m, l, -3 in descending order.
m, l, -3
Suppose 2*g - 10 = g + 3*v, 0 = 2*g - v. Let h be 2*(3/(-2) - g). Let n(o) = o**2 - 6*o + 4. Let w be n(4). Sort -5, w, h in descending order.
h, w, -5
Suppose -9*s + 4*s + 25 = 0. Suppose 3*w + c = -2, 0*w - 4*c - 22 = -2*w. Let v = 2 - 2. Sort w, v, s.
v, w, s
Let c be (9/(-774))/(3/74). Let o = c - 2/43. Put -1, o, -3 in decreasing order.
o, -1, -3
Let b(h) = -h**3 + 4*h - 3. Let z be b(2). Suppose -10*o = -13*o - 15. Put 4, o, z in ascending order.
o, z, 4
Let h(s) = s**2 - 5*s + 3. Let w be h(3). Let k = w - -2. Put 1, k, 4 in descending order.
4, 1, k
Suppose 5 = 3*g - 7. Suppose 0*f = 2*f + 4. Sort f, -1, g.
f, -1, g
Let h = -3 - 0. Sort h, -2, 2 in descending order.
2, -2, h
Let c = 0.6 - 0.7. Let s be (-128)/7 + 6/21. Let b be 4/s + (-1)/9. Put b, c, 3 in ascending order.
b, c, 3
Suppose -2*m - 4*k = -k - 10, -3*m = 3*k - 9. Let d be 1 - ((-1 - 3) + 2). Let a = -36 - -33. Put m, a, d in ascending order.
a, m, d
Let d(r) = r**2 + r - 3. Let u be d(0). Put 4, u, 15 in descending order.
15, 4, u
Let z = 77 - 109. Let j be (-4)/10 + z/(-280). Put 2/13, j, -0.1 in ascending order.
j, -0.1, 2/13
Let o = 125 + -122. Put o, 2, 0.2 in increasing order.
0.2, 2, o
Let i(o) = -o**2 + 4*o + 2. Let b be i(3). Let q be ((-4)/(-16)*2)/(2/(-20)). Sort b, 2, q in descending order.
b, 2, q
Suppose 5 = y + 10. Sort y, -2, 1.
y, -2, 1
Let m = -15 - -16. Sort -5, 4, m in descending order.
4, m, -5
Let o(k) = k**2 + 3*k + 5. Let w be o(-4). Suppose -c = -7 + w. Sort -1, c, 4.
c, -1, 4
Let u(v) = v. Let q be u(-5). Let n = -0.1 + 0.2. Let f = -2.9 + -0.1. Sort n, f, q in descending order.
n, f, q
Let q = -0.6 - 1.4. Let m = -0.0523 - 4.8877. Let g = m - 0.06. Sort 5, q, g in ascending order.
g, q, 5
Let o = -78 + 73. Put -11, o, -2/5, 2/23 in descending order.
2/23, -2/5, o, -11
Let u = -7.5 - -1.5. Let s = 3 + u. Sort 0.3, s, 2/5 in decreasing order.
2/5, 0.3, s
Let o be (5 - -2) + (-3 - -1). Let b be (-4)/(-6) - o/3. Let a(c) = 5*c + 7. Let g be a(-2). Sort b, g, 2.
g, b, 2
Let h = -4.1 - -3. Let u be (-1)/2*(-6)/15. Sort h, 5, u in ascending order.
h, u, 5
Let m = 0 - -1. Suppose -15 = 7*w + 20. Put m, w, -4 in descending order.
m, -4, w
Let n be 7 + -1 + 2 + -3. Suppose 2 = -n*w + x, w = -x + 4*x - 6. Sort 2, 3, w in decreasing order.
3, 2, w
Let y be ((-6 - -3)/(-3))/1. Let w(h) = -h + 5. Let k be w(0). Let m(x) = x**2 - 3. Let o be m(0). Put o, y, k in ascending order.
o, y, k
Suppose 2*z = z + 15. Suppose 3*x + 7 - 25 = 0. Suppose -z = -l + 4*g, -l + g = -0*g - x. Put 2, -5, l in decreasing order.
l, 2, -5
Let o be (-1)/(-4) - (-42)/(-8). Let c(t) = -t**2 + t + 1. Let q be c(0). Let p be (-6 + 4)/(-3*q). Sort -0.1, o, p.
o, -0.1, p
Let y be (-4)/(-48) - (-2)/(-8). Let t = -10 + 7.1. Let f = 3 + t. Put y, f, 2/9 in descending order.
2/9, f, y
Suppose 0*q + q = 3*n - 86, 0 = n + 4*q - 33. Suppose 0 = 3*r - 0*r - 4*j - n, 0 = -4*r + 2*j + 22. Suppose -w - 2 = -r*w. Sort 0.3, w, 0.1 in increasing order.
0.1, 0.3, w
Let g(u) = u**2 + 4*u - 6. Let z be g(-6). Suppose 2*c = z*c - 12. Let s be (c + 1)*(-9)/12. Sort -1, s, -2.
s, -2, -1
Let g(d) = -2*d**2 + 1. Let n be g(-1). Let b(s) = -3*s - 12. Let x be b(9). Let f be (x/(-52))/((-2)/(-8)). Sort f, n, 4 in ascending order.
n, f, 4
Let q = 113/28 + -23/7. Let c be (-69)/(-9) - (46 - 39). Sort 0.5, q, c in decreasing order.
q, c, 0.5
Let m = -4.08 + 0.08. Let b = 0 - -0.2. Sort m, b, -2 in ascending order.
m, -2, b
Let u(m) = -m**3 + 3*m**2 + 7*m - 9. Let a be u(4). Sort -0.4, a, 4 in increasing order.
-0.4, a, 4
Suppose 3*l = -4*k + 5, -k + 5*k = 3*l + 35. Sort k, 0, -3 in increasing order.
-3, 0, k
Suppose -2*g + 8 = 4. Sort g, -1, -5 in descending order.
g, -1, -5
Let k be (2/(0 + 6))/(42/(-36)). Let y = -41 + 203/5. Sort 3/7, k, y.
y, k, 3/7
Let m be (4/(-4))/(-1) - -3. Put -3, m, 1 in ascending order.
-3, 1, m
Let b be 2*(-1 + 2 - 0). Let m = 1 + 0. Sort b, 5, m.
m, b, 5
Let g(t) = -5*t**3 + t**2 + t - 1. Let i be g(-1). Sort -7, i, 0.5, 0.
-7, 0, 0.5, i
Let p = -3.63 + -0.37. Let d be (1/1)/(2/(-10)). Let y = -8 + 11. Sort d, y, p in ascending order.
d, p, y
Let w(g) = 2*g - 7. Let u(p) = p**3 + 7*p**2 - 10*p - 4. Let r be u(-8). Let v = r + -7. Let d be w(v). Sort 4, d, -2 in ascending order.
-2, d, 4
Let l(n) = -n**2 - 4*n - 6. Let g be l(-4). Sort g, 4, -1, -4 in decreasing order.
4, -1, -4, g
Suppose -2 = -4*v + 22. Suppose 2*d - 2*u + 2 = 0, 5*d - 4*u + v = 2*d. Put 2/5, -0.3, d in decreasing order.
d, 2/5, -0.3
Suppose 8 = -4*h - 12. Suppose -2*t + 0 = 2. Put t, 2, h in descending order.
2, t, h
Let b = -14 + 12.8. Let k = 0.7 + b. Put -3/7, -5, k in descending order.
-3/7, k, -5
Suppose 3*i + 5*x = -2*i, 0 = -4*x - 20. Sort -2, 0.01, i.
-2, 0.01, i
Let z be 22/(-12) - (-12 + 10). Sort z, 0.2, 0 in increasing order.
0, z, 0.2
Let w be (-2)/7 - (-104)/(-28). Let b = w - -7. Let h(q) = -q**2 + 4*q + 1. Let s be h(3). Sort s, b, -2 in decreasing order.
s, b, -2
Let y be 39/(-9) + (-4)/(-12). Suppose 2*v - 5*v = 0. Sort v, -2, y in decreasing order.
v, -2, y
Let l = -41 - -46.7. Let n = 6 - l. Let z be 1/(-12) - 7/28. Sort n, z, -0.4 in ascending order.
-0.4, z, n
Let g = 6 - 12. Let u be 4/g - 114/(-9). Let y be 4/(-6)*u/8. Put 1, -0.1, y in increasing order.
y, -0.1, 1
Let w(g) = g**3 - 4*g**2 + 6*g - 13. Let v be w(3). Put -5, -10, v in decreasing order.
v, -5, -10
Let c = 4.9 + -1.7. Let b = -7 - -10. Let h = c - b. Sort -0.2, 1, h in descending order.
1, h, -0.2
Suppose -8 = 3*y + 10. Let f(z) = -3*z - 3*z - 2 + 0 - z**2. Let o be f(y). Sort -4, o, -5 in decreasing order.
o, -4, -5
Let k(p) = p**2 - 8*p + 3. Let v be k(8). Suppose 3*q = 4*q - v. Put q, 4, -4 in ascending order.
-4, q, 4
Let c be ((-36)/(-20))/((-3)/(-10)). Suppose -5*s - 1 = -c. Put s, 4, 3 in descending order.
4, 3, s
Let r = 0.04 + 0.16. Let x = -0.3 - -0.2. Put -5, r, x in decreasing order.
r, x, -5
Let i be (-3)/6 + 2/(-20). Put -5, 0.1, i in descending order.
0.1, i, -5
Let g = -3 + -1. Let l(c) = -c**3 - 9*c**2 + 11*c + 13. Let z be l(-10). Let q be 3/(-2) - 14/4. Sort q, z, g in decreasing order.
z, g, q
Let a be (-78)/(-66) + (-4)/22. Put 3, a, 11 in ascending order.
a, 3, 11
Suppose -4*x + 5*a = 29, 5*a = 3*x - 2*x + 26. Put -2, -3, x, 1 in descending order.
1, x, -2, -3
Let q = -15 - -11. Sort 5, q, -5 in descending order.
5, q, -5
Let c = 11/18 + -1/9. Let p = -7.7 - -8. Let t = p + 0.1. Sort -5, t, c in descending order.
c, t, -5
Suppose 0*y = -y + 2. Sort -1, y, 3 in ascending order.
-1, y, 3
Suppose 3*a = -a + 40. Suppose y = -y + a. Suppose 9 = 2*d + d - 2*o, -y*d = -3*o - 16. Sort -4, 3, d.
-4, 3, d
Let j(h) = 2*h**2 + 2*h + 1. Let s be (-1 - 0)*2 + 4. Suppose -1 = 4*z + p + 2, 3*p + s = -5*z. Let x be j(z). Put -4, 2, x in ascending order.
-4, x, 2
Let u = 13.3 + -13. Sort u, -0.2, 4 in descending order.
4, u, -0.2
Let j(q) = 2*q - 5 + 2*q**2 - q**3 + 0*q**3 + 7. Let d be j(3). Let f(c) = -c. Let s be f(-5). Sort -3, s, d in descending order.
s, d, -3
Suppose -4 = 6*b - 5*b. Suppose -3*g = -0*g - 15. Sort b, -5, g in ascending order.
-5, b, g
Let u = -0.03 - -2.03. Suppose l + 4 = -3*l. Let v = -0.01 + 5.01. Sort v, l, u in descending order.
v, u, l
Suppose 3*w + 3*t = 21, -4*t + 2*t = -5*w. Let r(j) = 4*j**2 - 6*j - 1. Let s be r(2). Put s, -5, w in descending order.
s, w, -5
Suppose 0 = o + 6*g - 5*g + 2, 0 = -4*o + 2*g + 4. Let x(j) = -j**2 + 10*j + 2. Let t be x(10). Suppose t*s + 9 = 1. Sort -5, o, s in ascending order.
-5, s, o
Let u = 17/69 + 2/23. Sort u, -2/9, 2/9.
-2/9, 2/9, u
Suppose -8 = 3*q + 7. Sort -4, 5, 0, q in decreasing order.
5, 0, -4, q
Let x = 55 - 55.46. Let l = 0.04 - x. Put 1, -2/9, l in ascending order.
-2/9, l, 1
Let t(d) = d**3 + 3*d**2 + 2*d + 1. Let o(m) = m**2 - 11*m - 3. Let s be o(11). Let g be t(s). Put -3/7, g, -0.3 in descen