der.
1/7, q, 2
Let k = -21/2 + 12. Let w(r) = -r**3 + 10*r**2 + 7*r - 2. Let p be w(10). Let v be 3*(1 + p/(-72)). Sort v, k, -2 in descending order.
k, v, -2
Let t = 2.9 + -0.4. Let q = 0.5 - t. Let y be 1/((-3)/(-5))*-3. Sort y, 0.3, q in descending order.
0.3, q, y
Suppose -4*x + 0*x + 24 = 0. Let a = x + -9. Let c = -8 - -6. Put a, c, 4 in ascending order.
a, c, 4
Suppose 5*a = i + 12 - 4, -3*i = -3*a + 12. Put -19, -4, i in descending order.
i, -4, -19
Let g = 43 - 38. Sort -3, -3/2, 0.2, g in ascending order.
-3, -3/2, 0.2, g
Suppose -4*o + 5*x = 41, 5*o - 38 = -3*x - 117. Let u = -10 - o. Let y(l) = -2*l - 1. Let q be y(1). Sort q, u, -5 in decreasing order.
u, q, -5
Let t be ((-2)/(-6))/((-2)/(-12)). Let b be 3/4*(t + -6). Let a = 2 - 2. Put b, 1, a in decreasing order.
1, a, b
Let i be 9/(-11) + 1 + 0. Suppose 0*c - c - b = 9, 5*c + 4*b = -41. Let d be 2/(-5)*(6 + c). Sort 1, d, i in decreasing order.
1, i, d
Let l = -185 + 176.3. Let v = l - -9. Sort -1/9, v, 2/9 in descending order.
v, 2/9, -1/9
Let d(a) = -a - 5. Let u be d(-3). Suppose -x - 18 = -4*x. Suppose 0 = 2*o + 5*l + 10 + 3, -3*o = -l - x. Put -5, o, u in decreasing order.
o, u, -5
Let q = 9 + 7. Sort -0.1, -1/11, 1, q in ascending order.
-0.1, -1/11, 1, q
Let h = 0.29 + 0.01. Let c = -1977805/13 + 151992. Let p = c + 147. Put p, h, 0 in ascending order.
0, p, h
Suppose -4 + 28 = 8*i. Let j = 0.1 + -0.6. Sort -5/4, j, i in increasing order.
-5/4, j, i
Let t(b) = b**2 + 8*b - 6. Let n be t(-9). Put -4, -3, n in descending order.
n, -3, -4
Let w be ((-24)/(-60))/(38/30 - 1). Let t = -1.6 + 2. Sort t, -2/13, w in descending order.
w, t, -2/13
Suppose 3*a + 4*q - 10 = -2, -5*q + 10 = 0. Sort a, 1, 4 in descending order.
4, 1, a
Let b = 0.02 - -7.98. Let k = b + -14. Let c = k + 3. Put c, 3, 2 in descending order.
3, 2, c
Let b be 1 - 0 - (-29 + 16). Sort -2/9, b, 0.1 in ascending order.
-2/9, 0.1, b
Suppose 0*x - 4 = x. Let d = 0 + 0. Put x, -5, d in descending order.
d, x, -5
Let h = -4 + 4.3. Let n = 1312/9 - 146. Sort h, n, -2 in increasing order.
-2, n, h
Let c = -3.13 + 0.13. Sort c, -5, 4 in decreasing order.
4, c, -5
Let r = 2 - 0. Suppose 4 = -16*g - 44. Put r, g, -1/5 in increasing order.
g, -1/5, r
Let h(b) = b**3 - 9*b**2 - 3*b + 27. Let w be h(9). Sort w, -4, -23.
-23, -4, w
Suppose -5*f = 5*m + 40, 5*m = -0*f + 5*f + 10. Sort 0.3, f, 17 in descending order.
17, 0.3, f
Suppose -11*p + 13 = -12*p - 4*d, 4*p = 3*d - 14. Let n(a) = -a**3 - a**2 + 2*a - 1. Let i be n(1). Sort p, -3, i in ascending order.
p, -3, i
Let k = -179 + 375/2. Let l = 285/34 - k. Sort l, 0.2, 4 in increasing order.
l, 0.2, 4
Let o be (11/66 - 0)*(-6)/(-4). Sort 3/5, o, 7/2 in descending order.
7/2, 3/5, o
Suppose 18 = 2*p + 20. Sort p, -14, -3, -2 in decreasing order.
p, -2, -3, -14
Let b be 29/6*(1 - 4). Let l = b + 15. Put -2/3, -0.2, l in descending order.
l, -0.2, -2/3
Let b = -28 - -18. Sort -0.3, 1/8, b.
b, -0.3, 1/8
Suppose 138 = 5*s - 4*w + 2*w, -5*s + w + 134 = 0. Suppose 5*o - s = -11. Suppose -o*y + 2*y = 0. Put 2, y, -4 in decreasing order.
2, y, -4
Let g = 0 + -4. Suppose -5 = t - 3. Let y be 2*(-4)/16 - (-2)/3. Put y, g, t in increasing order.
g, t, y
Let p = -2.3 - -0.5. Let s = p + 1.8. Put -0.2, s, 0.13 in ascending order.
-0.2, s, 0.13
Suppose -3*f = f - 48. Suppose x - 4 = -2*p, 6*x - 3*x - f = -p. Sort -3, 4, p in increasing order.
-3, p, 4
Let a(n) = -5*n + 8. Let y be a(5). Let c = 18 + y. Put c, -1, -3 in descending order.
c, -1, -3
Suppose -2*f = -4*f + 6. Suppose -4*g - 4 = 5*t - f*t, -5*g = -5*t + 35. Let x(i) = -i**3 - 7*i**2 - 6*i. Let m be x(-6). Put -3, t, m in decreasing order.
t, m, -3
Suppose -3*q = 16 - 22. Sort 0, q, -2 in descending order.
q, 0, -2
Let c be -144 - 6 - 3/1. Let i be (3/c)/((-4)/24). Put 0.3, i, -4 in decreasing order.
0.3, i, -4
Suppose 3 = -v - 3. Sort -2, 7, v.
v, -2, 7
Let y = -0.8 + 0.4. Let j = 1 - 0.7. Put 0, y, j in decreasing order.
j, 0, y
Let f(v) = v - 2. Let q be f(0). Sort 12, 5, q in decreasing order.
12, 5, q
Let k be 6/(-15) + 6/15. Suppose k = -2*u + 7*u + 5. Sort u, -3, -5.
-5, -3, u
Suppose -3 = 5*o + i, 0 = -8*o + 3*o - 3*i + 1. Suppose -5 = -3*a + q + 8, 0 = 4*a - 3*q - 9. Suppose a = s - 3*s. Put s, 3, o in descending order.
3, o, s
Suppose 6*p = p + 20. Suppose 3*i = -p*t + 4, 4*t + 16 = -5*i + 3*t. Sort -2, i, -10 in descending order.
-2, i, -10
Let b be (-30)/44 - 5*(-8)/80. Put 1/6, b, 0.3 in descending order.
0.3, 1/6, b
Let b(m) = -m**3 - 5*m**2 + 6*m. Let v be b(-6). Suppose -2*d + 5 = -5*d + 4*h, 5*d + 5*h - 15 = 0. Let z = -3 - 1. Sort v, z, d in increasing order.
z, v, d
Let q = -4.005 + 0.005. Suppose 2*l - 8 = 6*l. Let h be -1*(l - (-5)/3). Sort h, q, 3 in decreasing order.
3, h, q
Let h = -17.2 - -17. Let u = 4/11 - -10/33. Put -2/3, h, u in decreasing order.
u, h, -2/3
Let i be (-6)/(-4) - (-2)/4. Suppose -2 = -i*d + x + 1, 2 = 3*d - 4*x. Put 1, d, -5 in increasing order.
-5, 1, d
Let t be ((-4)/(-6))/((-1)/3). Suppose 8*p - 8 = 4*p. Sort -0.4, t, p in decreasing order.
p, -0.4, t
Let k = -0.3 + 0.1. Let w = k - -0.3. Let p = -134 - -1472/11. Sort p, w, -1 in descending order.
w, p, -1
Let k(i) = -i**2 - 5*i + 1. Let l be k(-6). Suppose 0*r = -2*u + 4*r - 10, -4*r + 8 = 0. Put u, 2, l in ascending order.
l, u, 2
Suppose -6*a + 10 = -a. Suppose -a*r = -6*r - 8. Let i = -16.1 - -15.1. Put i, 0.1, r in descending order.
0.1, i, r
Let k be (-6*3/6)/((-3)/(-3)). Put 61, 5, k in descending order.
61, 5, k
Let u = 0.15 + -2.15. Let b = u - -1.7. Put 0.3, 0.1, b in increasing order.
b, 0.1, 0.3
Let a(s) = s**2 + 8*s + 8. Let m(f) = f**2 - 3*f + 3. Let p be m(2). Let o be p + -4*(3 + -1). Let q be a(o). Put q, -4, -2 in ascending order.
-4, -2, q
Let p = 2 + -6. Let j(i) = -i**3 + i**2 - 2. Let t be j(-2). Suppose t = -2*c - 0. Put c, -3, p in descending order.
-3, p, c
Let a be -1 + (2 + -26 - -1). Put a, 4, -5 in decreasing order.
4, -5, a
Let q(c) = -c. Let v = 5 - 1. Let x be q(v). Let j = -0.08 + -0.22. Put j, 0, x in descending order.
0, j, x
Let f = -0.11 - 4.89. Suppose -2*w = 2*w + 4. Let n = 0.1 - 0.2. Sort w, n, f in decreasing order.
n, w, f
Let o(f) = -2*f - 15. Let r be o(-10). Put 4, 0, r in descending order.
r, 4, 0
Let j = 22 + -20. Sort -7, -1, j in descending order.
j, -1, -7
Let t be 15/(-10) + 3/(-2). Sort 5, t, -5 in decreasing order.
5, t, -5
Let t = 14.9 + -15.1. Sort 2, -1, t, 5 in increasing order.
-1, t, 2, 5
Suppose -24 = -5*j + 1. Suppose -4*w + 2 + 2 = 0. Put j, -3, w in decreasing order.
j, w, -3
Let i = 15.6 + -16. Put 2/9, 1, i in increasing order.
i, 2/9, 1
Let b = 16 + -16.1. Sort b, 2/21, -1/2.
-1/2, b, 2/21
Let t = 9 + -1. Suppose r = -s - t, 6*r - s = 3*r - 12. Put -3, r, 4 in increasing order.
r, -3, 4
Suppose n + m = 3, -2*n - 6*m + 9 = -3*m. Let y(x) = -x**3 + 6*x**2 - 5*x + 5. Let z be y(5). Suppose -z = q - n. Put 1, q, 4 in ascending order.
q, 1, 4
Let l(s) = 3*s + 17. Let t be l(-4). Let a = -98/3 + 33. Put t, a, -2 in descending order.
t, a, -2
Suppose 5*v + 5*b = 35, -2*v + b + 8 = -0. Let z = 40 + -23. Suppose -3*y - z = -5*i - 6, -5*y = i + 9. Sort -4, v, i in decreasing order.
v, i, -4
Let w = -0.1 + -0.9. Let c = -4 + w. Let l = c - -9. Put -2/13, -5, l in descending order.
l, -2/13, -5
Suppose 2 = 4*i - 5*w - 0, 0 = 5*w + 10. Suppose 0 = -3*t + 2*l - 1 - 13, 2*l + 34 = -3*t. Let a = 8 + t. Sort 4, i, a in descending order.
4, a, i
Let q = -1 + -2. Suppose 2 + 4 = 3*g. Let o = 109 + -982/9. Sort o, g, q in ascending order.
q, o, g
Let v = 0.1 - -0.1. Let w = -208 + 211. Sort w, -2, v.
-2, v, w
Let g(i) = -i**2 - 3*i + 2. Let s be g(-3). Let t(c) = -7*c**2 + 3*c**s + 4*c - c**3 - c**2 - 9 + 1. Let h be t(-6). Put 3, -4, h in increasing order.
-4, 3, h
Let y = -146 - -142. Sort -2/5, 2, y in increasing order.
y, -2/5, 2
Suppose -3*i = i. Suppose -3*k + 7*k + 16 = i. Sort k, -3, -2/11 in increasing order.
k, -3, -2/11
Let r be ((-6)/15)/(104/(-3004)). Let x = r + -57/5. Let m be ((-3)/4)/(0 - -3). Sort x, m, -5 in ascending order.
-5, m, x
Suppose 3*x + 4 = 2*a, -3*x - 5 = -3*a + 2*x. Suppose 0 = -i + 3*i. Sort 4, i, a in descending order.
a, 4, i
Let d = 0.29 - -4.71. Let a = 0.02 - 2.02. Put 2/7, d, a in increasing order.
a, 2/7, d
Let a be 1/(-2*4/24). Let s = -