der.
-4, o, y
Let p = 17 - 15. Sort -0.1, -0.5, p.
-0.5, -0.1, p
Let a = 3.74 - -0.26. Sort 0.4, a, 0 in increasing order.
0, 0.4, a
Let x = -1.3 + 8.3. Let s = 8 + x. Let m = -11 + s. Sort -0.2, -3, m.
-3, -0.2, m
Let m = 3 + -1. Sort -3, m, -4/5.
-3, -4/5, m
Suppose -4*n = 5*r + 19, -2*r = 5*n - 6*r - 7. Let z = -4 - -5. Suppose 51 = -17*f - 0*f. Sort f, n, z in decreasing order.
z, n, f
Let d(f) = f**2 - 15*f + 21. Let k be d(13). Sort 0, -4, k, 3 in descending order.
3, 0, -4, k
Suppose 2*m = -m - 3*b, 3*b = 3*m - 6. Let f be 6*(-4)/(-12)*1. Suppose -p - 16 = -5*p. Sort m, p, f in descending order.
p, f, m
Let q = -441 + 444. Let p = 1 + 0. Sort 0, q, p in descending order.
q, p, 0
Let c(u) = 4*u**3 - 1. Let t be c(1). Let p = 1.67 - 1.7. Put p, 0.5, t in ascending order.
p, 0.5, t
Suppose -r - 15 = -16. Sort -4, r, 2, 5 in descending order.
5, 2, r, -4
Let i = -4 - -2. Let s = i - -2.3. Let n = s + -0.3. Sort n, 0.2, -5/6 in descending order.
0.2, n, -5/6
Let b = 19.92 - 20. Let u = 0.18 + b. Put -4, u, -5 in descending order.
u, -4, -5
Let i = 1/94 + -237/188. Put 4, 19, i in descending order.
19, 4, i
Let q = 1.2 + -0.7. Let s = 4.5 - q. Sort s, 0.4, -2.
-2, 0.4, s
Let g = 9.2 - 9. Let f = 2.2 - g. Put f, 4/3, -0.5 in decreasing order.
f, 4/3, -0.5
Suppose -3 = 4*d + 5. Suppose -25 = 5*c, 5*b + 10 = c - 2*c. Put -5, d, b in increasing order.
-5, d, b
Let y(g) = 3*g**3 - g**2. Let p be y(-1). Let j(d) be the first derivative of d**3/3 + 5*d**2/2 - 2. Let t be j(p). Sort -2, 3, t.
t, -2, 3
Let g = -6.2 + 8.2. Sort -40, 4, g in ascending order.
-40, g, 4
Let w = 14 - 17. Put w, 1/5, -5 in descending order.
1/5, w, -5
Let a = 0.44 - 0.84. Sort 2, a, -2/7 in increasing order.
a, -2/7, 2
Let v = -5 + 5.1. Let l = 1.04 - 0.04. Sort l, -0.5, v.
-0.5, v, l
Let r be -3 + 3*(-6)/(-9). Sort -0.2, r, 7, 1/7 in decreasing order.
7, 1/7, -0.2, r
Suppose t + 2 = -2*z - 2*z, z + 9 = 4*t. Suppose 0 = 5*r - 0 - 15. Suppose -r*o - 5 - 4 = 0. Sort t, 1, o in increasing order.
o, 1, t
Let p = 126 - 137. Put -1/2, 1/4, p in descending order.
1/4, -1/2, p
Let y(u) = -3*u**3 + 2*u**2 + 2*u + 1. Let l be y(-1). Let q be (-2)/(-5) - (-27)/(-5). Suppose 3*k + 2*k - 15 = 0. Sort k, q, l in increasing order.
q, k, l
Suppose -4*a = 3*j + 10, 3*a + 9 = -3*j - 0*a. Suppose -380*h - 4 = -376*h. Put h, 5, j in increasing order.
j, h, 5
Suppose 3 = -h + 1. Suppose -l - 16 = 4*o - 6*l, 0 = 5*o + l - 9. Sort -3, h, o.
-3, h, o
Suppose 10 = 2*v + 4*l, -2*v + 0 + 15 = -l. Suppose 5*c + v = -3. Sort 1, 4, c.
c, 1, 4
Let d = -42 + 24. Let f be 1/3*d/12. Sort -4, f, 0.5 in descending order.
0.5, f, -4
Let n = -15 + 18. Put n, 2, -4 in ascending order.
-4, 2, n
Let h = 0.06 - 1.26. Let k = h - -1.7. Sort k, -1/3, 3 in decreasing order.
3, k, -1/3
Let f = -4 - -2. Suppose 4*q = -2*x - 14, 2*q - 2*x + 10 = -0*q. Put f, q, 0 in decreasing order.
0, f, q
Let r = -2.9 + 2.7. Sort -1/2, 4/5, r in ascending order.
-1/2, r, 4/5
Suppose -5*f = -3*f - 10. Suppose f*n - 2*n = -15. Let d = n + 3. Put -3, -4, d in increasing order.
-4, -3, d
Let k be 0 - (-2 - 1 - 0). Suppose 0*c + 5*c - 5*o + 45 = 0, -2*c + k = 5*o. Let y(v) = v**2 + 7*v + 5. Let a be y(c). Sort -2, 3, a in ascending order.
-2, a, 3
Let n be 1*-4 + 2 + -2. Let w be 169/9 + 2/9. Let p = w - 15. Put 0, p, n in descending order.
p, 0, n
Let d = -14 + 13. Sort -0.02, 1, d, 0.1 in ascending order.
d, -0.02, 0.1, 1
Let v be (-26)/4 + (-2)/4. Let a(j) = j**2 + 7*j - 3. Let h be a(v). Let d(u) = u + 6. Let x be d(h). Put -1/8, x, 0.2 in descending order.
x, 0.2, -1/8
Let v = -0.9 - -0.4. Sort v, -3, 5.
-3, v, 5
Suppose 0 = -3*t + 3, 3*t + 16 - 4 = -5*v. Let c be 12/v*1/30. Let r = 6 - 11. Put c, r, 2 in increasing order.
r, c, 2
Let i be (9/14)/(12/(-16)). Put 4/5, i, -0.7 in descending order.
4/5, -0.7, i
Let p = 1 - 1.4. Let s = 0.07 + -3.07. Let k = 15 - 20. Put k, p, s in decreasing order.
p, s, k
Suppose 3 = -4*j + 5*j. Let t(r) = -r**3 + r**2 + r + 2. Let x(y) = y**2 - 3*y + 2. Let o be x(3). Let u be t(o). Sort -1, u, j in decreasing order.
j, u, -1
Let g = -108 - -113. Sort 15, g, 1, 2/9 in ascending order.
2/9, 1, g, 15
Let k = 68 - 342/5. Let p = 47/2 + -325/14. Sort -1/7, k, p in decreasing order.
p, -1/7, k
Let h = 0.091 - 0.091. Suppose 5*p - 260 = -4*q, 0 = -5*q - p + 5*p + 366. Let r = 491/7 - q. Put 2/5, h, r in ascending order.
h, r, 2/5
Let q = 14 - 14.13. Let z = q + -1.87. Sort z, -5, 3.
-5, z, 3
Suppose -x = -4*q + 3*x - 24, x = 4*q + 18. Put 4, q, -1 in decreasing order.
4, -1, q
Suppose -3*k + 9 = -3*n - 0, 5*k + 3*n = 7. Let z be -1 + -2 - (-1 + k). Suppose -3*f = -f + 10. Sort z, f, -3.
f, z, -3
Let u(q) = -q**3 + 5*q**2 + 4*q + 8. Let p be u(6). Suppose -1 = 2*d - 5. Suppose y + d = 2*y. Sort 1, y, p.
p, 1, y
Let m = 2.01 + -0.01. Let b = 176/7 - 25. Sort m, -3, b in decreasing order.
m, b, -3
Suppose -3*o - 9 = -6*o. Suppose -4*s + 0*s = -5*b + 2, b - 5*s = 13. Sort b, -6, o in decreasing order.
o, b, -6
Let a be (-10)/25 - (-36)/(-10). Sort -5, -1, a.
-5, a, -1
Suppose -c + 10 = -4*g, -3*g - c - 4 = -0*g. Put 5, 2, g in ascending order.
g, 2, 5
Let t = 0 - 2. Let y = -109 + 113. Put 2, y, t in ascending order.
t, 2, y
Let v = -4 + 6. Let o be (-3)/(-5)*(-20)/(-18). Put o, v, -4 in ascending order.
-4, o, v
Let r = 265 + -150. Let o be r/(-35) - 4/(-14). Let b be (2 + 0)/(4/(-10)). Sort 0, b, o in decreasing order.
0, o, b
Suppose -13 = -4*p + h, 0 = 3*p - 0*h - 4*h - 13. Sort -1, p, -6 in increasing order.
-6, -1, p
Let k = -59 + 63. Sort 3, k, 7, 1 in descending order.
7, k, 3, 1
Let t(z) = z**2 + 5*z - 11. Let s be t(-7). Sort 4, 9, s in ascending order.
s, 4, 9
Suppose w - 2*w + 2 = 0. Let c(x) = 2*x + x + 5*x - 3 - x**w. Let m be c(7). Put 1/4, m, 2 in increasing order.
1/4, 2, m
Let y = 1 - -1. Let f(u) be the third derivative of -u**5/60 - u**4/3 + 5*u**3/6 - 6*u**2. Let m be f(-8). Sort m, y, 1 in descending order.
m, y, 1
Let m = -8 - -6. Let v = -12 + 23. Suppose -4*g + a = 2*a + v, -5 = -5*a. Sort -1, g, m in decreasing order.
-1, m, g
Let c = -7 + 7. Suppose c*p + 3*p = -21. Sort 2, p, 4 in decreasing order.
4, 2, p
Let z = -5.21 + 0.21. Put 0.1, z, -3 in increasing order.
z, -3, 0.1
Suppose 2*l - 3*w - w = 2, 8 = 4*l - 4*w. Sort -5, 0, 5, l in descending order.
5, l, 0, -5
Let s(y) = -y**2 - 8*y + 4. Let a be s(-4). Suppose 4*b = -w + 3*w - a, 0 = 3*b + w + 15. Sort b, -2, 3 in ascending order.
b, -2, 3
Suppose 3*o - 3 = 2*k, -5*k - 5*o + 5 = -0*k. Put -5, -4, k in decreasing order.
k, -4, -5
Suppose 15 = -2*i + 2*w + 5, -5*w = -5. Let z = i - 0. Put z, 5, 0 in descending order.
5, 0, z
Suppose 4*c + 6 = -4*t - c, 2*t + 18 = 5*c. Put -3, t, 3 in descending order.
3, -3, t
Suppose n - 5*a + 18 = 0, -3*a = -n - 2*a - 6. Sort -5, n, -2 in decreasing order.
-2, n, -5
Suppose 4*i - 7 = 3*o, -2*o = -6*o - 4*i. Put -4, 10, o in decreasing order.
10, o, -4
Let g = -83 + -14. Sort g, 0.3, -3 in increasing order.
g, -3, 0.3
Suppose -102 = -5*u + 8. Let z be 0 + (-3 - u/(-7)). Put -5, -0.5, z in descending order.
z, -0.5, -5
Let a be ((-4)/(-6))/((-1)/(-6)). Let m = 17 + -12. Put m, -1, a in increasing order.
-1, a, m
Suppose -2*v - 5*g - 24 = 0, 3*v + g - 14 = 6*g. Suppose -5*c - 31 = -3*k + k, 5*k + 10 = -5*c. Put 3, v, c in increasing order.
c, v, 3
Let d = -8 + -10. Let z = 14 + d. Put 2/13, z, 4 in descending order.
4, 2/13, z
Let x be (8/(-20))/(3/30). Let m be (-4 - 1)*(-1 + 2). Put x, 0, m in descending order.
0, x, m
Let a be 4/12 + 7/(-3). Let w = 0 + 1. Put -5, a, w in ascending order.
-5, a, w
Let q = -1.1 - -0.1. Let d = 2 + -4. Let y = d - q. Sort -0.1, 5, y in descending order.
5, -0.1, y
Let i be (33/(-198))/(2/20*1). Sort i, 3, -4, 1/3 in ascending order.
-4, i, 1/3, 3
Let n be 12/15*1/(-2). Sort 4, 1/4, n in decreasing order.
4, 1/4, n
Let v = 3.17 - -0.73. Let s = v + -4. Let o be (2 + (-14)/4)/(-2). Sort o, s, 1/6.
s, 1/6, o
Let y(v) = -6*v + 33. Let f be y(7). Put -2, f, 2 in descending order.
2, -2, f
Let b = 2 + 1. Suppose 2*f + b*f = 0. Sort 2, -1, f in ascending order.
-1, f, 2
Suppose -j - 2*q + 17 = 0, 16 = 2*j + 2*q - 14. Let n = 15 - j. Put -5, n, 5 in descending order.
5, n, -5
Let x(g) = -2*g + 12. Let k be x(7). Suppose 0 = -4*q - 6 + 2. Sort q, k, -5 in decreasing or