be 0 + (3 - 57/18). Sort w, -10, -1/7 in ascending order.
-10, w, -1/7
Let h(t) = 1 + 3 - 3 - 4*t. Let g be h(-1). Put -4, 3, g in descending order.
g, 3, -4
Let u = 5 - -1. Suppose 2*h = u*h - 8. Suppose 0 = 3*q - 0 + 9. Sort 4, h, q in ascending order.
q, h, 4
Suppose 0 = -u - v + 6, 3*u + 4*v = -0*u + 20. Suppose -6 = n - 0. Sort n, u, -3 in descending order.
u, -3, n
Let g(a) be the first derivative of a**3/3 - a**2/2 - 5*a - 10. Let v be g(3). Sort v, 4, 5 in descending order.
5, 4, v
Let t = -720/3839 + 2/349. Let u be (-6)/(-120) + 1/5. Sort t, u, 2.
t, u, 2
Suppose 2*q + 2*w = 2, -12 = 4*q - 5*w + 2. Let x be ((-2)/(1 - q))/(-1). Let m be (0 + -2 + 2)/2. Sort x, m, -3 in ascending order.
-3, m, x
Let z = 444/17 - 26. Let h = -24 - -23. Sort 2, z, h in descending order.
2, z, h
Let b = 42.5 + -43. Sort -8, 0.4, b, -5 in increasing order.
-8, -5, b, 0.4
Suppose 5 - 15 = 5*b. Sort -3, 5, b, 0 in increasing order.
-3, b, 0, 5
Let p = 8 + -5. Let i = -7.82 + -0.18. Let x = 12 + i. Put x, -2/5, p in decreasing order.
x, p, -2/5
Let g be 1*2 + (-30)/12. Let x = -4.5 - -0.5. Sort g, x, -0.3 in ascending order.
x, g, -0.3
Suppose 4*v - 6*v = -4. Let j be v - ((-3)/(-3) + -1). Put j, 1, -0.2 in increasing order.
-0.2, 1, j
Let b be ((-2)/12)/((-1)/2). Let o = -608/923 + 14/71. Sort 1/7, o, b.
o, 1/7, b
Let i = 11 + -19. Let d = 7.7 + i. Let y = d - 0.2. Sort 2, y, 1 in descending order.
2, 1, y
Let w = 7 + -12. Let q = -26 - -24. Put w, q, 0 in decreasing order.
0, q, w
Let c = -107/222 - 2/111. Put c, 3, 0.1 in decreasing order.
3, 0.1, c
Let r = 2 + -2.3. Let g(s) = -s**3 + 8*s**2 - 6*s - 4. Let m be 10 + -2 - (-2)/(-2). Let z be g(m). Sort -4, z, r in decreasing order.
z, r, -4
Suppose 0 = -75*d + 80*d. Let s = -8 + 4. Put 3, d, s in decreasing order.
3, d, s
Suppose -2*y + 7 = -9. Suppose 0 = -4*j - y - 0. Put -3, -1, j in descending order.
-1, j, -3
Suppose 0 = 2*q + 2*q. Put q, 3, -3 in decreasing order.
3, q, -3
Let v be (-46)/10 - (-4)/(-10). Let u be 1/(4 - (-19)/v). Sort 1/4, u, 4 in descending order.
u, 4, 1/4
Let r = 0 + 0.1. Suppose 11 = 2*p + 9. Let c be 1*(1 + -2) - -3. Sort c, r, p in decreasing order.
c, p, r
Suppose -5 = -5*n, 2*h - 9 = -2*h - 5*n. Let o be h/4 + 26/(-40). Sort o, 0.4, -1/5 in descending order.
0.4, -1/5, o
Let c = -7 - -5. Let l = -4.42 + -0.08. Let j = -5 - l. Sort 0.3, c, j in increasing order.
c, j, 0.3
Let l(y) = y**2 + 5*y - 4. Let g be l(-6). Let s be (-2)/2 + -3 + g. Let c be 38/9 - s/(-9). Put c, 1, -3 in descending order.
c, 1, -3
Let c = -10/3 + 3. Sort 3, c, 4 in descending order.
4, 3, c
Let i = 35 + -37. Sort 4, -1, i, 2 in decreasing order.
4, 2, -1, i
Suppose 0 = 4*c - 8, 38 = -5*z - 4*c + 16. Sort z, 4, 3, 1.
z, 1, 3, 4
Let a be (6*(-4)/(-80))/((-3)/(-4)). Sort a, -4, -1 in increasing order.
-4, -1, a
Let m(p) = p + 8. Let w be m(-7). Let z(n) = -5*n + 1. Let t be z(w). Put t, 4, 2 in descending order.
4, 2, t
Suppose 0 = -4*i + 9*i. Suppose 2*h - 5*k = 4*h + 9, 4*h - k - 15 = 0. Put h, 5, i in descending order.
5, h, i
Let n(f) = f**3 - 4*f**2 - 6*f - 1. Let u be n(5). Let t(k) = k**3 + 6*k**2 + k + 1. Let d be t(u). Let p = -3 - -7. Put d, -4, p in decreasing order.
p, -4, d
Let l be -1 + -1 - (1 + -5). Suppose 10 = -0*z + l*z. Suppose -3*y = -6, m - 1 = -z*y + 8. Put m, 0, -2 in increasing order.
-2, m, 0
Let h(y) = y - 5. Let k be h(5). Suppose 0 = 3*j - 5*g + 1 + 27, j - 4 = -g. Sort j, 4, k in decreasing order.
4, k, j
Let f(z) = z**2 - z - 3. Let l be f(3). Let r(k) = k**3 - 3*k**2 + k + 1. Let m be r(2). Sort -2, m, l.
-2, m, l
Let a = -14 + 11. Sort 3, -4, 1, a.
-4, a, 1, 3
Let b = -2 + 0. Let r be (0 - b)*1/(-2). Put r, 0, 2 in descending order.
2, 0, r
Let h(j) = -j**2 + 11*j + 12. Let k be h(12). Put -5, -2, k in descending order.
k, -2, -5
Suppose -4 = 5*f - f. Put f, 5, -3 in descending order.
5, f, -3
Let j(d) = -d - 8. Let c be j(-6). Suppose 10*q + 11 = 21. Sort q, c, -1 in increasing order.
c, -1, q
Let x(u) = -2*u**3 - 12*u**2 + 16*u + 17. Let k be x(-7). Put -4, 2, 0, k in ascending order.
-4, 0, 2, k
Let q(y) = -y**3 + 5*y**2 - 4*y + 17. Let m be q(5). Let c = 3 - 4. Sort m, c, 1 in descending order.
1, c, m
Suppose 37 = 4*t - 5*g, 3*t + 3*g + 0*g = -6. Sort t, 4, 8 in increasing order.
t, 4, 8
Suppose 0 = t + 2*t - 15. Put -5, 4, t in increasing order.
-5, 4, t
Let a = -3 - -2. Let x = -5.68 - -1.68. Let g = -0.9 - -1. Sort g, a, x in descending order.
g, a, x
Let y be -4 - 8/(-4) - -7. Put y, -5, 1 in ascending order.
-5, 1, y
Let v = 179/93 + -8/31. Sort -0.06, v, -4.
-4, -0.06, v
Let z(m) = -m + 3. Let h be z(4). Sort -4, 5, h in decreasing order.
5, h, -4
Suppose 5*h = -4*i + 57, 0*i - 2*h + 48 = 3*i. Suppose -5*r - i = -4*p + 10, 0 = 4*p - r - 12. Let z be (2/5)/(p/(-20)). Put -0.2, z, -5 in ascending order.
-5, z, -0.2
Suppose 0 = 2*j + 15 - 11. Sort 2, -1, -5, j in increasing order.
-5, j, -1, 2
Suppose -3*f + 5 = -q + 5*q, -3*f + 4*q = 11. Put f, 2, 4 in decreasing order.
4, 2, f
Suppose -4*g = -59 - 41. Let x = 149/6 - g. Let u = -2 - -2.2. Put -2, u, x in decreasing order.
u, x, -2
Suppose -15 = -5*y + 3*g + 7, 0 = -4*y + 3*g + 17. Let c(t) = t**3 - 5*t**2. Let o be c(y). Let x = 1.2 - 1.5. Put o, 5, x in decreasing order.
5, o, x
Let y = 0.13 + -10.13. Let p = y - -5. Put p, 0.4, 4 in descending order.
4, 0.4, p
Suppose -4*a + 8 + 0 = 0. Suppose -3*w + a*w = 5. Let k = w + 2. Put k, 4, 5 in decreasing order.
5, 4, k
Let y = 13 - 4. Put -5, y, -3 in decreasing order.
y, -3, -5
Let v = -0.5 - -0.1. Put 1/6, v, -2/3 in increasing order.
-2/3, v, 1/6
Suppose 4*k = 3*k + 1. Suppose -y = 2 + k. Sort y, 0, 5 in ascending order.
y, 0, 5
Let j be -950*(-5)/110 + (-8)/44. Put -1, 1, j in increasing order.
-1, 1, j
Let y = 63.4 - 63. Put -1/5, 3/2, y, 4 in increasing order.
-1/5, y, 3/2, 4
Let m be (-1 - 0)*-4*3. Suppose -i + 6 = -4*x, 5*i - x = 4 - m. Sort i, -7, 0 in ascending order.
-7, i, 0
Let v = 0.15 - 0.25. Sort -1/4, v, 1.2.
-1/4, v, 1.2
Let p(r) = -r**3 + 14*r**2 + 16*r - 14. Let y be p(15). Suppose b + 12 = 4*w, -2 - 7 = -3*w - 5*b. Let q = -2 + -1. Sort q, y, w in descending order.
w, y, q
Let w = -41 - -40.5. Put -5/7, w, 0 in descending order.
0, w, -5/7
Suppose -3*l + 2 + 4 = 0. Suppose 12 = -l*z + 5*z. Sort 0, z, 2 in decreasing order.
z, 2, 0
Let o = -571/6 - -95. Put o, 5, -2/3, 4 in increasing order.
-2/3, o, 4, 5
Suppose -7 = 4*p + 9. Let n = -20 - -22. Sort p, 4, n in decreasing order.
4, n, p
Let d = 1.88 - 0.08. Let c = d - 2. Let p = c + 0.3. Sort p, 1, 0.2 in increasing order.
p, 0.2, 1
Suppose -11 = -12*k + 49. Sort -8, 0.2, k in decreasing order.
k, 0.2, -8
Let u(g) = -g + 1. Let r be u(-2). Let b = 5 - 9. Put b, 5, r in decreasing order.
5, r, b
Let n(h) = -h - 1. Let y be n(3). Suppose o + v - 4 = 0, 3*o + 5*v - 12 = 4*v. Sort y, -5, o in descending order.
o, y, -5
Let q = -25/2 - -127/10. Let a be (1 + 1)/(2/5). Suppose a*o = 2*o - 15. Sort -1/6, o, q in decreasing order.
q, -1/6, o
Suppose -5*m + 9 = -16, -1 = 2*p - m. Suppose 2 = -p*r + 12. Put 0, r, -2 in increasing order.
-2, 0, r
Let p = 34 + -203/6. Sort p, 0.13, 0.1 in decreasing order.
p, 0.13, 0.1
Let m be (1/2)/((-1)/2). Let q be m - -4*(-1)/1. Let h be ((-3)/6)/((-1)/(-2)). Sort h, -2, q.
q, -2, h
Let r = -160 - -955/6. Sort -0.3, r, -1/3, 1 in decreasing order.
1, -0.3, -1/3, r
Let h(x) be the third derivative of -x**6/120 + x**5/15 + x**3/3 + 2*x**2. Let u be h(4). Suppose -2*l = -n - 6, -2*l = 5*n - 9 + 27. Sort u, -4, l.
-4, l, u
Let z = 5 + -2. Let n(j) = j**2 - 7*j + 6. Let h be n(6). Sort z, h, -2 in descending order.
z, h, -2
Let d be (6/18)/((-3)/9). Sort 9, d, -2 in descending order.
9, d, -2
Let m = 3.4 - -0.6. Let d be (-33)/(-9) + 2/(-3). Sort -3, d, m in descending order.
m, d, -3
Suppose -3*w + 5 = -4, 3*a - 5*w + 9 = 0. Suppose 0 = -q - 3, -t + a*t = 3*q + 10. Let v(g) = g**2 - 2. Let h be v(0). Sort h, t, 0 in ascending order.
h, 0, t
Suppose -11*i - 10 = -6*i. Let j(s) = -s**3 - 6*s**2 - 3. Let r be j(-6). Sort 1, r, i in increasing order.
r, i, 1
Let h be (6/4)/(-3)*12. Let a be 3/(-9) - (-28)/h. Sort 1/3, a, -4 in ascending order.
a, -4, 1/3
Suppose 0 = h + 2*v - 8 - 5, -4*h = 3*v - 27. Put -1, h, 5 in decreasing order.
5, h, -1
Let y = 0.13 + -5.13. Put y, 