u, -0.3, y
Let r = 41 - 32. Suppose -4*p + 4*f + r + 11 = 0, 4*f = -16. Suppose -2*j + 70 = 3*j. Sort 5, j, p.
p, 5, j
Let z(f) = -f**3 + 5*f**2 - 4*f + 18. Let i be z(5). Let g = -383 + 378. Put 0, g, 5, i in decreasing order.
5, 0, i, g
Let r = 3704089/15912 - 43/5304. Let i(v) = v**3 + 15*v**2 - 2*v - 9. Let x be i(-16). Let y = r + x. Sort -6, 0.3, y in increasing order.
-6, y, 0.3
Suppose -181*c = -9*c + 85 - 945. Sort -3, c, 12, -2 in decreasing order.
12, c, -2, -3
Suppose 4*i - 4*c - 2 = 6, 20 = 3*i + 4*c. Let z be 35/(-5)*i*15/(-140). Sort 4, z, -1, 5.
-1, z, 4, 5
Let p = 7/85 - 492/11135. Put 1, -1, p, 2 in descending order.
2, 1, p, -1
Let f = -37 - -39. Let o = 10831 - 10833. Sort -2/5, f, o, 5 in ascending order.
o, -2/5, f, 5
Let l = -637 + 642. Let g be l + -6*100/105. Put g, 1/11, 2 in increasing order.
g, 1/11, 2
Suppose -690*u = -638*u + 104. Sort -5, 14, u, -3, -6 in descending order.
14, u, -3, -5, -6
Let b = 31 - 49. Let k = 1138 - 1134. Let l be k/b - (-7)/21. Sort l, 0.07, -3/4.
-3/4, 0.07, l
Let d = 3 - 13. Let i = 10.5 + d. Suppose 3*z = -3, -14*y + 19 = -15*y - 4*z. Put y, i, 0 in increasing order.
y, 0, i
Let c be 12/5*190/152. Suppose 4*t - 12 = -2*g, 3*t = -g + 12 - c. Put -12, -5, g in increasing order.
-12, -5, g
Let i = 3657 + -3654. Put -2/7, 8, -1.3, i in descending order.
8, i, -2/7, -1.3
Let d(j) = 73*j + 4332. Let a be d(-59). Sort -2, 4, -5, -7, a in decreasing order.
a, 4, -2, -5, -7
Let d = -126 + 186. Suppose -2*w + d = 3*w. Let p be (w/(-21))/((-2)/7*3). Sort 3/8, 0.4, p in ascending order.
3/8, 0.4, p
Let d = -6.3 - -6.35. Let b = 0.17 + d. Put b, 1/4, 0.5 in descending order.
0.5, 1/4, b
Let g = -80835 + 80835. Let q = 2 - 5. Sort g, q, -1/5, 0.55.
q, -1/5, g, 0.55
Let c be ((-585)/(-30) + -20)*4/2. Sort -2, -23, c, -4 in increasing order.
-23, -4, -2, c
Suppose 244 - 132 = 4*x + 3*u, -2*u - 94 = -5*x. Sort -25, x, 2 in decreasing order.
x, 2, -25
Let v be (48/(-44))/(-6*7/924). Put 498, 4, v in increasing order.
4, v, 498
Let b = 15.75 + -1.05. Let a = b - 11.7. Sort a, -2/3, -2/7 in decreasing order.
a, -2/7, -2/3
Let a = -64 - -9. Let x = 53 + a. Put 3, x, 0.1 in ascending order.
x, 0.1, 3
Let i = 772 + -5406/7. Let u be (2 + -5)*(-14)/27. Put i, u, 0.2 in descending order.
u, 0.2, i
Suppose -300*q - 72 = -304*q + 4*a, -3*a = -q + 20. Sort 4, -1, -2, q in ascending order.
-2, -1, 4, q
Let t be ((-1683)/119 - -18) + -4. Sort -6/7, -20/9, t.
-20/9, -6/7, t
Let w = 7 + -2. Suppose -42 = -v - 5*f, -4*f + 8*f - 105 = -5*v. Let p be -3 - v/(102/12). Sort p, -7, w in increasing order.
-7, p, w
Let k be (-8)/18*(-3)/(-10). Let y be 2 - 2 - (-23 - 2). Suppose -l + 21 = y. Sort l, k, 2/17, 0.1.
l, k, 0.1, 2/17
Let p be -1*(8 - (-5 - -5)). Let q = -0.8 - -0.9. Put -0.1, q, p, 5 in increasing order.
p, -0.1, q, 5
Let c = -14755 + 14739. Put 4, -1, -2/3, c, -170 in decreasing order.
4, -2/3, -1, c, -170
Let s = 106 - 104. Suppose b = -g + 48, 12*g - 8*g + 231 = 5*b. Sort b, 5, s, 3 in decreasing order.
b, 5, 3, s
Suppose -62*q + 64*q = 4*z - 16, -4*z - 7*q = -16. Put -3, z, 5, -54, 2 in descending order.
5, z, 2, -3, -54
Let f(l) = -5*l**2 + 1. Let m be f(1). Suppose 43 = 4*g + 601*p - 598*p, g - 27 = -2*p. Put g, 30, m in decreasing order.
30, g, m
Let x = -5/113 + -181/1017. Put 0.5, x, 3/4, -15.6 in ascending order.
-15.6, x, 0.5, 3/4
Let k be (-128)/(-2880) + (-6)/135. Suppose 5*a + 10 = 0, 0 = -5*v + 2*v - 2*a + 11. Let r be 1/1*(-5 - -4). Put v, k, -3, r in increasing order.
-3, r, k, v
Suppose -d - 2*d - 3 = 0. Suppose -10 = -2*k - 0*k. Suppose 0 = 10*g - 206*t + 210*t + 6, g = t + 5. Put k, d, g in increasing order.
d, g, k
Let n be 3/9 + 2184/(-9576). Let m = -3 + 3.8. Put m, 1, n, -3/10 in decreasing order.
1, m, n, -3/10
Let j(v) = v**3 - 3*v**2 - 4*v - 6. Suppose -t + 17 = 12. Let u be j(t). Suppose 0 = 4*i + 4*i + u. Sort -1, i, 5 in increasing order.
i, -1, 5
Let o = -107.041 - -107. Let l = o + 3.041. Let s = 0.8 + -0.84. Put l, 4/3, s in increasing order.
s, 4/3, l
Let l = -104 + 103. Let c be (2 - -1) + 18/(-4). Suppose 3*x = -4*a + 10, 2*x + 6 = 4*a - 14. Sort -0.1, c, x, l.
x, c, l, -0.1
Let d = -4206 + 4202. Let n = 80 + -55. Let z be -2 + 1 - n/(-35). Put -3/8, d, z, 0.5 in descending order.
0.5, z, -3/8, d
Let s be 1 - ((-366)/13 - (-8)/52). Suppose 23 - s = -2*j. Suppose 3*l + 15 = -2*l. Sort j, l, -10.
-10, l, j
Suppose -36 = 384*j - 390*j. Sort 12, -1, 0, j, -4 in increasing order.
-4, -1, 0, j, 12
Let w = 41.4 + -42.26. Let u = 57.14 - w. Sort u, 1/2, 2/5 in ascending order.
2/5, 1/2, u
Let w = 1857 + -1854. Sort -0.4, 413, w in ascending order.
-0.4, w, 413
Let d be 141312/(-1656)*3/(-4). Put -3, d, 5, -4 in descending order.
d, 5, -3, -4
Suppose 0 = -0*d + 4*d - 8. Let u = 1078310 - 1078315. Put u, d, 34 in descending order.
34, d, u
Suppose -6 = -2*c - 5*p - 44, -c - 34 = 5*p. Sort 0.02, 4, 27, c in decreasing order.
27, 4, 0.02, c
Let v be -1*((3 - 4) + -2). Let t(k) = -3*k**3 - 11 + 7*k + 2*k**3 + 8*k**2 + 0*k**2 - v*k**2. Let c be t(6). Sort -3, 1, c in descending order.
1, -3, c
Suppose s = 4*b + 33, 2*b - 180 + 67 = -3*s. Let o(z) = -z**3 + 35*z**2 + 74*z + 3. Let x be o(s). Sort 97, 1, x in descending order.
97, x, 1
Suppose 3*t = -5*r + 224, 3*t - 168 = -3*r + 6*t. Sort r, 2/31, 4, 1, -1.
-1, 2/31, 1, 4, r
Let t = 9.3 - 11.3. Suppose 3*x = -2*x - 30. Let p be 14/(-245)*14/x. Put p, t, 4 in ascending order.
t, p, 4
Let u = -1/33765 + -1705807/27012. Let k = 317/5 + u. Put -3/4, -1, k, 4 in increasing order.
-1, -3/4, k, 4
Suppose -2*n = 62*k - 67*k + 4, 0 = 3*k - 6. Sort -5, 102, n, 5 in descending order.
102, 5, n, -5
Let b(o) be the third derivative of -o**4/8 + 7*o**3/3 + 2*o**2 - 64*o. Let x be b(4). Sort 0, -8, x in decreasing order.
x, 0, -8
Suppose -4*g = 3 - 7. Let q be 7 + -11 + 2 + 12/2. Sort 2, g, q, -13 in ascending order.
-13, g, 2, q
Suppose 94*l + 57 = 95*l. Suppose 5*q + 2*i - 16 = 0, l = -2*q + i + 67. Let k(s) = -s**2 + 4*s + 7. Let a be k(5). Sort a, 0, q, -5.
-5, 0, a, q
Let c be -9*(-3)/27*-15 - -7. Let y be 660/(-176)*c/6. Suppose -2*i - 7 = h, 4*i + 6*h - h + 29 = 0. Sort 2, i, y in decreasing order.
y, 2, i
Suppose 8 - 17 = 3*y. Let r be 0*y/(-9)*(-12)/8. Let d = r - -4. Sort -5, -1, d in descending order.
d, -1, -5
Suppose -3*y + 3*z = 14 - 23, -3*z = -4*y + 6. Sort 2, 10, 4, y in descending order.
10, 4, 2, y
Let v(x) = x**2 + 45*x + 507. Let k be v(-22). Sort -3, k, 47.
-3, k, 47
Let u = -0.653 - 182.947. Let t = u + 184. Suppose 0 = -3*k - g - 13, -4*g + 11 + 17 = -4*k. Sort 4, t, k, 3/5.
k, t, 3/5, 4
Suppose 4*t - 29 = -5*a, -2*t - 66 = t - 6*a. Sort 2.3, 5, -3, t, -0.4 in increasing order.
t, -3, -0.4, 2.3, 5
Let y = -2.57843 + 115.57143. Let t = y + -113. Let z = t + 3.007. Put z, -4, 9 in descending order.
9, z, -4
Let s = -217017 + 217017. Let c = 0 - 0.02. Let h = c - 1.98. Put 0.8, h, s, 0.3 in descending order.
0.8, 0.3, s, h
Let b = 334 - 938. Let v = b - -602. Sort 2, 11, -5, v in decreasing order.
11, 2, v, -5
Let q = -18 - -18.3. Let n = 36.22 - 36. Let a = n - 2.22. Sort q, a, 4 in decreasing order.
4, q, a
Let d(g) = 278*g + 1696. Let n be d(-6). Let x(a) = -a - 9. Let k be x(-11). Sort k, n, 3 in decreasing order.
n, 3, k
Let a(c) = -c**3 + 7*c**2 + 16*c - 131. Let s be a(6). Sort s, 154, -5.
-5, s, 154
Let t be (-2 + 1)/((-3)/33). Let f be (-1)/((-5)/(-5)) - (-1 + -4). Suppose f = r + 7. Sort 3, r, t in decreasing order.
t, 3, r
Let w = 3 + -2.7. Suppose 5*v - 22 = 2*y, -2*v + 137 = 4*y + 133. Sort w, v, 2/17, -0.4 in decreasing order.
v, w, 2/17, -0.4
Suppose 4*r - 3 = x, 3 = -0*r + 3*r - x. Let q(h) = -144 + 25*h - 109 - 67. Let l be q(13). Put r, l, 4 in increasing order.
r, 4, l
Let h be ((126/(-24))/7)/(18/(-16)). Let u = -0.2214 - 0.0786. Put 109, h, u in descending order.
109, h, u
Let d be (-1 + 9)/(1 - 0). Let x = 2 + 3. Suppose -3*k - k = -j - d, -6 = -3*k - x*j. Sort 2/11, k, 0.11 in ascending order.
0.11, 2/11, k
Let c = 0.86 + -0.06. Let q = c + 0.2. Let z be (-3)/(-9) + 80/(-15) + 5. Sort -1, q, z in increasing order.
-1, z, q
Let a = 3 + -2. Let s be 20 - 15 - 1*2. Let w = 2243 - 2238. Put a, w, s in ascending order.
a, s, w
Suppose -5*u = 5*f - 30, 0 = -25*u + 22*u - 2*f + 25. Put 0, 2, -14, u in decreasing orde