 2
Let h(u) = u**2 - 5*u + 3. Let v be h(2). Let k = -25 + 35. Suppose 0 = -k*t + 5*t. Sort t, 5, v in descending order.
5, t, v
Let f = 4.91 - -0.09. Let m = f - 4.8. Sort -2/9, m, -4 in ascending order.
-4, -2/9, m
Let h = 8.271 - 0.161. Let k = 0.11 - h. Let s = -7.7 - k. Sort -0.3, -1, s in decreasing order.
s, -0.3, -1
Let j = -7 + 10. Suppose r - 2*g + 1 = -j*g, -4*r + 32 = -5*g. Let p(t) = -t + 6. Let m be p(8). Put -5, r, m in decreasing order.
r, m, -5
Let c = -6 - -8. Let q(k) = -1 + 2*k + 7*k**c - 2*k**2 + k**3 - 3*k. Let n be q(-5). Sort 5, -0.3, n in decreasing order.
5, n, -0.3
Suppose -2*i + 3 = 5. Suppose 2*l + 0 = 12. Let x be (4/l)/(30/27). Sort x, -0.2, i in decreasing order.
x, -0.2, i
Suppose -2*t - 4 = -y, -2*y - 4*t - 8 = -y. Suppose y = -3*q - 3*b, 7*b - 3*b = -2*q + 2. Sort -2, q, -3 in descending order.
q, -2, -3
Let p = 295 + -33923/115. Let z = p - 244/805. Let b = -0.3 - 0.1. Put b, z, -5/2 in descending order.
z, b, -5/2
Let z be (-8)/10 - 9/(-5). Put 4, -10, z in ascending order.
-10, z, 4
Suppose 6 = -z + 3*z. Suppose -r = 2*c - 6, 0 = -r + 2*r - c + z. Let g be (-30)/7 - 4/(-14). Sort g, r, -3 in descending order.
r, -3, g
Let u = 26 + -23. Suppose 0 = y - 4*y. Sort y, u, -1 in ascending order.
-1, y, u
Suppose 4*b = -5*t + 2, 5*t - 3*b + 5*b = -4. Let k(v) = -v**2 + 5*v - 1. Let a(c) = c**2 - 6*c + 5. Let w be a(6). Let f be k(w). Sort 2, t, f.
t, f, 2
Let v(l) = -4*l**2 - 2*l + 1. Let n be v(1). Let t = -6 - n. Let z = -7.3 - -7. Sort z, t, -3.
-3, t, z
Let m be (-16)/6 + 2/3. Put -1, m, -6 in increasing order.
-6, m, -1
Let z(n) = -n**3 + 3. Let r be z(0). Suppose r*p + 4 = -f, 2*p = 2*f - 1 - 7. Suppose -3*h - f = -2*h. Put 4, 5, h in ascending order.
h, 4, 5
Let v(w) = -w**3 - 5*w**2 + 5*w - 8. Let g be v(-6). Sort 3, -4, g.
-4, g, 3
Suppose -4*j - j = 25. Sort -2, j, 4 in increasing order.
j, -2, 4
Let n(f) = -f**3 + 3*f**2 + 12*f - 8. Let d be n(5). Put -3, 3, d, -1 in descending order.
3, d, -1, -3
Let k(v) = 2*v - 10. Let u be k(7). Let h = 4 - u. Suppose 7 = m - 2*i, h = 5*m + i + 13 + 7. Sort -4/7, m, -1/3 in decreasing order.
-1/3, -4/7, m
Let f(p) = 1 - 3*p + 0 - 2*p**3 + 3*p**3. Let q be f(2). Suppose 0 = -q*k - 4 - 8. Put 5, k, -1 in descending order.
5, -1, k
Suppose -4*c + 15 = c. Let t be ((-24)/15 - -2)/(3/(-30)). Let a = 3 + -1. Put t, c, a in decreasing order.
c, a, t
Suppose -47 = -14*d - 5. Let x = 1 - 1. Sort x, d, 4/9 in increasing order.
x, 4/9, d
Let j be (2/5)/((-3)/(-30)). Sort 3, -0.5, j in decreasing order.
j, 3, -0.5
Let v = 14 + -11. Suppose v = -2*r + 1. Sort -5, r, 0 in descending order.
0, r, -5
Suppose 0 = j + j - 30. Suppose 2*s = o + j, 5*o = -2*s - 0*s - 15. Sort -19, o, -2 in descending order.
-2, o, -19
Let h be 15*3*4/(-36). Sort -4, h, 4 in descending order.
4, -4, h
Let j = 43 + -45. Put 4, j, 0 in decreasing order.
4, 0, j
Let a = 4 - 5.4. Put 4, a, 0.2 in decreasing order.
4, 0.2, a
Let a(x) be the second derivative of -x**5/20 - 2*x**4/3 + x**3/6 + 4*x. Let b be a(-8). Put 1, b, -1 in descending order.
1, -1, b
Let x = -0.39 - -0.69. Sort 3/4, x, -5.
-5, x, 3/4
Let r(c) = 2*c**2 + 2*c + 1. Let n = -3 - -2. Let y be r(n). Suppose 5*m = -3*t - 22, t + 0*m - m + 2 = 0. Sort t, y, 5 in descending order.
5, y, t
Let i = 42 + -43. Sort 1, i, -0.5, 5/4 in decreasing order.
5/4, 1, -0.5, i
Let o = 10.5 + -11. Sort 2/11, -0.1, o.
o, -0.1, 2/11
Let f = 5 + -5. Suppose 2*q - 3*k - 15 - 5 = f, 0 = -2*q - 5*k - 12. Let p = -7.8 - -8. Sort -0.3, q, p in descending order.
q, p, -0.3
Let u = 1/14 + -31/42. Suppose 0*v - 4*v + 12 = 0. Suppose -4*l - 5 = v. Put l, 0.5, u in descending order.
0.5, u, l
Let t be -2*194*(-3)/(-12). Let p be t/9 - (-2)/(-9). Let f = -15 - p. Sort f, 4, 0 in descending order.
4, 0, f
Let m be 5*-2*(-2)/4. Let y be (-1)/2 - 3/(-6). Suppose y*n = -3*n - 9. Sort 4, n, m in increasing order.
n, 4, m
Suppose 0 = -5*p + 20. Put 0, 0.065, p, 2/5 in increasing order.
0, 0.065, 2/5, p
Let l be 21*(-1 + 3/9). Sort l, -1, 5, -4 in ascending order.
l, -4, -1, 5
Let u be 4*((-17)/(-6) - 3). Let c = -1 - -1. Put c, u, 1 in ascending order.
u, c, 1
Let q be (-95)/(-225) - 4/18. Suppose 2*p + 3 = 23. Let l be (-1)/p + 6/(-15). Sort l, -4/5, q in decreasing order.
q, l, -4/5
Let t = 1.01 + -1.2. Let n = -1.76 + t. Let h = n - 0.05. Put 5, h, -1 in decreasing order.
5, -1, h
Suppose -3*y - m - 3*m = 1, 4*y + 3*m = 1. Sort -2/5, y, 0, 2 in decreasing order.
2, y, 0, -2/5
Let l = -1.1 + 4.1. Sort -0.5, 2, l in ascending order.
-0.5, 2, l
Let q = -24/13 - -238/143. Sort q, 0.4, -3/7 in decreasing order.
0.4, q, -3/7
Let f be ((-12)/(-10))/(1/5). Let x(t) = t**3 + 7*t**2 + 5*t - 8. Let o be x(-6). Let d be (15/9)/(o/f). Sort d, 2, 1/8 in ascending order.
d, 1/8, 2
Let g = 9 - 11. Put 8, g, 0.1 in descending order.
8, 0.1, g
Let b be 3 + -3*(-24)/(-9). Let r be 6/9*3 + -5. Put b, -4, r in increasing order.
b, -4, r
Let m = 29 - 28. Put -2, 8, 0, m in descending order.
8, m, 0, -2
Let j = 7 + -2. Suppose 4*l + 2 = -0*l - 2*b, l = -3*b + 2. Sort j, l, 2/11.
l, 2/11, j
Let z(v) = v + 7. Let i be z(-6). Let p be (-5)/(-2) + i/2. Let j = -3 + -1. Sort j, p, 0.5.
j, 0.5, p
Let k = 76 + -76. Let y = 0.4 + -0.7. Sort y, 4/3, k.
y, k, 4/3
Suppose -455 = -3*d - 143. Suppose -d = -a + 2*a. Let z = -725/7 - a. Put z, 0, -1/2 in decreasing order.
z, 0, -1/2
Let f(l) = 2 + 6 + l - 2 - 9. Let r be f(7). Sort -1, r, -4 in ascending order.
-4, -1, r
Suppose -4 = 2*s - g + 7, 2*s = -g - 1. Sort s, 3, -5 in ascending order.
-5, s, 3
Let n be ((-2)/3)/((-1)/(-3)). Let b(l) = -l**3 + 6*l**2 - 3. Let y be b(6). Let x(g) = 2*g**2 + 4*g - 1. Let c be x(y). Sort n, c, 1.
n, 1, c
Let d = 0.236 - -0.064. Put 2, 1/5, d, -0.4 in increasing order.
-0.4, 1/5, d, 2
Let c = 5.8 - 6. Let b = 3.5 - -0.5. Put c, b, 1 in decreasing order.
b, 1, c
Suppose 2*w - 7 = -p + 3, 0 = 3*p. Suppose -1 = 3*q - 10. Let m = q + 1. Put -4, m, w in decreasing order.
w, m, -4
Suppose -g - 5*y + 10 = 0, 11 + 5 = g - y. Sort -2, g, 0 in increasing order.
-2, 0, g
Let o(p) = -p**3 + 4*p**2 + 7*p - 6. Let w be o(5). Let h(u) = u - 6. Let d be h(7). Let a = d + -2. Put w, 2, a in decreasing order.
w, 2, a
Let d be 7/4 - 4/(-16). Suppose 2*u = 8 - d. Suppose 3*j - 12 = -u. Sort -5, -4, j.
-5, -4, j
Suppose -2*h + 4*c = h - 12, 16 = 4*h + 3*c. Suppose 4*o = 4*r + 8*o + 12, 0 = 2*r + 4*o + 6. Sort r, -5, h in ascending order.
-5, r, h
Let w = -0.48 + 0.88. Sort w, -4, 1, -8.
-8, -4, w, 1
Let d(s) = -s**2 + 5*s - 3. Let l be d(3). Let p(z) = -z**2 + 5*z - 3. Let x be p(4). Suppose -x = -n - 3. Sort -3, n, l in descending order.
l, n, -3
Let a be (3 + -2 - 1) + 0. Let j be (-1 + 0)/(23/92). Put j, a, 3 in ascending order.
j, a, 3
Suppose -9 = -0*m - 3*m. Let n = 4.6 - -0.4. Put n, 2/21, m in increasing order.
2/21, m, n
Suppose 4*p + p = 20. Sort p, -2/9, 3/5 in decreasing order.
p, 3/5, -2/9
Let t(s) = -s**3 - 7*s**2 + 7*s - 4. Let p be (-6)/8 - (-58)/(-8). Let y be t(p). Suppose -y*w - 36 = -4*q, 5*w - q = w - 21. Sort 3, w, -2 in descending order.
3, -2, w
Suppose 2 = 5*p - 3. Let g(c) = -c**3 + 6*c**2 + 7*c + 4. Let z be g(7). Sort z, -4, p in decreasing order.
z, p, -4
Let h(a) = a**2 - 7*a - 6. Let k be h(8). Suppose -3*n - 10 = -n. Suppose 0*l = 3*l. Sort n, k, l.
n, l, k
Let i = -4 - -9. Let t = -5 + 3. Let z(u) = u + 1. Let r be z(t). Put r, -2, i in descending order.
i, r, -2
Let m be ((-4)/15)/(2/(-174)). Let k = 439/20 - m. Put -2/3, -5, k in descending order.
-2/3, k, -5
Suppose 0*b = 5*b - 25. Let o(p) = -12*p + 88. Let n be o(7). Put n, b, 0 in descending order.
b, n, 0
Let c be 273/(-143) + (-1)/11. Sort 0, c, -3/5, -0.1.
c, -3/5, -0.1, 0
Let w = -11 + 43/4. Let g(t) = 2*t**3 - 2*t**2 - 2*t. Let m be g(2). Let r = 0.529 - 0.029. Sort m, w, r.
w, r, m
Let u(d) = d**2 + d - 2. Let q be u(2). Suppose -8 = -q*k + 2*x + x, 5*k = -5*x + 10. Put 3, k, 0 in increasing order.
0, k, 3
Let y = -0.24 - -0.24. Let d = 0 - -1. Put 2, y, d in ascending order.
y, d, 2
Let i = 7 + -5. Let p = 2.3 - i. Put p, 0.1, -0.5 in descending order.
p, 0.1, -0.5
Suppose c + 2*f = -10, 2*c - c = -5*f - 25. Sort c, 5, -2, -1 in decreasing order.
5, c, -1, -2
Suppose -2*h + 2*q = -2*q + 8, -3*h = 5*q - 21. Suppose 0 = -4*z + 5*y + 20, -3*z + 2*z =