der.
v, 2/9, 1
Let p(x) = -6*x**2 - x + 1. Let i be p(1). Let t be (-3)/2 - 21/i. Sort 0, -5, t in descending order.
t, 0, -5
Let m = 96/11 - 1270/143. Let y = 3 - 3.4. Let q = -15/2 + 8. Put y, q, m in ascending order.
y, m, q
Let k = 165/2 + -85. Let s = -5 + 10. Let r = s + -1. Put 0.2, r, k in ascending order.
k, 0.2, r
Let g = 0 + -2. Let v = -5 - g. Sort v, 0.4, 1 in ascending order.
v, 0.4, 1
Let d = 4 - 0. Let v be (-1 - (-2 - d)) + -2. Suppose -4*j = 4*p + 8, 5*j + 4 = -2*p - 6. Sort 1, v, p in ascending order.
p, 1, v
Let i = 9 - 11. Let g be ((-3)/(-6))/(1/i). Put g, -5, -3 in descending order.
g, -3, -5
Suppose -3*o - 161 = -11. Let m be (o/20)/(2/(-4)). Sort m, -1, -4 in decreasing order.
m, -1, -4
Let n = 164.8 - 165. Let f = -0.3 + -1.7. Sort n, f, -4/13 in descending order.
n, -4/13, f
Let p = 73/4 + -19. Let d be 4 - (1 - (2 + -2)). Suppose d*x + 2*x - 20 = 0. Sort 2, x, p in decreasing order.
x, 2, p
Let z(v) be the third derivative of v**5/60 + v**4/3 + v**3 - 2*v**2. Let n be z(-7). Sort 5, -2, n in descending order.
5, n, -2
Let o = 175/418 - 9/38. Put -4, o, 6 in descending order.
6, o, -4
Let j = -5 + 10. Let l = 8 - j. Sort -2, l, -0.1.
-2, -0.1, l
Let t(k) = k**3 - 5*k**2 - k + 1. Let w(a) = -a**3 + 0*a**2 + 0 + 5*a + a - 2 - 6*a**2. Let x be w(-7). Let f be t(x). Put 2, f, 3 in decreasing order.
3, 2, f
Suppose 2*d - 13 = 5*s, -3*s = 2*d - 5*d + 15. Sort 3, 4, 2, s in decreasing order.
4, 3, 2, s
Suppose 67 = 2*y + 71. Sort 0, 15, y, 2 in increasing order.
y, 0, 2, 15
Let q = 10 - 6. Let y be (-41)/q - 2/(-8). Let k be 4/(-10) + y/(-25). Sort -3, 1, k.
-3, k, 1
Let j(q) be the second derivative of -q**4/12 - 5*q**3/6 - q**2/2 + 2*q. Let m be j(-5). Put 4, 2, m in ascending order.
m, 2, 4
Let c = 0.05 + -0.45. Let v = 8 - 12. Let z = -39 - -36. Sort c, z, v.
v, z, c
Let i = -0.3 - 0.2. Let k = 121 - 122. Sort k, i, -4.
-4, k, i
Let m = -0.1 - -0.3. Let s be ((-30)/(-12))/(1/2). Suppose 6 = -s*f + 21. Sort 0.3, m, f.
m, 0.3, f
Suppose 0 = -f + 4*g + 6 + 11, -f + 5*g = -20. Sort 4, f, -2 in increasing order.
-2, 4, f
Let q = -10 - 5. Let m = -18 - q. Put 3, m, -0.2 in increasing order.
m, -0.2, 3
Suppose 2*r + 5*y + 10 + 0 = 0, -4 = -2*r + 2*y. Suppose r = u + 3*u. Sort u, -3, 3 in ascending order.
-3, u, 3
Suppose -4*p - 12 = 4. Let d(w) = -5*w + 5*w - 1 - 6*w. Let b be d(-1). Sort 3, b, p in descending order.
b, 3, p
Let c = -3 - -3.04. Let z = -0.26 - c. Let q be (1 - -1) + (-1)/3. Sort q, 4/9, z in descending order.
q, 4/9, z
Suppose 4*r - 4*k + 8 = k, -k - 10 = 5*r. Let t be 5 + (-108)/26 - 1/1. Sort t, r, -5 in descending order.
t, r, -5
Let k = 6.4 + -6. Let l = -0.8 + k. Put 1/2, 0.4, l in increasing order.
l, 0.4, 1/2
Let c = 20 - 16. Sort 1/2, c, -0.5.
-0.5, 1/2, c
Let y = 0.3 - 0.1. Let k = -43 - -89/2. Sort -1/2, k, y in decreasing order.
k, y, -1/2
Let j = -3 + 2. Suppose 5 = -9*q + 4*q. Let d = q - j. Sort d, 1, -2 in descending order.
1, d, -2
Let u(y) = 2*y - 2. Let o be u(2). Suppose -o*x + 5*m = 0, 2*m = 3*m. Let a = 4 + x. Put 3, a, -3 in descending order.
a, 3, -3
Let n = -29 + 28.6. Sort -3/4, n, 3/2, -1/3 in descending order.
3/2, -1/3, n, -3/4
Let k = -5 + 1. Let a = 146 - 593/4. Let y = a + 2. Sort k, y, 2 in increasing order.
k, y, 2
Let d(w) = -w**3 + 4*w**2 - w - 5. Let s be d(4). Let x be 9/15*(s + 4). Put x, -0.5, 1 in increasing order.
x, -0.5, 1
Let i be (-7)/3 + 1 + 1. Let a = -1.82 - 0.18. Sort a, i, -2/7 in increasing order.
a, i, -2/7
Let z(f) = -2*f + 2. Let n be z(3). Suppose -19 = 3*o + 4*p, 5*o - 3*p - 3 = -p. Put -5, n, o in descending order.
o, n, -5
Suppose 2*t + 2 = 3*j - 0*t, 15 = 3*t. Suppose i + 4*d - 1 = 0, -i + 2*i + d = j. Suppose p - 5*o + o = 14, i*p - 6 = 4*o. Sort 5, 4, p in ascending order.
p, 4, 5
Let n = -1.2 + 1.17. Let q = n + -0.17. Put q, 2/3, -4 in increasing order.
-4, q, 2/3
Let h be (-15)/7 - (0 + 1/(-7)). Let x be 6/4*(-8)/3. Sort h, 5, x in increasing order.
x, h, 5
Let s(c) = -c**2 + 9*c + 22. Let k be s(11). Sort k, -12, 5 in decreasing order.
5, k, -12
Let q = -20 - -25.6. Let n = -6 + q. Sort 0.1, n, -3 in descending order.
0.1, n, -3
Let q = -27 + 111/4. Let p = 52.6 + -53. Put q, p, 0 in ascending order.
p, 0, q
Let g(d) = d**3 + 3*d**2 + 4*d + 3. Let o be g(-2). Let z(q) = -2*q**3 - q**2 - q. Let n be z(o). Let c = 29/8 - 35/8. Put -5, n, c in descending order.
n, c, -5
Suppose -3*b - 3 = -0*b + 3*n, -2*b + 3 = n. Suppose 2*o + b = -2. Put 4, 5, o in increasing order.
o, 4, 5
Let o be 2/7 - (-158)/(-14). Let p be 6/o*1/1. Let u be 3/8*(-4)/(-6). Sort u, p, 0.3.
p, u, 0.3
Let o = 0 - 4. Suppose 3*r = -5*i - 9, 2*r + 3 + 3 = 3*i. Sort 0, o, r in decreasing order.
0, r, o
Let n(c) = -7*c + 3 + c**2 + 8*c - 1 + 6*c. Let l be n(-6). Put 1, l, 3 in increasing order.
l, 1, 3
Let w(n) = 3*n**2 - 17*n - 7. Let v be w(6). Let y = 36 + -26. Sort y, v, 2/23 in descending order.
y, 2/23, v
Let f = -2 + 1.7. Let o = 1573/1315 - -1/263. Let l = 0 + 0.5. Put f, o, l in increasing order.
f, l, o
Suppose 3*b + 2*i = i + 16, 5*b - 20 = 5*i. Suppose 3*v = -0*n - 5*n + 31, b*n - 5*v - 15 = 0. Suppose 3 = -13*u + 29. Sort n, 3, u in increasing order.
u, 3, n
Let h = -12 + 10. Suppose 0*f + 1 = -f. Let a be f*6/(-5) - 2. Sort a, h, -3.
-3, h, a
Let j = 7 - 10. Let k = 22/9 + -146/45. Put j, k, -2 in ascending order.
j, -2, k
Let q = 0.4 + 2.6. Let v = q + -2.9. Sort 1/7, v, -5 in increasing order.
-5, v, 1/7
Let n = 1 + -1. Let y(s) = s**3 - 9*s**2 - 7*s - 35. Let i be y(10). Sort 4, n, i.
i, n, 4
Let c = 61 + -54. Put 0.3, -2/5, c in descending order.
c, 0.3, -2/5
Let c = -0.167 + 0.367. Sort c, -0.06, -2/5, 2/5.
-2/5, -0.06, c, 2/5
Suppose 2*d - 3 = 5*d. Let g = 1 + -3. Let b be 72/42 + g/(-7). Put d, b, -3 in descending order.
b, d, -3
Let t(j) = j**2 + 7*j - 13. Let s be t(-9). Let i be (-2)/30*(0 + 3). Sort i, -1/6, s in increasing order.
i, -1/6, s
Let u be ((-100)/80)/((-2)/(-8)). Let b(m) = -m**2 - 1. Let r be b(0). Put 3, u, r in descending order.
3, r, u
Let i = 13 + -12. Sort 0.2, -3/8, i in decreasing order.
i, 0.2, -3/8
Let a be (-38)/9 - 4/(-18). Suppose -2*k - 20 = k + 4*o, 3*k + 2*o = -10. Put -3, a, k in ascending order.
a, -3, k
Suppose q = 2*q + 5*o + 19, 9 = q - 2*o. Let w be 4/(-10) + 54/(-15). Sort -3, q, w in increasing order.
w, -3, q
Let g be 2*-3 + 1 + 2. Sort 3, g, -5 in decreasing order.
3, g, -5
Let j = 2 - 17. Let q = j - -12. Sort -1, q, -6 in descending order.
-1, q, -6
Suppose 3*p + p = 5*m - 16, 3*m - 2*p = 8. Let l(q) = q**2 - 9*q + 3. Let w be l(9). Suppose 2*d + 11 = -w*n - 9, 0 = -3*d - 12. Sort n, m, -2.
n, -2, m
Let s = -6 - -2. Let m = 3.7 + s. Sort 5, m, -2 in descending order.
5, m, -2
Let v = -0.8 - -1.8. Sort 0.5, -3, v in increasing order.
-3, 0.5, v
Let v = -5 - 12. Let n = 13.5 + -1.5. Let x = v + n. Sort -0.3, 0.5, x in decreasing order.
0.5, -0.3, x
Suppose -2*f + 12 = -5*f - 3*c, 3*f + 2*c = -7. Sort 3, f, 2 in decreasing order.
3, 2, f
Let p(z) = z - 6. Let d be p(6). Suppose 2*s = 4*b + 14 - 6, 2*s + 3*b - 15 = d. Let y(m) = -m + 7. Let j be y(s). Sort j, -0.3, -4/5.
-4/5, -0.3, j
Let z = -3 - -3.2. Let r = 6 + 0. Let q be 2/r - (-12)/126. Put q, 5, z in decreasing order.
5, q, z
Let h = 4 - -1. Let b = 59 + -58.9. Sort 4, h, b in increasing order.
b, 4, h
Suppose -l = -4*l + 48. Suppose 5*w = -t - l, -4*t - 20 = 4*w - 4. Let o be (1 + t)/(0 + 1). Sort -4, -3, o in increasing order.
-4, -3, o
Let o(w) = w - 1. Let l be o(-5). Suppose -4*q + 3*q = -7. Let f = q + l. Sort f, -3, 3/7.
-3, 3/7, f
Suppose 0 = 5*q - 5*w + 45 - 10, -12 = 4*q + 4*w. Sort 0, 1, 2, q.
q, 0, 1, 2
Suppose -5*h + 10 = 3*l, 0 = 4*l - 4*h - 0*h + 40. Sort 1/8, l, 3/8 in ascending order.
l, 1/8, 3/8
Let j = -46 + 42. Let f be ((-3)/3)/1 - 1. Sort j, f, -3/5 in decreasing order.
-3/5, f, j
Suppose 4 + 1 = -y, -3*g - 3*y = 12. Put 0, g, 2 in descending order.
2, g, 0
Let i(b) = -b**2 - 24*b - 45. Let f be i(-21). Sort -2/9, 2, f.
-2/9, 2, f
Let h = 17.7 - 2.7. Let b = 14.8 - h. Sort b, 3, 0.2 in decreasing order.
3, 0.2, b
Let w be (-4)/(1/((-21)/12)). Let b be -4*(15/12 - 0). Put b, 2, w in descending order.
w, 2, b
Let v = -52 + 46. Put -1/4, 0, v, -2 in descending order.
0, -1/4, -2, v
Let t be (1 + -3 + 1)*-1. Let s = -2 - t. Suppose -3*y - 44 +