1.3035. Sort f, -2/13, -0.05.
-2/13, -0.05, f
Let a(p) = p + 3. Let b be a(-4). Let r be b + 3 + (1 - 4). Suppose -3*s + 2*k = -2, 3*s + 3*k = k + 22. Sort 13, r, s in decreasing order.
13, s, r
Let s = 2.8 - -3.8. Let u = -0.6 + s. Let v = u + -10. Sort v, 0, -3 in increasing order.
v, -3, 0
Let y = 371 - 372. Sort -0.1, -5, 5, y.
-5, y, -0.1, 5
Let i be (-62)/(-80) - ((-96)/60 + 2). Sort -0.3, -4, i, 2 in decreasing order.
2, i, -0.3, -4
Let f be 9/6*(-66)/9. Let p(z) = -z - 12. Let i be p(f). Sort 3, -3, -2, i in decreasing order.
3, i, -2, -3
Let u = -0.2 - -1.2. Let n = -40/3 - -14. Let y = 4248 + -4253. Put y, n, u in decreasing order.
u, n, y
Let y(n) = n**2 + 35*n + 72. Let s be y(-33). Sort -3, s, 0, 2 in descending order.
s, 2, 0, -3
Suppose 5*l + 3 = 2*g - 10, 2*g - 3*l = 3. Suppose 2*h - 9 = 5*h. Sort -5, g, h.
g, -5, h
Let w be (-3)/(-1) - 23/(46/12). Put w, 1, -27 in increasing order.
-27, w, 1
Let v(w) = 34*w + 107. Let z be v(-3). Sort 0, 1, z, 3 in descending order.
z, 3, 1, 0
Suppose 93 = -w - 5. Let s = w + 296/3. Sort -1/2, -3, -1/7, s in ascending order.
-3, -1/2, -1/7, s
Let v be (-2)/(-5) - (2 + -2). Let w = 583 + -582. Put w, 5, v in ascending order.
v, w, 5
Let s(w) = w**3 + 6*w**2 + 5*w + 1. Suppose -5*z = -9*z - 20. Let k be s(z). Suppose 5*r + 14 + 21 = 0. Sort 3, r, k in descending order.
3, k, r
Let i = -58 + 96. Put 0, i, 1 in decreasing order.
i, 1, 0
Suppose -l + 2 = l. Sort 3, -3, 2, l in ascending order.
-3, l, 2, 3
Let b = 3818/3 - 1273. Let m = -0.1 - 0.1. Sort 6, m, b in decreasing order.
6, m, b
Suppose -296*i + 412*i = -232. Let d(v) = -5*v**2 - v. Let y be d(-1). Suppose 2*s = 3*s - 1. Sort i, y, s in decreasing order.
s, i, y
Let p(n) = -6*n**2 + 3*n - 2. Let j(m) = -m**2 - 8*m - 4 + 5 + 9. Let g be j(-9). Let b be p(g). Put 5, -3, b in ascending order.
b, -3, 5
Suppose f - 5*a - 7 = 17, -16 = f + 5*a. Let g(d) = d**2 - 6*d + 3. Let n be g(5). Put n, f, -8 in ascending order.
-8, n, f
Let t = 4240/21 + -202. Let r = 2.4 - 2.9. Let j = r - -1. Put 4, j, t in ascending order.
t, j, 4
Let l = 8 + -4. Let f be (-9)/21 + (-3)/(-7). Suppose f = 9*t - 12*t - 9. Sort l, t, -1.
t, -1, l
Let u be (-1)/4 - 13/(-4). Suppose u*d + 16 = 4. Let a be 24/10*1/d. Put -1, a, -2 in decreasing order.
a, -1, -2
Let q = 5.061 + -0.061. Let a = 109 + -106.3. Put -5, a, q in descending order.
q, a, -5
Suppose -2*q - 5*v = -4*q - 2, 0 = q + 4*v + 1. Let c be 2/((-6 + q)*-2). Let f = -628 + 633. Sort c, 3, f.
c, 3, f
Let u(r) = -r - 8. Let j be u(-4). Let h be 0 + (-1 - j) - 1. Sort -1, h, -2 in descending order.
h, -1, -2
Let g be (-24)/35 + (-6)/(-21). Let j = 6.5 - 1.5. Let y = 3 - j. Put 1/7, g, y in ascending order.
y, g, 1/7
Let k be 25/(-45)*-3*(-1)/15. Sort -1, -2.9, k.
-2.9, -1, k
Let z(q) = -10*q - 2. Let l be z(-1). Let j be (-6)/(-24) + (-26)/l. Put -1/5, -2/5, j in descending order.
-1/5, -2/5, j
Let j(i) = -i**2 + 10*i - 1. Let g be j(5). Let n = 12 - -8. Suppose 0 = 2*w - 2*a + 5*a - n, 0 = -4*w - 2*a + g. Sort 1, 3, w.
1, 3, w
Let h = 3.371 - -0.129. Let d = h + -5.5. Sort -4, d, -0.3, 4 in ascending order.
-4, d, -0.3, 4
Let z be (2/4)/(2/(-172)). Let w = -303/7 - z. Sort 3, 3/2, w.
w, 3/2, 3
Let g(r) = -r - 4. Let x be g(0). Let y = -8301 + 8298. Sort 1, x, y, -2.
x, y, -2, 1
Let i = -54731889/10630 - -29/2126. Let s = i + 5175. Let c = s - 26. Sort -0.2, c, -1/6.
-0.2, -1/6, c
Let v = -219 + 226. Let j = 0.19 + -12.19. Let n = j + v. Put 0.5, n, -4/7 in ascending order.
n, -4/7, 0.5
Let j be (6/4 - 0)*(-24)/9. Sort j, -5, -7.
-7, -5, j
Let k be (-40 - -43 - 34/10)/2. Suppose 2*w - w + 3 = -2*q, 4*w + 15 = -5*q. Sort q, 2/7, k.
k, 2/7, q
Suppose -4*r + 3*q = -5*r + 55, 3*r - 169 = -5*q. Let m be (-1)/((-1 + 2)/(-14 + 9)). Put r, -2, m in ascending order.
-2, m, r
Let p = 0 - 0. Let c = p - -3. Let u be 2/20 + (-7)/14. Put 1/3, c, u in descending order.
c, 1/3, u
Let y be (-2)/4 + (2 - 15/2). Let k(s) = -2*s**3 - 12*s**2 + s + 5. Let x be k(y). Put -4, x, -2, 3 in decreasing order.
3, x, -2, -4
Let i be (8/2)/(-12) - 24/36. Sort -5, -2, -4, i in ascending order.
-5, -4, -2, i
Let h = 451.13 - 451. Sort h, -5, 0, -0.3 in descending order.
h, 0, -0.3, -5
Let b be 4/10 - 27/5. Let p = 100 + -68. Let r be ((p/(-20))/(-4))/(2/10). Put b, 3, r in decreasing order.
3, r, b
Let l(r) = 3*r**3 - r**2 - r + 2. Let s be l(2). Suppose 0 = -8*y + 3*y + s. Let z be 8/2 - 12/y. Sort -4, -5, z in increasing order.
-5, -4, z
Let h be (4/(-8))/((-1)/(-8)). Suppose 3*s + 4 - 13 = 0. Sort h, s, -5 in decreasing order.
s, h, -5
Let g = -496 - -451. Sort -1, 1, -4, g in increasing order.
g, -4, -1, 1
Let a(l) = l**3 - l**2 - 4*l + 2. Let h be a(3). Let q = 7 + h. Let p = q + -14. Sort -5, 0.5, p in descending order.
p, 0.5, -5
Suppose c - 2*y = -2, 3*c = 3*y + 3 - 9. Sort c, 3, -10, -1 in decreasing order.
3, -1, c, -10
Suppose 3*i - 2*f + 19 = 0, -210*f + 45 = -5*i - 204*f. Suppose -3*x + 11 = 2*a, -4*x + 10*a + 7 = 5*a. Put 18, i, x, 0 in decreasing order.
18, x, 0, i
Let s = -4 + 3.7. Let c be (2 - 1)/(1/6*-3). Let r be (-3)/2*(-4)/3 - c. Sort s, r, 3.
s, 3, r
Let x = 4.469 - -0.531. Put 4/11, x, 6 in decreasing order.
6, x, 4/11
Suppose -5*p + 0*m + 604 = m, 244 = 2*p - 2*m. Let j = p + -112. Sort -2, j, 0 in descending order.
j, 0, -2
Let r = 2259 + -18075/8. Put r, 3, 0.3, -2 in ascending order.
-2, r, 0.3, 3
Let q = 33 + -74. Let i = 35 + q. Put 4, -1, i in increasing order.
i, -1, 4
Suppose 50*r + 638 = -412. Put -2, -1, r in decreasing order.
-1, -2, r
Suppose -4*x + 3*g = -20, -3*g - 14 = -x - 0. Put 5, -3, -8, x in descending order.
5, x, -3, -8
Suppose -38*k - 34 = -36*k + 2*y, -3*y = 5*k + 79. Put k, 9, -4 in decreasing order.
9, -4, k
Let h(d) = 8*d**2 - 2*d - 1. Let g be h(2). Suppose 2*u = 5*a + 23, -3*u + g = -0*u - 5*a. Put 24, u, -0.3 in descending order.
24, u, -0.3
Let f = 0.3 + -0.7. Put -1, -5, f, -2 in increasing order.
-5, -2, -1, f
Let r = 516.4 - 579.4. Let z = 0.8 + -1. Sort 0.4, r, z in descending order.
0.4, z, r
Let d = -9.9 + -5.8. Let s = -11.7 - d. Sort s, 0.1, -0.1, 1/3.
-0.1, 0.1, 1/3, s
Suppose 0 = -2*p - 3*y + 7, -5*p + 10*y - 5*y + 5 = 0. Suppose 0 = -p*l + 5 + 1. Suppose 5 = -l*s + 2*a, -s - 4*a = 2*s + 17. Put 2/5, 5, s in increasing order.
s, 2/5, 5
Suppose 5*m - 2*z = -15, -m + 2*z = -5*m - 30. Let t = 127 - 124. Let i be 0 - (-3 + t + m). Sort 3, -6, i in descending order.
i, 3, -6
Suppose -50 = -4*y + 9*y. Let h = 7 + y. Sort h, 2, 5.
h, 2, 5
Let m(c) = -c**2 - 4*c - 2. Let n be m(-4). Let i be (-1 - 5)*48/(-72). Let g(u) = -u**2 + 3*u + 3. Let z be g(i). Put z, -0.3, n in descending order.
-0.3, z, n
Let d = -76 - -131. Let q = d + -54. Let s = 3.1 + 0.9. Put -1, q, s in decreasing order.
s, q, -1
Let z be ((-8)/6)/(6/(-18)). Let f = 8 - 3. Let u(l) = -l**3 + 4*l**2 + 6*l - 2. Let j be u(f). Sort z, j, 5.
j, z, 5
Let g be 48/(-6)*2/(-4) + 2. Sort -7, g, -0.1.
-7, -0.1, g
Let f(d) = -d**3 - 40*d**2 + 176*d - 7. Let r be f(-44). Put r, 4, -2 in decreasing order.
4, -2, r
Let v = 18.9 + -19.5. Let t = -1.7 - -0.1. Let r = t - v. Sort 4, r, -4 in decreasing order.
4, r, -4
Let b = -2405/2 + 1202. Put 0, b, -0.1, -0.4 in decreasing order.
0, -0.1, -0.4, b
Let y(a) = -2*a + 8. Let b be y(2). Suppose -3*m - 15 = l, 4 - 24 = b*m + 2*l. Put m, -3, 3 in descending order.
3, -3, m
Suppose -3*y - 2 = 1. Suppose 0*u + 2*j = u + 3, -2*u = 3*j - 15. Let n(c) = 2*c**3 - 9*c**2 + 6*c - 1. Let r be n(4). Sort r, y, u in decreasing order.
r, u, y
Let u = -137/5 - -28. Let s = 30 + -23. Let f(q) = q**3 - 7*q**2 + 3. Let p be f(s). Sort u, p, -4 in descending order.
p, u, -4
Suppose -2*i = -i - 5. Suppose -28 = -i*o - 8. Let y(q) = q**2 + 12*q - 10. Let r be y(-13). Sort 5, o, r in descending order.
5, o, r
Let i be 6 + 4 + 6 + -2. Put -5, 0.5, -4/9, i in increasing order.
-5, -4/9, 0.5, i
Let j = 388 + -386. Sort j, -4, -5, 31 in descending order.
31, j, -4, -5
Let p = -1581 - -1586. Put -1, p, 17 in ascending order.
-1, p, 17
Let y = -97 + 93.8. Sort 0.3, y, 5 in descending order.
5, 0.3, y
Let h = 22 + 3. Let c = h + -22. Sort c, 5, -0.1 in increasing order.
-0.1, c, 5
Let g = 258 - 260. Put g, 3/22, 4, -1/6 in increasing order.
g, -1/6, 3/22, 4
Let c = -2.13 - 0.87. Sort -4/3, c, 4 in decreasing order