 v, 3
Let k = 3491 + -3556. Sort 4, -4, k in descending order.
4, -4, k
Let a(l) = 3*l**3 - 9*l**2 - 3*l + 10. Let v be a(3). Put -5, v, 598 in increasing order.
-5, v, 598
Let v be (3 - 6) + 2 + -1. Suppose q - 1 = 3. Suppose 3*a = -q*a. Sort v, a, -4, 3.
-4, v, a, 3
Let d = -16 - -15. Let z(n) = 4*n + 61. Let h be z(-15). Let g be (1 - 53)*(0 + h/(-2)). Put g, d, 0.3 in increasing order.
d, 0.3, g
Let n = 424 - 423. Sort -1.3, 5, n, -0.5, 1/9 in descending order.
5, n, 1/9, -0.5, -1.3
Let b = 8.3 - 8. Let m be 16/56 - ((-240)/(-63))/4. Put m, 1, b, 4 in increasing order.
m, b, 1, 4
Let l be (258/(-1806))/(2/(-14) - 0). Put -3, l, 238 in ascending order.
-3, l, 238
Let y = -40.18 - -41.78. Put y, -0.4, -13 in descending order.
y, -0.4, -13
Suppose 0 = 3*i - 21*s + 16*s + 14, -2*s = -2. Sort 7, i, 3, 16.
i, 3, 7, 16
Let t = -14 - -12. Suppose 26 = -m + 34. Suppose m = 7*b + 1. Sort 3, t, 0, b in increasing order.
t, 0, b, 3
Let j = -353 - -351. Let v be 4 + 50/75*102/j. Sort -4, 1/6, -0.2, v in ascending order.
v, -4, -0.2, 1/6
Suppose 0 = 3*r + 3*y + 33, 0 = -5*r + 2*y + 5 - 11. Put -6, r, 5, -2 in descending order.
5, -2, r, -6
Let p(k) = -k**2 - 2*k - 4. Let g = 8 - 10. Let c be p(g). Let y = 191 + -180. Sort c, 1, y in descending order.
y, 1, c
Let r be 0 - (19 - (116 + -9)). Sort 5, 22, -4, r in decreasing order.
r, 22, 5, -4
Let w(s) = 5*s**3 - 42*s**2 - 7*s + 21. Let r(o) = 2*o**3 - 21*o**2 - 3*o + 11. Let t(m) = -7*r(m) + 3*w(m). Let x be t(-21). Put 2, x, -2 in increasing order.
x, -2, 2
Let n(o) = 3*o**2 - 79*o + 468. Let a be n(9). Sort -1689, -4, a in ascending order.
-1689, -4, a
Let t(p) = p + 18. Let z be t(0). Suppose -4*f - z = 2, -5*w + 3*f + 10 = 0. Suppose 3*g = -12 - 3. Put -9, w, g in descending order.
w, g, -9
Let u = 4 - 4. Suppose -2*r + 17*f - 16*f = 252, -3*f = 3*r + 369. Let o = r + 146. Sort o, u, 3.
u, 3, o
Let z(b) = -b**3 - 6*b**2 + 6*b - 7. Let x be z(-7). Let p = 93515 + -93518. Sort x, -8, p.
-8, p, x
Suppose -5*z + 6 = -4. Suppose -o + 5*i = 4*o - 35, o + 3*i - 3 = 0. Sort o, 3, z in decreasing order.
o, 3, z
Let a = 1083 - 1039.1. Let j = a - 43.6. Sort -5, j, -2, -0.1.
-5, -2, -0.1, j
Suppose 0*u = -u + 4*k - 18, -3*u - 9 = -3*k. Sort -23, -3, 0, u.
-23, -3, 0, u
Suppose -4*j = 3*j - 35. Suppose 30 = j*r + r. Put 0, r, -2 in decreasing order.
r, 0, -2
Suppose 2*h - 5*h + 11 = -2*d, 4*d = 2*h - 18. Sort h, -5, -318, -2 in ascending order.
-318, -5, -2, h
Suppose 613*g = 547*g + 66. Sort g, -11.24, -5.
-11.24, -5, g
Let d = 50 + -49.957. Let w = -3.957 - d. Let t = -2 - -5. Sort w, t, -1/3 in descending order.
t, -1/3, w
Suppose -7*d = -4*d - 105. Suppose d*n - 34*n = -18. Put 3, n, -1 in ascending order.
n, -1, 3
Let d(u) = 2*u**2 - 31*u + 18. Let s be d(15). Let g = -368 + 369. Put -1, 4, s, g in increasing order.
-1, g, s, 4
Suppose -97*w = -2*d - 96*w + 95, -4*w - 12 = 0. Sort 2, d, 9 in decreasing order.
d, 9, 2
Suppose 3*n - 336 = -0*n. Let i = n - 107. Let c be ((-4)/(-8))/((-2)/20). Put c, -3, -1, i in decreasing order.
i, -1, -3, c
Let t = 2557/10899 - 15/1211. Put 1/4, -8/87, 0.2, t, -1/4 in decreasing order.
1/4, t, 0.2, -8/87, -1/4
Let t = 0.5009 + -3.5009. Let q = -18 + 20. Sort t, q, -0.3 in descending order.
q, -0.3, t
Suppose 0 = -x - 3*l - 14 - 3, 2*x + 8*l + 46 = 0. Sort x, -954, -5 in descending order.
x, -5, -954
Let j = 134 - 840. Put -3, j, -1 in ascending order.
j, -3, -1
Let n = 44 - 448. Let l be n/(-6)*(-19)/(-6). Let w = l - 213. Put -1, -1/3, w in descending order.
w, -1/3, -1
Suppose 0 = 7*i - 60*i - 19451. Let l = 366 + i. Sort l, -63, -2, 4 in ascending order.
-63, -2, l, 4
Let x = 0.885 + 0.115. Put x, -45, 4/5, -2/5 in decreasing order.
x, 4/5, -2/5, -45
Let u = 17334/11862329 + 4/10853. Let p = 2168/9837 + u. Sort p, 2/7, -3, -0.4 in decreasing order.
2/7, p, -0.4, -3
Let k = 337 - 337.3. Let v be ((-16)/(-60))/((-2)/5). Put k, -1/4, -4, v in decreasing order.
-1/4, k, v, -4
Let o be (-3)/((-9)/2) + 1380/90. Suppose 36*i = 32*i + o. Let s = 22 + -22. Put -1, s, i in ascending order.
-1, s, i
Let h = 4/1913 + -27042/124345. Let x = h - 5/13. Let d = -23.481 + 23.481. Put -1/9, d, x in decreasing order.
d, -1/9, x
Let s = -0.193 + 146.193. Let u = 147 - s. Put 0.3, u, 21, 0 in descending order.
21, u, 0.3, 0
Let x(f) = -58*f + 1682. Let c be x(29). Put 14, c, 3, 1 in increasing order.
c, 1, 3, 14
Let b(j) = -j**3 + 7*j**2 + 7*j + 5. Let c be b(8). Let n(s) = s**3 - 4*s + 12. Let o be n(-4). Let m = o + 35. Sort m, c, -5, 6 in ascending order.
-5, c, m, 6
Suppose -35*f + 40*f - 15 = 0. Suppose -f*d + 31 = 4*h, 4*d = 6*h - 5*h - 22. Suppose 0 = o, 2*o = 4*u - 2*o - 4. Sort 2, u, h, 5 in decreasing order.
h, 5, 2, u
Let a be 0 - -8 - (-26 + 30). Suppose a*h = -c + 13 - 14, 5*c + 28 = 3*h. Put h, 5, -10 in descending order.
5, h, -10
Let o = -282676 - -282677. Let x = -177 + 29. Let b be (-4)/14 + x/(-28). Sort 2, o, 4, b.
o, 2, 4, b
Suppose -s - 11 = -2*y, 31 = -s - 4*y + 32. Put 10, -4, s, -5 in descending order.
10, -4, -5, s
Suppose 2*p + n + 19 = 0, 0 = -4*p + 6*n - 6 + 40. Sort 3, p, 45, -1.
p, -1, 3, 45
Let o = 13303/2 - 53209/8. Sort -71, -3/7, o, 14, 5/6.
-71, -3/7, o, 5/6, 14
Let x be (8/(-6))/((-40)/18). Let j = -0.52 + 0.77. Let p = j - -0.25. Put p, x, -3 in decreasing order.
x, p, -3
Let d be 40/12*24/20. Let a = -4106 + 4071. Put -5, a, -2, d in descending order.
d, -2, -5, a
Suppose 3*f + 16 = 5*s - 3*s, 4*s = -4*f - 48. Suppose 0*h + 5*h + 10 = 0, h = -b - 7. Let u be -14 + 24 + 0 + -11. Put b, f, u, 0 in ascending order.
f, b, u, 0
Let k = -2674.93 - -2663. Let s = -11.9 - k. Put 2/7, s, -1, 5 in increasing order.
-1, s, 2/7, 5
Let v(c) = -3*c**2 + 38*c - 59. Let a be v(11). Sort a, 110, -3, -2, 0.
a, -3, -2, 0, 110
Suppose -4*i + 0*q = -q + 1215, -5*i - 5*q = 1500. Let l = -305 - i. Sort -5, l, 6, 3 in descending order.
6, 3, l, -5
Suppose -2*k - 11*k - 32 - 7 = 0. Sort 0.2, k, 6, 20.
k, 0.2, 6, 20
Let f(x) = x**3 + 18*x**2 + 48*x + 52. Let u be f(-15). Suppose -49*n - 56 = -u. Put -3, -5, n, 0 in decreasing order.
0, n, -3, -5
Let x = 612 - 519.8. Let f = x - -7.8. Let y = f + -95. Sort -9, y, 3 in ascending order.
-9, 3, y
Let g(u) = -4*u**3 - 4*u**2 - 4*u - 1. Let b be g(-1). Suppose 0 = -b*h - 37 + 46. Sort -5, -9, h in ascending order.
-9, -5, h
Let k(u) = -2*u + 25. Let n be k(11). Suppose n*z = -t + 2 + 11, 3*t = -z + 7. Suppose -3*s + 4*p + z = -11, 2*p = 0. Sort 3, s, 1, -4.
-4, 1, 3, s
Let z = -2 + 1.7. Let m = -2135.9 - -2569. Let i = m - 432. Sort -5, z, i, 3.
-5, z, i, 3
Let r(o) = -8*o - 17*o**2 - 11 + 16*o**2 + 0*o**2. Let q be r(-4). Sort 0.7, -5, 3/5, q in decreasing order.
q, 0.7, 3/5, -5
Let u = 16095 + -16086. Put 0.5, 0.1, 1, u, 2 in ascending order.
0.1, 0.5, 1, 2, u
Suppose -4318 = 209*i - 12469. Sort i, 5, 19 in decreasing order.
i, 19, 5
Let f(p) = -5*p + 130. Let j be f(17). Suppose -3*d = -j + 36. Put d, -2, -5, -15 in increasing order.
-15, -5, -2, d
Let j = -0.308 + 0.188. Let l = j + 0.52. Sort -2, l, -47 in decreasing order.
l, -2, -47
Let k(a) = -a**3 + a**2 + 2. Let v be k(2). Let g(m) = m**3 + 3*m**2 - 2*m - 3. Let z be g(0). Put -69, z, v in ascending order.
-69, z, v
Let b = 5566/12483 - 2/1387. Put b, 2, -0.06, 0.3, -8/5 in ascending order.
-8/5, -0.06, 0.3, b, 2
Let b be (104/39)/(720/(-270)). Suppose 8*c - 3*c - 25 = 0, -3*a + 4*c - 32 = 0. Put b, a, 2, -13 in increasing order.
-13, a, b, 2
Let i be 2*6/8*2. Let n = 113 - 112.6. Let l = 6419.7 + -6419. Put n, i, l, -0.1 in ascending order.
-0.1, n, l, i
Suppose 3*r + 1 = 7. Suppose r*o + 25 - 61 = 0. Suppose 5*v + a - o = 0, -6 = -4*v - 2*a + 6. Sort 0, 5, v, 3 in increasing order.
0, 3, v, 5
Let b be (-8730)/5400 - (-6)/(-45). Sort 5, b, 1, 0.454 in ascending order.
b, 0.454, 1, 5
Let h = -37 + 55. Let v = -89/5 + h. Let w be ((-3)/(-10))/(12/10). Sort v, w, 1.5 in decreasing order.
1.5, w, v
Let y = -318 + 316. Let m(q) = q**3 - 8*q**2 + 6*q + 10. Let w be m(7). Suppose -9 = w*k, 5*j + 5*k - 6 - 4 = 0. Sort j, 9, 1, y in decreasing order.
9, j, 1, y
Let t = -0.5 + 0.3. Let r = 16 + -258. Let a = r - -1697/7. Put a, t, 0, 20 in ascending order.
t, 0, a, 20
Let q(u) be the first derivative of 4*u**3/3 - 41*u**2/2 + 13*u - 6. Let n be q(10). Sort 4, -1, n.
-1, n, 4
Supp