uppose 5*n - n + 12 = 0. Sort u, -6, n in increasing order.
-6, n, u
Let v = -24 + 31. Suppose 0*a + v*a = 35. Suppose 0 = -2*n + 4*s - 5*s - a, 4*n - 2 = 2*s. Put -4, -5, n in increasing order.
-5, -4, n
Let k = -1.2 - 3.8. Let a(t) = t**2 + 27*t + 63. Let o be a(-25). Suppose x + 3 = -3*z, -18*x = -o*x + 2*z + 2. Sort k, 2, x in increasing order.
k, x, 2
Let p be (21 + -18)*(-4)/(-3). Put 5, -6, 3, p in decreasing order.
5, p, 3, -6
Suppose 8*a + 1285 - 389 = 0. Sort -2, 2, a, -3.
a, -3, -2, 2
Suppose 0 = 13*o - 12*o - 5. Sort o, 4, 2, 9 in increasing order.
2, 4, o, 9
Suppose 1361*s - 27 = 1370*s. Sort -4, 39, -1, s in increasing order.
-4, s, -1, 39
Let p be (-9 + 256/28)*763. Put p, 3, 4, -1 in ascending order.
-1, 3, 4, p
Suppose 78*d - 25 = 73*d. Put 37, 4, d in increasing order.
4, d, 37
Suppose -4*q = 3*p + 2*p - 22, -2*p + 4 = 0. Suppose -q*n + 2 = 5. Sort n, 0.5, 0.1, 2 in ascending order.
n, 0.1, 0.5, 2
Let o = 9691/95 - 102. Sort o, -2, 1/2.
-2, o, 1/2
Let n = 958 - 957. Put 14, n, -1 in ascending order.
-1, n, 14
Let f = 53 - 55. Put f, -3, 6 in ascending order.
-3, f, 6
Let t = 249 + -254. Sort t, -3, 3, 2 in ascending order.
t, -3, 2, 3
Suppose -18*g + 16 = -14*g. Let f = -115 - -112. Sort g, 14, f.
f, g, 14
Let n = 1322 + -1315. Sort 1, -10, 3, n in increasing order.
-10, 1, 3, n
Let d = -47 - -102. Let a = d + -52. Put -16, a, 2 in descending order.
a, 2, -16
Let n = 179.54 - 181. Let q = n - 0.54. Put -0.03, q, -4 in descending order.
-0.03, q, -4
Let u be (-10)/14*32/(-80). Put -1/15, u, -0.2, 7 in ascending order.
-0.2, -1/15, u, 7
Let o be ((-76)/8 + -4)*(-12)/(-9). Put o, 5, -5 in increasing order.
o, -5, 5
Let m(w) = 3*w**2 + 5*w + 9. Let q be m(-2). Sort 4, q, 3 in ascending order.
3, 4, q
Let s = -18.9 - 3.1. Let u = s + 21.97. Sort 3, 0, 2/5, u in decreasing order.
3, 2/5, 0, u
Let i(x) = -x**3 + 5*x**2 + 6*x + 3. Let l be i(6). Let t be (9 - l - -2) + -3. Let f(k) = 3*k - 11. Let u be f(t). Put u, 3, 5 in decreasing order.
5, u, 3
Let b = -105 + 104. Suppose -o + 6 = -0*o. Sort 2, b, o in increasing order.
b, 2, o
Let i = -141 - -142. Suppose 0*n = -5*n, -2*x + 3*n - 4 = 0. Put i, -5, -10, x in ascending order.
-10, -5, x, i
Let v(c) be the second derivative of -c**4/12 + 25*c**3/6 - 27*c**2/2 + 15*c. Let d be v(24). Sort d, 6, -2 in descending order.
6, -2, d
Let l = 0.2349 + -0.3349. Let y = -0.5 + 0.3. Put y, -2/7, l, 1 in ascending order.
-2/7, y, l, 1
Let f = 27 + -66. Let v = f - -57. Put -3, 4, v, -1 in descending order.
v, 4, -1, -3
Let o be 1 + 2 + 9 + -12 + 7. Suppose 4*u = o*u + 6, 5*b = 3*u + 21. Sort 2, -3, 1, b in increasing order.
-3, 1, 2, b
Suppose 5*t + 2*j + 8 = 0, -4*t + 4*j = 9 + 3. Suppose -5*h + h + 14 = w, -5*w - 10 = 0. Put t, 1, -9, h in increasing order.
-9, t, 1, h
Let g = 0 - -0.3. Let q = 1216 - 1216.5. Sort g, 0.4, q.
q, g, 0.4
Let a = -37.1 - -37.5. Sort -8, a, 3/13.
-8, 3/13, a
Let x(r) = -r**2 + 3*r - 1. Let c be x(2). Let j be (c/2)/((-1)/(-2)). Let m = -1214 + 1218. Sort j, -5, m.
-5, j, m
Suppose -3*s = 2*s - 3*t, 5*s + 5*t = -40. Put -0.2, 5/13, 3, s in descending order.
3, 5/13, -0.2, s
Let k be 13/5 + 6/15. Let t = -0.85 + 5.85. Put k, -0.1, t, -5 in descending order.
t, k, -0.1, -5
Let m = 61 + -61. Sort -1, 8, m in ascending order.
-1, m, 8
Suppose -2*o = 3*s - 118, -4*o - 3*s = -0*s - 230. Suppose -4*m + 2*m = o. Let f be 2/8 - (-91)/m. Put 2, f, -8 in decreasing order.
2, f, -8
Let z(l) = -5*l + 1. Let s(i) = -9*i + 2. Let m(f) = 3*s(f) - 5*z(f). Let p be m(3). Let b be (220/1100)/((-1)/15). Put -12, p, b in ascending order.
-12, p, b
Suppose -43 + 7 = 3*o. Suppose -a + 3*a - 9 = 5*t, 2*a + 21 = -5*t. Sort -1, o, t in descending order.
-1, t, o
Let h(q) = q**3 - 8*q**2 + q - 7. Let u be h(8). Suppose 4*b = u + 71. Let j = -15 + b. Put 5, 1, j in increasing order.
1, j, 5
Suppose 39 = -7*b + 32. Put -4, 5, b, -38 in descending order.
5, b, -4, -38
Let r = 0.04 + 1.96. Let t = r + -1.9. Sort -0.04, 1/6, -0.3, t in ascending order.
-0.3, -0.04, t, 1/6
Suppose -3*m - 16 = 4*k, -3*m + 6 = -2*k - 2. Let w(r) = 2*r**3 + 2*r**2 - 5*r - 4. Let t be w(-1). Sort -5, 2, t, k.
-5, k, t, 2
Suppose -5*t = 5*y - 13 - 2, 0 = t + 1. Suppose -y*u + 6*u = 2. Put -5, u, -2 in descending order.
u, -2, -5
Let c(m) = -27*m**2. Let a be c(-1). Let s = -19 - a. Let k = s + -3. Put -1, k, 0 in decreasing order.
k, 0, -1
Let l(q) = 2*q + 81. Let u be l(-25). Suppose u = -7*x + 3. Put 3, 0, x in decreasing order.
3, 0, x
Let f = 21 - 21. Suppose 2*j = -4*z, f = -5*z - j + 2*j - 7. Put 2, -5, 3, z in ascending order.
-5, z, 2, 3
Let q be (-319)/(-495)*5 + (-4 - -1). Put -2/3, -0.2, q, -10 in ascending order.
-10, -2/3, -0.2, q
Let q(r) = 20*r - 4. Let o(z) = 7*z - 1. Let c(j) = 11*o(j) - 4*q(j). Let h be c(2). Suppose 4 = -0*f + 4*f, 2*a - 3*f - 3 = 0. Sort a, 5, h.
h, a, 5
Let z be (-111)/(-185)*(-4)/30. Put 2/3, z, -4/7 in ascending order.
-4/7, z, 2/3
Let u be 16/(-12)*(-5 - 77/(-14)). Let k = 7019/17 + -413. Sort -0.2, u, k in descending order.
k, -0.2, u
Suppose -12 = 4*a, 2*a = 2*s - 5*s. Let h(t) = -t + 14. Let n be h(17). Suppose 5*q = -10, 0 = 4*c - 0*q - q - 38. Put n, c, s in ascending order.
n, s, c
Let f = 0.1 + -0.1. Let j = 1.93 + 103.07. Let a = j - 110. Sort f, a, -1/2 in increasing order.
a, -1/2, f
Let z = -0.59 - -0.39. Put 12, z, 5 in descending order.
12, 5, z
Suppose 2*c - 5*t + 4 = 0, -t + 14 = -0*c + 4*c. Suppose -3*n - 15 = c*m, 2*m + 6 = 2*n - 4. Sort 4, m, -1 in descending order.
4, -1, m
Let t = -374 - -307. Sort -1, t, -2 in increasing order.
t, -2, -1
Let y be -2*(-1 - 20/(-8)). Sort 5, y, 4 in decreasing order.
5, 4, y
Let f(s) = 6*s. Let j be f(5). Let o = -0.3399 + 1.3399. Sort j, 4, o, -1 in descending order.
j, 4, o, -1
Let k = -8 + 5. Suppose -2*p + 7*p = -140. Put -1, k, p in decreasing order.
-1, k, p
Let r = -0.01 - -8.01. Let u = -7.8 + r. Put -5, u, 4 in descending order.
4, u, -5
Let s(i) = i**3 - i - 2. Let w be s(0). Suppose -2 = 3*r - 8*r - 3*h, r + 2*h + 1 = 0. Sort 3, r, w, -7 in ascending order.
-7, w, r, 3
Let k = 10 - 7. Suppose 2*i + 8 = a, -k*i + 0*i - 18 = -3*a. Let g be 2/6 - (-32)/12. Sort 7, g, a in decreasing order.
7, a, g
Let i(c) be the second derivative of -c**4/12 - 4*c**3/3 + 5*c**2/2 - 4*c. Let n be i(-7). Let h = 10 - n. Sort h, 3, 1 in ascending order.
h, 1, 3
Let j = -3.1 - -3.3. Let d = 319.5 - 320. Sort d, -5, 1, j.
-5, d, j, 1
Let p = -1 - -1.4. Let o(j) = 4*j - 33. Let i be o(8). Put i, -0.3, p in ascending order.
i, -0.3, p
Suppose l = 3*l + 6. Let k = 205/12 - 65/4. Let m = k + -1/3. Put l, 2/23, m in ascending order.
l, 2/23, m
Let k = -3.41 + 1.81. Sort 1, 0, k.
k, 0, 1
Suppose 0 = -r - 5. Let f be ((-2)/r)/(72/(-45)). Put 0.2, -4, f in decreasing order.
0.2, f, -4
Let v be ((-12)/15)/((-68)/(-35) + -2). Suppose 2*a = -5*k - 0*a + v, -4*a + 8 = 0. Put -4, 1, k in increasing order.
-4, 1, k
Let q = 2 + -2.1. Let u = -234.24 + 234.2. Put 0.4, u, q in descending order.
0.4, u, q
Let z(o) = o**2 - 10*o + 8. Let l be z(9). Let v be -1 + 9 + (-4 - 1). Put l, v, 0, 9 in increasing order.
l, 0, v, 9
Let l = 444.7 + -412. Let r = l + -33. Put r, 3, 0.5 in decreasing order.
3, 0.5, r
Let o(s) = s**3 + 6*s**2 + 11*s + 6. Let a be o(-2). Put a, -4, -77 in decreasing order.
a, -4, -77
Suppose 4*c = -1 - 11. Let z be (0 - -2)*(-1 + 2). Sort -5, z, c in decreasing order.
z, c, -5
Let x = -0.4 - 8.6. Let p = x - -9.06. Let o be 406/(-308) - (-6)/4. Put -2/11, p, o in descending order.
o, p, -2/11
Suppose 2*x = -4*c - 4, -5*x = 424*c - 426*c + 10. Let z(t) = t**3 - 5*t**2 - 6*t - 4. Let u be z(6). Put c, 1, u, -3 in descending order.
1, c, -3, u
Let k = 3 + 0. Let p be (6/(-4))/(k/(-2)). Put p, 2, 5 in descending order.
5, 2, p
Let s = -20.4 - -22.4. Sort -0.4, 0.5, s, 3 in descending order.
3, s, 0.5, -0.4
Let b = 29 + -30. Put 105, 3/5, b, -2/17 in decreasing order.
105, 3/5, -2/17, b
Let n be 0*((-12)/4 - -4). Let l = -0.337 - 0.063. Put n, -1, l, 9 in increasing order.
-1, l, n, 9
Let z = -58 - -94. Let f = z + -33. Put 1, 10, f in increasing order.
1, f, 10
Let r be -6 + -4 + (-5 - -5) + 9. Put r, 0.5, -5 in decreasing order.
0.5, r, -5
Let g be 0/(-1)*8/(-16). Suppose z + z = g. Let i = 18 + -24. Put z, 4, i in ascending order.
i, z,