ppose 5*k = -2*u + 2*k - 9, 4*u + 2*k - 2 = 0. Put u, 1, s in descending order.
u, s, 1
Let o(z) = -z - 13. Let r be o(-8). Sort -3, r, 61 in descending order.
61, -3, r
Let y = 611/4 + -152. Let h = 0.93 + -0.13. Let j = h - 1.1. Put 4, y, j in descending order.
4, y, j
Suppose 3*m + 14 = 4*a + 38, 0 = 4*a - 4*m + 24. Sort 10, -2, -0.2, a in descending order.
10, -0.2, -2, a
Let q = -1866 - -1867. Sort 16, q, -4, 3.
-4, q, 3, 16
Let m(c) = c**2 - 2*c + 6. Let a be m(0). Sort 12, -4, a in decreasing order.
12, a, -4
Let h = -148 + 254. Let m = -106.2 + h. Let b = -0.4 + 2.4. Sort b, -2/13, m.
m, -2/13, b
Let h(n) = -n**2 + 3*n + 379. Let s be h(21). Let o(b) = b**2 - 5*b + 2. Let z be o(8). Sort -4, s, z in descending order.
z, s, -4
Let n be (-1350)/270*(0 - (-2)/2). Put 38, n, -4 in increasing order.
n, -4, 38
Let h = -0.053 - -42.053. Let m = 41 - h. Let w = 4.6 + -5. Sort 11, m, w in descending order.
11, w, m
Let k(y) = -y**3 - 20*y**2 - 30*y + 33. Let n be k(-18). Let v be n/(-25) + (-1 - -3). Sort -4, -3, v, -6 in increasing order.
-6, -4, -3, v
Let i = -212.6 + 213. Let j = -0.19 - 0.01. Put j, 3, i in descending order.
3, i, j
Let z = 1638 + -1648. Sort z, -3, -2, 1 in descending order.
1, -2, -3, z
Suppose -4*g + 5 = -39. Suppose 4*x - 5*x + 1 = f, 0 = 3*x + 5*f - g. Let t be (-34)/(-8) + 1/(-4). Put 0, t, x in ascending order.
x, 0, t
Suppose -4*b + 13 = -17*b. Let g be (15/(-10))/(1/(-2)). Sort g, -4, 2, b in increasing order.
-4, b, 2, g
Let m = 64 + -67. Let y be (4/6 - (-13)/39)*m. Sort -5, y, 4 in descending order.
4, y, -5
Let p = -232 - -234. Put 90, -4, p in ascending order.
-4, p, 90
Suppose -4*h - l = -7*h + 7, 3*h = -3*l + 15. Let q be -6 - (-1 - 0)*(12 - 11). Put q, h, 2/13, -1/5 in decreasing order.
h, 2/13, -1/5, q
Let c = -31/11 + 29/11. Suppose -x - 2*x - 4 = 5*w, -4*w - 3*x - 2 = 0. Sort -0.1, c, w, -2/3 in descending order.
-0.1, c, -2/3, w
Let a(y) = -2 + 2*y**3 + y + 0 + 3*y**2 + 1 - y**3. Let v be (-1)/5 - 42/15. Let d be a(v). Sort d, -5, -3 in decreasing order.
-3, d, -5
Suppose 0 = -7*r + 46 - 11. Put 8, -3, r, -2 in increasing order.
-3, -2, r, 8
Suppose 6*y + 14 - 2 = 0. Sort 1, 14, y in ascending order.
y, 1, 14
Suppose -5*h = -4*m + 73, -2*h - 7 - 15 = -m. Suppose -m = -i - 2. Suppose -i = -5*y - 4*d, 2*y = 4*d - 2*d - 14. Sort 5, 2, y.
y, 2, 5
Let d be 2/4 - (-980)/40. Suppose 0*x - d = 5*x. Let z(r) = -r**2 - 13*r - 10. Let s be z(-12). Put -4, x, s in descending order.
s, -4, x
Let i(x) = 6*x**3 - x**2. Let g be i(1). Let o = 0.1 + -0.2. Let f(s) = -4*s**2 + 27*s + 8. Let d be f(7). Put d, o, g in increasing order.
o, d, g
Suppose -35 = -4*g - 3. Put 2, 7, g, 4 in decreasing order.
g, 7, 4, 2
Suppose 874 = -4*s + 870. Suppose 0 = -5*l + j - 9, j - 5 = 7*l - 4*l. Put -7, s, l in ascending order.
-7, l, s
Suppose -3*u - 7 = -3*w - 25, -4*w - u - 9 = 0. Sort w, 5, 1, 9.
w, 1, 5, 9
Let l(m) = -m**3 + 4*m**2 - 5*m + 4. Suppose k + k - 2 = -4*i, 4*k + 14 = -2*i. Let j be l(i). Let a be (8/(-12))/((-4)/6). Sort a, -4, j in decreasing order.
a, j, -4
Suppose 0 = 8*l - 62 + 54. Sort l, 2, 125.
l, 2, 125
Suppose -4*c = 2*v, -5*v + 7*c + 13 = 4*c. Put -5, -1, 9, v in increasing order.
-5, -1, v, 9
Suppose 0 = -2*k - 2*k - 8, -4*h + 5*k = -74. Let m = -13 + h. Let s = m + 0. Sort 2, 6, s in descending order.
6, s, 2
Let u = -26 - -24. Let i be (-2)/(-22)*(-1 + -5). Sort 0.01, u, i in decreasing order.
0.01, i, u
Suppose 12*w - 9*w = 15. Let o(g) = g**3 - 4*g**2 - 2*g + 5. Let v be o(4). Let n = 1 + v. Sort n, w, 3 in decreasing order.
w, 3, n
Let l be 23/138 - 329/(-6) - 1. Put -4, l, 2 in increasing order.
-4, 2, l
Let y = 7318/7 - 1045. Sort 2/7, 0.1, y, 0.02 in descending order.
y, 2/7, 0.1, 0.02
Suppose 232 = 76*h + 1980. Put -4, h, 1 in increasing order.
h, -4, 1
Suppose -3*c = -2*p - p - 6, 5*p + 4*c = -10. Sort 4, p, -3, 6 in descending order.
6, 4, p, -3
Let z = -4.369 + 0.369. Put -2/3, -0.03, 2/7, z in descending order.
2/7, -0.03, -2/3, z
Let t = -0.0341 + -4.9659. Sort -2/3, t, -1.8 in increasing order.
t, -1.8, -2/3
Suppose -14 - 11 = 5*m. Let y(w) = -2*w. Let d be y(m). Let c be 5/2*(-8)/d. Sort c, 0, -3 in increasing order.
-3, c, 0
Let b(p) = -4*p - 35. Let z be b(-8). Suppose -2*r + 7*w = 4*w, 0 = -5*r - w + 17. Put -1, r, z, -2 in increasing order.
z, -2, -1, r
Suppose -t - 3*g = 3, -g + 5 - 2 = t. Suppose t*n = n + 10. Put n, 0, 3 in decreasing order.
3, n, 0
Suppose 14*k + 371 - 805 = 0. Sort k, -4, -6 in decreasing order.
k, -4, -6
Suppose -7*l + 6*l - 45 = -10*l. Suppose 5*f + 0 = 20. Let a = -7 + f. Sort a, 1, l.
a, 1, l
Suppose 2*f + 3*r = 0, 2*r - 3 = -3*f - r. Suppose -3*g + 5*g - 46 = 0. Let s = -22 + g. Put f, s, -4 in decreasing order.
f, s, -4
Let q be (-42 - -44)*(-1 + 118/10). Let m = q - 22. Put 16, m, -3, -2 in ascending order.
-3, -2, m, 16
Let u be ((-7)/((-245)/30))/((-1)/(-84)). Let s = -77 + u. Suppose -3 = 4*o - o. Put s, 5, o in ascending order.
s, o, 5
Let p = -2 + 2. Let k = 20.999 + 0.001. Let d = k + -20.3. Put -1/5, p, d in descending order.
d, p, -1/5
Suppose -p + 8 - 4 = 0. Suppose w - p = 2*w. Sort 0, w, 2 in descending order.
2, 0, w
Let t be 5/(-35) + (-2)/(-14). Suppose t = -3*d + 15, 0 = -3*u - 2*d + 11 - 1. Let w be (u + -4)*-1 - -1. Sort -5, w, 1.
-5, 1, w
Let a = -2.631 + 0.111. Let o = a - -0.52. Put 3, -5/4, o in decreasing order.
3, -5/4, o
Suppose 0*v - 3*v = -15. Suppose 0*q - q - v = 0. Let l = 2.78 + 1.22. Sort 0.3, l, q.
q, 0.3, l
Let p = 357 + -357.8. Let v = -0.5 - -0.2. Sort p, -5, v in increasing order.
-5, p, v
Let g = 0.0532 - 0.2532. Put -6, 0.07, g in increasing order.
-6, g, 0.07
Let k = 103.047 + -103. Let p = k + 4.953. Sort -5, -4, -2, p in ascending order.
-5, -4, -2, p
Let l = 1.8 + -1.7. Let r = 7 - 7.1. Let m = l - r. Put m, -0.1, 0.3 in ascending order.
-0.1, m, 0.3
Let u = 226.3 - 226. Sort 3, 0.07, -1, u in increasing order.
-1, 0.07, u, 3
Let w = 172 - 171.31. Let i = w + -0.99. Put i, 1, -5/2, -4 in descending order.
1, i, -5/2, -4
Let a be (-302)/2869 - 53/38. Put -0.5, 1/18, a, 0.6 in descending order.
0.6, 1/18, -0.5, a
Let p(g) = -g**3 + 13*g**2 - 9*g - 21. Let a be p(12). Suppose 30 = a*n - 15. Put 0, n, 1, -2 in ascending order.
-2, 0, 1, n
Let t be (-175)/7*(5 - 3)/2. Let l be t/(-5) + 0 - 0. Put l, 4, -2, 1 in decreasing order.
l, 4, 1, -2
Let l = 6 + -4. Let p = -2.5 + l. Suppose -3*j = -3*r + 24, 2*j - 2 = -4*r - 0. Put p, -2, r in increasing order.
-2, p, r
Suppose 3*v - 4 + 0 = -l, -5*l = 3*v - 20. Let k = -436 - -440. Sort v, k, 3 in ascending order.
v, 3, k
Let t(m) = -m - 5. Let u be t(-6). Let c = -20 - -20. Let i be (c/(-4))/(2 + -5). Sort 2, i, u in increasing order.
i, u, 2
Let j(y) = y**2 - 8*y + 10. Let f be j(5). Let o be 28/(-182) - 30/(-26). Sort -4, o, f in descending order.
o, -4, f
Let c = -7 + 6. Let h be (-22)/(-11) + -2 + 1. Sort c, -8, -2, h in decreasing order.
h, c, -2, -8
Let t be 6*(1 - (-2)/(8/(-5))). Let a = 0.16 - -9.84. Let g = -14 + a. Sort g, t, -5/6 in increasing order.
g, t, -5/6
Suppose -2*m + 1 = 4*g + 5, 3*m - 3*g = -15. Put 164, m, 4 in ascending order.
m, 4, 164
Let m = 824 - 821. Sort -6.1, m, -4.
-6.1, -4, m
Let x = 0.2 - 5.2. Let s be (-187)/22 + (-2 - -1)/2. Let q be s/21 + 1/35. Sort -1, q, x in descending order.
q, -1, x
Let l be ((-4)/14)/((-116)/203). Sort 0.8, l, 3/4 in increasing order.
l, 3/4, 0.8
Suppose 59 = 4*l + 47. Suppose -2*i + 3*i - 2 = 0. Suppose 8*b - 28 - 4 = 0. Sort l, b, i in increasing order.
i, l, b
Suppose 0 = -4*h - 5*z, 0*h + 5*z = 2*h. Let b be ((-10)/(-6))/(h + -2). Put b, -4, 0 in increasing order.
-4, b, 0
Let l be (((-800)/15)/(-20))/((-4)/(-6)). Sort 1, -5, l in decreasing order.
l, 1, -5
Let p = 0.0277 - 0.1277. Sort -267, 1, -5, p in decreasing order.
1, p, -5, -267
Suppose -s + 25 = 5*g, -g + 5 = -0*s - 5*s. Put 4, g, 0, -3 in increasing order.
-3, 0, 4, g
Let c = 9635 + -9631. Let t be 2*-1 - 2/1. Sort t, 0, c.
t, 0, c
Let o = 1.13 + -1.74. Let k = -1.61 - o. Put -0.02, -0.3, -2, k in increasing order.
-2, k, -0.3, -0.02
Suppose -216 = -3*r - 2*t, -8*r - 3*t + 361 = -3*r. Let j = r - 72. Put -5, j, 3, 5 in descending order.
5, 3, j, -5
Suppose 2*u - 4*q = 16, -2*u + 3*q - 7*q - 24 = 0. Let y(k) = -k**3 + 4*k**2 - 1. Let b be y(4). Sort u, b