uppose -8*h + 15 = -5*h. Suppose 0 = h*u - 8*u - 2*u. Sort -3, -3/32, u.
-3, -3/32, u
Let w = -688 + 2065/3. Put w, 4, 1/35 in descending order.
4, w, 1/35
Let q = -3 + 3. Let d = -395 + 396. Let b be (-4)/((1 + 0)*1). Sort b, d, q.
b, q, d
Let i = 7 + 114. Let u = -126 + i. Suppose -4*b - 17 = -5*b - 4*z, 5 = 4*b - 5*z. Sort u, b, 16.
u, b, 16
Suppose -4*f - 2*j - 96 = 0, 0 = 10*f - 5*f - 5*j + 105. Put 5, -9, f in increasing order.
f, -9, 5
Let h = 3.4 - 3. Let t(u) = u**3 - 6*u**2 + 4*u + 1. Let y be t(5). Let x be ((-3)/18)/((-1)/y). Put -4, x, h in descending order.
h, x, -4
Suppose -7*w = -2*w - 125. Let s = w + -29. Put -2, 1, s in decreasing order.
1, -2, s
Let m = -7 - -8. Let h be 0/8 + -1 + m. Let w(y) = -y**2 + 6*y - 4. Let u be w(4). Sort u, h, -1 in increasing order.
-1, h, u
Suppose 0 = -k + 5*d + 9, 2*k - 2*d - 13 = -3. Sort -3, 2, 7, k in descending order.
7, k, 2, -3
Suppose 3*l - 6*y - 12 = -3*y, 0 = l - 2*y - 2. Suppose -5*f + 2*f + l = 0. Let o(z) = z**3 + 4*z**2 - 5*z. Let w be o(-5). Sort -1, f, w in descending order.
f, w, -1
Let w = -146 - 42. Let v = 1507/8 + w. Put -3, -1.4, v in descending order.
v, -1.4, -3
Let m(c) = 4*c - 1. Let z = 12 + -10. Let o be m(z). Sort o, 1, 0 in descending order.
o, 1, 0
Let x = -28 + 100. Let f = x - 72.2. Put 1, f, -2/3, -2 in descending order.
1, f, -2/3, -2
Let i(c) = c**2 - 8*c + 13. Let l = 27 - 20. Suppose -1 = z - l. Let q be i(z). Put q, -5, 0 in descending order.
q, 0, -5
Let k = -50 - -54. Suppose 2*b + 40 = -2*b - 4*m, 0 = k*b - m + 15. Sort -4, 1, b, 4 in increasing order.
b, -4, 1, 4
Let a = 16 - 24. Let c(u) = -u**3 - 9*u**2 - 8*u - 2. Let n be c(a). Let s be (-1)/(-2)*(8 + n). Put -2/7, s, -0.4 in decreasing order.
s, -2/7, -0.4
Let w = 150/427 + -4/61. Let s = 174.78 - 186. Let z = s + 0.22. Sort 1, w, z in descending order.
1, w, z
Let j be 1/(4*(-1)/(-36)). Suppose -5*l = -5*h + 15, -2*h + 7*h - j = 2*l. Let f be -1 - (-1)/(-2)*-2. Sort -2, h, f in ascending order.
-2, f, h
Let v(s) = -11*s - 30. Suppose 0*c = 5*c + 15. Let y be v(c). Let k = 88/195 - 2/39. Put k, 0.5, y in decreasing order.
y, 0.5, k
Suppose 0 = -38*p + 22*p - 4656. Sort -4, -1, p in decreasing order.
-1, -4, p
Suppose 7*j - 7 = -v + 2*j, 0 = -5*v - 2*j + 35. Suppose -17*y + 20 = -v*y. Put y, -1, -4 in increasing order.
-4, -1, y
Let k be 39 + -23 - (0/1 + 3). Suppose -c - 11 = 2*c + 2*i, 3*c - k = 4*i. Sort 4, 0, c, 1 in increasing order.
c, 0, 1, 4
Suppose 1 = -5*x + 4*p, -p = -7*x + 4*x - 2. Suppose -33*u = -32*u + 2. Let r be ((-5)/(-2))/((-1)/(-2)). Put x, r, u in decreasing order.
r, x, u
Let t be (1/((-10)/(-6)))/(-1). Let y = 0.4 - 0.9. Suppose 0 = 2*s - 3*g - 18, 0 = 3*s - 3*g - 2*g - 29. Sort s, y, t in increasing order.
t, y, s
Let u be 20/(-6)*6390/(-284). Put u, 5, -8 in decreasing order.
u, 5, -8
Suppose 4*y + 5*l = 592, -16*y + 18*y - 302 = -l. Sort y, 4, 1 in decreasing order.
y, 4, 1
Suppose 25 = -5*n - 30. Let s(c) be the second derivative of -c**3/6 - 7*c**2/2 - c. Let l be s(n). Put -1, 3, l in ascending order.
-1, 3, l
Let r(m) = m**2 - 6*m - 6. Let k be r(7). Let u(t) = 4*t**2 + 225*t - 175. Let z be u(-57). Put -82, k, z in descending order.
k, z, -82
Suppose 37*i = 33*i + 3*t + 85, 0 = -5*i - 3*t + 140. Put i, -4, -3 in descending order.
i, -3, -4
Let z(c) = -c**3 + 2*c**2 - c + 3. Let s be z(0). Suppose s = 4*d - 5. Put 4, -4, d in descending order.
4, d, -4
Let b = -449 - -450. Put 2, 4, b, 13 in descending order.
13, 4, 2, b
Let r = -0.5 + 1.5. Let i = -1.3 + r. Let n = 240 + -2156/9. Sort i, -4/7, n in descending order.
n, i, -4/7
Let l(o) = 92*o - 193. Let a be l(2). Sort 0.6, a, -4 in descending order.
0.6, -4, a
Let d = 295 - 309. Let v = -0.19 + -9.81. Let m = v - d. Put -3/8, 0, m in increasing order.
-3/8, 0, m
Let x be ((-6)/(-7))/(((-72)/42)/(-6)). Let t = 18 + -12. Suppose 3*m = 5*m + t. Sort -6, m, x in decreasing order.
x, m, -6
Let b = 1.76 - 2. Let a = b + 1.94. Let g = 1.6 - a. Sort 1/8, g, 1/3 in decreasing order.
1/3, 1/8, g
Let w = -233/2 - -157. Sort w, -0.1, -1 in ascending order.
-1, -0.1, w
Let d(i) = -i**3 + 30*i**2 - i + 35. Let x be d(30). Suppose x*v = 0, -k + 5 = -6*k - v. Let b = -0.9 + 5.9. Sort -3, b, k.
-3, k, b
Let z = 30 - 31. Let l = -2.3 - 0.7. Put l, -4, z in ascending order.
-4, l, z
Suppose 8*a - 11*a - 5*w + 15 = 0, -4*a + 2*w = -20. Sort -16, -4, 0, a in decreasing order.
a, 0, -4, -16
Suppose 25 - 11 = l. Suppose -l = 3*t + 4*z, -t = 3*z - 2*z + 4. Sort 3, -4, 5, t.
-4, t, 3, 5
Suppose 4*a - 1 + 9 = 0. Let d = -142 - -141. Sort d, 0, a.
a, d, 0
Let u be (-6)/4 - (-11 - 77/(-14)). Let r be (1 + -1)*(2 + -1). Sort r, 3, u in descending order.
u, 3, r
Suppose 0 = 3*u - u. Suppose -3*q + u = -t - 12, 32 = -2*t - 2*q. Let n be ((-3)/1)/(9/t). Put -1, n, 4 in decreasing order.
n, 4, -1
Let m = 1297.96 - 1298. Put -1/3, m, 0.1, -1 in ascending order.
-1, -1/3, m, 0.1
Let z = -273 - -276. Sort z, -3, -11 in increasing order.
-11, -3, z
Suppose j - 2*j = 2*a - 1, 0 = j + a - 6. Suppose 0 = -j*b + 16*b + 70. Let t = b - -18. Sort -5, t, -3 in increasing order.
-5, -3, t
Suppose -4*w = 2*a + 2, -3*w + a + 15 = 2*w. Let c be 51/27 - w - 0. Sort -0.1, c, -1/3.
-1/3, c, -0.1
Let h = 9 + -7. Let q be (h/6)/(1/6). Suppose 5*c = q*p, -5*c + 0*c = -p. Put c, 1, 5 in decreasing order.
5, 1, c
Let b be (3 + -5)*3*1/(-6). Suppose -4*y + 3*p - 30 = 2*p, 0 = -4*y + 2*p - 28. Put -2, b, y, 0 in increasing order.
y, -2, 0, b
Let f = 115 + -112. Let b be ((-6)/(-75))/(f - (-12)/(-5)). Sort b, -3, 2.2 in decreasing order.
2.2, b, -3
Suppose 343 = -h + 344. Put -5, h, -0.9, 9/2 in descending order.
9/2, h, -0.9, -5
Let b be (2/(-3))/((-2)/(-6)). Let d = -17.7 - -19.72. Let j = d + -0.02. Sort 4, j, b in decreasing order.
4, j, b
Let d be (-4)/(-18) + 20/(-9). Let i be (-12)/(-18) + (-14)/(-6) + 0. Sort -10, -2/21, i, d in ascending order.
-10, d, -2/21, i
Let m(s) = -s + 32. Let v be m(28). Let y = -6 + 9. Suppose -3*w + k = 2, -2*w = -6*k + 4*k + 4. Sort v, y, w.
w, y, v
Let k(g) be the first derivative of g**4/4 + 7*g**3/3 + 7*g**2/2 + 7*g + 4. Let t be k(-6). Let r be (-12)/(-3) - (t - 0). Put 0, 7, r in descending order.
7, r, 0
Let o = -2/13 + 19/39. Let l = -66 - -66.134. Let m = 0.034 - l. Put o, -4, m in decreasing order.
o, m, -4
Let y be -9 + 1/2*-2. Let o = -10 - y. Suppose -2*v + c = 2*v - 15, -2*v - c + 3 = o. Put v, 2, -3 in ascending order.
-3, 2, v
Let i = -3.01 + 2.77. Sort -5, -1/7, i in decreasing order.
-1/7, i, -5
Suppose -2*h - 3 = -5. Suppose 2*b + 3 = h. Let d = 5 + b. Sort d, -1, -3 in increasing order.
-3, -1, d
Let p = -30 - 9. Let n = p - -28. Sort -4, 4, n in increasing order.
n, -4, 4
Let h = 202 + -198. Sort 3, h, 5 in descending order.
5, h, 3
Let s = 20 + -20. Let j be 2*(-2)/8*s. Suppose 0 = -2*u - j*m + 2*m - 6, 5*u = -3*m - 7. Sort u, -5, 3 in ascending order.
-5, u, 3
Let p = 3.98 - 4.1. Let k = 4.12 + p. Sort -0.3, 9, k in decreasing order.
9, k, -0.3
Suppose -67*b + 77 = 10*b. Sort -3/2, -16/5, 2, b.
-16/5, -3/2, b, 2
Suppose 3*j + 32 = 5*d - 0*d, 3*j + 4 = -2*d. Suppose q - 6 = -4*m, 0 = 3*q + m - d*m - 3. Put 0, q, -3 in decreasing order.
q, 0, -3
Let f = 4 + -3.95. Let c = -0.05 + f. Let a = 185 + -1292/7. Sort a, -2, c.
-2, c, a
Let b = 2 + -1.9. Let f = 0.09757 + -0.09757. Sort b, f, 5, -1 in decreasing order.
5, b, f, -1
Let i(s) = -5. Let k(b) = -6. Let y(z) = 7*i(z) - 6*k(z). Let n(q) = -q + 3. Let d(u) = -n(u) - 6*y(u). Let c be d(10). Put c, -2, 2 in decreasing order.
2, c, -2
Suppose -k + 19 = -4*d + 2, 14 = 2*k - 3*d. Put k, -5, 0, -1 in descending order.
k, 0, -1, -5
Let t = -16 + 20. Let x be 1*(t/(-10) - (-138)/(-30)). Sort 6/7, x, 4 in increasing order.
x, 6/7, 4
Let t(g) = g**2 + 9*g - 14. Let q be t(-11). Suppose -2*o - 2*o = -q. Suppose -4*n + o*y - 22 = 3*y, -5*y = 5*n + 35. Put n, 4, 0 in increasing order.
n, 0, 4
Let o(h) = h**3 - 9*h**2 + 6*h + 6. Let m be o(8). Let p = 19 + m. Suppose -9 = -2*k + 3*l, -5*k - 2*l + p = -4. Sort k, 4, -5 in ascending order.
-5, k, 4
Let z(u) = -7*u + 215. Let i be z(31). Put 27, 2, -0.3, i in descending order.
27, 2, -0.3, i
Let f be (-1)/((6/(-3))/(16/8)). Sort -5, f, -3, 5 in increasing order.
-5, -3, f, 5
Suppose 3*v + 6 = 0, 4*u + 1 - 55 = -v. Suppose -p + 1