)/5*2. Sort 1, 2, l.
l, 1, 2
Suppose -2*y + 5 = -7. Suppose -74 = -y*a + 4*a. Suppose 0 = -5*t + 12 - a. Sort -4, t, 3 in decreasing order.
3, -4, t
Let p = -2.94 + -0.06. Let u = -0.36 + 0.02. Let t = -0.04 - u. Sort p, 1, t in descending order.
1, t, p
Let w(a) = 2*a - 1. Let u be w(2). Suppose m - u = -4*m + 3*n, -n = -4*m + 8. Sort 4, -3, m in ascending order.
-3, m, 4
Let i be (-4)/(-26) + (-70)/117. Sort -0.4, i, 5, 0.2 in increasing order.
i, -0.4, 0.2, 5
Let g = 6.2 + -5. Let o = g - 1. Let a = -12 - -7. Sort o, a, 3 in descending order.
3, o, a
Let n = -0.4 - -3.7. Let b = -0.7 - n. Put -0.5, b, -1 in decreasing order.
-0.5, -1, b
Suppose -5*p - 22 = 3. Sort 1, -4, p in descending order.
1, -4, p
Let j = -10 - -14. Sort 0.5, 0.2, j in ascending order.
0.2, 0.5, j
Let h(r) = -r**2 - r + 5. Let t be h(0). Suppose t*l - 10 = -0. Sort -5, -1, l.
-5, -1, l
Suppose 0*q + b + 4 = -2*q, -5*b - 8 = -2*q. Let z be 4 - (7 - (5 - 1)). Put 4, z, q in ascending order.
q, z, 4
Let z = -0.08 - 3.92. Let g(s) = -s**2 - 8*s + 4. Let r be g(-8). Let t be 2*(2/r + -1). Sort t, z, 2/3 in increasing order.
z, t, 2/3
Let w be 3/(-4) - (-165)/44. Suppose 6 = t - 3*t. Sort t, w, -5 in ascending order.
-5, t, w
Let i(u) = 3*u**3 + 4*u**2 + 2*u - 3. Let s be i(-3). Let m be (-12)/s - 29/90. Let q be 2 - ((-28)/5)/(-2). Sort m, q, -0.5 in increasing order.
q, -0.5, m
Let p = -13/20 + 9/10. Sort 1/9, 0.2, p.
1/9, 0.2, p
Let i = -8 - -4. Let y be 14/(-30) + i/(-6). Suppose -2*k - 1 = a, 5*k + 3*a + 2*a = -10. Sort k, y, 0.1 in descending order.
k, y, 0.1
Let b(l) = -2*l**2 - 3*l. Let f be b(-2). Put 5, 2, 3, f in increasing order.
f, 2, 3, 5
Let c(p) = p**2 - 6*p + 6. Let f be c(4). Let l = -7 + 6. Put 3/2, l, f in decreasing order.
3/2, l, f
Suppose -5*w - 5*q = 0, 0 = w - q - 2*q + 4. Put 0, w, 3, -4 in ascending order.
-4, w, 0, 3
Suppose 10*j - 13*j = 0. Let g be (3/(-4))/(3/12). Sort j, 3, g in ascending order.
g, j, 3
Suppose 25 = 5*i - 3*x, -4*i - 1 - 16 = 5*x. Suppose 0 = -2*q - a + 11, a + 14 = 5*q - a. Put 5, q, i in ascending order.
i, q, 5
Suppose -2*a - m + 5 = 0, 5*m - 3 = -2*a - 10. Let i(k) = -1 - 2*k + 0*k + 4*k - k. Let f be i(0). Sort 5, a, f in ascending order.
f, a, 5
Let j(c) = -c - 4. Let a be j(-8). Let s = 7 - a. Let o(y) = -y + 2. Let z be o(6). Sort s, 4, z in decreasing order.
4, s, z
Let z(j) = j**3 - 4*j**2 + 4*j. Let f be z(3). Let n = -11 - -5. Let b be (n/(-3))/2*0. Put b, f, -1 in ascending order.
-1, b, f
Let q = -53 + 55.9. Let l = q - 3. Put 0.3, l, -5 in increasing order.
-5, l, 0.3
Let z = -1087.02 + 1064. Let s = z + 27. Let q = s + 0.02. Put q, -1, 5 in descending order.
5, q, -1
Let j = 0.12 - 5.12. Sort 5, j, 4 in decreasing order.
5, 4, j
Let d = 6.1 - -0.9. Let s = 12 - d. Let h = 1069 - 1068. Put s, 3, h in increasing order.
h, 3, s
Let q = -8 + 8. Sort 1/4, q, -18 in decreasing order.
1/4, q, -18
Let n = -25 - -35. Let m(u) be the first derivative of u**3/3 - 11*u**2/2 + 14*u - 2. Let h be m(n). Put 2, -5, h in ascending order.
-5, 2, h
Let q(k) = -k**3 - 3*k**2 - k - 1. Let x be q(-2). Put 3, 6, x in increasing order.
x, 3, 6
Suppose -2*j - 1 = -3. Let t be (-16)/(-6)*450/40. Suppose 5*g - l = t, -5*g + 0*g - 3*l = -10. Put 0, j, g in increasing order.
0, j, g
Suppose k = -k + 16. Sort k, 4, -1, -3 in descending order.
k, 4, -1, -3
Suppose 1 = -2*f + 7. Suppose -12 = -4*q - 5*s, 3*q = s - 5 + 14. Let c(z) = -z**2 + 2*z + 4. Let k be c(q). Put 0, f, k in ascending order.
0, k, f
Suppose 0 = 4*z + z + 15, -2*z + 22 = 4*b. Put b, -0.1, 0 in decreasing order.
b, 0, -0.1
Let w be ((-18)/15)/(3/(-25)). Sort w, -5, 0.
-5, 0, w
Suppose y = 3*o + 2, 5*y - 3*o = -5*o + 27. Let i = 6 + -9. Sort -0.4, y, i in decreasing order.
y, -0.4, i
Let g = 1.94 + 0.06. Sort g, 1, -4 in descending order.
g, 1, -4
Let o = -3.5 + 3. Put 1/2, -0.29, o, 0.2 in descending order.
1/2, 0.2, -0.29, o
Let y be 48/64*(-16)/(-90). Sort -2/7, -3, -1/3, y in decreasing order.
y, -2/7, -1/3, -3
Let f be (6 - 1 - 0) + (-2944)/640. Let v = 0 - 0.4. Put v, f, -0.5 in descending order.
f, v, -0.5
Suppose 4*v = 4*t - 20, -v = 4*v - 3*t + 27. Let w = v + 8. Put 3, 5, w in descending order.
5, 3, w
Let p = 0.11 + -4.11. Let x = -41.5 - -41. Sort x, 3, p.
p, x, 3
Let i be (2 - 2)*2/(-4). Let l be -2 - (-2)/3*9. Sort 2, l, i in descending order.
l, 2, i
Suppose m + 4*o + 12 + 1 = 0, 5*m + 4*o + 1 = 0. Suppose 0 = -h - m*h - 8. Sort -3, h, -5 in ascending order.
-5, -3, h
Let n = -10 + 8. Put 1, -1, n in increasing order.
n, -1, 1
Let l = -93 - -88. Sort 2/3, l, 0.3.
l, 0.3, 2/3
Let v = -12 + 16. Sort -5, v, 5.
-5, v, 5
Let h = -173/630 - 1/90. Let i = -6/43 + 202/215. Sort h, i, 4.
h, i, 4
Let z be 1 + (2 - -2 - 2). Suppose 4*s = -g + 8 + 5, 4*s - 31 = 5*g. Suppose -5*y + 1 + s = 5*j, 4*y = -j - 5. Put y, z, -5 in ascending order.
-5, y, z
Suppose 0 = 2*t + 4*j - 10, -4*j + 31 = -5*t - 0*j. Suppose 0*n - 6 = 4*u + n, 0 = -5*u - 2*n - 6. Sort 3, u, t in descending order.
3, u, t
Let z = -0.01 + 2.01. Suppose 2*w - 6 = -2. Suppose -w*l = -2*c + 3*l + 23, 2*c - 14 = 2*l. Sort z, -1, c.
-1, z, c
Let g be (4/(-2))/(-4)*(-12 + 12). Suppose 5*p - 2 - 3 = 0. Sort g, -5, p in ascending order.
-5, g, p
Let g = -17 + 16.99. Let n = 0.31 + g. Let v = 5.8 - 0.8. Put n, -0.5, v in decreasing order.
v, n, -0.5
Let x = -10 + 6. Let u(d) = -4 + 2*d + 3 + 2. Let k be u(2). Sort 3, x, k in descending order.
k, 3, x
Suppose 0 = 2*k - 0*k - 3*q + 22, -2*q = -2*k - 18. Sort 1, k, 3 in descending order.
3, 1, k
Suppose 3 = -3*o + 3*s, -o + 0*s + 2*s = 5. Suppose b = 4*h - 12, 3*h = -4*b + 1 - 11. Put h, o, -1 in increasing order.
-1, h, o
Let s(x) = -x**3 + 5*x**2 - 5*x - 1. Suppose 0 = -2*n - n + 51. Suppose 3*i - n = -5. Let j be s(i). Sort 1, -0.4, j in descending order.
1, -0.4, j
Let u = -59.3 - -59. Sort 3, -3, u, -4 in descending order.
3, u, -3, -4
Let w be (2/(-6))/(6/18). Let t be 30/(-9)*6/(-4). Let z be (-8)/(-6)*9/6. Put z, t, w in increasing order.
w, z, t
Let f(y) = y**3 + 10*y**2 + 9*y + 2. Let j be f(-9). Let p = 11 - 16. Sort p, j, 4 in descending order.
4, j, p
Suppose 2*m = -3*m - 4*l - 46, -2*m - 8 = -l. Let x be (-3)/m - (-2)/12. Put -3/4, x, -2 in descending order.
x, -3/4, -2
Suppose -5*o + 10 = -30. Suppose -3*k + o = k. Put 3, -1, k in descending order.
3, k, -1
Let x = -95 - -98. Put x, -5, -39, -2 in decreasing order.
x, -2, -5, -39
Let y(v) be the second derivative of v**5/5 + v**4/6 - v**3/3 + v**2/2 - 4*v. Let f be y(1). Suppose -b = -0*b - f. Sort -3, b, 3 in ascending order.
-3, 3, b
Suppose -60 + 64 = -4*z. Suppose 4 = -b - b. Sort z, 4, b in increasing order.
b, z, 4
Let n be ((-5)/(-15))/((-8)/3). Let s be 2/5 + 27/(-5). Put 2, n, s in decreasing order.
2, n, s
Let z = 6/17 - 98/85. Let m(j) = j**2 + 2*j + 2. Let v be m(-2). Suppose v*u + 22 = 4*r, -2*r - 3*r = 2*u - 23. Put u, z, 0.2 in descending order.
0.2, z, u
Let x(i) = 3*i**2 + i - 1. Let r be x(2). Let u = 10 - r. Sort 5, u, 4 in ascending order.
u, 4, 5
Suppose 3*h = -5*m - 9, 4*h + 0*m = -2*m + 2. Put h, -4, 0 in decreasing order.
h, 0, -4
Let u(f) = f**2 - 6*f - 8. Let d be u(7). Let i = -19 + 24. Sort i, d, -5 in ascending order.
-5, d, i
Let k = -7.1 + 7. Let i = 55/4 + -157/12. Sort 0.3, i, k in descending order.
i, 0.3, k
Let z = -5 + 7. Let l = z - 8. Let i = l - -2. Put 1, 0.3, i in increasing order.
i, 0.3, 1
Let q = 100 - 66. Let i = -23 + q. Suppose -2*x + 12 = 3*j, 0*x + 3*x - i = -j. Sort 0.5, j, 4.
0.5, j, 4
Let s = 34 - 30. Sort -4, s, -4/7, 2/23 in decreasing order.
s, 2/23, -4/7, -4
Suppose 5*p - 13 = -n, -5 = -5*n + 4*p + p. Let a be (-3)/((n/(-1))/(-3)). Sort a, 0, -5 in ascending order.
-5, a, 0
Let g be ((-6)/(-10))/((-3)/(-15)). Let o be (-3)/(28/(-24) - 2/6). Put o, g, -4 in increasing order.
-4, o, g
Let q = -1.6 + 1.9. Sort 0.2, -10, q in descending order.
q, 0.2, -10
Let k = 45 + -43. Put 29, 5, k in decreasing order.
29, 5, k
Let f = 7 + -12. Let z be 14/(-56) - (-26)/8. Let i = 0 - z. Put i, 0, f in increasing order.
f, i, 0
Let j = -1.9 + 2. Let d be (4 - (-42)/(-9)) + 2 - 3. Put d, 0.4, j in ascending order.
d, j, 0.4
Let n(y) = y**3 - 10*y**2 - 12*y + 16. Let h be n(11). Let c = -3 + -1. Put h, c, -3 in decreasing order.
h, -3, c
Let a = -80 + 80. Put -9, 