 y, -1
Let b(v) = v**2 - v**2 - 10 + 6*v**2 + v**3 + 2*v. Let a(s) = 26*s - 291. Let c be a(11). Let n be b(c). Put n, 6/11, -1 in descending order.
n, 6/11, -1
Suppose 3*l + 16 = -2*m, 4*l + 24 = -3*m + 2*l. Let a = m + 10. Let h = 0.02 + -0.42. Sort h, -3, a in decreasing order.
a, h, -3
Suppose 0 = v + 10. Let m be 14/(-4) - v/(-20). Put -5, m, -1 in decreasing order.
-1, m, -5
Suppose -4*z = -4 - 8. Let q(c) = 4*c**3 + 4*c**2 - 104*c - 107. Let i be q(-1). Sort i, z, -5, 2 in increasing order.
-5, i, 2, z
Let z = -138 - -252. Put 0, z, 5 in descending order.
z, 5, 0
Let h = 1.2 + -1. Let u = -768/91 - -58/7. Suppose -3*i + 8 = -7. Sort h, u, i in increasing order.
u, h, i
Let y(g) = g**2 + 3*g + 3. Let j be y(-3). Let u(f) = -2*f - 4. Let p be u(-3). Suppose -5*x = 2*q + 18, -4*q = -4*x - p - 18. Put j, x, 3/2 in ascending order.
x, 3/2, j
Let u(f) = f**3 - 13*f**2 - 115*f + 14. Let z be u(19). Put z, -4, -22 in ascending order.
-22, z, -4
Suppose -5*b = -3*m - 31 - 4, 5*b + 3*m = 35. Suppose -b*j + 6*j = 25. Let r be 2/(-5) + (-20)/j. Sort 2, r, -9 in descending order.
2, r, -9
Let a(f) = -25*f - 54. Let t be a(-2). Sort t, 6, -5, 0.
-5, t, 0, 6
Let u = 58 + -34. Sort u, 2, 2/5 in decreasing order.
u, 2, 2/5
Let z(g) = g**3 - 6*g**2 + 1. Let b be z(6). Let h(y) = 74*y + 5. Let w be h(2). Let p = w + -156. Sort b, 3/8, p.
p, 3/8, b
Let w = 634.809 - 634. Let j = -0.009 + w. Put 4/7, -4, j in descending order.
j, 4/7, -4
Let a(p) = p**3 - p**2 + p - 8. Let s be a(0). Let f be -8*5/(80/(-8)). Put 3, s, -3, f in decreasing order.
f, 3, -3, s
Suppose 2*o - 4 = -3*x, 0*o - 4*o + 2*x = 8. Let f be ((-2)/(-7))/((-26)/(-91)). Sort 4, f, 3, o in increasing order.
o, f, 3, 4
Let g be (-1*(-10)/(-35))/((-6)/(-42)). Put g, -0.03, 5, 3 in decreasing order.
5, 3, -0.03, g
Suppose 0 = -2*m + 6*m + 4*w, -4*m - w = 6. Let f = -17122 - -17126. Sort -2/3, m, -10, f in descending order.
f, -2/3, m, -10
Let o = 2 - 6. Let b(z) be the third derivative of -z**6/120 + z**4/24 - z**3/6 - z**2. Let a be b(1). Put a, -2, o in decreasing order.
a, -2, o
Suppose -5*r + 4*c - 45 = 0, 0 = -r + 3*c - 7*c + 15. Let d be (r + 14)*4/4. Sort d, -3, -1 in descending order.
d, -1, -3
Let u be (((-5)/6)/(-5))/(200/(-600)). Let k = 0.1 - 0. Put -0.4, k, 0.5, u in descending order.
0.5, k, -0.4, u
Suppose 2*l + l = p + 17, -4*p - 5*l - 51 = 0. Let a = -13 - p. Let w be -10*(7/(-5) + a). Put 2, w, 1 in decreasing order.
w, 2, 1
Let a = -88 + 92. Sort -4, 2, a, -26.
-26, -4, 2, a
Let v be (2/(-12))/(-4*(-3)/24). Let r = -20 - -18. Sort r, 2/3, -4/17, v in decreasing order.
2/3, -4/17, v, r
Let u be (-7)/1*((-60)/(-35))/(-4). Sort u, -10, 5 in decreasing order.
5, u, -10
Let q = -4 + 8. Let b(c) = -2*c**2 - c - 1. Let z(u) = -u**2 - u. Let w(s) = -2*b(s) + 3*z(s). Let g be w(0). Put g, q, -3 in decreasing order.
q, g, -3
Let v = 8.79 + 0.21. Let w = v - 21. Let y = w + 11. Put -0.1, -2, y in increasing order.
-2, y, -0.1
Let t be (-7)/(7/(-4)) - 1. Let h be (-2)/(-18)*t*2. Let a = -0.0498 + 1.0498. Put h, a, -6 in descending order.
a, h, -6
Let o be ((-3)/9)/((-3)/(-9)). Let p be (1 - 2 - 0)/(6/18). Put o, p, 0 in decreasing order.
0, o, p
Suppose -3*x - 4*r - 92 = 0, -3*x - 2*x + 4*r = 100. Let t be (1 - 1 - -8)/(x/(-24)). Put t, -2/9, 5 in decreasing order.
t, 5, -2/9
Let n = 4560 + -3229. Let p = n + -1348.06. Let b = 17 + p. Put 5/4, 4, b in decreasing order.
4, 5/4, b
Let h(f) = f**2 + 2*f - 1. Let o be h(-2). Let g be (-68136)/87048 + (-4)/(-6). Let p = -2/403 - g. Sort p, 2/3, o.
o, p, 2/3
Let q = -25.64 + -0.36. Let i = 20 + q. Let p = -2 + -3. Sort i, -3/5, p in descending order.
-3/5, p, i
Let k(h) = -h**2 + 9*h + 3. Let l(f) = 1. Let w = 8 + -7. Let a(x) = w*k(x) - 3*l(x). Let y be a(10). Sort 5, y, -4 in decreasing order.
5, -4, y
Let w = -88 - -171/2. Let a = -21.2 + -1.8. Let o = a - -23.2. Put o, w, 3 in ascending order.
w, o, 3
Let i = -169/33 + 60/11. Let y = 0.38 + 0.02. Let v = y + -0.1. Sort i, 2, v in decreasing order.
2, i, v
Suppose 0 = o - 5*y - 9, 3 = -o + y + 4. Put 0.5, 4, o in decreasing order.
4, 0.5, o
Suppose 8 = 4*z, -2*u + 4 = 3*u + 2*z. Let i = -84 + 82. Sort i, -3, 5, u in decreasing order.
5, u, i, -3
Let c = -9 + 11. Sort c, -1, 1, -7 in increasing order.
-7, -1, 1, c
Suppose 3 = -5*k - 4*x, -4*k + k = -5*x - 13. Suppose 2*s = -7 - k. Let p(l) = -l**3 - 5*l**2 - 4*l - 3. Let z be p(-4). Sort -2, z, s in decreasing order.
-2, z, s
Suppose 3*j - 18 = 5*j + 4*x, -j - 19 = 4*x. Suppose -2*f + 3*f = j. Let y(w) = w**2 + 7*w + 1. Let d be y(-6). Put f, d, -3 in descending order.
f, -3, d
Let l be -2 + (-3*(-4)/(-12) - -12). Suppose 2*z + i = -6, -5*z - i - 22 = -1. Sort -1, z, l, 4.
z, -1, 4, l
Let u = 0.01 + -42.11. Let o = u - -42. Let d = -5 - 0. Sort -0.5, d, o in increasing order.
d, -0.5, o
Let u(b) = 32*b - 321. Let y be u(10). Suppose -c - 14 = 5*r + c, -5*r + 3*c - 29 = 0. Sort r, y, -22, -5.
-22, -5, r, y
Let g = 23.3 - 23.8. Put -2/11, -12, g, -3/2 in ascending order.
-12, -3/2, g, -2/11
Suppose 2*n + 41 - 39 = 0. Sort n, -2, 3, 22 in ascending order.
-2, n, 3, 22
Suppose -36 = -4*u + 13*u. Let l be (-2)/(-52)*(-11 - (-1 - 6)). Sort -1/9, l, u.
u, l, -1/9
Let x = 1/112 - -53/336. Sort x, 3/4, 0.5, 5 in descending order.
5, 3/4, 0.5, x
Suppose -4*x + 2*m = -2*m + 48, 4*x + 4*m = -32. Let u be 4/6 - x/3. Let h be 2/(7/((-42)/u)). Sort 1, h, -4 in decreasing order.
1, h, -4
Suppose h = 5, -35 = 5*f - h + 4*h. Let a = f - -8. Let d(w) = w**3 + 7*w**2 - 10*w - 20. Let t be d(-8). Put t, a, 3 in decreasing order.
3, a, t
Let j(y) = 13*y - 431. Let q be j(33). Sort -66, q, 9 in decreasing order.
9, q, -66
Let l = 2 + -5. Let t be (-70)/630 + 0 + 182/18. Let f = -84 + 79. Sort l, t, f in ascending order.
f, l, t
Let n = -233 - -467/2. Put n, 0.04, 2/25 in ascending order.
0.04, 2/25, n
Let x = 2.12 + -2. Let c = -925 - -928. Sort c, 3/2, x in descending order.
c, 3/2, x
Let f = 1/182 + 907/546. Sort -0.5, -4/7, f, -9 in descending order.
f, -0.5, -4/7, -9
Let y = -12 - -14. Let z be (4 + 9/(81/(-30)))*-3. Sort y, z, 3/4, 1/6 in decreasing order.
y, 3/4, 1/6, z
Let t = -0.24 + 0.14. Suppose 0 = -4*w + 12, -5*a - 3*w - 10 + 24 = 0. Let q be (a/3)/((-2)/(-8)). Sort q, t, -1.
-1, t, q
Let x = -23 - -23.046. Let f = x - 0.196. Put 0.1, f, 0.4, -2/11 in increasing order.
-2/11, f, 0.1, 0.4
Let b = 3 + -2.5. Let u = 0.6 - 43.6. Let s = 43.2 + u. Put s, -4, b in increasing order.
-4, s, b
Let y = 1114 - 1109. Put 0, 4, 32, y in increasing order.
0, 4, y, 32
Let u = 421 + -421. Sort -17, u, -4 in decreasing order.
u, -4, -17
Let y = 536/5 + -3241/30. Let b(s) = s - 15. Let a be b(9). Let x be 6/(-8)*4/a. Sort x, -6, y in descending order.
x, y, -6
Let h = -96 - -101. Suppose -3 = -5*c + 7. Put c, h, -25 in decreasing order.
h, c, -25
Let y = 0 - 0.4. Let q = -6 + 1. Let z = 176.4 + -176.5. Sort y, z, q in descending order.
z, y, q
Let p(v) = -v**3 + 6*v**2 + 7*v + 9. Let q be p(7). Suppose q = 2*i - i. Suppose -3*c - i = -t, c - 6*t + 3 = -2*t. Sort -5, 0.7, c in descending order.
0.7, c, -5
Let m = -43/105 + 4/15. Let x = -0.457 - -0.157. Let z = -0.1 - 0.4. Put z, x, m in decreasing order.
m, x, z
Let j = -752 - -751. Let u = 64 - 63.8. Let c = -0.37 + 0.07. Put c, j, u in ascending order.
j, c, u
Let m(k) = -k - 1. Let t be m(-4). Suppose -26 = j - t*j - 5*a, -2*a = 5*j - 23. Suppose b = -j*c - 2, -3*b + 2*c - c - 6 = 0. Put 0, b, 5 in increasing order.
b, 0, 5
Let s be (-33)/110*(-5)/(-12). Let z(h) = -h**3 - 5*h**2 - 6*h - 3. Let d be z(-4). Suppose -d = -5*y - 15. Put -0.4, s, y in descending order.
s, -0.4, y
Suppose 3*n + 15 = 0, -2*f + 3*n - 2 = -13. Put f, -1, -122, 1 in descending order.
1, -1, f, -122
Let i = -5858.79 - -5897. Let v = i - 38. Let o = v - -0.19. Put -1, o, 4 in decreasing order.
4, o, -1
Let y(b) = 13*b + 119. Let m be y(-10). Suppose 9 = 4*v - 3. Sort m, v, 2.
m, 2, v
Let i(x) = x**3 + 9*x**2. Let p be i(-9). Suppose p = 29*k - 27*k + 10. Sort -2, -35, k.
-35, k, -2
Suppose b + 8*o - 20 = 4*o, -2*b = 4*o - 52. Put b, -3, 4 in increasing order.
-3, 4, b
Let d = 2/4853 + 9688/43677. Sort d, -4/5, -2/13, 0.11 in ascending order.
-4/5, -2/13, 0.11, d
Let r be -1 + (-1 - (-42)/24). Sort -9, -5, r, -0.2 in descending order.
-0.2, 