der.
2, r, -3
Let v(g) = 44*g + 6 - 4 - g**2 - 26*g - 23*g. Let t be v(-5). Let q(b) = -b + 1. Let u be q(6). Put u, 17, t in descending order.
17, t, u
Suppose 0 = -4*c + u - 0*u - 6, 4*c = -2*u. Put -4, c, 4, 0 in decreasing order.
4, 0, c, -4
Let q be (9/12)/((-12)/20). Let j be 208/(-1404)*-3*2/4. Put q, -2, j, 2 in increasing order.
-2, q, j, 2
Let m = 42 + -41.98. Let f = 0.02 - m. Put f, -5, 2/5 in increasing order.
-5, f, 2/5
Let a = -220 + 224. Put 1, -4, -33, a in ascending order.
-33, -4, 1, a
Let y = 132417884/1113 - 1784612/15. Let u = y + 2/265. Sort -2/17, -0.3, -1, u.
-1, -0.3, u, -2/17
Suppose f = 3*j - 40 + 13, 2*f + 9 = j. Suppose 2*u - j = -1. Sort 1, u, -6, -4 in decreasing order.
u, 1, -4, -6
Suppose -288 + 312 = 8*c. Sort 1, c, -70 in increasing order.
-70, 1, c
Let k = -4.47 + 4.3. Let p = -0.33 + k. Put p, -7/2, -2 in increasing order.
-7/2, -2, p
Let c be 3*(4 - 2 - 1). Suppose f = -c*f + 16. Suppose -5*r - 5 = 5. Put 3, f, r in decreasing order.
f, 3, r
Let v(g) = -8*g**3 - g**2 - 5*g - 2. Let t be v(-2). Let y be 2/3*(t/(-8) + 7). Put 6, y, 3 in increasing order.
y, 3, 6
Suppose -2*u + 6*u = 12. Let m be (-10)/4*28/(-35). Let v be 2/10 - (-6)/(-30). Sort u, m, v.
v, m, u
Let t = -420 + 418. Let b = -38 - -33. Put t, b, -3 in descending order.
t, -3, b
Let s = 22 - 27. Let j = s - 2. Sort -5, j, -2, 2/5 in ascending order.
j, -5, -2, 2/5
Let d = 311 - 315.26. Let j = d - -0.26. Let s = 0.5 - 0.3. Sort 3/5, j, s in ascending order.
j, s, 3/5
Let a = 1024 - 1021. Suppose -5*i + 2*v = -0*v - 23, -2*v + 12 = 2*i. Put i, a, 3/2 in increasing order.
3/2, a, i
Let m be (0 - 0) + (-880)/4. Let s = -2418/11 - m. Put -1/7, 2/13, s in increasing order.
-1/7, 2/13, s
Let a = 5.5305 + -0.2205. Sort 0.3, a, -3 in increasing order.
-3, 0.3, a
Let m = -58.5 + 58. Let p = 246 - 746/3. Put 1/2, m, p, 5 in descending order.
5, 1/2, m, p
Let r = -0.032 - -20.032. Let c = 18 - r. Let s = 5.5 + -0.5. Sort 0.3, s, c in descending order.
s, 0.3, c
Let y be (-12)/90 - (-6)/45. Sort -0.12, 0.4, 4/7, y in increasing order.
-0.12, y, 0.4, 4/7
Let i be 68/272 - (-5)/(-4). Put 2, i, -4, -38 in increasing order.
-38, -4, i, 2
Let h = 4.7 + -5. Let d = -31.01 - -0.01. Let i = d + 39. Sort 2, h, i in decreasing order.
i, 2, h
Suppose -4*o - 17 = 3. Let p(k) = 17*k + 81. Let u be p(-5). Put o, 10, u in ascending order.
o, u, 10
Let o be ((-1)/(-2))/(-4 + 36/8). Sort -2/7, 2/7, o, -1 in descending order.
o, 2/7, -2/7, -1
Suppose 37 = 4*q - 2*g - 13, 4*q - 46 = -2*g. Suppose 0 = 4*c - 0*o - 3*o + 9, 0 = 5*c - 4*o + q. Sort -0.3, c, -1/12 in increasing order.
-0.3, -1/12, c
Let n = 2951 + -2938. Sort n, 6, -0.5 in increasing order.
-0.5, 6, n
Let a be 3/(-18) - 150/(-36). Suppose -o = 2*x - 7, 3*o - 17 = -3*x - x. Sort a, x, -4 in decreasing order.
a, x, -4
Let d = -0.5 - -2.5. Let o(m) = m**3 - 16*m**2 + 38*m - 342. Let c be o(15). Sort -0.1, d, 3/2, c in decreasing order.
c, d, 3/2, -0.1
Suppose -250*y = -247*y - 3. Put -5, y, -3, 3 in increasing order.
-5, -3, y, 3
Suppose 0*b + 5*o = -4*b - 15, -2*b + o = 11. Put 118, b, 0 in ascending order.
b, 0, 118
Suppose 5*z - 3*m + 31 - 5 = 0, 4*z + 19 = 3*m. Sort -3, 2, z, -4 in decreasing order.
2, -3, -4, z
Let t = 4.1 + -2.1. Let l = -8 - -3. Sort t, l, 0.1, -2/11 in decreasing order.
t, 0.1, -2/11, l
Let p = -963 - -963. Sort -95, p, -5, 2.
-95, -5, p, 2
Let q = -0.2 + -0.8. Let m = -44 + 44.19. Let u = m - 0.09. Put q, 1, u in increasing order.
q, u, 1
Let g be ((-20)/(-3))/4*(-99)/(-55). Suppose -i = 3*o - 7, -5*i + 24 = -0*o + 4*o. Sort i, g, -5 in descending order.
i, g, -5
Let i = 26/11 - 141/55. Let m = -98 - -3. Let k = -97 - m. Sort 5, k, i in descending order.
5, i, k
Let n = -0.233 + 0.133. Suppose 3*i = -13 + 22. Suppose 0 = -g - a - 4, 0*g + 3*g = 4*a - 19. Put g, n, i in decreasing order.
i, n, g
Suppose -10*l + 4 = 74. Sort l, 84, 1 in decreasing order.
84, 1, l
Let u be (-4)/2 - (-3 + (-37)/(-35)). Let i = u + 51/280. Put 0.1, 4, 2, i in descending order.
4, 2, i, 0.1
Let w = -259 - -258.8. Let q = -5 - -8. Put 1, q, w, -4/7 in descending order.
q, 1, w, -4/7
Let q = 412 - 411. Put 2, 13, q, -1 in increasing order.
-1, q, 2, 13
Suppose -2*b = -2 + 112. Let d be (34/(-10) + 3)/(1/b). Put d, -3, 1 in decreasing order.
d, 1, -3
Let y = 286 - 277. Sort -3, -5, y in ascending order.
-5, -3, y
Let b = -183 - -96. Let h = b - -92. Sort h, -2, 3, -5 in descending order.
h, 3, -2, -5
Suppose -2*r - 2 = -7*g + 4*g, -2*g - 2 = 2*r. Suppose 3*l = 2*q - 0*l - 12, 5*q - 5*l - 25 = 0. Sort 2, q, r, -3 in decreasing order.
q, 2, r, -3
Let n(x) = -4*x - 12. Let u be n(-3). Put 1, -8, u in descending order.
1, u, -8
Let x be (-2*1)/(48/(-456)). Sort 2/7, -0.2, 2/11, x in descending order.
x, 2/7, 2/11, -0.2
Let h be (-84)/(-18) + 6/(-9). Let t = 0.33 - 0.03. Let b = -3 - -3.2. Sort b, h, t.
b, t, h
Let h = -43 - -46. Suppose -h*m + 5 + 109 = -5*y, m = 3*y + 66. Put 0, -3, y in increasing order.
y, -3, 0
Let t = -0.288 + 0.338. Put t, -1/3, -11 in descending order.
t, -1/3, -11
Let i be -2 + (3 - (-1)/1). Let u(f) = -14*f**3 - 2*f**2 + f + 1. Let d be u(1). Sort 4, d, i in increasing order.
d, i, 4
Suppose 3*r - 6*r + 40 = -5*y, 5*r = -y + 20. Let s be 4/(-14) + (-23)/(-7). Sort 4, y, s in decreasing order.
4, s, y
Let g = -6.37 - -7.87. Put 0.3, 0, g, 1 in ascending order.
0, 0.3, 1, g
Let f = 25 + -20. Let i = 13 + -12.5. Put i, 10, f in descending order.
10, f, i
Let h = 0.237 + -0.476. Let t = h - -0.139. Put t, -0.3, 1/4, -8 in increasing order.
-8, -0.3, t, 1/4
Let v = 3 - -1. Suppose 0*u + 5*u + 4*k = 0, 0 = 5*u + 5*k. Suppose 3*z + 6 = 2*f + f, z + 4*f + 17 = u. Sort v, -3, z.
z, -3, v
Suppose -5*c = 2*l - 20, -6*l - c = -4*l - 12. Let m be -2*(2 - 3)/(-1). Let z = -2 + m. Sort l, 0, z in increasing order.
z, 0, l
Let a = 2 - 7. Let q(x) = 3*x + 52. Let t be q(-20). Let n = -9 - t. Sort n, 4, a in ascending order.
a, n, 4
Let s be (9/(-9))/(-3)*3. Sort -1/8, 3, s.
-1/8, s, 3
Let n = -0.1975 - 1.8025. Put n, 0.1, 6, 5 in increasing order.
n, 0.1, 5, 6
Let j = -75 - -105. Suppose -14*g + j = -19*g. Put 1, g, -4 in descending order.
1, -4, g
Let c = -29 - -28.965. Let j = c - 0.075. Sort -2, j, -2/13.
-2, -2/13, j
Let t(c) = -c**2 - 12*c - 35. Let l be t(-8). Let y(s) = s. Let u be y(-4). Put u, l, 4 in decreasing order.
4, l, u
Let y = -81 + 84. Let v = 14.3 - 14. Sort v, 2, y, -0.4 in decreasing order.
y, 2, v, -0.4
Let i = -8 + 13. Suppose 4*c + 20 = -4*x, -3*c + i*x = 2*c + 15. Let b = -16 - -17. Put 4, b, c in descending order.
4, b, c
Let w = -0.5 + 0.6. Let j = 32 - 30.6. Let h = -0.3 + j. Sort w, h, 2 in ascending order.
w, h, 2
Let o be (-2)/(-5) + 26/10. Suppose -2 = 5*k - 3*c, -o*k - 5*c = -23 - 3. Suppose 12 = k*i - 4*i - 4*t, -3*t = -5*i + 35. Put -2, i, 5 in descending order.
5, i, -2
Suppose 5*r + 480 = 2*t, -4*r - 5*t - 81 - 336 = 0. Put 0, -1, r in decreasing order.
0, -1, r
Let w = -0.114 + 1.114. Sort w, -1/2, -11 in decreasing order.
w, -1/2, -11
Suppose -18 = q + 5*a, -10*a - 107 = -67. Let x(t) = t**2 - t + 3. Let o be x(0). Sort -1, q, o in descending order.
o, q, -1
Let n = -3.34 - -0.34. Sort n, -5, 0.
-5, n, 0
Let f = 901.6 + -902. Sort 2/5, 8, -3, f in descending order.
8, 2/5, f, -3
Let x = -33 + 32.58. Let c = 0.41 - 0.49. Let s = x + c. Put -0.4, s, 0.2 in descending order.
0.2, -0.4, s
Let a be 24/5*115/46. Let u be (1 + a/(-8))*(-1 - 1). Put 0.2, -4, -6, u in descending order.
u, 0.2, -4, -6
Let s = -15.3 + 16. Let q = 0.3 + s. Let w = 0.53 - 0.73. Sort w, q, 0.4.
w, 0.4, q
Suppose 802*n = 787*n + 30. Suppose 5*t = -21 + 1. Let k be ((-1)/(-3))/(7/105). Put n, t, k in decreasing order.
k, n, t
Suppose -3*f = d - 9, f = 4*d + 2*f - 3. Let y = -4.803 + 5.203. Put d, -2, y in increasing order.
-2, d, y
Let k(p) = -p**2 + 3*p + 6. Let f be k(5). Let r be f + 0 + (-52)/(-14). Put -4, r, -3 in decreasing order.
r, -3, -4
Suppose q = -4*c + 17, 21*q - 6 = 18*q - 3*c. Put 0.7, q, 1/11, -0.13 in ascending order.
q, -0.13, 1/11, 0.7
Let w = 29 + -16. Suppose 3*p = -2*n - 27, -n + 3*n + w = -p. Let h be 1/p + 29/7. Sort h, 1, -1 in decreasing order.
h, 1, -1
Let p(y) = -4*y + 31. Let u be p(7). Suppose -2*j - 9 = -7. Sort 4, u, j.
j, u, 4
Let x(v) be the third derivative of 0 +