j = b + 3 + 1. Sort 1, b, 5 in increasing order.
b, 1, 5
Let i = 18.6 - -5.4. Let g = i - 20. Put -4, 0.09, g in increasing order.
-4, 0.09, g
Suppose 0 = -y - 2*y + 75. Suppose 7*d - y = 2*d. Suppose d*p + 0 - 23 = 2*i, -5*i = -2*p + 26. Sort i, -1, -3 in increasing order.
i, -3, -1
Suppose z + 5*k = -3*z + 33, 7 = z + k. Let x be (-6)/(9/12*z). Sort x, -3, 3 in increasing order.
x, -3, 3
Let p = 0.17 - 0.07. Put 0, p, 1 in decreasing order.
1, p, 0
Let z be -1 + -1 - -2*4/2. Let b = 3.5 - 3. Sort b, z, -0.5 in descending order.
z, b, -0.5
Let i = 10 + -6. Let t be 12/(-5) + 42/(-70). Let r(h) = -h**3 - 4*h**2 - h + 4. Let y be r(t). Sort 1, i, y in descending order.
i, 1, y
Let i = 4 - 6. Let c be 1 + i + (-1 - -303). Let j = c - 2405/8. Sort j, 2/11, 4 in descending order.
4, j, 2/11
Let d(m) = -m**2 + 9*m - 17. Let i be d(7). Put i, -1, 5, 2 in descending order.
5, 2, -1, i
Suppose -v - 5*y + 9 = -8, -5*v + 1 = -3*y. Suppose -m + 3 = 4. Put -5, v, m in increasing order.
-5, m, v
Suppose -30 = -5*l + 5*m, -10*m = -5*l - 8*m + 24. Let h = 5 - 2. Sort h, 0.02, l in decreasing order.
l, h, 0.02
Let l be (-81)/54*2/(-3)*4. Put l, 6, -5 in descending order.
6, l, -5
Let v be 241/(-12) - 7/28. Let t = 20 + v. Sort t, 2, -1 in descending order.
2, t, -1
Let q be -2 + 2 - (-10 - 0). Let d = -14 + q. Sort 5, d, -3 in descending order.
5, -3, d
Suppose -w = -0*w. Let o = 0.7 - 1. Sort o, 0.2, w in decreasing order.
0.2, w, o
Let c be 1 + (-3)/(2/2). Sort -4/9, c, 2 in decreasing order.
2, -4/9, c
Let n = -12 - -7. Let g be 1*(2 + n) + 8. Sort g, 1, 2 in decreasing order.
g, 2, 1
Let a = -7 - 1. Let n be 2/a + 35/28. Sort n, -1, 3 in descending order.
3, n, -1
Let x(m) = -m**2 - 6*m + 7. Let h be x(-7). Let u(s) = s - 2. Let j be u(7). Sort j, -3, h in ascending order.
-3, h, j
Let r(c) = -15*c**2 + 2*c + 1. Let z be r(-1). Sort z, 4, -1 in descending order.
4, -1, z
Let n(u) = u + 1. Let p(l) = 2*l + 14. Let j(d) = 3*n(d) - p(d). Let q be j(16). Sort q, 4, 3.
3, 4, q
Suppose 0 = -3*x + 3 - 15. Put -1, -3, x in decreasing order.
-1, -3, x
Let c be (-1)/4 + (-52)/(-16). Suppose -3*x + 5*r + 15 = -4*x, -x = -2*r - 13. Put 2, x, c in decreasing order.
x, c, 2
Let n = -26 + 26. Let v(c) = c**3 + c**2 + 2*c + 3. Let s be v(-2). Suppose -4*t + 11 = 3. Sort n, t, s in increasing order.
s, n, t
Let w = -0.43 + -0.57. Sort 0.05, -0.3, w, 4/3.
w, -0.3, 0.05, 4/3
Let f = 2.4 + -2.1. Sort 14, -3, f.
-3, f, 14
Let v = -0.079 + 2.079. Sort v, 4, 0.1.
0.1, v, 4
Suppose 0 = x - 1 + 4. Let v = -13 - -14. Sort 3/5, x, v in descending order.
v, 3/5, x
Let t = -4.5 + 5. Let x = -0.036 + -0.064. Put 0.2, t, x in decreasing order.
t, 0.2, x
Let s = -8 + 1. Let k = -2 - s. Let p = -118/3 - -40. Put k, p, -5/2 in descending order.
k, p, -5/2
Let f = 1 - -1. Let l = -2 - -2.1. Put f, l, -5 in increasing order.
-5, l, f
Suppose -24 = -5*g + 3*g. Let j be (-98)/6 + 4/g. Sort 4, 3, j in decreasing order.
4, 3, j
Let u = -20 - -19. Put 0, u, 9 in decreasing order.
9, 0, u
Suppose -b = -2*b. Let r = -27 - -26. Suppose 0 = -w - 2*w + 12. Sort w, r, b in increasing order.
r, b, w
Let b = -21/19 - -151/171. Let x = -6 + 4. Put b, 2/17, x in decreasing order.
2/17, b, x
Let h(u) = u**2 - 6*u - 2. Let y be h(6). Let q be ((-8)/(-3))/((-16)/24). Sort 4, y, q in increasing order.
q, y, 4
Suppose -q + 0 + 3 = 0. Let s(u) = -u - 1. Let x be s(-5). Suppose -x*f - 4*p = -2*f + 26, -5*f - 4*p = 41. Sort -1, f, q.
f, -1, q
Let a = -2.9 - -3.3. Put a, 3, -3 in ascending order.
-3, a, 3
Let x = 6 + -7. Let i(j) = 7*j + 8. Let v be i(6). Let w = v + -301/6. Put 1/5, w, x in ascending order.
x, w, 1/5
Let a = -271 - -295.4. Let z = a + -24. Sort z, 0, -1/4.
-1/4, 0, z
Let r be 2/(-2 - 8/(-6)). Let u = -250 - -1251/5. Sort -0.3, r, u in descending order.
u, -0.3, r
Let t(z) = -z**2 + 8*z - 8. Let y be t(7). Let b = 42 - 44. Sort -3, y, b in decreasing order.
y, b, -3
Let z(w) = 5*w + 29. Let x be z(-6). Sort -5, x, 5 in descending order.
5, x, -5
Suppose 4*r - 5*n - 2 + 4 = 0, 0 = -4*r - 4*n - 20. Put -2, 8, 3, r in increasing order.
r, -2, 3, 8
Let v = -17 + 22. Sort v, 0, 2.
0, 2, v
Let m(b) = b**2 + 6*b + 4. Let a be m(-6). Let l = a - -1. Let s = 15 - 11. Sort s, 3, l.
3, s, l
Let h = 10.8 + -10. Let z = h + -1.2. Let g = 8.3 + -8. Sort z, g, 1 in ascending order.
z, g, 1
Suppose 0 = -f - 3*f + 8. Put -4, 12, f in descending order.
12, f, -4
Suppose 2*m + 6*w - w = 25, 0 = 3*m - 3*w + 15. Suppose 8*r + 12 = 4*r + 3*j, 0 = 2*j. Sort -4, r, m.
-4, r, m
Let w = 14 + -18. Sort w, -17, 0 in decreasing order.
0, w, -17
Suppose -3*t + 0*t - 43 = -5*z, 0 = 4*z + 3*t - 29. Let x be 2/z - 93/(-12). Suppose 3*r - x = 5*r. Sort -0.1, -5, r.
-5, r, -0.1
Let i = -254 - -253. Let d = -6 - -9. Sort d, -4, i in increasing order.
-4, i, d
Suppose 36 = -0*o - 3*o. Let c(w) = -w - 6. Let i be c(0). Let z be (-15)/o + i/(-8). Sort 5, z, 0 in ascending order.
0, z, 5
Let c = -1.8 + 2. Let d = -0.2 - -0.7. Put c, d, 0 in descending order.
d, c, 0
Suppose -o - o + 4*h + 8 = 0, -3*o = -4*h - 12. Let p be (-4 - 1) + -2 + 2. Sort o, -2, p in descending order.
o, -2, p
Let k be (-5 - 0)/(14 + -15). Let y(v) = 2*v + 8. Let b be y(6). Suppose 2*s + s = -5*x + 8, 5*x - b = 0. Sort 2, k, s.
s, 2, k
Let d be (8/10)/(1/5). Let y = 0.28 - -0.22. Sort d, -2, y in ascending order.
-2, y, d
Let w = 11 + -15. Let q = 11 + -6. Let i(r) = r**3 + 4*r**2. Let d be i(-4). Put w, d, q in decreasing order.
q, d, w
Let b = -10.8 - 2.2. Let h = b - -8. Let v = 2 + -2. Sort h, v, 2 in decreasing order.
2, v, h
Let z = 0.36 + -0.06. Let g = z - 0. Let j = -47/4 - -23/2. Put g, j, -0.1 in descending order.
g, -0.1, j
Suppose 0 = 5*h - 2*h - 9. Suppose 16 = 2*x + j + h, 4*j = -x + 17. Sort -3, -0.5, x in increasing order.
-3, -0.5, x
Let j = 0.64 - -4.36. Put -4, j, -0.06 in increasing order.
-4, -0.06, j
Let p(i) = -13*i**2 + i - 5. Let t(v) = -7*v**2 + v - 3. Let s(u) = -6*p(u) + 11*t(u). Let f be s(-5). Sort 0.2, -2, f in descending order.
0.2, -2, f
Suppose -4*z + 4*i = 0, -3 = 2*z + i - 0. Put -3, z, 0 in increasing order.
-3, z, 0
Suppose 2*a = -n - 5, -5*a + 9 - 24 = 0. Let y be (1*-2 + 1)/n. Let l be (1 - 2)/(-1) - 0. Sort y, 3, l.
y, l, 3
Let u(i) = -i - 8. Let r be u(-9). Let g = -1 - r. Put g, 5, -3 in decreasing order.
5, g, -3
Suppose 16 = -7*o + 11*o. Suppose 4*r - 23 = h, -2*h + o = -0*h + 2*r. Sort 1, h, 0 in descending order.
1, 0, h
Let o = 77 + -76.96. Sort o, 2, 0.3, 2/3.
o, 0.3, 2/3, 2
Let m = 22.5 - 22. Sort 4/3, -1, 1/3, m in decreasing order.
4/3, m, 1/3, -1
Suppose 2*l + l = 6. Suppose d + 30 = 6*d. Sort -5, d, l in descending order.
d, l, -5
Let y = 1 - 1. Suppose y = 2*a + a. Suppose -2*x + x = 3. Put a, 4, x in descending order.
4, a, x
Let h be (2/20)/(2/15). Sort h, -2/7, 2 in descending order.
2, h, -2/7
Suppose 17 = -6*p - 1. Sort -2/13, p, 5 in ascending order.
p, -2/13, 5
Suppose z = -1 - 3, 0 = 5*p + 5*z - 55. Suppose -p = -3*a, 0 = 2*y + a + a - 16. Put y, 2, -2 in ascending order.
-2, 2, y
Let p(b) = b**3 + b**2 - b - 3. Let s be p(-2). Let i = 12 - 12. Put 5, s, i in decreasing order.
5, i, s
Suppose -5 = -8*x - 13. Put 14, -2, x in ascending order.
-2, x, 14
Let w be (4 - 2)/(-5*(-2)/40). Put 5, w, -1 in ascending order.
-1, 5, w
Let q = 65 + -70. Let c = 2 + -2.6. Let g = c + -1.4. Put -0.3, g, q in decreasing order.
-0.3, g, q
Let w = -7772/35 - -222. Sort 0.1, 1/9, 0, w in decreasing order.
1/9, 0.1, 0, w
Suppose z + 3*z + 8 = 0. Let h = z - 1. Let v = 5 + -9. Put v, 3, h in descending order.
3, h, v
Let j be 6*(-3 - 16/(-6)). Put 2/11, -2/21, j in decreasing order.
2/11, -2/21, j
Let x = -32 - -34. Sort 5, 11/6, x.
11/6, x, 5
Let u = 103 - 98. Put -3, -13, u in descending order.
u, -3, -13
Suppose -3 + 1 = -2*a. Suppose -7*y = -3*y - 3*x + 26, -4*x + 3 = y. Let b(z) = -z. Let q be b(-3). Sort a, q, y in ascending order.
y, a, q
Let k = 4 + -3. Let r = -22 - -20. Put -3, k, r in decreasing order.
k, r, -3
Suppose -3*b = -5*u + 30, -2*u + 4*b + 31 = -b. Suppose -5 = -x + 2*n - u*n, -2*x - 20 = -4*n. Suppose 0*g = 2*g + 2. Sort 2, g, x.
g, x, 2
Let c(k) = k**3 - 7*k**2 + 6*k + 4. Let a be c(6). Let q = 0.01 + 3.99. Let o = -8 + q. Put a, o, 1 in descending order.
a, 1, o
Let r = -2 + -3. Let c = 10 - 