 = 32561/8 - 4070. Sort h, u, -2/7, 3 in decreasing order.
3, u, -2/7, h
Let l = -6.8 + 57.8. Let j = l + -49. Let c = 6.1 - 1.1. Put c, j, -4 in decreasing order.
c, j, -4
Let s = -193 + 718. Let o = s - 524.952. Sort o, 2/9, -2 in descending order.
2/9, o, -2
Let n = -42 - -46. Suppose -2*k = 10, -k = n*v - 9*v + 30. Suppose -4*o + v*o - 3*b - 10 = 0, o - 5*b - 14 = 0. Sort o, -5, -1 in decreasing order.
o, -1, -5
Let k be (-96)/(-720) + (-47)/240. Put -0.5, 5, k, 0.4 in increasing order.
-0.5, k, 0.4, 5
Let u = -47/5 - -116/15. Sort u, 0.07, 10 in descending order.
10, 0.07, u
Suppose -2*y + 8 = -25*v + 23*v, -3*y = -2*v - 9. Sort y, -35, 3, 4, -2.
-35, -2, y, 3, 4
Let c = -0.0232 + 74.0232. Let z = c + -73.76. Sort z, -0.2, 2/7.
-0.2, z, 2/7
Let r = 1 - 1. Let v = 166 - 163. Let p(j) = 16*j - 56. Let m be p(v). Sort -5, m, r, 3 in ascending order.
m, -5, r, 3
Let c be (2 - 1)*(-8)/(-2). Let b(x) = 2*x**3 - 10*x**2 - 10*x - 8. Let s be b(6). Suppose s*f + 11 + 13 = 0. Sort f, -2, c.
f, -2, c
Let u be ((-1)/(-6))/((-33)/66). Let i(r) = r**3 - 19*r**2 + 19*r - 15. Let t be i(18). Put -0.1, -1, u, t in ascending order.
-1, u, -0.1, t
Suppose 3*u = -a - 13, 12*a - 15 = u + 15*a. Let i be -5 - (1957 - 2)/(-5). Put 0, u, i in decreasing order.
i, 0, u
Let j = 2256.069 - 2257. Let k = j - 0.069. Let x = 0.007 + -5.007. Sort k, x, 0.4, 0.9.
x, k, 0.4, 0.9
Let l be ((-7)/2)/(23/((-966)/147)). Sort -1, 38, l, -5 in descending order.
38, l, -1, -5
Let v = -16 - -16.1. Let k = 157 + -93. Let r be -1 + k/28 + -1. Put -1/2, r, v in descending order.
r, v, -1/2
Let y be (10 + -7)*1/(-3). Suppose 4*k + 3*h = 3*k - 34, -2*k - 103 = -h. Let c = k + 47. Sort -3, y, c, 0.
-3, c, y, 0
Let v(p) be the third derivative of 9*p**2 + 0*p + 1/6*p**3 - 1/30*p**5 + 0*p**4 - 1/60*p**6 + 0. Let m be v(-1). Sort -4, -2, m.
-4, -2, m
Let t = -0.05987 + -3.94013. Sort 0.3, 0.0481, t in descending order.
0.3, 0.0481, t
Suppose -4*y + 19 = 3. Let v = 50577 + -50574. Put y, v, -58 in decreasing order.
y, v, -58
Suppose 8*w + 20 = 4*w, 3*w + 5 = -5*s. Suppose -3 = -5*g - 8. Let y(n) = 3*n + 1. Let p be y(g). Put s, -10, 3, p in increasing order.
-10, p, s, 3
Let c be (9/(-4))/((90/(-8))/15). Let x be -2*c/(-21) + (-4 - -4). Sort -0.3, -1/12, x, 2.97 in ascending order.
-0.3, -1/12, x, 2.97
Let v = -141.9696 - 0.0304. Let q = 141.9 + v. Sort -0.4, 0.1, -5, q in descending order.
0.1, q, -0.4, -5
Let d = -7652 + 130082/17. Let g be (-6)/(-45)*(-2)/(-6). Sort -0.2, d, g, -4.
-4, -0.2, d, g
Let h be (-6 - (-273)/26)/(3/2). Let p = 9 - 7. Put -3, h, p, -19 in decreasing order.
h, p, -3, -19
Let t be 4/(-1*1 + (-140)/(-126)). Suppose f + 0 = t. Suppose f*l - 43*l - 77 = 0. Sort -1, l, -5 in decreasing order.
-1, -5, l
Let t = -496 + 500. Suppose -2*k + 2 = 4*l, 3*k - 5 = 3*l - 2*k. Let o = -2 + 4. Put l, -1, o, t in ascending order.
-1, l, o, t
Let z be 44/(-16) - 2/8. Let s = -67 + 66. Let i be 3 + (-2 + s - 0) + z. Put 2, 0, i in decreasing order.
2, 0, i
Suppose -3*h = -0*q - 3*q - 12, 3*q = 4*h - 15. Suppose 4*l + 10*y = 7*y - 45, -l + 5*y = 40. Put l, h, 4 in descending order.
4, h, l
Let w(x) = x**3 + 11*x**2 + 18*x + 18. Let u be w(-6). Let i be 20/u + (-10)/(-36). Let s = 0.06 + 1.94. Sort i, 0.8, s in decreasing order.
s, 0.8, i
Let b(o) = 4*o - 192. Let s be b(49). Put -5, 5, -133, s in descending order.
5, s, -5, -133
Let i = -35.1 + 39.1. Put 2/3, -1, i, -0.5, -2 in ascending order.
-2, -1, -0.5, 2/3, i
Let g be 3*1 + -55 + 52. Suppose g = 72*p - 81*p. Sort p, 1, 32.
p, 1, 32
Suppose 3*r = -4*c - 3, -4*c - 2 = r - 9. Suppose 36 = 4*s + 6*w - w, c*s + 5*w - 32 = 0. Sort s, 41, 3 in decreasing order.
41, s, 3
Suppose -116 = 5*a + 24*a. Let f(w) = 3*w - 2. Let j be f(2). Sort j, a, -2, 8 in descending order.
8, j, -2, a
Let z be 10/75 + (-3604)/30. Let t = z - -837/7. Let b = -7 - -7.2. Sort t, b, 5, -1.
-1, t, b, 5
Let o(g) = -g**2 - 19*g. Let c = -287 + 268. Let s be o(c). Sort s, 1, 2 in descending order.
2, 1, s
Let r(q) = q**3 + 17*q**2 + 12*q - 3. Let g be r(-16). Suppose 56*c - 5 = g*c. Sort -22, 0, c.
-22, c, 0
Suppose -280*u = -190*u + 450. Put -1/12, 0.2, 0.1, 2, u in descending order.
2, 0.2, 0.1, -1/12, u
Let u = 0.59 + -0.99. Sort -1/5, 13/5, -1, u in increasing order.
-1, u, -1/5, 13/5
Suppose -381 = 15*c + 249. Suppose -97 = 3*p + 32. Let j = c - p. Sort -4, j, 2, -3.
-4, -3, j, 2
Let g(z) = 2*z**2 - 11*z + 14. Let j be g(9). Sort -3, 3, j in decreasing order.
j, 3, -3
Let o = 127.5 + -287. Let l = 159 + o. Let m = 35 + -39. Sort m, l, 2/7 in descending order.
2/7, l, m
Let o = 4.88 + 0.12. Let h = 51.933 - -0.067. Let t = h + -51.6. Put t, 4, o, 2 in decreasing order.
o, 4, 2, t
Let p = 16 + -5. Let z = 146 + -106. Let a = z - 38. Sort a, -1, p, 4.
-1, a, 4, p
Let s(j) = -j**2 - 4*j + 168. Let d be s(-15). Let g be 0 - (2 + (-80)/12). Let u = g + -13/3. Sort u, d, -0.5 in decreasing order.
d, u, -0.5
Suppose 4*j = -o + 5*j - 4, 0 = 5*o + 3*j - 12. Let d = 8130 - 8113. Sort o, -4, -3, d in ascending order.
-4, -3, o, d
Let v(c) = -c**3 + 9*c**2 - 3*c - 34. Let x be v(8). Sort x, 1, 197 in ascending order.
1, x, 197
Let s(c) = -3*c**2 - 15*c + 31. Let t be ((-17)/(340/(-16)))/((-4)/(-10)). Let n be s(t). Put -5, 4, n, -2 in decreasing order.
4, -2, -5, n
Suppose 217*p - 216*p - 3 = 0. Let z = 6 - p. Suppose -3*y = 3*i + 21, 0*y = i + 2*y + 11. Put -2, i, z in decreasing order.
z, -2, i
Suppose 236 = 1773*o - 1832*o. Sort 2, o, 4, 31 in descending order.
31, 4, 2, o
Let z(f) = -350*f + 723. Let i be z(2). Sort 1, -2, i, -5 in increasing order.
-5, -2, 1, i
Let k = -17461 + 17465. Put -4, 5, k, -1, 2/97 in decreasing order.
5, k, 2/97, -1, -4
Let v be 4/14 + (-21)/(-98). Let m = 4.88 - -213.12. Let o = m + -218. Sort o, v, 20.
o, v, 20
Let k = -3994 - -3992. Sort -86, -1/5, k in descending order.
-1/5, k, -86
Let d be 24/4 - (-518)/(-111). Put 3, -0.5, d, 62, -2 in ascending order.
-2, -0.5, d, 3, 62
Suppose -p - 8 = 3*p. Let l(v) = 8*v**3 - 2*v**2 - 2*v + 1. Let x be l(1). Put p, x, 13, 1 in ascending order.
p, 1, x, 13
Let j be (-1)/((-5)/(-16)*13/26). Let c = j + 244/35. Sort 0.013, c, 2/3, -0.5.
-0.5, 0.013, c, 2/3
Let z = 3591 - 3587. Sort 1/5, z, 1, 3/82 in decreasing order.
z, 1, 1/5, 3/82
Let h be -2 + (-2986)/16 - (-3)/(-8). Let f = h - -190. Sort f, -2, -1, -3 in descending order.
f, -1, -2, -3
Let n = -246 + 324. Let p be 6/4*(-3 + n/30). Let h = -37/12 + 10/3. Sort p, h, -4, -0.2 in descending order.
h, -0.2, p, -4
Suppose 25*x + 3 = 22*x, 0 = -2*f + x + 609. Put 6, -2, f in increasing order.
-2, 6, f
Let s = -5.898 - -6.398. Sort -2, -6, s.
-6, -2, s
Suppose -4*t + 168 = -2*t + 2*z, 4*t - 3*z - 343 = 0. Let g be 6 - (t/25 + 2). Put g, -2/7, 0.2 in increasing order.
-2/7, 0.2, g
Let t = -5194 + 5194.6. Sort -2/3, t, 48/17 in increasing order.
-2/3, t, 48/17
Let q = 8150 - 8166. Sort q, 2, -25 in ascending order.
-25, q, 2
Suppose -l + 2*g - 1 = 0, 7*g - 5 = 2*l + 2*g. Let y = -1.45 - 3.65. Put l, y, -1/5 in decreasing order.
l, -1/5, y
Let q(p) = -p**3 - 8*p**2 + 11*p - 10. Let t be q(-9). Let w(d) = -d**2 + 27*d - 51. Let s be w(25). Put t, 5, s, -3 in descending order.
5, s, -3, t
Let c = 14201 + -14203.192. Put -2/7, 2, -5, -2/9, c in decreasing order.
2, -2/9, -2/7, c, -5
Let z be (-8 + -6 + 10)*(-6)/8*1. Sort 15, z, -10 in increasing order.
-10, z, 15
Suppose -9*m + 10*m = 7. Let p be (-84)/120*(-8)/m. Sort -4, p, 0.1.
-4, 0.1, p
Let n = -47.7 + 46. Let v = -449.8 + 450. Sort v, 0.1, n, 6/5 in decreasing order.
6/5, v, 0.1, n
Suppose 5 = -f, -2*t - 4*f = -22 - 38. Suppose 3*w + 57 = 2*o + 47, w = -o + 5. Put t, -1, w in decreasing order.
t, w, -1
Suppose 3*n - 8 - 22 = 0. Let m(d) = d**3 - 11*d**2 + 11*d - 7. Let h be m(n). Let c be 21/(-15) + 6*2/30. Put -5, h, c in decreasing order.
h, c, -5
Let n be (85/(-3))/(2106/(-243) - (0 + -7)). Let u(a) = a**3 - 9*a**2 - 2. Let k be u(9). Put n, 3, 2, k in increasing order.
k, 2, 3, n
Suppose 18*u + 13 = 9*u + 22. Sort 4, 65, 0, u.
0, u, 4, 65
Suppose -2*a + 1 = -1. Let d = -311 - -311. Suppose -3*r = 4*t - d*t + 21, -5*r = -t + 12. Put t, 0, a, 3 in ascending order.
t, 0, a, 3
Suppose 0 = 7*s - 28995 + 29058. Sort -3, -5, s, 2, 16 in decreasing order.
16, 2, -3, -5, s
Let m = -0.1683 - 0.0317. Put