/9
Let g = 42 + -28. Let w = g + -10. Put -1, w, -4 in decreasing order.
w, -1, -4
Let w be 6/(-33) + (-2)/(-11). Suppose 4*y = 2*t + 2, w = y + 4*y + 5. Suppose 3*g + 5*k - 10 + 28 = 0, 0 = 4*g - 2*k - 2. Sort 0, g, t.
t, g, 0
Let d = 14 - -9. Suppose 2*g = 5*r + d, 13 = 3*r - 5*r - 3*g. Put 4, r, 2 in decreasing order.
4, 2, r
Suppose -5*a = 34 - 19. Sort a, -5, -4, -1 in ascending order.
-5, -4, a, -1
Suppose 0*p = p + 70. Let k = p - -43. Let w be k/12 + 1 + 1. Sort 5, w, -0.1 in increasing order.
w, -0.1, 5
Suppose -19*m + 6*m - 169 = 0. Sort -2, m, 5 in decreasing order.
5, -2, m
Let q(o) = 2*o**2 - 2*o - 4. Let g be q(3). Suppose -l + 2*l + g = 5*f, -2*l - 9 = -3*f. Let p = 11 + -6. Sort -0.4, p, f.
-0.4, f, p
Let l(t) = t**3 - 4*t**2 - 3*t - 7. Let o be l(5). Let v = -1 + -4. Let a be (v/(-2))/((-4)/8). Put a, -1, o in decreasing order.
o, -1, a
Let x = 0.3 + -0.2. Let h = -22 - -38. Let b be ((-3)/2)/(12/h). Sort b, x, -1/2 in increasing order.
b, -1/2, x
Let g = 4 - 7. Let f = 3 + g. Let i be ((-4)/3)/((-2)/3). Sort i, -3, f in descending order.
i, f, -3
Let a(t) = -t**2 + 8*t. Let d be a(7). Suppose d*p - 4*p + 9 = 0. Let c = 4 - 1. Put p, -0.3, c in decreasing order.
c, -0.3, p
Let l = 15/38 + 2/19. Let s = 11 - 10.96. Let i = s - -2.96. Put -6/11, l, i in decreasing order.
i, l, -6/11
Let j(k) = -3*k + 1. Let g be j(2). Suppose 2*i + 4 = -0. Let a(u) = u**3 + u + 4. Let r be a(0). Put g, r, i in ascending order.
g, i, r
Let n(h) = h**2 - 14*h - 17. Let r be n(15). Sort r, 8, 1 in descending order.
8, 1, r
Let l = -20124652/83181 + 132/3961. Let q = l + 242. Let p = -3.54 + 1.54. Put 1/2, q, p in descending order.
1/2, q, p
Suppose p = -0*p - 4*z + 31, -87 = -5*p - 3*z. Let k be (-55)/p - (-2)/(-6). Let u be -2 + 1*4 - 1. Sort -1, k, u in decreasing order.
u, -1, k
Let i be 2/(-9) + (-176)/18. Let x be -1*(-2)/(-4)*i. Suppose -2*l = -6, 0*d + 5*l = -3*d + 3. Sort x, d, 4 in decreasing order.
x, 4, d
Suppose 0 = -2*u + 4*b + 22, 5*b = 2*b - 12. Let w(s) = -s**3 + 4*s**2 - 2*s - 4. Let r be w(3). Sort u, r, 0 in decreasing order.
u, 0, r
Let s be -1 + -1 - (0 - -3). Sort s, -4, 0, -6.
-6, s, -4, 0
Let w = -0.7 + 2.7. Sort -0.5, -5, w in increasing order.
-5, -0.5, w
Let w = -4.04 + 4. Let k = w + 0.54. Put k, -0.2, -0.3 in ascending order.
-0.3, -0.2, k
Let w = 0.4 - 1.2. Let y = -4.8 - w. Sort 0.5, -1, y.
y, -1, 0.5
Let t = 0.1 + -0.3. Let u = -1/13 + -23/39. Put -1/4, u, t in descending order.
t, -1/4, u
Let u(i) = i - 13. Let h be u(11). Suppose -4*m + 9*m = -25. Sort m, h, 2 in decreasing order.
2, h, m
Let k = 20 + -25. Sort k, -1/7, 4 in increasing order.
k, -1/7, 4
Suppose -4*d + 5*g - 37 = 0, -2*d - 2*d + 3 = 3*g. Sort d, 0, 1 in increasing order.
d, 0, 1
Let p be ((-1)/(-2))/(3/(-6)). Suppose 3*q - 6 - 3 = 0. Put p, 5, q in increasing order.
p, q, 5
Let g be (-18)/(-12)*(-2)/(-3). Suppose 40 - 5 = -3*t - 5*r, -2*r - 28 = 4*t. Sort t, 2, g in ascending order.
t, g, 2
Suppose 0 = 5*c - 310 - 5. Let h be 6/c*28/30. Let m = 17/315 + h. Put -0.2, m, -3/2 in descending order.
m, -0.2, -3/2
Let y = 0.145 - -10.855. Sort 1/2, y, -1/6 in descending order.
y, 1/2, -1/6
Let z(u) = 2*u - 20. Let n be z(10). Sort 2/21, n, 6 in ascending order.
n, 2/21, 6
Let c = 0 - -0.2. Let x = 12 - 11. Put c, x, 5 in decreasing order.
5, x, c
Let y = 9 - 6. Let c be 3*((-1)/y - 0). Sort -2, 3, c.
-2, c, 3
Let f(b) = -b + 6. Let u be f(4). Sort 0.2, u, -3 in increasing order.
-3, 0.2, u
Let q = 3.05 - 0.05. Let d be (3/(-4))/((-2)/(-3)). Let o = d - -21/40. Put o, 4, q in decreasing order.
4, q, o
Suppose -5*t = -21 + 1. Let y = 5 + -3. Let b = y + -2.5. Sort t, b, 0.3 in decreasing order.
t, 0.3, b
Let z = -5 - -7. Suppose -z*y = -y + 1. Let j be -5 - (2/y)/1. Put 3, 4, j in decreasing order.
4, 3, j
Let b = 15 - 23. Let r(s) = -2*s - 2. Let u be r(b). Suppose 4*t = -3*i + u - 0, -2*i = 3*t - 10. Sort i, 5, 1.
1, i, 5
Let j(h) = -h**2 + 3*h. Let f be j(3). Let o be 3/10*(-4 - f). Sort o, -0.2, 0.1.
o, -0.2, 0.1
Let f = -6 - -6.01. Let b = -0.09 - f. Put -3, b, 1/7 in descending order.
1/7, b, -3
Let y(t) be the first derivative of t**2/2 - 3*t + 5. Let a be y(7). Suppose 5*i + 6 = -3*q + 25, 3*i - 4*q + 6 = 0. Sort i, a, 0 in decreasing order.
a, i, 0
Suppose 5*u - o - 16 = 0, 0 + 5 = u - 2*o. Suppose 0 = -2*y + 4*h + 4, -5*y + 3*h = -0*y - u. Suppose f = 3*n - 11, -3*f = 5*n - 7*f - 9. Sort y, -3, n.
-3, y, n
Suppose -4*s + s + 9 = 0. Suppose 5*v - 50 = -f, -3*f = 5*v - 0*v - 120. Suppose 4*k = 4*r - 4, 4*k + 2*r + f = 7. Sort k, 4, s.
k, s, 4
Let h be (-1 + 2)*(-1)/1. Let j be 2/(-2) - (3 + h). Sort j, -1/3, -1/4.
j, -1/3, -1/4
Let b = 0.93 + 0.07. Sort -3/7, b, 0.2 in decreasing order.
b, 0.2, -3/7
Suppose 4*m = 2*z + 22, 2*m - 13 + 3 = 0. Let o(w) = -4*w**2 + 20*w + 1. Let x be o(5). Sort -2, x, z in descending order.
x, z, -2
Let n be ((-21)/9 - -2)*3. Sort -3, -4, n, 3 in ascending order.
-4, -3, n, 3
Let g = -123 - -985/8. Let b = 0.6 + -0.2. Sort b, -2, g in ascending order.
-2, g, b
Let h = 2 + -5. Let x be -3 + 33 - 1 - 1. Let q be (-14)/21 + x/6. Sort h, q, 5 in descending order.
5, q, h
Let j = 11/54 + -1/27. Let m be -1 - 1/(-10) - -1. Sort m, j, 0.3 in decreasing order.
0.3, j, m
Let o = -31 + 61/2. Sort 5, o, 0 in ascending order.
o, 0, 5
Suppose 2*y + 3*y - 2*n - 14 = 0, 8 = 5*y - 4*n. Put -4, y, -1 in increasing order.
-4, -1, y
Let s(d) = d**2 + 11*d + 15. Let q be s(-10). Sort 4, -3, q in decreasing order.
q, 4, -3
Suppose 5*x = 7*p - 3*p - 23, 40 = -4*x - 4*p. Let c = -50 - -52. Sort 3, x, c.
x, c, 3
Let x = 0.1 - 0.08. Let u = 688.3 + -688. Sort 2, x, u in ascending order.
x, u, 2
Let x be ((-3)/(-9))/(26/12). Sort x, 3, 1/8 in increasing order.
1/8, x, 3
Let p = 2 + -1.5. Sort p, 0.3, -1/4.
-1/4, 0.3, p
Let x = 2.76 + 0.24. Put -2/5, x, -1/3 in ascending order.
-2/5, -1/3, x
Let w = 8 - 6. Suppose 0*l + 4*l - 19 = s, 2*s = -l - w. Suppose 5 + 7 = -l*b. Sort b, -2, 5 in ascending order.
b, -2, 5
Suppose 5*q = -2*i + 8, -3 = -i + 4*q + 1. Suppose -3*m + 4*k = -0*m - i, 0 = -3*m - 2*k - 20. Let x = 4 + -10. Sort 2, x, m in descending order.
2, m, x
Let k be (-221)/306 + (-1)/(-2). Put 2/5, -2, k in increasing order.
-2, k, 2/5
Let t(g) = g**3 + 3*g**2 - 2*g - 4. Let k = -5 + 2. Let m be t(k). Let n = m + 1. Put 2, -3, n in descending order.
n, 2, -3
Let r = 1.896 + 0.104. Put -11, -4, -5, r in ascending order.
-11, -5, -4, r
Let o(u) = -u + 1. Let l be o(5). Let b be -3 - (2/l - 0). Sort 3, b, -0.2 in decreasing order.
3, -0.2, b
Let g = 0 + 0.3. Let m = 0.2 + g. Let r = m - 5.5. Put r, 0.2, -4 in ascending order.
r, -4, 0.2
Let q = 7.6 + -7.3. Sort 0.2, q, -2/17 in ascending order.
-2/17, 0.2, q
Suppose -f + 5 = 1. Put f, 2, 17, -2 in decreasing order.
17, f, 2, -2
Suppose 5*l + 3 - 27 = 2*q, -q = 4*l - 14. Put 0, q, 10 in decreasing order.
10, 0, q
Suppose 0 = -2*t + 6*t - 8. Suppose -v - t*v - 12 = 0. Sort 1, v, 4 in descending order.
4, 1, v
Let q = 3.6 + 1.4. Put -0.2, -4, q in increasing order.
-4, -0.2, q
Let v(z) = z**3 + 2*z**2 - 3*z - 2. Let u be v(-3). Let a(m) = -m**2 - 9*m - 2. Let t be a(-7). Let q = t - 17. Put u, q, 0.5 in increasing order.
q, u, 0.5
Suppose -5*k - 3*y = -52 - 39, -2*k = 2*y - 34. Suppose 5*d - 3*g = 28, -7*d + 5*g = -4*d - k. Let j(n) = -n. Let w be j(-1). Put d, w, -5 in descending order.
d, w, -5
Suppose -3 = -2*l + 3*j, -l + 2*j - 17 = -6*l. Sort -3, -54, 5, l in descending order.
5, l, -3, -54
Let m be 16/(-6)*(-7)/(-28). Sort -3/7, m, -12.
-12, m, -3/7
Let g = 28 + -26. Sort 3, -5, g, -1 in increasing order.
-5, -1, g, 3
Let l(c) = -c**3 + 5*c**2 + 3*c - 5. Let a(n) = -2*n**2 - n + 2. Let s(m) = -5*a(m) - 2*l(m). Let i be s(1). Sort 2, i, -4 in increasing order.
-4, i, 2
Let y = 87 - 83. Put 0, y, 2, -0.4 in increasing order.
-0.4, 0, 2, y
Let h = 1 - 0.8. Let a = -25 + 11. Let d be 1 + 1 + 34/a. Put d, h, 3 in ascending order.
d, h, 3
Suppose -29 + 5 = 4*b. Put 0, -1, b in decreasing order.
0, -1, b
Let g = 1.07 - -0.93. Sort 1/5, g, 3 in descending order.
3, g, 1/5
Let s = 9 + -15. Let l = s + 1. Put 5, 1, l in decreasing order.
5, 1, l
Let b(g) be the second derivative of g**5/20 + 5*g**4/12 + g**3/3 + 7*g**2/2 + 4*g. Suppose 2*j = -3 - 7. Let c be b(j). Put 1, c, 3 in increasing order.