 - 6, c + 0*p + 125 = -5*p. Let k = 677/5 + c. Let t = -0.9 - -0.7. Put -0.1, k, t in ascending order.
t, -0.1, k
Let w = -43.2 + 41.2. Sort 0.5, 124/3, w in ascending order.
w, 0.5, 124/3
Let f(s) = s**3 + 8*s**2 - 8*s + 12. Let z be f(-9). Suppose 2*r = -3*m + 5, 15 = -z*m + 2*r + r. Put m, 0.4, -0.4 in decreasing order.
0.4, -0.4, m
Suppose 0 = 3*u + m + 4, -4*u = -11*m + 7*m + 16. Sort u, 0, 4 in decreasing order.
4, 0, u
Let r(f) = -f**3 - 5*f**2 + f + 5. Let w be r(-5). Suppose 3*t + 45*b = 43*b - 16, 8 = -t - 2*b. Sort w, -2, t, 4.
t, -2, w, 4
Suppose -5*a + 82 = 2. Let m be -1*4/6 + (-16)/(-6). Let q be (4/a)/(m + -3). Put 1/4, q, 0.5 in decreasing order.
0.5, 1/4, q
Let p(r) = r**3 + 22*r**2 - 23*r + 3. Let u be p(-23). Sort 4, -5, u, 28 in decreasing order.
28, 4, u, -5
Let t = 25.1 - 27. Let i = t - -0.9. Let p = -6 - -4. Put i, -0.4, p in descending order.
-0.4, i, p
Let r = -12 + 57. Let c = r - 46.8. Put 1, -0.3, c in descending order.
1, -0.3, c
Let n be 9/2*(2 - 4/3). Let v = -79 + 81. Let j = -0.2 - -0.1. Sort v, n, j in increasing order.
j, v, n
Let o be (30/(-4))/(2/4). Let a be o/(-6)*(-8)/(-5). Suppose 6*n - 15 = 15. Sort n, -3, a.
-3, a, n
Let k = -0.54 - -0.04. Let s = k + 1.5. Let m be (-9)/(-18)*12/(-10). Sort m, 2/7, s in decreasing order.
s, 2/7, m
Let b be -3*10/((-20)/6). Let m be (-1 + b + -5)/(0 + 1). Suppose 0*f - f = -2. Put m, 0, f in descending order.
m, f, 0
Suppose 12 = 3*p - w - 5*w, 2*p - 7 = 5*w. Put -8, 4, -3, p in increasing order.
-8, -3, 4, p
Let k(t) be the second derivative of -t**4/12 + t**3/6 + 9*t**2/2 + 48*t. Suppose q = 6*q - 20. Let g be k(q). Put 3, -4, g in ascending order.
-4, g, 3
Suppose 4*j - 56 = 4*a, 3*a + 2*a = -5*j + 110. Let w be (-6)/(-15)*(-10)/j. Let b = -1.2 + 5.2. Sort w, b, 1.
w, 1, b
Suppose -3*i + 27 = 3*y, i + 3*i = -5*y + 48. Let v be -6*(-3)/y*2 + -1. Let q(g) = g + 3. Let x be q(-8). Put x, v, 3 in decreasing order.
3, v, x
Let s(u) = -u**2 + 11*u - 14. Let i be s(11). Let o = -10 - i. Let z be (-5)/(-5 + 3 + 1). Sort z, -3, o in descending order.
z, o, -3
Let f(j) = -j - 3. Let q be f(-5). Suppose 4*l = 3*k - 10, -4*k = -11*l + 9*l. Put q, -5, k in decreasing order.
q, k, -5
Suppose 5*c + 10 = 18*x - 21*x, 2*c = -2*x - 4. Sort c, 0, -6, 2 in decreasing order.
2, 0, c, -6
Let d = -6 - -11. Let t = 9 + -7. Let v be t/(-3 + 28/8). Put v, -5, d in increasing order.
-5, v, d
Let k = -599 - -599. Let b = 0.11 - -0.39. Sort 3, -0.3, b, k in decreasing order.
3, b, k, -0.3
Let k(g) = g**2 - 13*g + 24. Let p be k(11). Suppose -i + 0*s - 11 = 3*s, p*s + 12 = 4*i. Sort i, -1, 17, 0.
-1, 0, i, 17
Let h be 3 + -3 + (-4)/5. Let n = 587 - 576. Put -5, n, h in descending order.
n, h, -5
Let g be -9 - (-77)/(13 - 6). Put -1, 5, g in ascending order.
-1, g, 5
Let c = -6 - -6.4. Let l = 4.8 - 5. Let t = -1887/5 + 377. Put t, l, c in increasing order.
t, l, c
Suppose 0 = 5*b - 2*b + 6. Let c(f) = 2*f + 2. Let x be c(-1). Put b, 1, x in descending order.
1, x, b
Let v = 2636 - 2635.7. Sort -2, 0, v, 4/3 in descending order.
4/3, v, 0, -2
Suppose -4*c - 5*l = -2*l + 2, 4*c + 2*l = 0. Let v be 17*-9*2/(-11). Let r = v + -5224/187. Sort 1/3, r, c in ascending order.
r, 1/3, c
Let f = -331/440 + 1/440. Sort 0, f, 4.
f, 0, 4
Let o be (-2)/6*(-3)/10. Let f = 126.8 - -1.2. Let v = -130 + f. Sort v, o, -3 in decreasing order.
o, v, -3
Suppose g = -4*n, 13*n = 15*n - 4*g. Sort 5, 22, n in ascending order.
n, 5, 22
Let f(n) = n**3 + 33*n**2 - 36*n - 69. Let c be f(-34). Put 26, c, 3, 1 in decreasing order.
26, 3, 1, c
Let c = -187 - -283. Sort c, 0.1, -5 in decreasing order.
c, 0.1, -5
Let k = -0.82 + 1.02. Put k, 0.5, 1/3 in decreasing order.
0.5, 1/3, k
Let i(h) = -h**3 + 11*h**2 - 9*h - 10. Let j be i(10). Suppose -16*m + 13*m + 6 = j. Put -13, -4, m in descending order.
m, -4, -13
Let g = -1.1 - -0.9. Let m(s) = -s**2 + 6*s + 14. Let w be m(8). Let o be -1*w/6*1. Sort g, 2/3, o in increasing order.
g, o, 2/3
Let x = 23.55 + -0.55. Sort -0.3, x, -4 in descending order.
x, -0.3, -4
Let a = 66 - 67. Put 4, a, 11 in decreasing order.
11, 4, a
Let y = -1.83 - 38.77. Let r = y - -41. Sort r, -0.06, 0.5 in decreasing order.
0.5, r, -0.06
Let w be (-4)/6 + 44/66. Suppose 0 = -3*c + 9 - 3. Suppose -3*l = -z + 16, 5*z + 5 = -w*l - c*l. Sort l, -2, -4 in ascending order.
l, -4, -2
Let k(r) = 2*r - 13. Let p be k(7). Let b be 3/4 - (-351)/12. Suppose 2*s + 20 = s + 3*n, -4*s + 2*n - b = 0. Sort s, p, 3 in ascending order.
s, p, 3
Suppose 44*n - 55 = 55*n. Put n, 3, -6, 7 in descending order.
7, 3, n, -6
Suppose -379 + 517 = 6*g. Sort 2, g, -4.
-4, 2, g
Let u = -10 - -8. Sort -5, 0, u.
-5, u, 0
Suppose 22*j - 517 - 319 = 0. Put -2, j, 0.1 in ascending order.
-2, 0.1, j
Let a = 2.7 - 3. Let o = 31.4 - -2.6. Let q = -29 + o. Put a, q, -0.1 in descending order.
q, -0.1, a
Let q = -89 + 54. Let g = 25 + q. Put 0.4, g, 0.1 in decreasing order.
0.4, 0.1, g
Let l be 21/(-14)*20/6. Let y = l + 6. Let z = y - 0. Sort z, -5, -3 in decreasing order.
z, -3, -5
Suppose -5*r + 18 = b - 15, -23 = -b + 5*r. Let s = 29 - b. Sort 4, s, -8.
-8, s, 4
Let b = 131 - 130.7. Sort 3/2, 6/13, b, -1/2 in ascending order.
-1/2, b, 6/13, 3/2
Let z(s) = s**3 - 6*s**2 - 2. Let l be ((-2)/(-6))/(2/36). Let c be z(l). Put 2, 5, -5, c in decreasing order.
5, 2, c, -5
Suppose 0 = t - 9 + 7. Put -1, 1, t, 52 in increasing order.
-1, 1, t, 52
Let v = 53 - 48. Let m = v + -6. Sort 2/5, -2/5, m in increasing order.
m, -2/5, 2/5
Let b be (-2)/(10/17) + 154/385. Sort 28, 3, b, 5 in decreasing order.
28, 5, 3, b
Let i = 255 + -255.4. Put i, 4/7, 5, 2 in ascending order.
i, 4/7, 2, 5
Let t be (-144)/(-126) - (-2)/(-14). Let u be -1 + 5/4 - (-19)/(-108). Put -5, u, t in descending order.
t, u, -5
Let z(w) = -16*w - 501. Let u be z(-31). Sort 11, u, -4, -2 in decreasing order.
11, -2, -4, u
Suppose -3*n + 91 = -2*n. Suppose -n = 3*t + 269. Let r be 2/(-5) + t/(-50). Sort 1, r, -4.
-4, 1, r
Let d be 4 + -3*(-24)/(-18). Let n be (-4)/(-24) - 4/6. Sort d, 2, 1/3, n.
n, d, 1/3, 2
Let w = -159 - -1115/7. Sort 21, w, -2/7, 1.
-2/7, w, 1, 21
Suppose -3*i + 5*k = -142, -2*k + 69 = 2*i - 15. Put -2, -1, i in descending order.
i, -1, -2
Let o = -18 - -17. Let r be ((-4)/(-1))/(-1 + 0). Put o, r, 2 in descending order.
2, o, r
Let x be 1 - -1 - (-48)/(-20). Let m be -3 - (2 + -7)/5. Put x, 1, 0.5, m in increasing order.
m, x, 0.5, 1
Let g = 83/2 + -417/10. Put g, -4, 0 in decreasing order.
0, g, -4
Let c = -0.0596 - 225.9404. Sort -2, 5, 2, c.
c, -2, 2, 5
Let h = -894 - -896. Put h, 3/7, 1/3, 35 in decreasing order.
35, h, 3/7, 1/3
Suppose -16 = 14*t - 10*t, b = -t - 8. Sort -24, 0, b in descending order.
0, b, -24
Let r(a) = a**2 - 17*a + 1. Let x be 16/1 + -2 + 3. Let u be r(x). Suppose i - u = -2. Sort i, -5, 3 in descending order.
3, i, -5
Suppose 70*j + 1344 = 8204. Sort j, -1, -3 in decreasing order.
j, -1, -3
Let y = 6 - 2. Let i = 5234 - 5234.2. Sort 2, y, i, 0.
i, 0, 2, y
Let f = 1165 - 1143. Sort 5, -8, 2, f in descending order.
f, 5, 2, -8
Let p(i) = -i**2 + 9*i + 3. Let m be p(9). Let b = 248 + -241. Put b, 0, m in descending order.
b, m, 0
Let i be (2 + (-34)/18)*4. Let o = 4.698 + 0.302. Sort 0.6, i, o.
i, 0.6, o
Let d be 36/144 - (-1)/4. Put -0.01, 1/5, d, 2/17 in increasing order.
-0.01, 2/17, 1/5, d
Let h = 751.03 + -748. Let s = h - 3. Let t = 2.03 - s. Put -1/3, -4, t in increasing order.
-4, -1/3, t
Let a be (6 + -2 - 0) + 0/4. Suppose -13*i + 18*i = 110. Sort -1, i, a, -5.
-5, -1, a, i
Let d(s) = s**2 + 15*s + 21. Let t be d(-12). Let b be 3 + -1 + (7 - 2) + -2. Sort -3, b, 2, t in ascending order.
t, -3, 2, b
Suppose -4 = -5*h + 4*h. Suppose h*m + 11 + 5 = 0. Sort 1, m, 5 in decreasing order.
5, 1, m
Suppose -101*h = -3*p - 102*h + 7, 15 = 5*p + h. Put 6, p, -1, 5 in ascending order.
-1, p, 5, 6
Let r = -879.9 - -880. Sort -0.18, r, -5, 2/21 in descending order.
r, 2/21, -0.18, -5
Let a be 32/112 - (-337)/(-1204). Sort a, 2, 5 in increasing order.
a, 2, 5
Suppose 5*x = 2*i + 15, -3*i - 15 = -0*i. Let y be (-5)/(5/(-2)) - -3. Sort y, x, -10, -3 in descending order.
y, x, -3, -10
Let w(f) = 16*f - 19*f + 4 + 5*f + f**3 - 7*f**2 + 4*f. Let y be 28/(-8)*12/(-7). Let d be w(y). Sort d, -0.4, -6/7.
-6/7, -0.4, d
Let f be 8/45 + (-84)/(-378). 