rder.
z, 0.2, h
Let f = -27 - -31. Let p = 30.6 - 27. Let x = p - f. Put 1, x, 0.1 in decreasing order.
1, 0.1, x
Suppose -17*g + 18*g + 5 = 0. Put g, 5, 2, -3 in ascending order.
g, -3, 2, 5
Let p(r) be the first derivative of r**4/4 + 4*r**3/3 + r**2/2 + 4*r - 1. Let c be p(-4). Sort c, -2, 3 in increasing order.
-2, c, 3
Let i = 0.4 + -0.3. Suppose 0*g - 9 = 3*g. Put 5, g, i in decreasing order.
5, i, g
Let x = 7 + -7.19. Let v = -0.29 - x. Suppose 3*w + 1 = -8. Sort v, 2, w in descending order.
2, v, w
Let z be (-4)/(-20)*-4 + 1. Put 1, z, -3 in descending order.
1, z, -3
Suppose -f = -5*w + 18, 0*w + 5*f = w - 18. Suppose 0 = -0*h - 3*h + w. Let z = h - 4. Put z, -1, 0 in increasing order.
z, -1, 0
Let a(w) = -w**2 + 7*w - 7. Let u be a(6). Let l(x) = x + 6. Let c be l(0). Let t = 3 - c. Sort 1, t, u in decreasing order.
1, u, t
Let k be (4 + -3)*(1 - 0). Suppose -x = -2*x + k. Sort 0, 2, x.
0, x, 2
Let m = 1 + -0.8. Let h = -5 + -8. Let x = 13 + h. Sort m, -3, x.
-3, x, m
Let c(q) = q**3 - 5*q**2 - 7*q + 9. Let f be c(6). Suppose i + 2*k = -f*i + 6, -i = 3*k - 14. Let y = -2 - -3. Put 5, i, y in ascending order.
i, y, 5
Let i be (3 + 2)*(-8)/10. Let u be 48/(-364) - i/14. Sort u, -2/9, 0.4 in ascending order.
-2/9, u, 0.4
Let m be 20/6 - (-2)/(-6). Suppose 0*g + m*g = 9. Suppose 0 = -l + b + g, 4*b = 3*b - 4. Sort -5, l, 3.
-5, l, 3
Let b be (3 - -1)/((-4)/(-3)). Sort -3, b, 5.
-3, b, 5
Suppose 2*w - 3 = 1. Suppose w*d + 4*s = d + 3, -3*s = d - 2. Put -2, 2, d in ascending order.
-2, d, 2
Let g = 15 + -15. Sort 0.3, g, 7.
g, 0.3, 7
Let b be 3 + (-91)/(-26) + (-4)/1. Put b, -1/4, 0.5 in ascending order.
-1/4, 0.5, b
Suppose -b = -2*i - 3*i - 14, b - 12 = 4*i. Let r(s) = -3*s**2 - s - 3. Let d be r(-3). Let z be 6/d - 68/18. Put b, 1, z in increasing order.
z, 1, b
Let r be (-8)/(-18) + (-110)/45. Sort -3, r, -4 in descending order.
r, -3, -4
Let o = 0.25 + -0.15. Put 0.4, -5, o in descending order.
0.4, o, -5
Suppose 2*v - 3*v = 2. Sort -3, v, -11, 4 in descending order.
4, v, -3, -11
Suppose 3*u + 2*u - 5 = 0. Let s = -25 - -24. Sort s, -3, u.
-3, s, u
Let u(w) = 11*w**3 + 1. Let s be u(-1). Let c = -14 + 10. Let r be (c/s)/(1/(-5)). Put r, 3, 2 in decreasing order.
3, 2, r
Let f = -486 - -463.1. Let q = f - -23. Sort -6, 0.2, q in ascending order.
-6, q, 0.2
Suppose -3*t + 4*f = 8, -8*t + 5*t - 14 = 2*f. Suppose -3*j + 148 = j. Let u be (-2)/7 - j/(-7). Put u, -2, t in ascending order.
t, -2, u
Let r be -6 + (1 - 3 - -4). Let j be (1/r)/(28/(-32)). Sort j, -1/5, 3/4 in decreasing order.
3/4, j, -1/5
Let d = -29.9 - -30. Sort 8, 2/17, d in ascending order.
d, 2/17, 8
Suppose f = 4*f - 5*f. Put 0.08, -1/3, f in descending order.
0.08, f, -1/3
Let c = -72 - -75. Suppose -5*o + 7 = -3. Put c, o, -2 in increasing order.
-2, o, c
Let l be -3 + (2 - 9/3). Let u(t) = -t**3 + 3*t**2 - t + 1. Let q be u(3). Put l, q, 5 in descending order.
5, q, l
Suppose -5*w - 8 = -3*i - 26, 5*i + w = -2. Let a be (1/(i/(-2)))/2. Sort a, 5, -5 in descending order.
5, a, -5
Suppose -5*s - 58 = 117. Let q be 125/s + (-8)/(-14). Sort -4, q, 0 in ascending order.
-4, q, 0
Suppose 2*u = -2*g + 4, 2 = 5*g + 3*u - 2. Let d be 1/((-2)/((-12)/2)). Put -4, g, d in increasing order.
-4, g, d
Let a = -5 - -2. Let v = 0.02 + 4.98. Let n(g) = g**3 - 5*g**2 - 2*g + 6. Let s be n(5). Put a, s, v in descending order.
v, a, s
Let i = -0.1 - -0.6. Let q = 0.2 - i. Put 0.1, q, 3/8 in descending order.
3/8, 0.1, q
Let j be -1*1/(-8)*2. Let x be 30/(-4) - (-8)/16. Let q(g) = g**2 + 6*g - 8. Let z be q(x). Put j, -1/3, z in descending order.
j, -1/3, z
Let j = 15 + -12. Let y = -7 - -8. Put y, -1, j in ascending order.
-1, y, j
Let c = -10 - -7. Sort c, -0.2, 0.1, -0.3 in descending order.
0.1, -0.2, -0.3, c
Let b = -96 - -103. Put 0, b, -3 in increasing order.
-3, 0, b
Let m = -0.09 + 3.09. Sort -2/7, -0.3, m in increasing order.
-0.3, -2/7, m
Let f = -15/52 + 1/26. Sort f, -3, 0.5 in ascending order.
-3, f, 0.5
Let q = 0.54 - 0.34. Sort -4, 3, q in increasing order.
-4, q, 3
Let n = -6.11 + 0.11. Let z = -7 - n. Let b(p) = -p**2 - 4*p - 2. Let r be b(-3). Sort r, -0.5, z in decreasing order.
r, -0.5, z
Let o be ((-3 - 0) + 1)/2. Let f = -10 - -6. Suppose 9*g - 10*g = -2. Sort o, g, f in ascending order.
f, o, g
Suppose -1 - 3 = -b. Suppose -3 = -b*q - 15. Sort 2, 1, q in decreasing order.
2, 1, q
Let o = -34 + 101/3. Let c = 386 + -390. Let w = -2/117 - 76/117. Sort c, w, o in ascending order.
c, w, o
Let h(j) = 4*j**3 - j**2 + j - 1. Let i(n) = n**2 - 7*n + 7. Let c be i(6). Let r be h(c). Sort 1, -3, r in decreasing order.
r, 1, -3
Let y(l) = -3*l + 17. Let b be y(7). Put 1, 8, b, 4 in increasing order.
b, 1, 4, 8
Suppose 5 = -5*y + 10. Let l be -9*((-3)/9)/y. Let r(t) = 3*t + 2. Let b be r(-2). Sort b, l, 0 in decreasing order.
l, 0, b
Let i = 0.72 - -1.28. Sort -1/11, i, 4, 0.05.
-1/11, 0.05, i, 4
Let d = 15 - 18. Sort 1/4, -1/8, d.
d, -1/8, 1/4
Let z = 0.2 - 0. Let l = z - 0.3. Let f(y) = -y**2 + 6*y - 3. Let x be f(6). Put -1/2, l, x in decreasing order.
l, -1/2, x
Let g(j) = -j**3 + 7*j**2 + 9*j - 9. Let l be g(8). Sort 1, l, -2.
-2, l, 1
Let s = -0.9 - -0.4. Let i = 7.02 - 7. Let h = -0.08 - i. Sort h, 2/7, s in increasing order.
s, h, 2/7
Let q = 71 + -72. Put -2/13, -11, q in decreasing order.
-2/13, q, -11
Let b be (-4)/14 - (4 - 30/7). Put b, -0.4, -2/15, 4 in descending order.
4, b, -2/15, -0.4
Suppose -w = -4*w. Suppose -g - 2 = -2*o + 1, o + 4*g - 6 = w. Let a be (1/(-2))/(o/(-4)). Put a, 4/5, -1/3 in descending order.
a, 4/5, -1/3
Let w = -16 - -15. Suppose -3*r + 53 = 17. Put r, 0, w in ascending order.
w, 0, r
Let w be 1 + 0 + (-14)/(-1). Suppose -2*p = 2*k - 4*p + 2, p + w = -3*k. Let g = 3 + -8. Put -8, g, k in ascending order.
-8, g, k
Let x = 0.539 + -0.039. Sort -0.2, -0.53, x.
-0.53, -0.2, x
Let z(b) = b**3 + 6*b**2 + 4*b - 7. Let y be z(-5). Let x = -2 - -4. Suppose 2*r - 4*g = -22, 0 = -2*r - 3*r - 3*g + 10. Sort x, y, r in ascending order.
y, r, x
Let x = 0.07 - 0.07. Sort -1, -0.2, x in decreasing order.
x, -0.2, -1
Let k = 37 + -42. Sort -2/11, -0.01, k.
k, -2/11, -0.01
Suppose r = 5*s - 23, s = 5 - 0. Let y = -347/142 - 4/71. Put r, y, -1/5 in increasing order.
y, -1/5, r
Let k be -28 + 34 - (20 + 0). Put 5, k, -4 in descending order.
5, -4, k
Let q = -0.7 + 1. Let h = -0.4 + q. Suppose -3*t = -2*s - 10, -3*s - 11 = -4*t + 2*s. Sort h, t, 2/3 in ascending order.
h, 2/3, t
Let c = -0.1 - 3.9. Let r = c - -4.2. Suppose h = 6*h + 20. Sort -1, h, r.
h, -1, r
Let o = 0.1 + -0.04. Let c = 4.06 - o. Put c, -2, 3 in decreasing order.
c, 3, -2
Let a = -6 + 6. Let q = 3 + a. Put -5, q, 4 in ascending order.
-5, q, 4
Let m be 4 + 1/(1/(-11)). Let c(u) = -u**3 - 5*u**2 + 13*u - 5. Let s be c(m). Sort 5, 1, s in descending order.
5, s, 1
Let d be 1 + (-18)/(-12) + -2. Sort 2/19, -4, d in decreasing order.
d, 2/19, -4
Let g(k) = k + 5. Let m be g(-1). Put m, 3, 13, 2 in increasing order.
2, 3, m, 13
Suppose 0 = 5*g - 4 - 6. Suppose r - 5 = g*i, 4*r + 0 = -i + 2. Let j = -829/7 + 119. Put i, 4/5, j in descending order.
4/5, j, i
Let a = -0.7 - -1.5. Let w = 0.4 - a. Sort 1, -1/5, w in decreasing order.
1, -1/5, w
Let m = 9.4 - 8. Let l = m - 1.2. Sort l, 4, -0.3 in decreasing order.
4, l, -0.3
Suppose -2*z - 3*t = -z + 1, 3*t - 19 = -5*z. Put 1, z, -5 in decreasing order.
z, 1, -5
Suppose 2*h + 3*w - w = 0, -2*w = -5*h. Let t = 27 + -24. Sort h, t, -1.
-1, h, t
Let n(k) = k**3 + 2*k**2 - k. Let m be n(1). Suppose -3*u + 8 = -2*u. Let x = u + -12. Sort -3, x, m.
x, -3, m
Let d = -0.36 - -0.06. Let v = 0.73 + -0.53. Put d, v, -1/2 in increasing order.
-1/2, d, v
Suppose -12 = 26*q - 29*q. Sort q, 1, 0 in decreasing order.
q, 1, 0
Let n(l) = 0 + 3 - 3*l**2 + 2*l**2 - 1 - l. Let b be n(-2). Put 4, b, -4 in descending order.
4, b, -4
Let n = -60 - -60. Put 2, 3, -2, n in decreasing order.
3, 2, n, -2
Let b(u) = u**3 + u**2 - 2*u - 5. Let k be b(0). Let h be (-2)/4 - (-3)/(-2). Sort k, h, 5.
k, h, 5
Let f(i) = -12*i + 21 + 2*i - 5 - 2*i**2 + 3*i**2. Let q be f(7). Sort 4, q, -2 in decreasing order.
4, -2, q
Let a = 62.8 + -57. Let n = 12 + -11.2. Let p = n - a. Sort -2, -2/13, p.
p, -2, -2/13
Let d be (12/(-54))/((-2)/3). Suppose 0 = -g - g. Sort d, -1, g in decreasin