2*y**2 - 2. Let v be w(-2). Put 5, v, s in descending order.
5, v, s
Suppose -5 = -2*h + 9. Sort h, -5, 2, 12.
-5, 2, h, 12
Let x be (-27)/(-33) - (-2)/11. Let s(r) be the third derivative of r**6/120 + r**5/15 + r**4/24 - r**3/6 + 7*r**2. Let y be s(-3). Sort x, 2, y.
x, 2, y
Let c(j) = -2*j**3 - 29*j**2 + 20*j + 70. Let s be c(-15). Sort 59, s, -4, 9.
s, -4, 9, 59
Let g(w) = 2*w - 15 + w - 2*w + 2. Let r be g(12). Sort -4, r, 5, -2 in decreasing order.
5, r, -2, -4
Let c(n) = -6*n**3 - 43*n**2 - 10*n - 19. Let u be c(-7). Put 0, u, 136 in increasing order.
0, u, 136
Let r = -140.8 - -141. Sort 5, 2/3, -0.1, r.
-0.1, r, 2/3, 5
Let f be (6 - 15 - -9) + -2 + 5. Let u be 60/9*12/(-10). Put u, f, 5 in decreasing order.
5, f, u
Suppose -u + 4 = -2*u, -u - 31 = -3*o. Let k(y) = -y + 12. Let x be k(o). Suppose -1 = -a + x, -5*r + 32 = 3*a. Put -4, r, 8 in ascending order.
-4, r, 8
Let u = -1221 - -1221. Put 0.3, 3, u, -4 in descending order.
3, 0.3, u, -4
Let f(i) = 2*i + 12. Let n be f(-8). Suppose 0 = 2*x + 25 + 39. Let w = x + 26. Put -1, w, n in ascending order.
w, n, -1
Let n be 4160/110 - 6/(-33). Put 4, n, 0 in ascending order.
0, 4, n
Suppose 0 = 5*n + 10 - 25. Let m be (n + -9 - -3)*(5 + -4). Sort -1, 5, m.
m, -1, 5
Let a = -10 + 15. Suppose 0 = -214*m + 211*m - 2*t + 18, -4*m + 13 = -t. Sort 0, a, -2, m in decreasing order.
a, m, 0, -2
Let z = -163 - -162.94. Sort 3, 15, z in increasing order.
z, 3, 15
Suppose 32 - 227 = -39*l. Sort 1/410, l, -5 in decreasing order.
l, 1/410, -5
Suppose 0*t = 5*t - 2*g - 57, t = 5*g + 16. Put t, -1, 0, 4 in ascending order.
-1, 0, 4, t
Let i = -37.6 + 37.6. Let c = 0.1 + 0. Let s = -5.18 + 1.18. Sort s, c, i in ascending order.
s, i, c
Let j(f) = f - 2. Let t be j(0). Let i be 10*((-3)/(-6) - 0). Suppose -3*d + 7 + i = 0. Put -1, t, d in decreasing order.
d, -1, t
Let y = -5 - -7. Let x be 6/y*(-4 + 618/153). Sort -5, x, 0, 3 in descending order.
3, x, 0, -5
Suppose 0 = -5*v + 5*x - 20, -14*x = -2*v - 16*x + 4. Let m be 40/(-175) - (-3)/7. Sort v, 0.5, m in descending order.
0.5, m, v
Let s = 1712 - 1716. Sort 0.3, s, 34 in descending order.
34, 0.3, s
Suppose 2*h - 3 = 3. Suppose 1 = -g - 3*c, -g = -2*g + h*c + 5. Let i be (12/24)/(1/g). Sort 0, i, -2 in increasing order.
-2, 0, i
Let v = 0.4 - -4.6. Let b = -23.5 + 24. Let r(c) = -c**2 + 2*c + 47. Let y be r(8). Sort v, y, b in decreasing order.
v, b, y
Suppose 9*r = 6*r - 15. Let u = r + 13. Suppose 4*l - 12 = -4*h, h - 3*l - 7 = -u*l. Sort h, 0, 3.
0, h, 3
Let d be ((-41)/369)/(34/(-6)). Sort 0.3, d, 4/5, 0.1 in increasing order.
d, 0.1, 0.3, 4/5
Let m = 101/4 - 25. Let g(j) = -j**3 - 8*j**2 + 7*j - 16. Let v be g(-9). Suppose v*k + 4 = -0. Put 1, m, k in ascending order.
k, m, 1
Let h = -1.4 + 1.92. Let o = h + -2.52. Sort o, 2, 0.4, 8/7 in increasing order.
o, 0.4, 8/7, 2
Let a = 295.8 + -296. Sort a, 0.5, -1.3, 2/7 in decreasing order.
0.5, 2/7, a, -1.3
Let m(p) = p**2 - 6*p. Let b be m(7). Suppose 0 = -5*f + 2 - b. Let q = 1427 + -1432. Put q, f, -4 in increasing order.
q, -4, f
Let v = -6 - -3. Let j(u) = u + 18. Suppose 54 = -4*h + 2*c, -4*h - 3*c = 21 + 28. Let i be j(h). Put -1/2, i, v in descending order.
i, -1/2, v
Let z = 1.3 + 0.1. Let d = -217 + 217. Sort d, z, 0.5, -4 in increasing order.
-4, d, 0.5, z
Let h = 292.8 - 292.7. Sort h, -0.02, -2.5 in descending order.
h, -0.02, -2.5
Suppose i = 2*i + 15. Suppose 8 = -4*f + 2*g, -2*g - 4 = 4*f - 6*g. Sort f, -1, i in increasing order.
i, f, -1
Suppose 0 = -5*w + w. Suppose 3*t - 5*t - 102 = w. Let a be (-4 - t/9) + -2. Put a, 0.4, -1/4 in descending order.
0.4, -1/4, a
Let q = -841 - -841. Put 2, 113, q in increasing order.
q, 2, 113
Suppose -w + 4 = w. Let f(u) = -u**3 - 10*u**2 + 11*u + 3. Let g be f(-11). Let k = -2 - -3. Put g, w, k in decreasing order.
g, w, k
Let j be ((-6)/8)/(-4*27/2736). Sort j, 10, -3 in descending order.
j, 10, -3
Suppose 479 = 4*t + 467. Sort t, -4, 1 in descending order.
t, 1, -4
Let a be -10 + (-2 - -10 - 1). Put 3, -2, 14, a in ascending order.
a, -2, 3, 14
Let p = 15.5 + -16. Let s be (-65)/(-26) + 27/(-10). Sort p, -1, 1/2, s in descending order.
1/2, s, p, -1
Let h(l) = l + 2. Suppose 4*t - q + 11 + 2 = 0, t - 4*q = 8. Let j be h(t). Sort j, 4, -1 in ascending order.
j, -1, 4
Suppose 2*s = s + 9. Let i = s + -7. Suppose -i*h + 3 = -5*y - 19, -h = 3*y + 11. Put -5, -3, h in decreasing order.
h, -3, -5
Let z = 279 + -274. Sort z, 0, 3, 7.
0, 3, z, 7
Let u = 56 - 55.978. Let a = 1.978 + u. Put a, -0.1, -12 in decreasing order.
a, -0.1, -12
Let y = 34 - 33.988. Let x = y - -0.288. Put 5, x, 10 in decreasing order.
10, 5, x
Let f = 2.5 - 6.5. Let h = f - -24. Let q = 19.8 - h. Sort 0.1, q, 1 in decreasing order.
1, 0.1, q
Let s(w) = 4*w**2 + 2*w. Let d be s(2). Suppose 4*q = -5*k - 1 + 30, 0 = -3*k - 5*q + d. Sort -5, k, -4 in decreasing order.
k, -4, -5
Let o be (-33273)/399 - 6/(-21). Let d = o - -83. Let w = 183/4 - 46. Sort -4, w, d in increasing order.
-4, w, d
Let g = -168.6 + 172. Let f = 4.4 - g. Put 27, -0.3, f in descending order.
27, f, -0.3
Let b be 2*9/18*(1 - 2). Suppose 0 = 4*d + 4 - 8. Sort 36, d, b, -3 in increasing order.
-3, b, d, 36
Let v = 0.03 + -0.73. Let n = v + 1.2. Let k(z) = z**3 + 5*z**2 + 4*z + 1. Let q be k(-4). Sort 3, q, n.
n, q, 3
Let i = -401 - -405. Put -2/5, 1, 1/6, i in ascending order.
-2/5, 1/6, 1, i
Let t be (-1275)/340*(-8)/(-6). Suppose 0 = 2*o + 2 - 8. Sort 1, t, 5, o.
t, 1, o, 5
Let h = -0.26 + 0.14. Let i = h + -0.18. Let n be 7/(-70)*1*4. Sort 0, i, n in decreasing order.
0, i, n
Let j = -11.6 - -11. Let i = -3.4 + j. Put -1/4, i, -0.2 in decreasing order.
-0.2, -1/4, i
Let w(c) = -c**3 + 8*c**2 - 5*c - 9. Let g be w(7). Let o(q) = q**3 - 10*q**2 + 3*q - 28. Let n be o(10). Suppose -3*k = -2*k - n. Sort g, k, -8.
-8, k, g
Let b = 989 - 986. Put -0.3, -0.231, b in descending order.
b, -0.231, -0.3
Let y = -48 - -16. Let o be (-10)/(-14) - (y/28)/4. Put o, -3, -2, -4 in increasing order.
-4, -3, -2, o
Let f be (-5)/40 + (-343)/(-56). Suppose 3*o = 4*o - 5. Suppose 2*g + 30 = -3*g - 5*y, 3*g = 2*y + 2. Put o, f, g in decreasing order.
f, o, g
Let r(g) = -2*g**3 + g**2 - g - 3. Let u be r(0). Suppose -3*w - 16 = -4. Sort w, 3, u, -2 in decreasing order.
3, -2, u, w
Let j(q) = -2*q**2 - 44*q - 186. Let m be j(-16). Sort -3, m, 11, 4.
-3, 4, m, 11
Suppose 6 = -4*i + 3*x - 7, -1 = x. Sort -3, i, -13 in increasing order.
-13, i, -3
Suppose 5*i + 152 + 213 = 0. Let y = 136 + i. Let o be 2/(-9) - (-140)/y. Sort -4, -2, o in descending order.
o, -2, -4
Let f(z) = 2*z + 6. Let v be f(-8). Let p = v - -15. Let x(w) = -w. Let k be x(2). Sort 0, k, p in descending order.
p, 0, k
Let a(m) = 2*m - 1. Let d be a(1). Suppose 4*s + 133 + 55 = 0. Let o = 45 + s. Put d, o, 11 in descending order.
11, d, o
Let s = -212 - -207. Suppose 0 = 3*m - j - 11, -3*m - 5*j + 10 = -7. Suppose 6 = -w + m*w. Put s, w, -1 in ascending order.
s, -1, w
Let s = 0.5 - -0.5. Let g be (-13)/4 + (-2)/(-8). Let m be (-72)/(-144)*(-6)/4. Sort g, m, s.
g, m, s
Suppose 2*f + 4*f + 6 = 0. Suppose -3 = -5*p + 52. Sort p, 5, f.
f, 5, p
Suppose 30 = -278*y + 284*y. Sort y, 2, 49.
2, y, 49
Let i(o) = -o**2 - 10*o - 15. Let v(s) = 3*s**2 + 21*s + 31. Let g(r) = 5*i(r) + 2*v(r). Let q be g(9). Sort -5, -3, q in ascending order.
-5, q, -3
Let y = 13.08 + -13.58. Put y, 8, 6/7 in increasing order.
y, 6/7, 8
Let u be (-6)/12 + 0 + (-4)/8. Suppose -2*b = -0*b + 5*h + 12, 0 = h + 4. Put b, 2, u, -3 in decreasing order.
b, 2, u, -3
Let b be (-132)/(-6)*(-1)/(-2). Let x = b - 3. Let n = 3 - 1. Put x, n, -4 in ascending order.
-4, n, x
Let c be 2*(9/6 + 6). Put 4, 2, c, 1 in descending order.
c, 4, 2, 1
Let k = -49 + 52. Suppose 0 = 3*x - 3*o - 1 - 5, k*x - 8 = 5*o. Put -3, 4, x in ascending order.
-3, x, 4
Suppose -y + 6 = -w, 0 = -2*y + 2*w - 6*w. Suppose 2*t = 3*p - 0*p + 10, -y*t = 2*p + 12. Let x = -1273 + 1277. Put p, 3, x in descending order.
x, 3, p
Let f = -207/4 - -52. Let d = -66.2 - -11.2. Let m = d + 51. Sort f, m, 2/15 in ascending order.
m, 2/15, f
Let l be 9/6*(-8)/(-3). Suppose -3*p + 6 = -9. Suppose -i - p*w - 10 = 0, 0*w - 5*w = 4*i + 25. Put l, 1, i in increasing order.
i, 1, l
Suppose 2*f = 8, m + f = -0*m + 8. Let h(x) = 5*x + 1. Let y be h(2). Let z = 