t i = 359/5 + z. Sort i, -2/11, -2.
-2, i, -2/11
Suppose 2*m = 16*m + 42. Put 0.4, 2/9, 12/7, m in ascending order.
m, 2/9, 0.4, 12/7
Let y(s) = 33*s + 24. Let w be y(-1). Suppose h - 2*h + 2 = 0. Sort w, 3, h, -2.
w, -2, h, 3
Suppose 0 = 2*b - 24 - 16. Suppose 3*k = 7*k - b. Sort -1, 0, -2, k in ascending order.
-2, -1, 0, k
Let c(k) = 17*k + 63. Let a be c(-4). Put a, 0.04, -3 in decreasing order.
0.04, -3, a
Let q = 0.184 - -0.116. Let p = 19 + -4. Suppose -p = h + 4*h. Sort q, 0.2, h in descending order.
q, 0.2, h
Let p(f) be the first derivative of f**3/3 - f**2/2 - f + 2. Let b be p(0). Let y be (-18)/60*(6 + 36) - (-12)/20. Sort y, b, -3 in descending order.
b, -3, y
Let d = -88/3 - -30. Let b = -0.0557 - 3.9443. Put b, d, 1/3 in decreasing order.
d, 1/3, b
Let a be 12/(-5) + (-6)/(-15). Suppose -8*b = -10*b. Let p = b - 7. Put 3, a, p in decreasing order.
3, a, p
Let q = 72 - 76. Sort q, 6, -2 in descending order.
6, -2, q
Let s = -3 + 19. Let m = s - 15. Let j(d) = 2*d - 1. Let y be j(-2). Sort m, 3, y.
y, m, 3
Let p be (1/27)/((-6)/(-36)). Suppose 0 = y - 5 + 1. Sort p, y, -0.3 in decreasing order.
y, p, -0.3
Let i be (((-222)/10)/(-1))/(39/(-18)). Let n = -52/5 - i. Put 5, n, 0.02, -4/5 in decreasing order.
5, 0.02, n, -4/5
Let u = 52 + -51. Let q be u + ((-6)/8)/((-12)/(-12)). Let x = 129/2 + -63. Put 0.5, q, x in increasing order.
q, 0.5, x
Suppose 0 = 5*t + 5, -6*t = m - 3*t + 57. Sort -2, -5, m in decreasing order.
-2, -5, m
Let l(j) = -2*j - 2. Let m be l(2). Let b = -3377 - -3370. Sort b, m, 3/7 in increasing order.
b, m, 3/7
Let q be (-30)/(-7) + (-6)/21. Let i be (2/q - 11/(-2)) + -1. Put -5, i, -2 in decreasing order.
i, -2, -5
Let a = 1141 - 1139. Put -1, a, -15 in decreasing order.
a, -1, -15
Suppose 682 = 12*k + 706. Sort 5, k, -5, -22.
-22, -5, k, 5
Let y be 1/(-3) - 490/(-147). Put -9, y, -4, -2 in descending order.
y, -2, -4, -9
Let x = -217 - -216.79. Let v = -23.19 - -23. Let q = x + v. Sort q, -3, 2 in decreasing order.
2, q, -3
Let q = -1114.67 + 1114. Sort -1/2, q, -1 in ascending order.
-1, q, -1/2
Let u(s) = -s**2 - 9*s - 36. Let q be u(-5). Let d be (3/(-4))/(((-36)/q)/(-9)). Sort d, -2, 14.
-2, d, 14
Let d be 1 + (-8)/9 - (-4238)/1467. Suppose 0 = -2*q - q + 21. Sort q, -4, d in descending order.
q, d, -4
Suppose 3*l - 4*i - 23 = -1, 0 = -3*l - 4*i + 14. Suppose -4*h + l = 4*r - 2, -2 = -2*r - 4*h. Suppose k - 2 + 1 = 0. Sort k, r, -5 in decreasing order.
r, k, -5
Let t(r) = r**3 - 6*r**2 - 5*r - 10. Let j be t(7). Let z = -10 - -7. Let u = -3 - z. Put -1, j, u in decreasing order.
j, u, -1
Let y = 2.337 + -0.337. Sort -3, -0.09, y in decreasing order.
y, -0.09, -3
Suppose -3*u = -3*w + 58 - 22, 0 = -5*u + w - 44. Sort -4, 3, -5, u in decreasing order.
3, -4, -5, u
Let i = -6 + 12. Let j = -21 - -23. Put 1/7, j, i in ascending order.
1/7, j, i
Let z = -671 - -1343/2. Sort z, -1/2, -16 in decreasing order.
z, -1/2, -16
Suppose 4*o - 2*c + 12 = 8*o, 0 = 2*o - 4*c - 26. Sort o, 45, -2, -1 in increasing order.
-2, -1, o, 45
Let t(c) = -8 + 6 - 7 - c**2 + 10*c. Let f be t(9). Suppose -o + 2*s = -0*s - 9, 3*o + 2*s = -13. Sort o, 4, f in increasing order.
o, f, 4
Let t be (26/143)/((-1)/188). Let q = -34 - t. Let g = -0.6 + 0.5. Sort 0.2, g, q in descending order.
0.2, q, g
Let l = -9 + 13. Suppose -o + 1 = -l*j + 2, 2*j - 4*o + 10 = 0. Sort 12, j, -5 in descending order.
12, j, -5
Let c be 15 + 8/40*-85. Let v = 0.4 + -0.3. Put 7, v, c in increasing order.
c, v, 7
Let n = 2.8 + -3. Let t = 0.5321 - 4.5321. Sort t, 5, 0.2, n in decreasing order.
5, 0.2, n, t
Let k = 5.52 - -4.48. Put 4, -2/5, k in descending order.
k, 4, -2/5
Let n = -1083 + 1091. Sort -0.4, n, -4, -0.3 in increasing order.
-4, -0.4, -0.3, n
Suppose -16*l = -14*l - 52. Suppose 25 = 21*u - l*u. Let r be -2 + 1/(u/(-10)). Sort 4/11, 4/7, r in descending order.
4/7, 4/11, r
Suppose 15*x = 6 - 81. Sort -3, 3, -4, x in descending order.
3, -3, -4, x
Let o = -3 - -1. Let z = -3.4 - o. Let d = -2.5 + 2.6. Put d, z, -2/9 in descending order.
d, -2/9, z
Let b(c) = -c**2 - 6*c + 1. Let d be b(-6). Put -1, d, -5 in ascending order.
-5, -1, d
Let o(x) = x**3 + 4*x**2 + 2*x. Let i be o(-2). Suppose -g - m = 2*g + 30, -2*g - 5*m = 33. Let s = g + 14. Sort 0, s, i in increasing order.
0, i, s
Let m be 4/(-16) - 129/(-4). Suppose i + i - m = 0. Suppose i*a = 17*a. Sort -2, -1, a in increasing order.
-2, -1, a
Suppose -39*k = -36*k + 2*j, -5*j + 19 = -2*k. Sort 4, k, 1, -1 in ascending order.
k, -1, 1, 4
Let n(d) = -d**3 + 1. Let j be n(1). Let s be j/(2 - 1 - -1). Let b be (2 - s) + 210/(-14). Put -5, 4, b in decreasing order.
4, -5, b
Suppose -3*n - 2*l + 15 = -4*l, -3 = l. Suppose -p = -n - 2. Put -5, 2, p in decreasing order.
p, 2, -5
Suppose 15*k = -4*d + 18*k - 20, 4*d = 4*k - 20. Sort -4, 8, d in ascending order.
d, -4, 8
Let x = -3 + -16. Let o = 6.56 + -7.56. Sort o, x, -3.
x, -3, o
Let x be (-6)/8 - (-9)/504*26. Put 5, -0.3, 0.5, x in decreasing order.
5, 0.5, x, -0.3
Let c = -0.118 - -0.075. Let k = -1.043 - c. Let u = 6 - 1. Sort k, -3, u in increasing order.
-3, k, u
Suppose 127*i + 42*i + 402 = 35*i. Let u = -7 - 7. Sort i, u, -2 in decreasing order.
-2, i, u
Let k = 6 - 4. Let p = -5504 - -5504. Sort p, k, -3, 3.
-3, p, k, 3
Let c(h) = h + 5. Let t(r) = -1 + 7 + 0*r + r. Let n(v) = -4*c(v) + 3*t(v). Let k be n(-8). Sort k, 1, 2 in ascending order.
1, 2, k
Let u = -2.5 - -3. Suppose 382 - 342 = 10*s. Put u, -9, -0.4, s in descending order.
s, u, -0.4, -9
Let d = -0.2 - -0.8. Let t = d + 3.4. Let f = 45.9 - 45.4. Put t, f, -5 in decreasing order.
t, f, -5
Let g = 1076 - 1078. Put 4, -22, g in increasing order.
-22, g, 4
Let v = -18.9 - -2.9. Let o = -1 + v. Let z = o + 14. Put z, 1, 7 in increasing order.
z, 1, 7
Let u = -0.9 + 2.9. Let l(d) = -d - 4. Let p be l(-8). Let f be 3*184/(-132) + p. Put f, u, 0.5 in decreasing order.
u, 0.5, f
Let f = -31 + 22. Let m be 8 + 9 + (-240)/16. Sort 3, f, m, -5 in decreasing order.
3, m, -5, f
Let h be -5 + (2 - (-2 - -2)). Let o(c) = 5*c**3 - c**2. Let z be o(1). Suppose -z*l - 38 = -10. Sort l, h, 1.
l, h, 1
Suppose 30 = 11*w + 4*w. Sort w, -1, -4, 30 in decreasing order.
30, w, -1, -4
Let i = 0.057 + -2.057. Let f be (39/15 - 3)*5/(-16). Sort f, i, -1/6, 5 in descending order.
5, f, -1/6, i
Suppose -3*s = -0*s + 3. Let p = 878 - 868. Put -2, 0, s, p in increasing order.
-2, s, 0, p
Let g = 636 + -631. Put g, -1.1, -2/3 in descending order.
g, -2/3, -1.1
Let f = 1 - 1. Suppose -3*c + 4*q = -3, -3*c + 0*q = q + 12. Sort f, -0.4, c.
c, -0.4, f
Let a be 6/8*(20/3)/5. Sort 4, -6, a.
-6, a, 4
Let l be 4/((-120)/12 + 11). Sort -19, l, -15 in decreasing order.
l, -15, -19
Let k = -1.3 + 0.3. Let a = -5/149 - -641/1341. Sort a, -0.4, k.
k, -0.4, a
Let r(y) = y**2 - 6*y + 8. Let i be r(6). Suppose 2*s + 11 = -5*f, s - 5*f + 0 - 17 = 0. Sort s, -4, i in decreasing order.
i, s, -4
Let x = -11.72 - 0.28. Let l = 0.00032 - -0.49968. Sort l, 0.3, -4, x in ascending order.
x, -4, 0.3, l
Let o = -52 - -52.45. Let u = 0.45 - o. Suppose 0 = 3*w + 9 - 3. Put -1, u, w in decreasing order.
u, -1, w
Suppose -2*o - 10 = -0*o. Let b(t) = t**3 + 2*t**2 + 69*t + 381. Let d be b(-5). Sort o, d, 5.
d, o, 5
Suppose -4*r = -2*r - 26. Suppose -s + 35 = -5*u + r, -u - 14 = -5*s. Sort -5, u, -3 in ascending order.
-5, u, -3
Let g = 291.6 + -292. Sort g, 3, 0.2, 12 in descending order.
12, 3, 0.2, g
Let d(s) = 6*s - 59. Let x be d(10). Suppose 2*c - 3*t - 11 = 0, 3*c + t + 11 = -0*t. Let y be c/(2 - 1 - 2). Sort y, x, -7 in decreasing order.
y, x, -7
Suppose 333 - 85 = 62*l. Sort 25, l, -1 in decreasing order.
25, l, -1
Suppose 2*q - 5*n + 1 = 0, 0*q - 2*q + 19 = -n. Sort -5, 4, q in descending order.
q, 4, -5
Suppose 71*i = 45 + 239. Sort i, -1, -28, 3.
-28, -1, 3, i
Let n be (-3)/(-2)*(-8)/(-78). Let l = 113 + -111.78. Let q = 0.22 - l. Put n, q, -3 in descending order.
n, q, -3
Let s(p) = p**2 + 7*p - 8. Let q be s(-8). Let m(x) = -8 - 2*x**2 + 11 + 14*x**2 - x**3. Let t be m(12). Sort q, t, -3.
-3, q, t
Suppose -5*h + 2*p + 144 = 125, 5*h - 4*p - 23 = 0. Let r(z) = -z**3 - 3*z**2 - 2*z + 1. Let l be r(-2). Sort l, h, 11 in decreasing order.
11, h, l
Let g = 0.017 + -21.017. Let w = 23 + g. Sort -5, w, -3 in ascending order.
-5, -3, w
Le