 - 3. Let z = -376/5 + 75. Let r = -168 + 167.6. Put y, r, z in decreasing order.
z, r, y
Suppose 0*r = 3*r + 66. Sort -1, r, -5, 1.
r, -5, -1, 1
Let m(h) = h + 10. Let x be m(-7). Suppose -59 = 5*y + 2*a + 75, 4*y = -4*a - 100. Let f be (-2)/(-18) + y/36. Sort 0.5, x, f in descending order.
x, 0.5, f
Suppose -y - z = 4*z - 10, -1 = -z. Put 0, 3, 13, y in increasing order.
0, 3, y, 13
Suppose 3*i + t = -2*t, 5*t + 4 = -4*i. Suppose 5*x - 2*b - 22 = 0, i*x - x - 16 = 4*b. Put -2/31, -1, x in ascending order.
-1, -2/31, x
Let y be (-4)/(-6) - 24/63. Suppose c - 4*f + 25 = 3, -3*f + 17 = -c. Sort 0.5, c, y.
c, y, 0.5
Suppose -4*x = 5*j + 12, -5*x - 15 = -0*x + j. Let k(l) = -l**2 - l + 11. Let o be 4/(-3 + 7 - 3). Let g be k(o). Put x, -5, g in increasing order.
g, -5, x
Let l = 904 - 906. Let g = 0.2 + -0.1. Sort 2/7, l, 1, g.
l, g, 2/7, 1
Let w(q) = 2*q**2 + 14*q - 36. Let k be w(-9). Sort k, -28, -1, 4 in decreasing order.
4, k, -1, -28
Let x = -2483 - -2483.4. Sort 0.3, x, -3, -28 in increasing order.
-28, -3, 0.3, x
Let c = 0.706 - 0.466. Put -2, 1/4, c in descending order.
1/4, c, -2
Let d = 235 + -239. Put d, -3, 1/2 in descending order.
1/2, -3, d
Let o(w) = w**2 - 12*w + 14. Let a be o(11). Let s = 5.3 + -9.9. Let l = s + 5. Sort 1, l, a.
l, 1, a
Let r be 1*(-2 + (0 - 0)). Let h be 5 + (-3 - -3) - 3*28/21. Sort 15, r, h in descending order.
15, h, r
Let q = -162 + 166. Put -3/4, q, -7/5, -0.4 in decreasing order.
q, -0.4, -3/4, -7/5
Let j(s) = -s - 4. Let k be j(-3). Suppose 4*z = -12, 0*y + 10 = y - 2*z. Put k, y, 1, -3 in decreasing order.
y, 1, k, -3
Let n = -2.0401 + 0.0401. Put -1/5, n, 3, 0 in decreasing order.
3, 0, -1/5, n
Let o = 4.25 - -0.35. Let p = o - 5. Suppose 0 = 6629*w - 6632*w + 15. Sort w, -0.2, p in descending order.
w, -0.2, p
Let r = -168 + 163. Put 4, -1, r in ascending order.
r, -1, 4
Let p = 0.741 - -0.259. Sort p, 0, 4.
0, p, 4
Let w be (3/1 - 50/30)*3. Let g = -4 + 6. Let i be 20/(-8) - g/4. Sort i, w, 0 in decreasing order.
w, 0, i
Let s = -1.6 + 1. Let l = s - -0.1. Let z = 176 - 175. Sort l, -6, z in decreasing order.
z, l, -6
Let t = 56.1 - 58. Let g = t - -2.1. Put g, 2, -0.2 in ascending order.
-0.2, g, 2
Suppose 34 = 3*y + 10. Suppose -3*u = -5*u + y. Sort 5, -5, u.
-5, u, 5
Let a = -248 - -246. Put 1, a, -1 in decreasing order.
1, -1, a
Let m(y) be the first derivative of -5*y**2/2 - 2*y + 1. Let h be m(-1). Suppose -h*v + 4 + 5 = 0. Put -5, 1, v in descending order.
v, 1, -5
Let h(n) = 3*n**2 + 2*n + 2. Let z be h(-1). Suppose 4*p - 18 = -2*v, -3*v = -z*p - 0*p. Sort -10, p, 4.
-10, p, 4
Let u(h) = -h**3 + 5*h**2 + h - 9. Let q = -12 - -17. Let n be u(q). Put 4, n, 3, 1 in decreasing order.
4, 3, 1, n
Let g = 30.4 - 30.9. Put -1, g, -9, -1/8 in increasing order.
-9, -1, g, -1/8
Suppose 20*d - 141 = 67*d. Put 727/4, d, 0.4 in decreasing order.
727/4, 0.4, d
Let h = -1/168 - 325/1848. Sort 2, h, -0.4 in increasing order.
-0.4, h, 2
Let q be (-2)/2 + 11 - 3. Suppose -a - 2 = -3*u, q*u + 6 = 4*u - 3*a. Let j(z) = -z**3 - z**2 - z - 5. Let c be j(u). Sort -1, -4, c in increasing order.
c, -4, -1
Let s = 659 + -649. Sort s, -4, 3, 1 in descending order.
s, 3, 1, -4
Let g(k) = -k**2 - 11*k + 11. Let o be g(-11). Let i = 7 - o. Sort -1/3, i, -0.06, 0.1 in decreasing order.
0.1, -0.06, -1/3, i
Suppose 0 = 4*v - 3*m, -5*v + 9*v + 3*m = 0. Sort -12, v, -10.
-12, -10, v
Let o = 981 + -979. Sort o, -9.1, 5.
-9.1, o, 5
Suppose i - 7 = 2*i. Let f(c) = -31*c + 250. Let x be f(8). Put x, -5, i, 0 in ascending order.
i, -5, 0, x
Suppose 0*g = -2*g. Suppose 3*p - 1 = 2*f - g, 0 = 5*f + 2*p + 12. Let u(x) = -5*x**3 + 29*x**2 - 21*x + 167. Let j be u(6). Sort j, f, -3.
-3, f, j
Suppose 0 = -q - 4 + 6. Suppose 2*x + 2 + q = 0. Put x, -4, 3/11 in descending order.
3/11, x, -4
Let r = -3 + -1. Suppose -245*p = -249*p + 468. Let z = p - 116. Put z, 2, r in ascending order.
r, z, 2
Let m = 59 - 52. Suppose g + 3*l = -8, -2*l - 1 = m. Put 0, 5, g in descending order.
5, g, 0
Let k = 9.19 + 0.11. Let p = -9 + k. Put -5, p, -0.06 in descending order.
p, -0.06, -5
Let w = 35 - 46. Let g = w + 13. Let s be (-2)/(-6) - (-2)/(-6). Sort s, g, 3 in decreasing order.
3, g, s
Suppose -3*j + 216 - 2103 = 0. Let o be (-4 - 15/(-5)) + j. Let c be 2/5 + 112/o. Put -1/6, -0.3, c in increasing order.
-0.3, -1/6, c
Let q(g) = -2*g**2 + 4*g - 4. Let i = 3 - 1. Let d be q(i). Put 2, -5, d in decreasing order.
2, d, -5
Suppose 4*l + 5*z = 2*l + 25, 2*l + 5 = 5*z. Let k be 5/(-2) - (-12)/8. Put 2, k, l in increasing order.
k, 2, l
Let m = -156.5 + 157. Sort m, -4, 3, 1.
-4, m, 1, 3
Let k = -229 + 226. Sort 4/7, 0.3, k, 0.2 in decreasing order.
4/7, 0.3, 0.2, k
Let c = 19 + 9. Let n = c - 32. Sort -3, 2/13, n.
n, -3, 2/13
Let y = 43 - 43.5. Let v be (2 + (-14)/6)*-1. Put -4, y, v, 0.08 in decreasing order.
v, 0.08, y, -4
Let i = 8.8 - 8.1. Let s = -1.88 + -0.12. Sort i, -0.2, s.
s, -0.2, i
Let j be 4 + 8 - (-1 - 2). Suppose -m - 18 = 5*w, -m - j = 3*m + w. Sort 2, m, -4 in descending order.
2, m, -4
Let w = 5 - -45. Let b be (8/w)/(24/60)*5. Sort -2, b, 1, -1.
-2, -1, 1, b
Let i = 191 + -95. Let j be (-12)/(-8)*(i/(-9))/(-4). Put 0.5, -0.1, 0, j in increasing order.
-0.1, 0, 0.5, j
Let k(y) = 5*y + 2. Let u be k(-3). Let q = u + 21. Let t = q - 8. Put 3, t, 4 in descending order.
4, 3, t
Suppose -8*a = -7*a - 14. Let c be ((-4)/a + 0)*(7 + 0). Let j = 2 + -2. Sort j, c, -1.
c, -1, j
Let k = 150 + -146. Sort -11, k, 2/3 in decreasing order.
k, 2/3, -11
Let j = 2 + -5. Let q = j + 1. Let g = 30.16 + -30.36. Sort g, -4, q.
-4, q, g
Suppose 0 = 3*b - 2*x + 1, 0 = -0*x - 2*x + 4. Let h be (-11)/9 + 0 - (b + -2). Sort h, 2/25, 0.3 in increasing order.
h, 2/25, 0.3
Let q = 39 - 61. Put -3, 5, 3, q in descending order.
5, 3, -3, q
Let n = -2.21 - -5.43. Let t = -0.22 + n. Put -4/5, t, 2 in ascending order.
-4/5, 2, t
Let h = 0.03 - 0.43. Sort h, -3, 0.2, 12.
-3, h, 0.2, 12
Let d = -31/3 - -208/21. Put d, -0.1, 98 in descending order.
98, -0.1, d
Let a be 73/(-9) + ((-484)/198)/(-22). Put 5, -26, a in decreasing order.
5, a, -26
Suppose 22*m - 39 + 171 = 0. Put 1, m, 20 in increasing order.
m, 1, 20
Let a = 89 - -19. Suppose -10*v - a = -14*v. Suppose v*u - 23*u = 8. Put -3, 3, u in increasing order.
-3, u, 3
Suppose -4 = -3*c + 11, -1 = -3*r + c. Suppose -4 - 17 = f. Let s = -13 - f. Put s, r, 0 in increasing order.
0, r, s
Suppose -3*p = -8*b + 5*b + 441, -2*b + 2 = 0. Let c be 2/7 - p/(-7224). Let i = c + -2/129. Put 2, -0.6, i in ascending order.
-0.6, i, 2
Let z(o) be the third derivative of o**4/12 - 7*o**3/6 + 3*o**2. Suppose -2*p - 4*n + 10 = 0, 5*p = 3*p + 5*n + 1. Let f be z(p). Sort f, 3, 8.
f, 3, 8
Let t be (-66)/(-17) + 22/187. Sort 1, -4, 19, t.
-4, 1, t, 19
Let q(o) = -7*o + 276. Let f be q(40). Suppose -3*s = 2*s. Put 5, s, f, 6 in increasing order.
f, s, 5, 6
Suppose 6*p - 9 = 5*p. Suppose -2*f + 3*s = -0*s + 1, 4*f - p = -5*s. Sort f, 4, -5 in increasing order.
-5, f, 4
Suppose t = 2*t - 3. Suppose 5*k + 2*m - 3 = 31, k - 5*m = -31. Put k, 0, t, -5 in decreasing order.
k, t, 0, -5
Let t = 1271/5 + -255. Let l = t - -2/15. Sort 1/2, l, 9/4 in decreasing order.
9/4, 1/2, l
Let a(g) = -g**2 - 3*g + 2. Let b be a(-3). Suppose 45 = 9*o + 43 - 25. Suppose 2*d - 3*d = 10. Sort d, b, o in ascending order.
d, b, o
Suppose 0 = -5*n - 0*n. Suppose 32 = 10*p - 18*p. Suppose 3*u + 5*l = -18, 5*u - 4*l = -l + 4. Put n, p, u in descending order.
n, u, p
Suppose -5*x + 7 = d - 3, 3*d + 24 = 3*x. Sort x, -4, 71 in ascending order.
-4, x, 71
Let o = 0.0269 + -5.5269. Put -0.1, -0.3, o in descending order.
-0.1, -0.3, o
Let v = 1.25 + 1.75. Sort 1/9, v, 4, -2/127 in descending order.
4, v, 1/9, -2/127
Suppose z + 4*m = -3, 5*z + 2*m = -m + 19. Put 21, z, -5 in descending order.
21, z, -5
Let r = 27 + -24. Suppose -4*k - 3*y - 8 = -2*y, -k - 23 = -5*y. Let q = 12 - 2. Sort q, r, k in descending order.
q, r, k
Let c(q) = -3*q**3 + q**2 + 2*q + 1. Let p be c(-1). Let a(j) = 3*j - 102. Let h be a(34). Put 4, p, h, -6 in descending order.
4, p, h, -6
Let g(d) = -d**2 - 18*d - 1. Let v be g(0). Let j(b) = b**2 - 4. Let f be j(0). Sort -5, f, v in ascending order.
-5, f, v
Let u = -1098 - -2199/2. Let c be 4/10 + 23/5. Suppose -h + 15 = -3*x + c, -4*x + 2*h = 12