.
j, 0.5, -0.4
Let m = 0.038 + 0.062. Let i be (-3*(-4)/(-48))/(-1 - -2). Sort -0.8, i, m in descending order.
m, i, -0.8
Let z = 49 - 47. Let k be z - (-12)/(-63)*9. Sort -2, k, -6 in descending order.
k, -2, -6
Suppose 4*q + 15*t - 16*t - 24 = 0, -4*t - 1 = 3*q. Put q, 2, -5, -14 in increasing order.
-14, -5, 2, q
Suppose -5*o + 4*o = 0. Suppose 3*i + 3*w = 24, 0 = -5*i + 5*w - 4 - 6. Suppose -p - 6 = 2*x - i*p, 0 = -2*x - 3*p + 4. Sort x, o, 2 in decreasing order.
2, o, x
Let d be 1/3*(-9)/(-4). Let y = -22 + 20. Let i be 1 + (2 - -4)/y. Sort 2/3, d, i in decreasing order.
d, 2/3, i
Let p be 4 + 6*(-87)/6. Let t = -85 - p. Put 1/2, 4, t in decreasing order.
4, 1/2, t
Let p = 155 + -150. Sort -2/13, p, -4, -2 in decreasing order.
p, -2/13, -2, -4
Suppose 4 = -20*i + 16*i. Sort -2, 1, i, -5.
-5, -2, i, 1
Let o = 319 - 299. Put -5, -3, o in ascending order.
-5, -3, o
Let y be 34/6 + 2/(-3) + -1. Suppose 0 = -5*l - 2*k - 46, 3*l + 25 = l - 3*k. Sort 2, l, y in increasing order.
l, 2, y
Let x(m) = -19*m**2 + 97*m - 7. Let j be x(5). Sort 2, j, -75 in descending order.
j, 2, -75
Suppose 3*y - 172 = -5*m, 18*y = 23*y - m - 240. Sort 3, y, -1 in increasing order.
-1, 3, y
Let h be 10/4 + (-3)/6. Let t be (-357)/(-27) - (-6)/(-27). Let b = 10 - t. Put h, 3, b in ascending order.
b, h, 3
Suppose 146 = 3*m - 2*g, -11*m + 15*m - 3*g = 194. Sort -1, 1, m in decreasing order.
m, 1, -1
Suppose i = 5*r - 24, 0 = -3*i - 2*r - 4. Let o = 23 + -20. Put 2, -2, o, i in descending order.
o, 2, -2, i
Let m(f) = -3*f**2 - f - 3. Let c(p) = 8*p**2 + 3*p + 8. Let r(i) = -4*c(i) - 11*m(i). Let o be r(2). Suppose -7*b + 4 = -3*b. Put 4, b, o in descending order.
4, o, b
Let m(z) = -3*z**2 + 13*z + 14. Let d be m(5). Let i = -5.1 - -0.1. Sort i, d, 0.3.
i, 0.3, d
Let p = -136 - -133. Sort 4, 0.1, p, -5 in decreasing order.
4, 0.1, p, -5
Let z be (0/2 - 1)/(23/345). Let g be (-1 + 2/(-4))/(z/(-40)). Put 3, -3, g in descending order.
3, -3, g
Let g = 2674 + -2677. Let j = 1 - 3. Put g, j, 6 in decreasing order.
6, j, g
Let g(p) be the first derivative of -3*p**2/2 + 38*p - 26. Let k be g(11). Sort k, -5, 1, -6.
-6, -5, 1, k
Let y = 93 + 0. Let l = y - 93.6. Put -0.5, -0.1, l in descending order.
-0.1, -0.5, l
Suppose -4*r + 7 = 23. Let n be (-2)/r*(-2 + 0). Let o be (-6)/9*(-5)/(10/36). Put n, 0, o in increasing order.
n, 0, o
Let i = 1 + -0.5. Let d = 35 - 34.954. Let x = d + 0.054. Put 0, i, x in decreasing order.
i, x, 0
Let x = 2446.614 - 2446. Put 0.5, 1, x in decreasing order.
1, x, 0.5
Let o = -259 - -260. Put 5/6, o, 0 in ascending order.
0, 5/6, o
Suppose 0 = 28*l - 26*l + 36. Put l, 3, 2 in decreasing order.
3, 2, l
Let d(t) = -4*t + 20. Suppose 5*y = 4*y + 6. Let c be d(y). Let s be (-2)/(-4) - 10/4. Sort c, s, 0 in ascending order.
c, s, 0
Suppose -5*q + 1 = 4*c + 4, 3*q = 2*c - 15. Let u = 10 + -16. Put c, u, 2, 5 in increasing order.
u, 2, c, 5
Let j(h) = h**3 + 4*h**2 - 3*h - 5. Let f be j(-1). Sort -8, -3, -15, f.
-15, -8, -3, f
Let t be 902/(-176) - (-5 - 0). Put 2/17, 0.3, t, 3 in ascending order.
t, 2/17, 0.3, 3
Let m = -6.86 - -10.09. Let h = -3 + m. Let b = 0.27 + h. Put -1/6, b, 0 in ascending order.
-1/6, 0, b
Let l(a) be the second derivative of -a**4/12 - 7*a**3/6 - 2*a**2 + 38*a. Let x be l(-7). Sort 17, 2, x in decreasing order.
17, 2, x
Let q = 388.6 + -390. Put -3, 3, -0.2, q in decreasing order.
3, -0.2, q, -3
Let c = 1/3 + -19/21. Sort -3/7, 0.21, c.
c, -3/7, 0.21
Let d = -1443 - -1445. Sort -0.5, d, 70 in decreasing order.
70, d, -0.5
Let b = 97 + -99. Let p be -3 + 0/(-1) + b. Put p, -7, 3 in decreasing order.
3, p, -7
Suppose -3*g - 13 = 9*k - 13*k, -3*k + g + 6 = 0. Put -3, k, 56 in descending order.
56, k, -3
Let g be -3 + 0/(-5) + 4. Let p be 4*(-3)/(-18)*6. Put g, -2, p in descending order.
p, g, -2
Let w = -6 + 6.3. Let z = 5.9663 - -0.0337. Put w, -0.1, z, 1 in increasing order.
-0.1, w, 1, z
Let q be (-3)/(-2) - 2/(-4). Let g(k) = k**3 + 7*k**2 + 7*k + 10. Let n be g(-6). Suppose x + n = -1. Sort 3, x, q in ascending order.
x, q, 3
Let n(z) = 4*z**2 + z - 1. Let k be n(1). Suppose 2*y + 6 = -5*j - 15, k*y + 27 = -5*j. Suppose -2*r - 30 = r + 5*p, 3*p = -9. Sort j, r, -1.
r, j, -1
Let n = -36423783/142 + 256504. Let w = n + 1/71. Sort w, -2/21, -4, 0 in increasing order.
-4, w, -2/21, 0
Suppose -379 - 149 = -11*s. Put -2/19, s, 2/7, 5 in ascending order.
-2/19, 2/7, 5, s
Suppose p = 5*u + 259, 2*p = u + 10 + 40. Put -4, -1, u in decreasing order.
-1, -4, u
Let k(v) = -16*v - 126. Let n be k(-8). Let g be -1*-6*(-12)/(-9). Let p be (g/(-3))/((-2)/3). Put 5, n, p in decreasing order.
5, p, n
Let t be 2 - (-1 - (1 + -3)). Let l = -14 + 9. Sort 5, t, l.
l, t, 5
Let b = 0.059 - -0.041. Let m = -39/85 - -1/17. Sort -1/3, b, m.
m, -1/3, b
Let l(w) = -w**2 + 3*w + 8. Let a be l(4). Let p(f) = -f - 5. Let y be p(a). Let c be (-2)/(-6) + 12/y. Put 4, 6, c in ascending order.
c, 4, 6
Suppose 7*p - 64 + 1 = 0. Suppose p = -11*n - 35. Put 2, 3, n, 5 in decreasing order.
5, 3, 2, n
Let z = -0.1 - 0.7. Let g = z + -8.2. Let k = g + 9.5. Sort -1, k, -1/5.
-1, -1/5, k
Let v = 54 - 379/7. Let k = 59 + -56.3. Let i = k + -2.2. Put v, i, -3/10 in descending order.
i, v, -3/10
Let v = -18 + 14. Suppose -6*s = -4*s + 6. Sort s, -2, -3/7, v.
v, s, -2, -3/7
Let p = -0.743 + 0.043. Sort 3/5, p, 2/17, -1/9 in descending order.
3/5, 2/17, -1/9, p
Suppose 1 + 3 = -b. Let m(i) = -i**3 + 2*i**2 + 10*i + 9. Let h be m(4). Suppose 10*j + h = 7. Sort b, j, 0 in ascending order.
b, j, 0
Let k = -308.03 + 301. Let l = k + 7. Let b = 79.2 + -79. Put l, -5, b in ascending order.
-5, l, b
Let u(g) = g**2 + g - 8. Let s be u(-3). Sort 17, s, 1 in ascending order.
s, 1, 17
Suppose t - u + 13 = -t, -28 = 5*t + 2*u. Let p be (5 - (3 + 1))*(-4)/(-14). Put p, t, -4, 2 in ascending order.
t, -4, p, 2
Let d be (-2 + 0)*(555/35 - -2). Let i = d - -36. Sort i, 0.4, 4, -3.
-3, i, 0.4, 4
Suppose -6*v + 38*v + 10976 = 0. Sort -0.1, -5, v in ascending order.
v, -5, -0.1
Let o = -209 - -1879/9. Sort -2, 16, o in decreasing order.
16, o, -2
Suppose 4*g - 5*w - 33 = 0, -15 = 5*g - 0*w + 5*w. Let k be (-31)/(-372) + (-118)/(-24). Sort g, k, 0 in ascending order.
0, g, k
Let o = 4 + -5. Suppose 0 = -s - 3*s. Suppose s = f + 8 - 10. Sort -3, o, f.
-3, o, f
Let w = -37.043 + 0.043. Let j = w - -31. Sort 0.5, -2, j in descending order.
0.5, -2, j
Let s(i) = 21*i + 315. Let g be s(-15). Sort g, -39, 3 in decreasing order.
3, g, -39
Let d = 28 + -32.8. Let c = -0.8 - d. Sort 1, 2/13, 0.3, c.
2/13, 0.3, 1, c
Let p be (-37)/22 - (-3)/2. Let q = 5.93 + -5.53. Put p, -1, q, -2 in increasing order.
-2, -1, p, q
Suppose 366 = -0*f + 6*f. Suppose 63*i = f*i. Put -0.04, i, 2/17 in descending order.
2/17, i, -0.04
Let l(f) = f**2 - 5*f + 4. Let d = -5 + 9. Suppose -d*k = 2*g - 20, g + 0*k - 13 = -3*k. Let v be l(g). Put v, -3, 4 in ascending order.
-3, v, 4
Suppose 0 = x + 1 + 8. Let o = -156 + 152. Put x, 4, o in increasing order.
x, o, 4
Let l = -1235.3 - -1235.1. Let d(k) = -2 - 2 + k**2 - 5. Let s be d(0). Put s, -3, l in descending order.
l, -3, s
Suppose -t - 11 = -5*o, 3*t - 2*o + 33 = -13. Let z = 18 + t. Let v be -1 + (3 - (3 - z)). Sort v, 5, -3 in increasing order.
-3, v, 5
Suppose 13 = 8*d - 7*d. Let k = 6 + -5. Let h = -2/5 + 3/20. Sort k, d, h in increasing order.
h, k, d
Let i(s) = s**2 + 13*s + 43. Let z be i(-5). Let u be 1 - (-2 + 3 + -2). Put 4, z, u in descending order.
4, z, u
Let v(c) = 12*c - 34*c + 19*c - 16. Let i be v(-5). Sort i, -18, 2 in ascending order.
-18, i, 2
Let u = -20 - -19.92. Let p = 0.38 + u. Put 3, -0.5, p in ascending order.
-0.5, p, 3
Let b = -226 - -226.5. Put b, 57, 2/9 in decreasing order.
57, b, 2/9
Suppose -12*j - 23 = 97. Let m be ((-4)/j)/(2/25). Sort -1/4, 1/2, m, -5 in increasing order.
-5, -1/4, 1/2, m
Let v = 0.64 + -31.64. Let b = v + 33. Let o = 1.2 - 0.2. Put o, -3, b in increasing order.
-3, o, b
Let o(z) = -z**2 - 10*z + 13. Let h be o(-11). Let j = 11.55 - 8.55. Let m = -11 + 7. Sort j, h, m in descending order.
j, h, m
Suppose 21*h = 1907 - 1886. Let f(s) = -s - 7. Let d be f(-6). Sort h, d, 7.
d, h, 7
Let x = -2645 + 2643. Sort -5, 4, 137, x in descending order.
137, 4, x, -5
Let m = -9.2 - 34.8. Put 2, 1/3, m, 4/7 in decreasing order.