 = -d - 2*y + 3*y. Let t be (2*d)/((-8)/(-12)). Put -5, h, t in increasing order.
-5, t, h
Let p(q) = -q**2 - 5*q + 1. Let l be p(-4). Let v = -572 - -573. Sort v, -1, l in decreasing order.
l, v, -1
Let o be 6*2/40*(-25)/30. Sort 1, 0.1, o.
o, 0.1, 1
Let o = 3.22 + 0.38. Let s = o - -0.4. Put 2/11, 2, s in ascending order.
2/11, 2, s
Let m = 111/88 + -18/11. Let p = 27.5 + -28. Sort p, -0.2, m in decreasing order.
-0.2, m, p
Let b be 3/(-12) + 171/12. Suppose 8 = -4*c, 2*c + 2*c + b = 3*j. Sort 5, j, -1 in increasing order.
-1, j, 5
Let p = -53 + 52. Suppose 2*f - 5*f - 3*g + 3 = 0, 5*g + 11 = 3*f. Sort -2, p, f in ascending order.
-2, p, f
Suppose -2*q + 6 = 2*w, -7*w + q = -2*w - 3. Sort -3, w, -1 in decreasing order.
w, -1, -3
Let p = 0.046 - -2.954. Sort 1, p, -3, -1/5 in ascending order.
-3, -1/5, 1, p
Suppose 3*a + 6 = 0, 5*l - a = 3*a - 7. Let k(q) = -q**3 - 4*q**2 - 4*q. Let z be k(-4). Let y be (-12)/30 - z/10. Sort l, -4, y in decreasing order.
y, l, -4
Let p(g) be the second derivative of -g**4/12 - g**3/3 + 2*g**2 - 5*g. Let x be p(2). Sort x, 3, 1 in decreasing order.
3, 1, x
Let t(g) = -g**2 + g + 1. Let s(d) = -d**2 - 4*d - 4. Let m(l) = -s(l) + 2*t(l). Let k be m(6). Suppose -3*b = -k*b. Sort b, 3, -4 in ascending order.
-4, b, 3
Let n = -0.033 - 0.967. Put 4, -1/4, 1/4, n in ascending order.
n, -1/4, 1/4, 4
Let t = -0.18 - -0.08. Sort -0.3, -6, t in ascending order.
-6, -0.3, t
Let n = -2 + 15. Let w = -13.1 + n. Let t be 12/(-10)*2/6. Sort -2/3, t, w in decreasing order.
w, t, -2/3
Suppose 3*a - 5*f - 1 = 0, -a + 0*f + 4 = 2*f. Let y = -4 - -2. Put 5, a, y in ascending order.
y, a, 5
Let x(j) = j**2 - j - 2. Let y be x(0). Let f = 0 + -3. Put y, f, -4 in ascending order.
-4, f, y
Suppose 0 = -3*y - 2*o, o - 12 - 1 = 5*y. Put 1, y, -5 in increasing order.
-5, y, 1
Let t(b) = b**2 + 5*b + 4. Let l be t(-5). Let r(c) = -c**3 - c**2 + 3*c + 4. Let v be r(-2). Sort v, l, -2 in descending order.
l, v, -2
Let h(u) = -2*u + 1. Let q be h(-5). Let i = q + -7. Suppose -2*k - 22 = 4*t - 0*k, 4*k = i*t + 16. Put 0, -4, t in descending order.
0, -4, t
Let s be -1*12 - (-1 + -1). Let k be (-81)/15 + (-4)/s. Let o = 8 + -3. Put k, o, 0 in descending order.
o, 0, k
Let j be (-2 - -1) + 2 + 2. Suppose -j*m = -0*m + 15. Sort m, -3, 4 in descending order.
4, -3, m
Let c = 118 + -123. Put c, 4, 1 in increasing order.
c, 1, 4
Let o(v) = 15*v + 28. Let l be o(-2). Sort l, 1.4, 3.
l, 1.4, 3
Suppose -3*t + 5 = v, 18 = 3*v - 5*t + 3. Suppose 3*s = -2*r - 5, -v*s + 1 = -r - 8. Put -2, 4, r in ascending order.
r, -2, 4
Let n = 64.1 - 61. Let c = -2.1 + n. Put c, 3/7, -1/6 in decreasing order.
c, 3/7, -1/6
Let l = -29 - -16. Sort -4, l, -1/2 in descending order.
-1/2, -4, l
Let f = 0.09 - 0.06. Let o = -1.5 - -2. Sort o, 2, f in descending order.
2, o, f
Let k = -81 + 83. Sort k, -13, -5, 3 in decreasing order.
3, k, -5, -13
Let t = -19 - -17. Sort 0, t, -5 in decreasing order.
0, t, -5
Let f be (-18)/(-15)*(-5)/(-2). Sort 4, f, -2 in ascending order.
-2, f, 4
Let h be 5*2 - (-10 + 5). Sort 2, 4, h, -1.
-1, 2, 4, h
Let z = 8 + -11. Let i be z/2*(2 + 0). Sort -4, i, -5 in increasing order.
-5, -4, i
Let o = -25/2 - -12. Let m = 0.5 + -2.5. Let d be -2*(-1)/(-2) + 0. Put d, m, o in decreasing order.
o, d, m
Let o = -1 - -0.5. Let x = -412/9 + 46. Sort x, -1, o.
-1, o, x
Let j(x) be the second derivative of x**3/2 + 3*x**2 - 4*x. Let k be j(-3). Let u = 0.1 + 0.2. Put u, k, -0.4 in increasing order.
k, -0.4, u
Let r = -1 + 4. Let a be (r/(-3) + 2)*1. Suppose -3*k - 7 + a = 0. Put k, -1, 0 in descending order.
0, -1, k
Suppose 0*o + 4*w = -o - 16, -2*w - 22 = -3*o. Let x(p) = p**3 + 8*p**2 + p + 10. Let z be x(-8). Sort o, 0, z.
0, z, o
Let z = 0.4 - 0.1. Suppose 4 = 3*k - 2. Let w = 85 + -85. Put k, z, w in ascending order.
w, z, k
Suppose -5*r - 1 = 19. Let c = 0 + 1. Put r, -2, c in decreasing order.
c, -2, r
Let w = -0.11 + -4.89. Let d = -0.065 + 4.065. Put w, 3, d in ascending order.
w, 3, d
Let j = -13 - -8. Sort -2/13, j, 5 in decreasing order.
5, -2/13, j
Let b = 0.11 + 0.89. Sort -21, b, 2.
-21, b, 2
Let q(v) = v**2 - 3*v - 1. Let r be q(3). Let n be (-4)/8 + 1/2. Let c = -3 + n. Sort c, r, 3.
c, r, 3
Let b be -4 - 3/((-9)/10). Sort b, -1/3, -0.04 in increasing order.
b, -1/3, -0.04
Let c = 7 + -9. Let z(f) = -f - 2. Let p be z(c). Put -3, p, -4 in increasing order.
-4, -3, p
Let h = 11/60 - 1/60. Let w(v) = v + 1. Let x be w(-6). Sort x, h, -1/4 in increasing order.
x, -1/4, h
Suppose 0 = 5*z - 7*z + 8. Let r(c) = -2*c + c - 2*c + 3. Let g be r(2). Put g, 2, z in decreasing order.
z, 2, g
Let f be ((-14)/35)/((-6)/(-10)). Let g = -0.5 - -0.1. Put 0, g, f in decreasing order.
0, g, f
Let m = -34.3 - -33. Let j = m - -1. Put j, 0, -2 in increasing order.
-2, j, 0
Let y be 4/6*12/16. Sort -0.4, y, -0.1 in descending order.
y, -0.1, -0.4
Let v be (-8)/3 + 2 - -1. Let u = 80 - 82. Put u, v, 2 in decreasing order.
2, v, u
Let s(q) = -2*q**3 - 3*q**2. Let i be s(-2). Suppose -3*j = 0, -4*w - 2*j - 23 + 3 = 0. Put w, i, 2 in ascending order.
w, 2, i
Let m be (-12)/(-6)*(-3)/(-2). Suppose m*c + 2 = c. Let p be ((-3)/(-2))/(3/(-4)). Sort c, p, 2 in decreasing order.
2, c, p
Let c = 7 - 10. Let a(b) = b**3 - 12*b**2 - 14*b + 9. Let l be a(13). Sort c, l, -0.2 in decreasing order.
-0.2, c, l
Let m = 143/735 - 3/49. Sort m, -2/3, 0.3 in increasing order.
-2/3, m, 0.3
Suppose 18 = -5*i + 3*s - s, -2*i + 2*s - 12 = 0. Let l = 3 + -8. Sort i, l, 0 in decreasing order.
0, i, l
Let z = 9.3 + -10. Let u = z + 0.62. Let m = -3.08 - u. Put -0.3, m, -5 in decreasing order.
-0.3, m, -5
Let i = -0.1 + 1.1. Let h = 4 + i. Sort -0.1, h, -1/2 in increasing order.
-1/2, -0.1, h
Let u = -146 - -143. Let c(x) = -x + 3. Let s be c(4). Sort s, u, -2 in decreasing order.
s, -2, u
Let c = 5.1 - 1.1. Let u = c + -5.5. Let v = u + 1. Put 3, v, -2/3 in descending order.
3, v, -2/3
Let b be (-30)/12 + (-3)/(-1). Suppose 2 = -2*g - 8. Sort 2/9, b, g in ascending order.
g, 2/9, b
Suppose 36 = -13*n + 4*n. Let u = 5 - 3. Let k be (u + -4)*(1 - 0). Put n, 2, k in ascending order.
n, k, 2
Let b(f) = -f**2 + 9*f + 12. Suppose -4*d + 44 - 4 = 0. Let s be b(d). Put 2/13, s, -4/7 in descending order.
s, 2/13, -4/7
Suppose 0 = -t - 0 - 2. Let w = t + 6. Sort -4, -1, w in descending order.
w, -1, -4
Let s = -8 - -2. Let b be (0*2/s)/(-2). Sort 2, b, 5.
b, 2, 5
Let a(d) = 3*d**3 - d - 1. Let w be a(-1). Let n(y) = -y**2 - 7*y + 5. Let o be n(4). Let r = o - -116/3. Sort 5, r, w in descending order.
5, r, w
Let k be 0/(0 - -3 - 1). Let b be -1 + (-2 - 0) + k. Let d(s) = s**3 + 3*s**2 - 5*s - 3. Let v be d(-4). Put 3, b, v in decreasing order.
3, v, b
Suppose 5*v + 0*z = z - 17, -23 = 2*v + 5*z. Let u be 1/2*v/(-5). Sort u, 1/4, -0.3 in descending order.
u, 1/4, -0.3
Let x = 2 + -1. Suppose 4*a + 13 - x = -4*g, 4*g = -a - 18. Suppose -19 + a = -4*m + o, -5*o + 25 = 2*m. Sort -4, -3, m.
-4, -3, m
Let f = 7 + 27. Suppose 5*a + 9 = f. Put a, 0, 3 in decreasing order.
a, 3, 0
Suppose -22*s = -21*s. Put -5, -1, s in decreasing order.
s, -1, -5
Suppose 2*i + 2*m = 3*m - 7, 3*i = -2*m - 7. Let r(l) = l. Let p be r(i). Let k(n) = -n**2 + 4*n + 6. Let d be k(5). Put 5, d, p in decreasing order.
5, d, p
Let b = 0 - 0. Let o be (-6 - -50)*(-2)/(-8). Let v(s) = -s + 12. Let h be v(o). Put 2, b, h in descending order.
2, h, b
Let w(u) = u + 5. Let r be (41 - 2)*(-2)/(-3). Suppose -4*n + 38 = 2*t - 5*t, 0 = -t + 4*n - r. Let l be w(t). Put 4, l, 5 in descending order.
5, 4, l
Suppose 3*d - 3 = -4*v - 0, -d + 8 = -v. Let z be (-17)/5 + (-6)/10. Put d, z, 2 in increasing order.
z, 2, d
Let o be (-38)/(-56) - (-30)/(-70). Let x = 74 + -664/9. Sort o, 2/11, x in increasing order.
2/11, x, o
Let o = -24.23 + 24. Let g = 0.07 - o. Put -2/3, 3/8, g in decreasing order.
3/8, g, -2/3
Let k be ((-30)/(-9))/(2/3). Suppose 2*r + 2*j + 1 = 5*r, -k = -5*j. Let f(o) = -2*o + 10. Let y be f(7). Put -1, y, r in increasing order.
y, -1, r
Suppose k - 12 = -12. Put k, 3, -3 in decreasing order.
3, k, -3
Let x = 256 + -2818/11. Sort 1, 5, x.
x, 1, 5
Let i = 11972/21 + -570. Put -0.2, i, 4 in descending order.
4, i, -0.2
Let v = 49.2 + -49. Put 5, v, 0 in ascending order.
0, v, 5
Let q = -13 + 17. Suppose 0*f + 5*f = -10. Put