, z in ascending order.
-3, -1, z
Suppose 5*o + f = 3*f - 35, -5*f + 35 = -2*o. Suppose -9 = 15*b - 12*b. Put b, 2, o in descending order.
2, b, o
Let j = 0 - -15. Let l be ((-35)/j)/((-2)/6). Suppose -5*a - 20 = -s, 3*s + 2*a - l*a - 20 = 0. Sort s, 0.06, 3/4.
s, 0.06, 3/4
Suppose -2*w = 3*w + 15, 0 = u - 2*w - 5. Let m(x) = 5*x**3 + x - 2. Let i be m(1). Sort u, i, 2 in increasing order.
u, 2, i
Let k(m) = 5*m**3 + 11*m**2 - 3*m + 14. Let o(p) = -p**3 - p**2 - p - 1. Let d(j) = -k(j) - 4*o(j). Let x be d(-8). Sort -5, x, 3/2 in ascending order.
-5, x, 3/2
Let j = -248 - -252. Let o = 5 + -9. Put j, 2/25, o in increasing order.
o, 2/25, j
Let c(b) = b**2 - 2*b. Let a be c(4). Let s = -47 + 44. Put s, a, 1 in increasing order.
s, 1, a
Let q = 30 - 9. Let o = 23 - q. Sort -5, o, 12 in decreasing order.
12, o, -5
Let d = 19.04 - 19. Put 0.3, d, 2/11 in decreasing order.
0.3, 2/11, d
Let s be ((-20)/(-25))/((-34)/(-50)). Let p = s - 197/153. Sort p, -4, -1 in decreasing order.
p, -1, -4
Let x = 52 + -782/15. Let g = 2/23 - 77/92. Let z = g + 1/2. Sort z, x, -3/8 in descending order.
x, z, -3/8
Let c = 97.2 + -97. Sort 3, c, 0 in increasing order.
0, c, 3
Let j be (-1)/3 - (-26)/6. Let t be 110/(-9) - (-2)/9. Let s be ((-3)/(-4))/((-3)/t). Put j, s, -5 in increasing order.
-5, s, j
Suppose 49 = 10*j - 21. Sort 4, j, -5, -3.
-5, -3, 4, j
Suppose 3*q - 2*x - 6 = 0, 5*x - x + 12 = -3*q. Put -3, q, -5 in ascending order.
-5, -3, q
Let l(h) = -h - 8. Let z be l(-9). Sort z, 5, -1.
-1, z, 5
Suppose -5*w + 21 = 2*o - 0*w, 0 = -2*w + 10. Let m = -4.97 - 0.03. Sort m, -1/3, o in decreasing order.
-1/3, o, m
Let k = -0.002 + -5.598. Let n = k - -6. Let a = 0.9 - n. Sort a, -3, -1 in decreasing order.
a, -1, -3
Let s = 27 - 29. Put s, 5, 2 in descending order.
5, 2, s
Suppose -5 + 2 = 3*v. Suppose 2*y + 0 + 6 = 0, 4*t + 3*y - 7 = 0. Sort v, 1, t.
v, 1, t
Suppose 2*h = -h + 6. Let j(i) = -i**h + 11 - 4*i - 7 + 9*i. Let v be j(6). Put v, 2, 3 in decreasing order.
3, 2, v
Let u = 12 - 19. Sort -1, 0, u in decreasing order.
0, -1, u
Let b be (3 - 2)/((-5)/35). Sort -9, 0, b, 1.
-9, b, 0, 1
Suppose -5*q - 7 = -12*q. Put -2, q, -1 in descending order.
q, -1, -2
Let n(r) = 7*r - 2. Let t be n(1). Put 1/2, -1/2, t, -3/2 in increasing order.
-3/2, -1/2, 1/2, t
Let f = 71.5 - 71. Sort 17, -0.2, f, 2 in descending order.
17, 2, f, -0.2
Suppose 0 = 3*s - 3 - 3. Put s, -2, 4 in descending order.
4, s, -2
Let y(g) = g**2 - 14*g + 38. Let j be y(11). Sort j, 3, -16, -1 in ascending order.
-16, -1, 3, j
Let l = 1 - 5. Let o be ((-9)/21)/((-6)/(-4)). Let d = 0.2 - 0.3. Put d, l, o in descending order.
d, o, l
Let z = 5 + -18. Let t = -18 - z. Sort t, 0.1, -1/4 in decreasing order.
0.1, -1/4, t
Suppose n = 2 - 6. Let x be 2/(-4) - 2/n. Suppose -l + x*l + 2 = 0. Sort 1, l, -5 in increasing order.
-5, 1, l
Let w(b) = -b**3 + 13*b**2 - 12*b + 2. Let k be w(12). Suppose k = 2*j - 2. Suppose 5*y = 15, -4*y - 1 = 5*t - 8. Sort t, j, -2 in decreasing order.
j, t, -2
Let a = -165 - -1152/7. Let o be (2/(-2))/(-4 - -2). Put a, 3, o in decreasing order.
3, o, a
Let u be (-12 + -2)*(-2)/(-4). Let p be 2/u + 6/(-28). Let r = -113/77 + 9/7. Sort r, 2/11, p.
p, r, 2/11
Let h be (-56)/7 + (-1 - -4). Put -0.1, 11, h in decreasing order.
11, -0.1, h
Let m be 30/(-8) - (-3)/4. Let u = -6 + 4. Sort u, m, -5 in descending order.
u, m, -5
Let k = 0.3 + -3.3. Let j = -0.8 - -3.8. Let i = k + j. Put -2/7, i, 0.2 in ascending order.
-2/7, i, 0.2
Let w(z) = z - 2. Let f be w(3). Let y(m) = -m + 1. Let s be y(-3). Suppose 0*c = c - s. Sort c, -1, f in increasing order.
-1, f, c
Suppose -5*u - 10 = b - 2*u, 0 = -3*b + 2*u - 30. Let d be (-6)/(1 + b/4). Sort d, -2, 2 in ascending order.
-2, 2, d
Suppose 0*h - y - 12 = 2*h, -3*h - 2*y - 17 = 0. Let n = 0.3 + -0.2. Sort n, -4, h in ascending order.
h, -4, n
Let k = -33 - -32.6. Sort 5, -4, k.
-4, k, 5
Let u be (9 - 9/1)*2/(-6). Let w(m) = m**3 - m**2 - m + 4. Let r be w(0). Sort u, -5, r in increasing order.
-5, u, r
Let o = -0.1 - 0. Let j = -0.08 - -4.08. Sort -1, j, o in ascending order.
-1, o, j
Let c be (-1)/3 - 294/(-18). Suppose 3*x + 21 = -3*a, -c = 5*x - a + 1. Sort 4, x, 3 in decreasing order.
4, 3, x
Let w(l) = l**3 - l**2 - 3*l + 1. Let p be w(2). Let j be -2 + (-1)/p + 2. Sort 3, 4, j in ascending order.
j, 3, 4
Let i(v) = 2*v + 2. Let r be i(-2). Sort r, -7, 4 in ascending order.
-7, r, 4
Suppose 7 + 9 = v + 4*r, -5*v + 29 = 3*r. Let u = -0.02 - 0.98. Let y be -1 + (-1)/(-3) + 1. Sort y, u, v in increasing order.
u, y, v
Let v be (-350)/85 + (-6)/(-51). Sort 0, 2, 5, v.
v, 0, 2, 5
Let u = 323 - 326. Let v(g) = g**2 + 2. Let j be v(0). Sort -2, j, u in increasing order.
u, -2, j
Let h = -6 + 10. Suppose 2*z - h = 2. Sort z, 1, -5 in increasing order.
-5, 1, z
Let o = 19 - 11. Let q = -8.1 + o. Put -0.5, 3, q in decreasing order.
3, q, -0.5
Let s = 2 + -2. Let q be ((5 - s) + 0)/1. Let z(p) = -2*p**2 - 24*p + 32. Let f be z(-13). Sort q, 2, f in ascending order.
2, q, f
Let p = 4 + -3. Let n = p + -1.1. Suppose d - 20 = -5*o, 0 = -o - d - 4 + 12. Put 0, o, n in decreasing order.
o, 0, n
Let a be (0 - 1)/(0 + 2). Suppose 4*y + 8 = -2*c + 36, 22 = 2*c + y. Suppose -7*b + c*b = -6. Put a, b, 0.3 in decreasing order.
0.3, a, b
Let x = -2/21 + 52/105. Suppose 0 + 12 = 4*w. Put w, x, 2 in decreasing order.
w, 2, x
Suppose -h - 12 = 2*h, 3*h = -2*z - 10. Suppose 3 = -s - z. Let l be ((-8)/(-10))/(8/20). Sort l, s, -5 in decreasing order.
l, s, -5
Let n(o) = -o**2 + 5*o - 1. Let l be n(5). Let k = l - -3. Sort -2, k, 3.
-2, k, 3
Let y(c) = -4*c + 30. Let x be y(8). Let t be ((-9)/(-6) + -1)*-5. Put t, x, 2/11 in descending order.
2/11, x, t
Suppose 7 = -u + 6. Sort 0, -4, -2, u in decreasing order.
0, u, -2, -4
Let f(y) = y**3 + y - 2. Let x be f(2). Suppose m + 3 = x. Let p(j) = j**3 - 6*j**2 - 8*j + 2. Let a be p(7). Sort 0.5, a, m in descending order.
m, 0.5, a
Let b = -9 + 9.4. Sort 2, -2/21, b in decreasing order.
2, b, -2/21
Let t = 73/207 - 3/23. Let v = -1 + 1.2. Put v, t, -0.3 in increasing order.
-0.3, v, t
Suppose -5*a + 0*a + 20 = -5*q, -2*a - 2*q - 8 = 0. Let v be (-12)/(-14) + a + -1. Let u = 0 - 1. Put -0.5, v, u in increasing order.
u, -0.5, v
Let u = 96 + -91. Put u, -1, -2 in increasing order.
-2, -1, u
Let q be ((-10)/(-8))/((-2)/(-8)). Put -1, 3, q in ascending order.
-1, 3, q
Let l = -0.4 + 0.3. Let y(p) = p**2 - p - 4. Let m be y(-3). Let o be 11/4 + m/32. Put 1/2, l, o in descending order.
o, 1/2, l
Let s = -10.1 + 9. Sort s, -0.3, 1.
s, -0.3, 1
Let c(w) = 2*w**2 - 2*w - 1. Let b be c(2). Let n be -2 - 0 - (2 + -1). Sort n, b, -2 in increasing order.
n, -2, b
Suppose 10 - 4 = -2*y. Sort y, -2, -1, 0 in ascending order.
y, -2, -1, 0
Let w = 20 + -41/2. Sort -4, 0, w.
-4, w, 0
Suppose 2*f = -3*b + 6, 0 = 5*f + 5*b - 8 - 2. Let j be ((-7)/4)/((-1)/(-4)). Sort j, f, -2 in decreasing order.
f, -2, j
Suppose 15*y - 9*y = -6. Let h = 4 + 1. Suppose 3*n = n. Put y, h, n in ascending order.
y, n, h
Let t(k) = k**3 - 5*k**2 - 7*k + 8. Let v be t(6). Sort 5, -6, v.
-6, v, 5
Let t be 2/7 - (-37)/(-7). Let k = -2 - -2.2. Let q = 4.4 + 1.6. Sort q, k, t.
t, k, q
Let k(z) = -4*z + 4. Let n be k(6). Let p = n + 8. Let a be (-10)/p*(-8)/(-30). Put a, -3, -0.5 in decreasing order.
a, -0.5, -3
Let i = 205/9 - 23. Put -4/7, i, 4 in decreasing order.
4, i, -4/7
Let z = 19 + -20. Put 5, 0, z in ascending order.
z, 0, 5
Let k = 6 - 5.7. Let s = 23 - 45/2. Sort -2, k, s in decreasing order.
s, k, -2
Let j = 177 - 180. Sort -2, j, 5, 0.
j, -2, 0, 5
Suppose -4*t = o - 23, 9 = 2*t + t - 2*o. Suppose -5*w - 5*p = 10, 5*p - 4*p + 2 = t*w. Put -1, -5, w in ascending order.
-5, -1, w
Let l be 4/(-14) + (-25)/35. Let t be ((-4)/l)/((-4)/(-4)). Sort t, -1, 1.
-1, 1, t
Let l be (-2)/(-2 + 1) + 3. Suppose 3*f - 3*j + 12 = 0, -5*j + 8 = -2*f - 12. Suppose f = -2*x - 7 + 1. Put x, l, 0 in increasing order.
x, 0, l
Let f be (-2996)/130 + (0 - 2). Let m = f - -126/5. Sort m, 2/7, 3.
m, 2/7, 3
Let c(l) be the second derivative of -l**4/12 - 2*l**3/3 + 5*l**2 + 9*l. Let a be c(-5). Put a, 1, -3 in descending order.
a, 1, -3
Let h(b) = b**2 - 11*b - 15. Let o be h(13). Sort -2, o, 2, 1 in decreasing order.
o, 2, 1, -2
Let l = 131.3 + -124. Let u = 7 - l. Let t = -0