p in increasing order.
s, 0.4, p
Let j be (2/(-24))/((-1)/2). Let c = 3.01 + -0.01. Sort j, -0.1, c in decreasing order.
c, j, -0.1
Let f(v) = -v**2 - 4*v + 17. Let g be f(-6). Sort g, -1, 29 in descending order.
29, g, -1
Suppose 3 = o - 0*o + f, 5*o - f - 27 = 0. Sort o, -4, -3 in increasing order.
-4, -3, o
Let c(m) = -m**3 - 7*m**2 - 9*m - 8. Let w be c(-6). Suppose 3*o = d - 3, -4*o + 4*d + w = -3*o. Put -5, 5, o in decreasing order.
5, o, -5
Let p = -1507/8 - -188. Let y = 24.8 - 25. Let n = 1.2 + y. Put n, p, -2 in ascending order.
-2, p, n
Suppose 2*g = y - 2*g + 19, 3*g = -2*y + 17. Let v be (2/(-4))/(y/(-6)). Let q = 498 - 498.4. Sort v, q, 0.1 in ascending order.
q, 0.1, v
Let n = -4.7 - -2.7. Put -5, n, -0.2 in descending order.
-0.2, n, -5
Let k = 58 + -53. Sort 1, 4, k, 2.
1, 2, 4, k
Suppose 5*i - 7*i + 34 = 0. Suppose 0 = -2*g - i + 19. Put g, 3, -5 in decreasing order.
3, g, -5
Let w be (-3)/(-3)*(-5)/(-30). Put 0, w, -11 in increasing order.
-11, 0, w
Suppose -5*w + a - 16 = -0*w, 5*a + 1 = -2*w. Let g be -1*(2 - w/(-1)). Put -6, 0, g in ascending order.
-6, 0, g
Let j(z) = z**3 + 5*z**2 - 4*z + 4. Let n be j(-6). Put n, 4, -2, 0 in ascending order.
n, -2, 0, 4
Let m = 36 - -11. Let r = m - 77. Let k be (-26)/(-30) + 6/r. Put -1, 2/19, k in descending order.
k, 2/19, -1
Let w(s) = -s**3 - 8*s**2 - s - 8. Let j be w(-8). Let h = 22 - 19. Sort -1, h, j in decreasing order.
h, j, -1
Let k = -22 - -19. Sort -5, 3, k, 4.
-5, k, 3, 4
Suppose 3*r - 7 - 4 = 2*v, v = -2*r + 5. Let d = -2 - -4. Let a = d - 5. Sort a, r, 4.
a, r, 4
Let a be 3 + -9 + (-2)/(-2). Let h = a - -4. Sort h, 0, -5.
-5, h, 0
Let l = 4 - 5. Let d = -0.01 - 0.39. Let q = -0.3 - d. Sort l, q, -2/5.
l, -2/5, q
Let s = -6.4 - -6. Let f = -0.4 + 0.1. Let u = 0.03 + -4.03. Put s, u, f in descending order.
f, s, u
Let q be (-1)/8*2 + 0. Sort 3, -5, q in descending order.
3, q, -5
Let q = -343/15 - -65/3. Let v = q - -53/40. Sort 1, v, -2/3 in ascending order.
-2/3, v, 1
Let o = -16 + 11. Let a = 0.1 - -3.9. Put a, -1/9, o in increasing order.
o, -1/9, a
Let y = -1 + 1. Put 0.4, 1/5, y in decreasing order.
0.4, 1/5, y
Suppose -7*r - 2*u + 15 = -2*r, 3*r + 5*u + 10 = 0. Sort -4, r, -2 in ascending order.
-4, -2, r
Let o be 1 - 55/20 - (-6)/8. Sort 4, -3, o, 2 in descending order.
4, 2, o, -3
Let f = 2 + 2. Let z = f + -6. Let t = -0.1 - -0.2. Put t, 0, z in ascending order.
z, 0, t
Let p = 4.84 - -0.16. Put 4, p, -0.1 in descending order.
p, 4, -0.1
Let s = 309 + -2777/9. Put s, 2/5, 4, 3 in descending order.
4, 3, s, 2/5
Let a(u) = -u + 9. Let c be a(7). Suppose -2*d - c*d = -3*s - 20, -s = 4. Sort d, 4, 3 in ascending order.
d, 3, 4
Let s = -112 + 114. Put s, -5, -30 in ascending order.
-30, -5, s
Let m be (22/(-8))/(2/8). Let b = -6 - m. Sort -2, 3, b in descending order.
b, 3, -2
Suppose -p + 3*p + 20 = 4*o, 3*o - 2*p = 16. Put -2, o, 2 in decreasing order.
o, 2, -2
Suppose 0 = 4*k - j - 7, 2*j = -0 + 2. Sort k, 0, 3 in decreasing order.
3, k, 0
Let m be 2/4*(-4 + 8). Suppose 2*y - m*l - 4 = 0, -4*y - l + 6*l = -7. Let k be -1*(-5)/1*-1. Sort k, y, 0 in ascending order.
k, 0, y
Suppose b + n = -2*n + 8, 0 = 2*b + 4*n - 12. Sort b, -1, 4.
-1, b, 4
Let u = -86 + 86.02. Put 3, -0.1, -5, u in ascending order.
-5, -0.1, u, 3
Let o = -15.8 - 4.2. Let j = -23 - o. Sort j, 0, -2 in decreasing order.
0, -2, j
Let n = 239/7 + -34. Let h(k) = -k**2 + k - 1. Let t(r) = 3*r**2 - 10*r + 7. Let p(f) = 2*h(f) + t(f). Let u be p(7). Sort u, -1, n in decreasing order.
n, -1, u
Let f = -4 - -6. Let q = f - 2. Let y be 5*2*2/4. Put y, q, -5 in descending order.
y, q, -5
Suppose -5 = -34*x + 35*x. Let o = 0.1 - 0.1. Let q = 3 - o. Put q, 0.1, x in descending order.
q, 0.1, x
Let o = 40 + -36. Put 7, 3/5, o in descending order.
7, o, 3/5
Let w = -5 + 3. Let z = -6 - -15. Suppose b = 3*b + 3*m + z, -3*b - m = -4. Put -1, w, b in decreasing order.
b, -1, w
Let c = 14 - 11. Put -3, -10, c in ascending order.
-10, -3, c
Suppose 15 + 5 = -5*h. Let d be h/(-18) - (-43)/9. Suppose 2*l - 4*l + 6 = -3*p, d*l = 4*p + 8. Sort 2, 4, p in descending order.
4, 2, p
Let y(r) be the third derivative of -r**5/60 - r**4/4 + r**3/3 + 3*r**2. Let k be y(-7). Put k, -1, 0.2 in descending order.
0.2, -1, k
Suppose 3*i = -j + 2*j - 14, -4*i - 14 = j. Suppose 0 = -k - j + 10. Suppose 6*g - 2*g = -k. Put 3, g, -1 in increasing order.
g, -1, 3
Let s = -0.011 + 1.011. Sort 10, -3, s in ascending order.
-3, s, 10
Let j(v) = -v + 1. Let f be j(-4). Suppose 18 = 5*n - 2. Suppose -r = -q, f = -4*q + n*r - r. Sort 0.4, -4, q.
q, -4, 0.4
Suppose -5*n + 5*l + 2 - 7 = 0, 5*l - 32 = -4*n. Let v be ((-5)/10)/((-1)/8). Put 0, n, v in ascending order.
0, n, v
Let r(l) = -6*l**2 + l. Let g(v) = -v**3 + 8*v**2 - 6*v - 6. Let s be g(7). Let h be r(s). Put 0, -3, h in ascending order.
h, -3, 0
Let s be 4/10 - (-169)/65. Sort -5, s, 5 in increasing order.
-5, s, 5
Let r = 1.9 - 1.4. Put 6, r, 1 in ascending order.
r, 1, 6
Suppose -2*y + 15 = 3*y. Let l(k) = k**2 + 4*k - 7. Let c be l(-6). Let w be (-3)/(-15) - 1/5. Sort w, c, y in decreasing order.
c, y, w
Let s = -9 + 9.11. Let f = s - 0.61. Let h be ((-2)/8)/(7/8). Sort f, h, -3 in descending order.
h, f, -3
Let h = -2.8 + 3. Let u = 0 - 0.1. Put u, h, -1 in ascending order.
-1, u, h
Suppose 0 = 3*f - 2*f - 2. Let j be (-3)/6 - f/20. Sort j, 0.1, 6 in increasing order.
j, 0.1, 6
Let s = 1277/7 - 183. Sort s, -0.4, 0 in ascending order.
s, -0.4, 0
Let l = 59 + -59.5. Let k = -79/15 - -14/3. Put l, k, 7 in descending order.
7, l, k
Let y be (-20)/(-6) - (-7)/(-21). Suppose -i = 5*r - 0*r - 23, -y*i = -r - 5. Suppose r*v = -5*t + 16 + 6, 0 = 3*v - 9. Put -2, -4, t in increasing order.
-4, -2, t
Suppose -16 + 36 = 5*g. Suppose -3*s = -5*i + 30, 2*s + g*i - 2 = -0*s. Sort 5, -3, s in descending order.
5, -3, s
Let y(g) = -g + 10. Let t be (-1)/((-3)/(-3)) + 4. Suppose t*n = 2*n + 7. Let q be y(n). Sort 5, q, -3 in increasing order.
-3, q, 5
Let c(g) be the second derivative of -g**4/12 - 5*g**3/6 + g**2/2 - 3*g. Let z be c(-5). Let x = 0 - z. Sort -3, x, 4 in increasing order.
-3, x, 4
Let v = 15/2734 - -216933/76552. Let h = v + -19/7. Sort -4, h, 4 in decreasing order.
4, h, -4
Let b = 3.7 + -3.4. Put b, 0.1, -0.5 in descending order.
b, 0.1, -0.5
Let w = -12 - -18. Suppose -w*f + f - 25 = 0. Let y be (-11 - -13) + (-6)/(-2). Sort 4, f, y in descending order.
y, 4, f
Let j(s) = s**2 + 2*s - 4. Let q be j(-4). Sort -11, 5, q.
-11, q, 5
Let c(y) = -y**3 + 14*y**2 + 17*y - 29. Let x be c(15). Sort x, -7, 0, 3.
-7, 0, x, 3
Suppose -3*m - 1 + 10 = 0, -2*b + m + 3 = 0. Suppose -f + 6 = -b*f. Suppose -2*h + 6 = -5*h. Sort 0, f, h in increasing order.
f, h, 0
Let c = 0.6 - -0.4. Sort c, -2/13, -4 in descending order.
c, -2/13, -4
Let y be (-1)/((2/1)/2). Let v(b) = b**3 + 13*b**2 + b + 18. Let d be v(-13). Suppose -d*f - 23 = -8. Sort f, -4/7, y in descending order.
-4/7, y, f
Let i(b) = 6*b**3 - 2*b + 1. Let l be i(1). Let o = 6 - l. Suppose 3*q = -10 - 2. Sort -2, q, o in ascending order.
q, -2, o
Let q = 13/5 - 21/10. Sort 1, q, 2/7 in descending order.
1, q, 2/7
Suppose 15 = x + 5*o, 6*o + 5 = -5*x + o. Let p(v) = -v**2 + 5*v + 2. Let i be p(5). Suppose 2*m + i*m = -12. Sort m, x, -1.
x, m, -1
Let a(o) = o**3 - 4*o**2 + 4*o + 1. Let w be a(3). Let c be (w - 7) + (0 - 2). Sort 2, c, -3 in increasing order.
c, -3, 2
Let o be 2/3*6/22. Put o, 0.2, -2/15 in descending order.
0.2, o, -2/15
Let q(g) = 2*g**2 - g + 1. Let v be q(0). Sort -1, -3, 0, v in decreasing order.
v, 0, -1, -3
Let f = 7.7 + -8. Sort -0.5, 20, f in decreasing order.
20, f, -0.5
Let g = 36 + -38. Let c be (-2)/6 + 31/3. Let q be (c*g/2)/(-2). Sort -4, 2, q in descending order.
q, 2, -4
Suppose 5*i + 4*x - 5*x + 3 = 0, 0 = 2*i - 3*x - 4. Sort i, 3, 1, -2.
-2, i, 1, 3
Suppose -2 = q - 0. Let s be 3 - (q/(-4) + 2). Sort -4, -5, s.
-5, -4, s
Let j = 15 + -20. Sort -1, -3, j in decreasing order.
-1, -3, j
Suppose -7*w + 0 = -7. Put -3, -2, -5, w in decreasing order.
w, -2, -3, -5
Let f = -2.7 - -22.7. Let d = f - 24. Put d, -4/3, -2 in ascending order.
d, -2, -4/3
Let d(u) = -u**2 - 6*u - 3. Let z(v) = -v**2 - 7*v - 4. Let g be z(-7). Let a be d(g). Put -4, -1, a in ascending order.
-4, -1, a
Let g(n) = n + 8. Let x be g(-5