ose -i*t = -t + 60. Put t, j, 5 in decreasing order.
5, j, t
Suppose 9*m = 4*m - 5*r + 140, 2*m + 5*r = 71. Let c = m - 29. Suppose 0 = 4*w - 6*w - 2. Put c, -4, w in decreasing order.
w, -4, c
Suppose u = 4*l - 12, 0 = -3*u - 4*l + 1 + 27. Let v(p) = 9*p + 1. Let f be v(2). Sort 1, f, u in decreasing order.
f, u, 1
Suppose 5*n = 3*q + 2*n + 9, 8 = -2*q + n. Let l be 2/(-6) - (-2)/6. Sort q, l, 3 in descending order.
3, l, q
Let t = -2600.078 + 2595. Let u = 0.168 + t. Let z = 0.09 - u. Put z, 1/2, -0.2 in ascending order.
-0.2, 1/2, z
Let p = 767 - 761. Put p, -4, 16 in descending order.
16, p, -4
Let t = 1776.2 - 1776. Put -9, t, -14, -3 in descending order.
t, -3, -9, -14
Let b = -1860.03 + 1870. Let z = b + 0.03. Let n = z + -14. Sort n, 5, -3 in decreasing order.
5, -3, n
Let d be ((-132)/(-2541))/((-856)/28). Sort d, -3, 0.4.
-3, d, 0.4
Let k be 0 - 0 - (-1 - 0). Let t be 3 - (3 + -4 + 9). Let g = -5 + 2. Put k, g, t in increasing order.
t, g, k
Let b(w) = -w**3 + 5*w**2 + 2*w - 22. Let l be b(4). Put 0, 4, -11, l in decreasing order.
4, l, 0, -11
Let x(s) = s**2 - 9*s + 13. Let r be x(6). Sort r, 11, -57 in ascending order.
-57, r, 11
Let z be (-4)/56 - 60/(-56). Suppose i - 1 = 3. Suppose -i*p - j + 8 = -5, 0 = 3*p + 5*j - 31. Put 0, p, z in increasing order.
0, z, p
Let f(n) = n**2 - n - 4. Let c be f(3). Suppose -c*h + 4 = -h. Let s(v) = -v**2 + 23*v - 127. Let r be s(14). Sort h, r, -4 in ascending order.
-4, r, h
Let s be (-64)/(-4) + 3/(-3). Let r be (6/s)/((-1)/5). Let o(l) = l + 2. Let m be o(r). Sort m, 2, -3 in increasing order.
-3, m, 2
Let g be (-3)/9 + (-2)/6. Let x = -54.5 + 59.5. Sort x, g, 0 in decreasing order.
x, 0, g
Let y = -59.89 + -1.11. Let x = y - -60.7. Put 0.1, x, -2/9, -5 in decreasing order.
0.1, -2/9, x, -5
Let x = 329/4 + -83. Put 0.1, x, 2, -6/31 in decreasing order.
2, 0.1, -6/31, x
Let c = -3.2 - 10.8. Let o = -6 - c. Let h = 77/416 - 1/32. Sort -4, h, o in descending order.
o, h, -4
Let a(o) = -o + 13. Let w be a(13). Suppose 5*g - 10 = -3*l, -3*g = -w*g - 5*l - 40. Sort 2/23, g, 1/10 in descending order.
g, 1/10, 2/23
Let b = -26 - -106. Let d = b - 83. Suppose u = -u - 8. Put d, u, 4 in decreasing order.
4, d, u
Let w be -2*(-7)/((-252)/30). Sort 15, -5, w in descending order.
15, w, -5
Let h = -32 - -32.24. Let i = 2.24 - h. Let y be (-1)/5*(-1)/(-1). Sort 4/5, i, y.
y, 4/5, i
Let b be 4/(-14) + 26/(-56). Let c = -5/62 - 13/31. Sort c, b, 0.3 in decreasing order.
0.3, c, b
Let w be (-51)/90 - 3/(-18). Let h(z) = -z + 5. Let s be h(7). Sort s, w, -5 in descending order.
w, s, -5
Let n = 236 + -236.03. Sort -5, n, -0.2, -4 in decreasing order.
n, -0.2, -4, -5
Let d = 0.163 + 46.737. Let q = -47 + d. Sort -5, q, -5/3 in decreasing order.
q, -5/3, -5
Let u be (3/15)/(54/(-180)). Suppose 2*y = y + 5. Sort 4, y, -5/6, u.
-5/6, u, 4, y
Let t = -80 - -83.3. Let c = 3 - t. Let k = 0.11 - -4.89. Sort -2/3, k, c.
-2/3, c, k
Let c be -3*6/(-5)*20/6. Let p(z) = -21*z - 101. Let v be p(-5). Put v, -4, c in decreasing order.
c, v, -4
Suppose 6 = -2*w - 0*w, -2*p + 25 = -5*w. Suppose 0 = 17*j - 35 - 33. Suppose -j*r - 110 = -9*r. Put -2, p, r in descending order.
r, p, -2
Suppose 21*d = 41*d - 40. Sort 3, 0, d, -6 in ascending order.
-6, 0, d, 3
Let p = -0.0677 + -1.1123. Sort -4, -3, p in increasing order.
-4, -3, p
Let s be 7/4 + 35/140. Put 5, -1/6, 2/5, s in descending order.
5, s, 2/5, -1/6
Let u = -6 + -8. Sort u, -2/5, 1.
u, -2/5, 1
Let q(s) be the second derivative of s**4/12 + 3*s**3/2 + 3*s**2 - 8*s. Let p be q(-10). Let n be p/(-33) - (-4)/(-22). Put 2, n, -6 in descending order.
2, n, -6
Suppose 3*n - n = 0. Suppose 0 = -4*j - 3*h - 8 + 1, -2*j - 5*h - 21 = n. Let f be 1/j - 14/(-4). Put -3, -6, f in descending order.
f, -3, -6
Let k = -10 + 5. Let u = -28 + 80. Let h be (-1)/4 + (-455)/u. Put 3, h, k in decreasing order.
3, k, h
Suppose -9*v = 2*v - 33. Put -1/8, -5/4, v, 2/11 in descending order.
v, 2/11, -1/8, -5/4
Let b = -15 - -15. Let u = -0.11 + 4.11. Let n = 13 - 12.5. Sort u, n, b.
b, n, u
Let j(n) = n**3 - 2*n**2 - 5*n - 4. Let h be j(-1). Sort 2, h, -0.6, 4 in descending order.
4, 2, -0.6, h
Let f = 817/9 - 4151/45. Let t = -5/3 - f. Sort -12, -0.1, -3, t.
-12, -3, t, -0.1
Suppose 2*i = -3 - 11. Let c(f) = -2*f - 12. Let w be c(i). Sort 5, w, 0.
0, w, 5
Suppose -4*h = -2*g + 20, 0 = g - 51*h + 54*h + 15. Let c(r) = r**3 - 5*r**2 + 6*r - 3. Let f be c(4). Put -3, -5, f, g in decreasing order.
f, g, -3, -5
Let k = 94 + -96. Let s = -0.5 - -0.8. Let l = s - -2.7. Put l, -2/3, k in increasing order.
k, -2/3, l
Let s = -537 - -537. Put s, 1, -5, 94 in increasing order.
-5, s, 1, 94
Let l = 1.6 + 0.9. Let m = -0.5 - l. Put m, 1/5, 2 in descending order.
2, 1/5, m
Suppose 0 = 4*v - 4*d, -3*v = -7*d + 3*d. Let w be ((-1)/2)/((-2)/(-16)). Let c(q) = -q**3 + 5*q**2 + 7*q - 5. Let u be c(6). Put u, w, v in decreasing order.
u, v, w
Let v(d) = d**2 + 4*d. Let x be v(-2). Let t = -0.12 + 0.12. Let y = 0.5 + t. Put 0.3, x, y in increasing order.
x, 0.3, y
Suppose 3*z - 3*x = -0*z + 9, 0 = 2*x - 4. Let p be (1/2)/(9 - (-730)/(-80)). Put z, 8, -1, p in ascending order.
p, -1, z, 8
Suppose 4*x = -3*j + 1, 0 = -3*x - 5*j + 5 - 7. Put 42, 6, x in descending order.
42, 6, x
Suppose 3*t + 4 = t. Let r be (-3)/(1 + (-6)/12*4). Put t, -5, r, -3/7 in increasing order.
-5, t, -3/7, r
Let g = 764 + -763. Sort 21, -2, g, 5 in decreasing order.
21, 5, g, -2
Let g = -381 - -376. Suppose 2*d - 3*d - 3 = 0. Put 3, -1, g, d in decreasing order.
3, -1, d, g
Suppose 0 = -v + 5*s + 86 + 13, v - 2*s - 105 = 0. Suppose v = -5*n + 129. Sort 11, -1, n, -3 in increasing order.
-3, -1, n, 11
Let f = -19 - 13. Let l = f + 34. Sort -0.2, -9, l in ascending order.
-9, -0.2, l
Let y = -0.072 + -31.928. Let h = y - -31. Put 0.17, h, 0.5, -4 in descending order.
0.5, 0.17, h, -4
Suppose 129*y = 5006 + 6733. Put 1, 4, -1, y in ascending order.
-1, 1, 4, y
Let n be (12/(-9))/(6/9). Let x = -62 + 188/3. Sort 0.5, 1, n, x in descending order.
1, x, 0.5, n
Let p = -0.06 - -0.46. Suppose 2*h = i + 17, 4*h = -84*i + 80*i + 28. Put 3/4, 2/7, h, p in descending order.
h, 3/4, p, 2/7
Let y(r) = r**2 - r - 4. Let f = 64 + -62. Let k be y(f). Sort k, -5, 26 in decreasing order.
26, k, -5
Suppose -3*f - 9 + 20 = 5*g, 4*g - 19 = f. Put g, 2, 1, -23 in descending order.
g, 2, 1, -23
Let a = -2/16613 - 6910990/149517. Let g = a - -46. Let y = -1219 - -1222. Put g, y, -1 in descending order.
y, g, -1
Let b = -95 + 49. Let v = 1969 - 5768/3. Let s = v + b. Put s, -2, -0.5 in descending order.
s, -0.5, -2
Let k = 0.283 + 0.017. Let s = 4 + -3.7. Let g = k - s. Sort -3, -2/5, g in descending order.
g, -2/5, -3
Let s be (2/(-4))/(0 - -2). Let a = 24 - 19. Let x = -57 + 57.2. Put s, a, x in increasing order.
s, x, a
Let a be ((-21)/(-63))/((-1)/(-12)). Sort -1, -131, a, 0 in ascending order.
-131, -1, 0, a
Let c be 2/(-8) - (-75)/204. Let s = 63 - 32. Let u = s + -31.1. Put 1, c, u in ascending order.
u, c, 1
Suppose -3*l + 1 = 2*x, -1 = 6*x - 5*x + 3*l. Let j be (-1)/(-2 - x/4). Sort j, 1, 5, -1.
-1, j, 1, 5
Let c = -5.01 + 0.01. Let y = -34.4 - -42. Let b = y + -7. Put c, b, 0.3 in descending order.
b, 0.3, c
Suppose -2*a - f - 3*f = -6, 3*a - 2*f = -15. Suppose 236*l + 20 = 232*l. Let q(k) = k**3 - 5*k**2 + 3*k + 3. Let s be q(4). Sort l, s, a in descending order.
s, a, l
Suppose -65*u + 192*u = 127. Sort u, 4, 9, 3 in increasing order.
u, 3, 4, 9
Let q(d) = 5*d - 147. Let w be q(30). Sort 1, w, 105 in increasing order.
1, w, 105
Suppose -3*m - 7*u - 1 = -2*u, 5*m - 9 = -3*u. Suppose -2*r + 3*r + 7 = 0. Sort r, m, -3.
r, -3, m
Let p be (0 + (-1)/(-3))/(30/900). Suppose 0*a + 2*a + p = 0. Let g = -1 + 4. Sort 1, g, a.
a, 1, g
Let h be (-285)/90 - (-42)/36. Sort -5, h, 35.
-5, h, 35
Let v be 1 + 3/(-4) - -4*98/224. Let w = -1 - -1.5. Sort 4, w, -4, v in ascending order.
-4, w, v, 4
Suppose -3*g + 3 = -4*r + 49, -5*g = r + 92. Put -5, 5, g in ascending order.
g, -5, 5
Suppose -5*i + n - 25 = -4*n, n = -2*i + 5. Let u(v) = -3*v**2 + 2*v - 4. Let d be u(i). Put 2, d, -2 in increasing order.
d, -2, 2
Suppose -2*v + 6 = -3*m + 31, -4*m + 34 = -3*v. Let o(g) = -g**3 + 8*g**2 - 8*g + 5. Let q be o(m). Let d be q/(-16)*-2*-1. Put -0.3, d, 0 in decreasing order.
d