1, -2, -5, p
Let t = -30067 - -30067. Put t, -1554, 1, -1 in decreasing order.
1, t, -1, -1554
Let x(t) = t**3 - 3*t**2 + 4*t + 1. Let y(i) = 3*i**2 + 10*i - 23. Let r be y(-5). Let k be x(r). Put -1/3, -3, k, 3/5 in increasing order.
-3, -1/3, 3/5, k
Suppose -1130*a + 5*j = -1125*a - 10, -3*j = 4*a + 34. Sort 3, 4, 345, a in descending order.
345, 4, 3, a
Let c = -0.6 + 1.5. Let s = c - 1.2. Let n = -2293 - -2293.4. Put n, s, 0.18 in ascending order.
s, 0.18, n
Let o = -0.08269 + -0.91731. Sort -30, o, 1, -4, 0 in descending order.
1, 0, o, -4, -30
Suppose 2*n - 13 = -r + 4*n, r - 5*n - 28 = 0. Suppose r*f + 5 = -3*p + 2, -2*p + 2 = -2*f. Put -2, -4, 2, f in descending order.
2, f, -2, -4
Let y = 52 - -18. Suppose 55*b = 62*b + y. Put 4, 0, b, 3 in increasing order.
b, 0, 3, 4
Let n(f) = -151*f - 3923. Let v be n(-26). Put 15, 44, v in ascending order.
v, 15, 44
Let y = -703 + 700. Let g = 23 + 17. Let r = 38 - g. Put r, -4, 2, y in ascending order.
-4, y, r, 2
Let n be (2/(-6))/((-12)/(-36)). Let h be 5/((-10)/(-8)) + -7. Let m be ((-2)/15)/(h/15). Sort m, n, 4 in descending order.
4, m, n
Suppose x - 312 = 149. Let j = -465 + x. Sort j, -2, -12, -3 in decreasing order.
-2, -3, j, -12
Let f(z) = 4*z - 9. Let o be f(3). Suppose 0*r = -r - o. Let t = 69 - 143/2. Put -2/7, r, t in decreasing order.
-2/7, t, r
Let p be (-2 - -1) + 1 + -1. Let t = 7611 + -7613. Suppose 0 + 20 = -5*b. Put t, p, b in descending order.
p, t, b
Suppose 34*g - 26*g - 32 = 0. Let y = -0.1 - -4.1. Let x = y - 3.6. Sort g, 0.1, x, -2/3 in increasing order.
-2/3, 0.1, x, g
Let t(j) = j**2 - j - 928. Let v be t(31). Let x = -13 + 8. Put 13, -3, x, v in increasing order.
x, -3, v, 13
Let n(g) = g**2 - 4*g - 19. Let x be n(-5). Suppose -19 - x = -5*a. Let v = a - 13. Sort v, -3, 0.
v, -3, 0
Let o be (9*3/18)/((-14)/28). Let p = 168 + -168. Sort p, 7, o in descending order.
7, p, o
Let n = 16532 - 16534. Sort -76, 0, n in ascending order.
-76, n, 0
Let q = 6/955 + -154/191. Put q, -0.0406, 5 in ascending order.
q, -0.0406, 5
Let k(g) = g + 17. Let i be k(-12). Let x be i/((-5)/(-3)) + 1 - 4. Let y = -8 + 10. Put y, x, -7 in decreasing order.
y, x, -7
Suppose 0 = -3*p + 8*p + 5*t - 5, -5*t = 0. Sort p, -40/9, 2, -2/5 in ascending order.
-40/9, -2/5, p, 2
Let h(y) = -y**3 + 11*y**2 + 11*y + 9. Let u be h(12). Let z be (-2 + 3 - 1)/(-4 - u). Put z, -4, -1 in ascending order.
-4, -1, z
Let w be 2/(-6) - (-391)/(-69). Let z be (-10)/(-15) + (-350)/w. Suppose 4*m - 15 = -j + 35, -5*m - 3*j = -z. Sort m, -2, 1 in increasing order.
-2, 1, m
Let n = -59 - -65. Suppose -s + 0 + n = 0. Suppose 3*f + s = 0, -x + 5*f = -0*f - 8. Sort 2, -3, x, 4 in increasing order.
-3, x, 2, 4
Let l = 1094 + -1091. Let g(s) = s**2 + 6*s - 12. Let d be g(-8). Sort l, -4, 0, d.
-4, 0, l, d
Let c = -2.5 + 3. Let y = 933 - 933.72. Let z = y + -4.28. Sort z, c, -1, -2 in ascending order.
z, -2, -1, c
Let c be ((-12125)/291)/(10/(-12)). Sort -3, 4, 7, c, -2 in ascending order.
-3, -2, 4, 7, c
Let k(z) be the first derivative of z**4/4 + 10*z**3/3 + 11*z**2/2 + 17*z - 18. Let w be k(-9). Let i be (-1 - 2)/(w/(20/15)). Put i, 5, 1 in descending order.
5, i, 1
Let f = 53 - 53.42. Let y = 0.039 + -29.239. Let h = 28.8 + y. Sort f, -4, h in decreasing order.
h, f, -4
Suppose 0 = -21*y - 303 + 156. Put 4, 7, -3, y, -4 in decreasing order.
7, 4, -3, -4, y
Let d = 0.034 + -0.234. Let f = -128.706 - 0.294. Let q = f + 128.7. Put q, 2/13, d in descending order.
2/13, d, q
Let g(m) = -7*m**2 - 15*m + 5. Let i be g(0). Put 1/2, i, 1/3, -11, 2 in decreasing order.
i, 2, 1/2, 1/3, -11
Let d be 2/(-6) - 116/12. Suppose 4*q + 570 = -5*u + 611, -5*u = 5*q - 45. Put -2, d, 2, q in increasing order.
d, -2, 2, q
Let f = 241/14 - 35/2. Let l be ((-1040)/(-15))/((-6)/(-108)). Let w be 1/(244/l + (-4)/26). Put f, w, -0.1 in ascending order.
f, -0.1, w
Let s be -2*2 + 314 + -296. Sort s, 2/7, -52 in descending order.
s, 2/7, -52
Let x = -36 - -50. Let c(n) = -n**3 + 5*n - 3. Let j be c(-3). Suppose -40 = -j*g + 5. Sort -2, 0, x, g in ascending order.
-2, 0, g, x
Suppose 0 = -2*t + 10, s - 4*t + 10 = -15. Let h(k) = -3*k**2 + 15*k - 1. Let b be h(5). Put 4, b, s, 25 in ascending order.
s, b, 4, 25
Let l = 14476/3 - 4826. Let r = 197/3 + -65. Sort l, r, 5 in descending order.
5, r, l
Let a(p) = -14*p + 80. Let d be a(5). Suppose 0 = -d*f + 308 - 18. Let n(m) = m**2 + 6*m - 4. Let i be n(-6). Sort i, 2, f in ascending order.
i, 2, f
Let h(c) = c**3 + 9*c**2 - 11*c - 15. Let a be h(-10). Let w = 1342.8 + -1340.8. Sort a, w, -2, 0.5.
a, -2, 0.5, w
Let n be 372/(-8)*(-552)/(-4)*(-19)/(-171). Put 0, n, -1, 4 in increasing order.
n, -1, 0, 4
Let v be (6 - -2) + 3*(-99)/27. Sort 17, v, -55.
-55, v, 17
Let f(k) = 3*k**3 + 165*k**2 + 159*k - 92. Let s be f(-54). Put s, -6, 0 in increasing order.
-6, 0, s
Let t be (-1 + (-18)/10)/(-3*12/(-90)). Sort t, -1, 81 in decreasing order.
81, -1, t
Let y be (2/6)/(((-370)/(-1500))/37). Suppose 10*v - y + 10 = 0. Sort -1, -5, 5, v.
-5, -1, v, 5
Let x be (3/(-2))/((-15)/80*(15 - 17)). Sort 4, x, -3680 in ascending order.
-3680, x, 4
Let x = 3.428 - 1.428. Let n = -0.07 + 0.07. Let u = 0.4 - n. Put u, 4, x in increasing order.
u, x, 4
Let v be 232/16 - (-3)/(-2). Let m(q) = 4*q**2 + q + 2. Let y(p) = -2*p**2 + 17*p - 9. Let j be y(8). Let d be m(j). Sort d, v, 1, -2 in descending order.
v, d, 1, -2
Let f be (-7)/35*(-20)/4. Let h(o) = o**3 - 14*o**2 + 10*o + 38. Let j be h(13). Sort -2, j, 2, f in decreasing order.
2, f, j, -2
Let x be ((0/7)/9)/(-3). Put 40/9, x, 5, -3 in increasing order.
-3, x, 40/9, 5
Let f = 211 - 244.2. Let y = f + 33.4. Let d = -4.96 - 0.04. Put d, -1/3, y, -3 in ascending order.
d, -3, -1/3, y
Suppose -4*y + 3*x - 9 = -0*x, y + 4*x = -7. Let b = 5.3476 - 0.3476. Sort y, 0.2, b in increasing order.
y, 0.2, b
Let w = 2592.02 + -2592. Let o = 3.4 + -0.9. Let z = -3 + o. Put z, w, -2/9 in descending order.
w, -2/9, z
Let b be 1*(-4)/(-18)*(-23)/46. Put 3/4, b, 8, 3, -1 in increasing order.
-1, b, 3/4, 3, 8
Let o = -1383 - -1348. Sort 5, 9, o.
o, 5, 9
Suppose -18*v + 5*v + 10478 = 0. Let h be 2/(-2)*0 + (-124)/v. Let y(b) = -b**3 - 9*b**2 - 7*b + 3. Let d be y(-8). Sort 0.5, d, h, 0.1 in ascending order.
d, h, 0.1, 0.5
Let c be 4/24*-85 - 10/12. Sort 3, c, -2, -14.
c, -14, -2, 3
Let s = -0.5 - 2.5. Let l = -5 - s. Let f be 5/(-10) + 2*(-44)/(-48). Sort l, 0.2, 3, f in decreasing order.
3, f, 0.2, l
Let u be -3*(-3)/(-3) + 0. Let b = 0.05 - -1.95. Let q = -6526 - -6526.4. Sort q, u, b, -2/7.
u, -2/7, q, b
Let t = 816 - 819. Sort t, 3, 1, -6, 7/3 in descending order.
3, 7/3, 1, t, -6
Let o = 607.85 - -5.15. Let n = -609 + o. Let z be ((-2)/(-2))/(9/2). Put n, z, -1/3 in descending order.
n, z, -1/3
Suppose 2*m = 4 + 6. Suppose m*f - 12 = 4*o, -9 = -4*f - 3*o + 6*o. Suppose -442*q = -428*q + 14. Sort f, -7, q, -2.
-7, -2, q, f
Suppose 11 = -4*h + 19. Suppose 0 = -2*j + 2*d + d + 17, 5*j + 10 = -3*d. Sort -97, 3, j, h in decreasing order.
3, h, j, -97
Let n(w) = -w**2 + 13*w - 14. Let h be n(12). Let r(c) = 30*c - 296. Let p be r(10). Sort p, h, 16.
h, p, 16
Let f be (-15)/((-10)/(-3) + -3). Let i be (-57)/133 - f/7. Put i, 0.3, -4/9 in increasing order.
-4/9, 0.3, i
Suppose -14*w + 9*w + 120 = 0. Suppose 0 = 4*f - x - 13, 3*x = -2*f - 7 + w. Put f, -4, -3, 3 in decreasing order.
f, 3, -3, -4
Let t be (-3474)/252 - (-39)/(-182) - -19. Let m(o) = -o**3 - 2*o**2 + 3*o - 2. Let g be m(-4). Sort g, t, 0 in descending order.
g, t, 0
Let c = -2.99 - -3. Let j = -59.2193 + 58.7193. Put c, j, 5, -0.3 in decreasing order.
5, c, -0.3, j
Let r(c) = -c**3 - 5*c**2 + 26*c - 91. Let g be r(-9). Sort 8, -257, g in descending order.
8, g, -257
Suppose 93*y = 75*y - 198. Let r be ((-7)/2)/((-6)/(y + -1)). Sort 1, r, 6 in decreasing order.
6, 1, r
Let g = 2965 - 2960. Sort 75, -5, -4, g.
-5, -4, g, 75
Let f = -12627 - -12678. Sort 21/2, f, 1/3 in increasing order.
1/3, 21/2, f
Suppose 0 = 2*x + 4*m + 72 - 92, 3*x + m = 35. Sort -14, x, -3.
-14, -3, x
Suppose -7*q = -2*q + 3*j + 1, 2*j + 6 = 2*q. Let u = -248 - -247. Let w(b) = 4*b + 1. Let g be w(1). Put g, u, -5, q in decreasing order.
g, q, u, -5
Let k = -0.0631 - 34.1369. Let n = -17.2 - k. Sort -4/5, n, 4 in decreasing order.
n, 4, -4/5
Let l = 0.2 -