et s be (-1)/(-3) - (8 + (-253)/33). Put f, s, j in descending order.
s, j, f
Let t = -7.0747 + 0.0747. Let r = 5 - 4. Let i = 7 + -7. Sort t, r, i in decreasing order.
r, i, t
Suppose -3*v - 4*t = 35, 0 = 4*v - 3*t - t. Let r(s) = s**3 + 5*s**2 - s - 7. Let c be r(v). Let w = -0.2 - -0.4. Sort -2/17, w, c in decreasing order.
w, -2/17, c
Let w = -17.4 + 10.4. Sort -4, w, 3/7, -2/5.
w, -4, -2/5, 3/7
Suppose v + 4*w = 2*v - 26, -w - 17 = -2*v. Let y be (-3 - (-33)/15)*5. Let b = 9 + y. Sort v, 0, b in increasing order.
0, b, v
Let g = 14 + -13.83. Let q(f) = -f**3 - 8*f**2 - 9*f - 14. Let w be q(-7). Put w, g, 3/2 in ascending order.
w, g, 3/2
Let w = -15 + 10. Let h = -0.087 - -0.055. Let c = -0.232 - h. Sort w, 0.2, c.
w, c, 0.2
Let y be 20/(-30)*3/2. Let f be (-3)/y - 261/81. Sort -4, 1/3, f in decreasing order.
1/3, f, -4
Let k be (-1)/(-6)*(-3 + 5). Let t = 14 + -6. Let u = t - 8.5. Put k, -2/15, u in decreasing order.
k, -2/15, u
Suppose -2*b + 9 = -5*g, 5*g + 13 = 5*b - 2. Let p(h) = -h**2 - 2. Let f be p(0). Let n = f + 0. Put g, 1/3, n in decreasing order.
1/3, g, n
Let d be (-3 - (-54)/24) + 18/(-8). Sort 116, d, 0 in descending order.
116, 0, d
Let t = 0.1 + 0.1. Let f = 28 - 24. Let v(w) = -w**2 + 2*w + 8. Let b be v(f). Sort b, -1/2, t in descending order.
t, b, -1/2
Let f be (-3 - -3 - 2) + (-840)/(-385). Let g = -1 + 0.6. Let i = g + 0.38. Sort i, f, 1/2 in decreasing order.
1/2, f, i
Let t = -8 - -6. Let f = 0.655 + 1.345. Sort -4, t, f, -15.
-15, -4, t, f
Let b = -359 - -304. Put 2, 0, b in descending order.
2, 0, b
Let q = -3.047 + -0.053. Let j = q + 2.2. Let a = -0.7 - j. Put -1, a, -2/3 in decreasing order.
a, -2/3, -1
Let h = 0.544 - -24.756. Let f = 55 - 30. Let i = f - h. Sort -6, -0.2, i in descending order.
-0.2, i, -6
Let a = -84 + 83. Let k be (2/(-10))/(a - (-2)/5). Let v = -4 - -4. Put v, -3, k in decreasing order.
k, v, -3
Let o = -2/7 + 4/7. Let v = -0.14 + -3.86. Suppose -k - 9 = 6*u - 2*u, 4*k = -2*u + 6. Sort v, o, u in ascending order.
v, u, o
Suppose -5*w = -24 + 14. Suppose -2*y = -y + 3*r - w, 5*r = y - 10. Let b = -12 - -7. Sort y, b, -3 in decreasing order.
y, -3, b
Let m = -1.764 - 0.206. Let o = m + 2. Let p = 0.03 - o. Sort p, 1, 2 in descending order.
2, 1, p
Let k = 2 + -4. Let d(x) = -13*x - 49. Let o be d(-4). Sort o, k, -1 in ascending order.
k, -1, o
Suppose -41*z + 26*z = 330. Put 0, z, -5 in increasing order.
z, -5, 0
Let b = 161.06 - 161. Sort 2/3, -2/7, -4, b.
-4, -2/7, b, 2/3
Let t be (12/(-14))/((-7)/((-441)/1035)). Let a = 8/23 - t. Sort 6, -4, a.
-4, a, 6
Let x = -224 - -229. Sort -3, x, -4 in increasing order.
-4, -3, x
Let j(i) be the second derivative of -i**5/20 - 2*i**4/3 - 5*i**3/3 - 7*i**2/2 + 3*i. Let d be j(-7). Let k = 15 - d. Sort k, 0, -2 in descending order.
k, 0, -2
Let u = -3 - 1. Let g(v) = -8*v - 51. Let b be g(-6). Put 5, b, u in decreasing order.
5, b, u
Let b be (4 - 2)*3/(-3). Let p be (-3)/((4 - 17) + 4)*3. Sort 2, p, b, 0 in ascending order.
b, 0, p, 2
Let h be ((-28)/(-14))/(2/(-3)). Sort 2, -12, h in increasing order.
-12, h, 2
Let h = 0.01 - 2.51. Let j = 0.5 + h. Let t = -555 - -554.5. Put j, 2, t in descending order.
2, t, j
Let g = 1 + 11. Let q = g + -9. Let y be (-78)/(-10) + -5 + 1 + -3. Sort q, -3, y in descending order.
q, y, -3
Let x = 260 + -263. Sort 4, x, -27, 1.
-27, x, 1, 4
Suppose 22*o + 4*o - 52 = 0. Sort o, 5, 7 in descending order.
7, 5, o
Let m = 8 + -13. Let n = -34 + 34. Put n, m, -1/7, -1 in decreasing order.
n, -1/7, -1, m
Let k = 0 - -1. Suppose -48 = -105*c + 81*c. Sort k, 23, c in decreasing order.
23, c, k
Let g(x) = -3*x + 22. Let o be -6*((2 - 3) + 0). Let m be g(o). Let i = 1 + 2. Sort 0, i, m.
0, i, m
Let x = 446 - 437. Put x, -2, 17 in increasing order.
-2, x, 17
Let a = 55 - 4. Let h = a + -42. Put 1/9, 2/3, h in decreasing order.
h, 2/3, 1/9
Suppose 0 = 4*s + q + 11, 5*s + 51 = -q + 37. Put s, -4, 4, -20 in increasing order.
-20, -4, s, 4
Let n = -136 - -138. Sort -14, n, -2, -5.
-14, -5, -2, n
Suppose 18*g + 2*g + 220 = 0. Let q(x) = -3*x - 14. Let a be q(-6). Sort -1, g, a.
g, -1, a
Let b be ((-6)/12)/((-3)/18). Suppose 5*f + 25 = -0. Sort 5, f, b.
f, b, 5
Let j = -1.07 + 0.27. Let s = -1 - j. Put -3, -4, s, 0.4 in ascending order.
-4, -3, s, 0.4
Suppose l + 4 - 5 = 0. Let v be 42/(-14) - 2/(2/(-5)). Put 6, l, v in descending order.
6, v, l
Let b = 0.01 + 0.18. Let i = 0.19 - b. Sort -0.6, -2/13, i in ascending order.
-0.6, -2/13, i
Let y = -26 + 31. Suppose 0 = -4*a - y*p - 2, a + 8 = -4*p - p. Let u = 2/43 - 223/172. Sort a, 2/7, u.
u, 2/7, a
Let t = -13 - -9. Let u = 773 - 768. Sort -3, u, 3, t.
t, -3, 3, u
Let i be (-38)/90 + 4/20. Let c = 10 - -7. Let k = c + -14. Put 2, i, k in descending order.
k, 2, i
Let d = -9.8 + 14. Let i = 3.5 - d. Let t = -1.2 - i. Sort 3, t, -0.4.
t, -0.4, 3
Let l = 67 - 157. Let g = 79.4 + l. Let j = -11 - g. Put j, 3/2, -4 in decreasing order.
3/2, j, -4
Suppose 5*k + 12 = 2*k. Let c = -225 + 227. Suppose -11 = c*w + 9*w. Sort k, w, 1 in descending order.
1, w, k
Suppose 0 = -2*m - 9 - 1, m = 3*y + 1. Put -1, y, 5 in descending order.
5, -1, y
Let o(f) = f**3 - 5*f**2 + 3*f + 4. Let h be o(3). Let j(u) = -235*u - 947. Let m be j(-4). Put 2, m, h, 3 in ascending order.
m, h, 2, 3
Let j = -8 - -7.8. Let m be (-1)/4*(-20 + 0). Let d(l) = l**3 - l**2 - 2*l - 1. Let p be d(-1). Sort j, p, m in descending order.
m, j, p
Let t(m) = 17*m**2 + m. Let x be t(4). Let c be ((-8)/x)/((-1)/(-3)). Let h = 0.446 + 0.054. Sort h, -2, c in increasing order.
-2, c, h
Let c = 72 + -67. Let h be -1 - (-1)/2*-10. Sort c, -5, h, 4.
h, -5, 4, c
Let r = 445 + -1336/3. Put -2, r, -4 in ascending order.
-4, -2, r
Let l(j) = -j**3 + 2*j**2 - 1. Let k be l(2). Let n be 36/(-9)*k/4*2. Sort n, -4, 1, -5.
-5, -4, 1, n
Let v = 1035.03 - 1035. Let g(d) = -5*d + 0*d + 3*d. Let c be g(-2). Sort 5, c, v.
v, c, 5
Let k = -556 - -560. Suppose -2 - 2 = -4*w. Let n be k + (w - 2) + -3. Sort 4, n, -3 in descending order.
4, n, -3
Let p = -49 - -51. Suppose -5*f - 4*h - 27 = -p*f, h = -3. Sort f, 4, -2 in decreasing order.
4, -2, f
Suppose 5 = 2*c + 1. Suppose 5*h - 3 - c = -5*i, h = -5*i + 17. Let g = -37 + 51. Sort h, g, -5.
-5, h, g
Suppose -8*i = -7*i. Let v be (0 - i)*(5 + -2)/3. Put -5, -0.1, v, -1 in decreasing order.
v, -0.1, -1, -5
Let d be 6/33 - ((-70)/11)/(-2). Let i(t) = -t**3 - 4*t**2 - 3*t - 6. Let m be i(d). Sort 1, 0, 3, m in decreasing order.
3, 1, 0, m
Suppose 3*r - 28 = -16*h + 11*h, -2*r = -5*h + 23. Sort 0, r, 51 in increasing order.
0, r, 51
Let w = -812 - -812.3. Sort -3/4, 16/3, w in ascending order.
-3/4, w, 16/3
Let w = -7/149 + -263/745. Sort w, 463, -3 in increasing order.
-3, w, 463
Let i(c) = -2*c - 5. Let q be (-45)/(-6)*(-2)/3. Let j be i(q). Suppose 5*z - j = 0, -2*f + 3*z = 3 + 6. Put f, 0.2, -0.04 in descending order.
0.2, -0.04, f
Suppose 2*q - 3*q = -4*q. Let y = -1 - q. Sort 4, y, -5, -4.
-5, -4, y, 4
Let c = 72 - 968/13. Put -2/7, c, -4 in descending order.
-2/7, c, -4
Let c(o) be the first derivative of -5*o**3/3 + 2*o**2 - 2*o + 13. Let b be c(2). Sort 0.3, 4, b in decreasing order.
4, 0.3, b
Let u = 0.051 - 0.811. Let o = -0.59 - u. Put o, 4, -0.3 in increasing order.
-0.3, o, 4
Let j = -54 + 59. Let l be 1*j - 11/(33/9). Sort -0.1, 16, l in increasing order.
-0.1, l, 16
Let i = -88 - -90. Suppose 7*a - i = -2. Sort 69, a, 5.
a, 5, 69
Suppose 28*p - 12 = 31*p. Put p, -1, -18 in descending order.
-1, p, -18
Let n = 2278 + -584. Let g be n/238 - (-4)/(-34). Put -4, 0, g in decreasing order.
g, 0, -4
Let n = -4 + 11. Let l = 6 - n. Let t = l + 2. Sort -1, 2, t in ascending order.
-1, t, 2
Let g be -3*(4/10)/((-9)/(-525)). Let n = -73 - g. Put 0, 1, n, 5 in descending order.
5, 1, 0, n
Let t(p) = 31*p + 314. Let m be t(-10). Put -7, -2, 0, m in decreasing order.
m, 0, -2, -7
Let g = -24 + 24. Let c be -4 + (12 - (2 - (-1 - 1))). Sort c, g, -6.
-6, g, c
Suppose 0 = 2*m + 3*n - 14, 2*m + 2 = 4*m - 3*n. Let v = m - 5. Let l be -15 + 15 - (v - -1). Sort l, 5, -1 in descending order.
5, l, -1
Suppose 0 = u + 5*z + 40, -3*u + 0*z - 4*z - 98 = 0. Let i = u + 34. Sort 8, 3, 5, i.
3, i, 5, 8
Let c(y) = -2 + 11 + 0*y**2 - 5*y + 2*y**2 - 3*y**2. Let x be c(-7). Suppose -q - 3*q - 3*v = -4, -q = 5*v + 16