(-70 + -1) - 13. Put z, -1, 1 in descending order.
z, 1, -1
Let m = 398 + -261. Let c = 136.9 - m. Sort c, 3, 8 in increasing order.
c, 3, 8
Let c = 191 - 409. Let o = c - -305. Let r = -78 + o. Put r, -0.3, -2 in increasing order.
-2, -0.3, r
Let t be (-24)/(-144) - (-2)/(-12). Let u(v) = -v**2 - 9*v + 8. Let z be u(-11). Let k be (-5)/(-7) - 4/z. Sort -5, k, t in increasing order.
-5, t, k
Suppose -15 - 80 = -19*b. Let w(r) = -r**2 + 14*r - 50. Let f be w(b). Let d = 10 - 7. Sort 1, d, f in ascending order.
f, 1, d
Suppose 0 = 3*u - 3*h + 48, -2*u - 8 = -44*h + 48*h. Let m be (-2)/(u/(-96) - 123/24). Put m, 4, 0, -1/5 in decreasing order.
4, m, 0, -1/5
Let w = 695/7 - 99. Let r = -1783 + 1788. Let u be (-2)/(-20)*(2 + -5). Sort u, w, r, -0.1 in ascending order.
u, -0.1, w, r
Let i = -5.95 + 15.75. Sort -2, i, 0.2, -1/2 in ascending order.
-2, -1/2, 0.2, i
Let o be 15 + 5 + (-6)/1. Suppose -17*z + 36*z = o*z. Put 5, -1, z, 4 in increasing order.
-1, z, 4, 5
Let i be -6 - (15/5 - 8). Let u be (-18 - -17)*((-2)/(-22))/i. Suppose 0 = -4*t - 7 - 1. Put t, u, 0.13 in increasing order.
t, u, 0.13
Let p be (4/(-8))/(3 - 230/60). Put p, 2, 4, 183 in descending order.
183, 4, 2, p
Let b = 12690280 + -11586223262/913. Let q = 20/83 - b. Put q, 0.2, 1, -3 in ascending order.
-3, q, 0.2, 1
Suppose -166*m = -175*m + 1989. Let o = m - 224. Sort -1, o, -6, -5 in increasing order.
-6, -5, o, -1
Let i = 925 - 859. Let n be 3*(-4)/i - 352/(-605). Sort 4, n, -1/31 in increasing order.
-1/31, n, 4
Let w = 5.68 - 5.6401. Let g = w - -26.9601. Sort g, 0, -0.3.
-0.3, 0, g
Let f be -4*((-7)/4)/(28/(-24)). Sort f, 3, 0, 4.
f, 0, 3, 4
Suppose -11*x - 41*x - 39*x + 91 = 0. Put -2, -44, -4, x in decreasing order.
x, -2, -4, -44
Let a(g) = -g + 17. Let o be a(13). Let m be (1 - (2 - 3))*(180/(-24) + 6). Put m, -4, o in ascending order.
-4, m, o
Suppose -4*y + 23 - 59 = 2*w, 5*w - y + 101 = 0. Sort -4, 12, -3, w, 4.
w, -4, -3, 4, 12
Suppose 0 = -2*i - 7 + 1. Let c = 2355 + -2351. Sort 1, i, -2, c in increasing order.
i, -2, 1, c
Let w = -2105.7 + 2106.2. Put w, 501, 3 in decreasing order.
501, 3, w
Let n(r) = -r**2 - 8*r + 1. Let v be n(-6). Let i = v - 11. Let m = -84 - -78. Sort -4, i, m in descending order.
i, -4, m
Let z(a) = -2*a**2 + 37*a - 13. Let h be z(18). Suppose 3*d = -h*r + 8*d - 50, 3*r = d - 26. Sort 5, -2, r, 1 in descending order.
5, 1, -2, r
Suppose -5*b + 13 = 4*u - 82, -5*u = -3*b - 91. Suppose -17*j + 22 = -u*j - 5*i, -3*j - 18 = 3*i. Put -11, -6, j in ascending order.
-11, -6, j
Suppose p + 4*j = -16, -p + 4*p - j = 17. Let o(m) = -75*m**2 - 6*m + 16. Let d be o(-5). Let t = 1828 + d. Put t, 7, p in ascending order.
t, p, 7
Let v = -730 - -675. Let w = v + 59. Sort 0.11, 1, w.
0.11, 1, w
Let p = 111 + 299. Let a = -410 + p. Suppose 4*d = 3*v + 19 - 2, -4*d - 7 = 5*v. Sort -1, a, 5, v in ascending order.
v, -1, a, 5
Let c = 273 + -139. Let i = c + -132. Sort 0.3, i, -2/37, 4.
-2/37, 0.3, i, 4
Let a = -7.99 + 8.19. Let g = 371/9 - 41. Put 1, a, g in decreasing order.
1, g, a
Let v(x) = -4*x**3 + 21*x**2 + 116*x - 601. Let b be v(5). Let t be 2/(-8) + (-11)/4. Sort b, 5, t, 36 in decreasing order.
36, 5, b, t
Suppose w = -w + 8. Suppose 0 = -7*k - 17*k + 2*k - 110. Sort w, k, 25 in ascending order.
k, w, 25
Let j = -19 + 28. Suppose -2*p - 7 = a, -5*a - 2*p - j = -5*p. Let y be (-1)/((5/25)/(8/(-70))). Sort y, a, 1/9 in descending order.
y, 1/9, a
Let j = 93.6 + -96.6. Let y(m) = 4*m**2 + m. Let f(w) = -w + 5. Let b be f(6). Let u be y(b). Sort j, 0.3, 4/7, u in ascending order.
j, 0.3, 4/7, u
Let m = -0.01158 + 0.06158. Put -365/6, -0.5, m, 1 in ascending order.
-365/6, -0.5, m, 1
Suppose 3*v + 3*n = -9, -9 = 5*v - 0*n + 3*n. Suppose -12*c - 5*c + 493 = v. Suppose 0 = -c*k + 27*k. Put 0.1, 4, k in ascending order.
k, 0.1, 4
Let q = -1392 + 1393. Put 4, 7, q, -4, 0 in ascending order.
-4, 0, q, 4, 7
Let w = 14642 - 14646. Put 166, w, 5, 3 in increasing order.
w, 3, 5, 166
Let j(r) = -15*r - 364. Let n be j(-25). Suppose n*u - 10*u + 3*v = 12, 3 = v. Sort 2, -8, u in decreasing order.
u, 2, -8
Let d be (-1)/2 - (-1059)/(-6). Let c = 178 + d. Put -6, 2, -1, c in increasing order.
-6, -1, c, 2
Suppose -44*t - 22*t + 3213 = -3*t. Put 1, 39, t in ascending order.
1, 39, t
Suppose -18*z + 16*z + 33 = -5*h, -2*z - 23 = 3*h. Sort -8, -28, -3, z in descending order.
z, -3, -8, -28
Let g be (8/7)/((-7)/(49/(-2))). Suppose g*j - 225 = 49*j. Put 5, 0, j in decreasing order.
5, 0, j
Suppose 23*o = 5*r + 22*o + 108, 0 = -5*r - o - 102. Sort r, 30, -2, 2, -4.
r, -4, -2, 2, 30
Suppose -5*a - 3*g - 3 - 4 = 0, 0 = -a - 5*g - 19. Let q be (-1)/(-2 + 1)*(10 + 9). Let p = q - 15. Sort a, 3, p in decreasing order.
p, 3, a
Let v(r) = -r**2 + 18*r - 41. Let g be v(15). Suppose 3*q + 5*l = -9 - 23, -4*q = -3*l + g. Let s be q/(-14) + (-264)/(-56). Put -5, 1, s in descending order.
s, 1, -5
Let q be (-2)/(-4)*-5*2. Let r = -986 - -964. Let x be (-1)/8*-4*-2. Sort q, x, r.
r, q, x
Let u = -15.1 - -16.24. Let c = u - 1.44. Let n = -0.7 - -0.2. Put n, -3, c in increasing order.
-3, n, c
Let f = -234 + 256. Let l(j) = -j**2 + 23*j - 11. Let i be l(f). Put i, 4, -1 in descending order.
i, 4, -1
Let i = -5 - 3. Let b be 7/(-5) - i/20. Let x be ((-55)/5 + 14)/(-1). Put b, 2, x in ascending order.
x, b, 2
Suppose 11*h = -0 - 0. Let x be (45 + 0)*(25/(-15) + h). Let t be x/(5 + -2) - 3*1. Sort 4, -2, t in increasing order.
t, -2, 4
Suppose -3*i - 4*w = -42, 8*i - 4*i + 2*w - 56 = 0. Suppose i = 4*q - 2. Let r = 3155 + -3154. Put q, r, -2, 7 in descending order.
7, q, r, -2
Let a be (-1)/(-2)*40/4. Suppose -5*f - a*q - 15 = 0, -5*f + 7 = -3*q - 2. Suppose -29 = 4*h + 3*w, -16*h + 4*w + 27 = -19*h. Sort -2, h, f in increasing order.
h, -2, f
Suppose -1102 = -7*l - 559 - 557. Put 228, -4, l in ascending order.
-4, l, 228
Let k be 7/4 + 2/(-8). Let a(j) = 7*j + 141. Let q be a(-20). Let w be (-10 + (-422)/(-42))*6/q. Sort 0.5, -3, k, w in decreasing order.
k, 0.5, w, -3
Let o(b) = -6*b + 19. Let v be o(5). Let j be -2*(72/(-54) - v/6). Sort j, 1, -4 in ascending order.
-4, j, 1
Let t = -1/337 - 663/3707. Let h = 109.74 + -87.7. Let m = 22 - h. Sort t, -0.2, m, 0.1.
-0.2, t, m, 0.1
Suppose 23*a - 205*a + 7098 = 0. Sort -4, 1, a in ascending order.
-4, 1, a
Let c = 901/14 + -11741/182. Sort c, 32, -0.2 in increasing order.
-0.2, c, 32
Suppose 24 = -5*v + 144. Let w be (0 + 2)/(4/v). Suppose -75*f - 5 = -3*a - 73*f, -4*a + 5*f + 16 = 0. Sort w, 5, a.
a, 5, w
Let a = -0.423 + -18.217. Let s = a - 0.36. Let g = s - -19. Put -0.2, 3/5, 0.2, g in descending order.
3/5, 0.2, g, -0.2
Let d(i) = i - 6. Let x be d(8). Suppose 44*v - 26*v = 36. Suppose 3*l - v*o + 3 = -7*o, 0 = 2*o + 6. Sort 3, l, x, -2 in increasing order.
-2, x, 3, l
Let l(d) = d**2 - d - 3. Let n be l(-3). Suppose -4*k - 3*h = 13, 4*k - 175 = 4*h - 139. Sort k, n, -4, -5 in descending order.
n, k, -4, -5
Let n = -0.00503 + 0.50503. Sort -15, 1, -0.17, n in decreasing order.
1, n, -0.17, -15
Let s(j) = -16*j + 133. Let b be s(8). Put -3, b, -15 in increasing order.
-15, -3, b
Suppose 4*y = 2 - 14. Let w(z) = -48*z - 565. Let n be w(-12). Put 2, n, y in descending order.
n, 2, y
Let p = 10.2 + -3.5. Let w = p - 7. Let i be ((-28)/(-4) + -4)/13. Sort i, w, -5 in descending order.
i, w, -5
Let l(b) = -6*b - 43. Let z be l(-7). Let h be 9/(-225)*-10 + (-8)/(-55). Sort z, 3, h, -5/2 in increasing order.
-5/2, z, h, 3
Suppose 6 = -3*a - 3. Let o = 28653 + -28653. Let t be (0 + -1)/((-3)/12). Put t, a, o, 2 in ascending order.
a, o, 2, t
Suppose 5*i + 4*f = -6, -1710*i + 1711*i + 3*f - 1 = 0. Put -47, 4, -5, 1, i in increasing order.
-47, -5, i, 1, 4
Let q be 3 + 91/(-28) + (-1450)/(-8). Let y = q + -185. Sort 4, 0, y, -2 in increasing order.
y, -2, 0, 4
Let r(i) = -i**2 - 14*i - 41. Let p = 156 + -166. Let t be r(p). Put t, -3, -35 in decreasing order.
t, -3, -35
Suppose 3*o = 2*h - 0*o - 20, -5*h - 5*o = 0. Suppose 2*l + 4*b = 3*b - h, 12 = 2*l + 5*b. Put 179, 0, l in increasing order.
l, 0, 179
Let b(f) = -12 + 0*f**2 + 10*f**2 + 0 - 8*f**2. Let q be b(12). Let y = 2205/8 - q. Sort y, 1, 5, 2/3.
y, 2/3, 1, 5
Let a = -41 - -37. Let j = -2 - 18. Let k = j - -19. Put 5, a, k in ascending order.
a, k, 5
Let v(r) = -r**3 + 10*r**2 - 10*r 