 -v + 27, 2*v = 2*d - 2. Let p be -1*(-2 - 0 - -1). Let j = p - 4. Put j, 2, d in decreasing order.
2, j, d
Suppose -3*r = -3*g + 2*g - 1, -5*r + 5*g = 15. Put 5, 4, r in decreasing order.
5, 4, r
Let s(f) = 2*f**2 + 4*f + 3. Let m be s(-2). Suppose -16 = -b - m*b. Put -3, 0, b in increasing order.
-3, 0, b
Suppose 5*q + 2*c = -19, -3*q = 3*c + 2*c. Put -4, q, 5 in ascending order.
q, -4, 5
Let g(w) = -w - 27. Let q be g(-23). Let l = -1 + 1. Sort l, 1, q in ascending order.
q, l, 1
Let x be (-42)/(-35) - (-4)/(-2). Put 1, -4, x in ascending order.
-4, x, 1
Let s = -3 - -2.75. Let t = s + -0.05. Let k = -0.7 + 1.1. Sort t, -0.5, k.
-0.5, t, k
Let s = 0.18 - 2.18. Let q(v) = v**2 - 1. Let k be q(0). Let b be (2 + -4)*k/(-5). Sort 0.4, s, b in ascending order.
s, b, 0.4
Let n = 1 + -0.6. Let t = -0.9 + 0.8. Sort n, -2/7, t in decreasing order.
n, t, -2/7
Let o = 84 - 81. Let p(n) = n**3 + 5*n**2 + 6*n + 5. Let k be p(-4). Sort o, 0, k.
k, 0, o
Suppose 19 = 7*w - 9. Suppose w*m - 9 = -5. Sort -5, 5, m.
-5, m, 5
Let t = -0.47 + 0.57. Suppose -2*n = -3 - 7. Sort 2/7, n, t.
t, 2/7, n
Suppose 25 = -4*m + 5. Put 0, m, -1 in descending order.
0, -1, m
Let f = 0.14 - -0.86. Sort -1/3, f, 1/3.
-1/3, 1/3, f
Let a be (-3)/2*(2 + 4/6). Let r be -1*((0 - -1) + 0). Put r, -5, a in descending order.
r, a, -5
Let d(l) = -l**2 - 2*l - 2. Let v be d(-2). Let i(t) = -t**2 + 7*t + 4. Let h be i(7). Put h, 2, v in descending order.
h, 2, v
Let k = 1.6 - 1. Let o = k + -1.1. Sort 0.3, o, -2/3 in decreasing order.
0.3, o, -2/3
Let k = 6 - 2. Suppose 4 = -k*c + 2*c. Sort -1, 4, c in decreasing order.
4, -1, c
Let y(i) be the first derivative of -i**4/4 + 4*i**3/3 - i**2/2 - 4*i - 1. Let p be y(3). Put 5, 0, p in decreasing order.
5, p, 0
Let x = -2 - -1.8. Let z = 0.2 + x. Let d = -8 + 5. Put z, 2/11, d in increasing order.
d, z, 2/11
Let b = -3 + 6. Suppose 0 = -l - b*l + 24. Put l, -5, 5 in increasing order.
-5, 5, l
Suppose 5*v = -4*b + 70, -2*b + 2*v - 3*v = -32. Suppose -2*y - 10 = -2*w, -1 = -5*w + 2*y + b. Sort w, 3, -1 in descending order.
3, w, -1
Let n(o) = -o**3 - 2*o**2 + 3*o + 1. Let t be n(-3). Sort 0, t, 4 in increasing order.
0, t, 4
Let w = -154 - -155. Suppose 0 = 2*m + m. Sort w, -2, m in ascending order.
-2, m, w
Let j be -2 + 1 + 7 + -17. Let b be (-10)/25 - (-23)/(-5). Sort j, b, 0.
j, b, 0
Let p = 8 + -12. Sort 1, -2, p in descending order.
1, -2, p
Let s = 3.1 - 2.1. Let d = 0.4 - 0.4. Let i = -0.5 - 3.5. Sort s, i, d.
i, d, s
Let s be 14/(-3) - (-3)/(-9). Let g(a) = 2*a + 4. Suppose 1 = 5*p + d + 19, 0 = -d - 3. Let n be g(p). Sort n, 0, s.
s, n, 0
Let u = 15 - 10. Put u, 2, 10 in increasing order.
2, u, 10
Suppose 7*s - 12*s + 20 = 0. Let c(w) = -w - 4. Let f be c(-3). Sort s, f, 3.
f, 3, s
Let f(a) = -a**2 + 15*a + 35. Let l be f(17). Let x = -8 + 5. Let c = x + -2. Put l, c, 3 in decreasing order.
3, l, c
Let q be (2*1)/(-20 - -9). Sort -2/15, -1, q in increasing order.
-1, q, -2/15
Let c = -0.08 + 0.58. Let m = -0.1 + c. Sort -4, -0.4, m in decreasing order.
m, -0.4, -4
Suppose 0 = -2*g + f - 23, -2*g - 43 = -2*f - 3*f. Sort 1, g, 5 in decreasing order.
5, 1, g
Let c be (-10)/15*(3 + 0). Sort 3, c, -3.
-3, c, 3
Let u = -196 - -200. Put 0, u, 2, 1 in ascending order.
0, 1, 2, u
Let x = -9.1 - 2.9. Sort 3, -0.2, 1, x in descending order.
3, 1, -0.2, x
Let i = -1.1 - -1.1. Let j be 34/(-10) + (-3)/5. Sort i, -1/3, j in ascending order.
j, -1/3, i
Suppose 4*w + 16 = 36. Sort w, 0, -2 in descending order.
w, 0, -2
Suppose 5*l + 7 = 27. Suppose -3*r + 2*r + l = 0. Sort 3, 1, r in decreasing order.
r, 3, 1
Let k(r) = 6*r**2 + 19*r - 11. Let u(n) = n**2 + 4*n - 2. Let v(a) = -2*k(a) + 11*u(a). Let f be v(5). Sort -0.5, f, -2 in ascending order.
-2, -0.5, f
Suppose 0 = j + 2*j - 12. Suppose -4*u - 5*g = 7, -2*g - 3 = -g. Sort -1, u, j in decreasing order.
j, u, -1
Let h = 13 - 3. Let a = h - 14. Let f = -65/2 + 32. Put 1/5, a, f in increasing order.
a, f, 1/5
Let w be (-1 + 1)/(-1) + -2. Let t = 1 - w. Suppose t*r = 12, -7 = 5*p + r - 1. Sort 5, p, -1 in decreasing order.
5, -1, p
Let d(b) = -b**2 + b + 1. Let i = 10 - 7. Let w be d(i). Let p be 4/(-10)*(-10)/2. Sort p, 1, w in ascending order.
w, 1, p
Let i be (-28)/(-6) - (-1)/3. Suppose 3*k + 4*y = -k, 0 = i*k + 4*y - 3. Suppose 5*g = 3*g + 10. Put g, k, 4 in descending order.
g, 4, k
Let t = -10 - -10. Put 3, -4, -5, t in descending order.
3, t, -4, -5
Suppose 7*m = 2*m. Suppose 2*t - 5*t + 9 = 0. Suppose 2*w + 3 = t*w. Sort 2, w, m in descending order.
w, 2, m
Let s(n) = n**3 - 3*n**2 - 2*n - 3. Let r be s(4). Suppose -l + 8 = -3*m, -2*l - 10 = r*m - 3*l. Sort 0.1, m, -3 in decreasing order.
0.1, m, -3
Let y = 54 + -53. Put y, -2, -5 in decreasing order.
y, -2, -5
Let q = 1 + 1. Suppose -5*p = -a + 3*a + 1, 3*a - 8 = 2*p. Put p, 0, q in descending order.
q, 0, p
Let y(x) = -7*x**3 - x**2. Let d be y(1). Let p be 2/d*4*-1. Sort 5, -1, p in decreasing order.
5, p, -1
Let l(z) = -z**3 - 11*z**2 - 12*z - 15. Let g be l(-10). Suppose 1 = 2*w - 3. Let t be g/w*(-1)/5. Put t, -2, 0 in decreasing order.
0, t, -2
Suppose 4*x + 5*v - 3*v = 4, -2*v = x - 7. Let l = x + 0. Sort l, 1, 2 in increasing order.
l, 1, 2
Let k(a) = a**2 + a - 6. Let q be k(-6). Suppose -2*b = -4*j + 6, -7*b = j - 3*b - q. Suppose 3*u + x = 13, -1 = u - j*x - x. Sort 3, u, 3/5 in ascending order.
3/5, 3, u
Suppose -23 = 4*j + 3*q, 3*j + 5 = 4*q - 6. Suppose 4*z - 2*z = 0. Let g(t) = -t**2 + 8*t - 10. Let v be g(7). Put z, v, j in decreasing order.
z, v, j
Let u = 4 - 4.5. Let f = 0.3 + u. Let x(q) = q**3 + 8*q**2 - q - 4. Let d be x(-8). Put -2, f, d in ascending order.
-2, f, d
Suppose -b - 8*c - 1 = -7*c, 4*b = 3*c + 17. Sort b, 5, -8, -5.
-8, -5, b, 5
Let k be (-18)/10 - (-1)/(-5). Suppose 3*z = 2*h + 19, -28 = -5*z - h + 8. Suppose x + z = 2. Sort -1, x, k in descending order.
-1, k, x
Let s = -0.77 + -0.13. Let a = 33 + -32.16. Let o = a + s. Put -1/3, 0.5, o in ascending order.
-1/3, o, 0.5
Let d = -79 - -85. Put d, -2, 3 in descending order.
d, 3, -2
Suppose -4*a + 2 = -10. Suppose -30 = -5*z - 0*i - 5*i, a*z + 2 = 2*i. Sort z, -1, 1 in descending order.
z, 1, -1
Let p(q) = q**3 - 6*q**2 - 6*q - 8. Let b be p(7). Let x = 3 + b. Let z(d) = -d**2 + 6*d - 6. Let a be z(3). Put -4, a, x in decreasing order.
a, x, -4
Let a = -171.05 + 171. Put a, -0.3, -2/5, -3 in decreasing order.
a, -0.3, -2/5, -3
Suppose 3 = 4*b - 1. Let n be 2*(b + (-24)/22). Let w = -3 - -3.2. Sort 2/7, w, n in ascending order.
n, w, 2/7
Let d = -1.18 + 1.28. Sort -1/2, d, 8, -3.
-3, -1/2, d, 8
Suppose 4*h = 2*h. Let m = 3 - h. Sort 0, m, 1 in increasing order.
0, 1, m
Let d = 16 - 22. Sort -1, -2, 5, d in decreasing order.
5, -1, -2, d
Let o = 0.8 + -0.1. Let d = 3.7 - o. Sort 0.1, d, 1/3 in decreasing order.
d, 1/3, 0.1
Let c = -12 - -7. Let m be 58*38/40 + -3. Let z = m - 52. Sort z, c, 2 in ascending order.
c, z, 2
Let g = -657/8 + 82. Put g, 1/5, -3 in decreasing order.
1/5, g, -3
Let u be (6 + -1)/(-3 + 2). Suppose 6*n = 3*n + 15. Let s be -3 + n - (1 + 1). Put u, 4, s in descending order.
4, s, u
Let s = -7.07 + 0.07. Sort 5, -5, s.
s, -5, 5
Let w = -0.36 + 0.4. Suppose -m = -4*g - 15, -5 = 2*g - g + m. Put 5, w, g in descending order.
5, w, g
Suppose 5 = 5*p + 10. Let i(l) = -l - 3. Let c(f) = -5*f - 11. Let q(y) = -2*c(y) + 9*i(y). Let t be q(9). Sort 5, t, p in descending order.
5, t, p
Let j be -6 - -9 - 5/2. Sort j, -2, -8 in descending order.
j, -2, -8
Suppose 0 = v + 5*i + 1, -2*v + 3*i + 1 = 3. Let h be (4/(-2)*-1)/1. Put v, h, 5 in decreasing order.
5, h, v
Suppose -1 = 8*d + 7. Sort -2/7, d, 8 in decreasing order.
8, -2/7, d
Let k be 8 + 3/(-1) + 0. Let z = k - 6. Put 5, 2, z in decreasing order.
5, 2, z
Let j be (-2)/(-4)*0/(-1). Suppose 0 = -0*q - 5*q + 10. Put 5, q, j in descending order.
5, q, j
Let v = -3.75 - -0.75. Sort -4, -2/9, v, 2/3.
-4, v, -2/9, 2/3
Let k = -3/43 + 113/387. Put k, -2, 0.1, -3 in decreasing order.
k, 0.1, -2, -3
Let s = 6/11 - 40/33. Let c be -1 + 1 - (-3)/15. Sort c, 0.4, s.
s, c, 0.4
Let a be (0 - -8)/(-2) - -2. Let r(y) = 5*y + 1 - 3*y - y. Let m be r(-2). Sort m, -4, a.
-4, a, m
Let m(y) = 2*y**3 + 11*y**2 + 5*y + 3. Let q be m(-5). Sort 2, 0.4, -2/27, q in descending order.
q, 2, 0.4, -2/27
Suppose -3*m