d = 8*d - 5*z + 203. Sort -3, d, 2 in descending order.
d, 2, -3
Let t be 3/(-9) + (-57)/(-27)*3. Sort -3, t, 3, 0.2 in descending order.
t, 3, 0.2, -3
Let j = 6 + -6. Suppose -u - u = j. Suppose -4*w + 2*h = -10, 2*w - 3 = -h + 4. Sort u, w, -3 in decreasing order.
w, u, -3
Let b = 0 + -5. Suppose 412 = 4*s + 400. Sort s, 4, b.
b, s, 4
Let w be -14 - -15 - (0 - 2). Suppose 14*g - 10*g + 28 = 0. Sort 0, g, w in descending order.
w, 0, g
Suppose 0 = -5*h - 3*w + 175, w = -5*h - 4*w + 185. Let u = -97/3 + h. Put u, -3/4, 5, 4 in decreasing order.
5, 4, u, -3/4
Let o = 17.82 + -4.82. Put o, 7, 6 in decreasing order.
o, 7, 6
Let n(v) = -v**2 - 8*v - 4. Let o(q) = -2*q - 19. Let w be o(-6). Let g be n(w). Suppose -3*p + 7 = 3*k - 5*p, 0 = -2*k - p. Put -5, k, g in ascending order.
-5, k, g
Let f = -286 - -188. Let o = -94 - f. Put o, 1, 0 in decreasing order.
o, 1, 0
Let j = -594.885 + 595. Sort -2, j, 0.06 in ascending order.
-2, 0.06, j
Let l(k) = 10*k - 85. Let b be l(9). Put 0, 4, b in decreasing order.
b, 4, 0
Let f(z) = z**2 + 25*z + 95. Let k be f(-20). Let q = -1.97 + -0.03. Let d = 0.3 + 0.7. Sort d, q, k in descending order.
d, q, k
Suppose -8 = 2*m - 0*m - 3*s, 0 = 3*m + 3*s + 12. Let h be -10 - (-6 + 5 + 3 - 3). Put m, h, -3 in decreasing order.
-3, m, h
Let i = 3 - 2.7. Let r = 9.7 + i. Let s = -9.5 + r. Sort -2, s, 4/9 in decreasing order.
s, 4/9, -2
Suppose -10*h = -11*h. Let j be (-3 + 1)/(1 - -1). Put 4, j, h in descending order.
4, h, j
Suppose 0 = 5*g + 20, -17*n = -19*n - 4*g - 10. Suppose 3*v + 1 = -3*x - 2*x, 0 = 3*v - 4*x + 10. Suppose 0 = 3*z + 12 - 3. Put n, z, v in descending order.
n, v, z
Suppose 2*d + 82 = 3*d. Let t = -87 + d. Sort 1, 3, t.
t, 1, 3
Let g be 7 - (-2)/((-10)/55). Sort -0.3, 0.1, -16, g in descending order.
0.1, -0.3, g, -16
Let n(m) = -10*m + 6. Let q be n(4). Suppose -x = -0*x + 4, 0 = -2*g - x. Sort q, 1, g in increasing order.
q, 1, g
Let r(y) = 3*y**2 + y. Let l be r(-1). Let t be 1/3 - l/9. Let c = -878/7 + 126. Sort 0.5, c, t in descending order.
c, 0.5, t
Suppose 96 = -10*w + 216. Sort w, 0, -3, -4 in decreasing order.
w, 0, -3, -4
Let l = -7 + 10. Let z be (-8)/6*1296/(-288). Sort -2, 5, z, l in ascending order.
-2, l, 5, z
Let i = 14 - 9. Suppose -29 = -w - w + v, 0 = -4*w + 3*v + 59. Suppose y + 2*h = -6 - 0, h + w = i*y. Sort 0, y, 1 in increasing order.
0, 1, y
Suppose 0 = 2*n + 4, -4*n = 3*b - n - 6. Let f = -9 + 8. Put -2, b, f, -4 in ascending order.
-4, -2, f, b
Let p be (149/(-596))/((-2 + 4)/(-40)). Sort p, 1, 2/15, -3 in ascending order.
-3, 2/15, 1, p
Let v be ((-2)/(-2) + 0)*-1. Let z = -3664 - -3667. Suppose 0 = 5*r - 3*u - 0 - 2, -2*r - 4*u + 6 = 0. Put v, z, r in ascending order.
v, r, z
Let j(h) = h**3 + 14*h**2 - 16*h - 6. Let l be j(-15). Suppose i + 2*i + l = 0. Put 13, 2, i in increasing order.
i, 2, 13
Let r = -100.1 - -16.1. Let f = -83 - r. Sort 3/2, 1/6, f, 0 in increasing order.
0, 1/6, f, 3/2
Let m = 42 + -45. Sort 2, -7, m.
-7, m, 2
Suppose 0*p - 3 = -p. Suppose 0*k = -k - p. Let z be (1/2)/(2/8). Sort k, -4, z in descending order.
z, k, -4
Let w be (-3 + 3 + -3)/(6/4). Put w, 1, 5 in descending order.
5, 1, w
Let t be 2*2/4*-3. Let v(x) = x**3 - 10*x**2 - 4*x - 21. Let h be v(11). Suppose -11*r + 12 - h = 0. Sort r, 1, t.
r, t, 1
Let k be 15/(-5)*(-3)/(-18). Let s = -14 + 2. Let c be (-3)/(-7)*8/s. Sort k, c, 0.1.
k, c, 0.1
Let b be (-6)/(-9) + (-30)/18. Let k = -18 - -19. Let z = -1 + k. Sort z, b, -2 in descending order.
z, b, -2
Let y(z) = z. Let n be y(-3). Let q be 31 - (-3 + (2 - -2)). Suppose -27*i = -q*i + 15. Sort n, -5, i in ascending order.
-5, n, i
Let j be 4 - (-1 - (3 + -9)). Sort -0.3, j, -5, -2/17.
-5, j, -0.3, -2/17
Let q = -0.232 + -0.048. Let g = q + -2.72. Sort g, -2/5, 0.1, -0.1 in decreasing order.
0.1, -0.1, -2/5, g
Let h(y) = y**2 + 1. Let q be h(-2). Let j = 202 + -206. Sort q, 2, j.
j, 2, q
Let i = -0.82 + 1.12. Sort 48, i, -1/3, -5 in decreasing order.
48, i, -1/3, -5
Let u = 346 + -339. Put 0, u, -4 in increasing order.
-4, 0, u
Let o = 10 - 12. Let k(s) be the third derivative of s**5/60 - 5*s**4/24 - s**3/6 + s**2. Let y be k(6). Sort o, -1, y in decreasing order.
y, -1, o
Suppose -5*p + 5*z = 3*z - 5, p = -2*z + 1. Suppose -3*f = 5 - 14. Let m be (4 + -1)*2/f. Sort 3, p, m in ascending order.
p, m, 3
Let g = 74.5 + -75. Let y = g + 0.4. Sort 1, y, 0.12.
y, 0.12, 1
Suppose 4*w + 29 = 5*b, 3*b = 2*w + 14 + 3. Suppose -2*q = -3*j + q + 15, -3*j - 3*q - 15 = 0. Sort w, j, -14 in ascending order.
-14, w, j
Let k = -73 + 68. Sort k, 23, -1/3 in decreasing order.
23, -1/3, k
Let k be (-4)/(-2) + 1 + -1 + -8. Let h be (k/(-22))/(3/(-4)*2). Put 0.09, -3, h in decreasing order.
0.09, h, -3
Suppose 2*n - 4*b = 2, n + 3*n + 2*b = 14. Suppose 3*r + l = -5 - 2, 3*r + n*l + 9 = 0. Suppose 0 = -f + 5*f. Put 3, f, r in decreasing order.
3, f, r
Let z be -3 - (60 + 4 + -3). Let s = z - -44. Let k be (5/s)/(3/(-12)). Put -4, k, 3 in increasing order.
-4, k, 3
Let s = 9 + -6. Suppose 0 = 4*w + 5*l + 94, -3*w - 6 - 59 = l. Let t be w + 15 - (-2)/(-2). Put s, -5, t in descending order.
s, -5, t
Let k = 47 - 42. Suppose 50 = -k*q - 4*n - 15, q - 4*n - 11 = 0. Sort -4, 1, q in decreasing order.
1, -4, q
Let o = 8 + 4. Let m = -17 + o. Suppose -2*r + 4*z = -5*r - 25, 3*r - z + 5 = 0. Sort -0.5, r, m in increasing order.
m, r, -0.5
Let t = -92.2 - -92. Let k = 7.8 - 7. Let d = k - t. Put d, 1/5, -1/5 in increasing order.
-1/5, 1/5, d
Suppose 3*y + 6 = 0, -3*m - 2 = -9*y + 4*y. Let b = 257.3 - 257. Put -3/8, b, m, 4 in ascending order.
m, -3/8, b, 4
Suppose -8 - 3 = -f. Suppose -5*g - 1 + f = 0. Suppose 1 = y + 4*k - 9*k, 3*k = -4*y + 4. Put y, g, 3 in descending order.
3, g, y
Let q = -9 + 16. Let y(g) = 3*g - 9. Let o be y(q). Let z = 5500 - 5495. Put 3, z, o in descending order.
o, z, 3
Let j = -9 - -10. Suppose -t - j = -7. Suppose -2*v = -t*v - 20. Put 4, v, 2 in descending order.
4, 2, v
Let v = -0.5 + 0.1. Let c(f) = f**3 + 5*f**2 - 3*f - 5. Let m be c(-5). Suppose 51*y + m = 49*y. Sort y, -4, v in descending order.
v, -4, y
Suppose 80 - 56 = -6*t. Put -0.13, t, 0 in descending order.
0, -0.13, t
Let c be (2 + 1 + -2)/(-7). Let s = -0.00112 - -0.40112. Put -3, -2/7, c, s in increasing order.
-3, -2/7, c, s
Let a = 36/3625 - -4106657/47125. Let k = a - 87. Let f = -23 - -22.9. Put k, f, 12 in ascending order.
f, k, 12
Suppose 4*p - 5 = 15. Let s = -21 - -14. Sort s, 0, 2, p in decreasing order.
p, 2, 0, s
Let p(w) = -w**3 + w**2 - 2*w - 9. Let m be p(0). Sort -4, 3, 6, m.
m, -4, 3, 6
Let r = 291 - 294. Put -1, 12, 1, r in decreasing order.
12, 1, -1, r
Let z be (5/(-2))/(2/4). Let n be -3 + 10 + z + 3. Suppose n*q + 3 = 6*q. Sort 1, q, 5 in increasing order.
1, q, 5
Let x(b) = -b**3 - 41*b**2 + 40*b - 82. Let s be x(-42). Put 6, s, -5 in decreasing order.
6, s, -5
Let p be (-4)/(-18) - (-3700)/(-45). Let r = p + 80. Sort -4, r, 1, -5.
-5, -4, r, 1
Suppose -75*m + 25 = -70*m. Sort 3, 2, 4, m in ascending order.
2, 3, 4, m
Let z(x) be the first derivative of 2*x**2 - 5*x + 10. Let m be z(2). Sort 5, -2, m in decreasing order.
5, m, -2
Let a(v) = -4*v**2 - 2*v. Let k = 9 + -10. Let u be a(k). Put -3, 1, u in decreasing order.
1, u, -3
Let p = -1.855 + 0.055. Let a = p + 2.4. Sort 0.2, a, 0.1.
0.1, 0.2, a
Let w = -0.552 + 1.252. Put -0.4, w, 5, -4 in decreasing order.
5, w, -0.4, -4
Suppose 0*u + 5*u = 0. Suppose u = -q + 2. Let w = -12 - -11.8. Sort -3, w, q in decreasing order.
q, w, -3
Let w = 113 + -3502/31. Sort 1/5, -3, w.
-3, w, 1/5
Let l = -78.9 + 79. Let o = -2 + 1.2. Let v = 1 + o. Sort l, v, 0 in increasing order.
0, l, v
Let j = 20.84 + -21. Let g = -0.34 + j. Sort 0.3, g, 1, -1/7 in decreasing order.
1, 0.3, -1/7, g
Let m be (1 - 2)*(-4 + -2). Suppose -4*l = -m*l + 260. Let i be 1/(-4) + l/360. Sort -1/2, 1/5, i in decreasing order.
1/5, i, -1/2
Let v be -1*(42 - 32)/(-2 - 0). Sort 0, 8, v, 0.3 in ascending order.
0, 0.3, v, 8
Suppose 18*q - 69 = 75. Put 47, -5, q in ascending order.
-5, q, 47
Suppose 0 = 3*j - 2*i + 3*i, 0 = -5*j - 4*i. Let o be (-6)/4*(-136)/12. Let v = 14 - o. Sort j, -5, v.
-5, v, j
Let f(b) = b**3 - 15*b**2 - b + 15. Let o be f(15). Suppose 3*h - 7*h + 5*w + 15 = o, 0 = -4*h - 5*w - 15. Sort -4, 0.3, h in descending order.