t k(i) = i - 6. Let q be k(7). Let u be 1 + -2 + (3 - q). Sort u, 5, m.
u, m, 5
Suppose -2*d + 0*t + 3*t - 17 = 0, -2*t + 18 = -3*d. Sort -3, d, 1 in ascending order.
d, -3, 1
Let x = -3.3 - -3. Let c = -0.6 - x. Sort 4, c, -2 in descending order.
4, c, -2
Suppose -5*l + 28 = -0*w - 4*w, 0 = 4*l + 3*w - 10. Let t(i) = -3*i - 2. Let g be t(-2). Suppose g*h - l - 4 = 0. Sort 4, 0, h in decreasing order.
4, h, 0
Let u(v) = v**3 - 6*v**2 + 5*v + 1. Let m be u(5). Put -5, 2, m in decreasing order.
2, m, -5
Let l(f) = f + 12. Let g be l(-10). Suppose r + 11 = -3*m, -4*r = m - g*m - 8. Sort r, -1, 3.
-1, r, 3
Suppose 2*z + z = 9. Sort z, 9/5, -0.4 in increasing order.
-0.4, 9/5, z
Suppose 4*z + g + 15 = 0, z + 10 = -2*z - 2*g. Let b = 5 + -1. Suppose b*j - 19 = 6*f - 3*f, -24 = -4*j + 4*f. Put z, -1, j in decreasing order.
j, -1, z
Suppose -4 + 2 = -h. Let i(u) = u**3 - 2*u**2 + 2*u - 1. Let o(c) = c**2 - 7*c + 8. Let p be o(6). Let v be i(p). Sort -4, v, h in ascending order.
-4, h, v
Let d be (-1 - 4)/(-2 - -1). Let p(w) = -2*w - 2. Let b be p(-4). Suppose -2*a - b = -3*t, 12 = -5*t + 3*t - 4*a. Sort d, t, -5 in increasing order.
-5, t, d
Suppose -6*v + 2*v - 16 = 0. Let f = 7 - 1. Let y be (7 - f)/((-1)/(-2)). Sort v, 3, y in decreasing order.
3, y, v
Let z = 6.4 + -5. Let n = 1.2 + -0.2. Let m = z - n. Sort m, -0.3, -1 in descending order.
m, -0.3, -1
Suppose -5*y - 10 = w - 2*w, 4*y = -2*w - 8. Sort -6, -1, w in descending order.
w, -1, -6
Let w = -29 + 55/2. Sort w, 1/8, -1/3.
w, -1/3, 1/8
Let b = -33.5 - -33. Put 0.03, -1/4, b in decreasing order.
0.03, -1/4, b
Let b = 14 - 14.5. Put b, -4/7, 2 in decreasing order.
2, b, -4/7
Let g(q) = -4*q + 3 + q - q**2 - 4*q + 3*q + q**3. Let i be g(2). Put -0.1, 3/4, i in descending order.
3/4, -0.1, i
Let u(j) = j**2 - 15*j + 33. Let y be u(12). Let g be -2 + (-1 - -5) - -1. Suppose 3*w + w = -8. Sort g, w, y in ascending order.
y, w, g
Let m = -4 - -9. Let k = -11 + 5. Let q = -11 - k. Sort 2/11, q, m in ascending order.
q, 2/11, m
Let h = 25.6 + -26. Put 0.5, h, -2/7 in increasing order.
h, -2/7, 0.5
Let d be 196/(-180) + 12/10. Let f = -5.6 - -6. Let k = f + -0.3. Put d, -0.2, k in ascending order.
-0.2, k, d
Suppose -5*x - 4*p - 36 = 0, -2*x - 16 = -x + 3*p. Put x, -2, -3, -1 in increasing order.
x, -3, -2, -1
Let h = -16 - -18. Sort 0, h, -2.
-2, 0, h
Suppose p + 1 + 1 = 0. Suppose 0 = 3*n - 3*q + 24, 0 = -2*n + q - 7 - 6. Let j be (-12)/60*10/(-2). Sort p, n, j in decreasing order.
j, p, n
Let c be (-5)/3 - 12/8. Let p = -5/3 - c. Put p, 1/3, -1/5 in descending order.
p, 1/3, -1/5
Suppose 110 = -0*z - 5*z. Let s be (-4)/18 + z/(-18). Suppose s = -d - 0. Sort 3, d, 5.
d, 3, 5
Let i be -1 + 0 - 20/(-28). Let y = -49 - -54.7. Let o = y - 0.7. Sort -5, i, o.
-5, i, o
Let s = 45 + -29. Let m be 2/3 - s/18. Sort 5, m, -0.5.
-0.5, m, 5
Let c = -60 - -123/2. Let b = -0.02 - 5.98. Let w = b + 2. Sort 0.5, c, w in descending order.
c, 0.5, w
Suppose 0 = -2*p + s + 4 + 3, -5*p + 4*s + 13 = 0. Sort -5, 0, 2, p in decreasing order.
p, 2, 0, -5
Let c = 3 + -2. Let g be -1 + c/(3/6). Let q be 3*(-1 - (0 + -2)). Sort q, g, 0 in increasing order.
0, g, q
Let g be 3/6*2/1. Sort 0.3, -2/15, 4, g in descending order.
4, g, 0.3, -2/15
Suppose 2*h = -2*h. Let l(a) = a**2 - 1. Let b be l(2). Let t(y) = y + 1. Let i be t(0). Sort b, i, h in ascending order.
h, i, b
Let r = -152 + 153. Let s = -0.2 - -0.1. Let l = 4.03 + -0.03. Sort s, l, r in increasing order.
s, r, l
Let r = 13 + -12. Sort 14, 0, r in increasing order.
0, r, 14
Let q = -0.1 + 0.6. Let r = 5.7 + -0.7. Let t = -4 + 3. Put r, t, q in decreasing order.
r, q, t
Let c be (-4 + 2)*(-5)/(-65). Put -4, -5, c in decreasing order.
c, -4, -5
Let j(v) = 2*v**2 - 21*v - 12. Let w be j(11). Let u = -4 + 7. Suppose y - 5*y - 16 = 0. Sort y, w, u in decreasing order.
u, w, y
Let c = 0.2 - 0.1. Suppose 4*z - 1 = -j, 4*z - 3*j - 9 = 4. Let r = 3.3 + -3. Sort c, r, z in ascending order.
c, r, z
Let o = -0.1 - -1.3. Let v = o - 0.8. Let s = v - 0.8. Put -5, s, -2 in ascending order.
-5, -2, s
Suppose 0 = j + 5 - 15. Suppose 2*p + 3*z + 23 = 0, 2*z + j + 20 = -5*p. Put p, 3, 0 in descending order.
3, 0, p
Let t = 0.46 + -0.06. Let d = 21 - 21.2. Let p = d + t. Put -2, p, 2/11 in ascending order.
-2, 2/11, p
Suppose 0*v - 4*v - 7 = 5*s, 1 = -4*v - 3*s. Let r = -13 - -14. Put v, r, 4 in descending order.
4, v, r
Let a be (3/(-12))/(3/(-12)). Let j(i) be the first derivative of i**4/4 + 8*i**3/3 + 7*i**2/2 + 5*i - 1. Let b be j(-7). Sort a, -3/4, b.
-3/4, a, b
Suppose 3*v = 3*p, -4 + 8 = -v + 2*p. Sort 0, 0.08, -4, v.
-4, 0, 0.08, v
Let g = 10 - 12. Let o = -0.4 - 0. Sort g, o, 1/3.
g, o, 1/3
Let f = 59 - 56. Sort -3/5, 1/5, f in decreasing order.
f, 1/5, -3/5
Let a(l) = l**2 - 15*l + 9. Let y be a(14). Let z be (-5 + 5)*2/(-2). Put z, y, -3 in decreasing order.
z, -3, y
Let w = -12 - -12.02. Let s = 0.38 + w. Put s, 4, -2 in descending order.
4, s, -2
Suppose 0*p = -4*p. Suppose p = -3*w - w. Let y be (-4)/16 + w + 0. Put -1, -5, y in decreasing order.
y, -1, -5
Let u = 6 + -4. Suppose n = 13*n - 36. Sort n, 0, u in increasing order.
0, u, n
Let q be (-2 - -1)/((-3)/(-6)). Let w = -14 - -14. Put q, w, 1 in decreasing order.
1, w, q
Suppose 0 = l + 1 + 2. Let n(s) = -s**2 + 8*s + 12. Let k be n(9). Suppose -5*v + 1 = -k*x, -4 - 2 = 4*v + x. Sort l, 3, v in increasing order.
l, v, 3
Let z(y) = 3*y + 7. Let s be z(-4). Let p be ((-8)/(-10))/(2/20). Suppose -x = x + p. Sort -3, x, s.
s, x, -3
Suppose -5*k + 15 = -p, -2*p - 6 = -5*k + 4. Suppose k*t + 0*t = -8. Sort t, -5, -1.
-5, t, -1
Suppose g + 15 = -4*g. Suppose 11*z - 15*z = 4, 5*d - z = -19. Let u = -2 - -5. Sort u, d, g in descending order.
u, g, d
Let z = -0.1 + -4.9. Put z, 0, 0.07 in descending order.
0.07, 0, z
Let a = 4 - 8. Suppose 2*k - h = -10 - 3, 4*k - 4*h = -32. Put 5, k, a in increasing order.
k, a, 5
Let t(i) = -2*i + 6. Let d be t(5). Let r = 4 + -6. Suppose 3*v - 7*v = -12. Sort r, d, v in descending order.
v, r, d
Suppose -4*f - 8 + 32 = 0. Let v be ((-12)/(-28))/(f/(-4)). Let d = 31 - 33. Sort d, -0.1, v in ascending order.
d, v, -0.1
Let k = -3.6 - -7.6. Let a be (-1 - -2) + 0 + 0. Let y be -2*1/8 + a. Sort y, k, -0.5 in descending order.
k, y, -0.5
Let n = -2.98 + -0.02. Let w = 0.47 + -1.47. Let c = 38/7 - 736/133. Sort w, c, n in descending order.
c, w, n
Suppose -h - 8 = -6. Suppose 0 = g - 5*g. Suppose -5*m + 3 - 8 = g. Sort -4, h, m in descending order.
m, h, -4
Let n be (-6)/(-15) + 3/5. Let v be -3 + 4 + n + -2. Sort 4, 1, v.
v, 1, 4
Let a = 15 + -9. Suppose -3*h + a = 3*n, 0 = n + 5*h + 1 + 9. Let s = -56 - -55.8. Sort n, 0.3, s.
s, 0.3, n
Let g = 10 - 6. Let q(z) = -z**3 + 8*z**2 - 6*z - 5. Let p be q(7). Suppose -5*d - 2 = g*u + p, 1 = -u + 5*d. Sort -4, -2, u in decreasing order.
u, -2, -4
Let n be (-10)/35 - 76/28. Sort n, -4, 19 in descending order.
19, n, -4
Let h = -63 + 63.1. Put h, -1, -1/8 in descending order.
h, -1/8, -1
Let v = 54 + -58. Put -15, v, 1 in decreasing order.
1, v, -15
Let s be 1 + ((-15)/(-2))/(-5). Let d(u) = -u - 9. Let h be d(0). Sort h, s, 0.5 in descending order.
0.5, s, h
Let r(n) = n + 6. Let k be r(-11). Let y = k - -3. Suppose -4*v + 16 = 0, -3*v + 2*v + 4 = 3*j. Sort y, j, 5 in increasing order.
y, j, 5
Let a = -14 - 1. Let i = -10 - a. Put -2/11, -4, i in ascending order.
-4, -2/11, i
Let i = 0.02 - -0.18. Put -5, -4, i in descending order.
i, -4, -5
Suppose -15 = -4*j - j. Let y be j + -2 + (-12)/14. Let r = 130 - 128. Sort r, 0.1, y.
0.1, y, r
Suppose 5*n + 10 = -5. Let j = 2 - 2. Suppose 4*w = -j*w + 20. Sort w, n, 2 in descending order.
w, 2, n
Let a = 185 + -1299/7. Sort 2/7, -5, a in ascending order.
-5, a, 2/7
Let d = -0.09 + 0.09. Let y = d + -5. Let b = -1 - y. Put 3, -3/7, b in decreasing order.
b, 3, -3/7
Suppose -o - 12 = -3*o. Let p(d) be the second derivative of d**5/20 - 5*d**4/12 - 7*d**3/6 + 9*d**2/2 + 2*d. Let y be p(o). Put 0, -5, y in descending order.
y, 0, -5
Let h be -5*4/(-40) - 5/(-10). Suppose 3*d = 5*w + 28, 4*w + d + 3*d + 16 = 0. Put h, w, -1 in descending order.
h, -1, w
Let b(y) = y**2 + 3*y + 1. Let k be b(-3). Let g = 0 - k. Let z be -2*9/(-6) + 2. Sort z, g, 4 in descending order.
z, 4, g
Let b = 41 - 31. Sort b, 0, -5 in d