 1 = 7. Let r(y) = -y**3 + 7*y**2 - 8*y - 3. Let m be r(6). Let v be (-3)/m + (-19)/(-5). Put 8, b, v in descending order.
8, v, b
Suppose -c + 0*c + 2 = 0. Let m be c - 0 - (-4)/(-92)*45. Put 0.4, -2, m in ascending order.
-2, m, 0.4
Let q be (-1 + 3)*4/8. Let i = -4 - q. Let f = 4401 + -4404. Put 0, f, i in increasing order.
i, f, 0
Let h = 294.8 - 295. Put -0.5, 3, h, 0.1 in increasing order.
-0.5, h, 0.1, 3
Suppose -2*z - 6608 = -2*n, -z + 6623 = -n + 3*n. Let l = n - 13419/4. Let b = -46 - l. Sort 2, b, -1/6.
b, -1/6, 2
Suppose 17 = 5*d + 3*m, -2*d - 6 = -5*m + 3*m. Let v be 5032/(-90) + d/(-5). Let l = 56 + v. Sort 2/13, 3/5, l.
l, 2/13, 3/5
Let m = 37 + 82. Suppose 5*h = 114 - m. Sort -4, -1/4, 2/5, h.
-4, h, -1/4, 2/5
Suppose 5*v - 11*v = 0. Let k = 132 + -137. Sort v, k, 3, 2 in increasing order.
k, v, 2, 3
Let h = 45 + -47. Put -35, h, -5, -4 in decreasing order.
h, -4, -5, -35
Let i be 2/3*(-30)/5. Suppose -3*l + 4*t = 7*t - 90, 2*l - 42 = 4*t. Let r be (-6)/l + (-16)/9. Sort i, 3, r in descending order.
3, r, i
Let w = 0.0586 + -0.0586. Put 0.27, 2, w in increasing order.
w, 0.27, 2
Suppose 0 = -0*m + 4*m - 8, 2*v = -3*m. Sort 1, 3, -5, v in descending order.
3, 1, v, -5
Let q be (-4)/(-6)*3/(-1). Put -1, 0, q, 1 in decreasing order.
1, 0, -1, q
Let h(i) = -i + 4. Let z be h(2). Sort z, 0, -2, -9 in descending order.
z, 0, -2, -9
Suppose 17*t - 12*t = 3*v - 30, 0 = v + 5*t + 10. Sort v, 28, 1.
1, v, 28
Let n(x) = x - 4. Let v be n(1). Sort 5, v, -2, -24 in ascending order.
-24, v, -2, 5
Suppose -2*t - 4*w - 18 = 0, t - 4*w - 12 = -3*t. Let h = -7 - -11. Let k = -94 - -88. Put h, t, k in decreasing order.
h, t, k
Let n = -60 - -58. Let y(r) = -r - 10. Let o be y(-6). Put n, -1, o in decreasing order.
-1, n, o
Let h be ((-5)/3 - -2)*9. Let c = 834 + -835. Sort h, c, -3, -5 in descending order.
h, c, -3, -5
Let s = 54 - 56. Let m = -18.04 + 0.04. Put s, 0, m in descending order.
0, s, m
Suppose -2*z + 3 = 2*r - 3, 19 = -2*z + 3*r. Let g be 0/(-1 + 2 + z). Sort 2, g, -3 in ascending order.
-3, g, 2
Suppose -9 = -3*q, 9 = -4*f - q + 32. Put f, -97, -4, 0 in ascending order.
-97, -4, 0, f
Let b be 4/(-30) - 4/(-30). Suppose b = 9*v - 13*v - 124. Let j = v + 26. Put 2, -9, j in ascending order.
-9, j, 2
Suppose -4*o + s + 3 - 4 = 0, -4*o - 11 = -3*s. Let n(h) = h**3 - 2*h**2 + 3*h - 15. Let x be n(5). Let c = 82 - x. Sort -4, o, c in increasing order.
-4, o, c
Let a be -1 + (2 - (1 + 0)). Let p be 24/18*7/(-42). Sort -0.3, a, p, -5.
-5, -0.3, p, a
Let v = -2 - -6. Let w be 43 + -2*2/v. Let b = w + -87/2. Put 0.3, b, -2 in increasing order.
-2, b, 0.3
Suppose -3*y - 14 = 1. Sort 7, 4, y, 1 in descending order.
7, 4, 1, y
Let x(o) = -3*o. Let k be x(-1). Let r(n) = -6*n - 204. Let c be r(-34). Put c, -7, k, 0.2 in decreasing order.
k, 0.2, c, -7
Let k = -17.79 + 17.69. Sort -2, -16, k, 0.4.
-16, -2, k, 0.4
Suppose -45 - 5 = -5*f - 5*u, 3*u - 40 = -5*f. Put 4, -34, f in descending order.
f, 4, -34
Let p = -0.711 + 1.211. Let z = 9 - 12. Sort -4, p, z, -0.2 in descending order.
p, -0.2, z, -4
Let o = -11 - -6. Let h be 15*9*(-3)/(-45). Let t be 1 + h/(36/(-16)). Sort t, o, 1.
o, t, 1
Let j be (-3*30/(-36))/(15/24). Suppose 1 = -2*q + q. Sort j, -4, q, 0.3.
-4, q, 0.3, j
Suppose 3*c + 3*f = -9, -10 = -f - 6. Put -2, -3, 3, c in decreasing order.
3, -2, -3, c
Suppose 4*j - 4*r = -3*r + 11, -5*j + 5*r = -10. Let d be (-3 - -13)*4/10. Suppose -4*c + 20 = 3*q, -3*c + d*q - 12 = -c. Sort j, 1, c in ascending order.
1, c, j
Let z = -6 - -3. Let a = 41 + -36. Suppose a*k - 2*x - 5 - 18 = 0, -k = 4*x + 13. Put -2, z, k in decreasing order.
k, -2, z
Let h = 154 + -178. Sort h, 1, 0.2 in descending order.
1, 0.2, h
Let c = -37.42 - 0.58. Let h = c + 35. Let a be (-12)/(-42) - (-16)/42. Put a, h, -0.1 in decreasing order.
a, -0.1, h
Let q = -3 + 6. Suppose 0 = 3236*s - 3231*s + 30. Sort q, 2, s in ascending order.
s, 2, q
Let b be -1 + -1 - (-3 + 0). Let m be 4/b + (-15)/5. Let p be m/3*(-9)/(-3). Sort p, -5, 0 in descending order.
p, 0, -5
Let h(s) = -45*s + 15*s + 14*s + 15*s - 8. Let l(z) = z**3 + 2*z**2 + 2*z - 2. Let d be l(-2). Let w be h(d). Sort w, -1, 5 in descending order.
5, -1, w
Let s(b) = b**2 - 5*b - 1. Suppose 7 = z + 1. Let l be s(z). Suppose -o - 3*a - 1 = -9, -5*o - l*a = 0. Sort -3/5, 1/2, o in increasing order.
o, -3/5, 1/2
Suppose -9 - 21 = x. Let w be 1/(-2) + (-75)/x. Sort 5, w, 9, 0.
0, w, 5, 9
Let d = 10 + -11. Let p be ((-3)/(-6))/(d/(-2)). Let w be 58/14 - p/7. Sort -5, -1, w in decreasing order.
w, -1, -5
Suppose -3*c + 2*a + 10 = 0, 4*c + 2*a + a = 36. Suppose -2*n - 2 = 2*p - c, p + 2 = 0. Suppose 11 + 1 = -4*w, 4*x - n*w = 4. Sort 5, x, -1 in decreasing order.
5, -1, x
Suppose -20 = -5*m, -4*w - 3*m - 104 = -4*m. Let r be ((10/w)/1)/((-8)/5). Put -2/13, r, -7 in ascending order.
-7, -2/13, r
Suppose -4 = -2*p + 8. Let k be 6/p + -4 - 1*-2. Put 4, k, 5 in ascending order.
k, 4, 5
Let l be (-11)/(-9) - (-2)/(-6). Let v = 43.15 + -43.15. Sort v, -1/3, l in increasing order.
-1/3, v, l
Suppose 2 = -2*v - u, 5*v + 33 = 2*u + 10. Let q(i) = i**2 - 16*i + 47. Let n be q(12). Sort v, 0, 5, n in decreasing order.
5, 0, n, v
Let v = 933 - 943.6. Sort 3, -0.3, v in descending order.
3, -0.3, v
Suppose k - 19 = 53. Let x be k/(-88) - (18/(-33))/(-3). Put x, 0, -3, -8 in ascending order.
-8, -3, x, 0
Let k = -1119.2 - -1119. Put k, 2, -4/3, 0.3 in ascending order.
-4/3, k, 0.3, 2
Let u = -22 + 22.28. Let g = u + 1.82. Let q = 2 - g. Sort 4, 2, q in descending order.
4, 2, q
Let l be 1/2*(1 + 1). Let d(c) = c**3 - 12*c**2 + 12*c - 9. Let n be (-2)/4*-18 - -2. Let p be d(n). Sort p, -1, l in decreasing order.
p, l, -1
Let z be (-474)/158 - -2*31/22. Let j = -0.2 - -0.2. Sort z, j, 1 in decreasing order.
1, j, z
Let y = -2 - -7. Let g(w) = 35*w + 136. Let c be g(-4). Sort 0.6, y, c in descending order.
y, 0.6, c
Let w(g) = -3*g - 22. Let x be w(-8). Sort -21, -1, x.
-21, -1, x
Let n = -90 - -95. Put -0.3, -3, n, -4 in ascending order.
-4, -3, -0.3, n
Let j = -0.065 + -3.635. Let c = j + 4. Let z = -503 + 508. Put c, 0.5, z in ascending order.
c, 0.5, z
Let c = -177 - -177.1. Put -13, c, -1 in decreasing order.
c, -1, -13
Let q be -3 - (-3)/(6/28). Let c = -7 + q. Let f = c - 1. Put f, -6, 1 in descending order.
f, 1, -6
Let v = -2.27 - 5.73. Let k = -177.1 - -169. Let s = v - k. Sort -1/3, 2, s.
-1/3, s, 2
Suppose -5*n - 34 = 3*x, 0 = -4*n + 26*x - 23*x - 11. Sort -18, -2, 5, n.
-18, n, -2, 5
Let a be 2/(-50)*(-2)/(-6). Let t be (-6)/((-5400)/2037) - 9/6. Let u = a + t. Sort u, 0.5, -1/3 in decreasing order.
u, 0.5, -1/3
Let u = 0 - -1. Let n(p) = -p**2 + 13*p + 33. Let s be n(15). Sort u, -4, -3, s in ascending order.
-4, -3, u, s
Suppose 30 = -5*f - 3*y, 2*f + 4*y = -y - 31. Sort 3, -8.1, f.
-8.1, f, 3
Let c = -124 + 125. Suppose 0 = k + 2*d + 3, -4*k + 3*d + 0 - 1 = 0. Let t = k + 6. Sort -8, t, c in descending order.
t, c, -8
Let z be ((-4)/(-5))/(-5 + 3). Let t = 21.3 + -23. Let b = t - -2.1. Sort z, 4/5, b.
z, b, 4/5
Let w(y) = y + 4. Let v be w(-2). Suppose -22 = 5*u - 2. Let x be 7/(7/u) - 1. Put v, x, -2 in increasing order.
x, -2, v
Let z be -5 - -9 - 2 - -1. Let p = -0.98 - -5.28. Let l = 4 - p. Sort l, -1, z.
-1, l, z
Let u = 204 + -191. Let n = 27 - 10. Let x = n - u. Put 1/8, x, 2/5 in ascending order.
1/8, 2/5, x
Let z(p) = p**3 + 13*p**2 + p - 5. Let g be z(-13). Let k be g/24*8/(-6). Sort k, 2, 0 in descending order.
2, k, 0
Let m = 3.4 + -3.5. Sort 4, -4, m, -0.5 in increasing order.
-4, -0.5, m, 4
Let u = 18 - 19. Let g = u - 26. Let c = 20 + g. Sort -3, 2/9, c.
c, -3, 2/9
Suppose 27*r - 22*r - 20 = 0. Let l be (-6)/12 + 18/r. Suppose 4*k - 10 = -3*a, 5*k + 3 - l = 2*a. Sort 3, a, -5 in descending order.
3, a, -5
Let s(a) = a**2 - 8*a - 7. Let x(f) = f**2 - f - 11. Let y be x(5). Let j be s(y). Sort j, -3, 5, 6 in descending order.
6, 5, j, -3
Let n = 572 + -576. Sort 0.02, -2, n in descending order.
0.02, -2, n
Let h be (8/40)/(5/250*5). Put 5, 147, h in descending order.
147, 5, h
Let s = 55 + -29. Suppose s*a = 22*a + 8. Let k be -2*(-4)/2*-1. Sort k, -1, a.
k, -1, a
Let q = 1.962 - 0.962. Sort -1/3, 0.7, q, -8 in increasing order.
-8, -1/3, 0.7, q
Let k(o) = o - 1. Let s(y) = -4*y + 1. Let z(h) = -h**3 - 6*h**2