1, t, 134
Let z(o) = -o**2 + 6*o - 6. Let v be z(5). Suppose 8 = -4*s + 3*p, -5*s + p - 5*p = 10. Put v, 2, s, 1 in decreasing order.
2, 1, v, s
Let f = -35 + 25.5. Let u = f + 1.5. Let a = -6 - u. Sort 4, -2, a in ascending order.
-2, a, 4
Let v be ((-8)/(-12))/(2/15). Sort v, -5, 1, -20.
-20, -5, 1, v
Let j = 40 + -37. Suppose 0 = -2*l + 2, -1 = -2*a - l - 0. Put 0.3, a, 1/4, j in descending order.
j, 0.3, 1/4, a
Let u = 1974 - 2007. Sort 7, -0.2, -5, u in increasing order.
u, -5, -0.2, 7
Let n = -17 + -5. Let z = 26 + n. Put -9, z, -0.5 in descending order.
z, -0.5, -9
Suppose 18*x + 63 = 27*x. Sort 3, 5, x, 1 in decreasing order.
x, 5, 3, 1
Let o be (-14)/40 + 2/(-8). Let t = 137/2 - 1503/22. Sort -0.3, 3/2, o, t in decreasing order.
3/2, t, -0.3, o
Let m = -96 - -64. Let w = 39 - 39.1. Put 5, w, m in increasing order.
m, w, 5
Suppose m + 3 = 1, -3*m - 10 = -n. Let t = 13 - 16.8. Let s = t - -3.3. Sort s, 5, n in decreasing order.
5, n, s
Let l be -1 - (15/(-3) + 1). Suppose -q - l*q = 20. Sort q, 2, 45 in decreasing order.
45, 2, q
Let w = 0.156 + -0.786. Let v = 0.33 + w. Sort 1/10, v, 1/4 in ascending order.
v, 1/10, 1/4
Let q = 0.66 + -0.56. Let d = -3/5 + 127/195. Sort q, 0.3, d.
d, q, 0.3
Let g = -0.281 + -0.119. Sort g, 0, -51 in descending order.
0, g, -51
Let k be 72/96 + (-37)/28. Put 0.1, 2, k, -0.09 in descending order.
2, 0.1, -0.09, k
Let b = 419.1 + -419. Let f = 8.07 + -8. Let c = 4.07 - f. Put 5, c, b in decreasing order.
5, c, b
Let g = -138 + 140. Put -9, 0, g in decreasing order.
g, 0, -9
Let y = -657/28 - -95/4. Let x = -1.1 + 1.3. Put y, x, -2, -1/6 in descending order.
y, x, -1/6, -2
Let q = -1076 - -1102. Put 2, q, -4, 5 in decreasing order.
q, 5, 2, -4
Let r = 0 + 8. Suppose -2*u = -20 - r. Suppose u = -5*s - 2*j - 7, 5*s - 5*j + 35 = 0. Sort s, 5, 1 in decreasing order.
5, 1, s
Let x(r) = -3 + 4*r + 2 - 3*r. Let i be x(5). Suppose -5*c = -5*h - 40, 17 = -h - 3*c + 7*c. Sort 5, h, i in ascending order.
h, i, 5
Suppose 5*n + 2*g + 427 = 0, n + 5*g - 455 = 6*n. Let u = n + 82. Put -4, u, 3 in descending order.
3, -4, u
Let n = -293 + 289. Sort n, 0.5, 1, 5 in descending order.
5, 1, 0.5, n
Let q be (19/6)/(7/42). Suppose -q + 3 = -4*d. Let m = -4 - -7. Sort -3, m, d in descending order.
d, m, -3
Let a(p) = p**2 - 66*p + 43. Let q be a(72). Put -3, -2, 1, q in descending order.
q, 1, -2, -3
Let r = -254.6 - -255. Put -3, -2/49, 1/6, r in ascending order.
-3, -2/49, 1/6, r
Let t be -2 - 2/(2/(-7)). Let l = t + -7. Suppose 5*y - 30 = -3*n, -y + 3*y - 12 = n. Sort -3, y, l.
-3, l, y
Let g = 17.9 + -2.9. Let m = g - 15. Put m, -0.2, 7/6 in descending order.
7/6, m, -0.2
Let v(w) = -2*w**3 + 7*w**2 - 3*w - 1. Let n be v(3). Let k(f) = -5*f. Let p be k(-1). Sort 6, 4, n, p in descending order.
6, p, 4, n
Suppose -5*a + 44 = -a. Suppose -a = -2*k + 5*z, 5*z = -0*k - 2*k - 19. Suppose -4 = 2*q + 4. Sort -5, k, q in descending order.
k, q, -5
Suppose 5*a + 2*a = -6*a + 4*a. Suppose 3 = -5*k - 3*n, -2*k + 5*n + 0 = -5. Let j(l) = -l**2 - l - 3. Let m be j(k). Sort a, 11, m in increasing order.
m, a, 11
Let k = -1 + 7. Suppose n = -2*y + 8, 2*n - k - 2 = -2*y. Let l be (y/(-10))/((-2)/5). Sort l, -0.2, 2/7 in decreasing order.
l, 2/7, -0.2
Let l be -5 - 2 - 122/(-18). Let r = 5 - -3. Let x = 12 - r. Put x, l, -5 in descending order.
x, l, -5
Suppose l + 3*q - 3 = -3*l, q = -5*l + 1. Suppose 6*j - j - 30 = l. Suppose -46*a - 2*a = 0. Put j, -3, a in ascending order.
-3, a, j
Let b = 7.3 + -7.6. Sort 5, 2/7, b, -2 in ascending order.
-2, b, 2/7, 5
Let f = -4 + 4. Let z be (0 - 0) + 8/44. Sort f, z, -3/5, -1/2 in ascending order.
-3/5, -1/2, f, z
Let w be (3/18)/((-4)/(-6)). Put -18, -2, w in descending order.
w, -2, -18
Suppose 3*q - 24 = -9. Let b = -2.7 + 0.1. Let i = b + 2.5. Sort -2, q, i in decreasing order.
q, i, -2
Let j = -239.2 - -239. Put 2/15, -1, j, -1/3 in decreasing order.
2/15, j, -1/3, -1
Let g = 370 - 370.4. Put g, 5, -5/34 in increasing order.
g, -5/34, 5
Suppose 0 = -5*h + 3*r - 102, -4*r - r = 5*h + 70. Let m = 15 + h. Put 3, m, -7 in ascending order.
-7, m, 3
Let q = -84 + 68. Sort q, -5, 4 in descending order.
4, -5, q
Let l be -4 - (1 + -1 + 1). Let h(u) = u**3 + 6*u**2 + 2*u + 9. Let r be h(l). Suppose 6*f + d = f + r, -f + 10 = -5*d. Sort -3, f, -1.
-3, -1, f
Let y(u) = -12*u - 4. Let c be y(0). Let h be (-36)/(-16) - (c - -6). Sort h, 2, 0.2, -5.
-5, 0.2, h, 2
Let z = 0 + -1. Let v = 43 + -37. Suppose v*s - 18 = 12*s. Put s, z, 2 in increasing order.
s, z, 2
Let o = -48/7 + 7. Let k = -24 + 21.2. Let u = -3.2 - k. Sort u, -4, o in increasing order.
-4, u, o
Suppose c = -4*w + 4, w - 2*w = 0. Let l be 2 + ((-12)/c)/3. Put 4, l, -5 in ascending order.
-5, l, 4
Suppose 5*b + 1267*l + 25 = 1272*l, l - 9 = 2*b. Suppose 5*o + s = 68, o + 2*s - 6 = -2*s. Suppose 0 = -k, -4*h - 3*k + o = 2. Sort b, 1, h in increasing order.
b, 1, h
Suppose 2*k - 2*x = -16, 25 = k - 6*k + 2*x. Sort k, 5, -6.
-6, k, 5
Let s = -0.0431 + 0.4431. Sort -2/83, s, 4 in increasing order.
-2/83, s, 4
Let q(j) = 1 + 31*j**3 - 17 - 12*j**2 - 30*j**3 + 22*j. Let h be q(10). Sort -4, -3, h, 3 in ascending order.
-4, -3, 3, h
Let x be (-3)/14*(5 - (-33)/(-9)). Sort 95, 3, x in descending order.
95, 3, x
Suppose t - 4*t - 6 = -i, -4*t = -5*i + 19. Let g be 110/(-4)*(4 - 6). Let y = g + -51. Sort t, y, 2.
t, 2, y
Suppose -2*m - 2*m = -3*y + 46, -3*y = -m - 16. Put m, -2, -4, 1 in decreasing order.
1, -2, -4, m
Suppose -4*w = -3*w - 12. Suppose 3*q = -w, 0 = -4*g + 4*q + 2 + 62. Suppose g = -t - 3*t. Put t, -1, -5 in decreasing order.
-1, t, -5
Let c = -161.192 + 0.192. Let r = c - -160.6. Put -1.2, r, 3 in decreasing order.
3, r, -1.2
Let w be (-3)/(4/(-48)*9). Sort -14, -2, w, 0 in ascending order.
-14, -2, 0, w
Let v = 1.3 + -0.3. Let y = -14.1 - -14.2. Sort v, y, 2, -2 in descending order.
2, v, y, -2
Let x = -2 + 1.9. Let b = 0.25 - -0.05. Put b, -0.8, x in decreasing order.
b, x, -0.8
Let c = -12 + 14. Suppose -5*p + 4 = -p - 4*f, f = c*p - 6. Let y(i) = -i - 8. Let b be y(-6). Put -3, b, p in increasing order.
-3, b, p
Let g = 578 + -574. Sort -0.6, -0.9, g in decreasing order.
g, -0.6, -0.9
Let z = -60 - -60. Suppose -5*h + 9 = -x, z = 6*h - 2*h - 5*x - 24. Sort 13, h, 0.4 in descending order.
13, h, 0.4
Let z = -233 - -463/2. Put 10, z, -4 in decreasing order.
10, z, -4
Let k be (5 - 4)/(4 + 115/(-29)). Put -2, 3, k, 2 in descending order.
k, 3, 2, -2
Let h = -431/255 - -28/15. Sort 1, h, 1/2 in ascending order.
h, 1/2, 1
Suppose 0 = 12*q - 21*q - 18. Sort -1, 0, 4, q in descending order.
4, 0, -1, q
Let z = -50/7 - -7. Sort -10, z, 2 in decreasing order.
2, z, -10
Let j(g) be the second derivative of 3*g**5/20 - g**4/12 + g**2/2 + 3*g. Let r be j(1). Suppose -2 = 2*h - 5*z - 8, z = -h + r. Put -2, 7, h in ascending order.
-2, h, 7
Suppose -3*i + m + 50 = 0, 4*i = 2*m + 30 + 40. Sort -2, i, -1.
-2, -1, i
Let a = -1408 + 1405. Put a, -0.1, 0.68 in decreasing order.
0.68, -0.1, a
Let q = -152.9 + 153. Sort 1/36, q, -0.1, -0.5 in ascending order.
-0.5, -0.1, 1/36, q
Let c be ((-1)/(-2))/(26/(-8)). Let v = 102.059 - -1.641. Let n = v + -104. Put n, 1.4, c in descending order.
1.4, c, n
Let u = 4 + -4.6. Let x = 38.2 - -136.8. Let f = -170 + x. Sort -0.5, f, u in descending order.
f, -0.5, u
Let f = 1637 - 1635. Sort -41, f, 0 in ascending order.
-41, 0, f
Suppose -4*y = -2*r - 14, 4*r + 6 = 3*y - 7. Let v be (-6)/(-21) - (-60)/(-63) - r. Sort -15, -1, -1/5, v in descending order.
v, -1/5, -1, -15
Let h be (6/15)/((-26)/30). Put h, -2/31, -5 in descending order.
-2/31, h, -5
Let c be 518/(-222) - (-4)/(-6). Sort -9, c, 0.5, 1/3.
-9, c, 1/3, 0.5
Let h = 74 + -71. Sort -2, h, 9 in decreasing order.
9, h, -2
Let l be 20/(-5) - 30/(-9). Suppose 11 + 7 = 6*m. Sort m, l, 2/7 in descending order.
m, 2/7, l
Let o = -108 + 221/2. Let r = -7 - -7.42. Let q = 0.12 - r. Sort 6, o, q in descending order.
6, o, q
Let u = -42 - 66. Let g = u + 108.4. Sort 7, -3, 3, g.
-3, g, 3, 7
Let i = 0.376 - 0.322. Sort -2, -5, i in increasing order.
-5, -2, i
Let h = -110.6 - -110.6. Suppose 0 = -3*f - 4*q + 2, -4*f - 11 - 1 = -2*q. Sort h, -1, -0.1, f in decreasing order.
h, -0.1, -1, f
Suppose 7*f - 10 = 12*f. Put 1, f, -3, -1 in increasing order.
-3, f, -1, 1
Su