 -14495. Put -6, r, -1, v in descending order.
v, r, -1, -6
Let i = -233 - -298. Put i, 4, 3 in ascending order.
3, 4, i
Let v(t) = -2*t - 2. Let q be v(-4). Let b(h) = -2*h + 8. Let i be b(q). Suppose 6 = -5*j - 4*r - 2, r + 2 = 5*j. Put 5, i, j in ascending order.
i, j, 5
Let x = 0.017 + 0.083. Let q = x - 0. Put -4, 1/8, -0.3, q in decreasing order.
1/8, q, -0.3, -4
Let a = 428 - 432. Put a, 2, 6, -13 in decreasing order.
6, 2, a, -13
Let i(k) = k**2 - 11*k - 13. Let l(a) = a**2 - 13*a - 18. Let y be l(15). Let m be i(y). Put -5, -6, m in descending order.
m, -5, -6
Let h be -2 - 25/5*36/(-10). Suppose -h = -5*p - 1. Sort -3, 2, 1, p.
-3, 1, 2, p
Let b = 90 + -93. Sort -1, 32, b.
b, -1, 32
Suppose -5*d + 6 = d. Sort -3, d, -1, 0 in increasing order.
-3, -1, 0, d
Suppose -18*d = 12 + 24. Suppose 0 = -3*h, -5*w + 0*h = 2*h - 10. Let c = -3 + w. Put c, -5, d in ascending order.
-5, d, c
Let l(s) = 19*s**3 - 3*s**2 + 4*s. Let t be l(1). Put -1, 5, t, -5 in decreasing order.
t, 5, -1, -5
Let h = 20 + -17. Let f = -152 - -133. Sort 0, -2, h, f.
f, -2, 0, h
Suppose -58*j + 64*j = -30. Sort j, -3/32, -3 in ascending order.
j, -3, -3/32
Let z = -339 - -349. Sort z, -3/4, -1/2 in descending order.
z, -1/2, -3/4
Let c = 864 - 864.06. Put -1, c, -7, 1/8 in decreasing order.
1/8, c, -1, -7
Let k = -1436 + 1443. Sort -1, 4, k, -8 in decreasing order.
k, 4, -1, -8
Let i be -6 - 45/(-51) - -5. Put i, -1/4, 0 in decreasing order.
0, i, -1/4
Suppose 0*l + 2 = -l + 2*c, -2*l = 5*c - 23. Suppose -2*q - l = 6. Put q, -4, 4 in ascending order.
q, -4, 4
Suppose s - 4*i + 6 = -2, 0 = -2*s - 2*i - 6. Suppose 2*z - 6*z - 5*v + 436 = 0, -z + 2*v + 122 = 0. Let o = z + -115. Put s, o, 4 in descending order.
4, o, s
Suppose 1 + 9 = 2*b. Let v = 190 + -188. Let n(u) = -u**2 - 7*u. Let p be n(-7). Sort v, p, b in decreasing order.
b, v, p
Let d be ((-19)/(-5))/(1/5). Suppose -d = -4*w - 43. Put -2, 5, w, 2 in ascending order.
w, -2, 2, 5
Let w be (-14)/6 - -2 - (-20)/(-210). Sort w, -133/4, 1/2 in decreasing order.
1/2, w, -133/4
Let j be 4*4/16*-2. Let o be j/5 + (-13)/5 + 2. Put -4, -2, o in decreasing order.
o, -2, -4
Let a = -186 - -184. Put 1/4, -1/5, a, 0 in descending order.
1/4, 0, -1/5, a
Let j(u) = 3*u - 2. Let i be j(2). Let w(a) = -4*a - 7. Let b be w(1). Let f(z) = 2*z**2 + 20*z - 19. Let g be f(b). Put i, -1, g in increasing order.
-1, g, i
Let x = -1.4373 + 0.1373. Let s = -0.11 - -1.31. Let t = x + s. Put -0.6, -1/3, t in decreasing order.
t, -1/3, -0.6
Suppose 0*u = -2*u + 26. Let w = u - -3. Suppose 0 = -t - 3*j - 14, 5*t + 56 = -5*j + w. Put t, 5, 4 in ascending order.
t, 4, 5
Suppose 57 = -81*n + 84*n. Sort -5, 5, n in descending order.
n, 5, -5
Let u(q) = q + 1. Let x be u(2). Let y = x + -4. Let h be (-64)/36 + (14/63)/(-1). Put y, -4, h in decreasing order.
y, h, -4
Suppose 0 = -5*o + o + 20. Let j(h) = 2*h**2 - 9*h - 6. Let k be j(o). Put -5, k, 0 in increasing order.
-5, k, 0
Let u(a) = 2*a**2 - 27*a - 7. Let x be u(14). Sort x, -2, 0.
-2, 0, x
Let n = -7.1 - -2.1. Let h = 6.5 + -1.5. Sort h, -0.3, 4, n in ascending order.
n, -0.3, 4, h
Let y = 450/23 + -2815/138. Let x = 4 + -6. Let o = x - -1.5. Sort y, o, 3/5.
y, o, 3/5
Let l be 1/(-6) - (-3)/(-6). Let s = -4131 + 4136. Sort s, 11, l in descending order.
11, s, l
Let k = 158.5 - 155.5. Sort k, 0.6, -0.5.
-0.5, 0.6, k
Let u = -910 + 908. Sort 145, u, 1 in increasing order.
u, 1, 145
Let k be 1*3*-2*(-15)/3. Suppose 25 = -5*i - k. Put 1, -5, -3, i in descending order.
1, -3, -5, i
Let p(c) = -c**2 - c + 14. Let i be p(0). Let g = -14 + i. Suppose -k + 52 = -5*r - g*r, k + 28 = -3*r. Put 0, r, -1 in increasing order.
r, -1, 0
Let a = -8 + 7.7. Let f = -1.158 - -0.958. Put 0.3, a, f, -18 in decreasing order.
0.3, f, a, -18
Let l be (6/8 + -1)*2. Let u = 1856/35 - 263/5. Put l, -6/5, u in ascending order.
-6/5, l, u
Let n(h) = -h**2 - 11*h + 8. Let r be n(-12). Sort 19, r, -5.
-5, r, 19
Suppose -k - 3*n = -3*k + 12, 0 = 3*n. Suppose -20 = -4*i, 3*w = 2*i + 10 - 32. Put k, w, 2, 4 in decreasing order.
k, 4, 2, w
Let m(g) = g**2 + 6*g + 3. Let z be m(-4). Let j be 4760/(-220) - 8/22. Sort -3, j, z in descending order.
-3, z, j
Let w be ((7 - 7) + 5)/(-1). Suppose 2*a + 2*c + 14 = 0, 3*c + 0*c + 1 = -a. Sort a, -1, w.
a, w, -1
Suppose 78*u = 132 + 24. Put 26, u, -4 in ascending order.
-4, u, 26
Suppose 0 = 2*z + 3*f - 10, 5*z = f + 2 + 6. Sort 1/10, z, 87 in descending order.
87, z, 1/10
Let u be 3386/42 - (-4)/(-14). Let f = u - 81. Let r be 25 + (-638)/33 - (0 - -5). Put r, f, 0.3 in ascending order.
f, 0.3, r
Let d(n) = 2*n - 37. Let u be d(16). Let y be ((-3)/(-2))/((-6)/(-8)). Let f be 31/11 - y/(-11). Put f, u, -3 in increasing order.
u, -3, f
Suppose 38*o - 11 = 37*o - d, 5*o = 3*d + 47. Sort -1, 2, 1, o in increasing order.
-1, 1, 2, o
Suppose g - 4*g + 15 = 0. Let x be ((-5)/15)/((-2)/30). Suppose 0*r - 11 = r - x*u, 8 = 5*r - 4*u. Sort r, -1, g.
-1, r, g
Let m be (-6)/4*8/28. Let p = -0.0186 + -0.2814. Sort 0.02, p, m, -3/5 in ascending order.
-3/5, m, p, 0.02
Suppose -12*h - 5*q = -14*h + 42, -q = 4*h - 84. Sort -3/5, -1/3, h in decreasing order.
h, -1/3, -3/5
Let h be (2 + -1)*(10 + -7). Suppose -2*l + 3 = -6*l - 3*a, 11 = -h*l - 4*a. Sort l, 14, -2 in descending order.
14, l, -2
Suppose 3*v = 4*d - 5, -v - 2*d + 5 = -0. Suppose 0 = i + 18*i - 38 + 57. Let m(u) = u + 10. Let b be m(-7). Sort i, b, v in decreasing order.
b, v, i
Let g(k) = k**2 - 6*k + 3. Let d(c) = c**2 - c - 7. Let j = 11 + -7. Let q be d(j). Let v be g(q). Sort v, 1, -2/3 in decreasing order.
1, -2/3, v
Let c = 425 + -429. Put 46, -1/3, c, 0.1 in decreasing order.
46, 0.1, -1/3, c
Let p be 2 + 9 - 7 - 7. Put -2, p, 3, -5 in decreasing order.
3, -2, p, -5
Let y(c) = -8*c + 208. Let k be y(26). Sort -11, 5, 4, k in ascending order.
-11, k, 4, 5
Let q(v) = -v**2 + 9*v + 11. Suppose 2 = -2*y - 2, 4*d - 3*y = 38. Let n be q(d). Suppose -n = -5*b + 1. Sort -5, b, -2 in ascending order.
-5, -2, b
Let x = -0.15 - -0.221. Let d = 0.071 - x. Sort -2, d, -1/3, 2 in descending order.
2, d, -1/3, -2
Let u be (-5)/(-2) + -3*2/(-12). Put 10, u, -3, -7 in ascending order.
-7, -3, u, 10
Let a be 224 - 224 - (-2 - 4/(-2)). Suppose -5*b = -4*b + 10. Put b, a, 2 in decreasing order.
2, a, b
Suppose 5*c + 19 + 6 = 0, -51 = -2*h - c. Let t = 43 - h. Let l be 20/t*6/10. Sort 0.1, 0.5, l in ascending order.
0.1, 0.5, l
Let g be (-3)/(-2) - ((-589)/10)/(-31). Suppose 3*i - 4 - 5 = 0. Sort g, -4/7, i in ascending order.
-4/7, g, i
Let m be (0/(-2))/(2 - 3). Suppose -5*p + 10 = m, -2*p + 2 - 8 = -2*f. Let g be (-3)/((5 - 9)/(-4)). Put g, 3, f in increasing order.
g, 3, f
Let f = 242 + -724/3. Put -3/2, 2, f, 2/7 in ascending order.
-3/2, 2/7, f, 2
Let a(k) = -k**3 + k**2 + k + 4. Let z be a(0). Let r be (-2)/19 + (-351)/1539. Sort 0.06, z, r, 0.5 in ascending order.
r, 0.06, 0.5, z
Let d be 4/16 + (-17)/36. Let t = 108 + -112. Sort t, d, -0.4 in descending order.
d, -0.4, t
Suppose 25*r - 5*r = 2940. Let s = r - 149. Put 0, s, -10 in ascending order.
-10, s, 0
Let a = -0.33 + 2.33. Sort -5, a, 1, -0.04 in descending order.
a, 1, -0.04, -5
Suppose -5*i = -4*i + 4*c - 18, -10 = 5*i - 5*c. Let b be (0 - i)*4/24. Let y = 635.94 - 636. Sort b, y, 1.
b, y, 1
Suppose -4*x = -12, 0*p - 51 = -2*p - 3*x. Let r = -21 + p. Sort 1, -2, r in decreasing order.
1, r, -2
Suppose 5*q - 12 = 3*s - 11, 0 = 2*q + s + 4. Sort q, -5, 3, -3.
-5, -3, q, 3
Let h be (-54)/(-12) - 9/6. Put h, -2, 18.8, -1 in decreasing order.
18.8, h, -1, -2
Let y = 50 + 78. Suppose -g = -5*g + y. Let x be (3/(-2))/(12/g). Put -3, x, 5 in decreasing order.
5, -3, x
Let q = 8 - 4. Let f = q - 3.8. Let h = -317/2040 - -3/136. Put 2, f, h in descending order.
2, f, h
Let g = 29 + -49. Let c be (-2 + g/3)*3. Let k = 34 + c. Put -5, 4, k in decreasing order.
k, 4, -5
Let w = -425 + 387. Sort -0.3, -0.2, w, -2.
w, -2, -0.3, -0.2
Let c be 3/(-45) - ((-14)/6)/(-7). Let i = -54 - -164/3. Sort c, i, 3.
c, i, 3
Let n = -115 - -117. Let c(m) = -m**2 + 7*m - 6. Let y be c(6). Put y, n, -5 in ascending order.
-5, y, n
Let n = 0.16 - 4.16. Sort n, -1, 1, 12 in decreasing order.
12, 1, -1, n
Let w(f) = -f**3 - 24*f**2 - 126*f - 5. Let n be w(-15). Put 2, 3, n in descending order.
3, 2, n
Let n be (-1)/