ppose -2*y = z + 3, 0*z - z - 3*y = 3. Let x = z - 1. Let k be (1 + 0)/(3/(-9)). Put 5, x, k in decreasing order.
5, k, x
Let q(j) = 2*j**2 - j. Let v(x) = 3*x**2 - x + 1. Let t(a) = -5*q(a) + 3*v(a). Let y be t(-2). Let i = 0 - 0. Put 4, y, i in ascending order.
y, i, 4
Suppose 3*t = -2*t - 5. Suppose -2*a = -6*a + 16. Put 1, t, a in increasing order.
t, 1, a
Suppose -6*p - 15 = -p. Let w = p + 5. Suppose w*n = n. Put 4, n, 1/4 in increasing order.
n, 1/4, 4
Suppose 3*d - 5 = -20. Let g = -4 - d. Sort g, -1, 4.
-1, g, 4
Suppose 7 = -8*j + 39. Let n = 0.2 + 1.8. Sort -5, n, j.
-5, n, j
Let n(a) be the second derivative of -a**5/20 + 7*a**4/12 + 7*a**3/6 + 11*a**2/2 + 2*a. Let y be n(8). Put y, -1, 5 in descending order.
5, y, -1
Let f be 4/(-16) + (-13)/(-4). Put f, 5, -3 in decreasing order.
5, f, -3
Let v be 26/(-22) + 2/11. Let k = -4 + 1. Let h(m) = m**2 + 3*m - 2. Let c be h(k). Sort 3, v, c.
c, v, 3
Let v = 13 + -13.4. Let y = -0.53 + 0.03. Sort v, y, 2/9.
y, v, 2/9
Let k = -19/28 - -3/7. Let o = -0.9 + 1.3. Sort k, -0.1, o.
k, -0.1, o
Let o = 6 - 1. Suppose -5 = 6*n + 19. Let m be o/((-170)/n)*1. Put m, -2/17, -3 in descending order.
m, -2/17, -3
Suppose y - 11 = -16. Sort 0, y, 1, -11 in descending order.
1, 0, y, -11
Let l = -4 - -6. Let k be 0 + 7 + 2/(-1). Sort l, -1, k in ascending order.
-1, l, k
Let l = -30 + 119/4. Sort -1, 0, l in descending order.
0, l, -1
Let x be 5*-6*(-2)/20. Suppose 9 = -65*i + 56*i. Let l be 3/(-1)*4/(-3). Sort x, l, i in ascending order.
i, x, l
Suppose 0 = -4*m + 3*z + 12, 8*z = -3*m + 3*z + 9. Suppose 3*s - 4 = -k - 17, 0 = -2*s - 2*k - 6. Sort m, -3, s in decreasing order.
m, -3, s
Let l(f) = 14 + f + 0*f - 7. Let q be l(-6). Let h = -135 + 139. Put q, -2, h in decreasing order.
h, q, -2
Let x(b) = -b**3 + 14*b**2 + 16*b - 15. Let z(a) = a**2 + a - 1. Let k(c) = x(c) - 6*z(c). Let u be k(9). Sort u, -4, -5 in descending order.
u, -4, -5
Let h = -100 - -102. Put 7, h, 1/11, -3 in ascending order.
-3, 1/11, h, 7
Let n = 41/33 + -10/11. Let g = -0.7 - 0.3. Put n, g, 4 in decreasing order.
4, n, g
Let x = -0.23 + -0.07. Let y = -22/7 + 95/28. Put x, -0.2, y in decreasing order.
y, -0.2, x
Let r(z) = -z**2 + 3*z - 2. Let j be r(3). Let t be 0/((2 - 0)/(-2)). Sort j, t, 10 in ascending order.
j, t, 10
Let g = 0.229 - -0.071. Sort 3, 8, g in ascending order.
g, 3, 8
Let x = -0.01 + -0.49. Sort 0.2, 2, 0.1, x in increasing order.
x, 0.1, 0.2, 2
Let r = -784/255 - -50/17. Put 3/5, 1, r in decreasing order.
1, 3/5, r
Let o = -98 + 99. Put -0.3, 4/5, o in increasing order.
-0.3, 4/5, o
Let c be 3/(-6)*(-2 - -2). Let s = 5.6 - 1.6. Sort c, 2, s in descending order.
s, 2, c
Let g = 0.1 + -0.4. Let y = -34 + 21. Let q = y - -9. Sort 0.5, g, q in ascending order.
q, g, 0.5
Suppose -3*c = -2*k - 2, -4*k + 9*c - 6 = 4*c. Let y be 18/k*8/12. Sort 0.2, -0.3, y.
y, -0.3, 0.2
Let q = -0.2 - -0.2. Let g = 0.1 - q. Let s(m) = m - 3. Let t be s(6). Put g, -4/7, t in ascending order.
-4/7, g, t
Let x(d) = d**3 - 5*d**2 + 6*d - 7. Let w be x(4). Put 0, -3, w in ascending order.
-3, 0, w
Let a = -5 + 3. Suppose d - 3 + 4 = 0. Sort d, 1, a.
a, d, 1
Let y = 2 - 1. Let s = 2 - y. Let n = -76/119 - -6/17. Put s, n, 3 in decreasing order.
3, s, n
Suppose 0 = -y + 1051 - 1056. Suppose -3*b = -5*b - 8. Put 5, y, b in decreasing order.
5, b, y
Let j = 5 - 4.9. Let l = -0.3 + j. Sort -4/7, l, -2/13.
-4/7, l, -2/13
Let u = 6 - 8. Suppose g = 10 - 6. Sort g, u, 0 in decreasing order.
g, 0, u
Let s be (13/26)/(2/4). Sort s, 3, 12, 5 in descending order.
12, 5, 3, s
Let q = 65 + -71. Put 1, 4, q, 5 in decreasing order.
5, 4, 1, q
Let p(d) = -4*d - 17. Let f be p(-5). Put 5, 0, f in ascending order.
0, f, 5
Let f = -7 - -12. Let h(u) = u**2 - 11*u - 17. Let w be h(12). Put w, f, 2 in descending order.
f, 2, w
Let x be 2/(-7) - (-24)/(-14). Let v(l) = -l + 2*l - 2*l + 1. Let t be v(x). Put t, 0, -2 in increasing order.
-2, 0, t
Let s = 251.5 - 251. Suppose -z = -2*z. Put z, s, 5 in descending order.
5, s, z
Suppose -b - 4*v = 0, -5*b + 2*v = 4*v. Let z = b - 5. Sort 6, z, -3 in decreasing order.
6, -3, z
Suppose 0 = -5*x - 0*x + 20. Suppose -3*c + 5 = -2*c. Suppose 0 = -3*y + 8*y. Sort x, c, y in decreasing order.
c, x, y
Let p = -24 + 26. Put -3/7, p, -4 in increasing order.
-4, -3/7, p
Let c = -1 - -1.1. Let r = 2.1 - c. Let m(i) = i**2 + 4*i + 4. Let g be m(-4). Sort g, 0, r.
0, r, g
Let d be (-10)/(-15)*9/(-2). Suppose 0*k + 4*k = 12. Sort k, d, -5.
-5, d, k
Suppose -6 = 9*w - 3*w. Sort 6, w, 5, 0 in ascending order.
w, 0, 5, 6
Suppose -2 - 1 = 3*b. Sort b, -5, -3 in descending order.
b, -3, -5
Let k = -43 + 47.9. Let f = 0.1 + k. Sort -5, 3/5, f in descending order.
f, 3/5, -5
Let y be (-8)/(-6)*12/8. Suppose -25 = -y*v - 3*v. Suppose 4*b = -5*k + 3*k, 0 = -3*b + v*k. Put -2, 5, b in descending order.
5, b, -2
Let j = -636/7 - -91. Let p = 0.185 - 0.685. Sort j, p, 4 in increasing order.
p, j, 4
Let n = 0 + 3. Let b = 3.2 + -3.4. Sort -3/2, n, b in increasing order.
-3/2, b, n
Let j be 13/26 + (-7)/8. Let x = -11 + 6. Sort j, x, -0.4 in descending order.
j, -0.4, x
Suppose -9 = 4*f - m, -f - 3*m - 2*m + 3 = 0. Sort 1, f, 5 in decreasing order.
5, 1, f
Suppose -2*h + w - 6*w = 1, 0 = 4*h + 3*w - 5. Sort 8, -5, h, -3 in descending order.
8, h, -3, -5
Let w(f) = f**2 - 5*f + 8. Let g be w(4). Sort 2, 3, 5, g in increasing order.
2, 3, g, 5
Let g = 12 + -12. Suppose 0 = 3*a + 5*t - 2 - 7, g = -5*a - t + 15. Sort a, 1, 4 in decreasing order.
4, a, 1
Let z = -31 - -32. Let s = -0.05 - 0.25. Let p = 1.99 - -0.01. Sort z, p, s.
s, z, p
Let f(b) = -b - 3. Let z be f(-7). Suppose -4*k - 5*h + 1 = 0, -2*k - k + 3*h - 6 = 0. Put z, -4, k in ascending order.
-4, k, z
Let p(o) = o**3 + 5*o**2 - 15*o - 9. Let n be p(-7). Put n, 1, -5, 5 in descending order.
5, 1, n, -5
Let m = -66 + 73. Put -3, m, -0.3 in descending order.
m, -0.3, -3
Let g(i) = -i + 7. Let w be g(4). Put 5, w, -4 in increasing order.
-4, w, 5
Let w be -1 - 3*8/(-6). Suppose c = -w*c. Let u = -3 - -4. Put c, 5, u in increasing order.
c, u, 5
Let d = 0 - -4. Let k = -339 + 342. Put k, 3/5, d in ascending order.
3/5, k, d
Suppose -4*p = 4*a, 5*a - 2*p - 1 = -22. Sort -2, a, -2/5 in ascending order.
a, -2, -2/5
Suppose -2 + 10 = 4*l. Suppose -3*a + 2 = -l*a. Suppose 3*o - 8*o = -15. Sort o, a, -1 in ascending order.
-1, a, o
Suppose y + 2 = a - 2, 3*a + 5*y = -12. Let v be -3 + a + 3 - 2. Put -4, v, 1 in increasing order.
-4, v, 1
Let b = -2.7 + 3. Let t = b + -3.3. Let w = t - -7. Sort w, 3, 1 in descending order.
w, 3, 1
Let v(w) = w**2 - 14*w + 4. Let c be v(12). Let f be 22/30 - c/(-50). Put f, 0.2, 4 in decreasing order.
4, f, 0.2
Let v = -8 + 9.5. Let t = -2 + v. Let c(r) = 2*r**2 + 32*r + 5. Let x be c(-16). Sort x, t, -5 in increasing order.
-5, t, x
Let v be (-15)/(-6) - (-1 + 0). Let q = 3 - v. Sort 0.5, q, -3/7 in descending order.
0.5, -3/7, q
Suppose -5*j = -4*d, -j + 18 = j + 2*d. Let n = -2 - 1. Sort n, -4, j in descending order.
j, n, -4
Suppose -2*p - 9 - 3 = 0. Let w(k) = -k**2 - 6*k - 2. Let h be w(p). Let g = 128 - 127. Sort h, g, 4.
h, g, 4
Suppose -2*b - 5 = 5*w, -43 = 4*b + w - 2*w. Sort 1, 4, b in decreasing order.
4, 1, b
Let x = 9 - 7. Suppose -1 = x*k - 3. Put k, -4, -1 in ascending order.
-4, -1, k
Let i be (-2)/4 - (-1)/2. Let t = -4 - -9. Suppose 0 = t*j + x - 0*x - 27, -3*j - x + 17 = 0. Put j, i, -5 in increasing order.
-5, i, j
Let a = 1.75 - -0.25. Sort 0.04, a, -2 in increasing order.
-2, 0.04, a
Suppose 0 = -0*n - n + 6. Suppose n = 3*b - 2*w + 5*w, -b + 2*w = 13. Let j = -0.2 - -0.3. Put 2, b, j in increasing order.
b, j, 2
Let w be (-2)/((-4)/2) + 1. Suppose 2*c + 0 = -w. Put c, 2, -5 in descending order.
2, c, -5
Let y = -48 - -51. Sort y, 0.03, -2/13 in increasing order.
-2/13, 0.03, y
Let f(m) = -2*m**2 - 21*m - 7. Let x be f(-10). Suppose -b - 2*k = b, 4*k - 20 = 0. Let i = x + b. Sort i, -3, 2 in descending order.
2, i, -3
Let u = 0 + -4. Let h = -37/70 - -3/7. Sort h, 5, u in descending order.
5, h, u
Suppose -5*t = -3*t - 8. Let q be (4/2 - 1)/(-1). Sort 2, q, t in ascending order.
q, 2, t
Let c(r) be the second derivative of -r**5/20 + r**4/2 - 2*r**2 + 3*r. Let w be c(6). Suppose 0 = -a - 4*a - 25. Sort -7, w, a.
-7, a, w
Suppose -4*l = 