1 = 13. Let o(t) = 12*t + 191. Let i be o(-16). Put 2, -6, i, m in ascending order.
-6, i, 2, m
Let b be 6/(-27) + 237/(-27). Let y = 53/6 + b. Put -5, 2/7, y, -2/7 in decreasing order.
2/7, y, -2/7, -5
Suppose -6*g + 16 = -2*g. Suppose 2*h - g*m + 20 = 0, h + 7 = -2*m + m. Let d be 28/h - -3 - 0. Sort 3, d, 4 in descending order.
4, 3, d
Suppose 0*i + 36 = -i. Let o be (-48)/(-22) + i/198. Sort -5, o, -4 in descending order.
o, -4, -5
Let b = -1.97675 + -0.02325. Let l = -9/44 - -257/396. Sort l, 10/9, b, -2/9.
b, -2/9, l, 10/9
Let o be (4/(-6))/((-13)/(-3)). Let b = -1.029 - -1.529. Sort 2/7, -4, b, o in decreasing order.
b, 2/7, o, -4
Let o = 8552/19 + -450. Let r = 162.8 + -162.6. Sort o, r, 5.
o, r, 5
Let w(j) = j - 4. Let g be w(6). Let r be (-4)/(-3 - -1) - (-10)/(-2). Let y be 28/5 - r/(-5). Sort y, -5, g in descending order.
y, g, -5
Suppose -2*n = n + 3. Let l = -0.025 - -2.125. Let i = 0.1 - l. Sort i, 4/9, n in ascending order.
i, n, 4/9
Let h = -1/509 - 3049/2545. Let i = h - -57/35. Let g = 6.3 - 6. Put i, g, -4 in increasing order.
-4, g, i
Let k = 16 - -8. Let x be ((-3)/4)/((-3)/k). Suppose -2*y + 2*s = 0, -2*s + x = -0*s. Sort -5, y, -2 in increasing order.
-5, -2, y
Let o = 13.8 - 12. Let a = o + -2. Let q be 2/(-15) + 1488/(-5040). Put a, -0.3, q in ascending order.
q, -0.3, a
Let n = 17.3 - 0.3. Let b = 16 - n. Let v = -3 + b. Put -2/11, v, 4 in descending order.
4, -2/11, v
Suppose -5*y + 1 = 6. Let f = -35 - -37. Suppose 2*p - 24 = -4*o, -1 + 10 = o + 2*p. Put y, f, o in ascending order.
y, f, o
Suppose 4*a + 20 = -4*m, -2*m + 6 = 5*a - 7*a. Sort -6, a, 2.
-6, a, 2
Let o = -0.21 + 2.21. Let h = 0.09 + -6.09. Let n = h + o. Sort 1/2, n, 1/5 in descending order.
1/2, 1/5, n
Let t(x) = x**3 - 8*x**2 + 13*x + 7. Let i be t(5). Let h be 4/(-18) - 116/(-36). Suppose u - h*d = -2, 4*u - 4*d + 18 = 2. Put i, 4, u in ascending order.
u, i, 4
Let n = -3067 + 3068. Let h be 2/(-4) + 73/2. Let l be 33/h + (-1)/4. Sort l, -4, n in descending order.
n, l, -4
Let g = -10 - -10. Suppose 2*i - 5*t - 7 = g, 0 = -2*t + 2 - 0. Let q be 1*(-5 - i/(-3)). Sort 1, 4, q.
q, 1, 4
Let f be (-41)/42 + (-75)/(-90). Let v = 6 - 1. Let a = v - 11. Put -4, f, a in ascending order.
a, -4, f
Let s be 2 + -4*18/12. Put 0.06, 4, s, -2 in decreasing order.
4, 0.06, -2, s
Let b = 23 + -18. Suppose 7 = 2*l + b*l. Put l, 2/5, -2 in decreasing order.
l, 2/5, -2
Suppose h - 4*i + 24 = 1, h = i - 11. Let l be 4/(-10)*(-175)/h. Let q be 16/l - (-6)/10. Sort q, -5, 4.
-5, q, 4
Let d be (-6)/(-14) - 12/28. Let k be -2 + (-1)/(3/27). Put k, d, -5 in increasing order.
k, -5, d
Let f = 8.945 + -9. Let d = f - 0.085. Put d, 5, -5 in increasing order.
-5, d, 5
Let b = 8 + -11. Let y be b/(3 - 6/4). Let s be (-1)/(3/(-12)*2). Sort 6, s, y in descending order.
6, s, y
Let y(j) = -9*j + 343. Let m be y(38). Let t be 2 - 2 - 2*-1. Let n be -1 - (-2 + t)/(-1). Put -2, m, n in increasing order.
-2, n, m
Let d(z) = 6*z + 159. Let y be d(-22). Put 5, y, -1 in decreasing order.
y, 5, -1
Let i(p) = p**2 + 6*p + 4. Let j(w) = -w + 5. Let q be j(11). Let z be i(q). Suppose -4*s + 0 + 8 = 0. Put 1, s, z in decreasing order.
z, s, 1
Let b = 15 - 15. Suppose -5*m + m + 16 = b. Suppose -3*k + 9 = 4*o - m*k, 4*o = -k + 7. Sort -2, -4, o.
-4, -2, o
Let u = 8.8 - 9.2. Put -3, u, -0.02 in descending order.
-0.02, u, -3
Let d(a) = -a**2 - 8*a + 3. Let z be d(-9). Let x be ((-10)/((-210)/3))/((-1)/(-14)). Sort z, 3, x in increasing order.
z, x, 3
Let z(j) = 25*j**2 + 25*j - 1. Let o be z(-1). Sort o, -0.1, 0.2, -2/31.
o, -0.1, -2/31, 0.2
Let n = 4 + 0. Suppose 14*w - 16*w = 40. Let o = w - -18. Sort 1, o, n in increasing order.
o, 1, n
Let q = 3 - -5. Let f = q - 5. Let z = -3.13 - -2.13. Sort 0, f, z in descending order.
f, 0, z
Let f = -1428 + 1429. Put -2, -18, f in ascending order.
-18, -2, f
Suppose 0 = -5*f - 5*m + 65, 2*m - m = -4*f + 58. Let k(j) = 15*j + 5 - 4 + f - 3 + 2*j**2. Let r be k(-6). Sort r, -12, -1 in descending order.
-1, r, -12
Suppose -4*d - 4*c - 88 = 0, -4*c - 8 - 2 = d. Let k be (-24)/(-84) + d/(-7). Suppose -6 = 2*s, 4*w + s + k*s + 11 = 0. Sort w, 4, 3 in decreasing order.
4, 3, w
Let p = -17.611 + 0.011. Let z = -18 - p. Sort 1, 2, z in increasing order.
z, 1, 2
Suppose -10*r + 5*r = -60. Suppose w + 5*y - y = r, 2*w - 3*y + 20 = 0. Put -0.1, w, -5 in ascending order.
-5, w, -0.1
Let r = 1.9 + -36.9. Let x = r - -38.9. Let q = x - -3.1. Sort 3/4, q, -2/3 in descending order.
q, 3/4, -2/3
Suppose 4*s + 5*r + 0*r = -13, 4*r + 5 = -5*s. Put -112, s, 1 in descending order.
s, 1, -112
Let z be 4/10*5/(-9). Let i(v) = -v**3 - 5*v**2 - 5*v - 5. Let h be i(-4). Let l be 16/(-20) + h/(-5). Put -3/7, l, z in descending order.
z, -3/7, l
Let o be 34/8 + 3/(-12). Suppose 0 = 2*g + 2*g + o. Let q = 8 + -7.8. Sort q, 3/7, g in decreasing order.
3/7, q, g
Let q(w) be the second derivative of w**4/6 - 31*w**3/6 - 13*w**2/2 - 32*w. Let p be q(16). Sort -1, 1, p, 0.
-1, 0, 1, p
Let g(z) = z**2 - 5*z + 8. Let q be g(4). Let h be (-2)/((-2)/3 - 0). Sort 1, q, h, -13 in decreasing order.
q, h, 1, -13
Let v = -28 - -31. Sort -1, v, 18, 4 in increasing order.
-1, v, 4, 18
Let s = -0.1 - 0.1. Let w = 0.3 - s. Let i be -4*(2 - 56/32). Put w, i, 2/5 in ascending order.
i, 2/5, w
Suppose -11*b = -b - 30. Put -18, -3, b in decreasing order.
b, -3, -18
Suppose -5*x + 1 = 6. Put -3, 0, x, 42 in ascending order.
-3, x, 0, 42
Suppose 2*l + 6 = l. Let a be (30/12 - (-6)/(-2))*-2. Let x be (44/52 - 2/(-13)) + a. Put x, -4, l in increasing order.
l, -4, x
Let v(l) = -l. Let i = 31 - 36. Let q be v(i). Put q, -2, -7 in descending order.
q, -2, -7
Let m = 114.71 + -114.81. Let a = 6.3 + -1.3. Put a, 2/3, m in decreasing order.
a, 2/3, m
Let b be (-216)/540 - 23/5. Put -97, b, 1, 0 in descending order.
1, 0, b, -97
Let b = -9437/17 - -555. Put -1, -3, b in descending order.
b, -1, -3
Let i = -6 - -26. Let l = i + -17. Let v = 9 - 10. Put l, v, -2 in increasing order.
-2, v, l
Let r(j) = -j + 6. Let x be r(3). Let u = -15 + 30. Suppose 0 = -3*k - 2*s + 15, -5 = -4*k - 5*s + u. Sort x, -1, k in increasing order.
-1, x, k
Suppose 0 = -3*g, -f - 46 + 45 = 3*g. Sort 2, 8, f.
f, 2, 8
Suppose -205*v = -191*v + 434. Put -1, 0, 3, v in descending order.
3, 0, -1, v
Let t = -516 - -511. Sort 8, t, 2, -8 in ascending order.
-8, t, 2, 8
Suppose -5*j + 2*j - 1467 = 0. Let w be 2/(-8) - j/(-12). Sort -2, w, 4.
w, -2, 4
Let l = 12.9 + -13. Sort -3, -24, l.
-24, -3, l
Let o = -177.3 - -177. Suppose 2*w - w + 1 = -3*b, 2*b + 12 = 5*w. Let r be b/(-2) + (-15)/18. Sort r, o, -1/4 in decreasing order.
-1/4, o, r
Let j = 5 - 9. Let k(t) = -t**2 - 2*t + 11. Let r be k(-9). Let b = -55 - r. Sort b, j, 7.
j, b, 7
Let b = -47 - -60. Suppose -62 = -2*q - 0*q + 2*m, -q - 5*m = -b. Put -5, 0, q in decreasing order.
q, 0, -5
Let g = 5 + -1. Let v be 1*(-5 + 105/14 - (-6)/(-4)). Sort v, -4, 3, g in increasing order.
-4, v, 3, g
Suppose 0*t - 70 = -10*t. Let x be 1*t + 12/18*-3. Put -3, x, 17 in decreasing order.
17, x, -3
Let b(o) = o - 10. Let l be b(6). Let u be l - (-4)/16*0. Sort -2/19, u, -1/8, 5 in descending order.
5, -2/19, -1/8, u
Let q be -1 + 315/(-120) + 3/(-8). Sort -3, q, 100.
q, -3, 100
Let j = 87.1 - 87. Suppose -49 + 10 = -5*i + a, i - 5*a - 27 = 0. Suppose 3*l + 19 = i. Put l, j, -1/5 in decreasing order.
j, -1/5, l
Let u(q) = q**2 - 6*q - 1. Let t be u(8). Suppose 6*x - t = 3*x. Sort x, 2, -3 in descending order.
x, 2, -3
Let v = -51 - -24. Let z = v - -26.5. Put 1/3, z, 9 in decreasing order.
9, 1/3, z
Let l = 2 + -5. Let w = -3.1 - l. Let c = 20.4 - 20. Put c, w, 0 in decreasing order.
c, 0, w
Let i(o) = o**2 + 12*o - 9. Let d be i(-16). Let x = 55 - d. Let b = -1 + 2. Put -3, b, x in ascending order.
-3, x, b
Let j be 11/4*(-3 + 7). Suppose -j = -3*t + t + 3*b, 0 = -2*b - 2. Suppose 4*v - 12 = 3*h, t*v + 3 = -5*h + 15. Sort v, 0.5, -0.3.
-0.3, 0.5, v
Let o(u) = -u**3 + 15*u**2 - 15*u + 17. Let s be o(14). Suppose z = s - 0. Suppose -5*l + 5 + 15 = 0. Put z, -3, l in descending order.
l, z, -3
Let k(n) = -62*n - 21. Let d(j) = 14*j + 5. Let h(f) = 9*d(f) + 2*k(f). Let q be 2/(-1)*1/(-2). Let r be h(q). Sort r, -2, -8 in decreasing order.
r, -2, -8
Let r = 3392.93 + -3375. Let d = r - 18. Let t = d - -5.07