t + 1 = -47*t, -9 = 3*k - 3*t. Sort k, 3, v.
k, 3, v
Let c(f) be the second derivative of -f**3/2 + 2*f**2 + 10*f. Let d be c(2). Sort -1, 0, d, 4.
d, -1, 0, 4
Let c = 26 + -24. Let j = 0.0618 - 0.0118. Put -0.3, j, c, 0.5 in descending order.
c, 0.5, j, -0.3
Let z = 925 + -929. Sort 23, -1/3, z, -3 in decreasing order.
23, -1/3, -3, z
Suppose -15*c = 47 - 17. Let i = -0.03 + -0.02. Sort i, 0.5, c.
c, i, 0.5
Let l be (322/21)/((-32)/(-12) + -2). Sort -1, -2/3, l, -5 in increasing order.
-5, -1, -2/3, l
Let c = 99 + -101. Let d(i) = 22*i - 1. Let t be d(-1). Sort -1, t, c in increasing order.
t, c, -1
Let s = -1 - -4. Let b be (-38)/(-88) + 1/(-4). Let y be (((-8)/(-6))/(-1))/(8/(-12)). Sort y, b, s.
b, y, s
Suppose 6*i - 4 = 2*i. Suppose 13 = -10*r + 11*r. Let y = r + -18. Sort y, i, 4 in ascending order.
y, i, 4
Let j(y) = y**3 + 11*y**2 - 11*y + 9. Let p be j(-12). Suppose 8*x - 6*x + 10 = 0. Sort x, -16, p in ascending order.
-16, x, p
Let x = 1.6 + 1.6. Let a = 34 - 30. Let w = a - x. Sort 2, -2/13, w.
-2/13, w, 2
Let w(x) = -x**2 + 4*x + 1. Let h be w(3). Let a(d) = 2*d**2 - 6*d + 4. Let g be a(h). Suppose 0*n - g = 3*n. Sort n, -3/7, 0.3 in descending order.
0.3, -3/7, n
Suppose -t + 4*t = 2*t. Sort t, 5, 3, -2 in descending order.
5, 3, t, -2
Let y be (14/(-28) - (-98)/36)/2. Put y, -6/5, -5 in descending order.
y, -6/5, -5
Suppose -24*o + 104 + 16 = 0. Sort 7, o, 2 in descending order.
7, o, 2
Let l = 9.37 + -9.34. Sort 1, l, -9/2, 3 in decreasing order.
3, 1, l, -9/2
Let i = -18 + 18.4. Let h(n) = 7*n**3 - n**2 - 3*n - 2. Let l be h(-2). Let o = 223/4 + l. Put 0, o, i in increasing order.
o, 0, i
Let k(o) = 3*o - 56. Let p be k(21). Suppose -3*a + 2*i = 3 + p, 2*a + 8 = 2*i. Sort 16, -2/5, a.
a, -2/5, 16
Let s = -517 + 503. Put s, -1, -6/13, -0.3 in increasing order.
s, -1, -6/13, -0.3
Let z = -3.12 + 0.32. Let d = 3.3 + z. Put d, -3, -0.6 in descending order.
d, -0.6, -3
Suppose -37*v - 72 = -34*v. Let s be (-2 + v/(-4))*(0 - -1). Sort 0, s, 5, -3 in increasing order.
-3, 0, s, 5
Let w = 182 - 184. Put -5, w, -1, -6 in decreasing order.
-1, w, -5, -6
Let w = -0.055 + -4.445. Let n = 4.7 + w. Put 3/2, n, -3, 5 in ascending order.
-3, n, 3/2, 5
Let s = -5 + -1. Let q be (3*-9)/(-3) - 2100/250. Put q, s, 1/2, 2/13 in descending order.
q, 1/2, 2/13, s
Let y = -98.073 + 98. Let z = 0.027 - y. Sort -10, z, 3 in decreasing order.
3, z, -10
Suppose -5*y + 96 = 291. Let o = -34 - y. Sort -4, 0, o in decreasing order.
o, 0, -4
Let c = -6.84 - -4.24. Put -0.4, -4/7, c in increasing order.
c, -4/7, -0.4
Let l = -19 - -25. Suppose -11*p + l*p = 5. Put 1, 6, p in ascending order.
p, 1, 6
Let w = 3/514 + -523/1542. Sort 0, w, -0.5 in ascending order.
-0.5, w, 0
Let a be -4 - (126/(-28) + 1/4). Let c = -13 + 9. Put a, c, 3 in ascending order.
c, a, 3
Let k(b) = -b**3 + 10*b**2 - 2*b + 24. Let y be k(10). Let a be (-396)/209 - (2 - y) - 0. Put -5, 2, a, -3/4 in descending order.
2, a, -3/4, -5
Let y = 777 - 1118. Sort y, 0, 3 in decreasing order.
3, 0, y
Suppose 0 = 6*d + 42 - 36. Put 3, d, 1 in increasing order.
d, 1, 3
Suppose 40*g = 38*g + 12. Suppose 4*m = -2*p - g, m + 0*p - 11 = 2*p. Suppose 0 = -w - 3*w + 4*a - 4, -4*w - 4 = 2*a. Put w, -6, m in ascending order.
-6, w, m
Suppose -4 = -6*s - 34. Suppose 0 = 5*k + 5*o - o, -2*k = 5*o. Let n = 7 + -2. Put n, k, s in decreasing order.
n, k, s
Let v = -2 + 7. Suppose 13*q - 11*q = 16, 3*q = -3*r + 21. Sort r, -3, v.
-3, r, v
Let c = -2 - -1.6. Let i = 0.013 - 0.07. Let z = i - -0.557. Sort 0.1, c, z in descending order.
z, 0.1, c
Let s = 0.129 + -0.929. Sort 0.02, 0.5, s.
s, 0.02, 0.5
Let j(x) = -x**3 + 16*x**2 - 37*x - 29. Let l be j(13). Let m = 6 + -10. Put l, -11, m in descending order.
l, m, -11
Let w = 0.2 + -0.3. Let z = 4.58 - 5.58. Put 5/4, z, -3, w in increasing order.
-3, z, w, 5/4
Let d = 1 + -3. Let h = d - -2. Let w be (-72)/(-168) + 59/(-7). Sort 1/3, h, w.
w, h, 1/3
Let k be 4 + (-7 - -5) - 4. Put k, 533, 2/3 in decreasing order.
533, 2/3, k
Let i be 4*2/(-3)*-3. Let t = -58.28 - -59. Let w = t + 4.28. Sort 1/6, i, w in descending order.
i, w, 1/6
Suppose 90*k = 107*k - 51. Sort k, -56, -4.
-56, -4, k
Let a(m) = m**2 - 49*m - 453. Let j be a(57). Let h = -40/13 - -226/65. Sort h, -0.1, j in increasing order.
-0.1, h, j
Let w be 7 + -1 + 6/6. Suppose w*b - 9*b = 0. Sort -3, -2, b in decreasing order.
b, -2, -3
Suppose 0*p = -3*p. Suppose -2*v - 1 - 5 = p. Sort 0, -4, v in decreasing order.
0, v, -4
Let g = 24.045 - 0.045. Let v = -19 + g. Sort 0, -0.12, v in increasing order.
-0.12, 0, v
Let g = 10 + -9. Let w be (2 - (-42)/(-20))*8. Let l = -0.15 - -3.15. Sort l, w, g in decreasing order.
l, g, w
Suppose -116 = -5*z - 4*f - 36, -3*z - 3*f + 51 = 0. Let i be 10/6*z/10. Put i, -2, -1 in ascending order.
-2, -1, i
Suppose -2*k = -5*k - 72. Suppose 2*s + 44*z - 1 = 45*z, -3*s + 3*z + 3 = 0. Put s, k, -2 in ascending order.
k, -2, s
Suppose 2*v = -4*v + 18. Suppose v*i - 1 = 8. Suppose -4*d - 14 = 42. Sort -3, d, i in ascending order.
d, -3, i
Let h = -12901 - -12900. Suppose 2*a + 4 = 3*a, -5*a = -3*v - 17. Let y be 2 - (1 + (-1)/v). Sort -5, y, h in increasing order.
-5, h, y
Let c(r) = -9*r**2 - 316*r - 40. Let j be c(-35). Sort 0.1, j, -0.5 in decreasing order.
0.1, -0.5, j
Let z = 3766 - 3766.1. Let a(s) = -s**3 - 4*s**2 + 4*s - 5. Let k be a(-5). Sort k, 0.1, z in ascending order.
z, k, 0.1
Let c(k) = -13*k + 32. Let r be c(3). Sort 3, r, 5 in increasing order.
r, 3, 5
Let s be 19 - (-1 + 6 - 10). Suppose -2*l = -4 - 6. Suppose 4*j + 1 - l = 0. Put s, -4, j in descending order.
s, j, -4
Let o = 8.427 + -0.027. Let j = 8 - o. Sort 2/3, 0.07, j in descending order.
2/3, 0.07, j
Let p = 7.6 - 7. Let c = -1 + p. Put 0, -3, c in descending order.
0, c, -3
Let m = -1019 + 1019.4. Put -0.5, m, -6, 13 in descending order.
13, m, -0.5, -6
Let w be 100/12 - 1/3. Suppose w = 2*k + 2*k. Let l = -69.7 + 73.7. Put k, l, -0.5 in decreasing order.
l, k, -0.5
Let o = 4.85 + -11.85. Put o, 0.3, -3/5 in decreasing order.
0.3, -3/5, o
Let a(k) = -k**2 + 6*k + 1. Let f(d) = -3*d - 13. Let b be f(-6). Let g be a(b). Let r(x) = x - 2. Let j be r(g). Sort -1, j, -5 in increasing order.
-5, -1, j
Let f = 18.6 + -18.5. Sort 2/51, f, -0.1, -1/7 in ascending order.
-1/7, -0.1, 2/51, f
Let f = 875 - 726. Put 4, -1, f in descending order.
f, 4, -1
Suppose 3*s - 2*s - 1 = 0. Let m = -3 - s. Let a be 2/10*1 + (-5)/25. Put a, 6, m in increasing order.
m, a, 6
Let m = 0.2 + -0.1. Let w = -0.154 - 1.146. Let b = w - -2.9. Sort -1, b, m in ascending order.
-1, m, b
Suppose 0 = 3*y + 2 - 20. Suppose 0 = -y*x + x + 945. Let n = 2833/15 - x. Put -3/5, n, 0.2 in descending order.
0.2, n, -3/5
Let x(t) = t**2 + 1. Let g be (-4 - -1) + (-2)/(4 - 6). Let m be x(g). Suppose 6*r = r + 10. Sort r, 0, m in ascending order.
0, r, m
Suppose -4*d = -n - 6, -n + 16*d = 13*d + 4. Put n, -5, -6, -4 in decreasing order.
n, -4, -5, -6
Let q = -125 - -129. Suppose -2*c + 8 = 2. Suppose -d + c*d = 0. Put q, d, 2 in descending order.
q, 2, d
Let x be (0 - -1) + 1 + 0 + -1. Put 2, 4, 71, x in decreasing order.
71, 4, 2, x
Suppose 3*z - 3*y - 120 = 0, 2*y + 25 = -3*y. Suppose 2*a - 23 = -5*m, -m = 4*m + 5*a - z. Put -5, m, 5 in ascending order.
-5, m, 5
Let r = 171 + -171. Sort r, -2, -4.
-4, -2, r
Let n(o) = -9*o - 1. Suppose -4*x + 2*u + 30 = 0, -5*x = -4*x + 2*u + 5. Let s be n(x). Let h be 21/(-35) - s/10. Sort 2, h, -6 in increasing order.
-6, 2, h
Let x(q) = -7*q - 226. Let t be x(-32). Put -6, 2, t, 1 in decreasing order.
2, 1, t, -6
Suppose -5*n + 0*n - 50 = -5*u, -10 = 2*n. Let z = -34 + 41. Suppose z*q - 12*q + 10 = 0. Sort q, -5, u in decreasing order.
u, q, -5
Let a = 414 + -414.2. Sort -1/2, -1, a, -0.1.
-1, -1/2, a, -0.1
Let w be 20/(-8)*(-12)/(-15). Let t be w/3*(-51)/(-17). Let l be (-1 - 1) + (t - -3). Sort 0, l, -4.
-4, l, 0
Let s = -16/9 - -4/3. Put -3/8, s, -0.04 in decreasing order.
-0.04, -3/8, s
Let a be 4/3*4/(-16 - 0). Put -1, a, 0.11 in decreasing order.
0.11, a, -1
Let k = 18 - 15. Let g = -5.5 + k. Let f = g + 3. Put 1, 5, f in increasing order.
f, 1, 5
Let p = -2/215 + -1067/860. Let c be 1 + (-435)/372 - 7/(-28). Let a = -151/434 - c. Sort p, a, 3.
p, a, 3
Let g = -114 + 113.8. Let q = 192 - 1347/7. Sort q