y in decreasing order.
2/3, y, -0.3
Let o(z) be the second derivative of z**4/12 - 7*z. Let m be o(-2). Sort -4, m, 1, -1 in descending order.
m, 1, -1, -4
Suppose -532*d + 529*d + 12 = 0. Sort -0.4, d, -3/14, 1 in ascending order.
-0.4, -3/14, 1, d
Let u = 0 + 26. Let i be 435/39 - 4/u. Suppose 5*w + 36 = i. Put 2, w, 3 in decreasing order.
3, 2, w
Let d = 2 + 0. Suppose -4*c + 58 = 62. Let g(w) = -w**3 - w**2 - w - 2. Let x be g(0). Put d, c, x in ascending order.
x, c, d
Let z = 2/32789 - -64548/16886335. Let o = 1044/3605 - z. Sort 3/4, -4, o, 1.
-4, o, 3/4, 1
Let k = -0.274 - -0.274. Sort -4, 0.4, k, 8 in decreasing order.
8, 0.4, k, -4
Let d = 1.2 + -0.2. Let m(n) = -9*n - 22. Let o be m(-3). Sort -2/25, -4, o, d in decreasing order.
o, d, -2/25, -4
Let s = -16 - -15.8. Let w be 9/16*10/15. Put s, 2, w, 0.5 in decreasing order.
2, 0.5, w, s
Let s = 847 - 844. Put -4, s, -571 in ascending order.
-571, -4, s
Suppose -11*b + 116 - 72 = 0. Sort 2, 22, b, 0 in decreasing order.
22, b, 2, 0
Let n(d) = -3*d + 59. Let q be n(19). Let x = -3049/11 + 277. Sort q, 0, x in decreasing order.
q, 0, x
Let n = -1.96 + 2. Let s = n + -0.14. Let w(h) = -h**3 + 15*h**2 - 15*h + 18. Let t be w(14). Sort 0.4, t, s.
s, 0.4, t
Let f = -69 - -73. Suppose -d - o - 4 = -0*o, d + 3*o = -14. Sort f, -1, -4, d in decreasing order.
f, d, -1, -4
Let q = 52/5 + -439/60. Let l = -7/3 + q. Let k = -2.98 + -0.02. Sort l, -2/15, k in increasing order.
k, -2/15, l
Let j be 12/20 + 6/15. Suppose 6*p = 14*p + 8. Put j, 8, p in ascending order.
p, j, 8
Let c = 6 - 9. Let f = 0.0138 + 2.9862. Sort -0.3, c, f, -4 in increasing order.
-4, c, -0.3, f
Let u(x) be the first derivative of 2*x**2 + 4*x - 5. Let v be u(3). Let p be (1 - (-8)/(-4))/(5 - 4). Sort p, 4, v in increasing order.
p, 4, v
Let o(p) = 8*p - 38. Let n be o(7). Sort 2, 4, n in decreasing order.
n, 4, 2
Let s = 112/11 - 437/44. Let o = 0 + -0.2. Let d = -1.8 + o. Put 4/3, s, d in ascending order.
d, s, 4/3
Let m = -22 + 42. Let r be ((-1)/(-1))/(m/(-8)). Sort 4, r, 6 in ascending order.
r, 4, 6
Let m = -4 - -5. Let d = 4 + -5. Suppose 10*y - 40 = 5*y - 3*f, -y + 5*f = 20. Put y, d, m in descending order.
y, m, d
Suppose -11*v - 33 = -14*v. Suppose -5*w = -v + 1. Put 0, w, -1 in ascending order.
-1, 0, w
Suppose -z + 2*z = 2. Suppose -z*r - 7 = -11. Let b = 7/18 - 1/18. Put b, 5, r in decreasing order.
5, r, b
Let b(v) = v**3 - 5*v**2 - 4*v - 12. Let u be b(6). Suppose 35*y - 38*y + 15 = u. Let f = -8 + 4. Put 2, f, y in decreasing order.
y, 2, f
Let f = 9 + -5. Suppose m = 1 + f. Suppose 2*t = -m*r + 13, r + 3 = -t + 5. Put r, -5, 5 in descending order.
5, r, -5
Let r = 1.903 + 0.097. Sort r, -2, 14.
-2, r, 14
Let q = 0.9 + -0.6. Suppose -3*p + 5*b - 9 = 2*b, p + 2*b = 12. Suppose -r + 2*g + 21 = -p*g, 5*g + 26 = r. Sort q, r, -1/5.
-1/5, q, r
Let x be -1 - 105/9 - 14/42. Sort x, -1, 8.
x, -1, 8
Suppose -s + 5*l + 6 = -4*s, s = 4*l + 15. Suppose s*m - 10 = m. Suppose -m*t = -2*t - 6. Sort -2, -3, t in decreasing order.
t, -2, -3
Suppose -50*y = -65*y + 270. Put 0, y, -1, 3 in descending order.
y, 3, 0, -1
Let m = -1/2015 + -9921/310310. Let q = m - -7/22. Let w = -0.2 - 0.1. Put w, 2/9, q in decreasing order.
q, 2/9, w
Let a = 19.5 + -17.5. Put a, 6, -0.1, 4 in decreasing order.
6, 4, a, -0.1
Suppose 8 = r + 2*m, -2*r + 8 = -7*m + 3*m. Let v be -1*r/(-2)*1. Let n be (v/(-4))/(4/16). Sort n, 0, 3 in descending order.
3, 0, n
Let z = 1666355404561102512/9677901393831187 - -173/32864264227. Let a = z + 9/26771. Let p = a + -172. Sort p, 4, 0.6.
p, 0.6, 4
Let g(s) = 13*s**2 + 4*s - 4. Let l be g(1). Sort l, 6, 5 in decreasing order.
l, 6, 5
Let y be (-6)/12*(0 + 0). Let x = y - -43. Let f = -171/4 + x. Sort -1, 3, f in increasing order.
-1, f, 3
Let x = 588/5 - 118. Let u = -0.01 + 0.12. Let z = u + -4.11. Put 0.03, z, x in descending order.
0.03, x, z
Let l(b) = -b**2 - 1. Let y(c) = -c**3 + 9*c**2 + 3*c + 7. Let h(p) = -6*l(p) - y(p). Suppose -2*d + 1 = -7. Let n be h(d). Put 4, n, 6 in decreasing order.
6, 4, n
Let a be (27 - 27) + ((-2)/(-3) - 0). Sort a, -240, 4 in ascending order.
-240, a, 4
Let h = 14 - 8. Let n = -46 - -91. Let p = n + -50. Put -3/2, p, h in ascending order.
p, -3/2, h
Suppose 3*u + u + 356 = 0. Let n = 88 + u. Sort 0, n, -2.
-2, n, 0
Let n be (-30 + 25)*(1 + (-67)/65). Put -5, n, 0.6 in descending order.
0.6, n, -5
Let y(v) = v + 17. Let z be y(-5). Let t be 9/(-4) + 3/z. Let m = 3 - t. Put 4, m, -2 in decreasing order.
m, 4, -2
Let g = -48 - -49.9. Let k = g + -2.1. Let m = k + -0.1. Sort 1, m, 0 in descending order.
1, 0, m
Suppose -2*t - 9 = 3*y, 28*y - 20 = 5*t + 33*y. Put 1, t, 3, -16 in increasing order.
-16, t, 1, 3
Let a be -9 - (-4 - (1 - -3)). Sort a, 8, -2, 0.4 in decreasing order.
8, 0.4, a, -2
Let l = -982.9 + 983. Put l, -0.1, 1/8, -4 in decreasing order.
1/8, l, -0.1, -4
Let h be (30/(-12))/((-2)/(-4))*-1. Sort h, 75, 0 in descending order.
75, h, 0
Let c be 48/9*(-2 - (-8)/16). Sort -3, -2, 3, c.
c, -3, -2, 3
Suppose l - 3*l = -10. Suppose 10*g - 19 = 11. Put -9, g, 2, l in increasing order.
-9, 2, g, l
Let o = 23 + -14. Let t be (-24)/16 + o*(-1)/(-2). Sort t, -12, 5, 0 in ascending order.
-12, 0, t, 5
Let c = -0.04 + -4.96. Let i = -0.504 + -0.106. Let t = i - 0.19. Sort t, 2, c in descending order.
2, t, c
Let c be (-2)/(-11)*(-2 + 3). Let d = -161/36 - -38/9. Sort d, 2/3, c.
d, c, 2/3
Let n = -924 - -926. Put n, 5, 79 in decreasing order.
79, 5, n
Let s = 9/8 + -79/56. Suppose 5*k - 9 = -3*x - 1, -4*k = 3*x - 7. Suppose -4*j + 5*g - 1 = -0, -4*g + 8 = -5*j. Sort j, s, k.
j, s, k
Suppose -4*w + 5 + 51 = 0. Let y = -12 + w. Let r = -2 + 0. Put -5, y, r in descending order.
y, r, -5
Let g = 19 + -14. Let u = 1 + 10. Let k = g - u. Sort -3/7, k, -0.1 in decreasing order.
-0.1, -3/7, k
Suppose 7*x = 2*x + 20. Suppose -l + 7 = y - 2, 3*l = 4*y - 22. Sort x, -1, y.
-1, x, y
Let n = 29 + -25. Let m = n - -4. Let v be (-2)/4*(m + 0). Sort v, 1.3, 3.
v, 1.3, 3
Let l = -129 - -73. Let h = l - -55. Put -4, h, -6, -3 in ascending order.
-6, -4, -3, h
Suppose 70*i = 108*i - 76. Put -3, -18, i in ascending order.
-18, -3, i
Suppose 5*j = -13 + 28. Suppose 0*f - 23 = -5*f - 3*u, u - 1 = 0. Sort j, -1, f in ascending order.
-1, j, f
Let n = -118 - -117.84. Sort -1, n, 5 in ascending order.
-1, n, 5
Let x = -2.34 - -0.34. Sort 3/5, x, -0.05.
x, -0.05, 3/5
Let w = -9.2 - -9. Let x(r) = -r**2 + 7*r + 9. Suppose 2*b - 6 - 8 = -2*i, -b - 1 = 0. Let n be x(i). Sort -0.3, n, w in decreasing order.
n, w, -0.3
Let l(q) be the third derivative of -8*q**2 + 1/12*q**4 - 1/30*q**5 - 1/120*q**6 + 0*q**3 + 0 + 0*q. Let w be l(-3). Sort w, -2, 2 in decreasing order.
w, 2, -2
Let w be (42/9)/(4/6). Let j be (4/3)/(44/(-330)). Let p be (-20)/50 - 1*4/j. Sort p, w, -1 in increasing order.
-1, p, w
Let f(n) = -n**2 - 7*n - 4. Let y be f(-5). Let l be 0*(-2 + 9/y). Let b = 395 - 393. Sort -5, l, b in descending order.
b, l, -5
Let x be 0/(1*(-1 + -8) + 7). Let q be 2/(-1 + 2) - -3. Suppose 2*m + 6 = -0. Put m, q, x in decreasing order.
q, x, m
Let r = 9 - 4. Let m = -1 + r. Suppose -4*y - 5*k = 5, 12*k - 16*k = y + 15. Sort m, -5, y in decreasing order.
y, m, -5
Let q be (-50)/30*168/(-70). Let r = -12 - -49/4. Let n = -1 + 1. Sort n, r, q in increasing order.
n, r, q
Let m(v) = -v**2 + 21*v - 14. Let b be m(20). Let a = b + -1. Suppose l - a = -17. Put l, 0.1, -3 in descending order.
0.1, -3, l
Let p = 26 - -4. Let j = 29 - p. Sort j, 4, 3.
j, 3, 4
Let k be 1/(-2) - (-33)/6. Suppose -k*h + 30 = 10. Sort -2, 5, h in decreasing order.
5, h, -2
Let r = -72.78 - -73. Put 5, r, 0 in ascending order.
0, r, 5
Suppose 7*w + 3*c + 28 = 2*w, -2*w + c - 20 = 0. Put -5, w, 2 in decreasing order.
2, -5, w
Let t be (18 - 24) + -3 + -2. Sort 3, t, -2 in descending order.
3, -2, t
Let h = -0.09 - 3.91. Let n be (-8)/21*(-6 + 648/96). Sort 1, h, 0.4, n.
h, n, 0.4, 1
Let c be 2/(-30) - 1845/2700. Sort 0.23, 5, c in increasing order.
c, 0.23, 5
Suppose -423*p = -425*p - 2. Sort p, 37, 11 in increasing order.
p, 11, 37
Let g = 8 - 8. Let t = 47/5 - 48/5. Let f(a) = a - 5. Let c be f(0). Put t, c, g in ascending order.
c, t, g
Suppose 0 = f + 2*o - 10, -f - 3*f - 2*o + 10 = 0. Suppose 42 = -8*y - 54. Put f, 4, y in increasing