a - 15, -4*a + 16 = 4*s. Suppose 3*n + 27 - 9 = 5*j, 4*n + 19 = s*j. Put 5, n, -2 in increasing order.
-2, n, 5
Suppose -2*c + 0*c = -4*r + 12, -r + 2*c + 3 = 0. Let y = 18 - 13. Suppose 5 - 13 = 2*n. Put y, n, r in ascending order.
n, r, y
Let f(x) be the third derivative of x**5/60 + x**4/8 + x**3/6 + 4*x**2. Let k be f(-4). Suppose -k*n + 6 = -3*n. Sort -1, n, 0 in descending order.
n, 0, -1
Let h be -2*-1*2/24. Suppose -2*k + 7*k = -2*r - 25, -4*r - 2*k - 58 = 0. Let m be 10/18*6/r. Sort h, 1, m.
m, h, 1
Let m(u) = u - 8. Let i be m(12). Suppose 0 = 2*f - 0*f - 6. Put -5, f, i in descending order.
i, f, -5
Let g be (-10)/(-45) - (-52)/(-153). Let w = 1.78 - 2.78. Put 8, g, w in descending order.
8, g, w
Let s = -1 + 0.9. Let m(d) = -17*d**3 - 2*d**2 - d. Let h be m(-1). Let x = h - 13. Sort 0, x, s in descending order.
x, 0, s
Let u = 0.021 + -0.421. Sort -5, u, 0.1 in descending order.
0.1, u, -5
Let m = 4.2 + -4. Let h = 139774 - 2515279/18. Let x = h + -73/2. Put 4, m, x in descending order.
4, m, x
Let p = 187 + -2059/11. Let m = -1125/7 - -161. Put -1/9, m, p in decreasing order.
m, -1/9, p
Suppose -l + 18 = 3. Suppose -3*a - 3 = -l. Put -2, a, 2 in decreasing order.
a, 2, -2
Suppose 13 = 2*o - 4*a - 9, -2*o + 8 = 3*a. Put -4, 5, o, -1 in decreasing order.
o, 5, -1, -4
Let o be ((-3)/(-12))/(7/(-12)). Suppose 4*p = -9 - 7. Put 0.4, p, o in ascending order.
p, o, 0.4
Let u(c) = c**2 - 11*c + 9. Let m be u(10). Sort 3, m, 5.
m, 3, 5
Let a be ((-1)/2)/((-1)/8). Let t = -9/34 - -30/17. Sort a, t, 0.3 in decreasing order.
a, t, 0.3
Let g be (-26)/117 + 29/9. Sort g, 0, 2 in ascending order.
0, 2, g
Let j be -4 + 4*(-93)/(-84). Put 1, j, 0.04 in descending order.
1, j, 0.04
Let l be 3/5*(-1)/(-3). Let f = 72 - 74. Put l, f, 1/7 in descending order.
l, 1/7, f
Let o = -1 - -2. Let g = o - 1. Let m = 0.2 - 0.6. Sort 1/2, g, m in decreasing order.
1/2, g, m
Let c be (-1)/(2 + 0)*-2. Suppose -5*l - h = -6*l - c, 3*l + h - 13 = 0. Suppose -l*w - 5 = 2*w. Sort w, 5, -3 in decreasing order.
5, w, -3
Let w(o) be the first derivative of o**3/3 - o**2/2 - 2*o + 2. Let s be w(0). Put s, -8, -1 in descending order.
-1, s, -8
Let j be (1 - 0)*(-8)/(-2). Let c = -51 + 57. Put c, j, 0 in increasing order.
0, j, c
Suppose r - 99 = -99. Sort -1, -4, r, 6 in descending order.
6, r, -1, -4
Let t = -3 - -4. Let l be (2348/288 - 1) + 2. Let u = l - 75/8. Sort u, t, -0.4 in decreasing order.
t, u, -0.4
Let b be (6/(-4))/((-54)/8). Suppose -2 = -3*y + 1. Sort -2/5, b, y in descending order.
y, b, -2/5
Let b be (2 - 5)*2/(-2). Sort -5, b, -1 in increasing order.
-5, -1, b
Suppose 7 = 3*i - 2*i + 3*n, n = 4*i + 24. Let o = -62 + 65. Sort i, 5, o.
i, o, 5
Let i(a) = -a**3 + 7*a**2 - 5*a - 5. Let y be i(6). Suppose -5*m + 4*m = 0. Suppose m = -3*k - k. Sort y, -5, k in increasing order.
-5, k, y
Let t = 0.03 + -0.43. Let l be 6/(-8)*(-64)/180. Let q = l - 1/60. Sort q, t, 0.5 in descending order.
0.5, q, t
Let c be ((-6)/9)/((-8)/3). Suppose -4*m + 2 = 2*y, 3*y = -0*y + 5*m - 30. Sort y, c, -0.3.
y, -0.3, c
Let z = 0.31 + 0.29. Sort 2/9, 3, z in ascending order.
2/9, z, 3
Let w(r) = 4*r**2 - 8*r + 3. Let d be w(2). Put 5, d, 4, 1 in descending order.
5, 4, d, 1
Let y = -0.07 - -0.12. Let z = y - 1.25. Let d = 0.7 + z. Sort d, -4, 3 in descending order.
3, d, -4
Let u be 6/(-8) + (-92)/(-16). Suppose 7 = u*t + 2*d, -3*t + 5*t + 4*d = -10. Sort -1, 0, t.
-1, 0, t
Let k be (1 - 1)/(1 - -1). Let d(y) = y - 5. Let x be d(k). Let h = 62.6 - 63. Put 5, h, x in ascending order.
x, h, 5
Let x be -3*(-3 - -2) + -2. Let u be x - (-2 - -3)*-1. Sort u, 5, 3.
u, 3, 5
Let h = 46.5 + -44.61. Let s = h - -0.11. Sort s, -5/3, 1.
-5/3, 1, s
Suppose 6*s - 3*s + v = 19, 2*s + v - 14 = 0. Suppose -4*d + 0*w - s*w = -25, -2*d - 2*w + 12 = 0. Let t = -11 - -7. Put d, 4, t in decreasing order.
d, 4, t
Let y = 8.83 - -0.17. Let u = y - 6. Let a = 0.14 + -3.14. Sort 0, u, a in descending order.
u, 0, a
Let q = -251/6 + 42. Let b = 50 + -203/4. Sort q, b, -2/3.
b, -2/3, q
Suppose 0 = -0*x - 5*x. Suppose -3*k - 3 = -0*k. Let u be (3 + k)/(2/5). Sort u, x, -3 in ascending order.
-3, x, u
Let f(j) = -j**2 + 8*j + 5. Let q be f(9). Sort 4, 18, q in ascending order.
q, 4, 18
Let x(k) = -k**2 + 9*k - 5. Let b be x(8). Let n = -0.4 - 0. Let r = -0.3 - n. Put r, -0.3, b in ascending order.
-0.3, r, b
Suppose 0*s = -3*s - 6. Let t be (-54)/4 + 9/(-6). Let c be 3*(-1)/(9/t). Sort 0, s, c in descending order.
c, 0, s
Let k = -0.2 + 0.2. Let l = 0 - k. Suppose 9 + 6 = 5*q. Sort q, l, 4 in decreasing order.
4, q, l
Let r = -25 - -22. Put -1, 3, r in decreasing order.
3, -1, r
Let y(m) = -m - 13. Let i be y(-10). Let t be i*(1 + 22/(-18)). Let x be 2/(-5) + (-28)/30. Sort 0, x, t in decreasing order.
t, 0, x
Suppose -u - 4*z = 15, -3*u - 27 = -4*z + 2. Suppose -4*p + 9 = -p. Put 5, u, p in increasing order.
u, p, 5
Let j = 23 - 22.9. Sort 1/5, 2/5, j, -2/5 in descending order.
2/5, 1/5, j, -2/5
Let x = 21 - 31. Let m(d) = -d**3 - 9*d**2 + 10*d + 4. Let i be m(x). Put -1, 1, i in ascending order.
-1, 1, i
Let u = 51 - 47. Let w = 1 + -1.5. Let y = -37/15 + 9/5. Put y, w, u in increasing order.
y, w, u
Let v = -30 + 28. Sort -0.5, v, -3, 4/9 in increasing order.
-3, v, -0.5, 4/9
Let n(p) = -2*p. Let f be n(-1). Suppose t = q + 7, f*t - 7*t - 2*q = 0. Suppose z + t*g = 2, 0 = 3*g - 3 - 3. Sort -5, 3, z.
-5, z, 3
Suppose -19 = 3*g - 4*o, g = 2*g - 2*o + 7. Sort 4, g, 5.
g, 4, 5
Let c = 153 - 147.93. Let d = -0.07 + c. Let v be (-35)/22 + (-57)/(-38). Sort d, -0.3, v in ascending order.
-0.3, v, d
Let x(v) = -v**3 + 4*v**2 + v - 4. Let u be x(5). Let n be (-52)/u + 4/(-6). Sort n, -2, 0.08 in ascending order.
-2, 0.08, n
Let b = -23/7 - -193/63. Sort b, 0.1, 1 in decreasing order.
1, 0.1, b
Suppose 3*u = 7*u + 28. Suppose 4*s = 3*g - 40, -6*s + s + 4*g = 50. Let m = u - s. Put 4, 5, m in descending order.
5, 4, m
Let w = 0.012 + 0.088. Put -3, 1, w in ascending order.
-3, w, 1
Let q be (-1 + 3 - 5)/(-1). Suppose -q*d + 6*d - o + 14 = 0, -3*d - 4*o + 11 = 0. Sort d, -0.3, -4.
-4, d, -0.3
Let b = -59 - -56. Let s = 2 - 7. Put b, s, 4 in decreasing order.
4, b, s
Let t = -17 + 14. Let j be (-8 + 3)*2/6. Sort j, -4, t in decreasing order.
j, t, -4
Let t be (-6)/(-3) - 2*1. Suppose t = 3*v - 2*v. Sort 1, v, 3 in ascending order.
v, 1, 3
Let u(o) = -o**2 - 12*o + 14. Let f be u(-13). Let m be 6/(-30) - f/(-5). Sort m, -4, -1 in descending order.
m, -1, -4
Let l = 0.003 + 0.097. Put l, 0.4, -1 in increasing order.
-1, l, 0.4
Suppose 3*f = 4*f. Let k be (-2 + f + 2)/(-2). Suppose -5*n + 3*n + 2*d = -12, -5*n - 5*d = k. Put -5, -4, n in descending order.
n, -4, -5
Let z = -226/7 + 32. Sort z, -1/6, -2, 0 in increasing order.
-2, z, -1/6, 0
Let i(j) = 2*j + 17. Let o(y) = -5*y - 35. Let w(u) = 9*i(u) + 4*o(u). Let b be w(10). Let c = b + 11. Sort -4, -2, c in descending order.
c, -2, -4
Let l be ((-45)/(-330))/(3/(-4)). Put -3, -0.1, -7, l in ascending order.
-7, -3, l, -0.1
Suppose -27 = 4*c - 5*q - 8, -12 = -4*q. Let t(p) be the second derivative of p**4/3 - p**2/2 - 6*p. Let a be t(c). Put 2, a, 1 in ascending order.
1, 2, a
Suppose 4*b + 2*w = -2, -3*b - 3*w = -6*w + 24. Put b, 3, 1 in increasing order.
b, 1, 3
Suppose -5 = -r - 1. Let a = 20 + -21. Sort -0.5, r, a.
a, -0.5, r
Let g(c) = -7*c + 2. Let w(q) = -6*q + 3. Let h(a) = 2*g(a) - 3*w(a). Let j be h(2). Sort 5, -6, j in increasing order.
-6, j, 5
Let i = -1 + 1.2. Let s = i + -0.3. Let u = -0.47 + 0.07. Sort s, u, -0.2 in decreasing order.
s, -0.2, u
Let a = -0.24 - 0.06. Let w = a - -1.5. Put 1/7, -4, w in descending order.
w, 1/7, -4
Let p = 5.5 + -6. Sort -2/3, p, 3.
-2/3, p, 3
Let g be 2*(0 + (-8)/(-28)). Sort -1/7, 3, g in decreasing order.
3, g, -1/7
Let g = 132 - 138. Sort -5, 0, g in ascending order.
g, -5, 0
Let c = -17 + 16.6. Let k = -0.12 - -0.02. Sort c, 0.1, k in descending order.
0.1, k, c
Let m be 6*-3 - (-4 + 3). Sort 2, m, -4 in descending order.
2, -4, m
Let z be (-2)/8 - (-51)/12. Suppose 3*w - 12 = -0*w. Suppose -m - w = -5*m. Sort m, 5, z in increasing order.
m, z, 5
Let s be -2 - -7 - (-3 + 4). Suppose -5 = -3*j + s. Let w = -8 + 3. Sort w, -4, j in descending order.
j, -4, w
Let g(b) = b + 7. Let u be 0 - (0/(-1) + 9). Let d be g(u). 