ng order.
l, -1, -3
Let v = -6 - -11. Let k(r) be the third derivative of r**5/60 + 5*r**4/12 + 11*r**3/6 - r**2. Let x be k(-8). Put 3, x, v in ascending order.
x, 3, v
Suppose 4*p - 7 = -15. Let r be (-5 - (p + 1))/2. Suppose 0 = -5*b + 5, -5*d + 4*d - 6 = -2*b. Put 2, r, d in increasing order.
d, r, 2
Let g = -13.38 + 17.3. Let l = g + 0.08. Let d = -29 + 26. Sort d, l, -0.5.
d, -0.5, l
Suppose -c + 0*o - o - 2 = 0, -5*c + 4*o + 8 = 0. Let u be ((-16)/12)/(6/9). Sort -4, c, u.
-4, u, c
Let g = 25.3 - 25.5. Let r = 6 + -5.8. Put 0, r, 0.1, g in decreasing order.
r, 0.1, 0, g
Suppose 30*a = 35*a - 25. Suppose u - 3 + a = 0. Let x be -2*-2*6/(-8). Put -5, u, x in increasing order.
-5, x, u
Let z = -3 + 2. Let k be (6 - 10/2) + -4. Let d be z*4 + (k - -3). Put 3, d, -3 in decreasing order.
3, -3, d
Let l(z) = 3*z**2 - 19*z + 24. Let w be l(5). Put 0.5, -0.1, w, -10 in descending order.
w, 0.5, -0.1, -10
Let v = 453 - 453.09. Sort 4, 0.3, v in decreasing order.
4, 0.3, v
Suppose -15 = -g + 4*u, -g + 4*g + 40 = -5*u. Let r(t) = t**2 + 5*t + 5. Suppose -22 - 3 = 5*z. Let d be r(z). Put g, -3, d in descending order.
d, -3, g
Let t = 22/119 - 8/17. Sort 0.2, t, -1.1, -2/3 in descending order.
0.2, t, -2/3, -1.1
Let a(t) = 2*t**2 - t - 3. Let f be a(3). Suppose 0*j - f = -j. Sort j, 0.4, -4 in descending order.
j, 0.4, -4
Let a = 696 - 697. Put 5, 73, a in descending order.
73, 5, a
Suppose 0 = -3*b + 6*b - 24. Suppose 7*k = 3*k - 2*n + 8, -2*n = -4*k + b. Put k, -5, 4, -4 in increasing order.
-5, -4, k, 4
Let c = 3786 - 3789. Suppose 0*t + 21 = 5*u - t, u - 3*t = 7. Sort u, c, -7 in ascending order.
-7, c, u
Let l be (-12)/6*10/4. Let s be ((-42)/(-35))/(22/(-10)). Put 0.3, l, s in ascending order.
l, s, 0.3
Let c = -23730801/160 + 148318. Let j = c - 3/32. Put -0.3, j, 1/4, -5 in increasing order.
-5, -0.3, 1/4, j
Suppose 3*c - 3 = -7*a + 11*a, c = -3*a - 12. Let s be ((0/2)/2)/(-1). Sort 1, -4, a, s in ascending order.
-4, a, s, 1
Let h be (2*-1)/(17/(357/(-14))). Sort h, 1, 2, -57 in descending order.
h, 2, 1, -57
Let g = 1223 + -856. Sort 4, g, -2 in decreasing order.
g, 4, -2
Let f = -0.0009 + -2.9991. Let n = 0.7 + -0.4. Let l = -4 - -4.2. Put f, n, l in ascending order.
f, l, n
Let j = 98.3 - 94. Let a = 1.06 + -2.36. Let r = a + j. Sort r, -0.3, -0.1 in ascending order.
-0.3, -0.1, r
Suppose 0*q + 6 = 3*q. Let w = -8 + 3. Let r be 15/(-10)*(-16)/6. Sort w, r, q in ascending order.
w, q, r
Let c = 19 - 18. Sort 3, -1.7, -3, c.
-3, -1.7, c, 3
Suppose -3*y + 0*y + 33 = 0. Suppose 10 = -t + 24. Let z = y - t. Put z, 1, 3 in descending order.
3, 1, z
Suppose 5*u = -b + 44, -5*u - 3*b + 17 + 25 = 0. Let h be 24/32 + u/(-4). Let v = -1.8 + 2. Put h, v, -5 in ascending order.
-5, h, v
Suppose 0 = -0*k + 2*k + 5*t + 16, -4*k - 3*t = 4. Suppose k = -j - 0. Put j, 0, -5, 3 in decreasing order.
3, 0, j, -5
Let b = -1 + 0. Let u(r) = -23*r - 97. Let h be u(-4). Sort h, b, 6.
h, b, 6
Let c = 15 - 16. Let n be c/6 - 26463/198. Let x = n + 134. Sort x, -3, 3/4 in decreasing order.
3/4, x, -3
Let x = -50 + 44. Let f be x/(-9) - (3 - 4). Suppose -1 - 7 = -4*w. Put w, f, 0.4 in descending order.
w, f, 0.4
Let t = -1 + 7. Let h = -3 + t. Suppose -15 = 22*l - 59. Sort -2, l, h in decreasing order.
h, l, -2
Let c(b) be the third derivative of -b**6/240 + b**5/20 - 11*b**4/24 + b**2. Let j(s) be the second derivative of c(s). Let u be j(3). Sort 3, 0, u.
u, 0, 3
Suppose 0 = -8*l + 4*l + 4. Let c = -42 + 69. Let g = c + -27. Sort -1/2, g, l.
-1/2, g, l
Let w(d) = d**2 - 4. Let i be w(0). Let c be 20/(-12)*(-7 - i). Put 4, -2, c in descending order.
c, 4, -2
Suppose p + 2*p = -9. Suppose -5*j - 21 = -5*g + 34, -2*g - 4*j = 14. Sort 3, p, g, -5.
-5, p, 3, g
Suppose -20 - 6 = -13*b. Sort 13, -4, 0, b in ascending order.
-4, 0, b, 13
Let n(s) = 2*s**2 - 2*s + 8. Suppose 0 = 2*p + 3*l + 2, 3*p + 4*l - 16 = 9*l. Let f be n(p). Sort f, 0, -1, 5 in decreasing order.
f, 5, 0, -1
Suppose -34*b = -83*b. Suppose 7*c - 3*c = -72. Put b, -1, c in decreasing order.
b, -1, c
Let m be 2/(-5) + 64/(-40). Let q be 3 + -3 - (m - -1). Put -3, q, -2 in descending order.
q, -2, -3
Suppose -5*y + 4*y - 4*k - 63 = 0, -2*k + 39 = -y. Let r = y + 3. Sort 4, 0, r in decreasing order.
4, 0, r
Let b = -2/105 - 8/21. Sort 2, b, -6/5, 3 in descending order.
3, 2, b, -6/5
Let m(v) = v**3 + 3*v**2 - 7*v - 1. Let a be m(-5). Let b be (12*-1)/(6/a). Let x = -129/4 + b. Put x, -1/2, 2/5 in descending order.
2/5, x, -1/2
Suppose 0*f + 4*f + 36 = 0. Let a = -1528 - -1524. Put a, f, 0 in ascending order.
f, a, 0
Let y be 2 + 10/((-70)/49). Sort 3, -1, -4, y.
y, -4, -1, 3
Let f = -212 - -217. Sort 35, f, -2 in ascending order.
-2, f, 35
Let h = -0.0742 - 0.0258. Sort 2, h, -3, 0.5 in decreasing order.
2, 0.5, h, -3
Let n = 0.093 + -54.393. Let l = -54 - n. Sort 4, -4, l, 2/9 in ascending order.
-4, 2/9, l, 4
Suppose 17*j + 34*j = -102. Let u = -3 + 4. Sort 2/11, 12, j, u in decreasing order.
12, u, 2/11, j
Let y = -667/4218 + -6/703. Put 32, y, -3, -2 in ascending order.
-3, -2, y, 32
Let l be 2/3 - (-30)/9. Let y be ((-2)/4)/(14/28) + 3. Let b be -2*y*-1*15/30. Put -3, b, l in ascending order.
-3, b, l
Suppose 3*x - n + 1 = -1, -x - 5*n + 26 = 0. Let t be (5/4)/(-1) - 5/(-20). Suppose 2*d + 12 = 6*d. Put x, d, t in increasing order.
t, x, d
Let w = -7583 + 7581. Suppose -2*z = -0*i - 5*i - 16, 8 = z - 3*i. Let g = -11 + z. Put w, g, 1 in decreasing order.
1, w, g
Let p = 67 - 56. Suppose 5 + 17 = p*l. Sort 1, -56, l in increasing order.
-56, 1, l
Let q(o) = -o**3 + 14*o**2 + 4. Let r be (-1)/((-32)/10 + 3). Suppose 42 = 3*u - 4*a, 5*u = -0*a - r*a + 70. Let n be q(u). Put 0, n, -1 in ascending order.
-1, 0, n
Let f(s) = 8*s - 11*s + 2*s - 4. Let l be f(-6). Sort l, 10, -5, -1 in descending order.
10, l, -1, -5
Let s be (1 - 2)/(8/(-40)). Let o be (-6 + 13 - 3) + -2*2. Put s, o, -2 in decreasing order.
s, o, -2
Let h = 127.496 + -127. Let a = 0.004 + h. Sort -0.3, 4, a in decreasing order.
4, a, -0.3
Let x be (3 - 2) + 7 + (3 - 7). Suppose -3*a + 5*a - 3*l = 8, 6 = x*a - l. Let s = -9.1 - -10. Sort 2/9, s, a.
2/9, s, a
Let k be (-14)/(-3) - (-4)/12. Suppose -k = 2*b - 1. Suppose 5*f + 23 = 3*g + g, -g + 8 = -2*f. Sort f, b, -1 in ascending order.
f, b, -1
Let i be 5 + 10/15*-6. Let m be (-3 - 16/24) + (i - -3). Sort 5, -1, m in increasing order.
-1, m, 5
Let u be 2/6 - (-8)/(-6). Suppose -90*a + 81*a = -27. Sort 2, -8, a, u.
-8, u, 2, a
Let p(b) = 12*b + 4. Let g be p(2). Let i be (-2 - -1)/(-28) - (-7)/g. Let s = -0.01 + 4.01. Sort 1/7, s, i in decreasing order.
s, i, 1/7
Let k = -899/2733 + -4/911. Let i = -10 + 6. Put k, -3, 0.2, i in ascending order.
i, -3, k, 0.2
Let t = 0 + 2. Suppose 0 = -t*m - 3*m + 15. Suppose 41*i - 46*i + 10 = 0. Sort m, 0, i in decreasing order.
m, i, 0
Let k = -0.55 + -0.05. Let y = -1/115 - -93/115. Put y, -3/4, k in increasing order.
-3/4, k, y
Suppose -7*r - 2*r = -9. Suppose r + 1 = j - 5*g, 3*j + g + 10 = 0. Suppose -2 = 2*p, s + 2*p - 6 = 3*s. Put -2, s, j in increasing order.
s, j, -2
Let t = -2 + 2.3. Let h = 58.69 - 0.69. Let m = h - 58.3. Put m, t, 7 in descending order.
7, t, m
Let m be 12 - 9 - (12 - 10). Sort m, -1, -8, -6 in increasing order.
-8, -6, -1, m
Let c(x) = -20*x - 139. Let p be c(-7). Put -3, -12, p, -4 in decreasing order.
p, -3, -4, -12
Let d = 15 + -17. Let g = -6 - d. Sort 18, -1/4, g in ascending order.
g, -1/4, 18
Let p = -0.21 - -0.01. Let c = -50.6 - -0.6. Let m = 50.1 + c. Sort -3, m, p in descending order.
m, p, -3
Suppose 2*q + 11 = -p, 4*q + 17 = -p - 0*q. Let n = 6 + p. Let r be n + (1 - (-20)/(-9)). Sort 5/2, r, 5.
r, 5/2, 5
Suppose 716 = 10*g + 676. Put -12, 2, g, 5 in ascending order.
-12, 2, g, 5
Let o = -6.6 - -6.11. Sort 0.3, o, -1, 3/7 in descending order.
3/7, 0.3, o, -1
Let i = 10 - -4. Let b = 14 + -25. Let z = b + i. Sort -2/9, z, -1/5 in descending order.
z, -1/5, -2/9
Let x = 30 - 28. Let k = -2 + x. Put -0.8, k, 2/7 in increasing order.
-0.8, k, 2/7
Suppose 10 = 2*m - 0*m, -5*p = 5*m - 95. Let j = -210 + 205. Sort -1, j, p in decreasing order.
p, -1, j
Let u = 87.8 + -86.04. Sort -1, 1, u in decreasing order.
u, 1, -1
Let g be (-4)/6*6/(-4). Suppose -2*s - 106 = -2*d, -2*s + s - 151 = -3*d. Let n = d + -293/6. Put n, -0