t x, -4, y in descending order.
x, y, -4
Let t = 19 + -17. Put -3, 4, t in decreasing order.
4, t, -3
Let k = 2/301 - 131/301. Let d be (12/(-52))/((-9)/6). Sort d, -1, k in ascending order.
-1, k, d
Suppose 6 = 4*j - 5*j. Let m be 36/(-30)*20/j. Sort m, 0, -3.
-3, 0, m
Let a = 2 + -1. Let q(y) = y**3 - 2*y**2 - 2*y + 2. Let p be q(3). Let t be 8/6*(-3)/(-1). Sort a, p, t in ascending order.
a, t, p
Let b = 2 + 0. Suppose b*u = -3*u + 5. Let n(d) = -2*d - 2. Let g be n(-2). Put u, -5, g in increasing order.
-5, u, g
Let f be 15/2*20/(-25). Let l be -4 - f/3 - 2. Put 1, 5, l in increasing order.
l, 1, 5
Let d = 2 + -3. Suppose -3*p - 3*s = 2*s, -37 = 5*p - 4*s. Let j(t) = -t - 3. Let a be j(p). Put d, 0, a in decreasing order.
a, 0, d
Let l = -7.6 - -7. Let t = l - 1.4. Let x = 1.9 + t. Sort -0.5, x, -2/11.
-0.5, -2/11, x
Let u = -4 - -4.2. Let i = u + -1.1. Let h = i - -2.9. Sort 3, -5, h in ascending order.
-5, h, 3
Let h = -4.5 - -5. Suppose q = -2*q + 9. Sort q, h, 0.2.
0.2, h, q
Suppose -y - 3*y - 12 = 0. Let v(q) = -12*q - 2. Let l be v(-1). Let s = l + -7. Sort -5, s, y in decreasing order.
s, y, -5
Let v = -19 + 18.7. Suppose -2*r - 4*c + 10 = 0, -2*r = -4*r + 3*c + 3. Put r, -0.2, v in ascending order.
v, -0.2, r
Let l(b) = -21*b. Let i be l(9). Let n = -1699/9 - i. Sort n, -5, 5 in decreasing order.
5, n, -5
Suppose 5*h - 12 = -h. Suppose 2*r - 2 = h, -4*r = -d - 3. Sort d, 3, -2 in decreasing order.
d, 3, -2
Let o = 118 + -113. Sort 6, o, 2 in decreasing order.
6, o, 2
Let q(w) = -w**2 + w + 2. Let o be q(0). Let z be 4/o - 72/33. Sort z, 2, -1 in descending order.
2, z, -1
Let o = 3 - 3.2. Let h(a) = a**2 + 14*a - 18. Let n be h(-15). Sort -1, o, n in increasing order.
n, -1, o
Let b be 1/((-3)/(-36)) + -2. Let j = b + -14. Suppose -7*o = -2*o. Put o, j, 1 in decreasing order.
1, o, j
Suppose 5*f - 4 = 4*f. Let y = 1 - 1. Let g be (-3)/((-15)/(-6) + -4). Sort f, g, y in ascending order.
y, g, f
Let v = 0.06 - -0.44. Put -0.3, v, 1/3, -2/15 in ascending order.
-0.3, -2/15, 1/3, v
Let t = 0.6 + -0.3. Let r be 2/5 + (-13)/20. Sort t, r, -1 in ascending order.
-1, r, t
Let h = 10 + 2. Let s be (4/3)/(h/9). Suppose 5*n + 12 - 2 = 0. Sort n, 2, s in increasing order.
n, s, 2
Suppose -11 - 9 = -5*a. Suppose -3*q = -5*q. Suppose -l - 1 = -i, -3*i - 27 = 3*l - q*l. Put a, l, 5 in descending order.
5, a, l
Let p be 54/10 - (-6)/(-15). Suppose 17 = 4*l + 1. Suppose -l*g + 15 + 1 = 0. Sort g, -2, p in decreasing order.
p, g, -2
Let y = -881/9 + 98. Let g = -0.5 + -2.5. Let n = 9 + -8.9. Put n, y, g in ascending order.
g, n, y
Suppose -2 = 3*t + 1. Let k be -2 - t - 0/(-3). Sort 3, 0, k in increasing order.
k, 0, 3
Let d(l) = -l**3 + 6*l**2 - 2. Let s be d(6). Let x be (s/(-11))/(0 - 1). Let k(r) = 2*r - 10. Let b be k(7). Sort b, x, -0.4 in increasing order.
-0.4, x, b
Suppose -16 = -3*g + 14. Suppose 7*n - 2*n = -g. Suppose 3*r - 3*x - 18 = 0, 5*x = -3*r + 2*x - 6. Put 3, n, r in descending order.
3, r, n
Let o = -8 + 7.9. Put 4, -1/4, o in increasing order.
-1/4, o, 4
Let q be 2/(-4)*(2 - -10 - 2). Let p be (0*-1*1)/(-1). Sort q, -4, p in descending order.
p, -4, q
Let r = -2 - -3. Suppose -3*b + b + 10 = 0. Suppose 5*l + 8 = -3*f + 2*f, -5*f - 10 = -b*l. Put l, 2, r in decreasing order.
2, r, l
Let i = 0.1 + -0.2. Let w = -16 - -3. Let q = -11 - w. Put q, i, -1 in increasing order.
-1, i, q
Let r = -6 - -6. Let v = r + 2. Put -0.4, -1/3, v in descending order.
v, -1/3, -0.4
Suppose 0 = w + w. Suppose 1 = 3*c - b - 4, 2*c - 2*b = 6. Let u = 5 + -7. Put c, w, u in decreasing order.
c, w, u
Let x be (0 - 1)/(-4 + 5). Let i = 0.5 - 0.9. Sort i, x, 5.
x, i, 5
Suppose -m + 5*m + 2*n = 148, -2*m + 86 = 4*n. Suppose -3*h + 8*h - m = 0. Suppose -h = 3*x + 2. Sort x, 1, 3 in ascending order.
x, 1, 3
Suppose t + 0*t = 48. Let s be (76/t)/(2/3). Let l = -61/24 + s. Sort l, 0, 4 in descending order.
4, 0, l
Let g = -3 + 1. Let d(a) = -3*a - 3. Let q be d(-2). Let j = -9.4 - -9. Sort q, j, g in ascending order.
g, j, q
Let y = 4 - 4. Let j = 0 - y. Suppose q + 2*z + 1 = 0, -3*z + 16 = -4*q + 2*q. Sort j, 5, q in decreasing order.
5, j, q
Suppose 0*j + 16 = 4*j. Suppose -4*m + i + 40 = 2*i, -5*i = -20. Suppose 5*w - 8*w - m = 0. Put 5, j, w in decreasing order.
5, j, w
Let d = 0.1 + -0.2. Let y = -0.11 - 5.89. Let b = y - -6.5. Sort b, d, -0.4 in descending order.
b, d, -0.4
Let j(n) = -n**2 + 3*n - 1. Let k be j(4). Put 2, -2, k in decreasing order.
2, -2, k
Suppose 0 = 2*g - 17*g + 15. Sort 8, -4, g in decreasing order.
8, g, -4
Let z(n) = n**3 + 4*n**2 + 2*n - 2. Let y be z(-3). Let w = -8 + y. Let m(q) = q + 5. Let k be m(w). Sort k, 5, 0 in ascending order.
k, 0, 5
Let f = -46 - -48. Put f, 8, -1 in increasing order.
-1, f, 8
Let d(n) be the third derivative of -n**6/120 + 2*n**5/15 - n**4/3 + n**3 + n**2. Let h be (-7)/(1 + (1 - 3)). Let o be d(h). Put o, -2, 0 in descending order.
0, o, -2
Let p be 7 - -9*4/(-12). Put -3, 16, p in descending order.
16, p, -3
Let t be (-1 + 2)*(6 - 1). Let c = 2 - t. Sort 2/3, c, -3/8 in ascending order.
c, -3/8, 2/3
Let r be -10*5/(-30) - 1. Put 5, -14, r in descending order.
5, r, -14
Suppose 3*y + 8 = -0*j - 5*j, 0 = 3*y - 4*j - 1. Put -3, y, 5 in increasing order.
-3, y, 5
Let m = 14/153 - -4/153. Let p = 19 + -21. Suppose -1 + 3 = -2*d. Sort p, m, d in ascending order.
p, d, m
Let a = -0.3 - 0.7. Let p = a - -0.1. Let n = 4.1 - p. Put n, -1/2, 1 in ascending order.
-1/2, 1, n
Suppose 1 + 2 = -i. Suppose -16 = -6*v + 2*v. Suppose -6 + v = x. Put i, -1, x in increasing order.
i, x, -1
Let t = 413/438 - 8/73. Sort t, 1, 5 in descending order.
5, 1, t
Let o = 41 + -617/15. Sort 5, o, 3 in decreasing order.
5, 3, o
Let h(d) = d**3 - 4*d - 4*d - 3 + 5*d - 2*d**2. Let z be h(3). Sort -4, 4, z.
-4, z, 4
Let j = 3 - 7. Let y = -49 - -53. Put y, j, -2 in descending order.
y, -2, j
Suppose 3 - 6 = -u. Suppose 0*z = -u*k + 5*z - 8, -12 = -k - 2*z. Put 5, k, 0 in descending order.
5, k, 0
Let r(q) = -q**3 - 5*q**2 - 3*q + 3. Let l be r(-4). Let a(i) = -5 + 5 + 4*i. Let u be a(-1). Put l, u, 3 in ascending order.
u, l, 3
Let v = -5 - -7. Suppose -5*z + v*f = -f, 0 = 5*z + 5*f + 40. Sort -1, -5, z in decreasing order.
-1, z, -5
Suppose v + 1 = -s, 0*v + 2*s = -v - 2. Let o(d) = -d**2 - d + 1. Let p be o(0). Suppose 0 = 4*n - 5*n + p. Sort v, n, -3.
-3, v, n
Let k(d) = 5*d**3 + d**2 - d. Suppose -5*b - 5 = 4*l - 19, -2*l - 2*b = -6. Let o be k(l). Put 5/3, -4/5, o in increasing order.
-4/5, 5/3, o
Suppose 3*a + 7 = -w, -2*a + 2 = -2*w + 4*w. Put w, -4, 1 in increasing order.
-4, 1, w
Let i = -9.3 - -10. Let t = i + -0.7. Sort t, 4/7, -2/15 in increasing order.
-2/15, t, 4/7
Let c be (-2)/(2*2/(-6)). Sort c, -2, -5 in decreasing order.
c, -2, -5
Let l = 4.6 - 5. Let b be ((-6)/(-4))/(7/(-2)). Let i(s) = -s**2 - 5*s - 3. Let a be i(-5). Put l, b, a in decreasing order.
l, b, a
Suppose 0 = -3*t - 2 + 26. Sort 3, 0.4, t, 4.
0.4, 3, 4, t
Let u = -8 + 8.5. Let l = -0.2 - -0.24. Let s = -0.36 - l. Put 5, u, s in ascending order.
s, u, 5
Let w = -2 - 1. Let g(m) = -m**3 + 4*m**2 - m + 5. Let t be g(4). Suppose -3*d - t = -4. Put d, 0, w in increasing order.
w, 0, d
Let x = 0.074 + -0.114. Put 8/5, x, 0.5 in decreasing order.
8/5, 0.5, x
Let s be (-270)/63 - 2*-2. Let r = -3.7 - -4. Put -1/2, r, s in descending order.
r, s, -1/2
Let g be (2/3)/((-1)/6). Let q = 1 - -4. Suppose 0 - 3 = -p. Put p, q, g in decreasing order.
q, p, g
Let g = 1.24 - -2.76. Let o = 0.2 - 0.2. Put -1.2, g, o in descending order.
g, o, -1.2
Let s = 538/7 - 77. Sort -1, 13, s, -0.4 in ascending order.
-1, -0.4, s, 13
Let a(w) = w**2 - 5*w + 6. Let c be a(3). Suppose 2*j - 6*j - 12 = c. Let n = -4 + 0. Sort j, 1/4, n in descending order.
1/4, j, n
Let a = 37891/120 - -147/8. Suppose 0*u + 656 = -2*u - 4*t, -u = 5*t + 319. Let b = u + a. Put b, -5, -0.1 in decreasing order.
b, -0.1, -5
Suppose -o - o = 5*q + 23, 0 = -5*o + 4*q - 8. Let u be o/(-6) - 8/(-6). Sort -5, u, -2 in increasing order.
-5, -2, u
Suppose 0 = -3*h - 4*v - 5, -2*v = 2*h. Suppose 3*w - 4*q = 5*w - 4, -5*w + q + 32 = 0. Let n(i) = i**3 - 7*i**2 + 6*i - 4. Let s be n(w). Sort h, s, 2.
s, 2, h
Let z = -44 + 44. Sort z, -0.5, -11.
-11, -0.5, z
Suppose l = 0, -7 + 32 = 5*u + 3*l. Sort u, 4, -4 i