 n = 48 - 43. Put 2/7, 3, n, -5 in increasing order.
-5, 2/7, 3, n
Suppose 0 = -7*s + 3*s + 12. Suppose 0 = -3*b + 9 - 3. Suppose 3 = -4*i - b*l - 5, -17 = 3*i - 4*l. Sort 0, s, i in descending order.
s, 0, i
Let w(p) = -3*p + 4. Let c be w(2). Let o be ((2 - -1)/3)/(-1). Put 5, o, c in decreasing order.
5, o, c
Let o = -2 + -1. Let y = 34.6 - 35. Sort o, y, 5 in descending order.
5, y, o
Let g(w) = -w**2 + 11*w + 7. Let d be g(12). Let t = d - -9. Let y be (-189)/39 + t/(-26). Put -4, 3, y in decreasing order.
3, -4, y
Let y be (-30)/24*(1 - (-6)/2). Put y, 4, 5, 6 in increasing order.
y, 4, 5, 6
Let l = 2 - 2. Let x = -1 + -8. Let o = x + 5. Put l, o, 1/9 in descending order.
1/9, l, o
Let k = 15.32 + -13.3. Let a = k + -0.02. Put -0.4, a, 4 in decreasing order.
4, a, -0.4
Let l = -21 - -23. Suppose -6*h + 4*h = l. Let b be (2*1)/(4/6). Put h, 1, b in ascending order.
h, 1, b
Let h = -0.5 + 2.8. Let c = 0.3 - h. Sort -2/3, c, 1/3 in descending order.
1/3, -2/3, c
Let k be (-40)/(-15) + -2 - 4/6. Let i(u) = -u + 9. Let b be i(4). Sort k, -4, b.
-4, k, b
Suppose -2*m - 7 = 1. Let o(n) = n + 4. Let h be o(-4). Sort m, h, 2 in decreasing order.
2, h, m
Let w(i) = -13*i**3 + 2*i + 1. Let b be w(-1). Let h = b + -7. Suppose 4*f = -u + 3*u - 12, 4*u - 11 = -5*f. Put 2, f, h in decreasing order.
h, 2, f
Suppose 4*k = 5*k + 5. Put -2, k, 1, -3 in decreasing order.
1, -2, -3, k
Let b be (-3)/(-4) - (-2)/8. Let i = -42 + 44. Sort i, b, -3 in descending order.
i, b, -3
Let g(r) = 32*r + 8. Let k be g(-5). Let n be (-4)/18 - k/36. Sort -2, 1, n.
-2, 1, n
Suppose -2*j = 2*x - 12, 4*x - 6*x - 5*j + 24 = 0. Put 3, x, -5, 0 in descending order.
3, x, 0, -5
Suppose 5*w + 4*k = 2 - 1, k - 1 = -w. Let x(f) = -f**2 - 12*f - 41. Let q be x(-7). Sort w, 0, q.
q, w, 0
Let r(f) = 11*f + 11. Let l(a) = -5*a - 6. Let o(s) = -13*l(s) - 6*r(s). Let w be o(10). Sort w, -1, 0 in descending order.
w, 0, -1
Let z = -21 + 16. Sort z, -0.4, -4.
z, -4, -0.4
Let v be (-4)/(-6) - (-2)/6. Put -4, -2, v in descending order.
v, -2, -4
Let d be 2 + 41 + 4/2. Suppose -3*q = -3, 3*u + d = 7*u - 3*q. Let a = -17 + u. Sort a, 1, 3 in increasing order.
a, 1, 3
Let m = -16 + 14. Sort m, -1, 3, -3.
-3, m, -1, 3
Let b(t) = -t**2 - 10*t + 5. Let h be b(-9). Let s = h - 14. Sort 2, s, 1.
s, 1, 2
Suppose -2*b + 44 = -4*t, 2*t + 5*b - 1 = 1. Let u = t + 8. Sort -0.2, u, 0.4 in descending order.
0.4, -0.2, u
Let a = -7/8 - -3/8. Let i be 5*(-10)/18 - -3. Put a, i, 1/4 in ascending order.
a, i, 1/4
Let l(k) = 2*k**2 + 4*k - 1. Let y be l(-3). Suppose 5*g - 14 = -4*x + 3, 27 = -x + 5*g. Let c be (-3)/(x - 14/(-4)). Sort c, 0, y in descending order.
y, 0, c
Let u be ((-10)/6 - -1)*-6. Let f = 6 + -11. Let z = -2 - 0. Put u, z, f in descending order.
u, z, f
Let d = -34 + 31. Suppose -3*w = 2 + 1, 3*w + 53 = 5*f. Let b = -5 + f. Put d, 3, b in increasing order.
d, 3, b
Let u be -2 + -12 + 1 - (0 - 3). Let i be (-38)/10 - 3/15. Sort u, i, 2.
u, i, 2
Let g be (-6)/(-4) - (-20)/48*-3. Let o(s) = -4*s**2 + s + 1. Let t be o(-1). Let j = 3 + -3.3. Sort t, g, j in increasing order.
t, j, g
Let i = 5 + -1. Let w(u) = u**2 + 6*u - 4. Let a be w(-6). Let t = -84 - -79. Put i, t, a in descending order.
i, a, t
Let y(j) = -2*j + 4. Let q be y(10). Sort 0, 5, q in decreasing order.
5, 0, q
Let s = 155 - 1243/8. Put 0.1, 0.5, s in increasing order.
s, 0.1, 0.5
Let y = -48 - -39. Sort y, -2/13, 2/7 in ascending order.
y, -2/13, 2/7
Suppose -5*u - 18 = -8*u. Let j = u - 7. Put -7, j, -5 in ascending order.
-7, -5, j
Let o = -4 - -4.1. Let b = 0.13 - 0.83. Let s = b - -0.5. Sort -3, o, s.
-3, s, o
Let z(y) = -3*y**3 - 2*y**2 - 3*y - 2. Let a be z(-1). Sort a, 8, 0 in decreasing order.
8, a, 0
Let s(i) = 2*i + 17. Let k be s(-7). Sort 0, 4, k in decreasing order.
4, k, 0
Let q be 1*(-2 - 32/(-17)). Sort q, -2, 0, -0.5 in decreasing order.
0, q, -0.5, -2
Let c = -41 + 41. Sort 0.07, -5, c.
-5, c, 0.07
Let r = -1 - -1.1. Let m = -78.7 + 79. Put 1, m, r in ascending order.
r, m, 1
Let i = 0.01 - 0.41. Let h = 80/7 - 11. Put h, i, -3 in increasing order.
-3, i, h
Let p be 2 - ((-6)/(-2))/(-3). Let u(t) = -2*t**2 + 2*t + 2. Let d be u(2). Let w = d + 0. Sort p, w, -3.
-3, w, p
Let l = 6 - 9. Sort -5, 2, l, -4 in descending order.
2, l, -4, -5
Let g be (-4 + 2)*(-16)/(-32). Sort -5, 0.5, -3, g in descending order.
0.5, g, -3, -5
Let s = 117 + -116.8. Sort -0.2, s, -5/4 in descending order.
s, -0.2, -5/4
Suppose 2*p - 3 + 11 = 0. Put -7, 4, 2, p in ascending order.
-7, p, 2, 4
Let n = 9/2 + -57/14. Let l be 2/3*1*-3. Sort l, -0.2, n.
l, -0.2, n
Let u = 9 - 9.02. Sort 4, u, 0 in ascending order.
u, 0, 4
Let o = 7 - 7.2. Put -1, 0.1, o, 5 in ascending order.
-1, o, 0.1, 5
Let i = 0.56 - 0.16. Let k = i - -0.1. Sort -2/7, -4, k.
-4, -2/7, k
Let s = 45/4 + -237/20. Sort 1/2, s, -0.3, -25 in decreasing order.
1/2, -0.3, s, -25
Let n = -51 - -57. Put 5, -2, 3, n in decreasing order.
n, 5, 3, -2
Suppose -15*k + 42 = -k. Let f be 4/((-3)/(-2 + 5)). Sort f, -0.2, k.
f, -0.2, k
Let r be (-30)/(-15) + (5 + -2 - 0). Put -8, 1, r in descending order.
r, 1, -8
Let s be (-4)/7*(-1)/(-2). Let m = 22 - 24. Let g be m/(7/(84/(-8))). Put g, -0.5, s in descending order.
g, s, -0.5
Suppose -6 + 4 = -z. Let j(f) = f. Let g be j(z). Put -5, g, 3/2 in ascending order.
-5, 3/2, g
Let k be 18/4 + 2/(12/(-3)). Put k, -4, 3 in ascending order.
-4, 3, k
Suppose 0 = -0*z + 2*z + 10. Sort 1, 4, z, 0.
z, 0, 1, 4
Let l(k) = -k - 3. Let j be l(-3). Let d(t) = -2*t - 1. Let x be d(j). Suppose -h + 0 = -3. Sort x, h, 1 in increasing order.
x, 1, h
Suppose -4*p + 0 - 24 = 0. Let x be (4/p)/((-1)/(-3)). Sort -5, 5, x in decreasing order.
5, x, -5
Let j be (1 - -1) + (-28)/16. Let d = 0.53 + -4.73. Let w = 4 + d. Sort w, j, 5 in ascending order.
w, j, 5
Let a = 1.1 - -0.9. Let g be (1 - 0)*-2 - -1. Sort a, -0.5, g in ascending order.
g, -0.5, a
Let c = 0.01 - 3.01. Let m = -5 - -2. Let v = m + -1. Put c, -5, v in decreasing order.
c, v, -5
Suppose 2*m + 4 = -2*r, r - 6*m + 14 = -m. Put r, -3, -15 in descending order.
-3, r, -15
Let l be 1/(1/5 + 0). Suppose -2*z - 53 = -5*p, -7*z = -2*p - 2*z + 38. Suppose 3*w + 2*o + 5 = -3, -5*o - p = 2*w. Put w, 0, l in descending order.
l, 0, w
Let f = -2 - 3. Let p = -4 + 0. Put f, p, 1/5 in decreasing order.
1/5, p, f
Let v be 6/(-3) + (-1 - -1). Let a(k) = k**3 - 5*k**2 + 3*k - 5. Let z be a(4). Let u = z + 13. Sort v, 1, u in increasing order.
v, 1, u
Suppose -2*a = -3*t - 4, 3*t + 19 = 3*a + 2*a. Let s = -10 + 9. Suppose 0 = 3*n + 6 + 6. Put s, t, n in increasing order.
n, s, t
Let w(a) = 3*a**2 + 6*a - 4. Let f be w(-5). Let l = -206/5 + f. Let m = 39/7 + -41/7. Sort m, 5, l.
m, l, 5
Let c be -1 + ((-10)/(-4) - 2). Let q = 0.34 - 0.04. Put -0.4, c, q in decreasing order.
q, -0.4, c
Let x = -10 + 4. Let s = -11/2 - x. Let i(w) = w**2 - 6*w + 3. Let d be i(5). Sort 2, d, s in ascending order.
d, s, 2
Let v = 79/3 + -27. Let s = 4.052 - 0.052. Let n = 0.01 - 0.31. Sort n, s, v in decreasing order.
s, n, v
Suppose 0 = -0*a - a + 3*v + 1, 1 = a - 4*v. Sort a, -1, 3 in increasing order.
-1, a, 3
Suppose -7 = -2*x - 3. Put 0.1, 3/7, x in ascending order.
0.1, 3/7, x
Suppose 0 = -5*j + 4*t - 21 + 1, 2*j = 5*t - 25. Suppose 1 = -a + 4. Sort 1, j, a in ascending order.
j, 1, a
Let p = 0.7 - 1. Let r = 0.8 + -0.3. Suppose -2*x + 4*z = 0, -x - 4*z = z + 14. Sort x, r, p.
x, p, r
Suppose -22 = -3*q - 2*q + 2*a, 2*q = 3*a. Let x = 221 - 221. Put x, q, -4 in decreasing order.
q, x, -4
Let g(r) = r + 13. Let j be g(-10). Suppose j*p - 4 = -1. Sort 5, p, -1 in descending order.
5, p, -1
Let k = -7.1 - -0.1. Let q = k + 6.6. Put q, -1, -0.5 in increasing order.
-1, -0.5, q
Suppose 2 = 4*b + 2*h, 0 = b + 4*h - 0*h + 17. Let l(k) = 9*k - 4. Let p be l(1). Put p, 0, b in ascending order.
0, b, p
Let g(i) = i**3 - i**2 - 2. Let j be g(2). Suppose -2*k - 4 = -o + 1, 20 = -4*k. Put -2, o, j in descending order.
j, -2, o
Let l = -11 + 7. Sort l, 3, -5 in increasing order.
-5, l, 3
Suppose 8 + 12 = 5*o. Suppose 5*s - 7 - 6 = -o*g, 0 = 4*s - 20. Let t be 0/((-10)/((-20)/4)). Put -1, t, g in descending order.
t, -1, g
Let g = 3.4 - 2.4. Let c(k) = 0 - 3*k - 1 + 2*k. Let h be c(-5). Sort h, -0.2, g in decreasing order.
h, g, -0.2
Let g be ((