6). Let r be ((-7)/(-3))/((-90)/m). Is r at least 1?
False
Let r be 3*14/(-57) + 1. Let s = r - 73/133. Let o(a) = 357*a - 1427. Let p be o(4). Is p < s?
False
Let l(w) = 11*w**3 + 55*w**2 - 4*w - 21. Let f be l(-5). Which is greater: 5/3634 or f?
5/3634
Let f(l) = -l**3 + 8*l**2 + 4. Let t be f(8). Suppose -2*s + 5*h + 713 = 0, 3*h + h + 1456 = t*s. Suppose 3*n + s = 12*n. Which is smaller: n or -2/3?
-2/3
Suppose 5*c + 29 = 3*s, 3*s = -c - 0*s - 13. Let a = -2.45 + -254.55. Let j = a + 256.8. Is c greater than j?
False
Let c(n) = -7*n - 178. Let v be c(-13). Is -15 bigger than v?
True
Suppose 393*l = 388*l + 30. Suppose 19*r = l*r. Which is greater: r or -1/6?
r
Let l = -1/3083 - 1063631/12332. Let q = l - -86. Which is bigger: q or 5/3?
5/3
Let a be (-51)/15 + (-809792)/(-80). Which is bigger: a or 10117?
a
Suppose 4*v - 252 = -3*x, -5*v + x + 3*x = -284. Suppose -2*c + 7 = s, 23*s = -3*c + 20*s + 3. Suppose -v = c*u - 276. Which is bigger: u or 69/2?
u
Let f be 2/(-16) + (-198)/(-176). Is -2/1557 less than f?
True
Let a = -23 - -24.3. Let u = -1.9 + a. Let x = -0.184 + 0.284. Is u greater than x?
False
Let r = 579/7150 + -3/143. Let d be 0 - (-28)/49 - (-24)/(-42). Is r > d?
True
Let v = -65.219 - -60.219. Let o be (18/64)/((-3)/(-4)). Which is smaller: o or v?
v
Let y = -206432 + 206408. Suppose -40 = p - 2*v - 3*v, 2*v = 6. Do p and y have different values?
True
Let s be (4/6)/((-432)/648). Which is bigger: -15.12 or s?
s
Let d be 9 - -4 - 4864/384. Is d at most -1361?
False
Let x = -0.3 - -2.3. Suppose -497 + 245 = -126*n. Is n at most x?
True
Suppose -79*v = -59*v + 1240. Which is bigger: v or -666/11?
-666/11
Let s = -19779/226 - -175/2. Suppose 3*x - 141 + 147 = 0. Let c(r) = -r**3 + 4*r - 1. Let l be c(x). Which is greater: l or s?
s
Let m(d) = d**2 - 20*d - 22. Suppose -h = -14 + 11. Let c be (6 - 0 - h)*1*7. Let n be m(c). Is n equal to 1/7?
False
Let f be -3*(2 + (-280)/119 + 3). Which is bigger: -9 or f?
f
Let y = 12694 + -13617. Is -918 greater than or equal to y?
True
Let c be 46*(-1)/(-8) + (-8)/(-32). Suppose -357 + 345 = -c*d. Which is smaller: d or 23/15?
23/15
Suppose 19*g - 239 = 27. Let x be 42/7*(-35)/g. Which is greater: x or -63/4?
x
Let y = -1222.9 - -1223. Which is greater: -41/11 or y?
y
Let s(t) = t**3 + 5*t**2 - 45*t - 201. Let v be s(-6). Let b(n) = -n**3 - 3*n**2 + 3*n - 3. Let j be b(-5). Are v and j non-equal?
True
Let o = -5316/17 - -12713/68. Let d = 126 + o. Is -43/10 less than d?
True
Let o = 4142575/58 - 71422. Let b = 6/29 - o. Is b at most -2/13?
True
Let g = 1.94 - 19.24. Let c = -16.8 - g. Which is greater: 10 or c?
10
Let f(x) = -x**2 - 96*x - 1860. Let y be f(-45). Which is smaller: 421 or y?
421
Let s(f) = f**3 + 7*f**2 + 10*f + 9. Suppose 0*j = -4*j - 24. Let v be s(j). Suppose -7*n - 134 = 5*k, -5*k - 32 = 19*n - 18*n. Is n at least v?
False
Let z = -0.084 - 1.556. Let b = -0.8 - z. Let j = b - -0.16. Which is smaller: -45 or j?
-45
Let k be 588/19 + 26/494. Which is smaller: 4 or k?
4
Let z(p) = p**2 - 5*p + 3. Let q be z(3). Let n be (-6*(-18)/60)/(1/q). Are -4 and n unequal?
True
Let q(u) = u**2 - 8*u. Let d be q(8). Suppose -5*z = -2*k - 6 - 1, d = 2*z + 2. Is k < -10?
False
Suppose 19*c - 1842 = 1122. Suppose -3*u = -c + 141. Which is greater: 4 or u?
u
Let f = 51747/4 - 380288699/29396. Which is bigger: -1 or f?
f
Suppose 12*q - 8 = -4*z + 14*q, -5*q = -5*z. Let l be ((64/132)/z)/((-4)/(-216)). Which is smaller: l or 8?
l
Let c = 0 + 1. Let k(j) = -j. Let d(n) = 12*n - 21. Let v(q) = c*d(q) + 5*k(q). Let l be v(5). Which is smaller: 43/3 or l?
l
Let b(v) = 921*v - 38. Let a be b(4). Let j be a/(-4545) + (-92)/(-115). Which is smaller: j or 1?
j
Let g(y) = 7*y - 25. Let u be g(4). Suppose -3*v = -3*w + u, -1 = 3*v - 4*w - 0*w. Which is greater: -40/21 or v?
-40/21
Let s = -221 + 240. Does s = 163/9?
False
Let y(l) = l**3 - l - 5*l**3 - 54*l**2 + 6 + 61*l**2 + 3*l**3. Let g be y(7). Let u be 42*(-1)/g*(-42)/336. Are 2 and u equal?
False
Let k = 3584 - 1834993/512. Which is greater: 1 or k?
1
Let k be 7/((-308)/(-12))*139. Which is greater: 37 or k?
k
Let r(b) = -b**2 + 22*b - 81. Let m be r(5). Suppose 28 = -m*w + 4*t, -1 = t - 2*t. Which is smaller: w or 0?
w
Suppose 1862 - 6854 = -39*m. Which is smaller: 127 or m?
127
Let a be (20 - 92)/(-36) + 142/(-62). Which is greater: 1/6 or a?
1/6
Let y = -24 - -27. Let i = 46 - 45. Suppose 5*b - 7 - i = -2*d, -3*d - y*b + 3 = 0. Which is bigger: 1/119 or d?
1/119
Let n = 18007 + -18008. Is -75/124 < n?
False
Suppose 6 = -2*o - 2*q, 12*o + 2*q = 7*o - 3. Let r be -3 + 66/224*10. Which is bigger: r or o?
o
Let x be (338371/931)/(-11) + 12/294. Let p be 4/(-6) + (-210)/9. Is p >= x?
True
Let i be (1053/(-63) - -17)/(87896/(-14)). Is i < 0?
True
Let t = 224 + -215. Let r be (9/(-4))/(t/(-264)). Is r smaller than 67?
True
Let z = -33 + 9. Let s be 1 - (3 - (-2)/z). Let h = 5/4 + s. Do h and 1/3 have the same value?
False
Let t be (-74)/(0 + 1) + ((-15)/(-3) - 12). Which is bigger: -44 or t?
-44
Suppose 2*i + m = -2*m - 13, 0 = 3*i - 5*m - 9. Let n be (i + -3)*(-6 + (-469)/(-77)). Is 0 <= n?
False
Let z = 138280690/1770159 + -2/104127. Is 77 < z?
True
Suppose -r + 6549 = 2*a, 2*a - 6*r = -4*r + 6552. Let k be (6 + a/(-545))*3. Are k and 0 non-equal?
True
Suppose 0 = 3*w - 5*z + 109, -w - 63 = -0*w + 5*z. Let j = w - -43. Let o = j - 2. Are o and 0 nonequal?
True
Let g = -18.1 - -1.3. Let u = g - -17. Let d = -563.2 - -563. Which is smaller: u or d?
d
Let s = -11746/11 + 1074. Suppose 2*a = -4*j - 13 + 35, -4*j = -3*a + 13. Is s < a?
True
Let r(f) = 5*f - 6. Let x be r(2). Let b be (-108)/(-704)*26 - x. Is b < 0?
True
Let q = 29618 + -12412. Which is bigger: q or -1?
q
Let f(d) = -d**2 + 73*d + 13. Let x be f(6). Let h(y) = 415*y**2 - 1. Let z be h(1). Which is bigger: x or z?
x
Let w = 0.352 + 101.268. Let n = -101 + w. Let o = 1.02 - n. Is -1.1 > o?
False
Let i(a) = 130*a - 541. Let u be i(5). Is 107 at most u?
True
Suppose -35*d = -u - 37*d - 97, 0 = -3*u - 3*d - 279. Let i be (-9 + 2)/7*u. Is i > 89?
False
Suppose i - 2 = 0, 2*i - i = 2*l - 6. Let x be (l - 1) + (-12 - (-36)/6). Which is greater: x or -9?
x
Suppose 0 = 11*g + 14123 - 13265. Which is bigger: 3 or g?
3
Let k = -1/330 + -161/19470. Let n(h) be the third derivative of -h**4/24 - 2*h**3/3 - 2*h**2. Let b be n(-4). Which is smaller: k or b?
k
Suppose 147*r - 956 - 16 = -15*r. Let c(w) = 0 - 2*w + w**3 - 3*w**2 + 2 + 2*w**2. Let t be c(2). Does t = r?
False
Let h(c) = 3*c**3 + 3*c**2 - 2*c + 2. Let v be h(1). Suppose 3 = -j + v. Is -0.12 < j?
True
Suppose -10*c = 2*k - 17*c + 28, 0 = 2*k - 2*c + 8. Do -10040 and k have the same value?
False
Let s = 38474 - 38497. Let o = -75 - -149. Suppose -v + o = -3*n, 0 = -n - 2*v - v - 18. Which is smaller: s or n?
n
Let l = -56 - -94. Let o = -57 + l. Let h = o + 19.6. Are 0.2 and h nonequal?
True
Suppose -3*c + 5*b + 1 = 0, 4*c - 6 = 4*b + 6. Let t = 53 + -49. Let d be (-7 - 74/(-5)) + (-8)/t. Are d and c equal?
False
Let r(z) = 5*z - 97. Let d be r(21). Suppose 2*h = -2*q + 6*q - d, 5*q + 81 = -4*h. Let l(m) = -7*m. Let u be l(2). Is u greater than h?
False
Let l be ((-14)/(-8))/((-438)/(-2920)). Is l bigger than 0.1?
True
Let b = -0.104 - -0.354. Let j = b + 0.75. Let f = 24 - 13. Which is greater: f or j?
f
Let q = 10045 + -9817. Which is smaller: 215 or q?
215
Suppose 4*o + 5*f - 2*f = -697, -2*f = -10. Let b be -3*(-2*8/4)/1. Let l be (o/b - 3) + 5/15. Is l less than -18?
False
Let f be 867/(-126) - (-3)/18. Let l be -1 - -8*21/(-24)*1. Which is greater: f or l?
f
Let u be 1344/(-70)*5*(-80)/3. Are u and 2560 nonequal?
False
Let b(f) = -f**3 + 2*f**2 + 22*f + 22. Let s be b(-4). Is s at least as big as 1/7?
True
Let k = -0.14 - -0.05. Let y be 5/18*1/10. Do y and k have different values?
True
Let p be 1 + -3 + (-96)/(-51). Suppose -5*d = -0*d + 5*b - 355, -4*d - 2*b = -282. Let i = -69 + d. Which is greater: i or p?
i
Let g be (3/(-15) + 6/5)*133. Suppose 0 = 4*p + 4*q - 28, -3*p + 5*p + 3*q = 16. Suppose p*z = 5*v - 179 - 26, 0 = -3*z + 5*v - g. Which is smaller: z or -37?
-37
Let a = -0.12792 + -0.07208. Which is smaller: a or 1779?
a
Let z = 78 + 9. Suppose 18*m = -11*m + z. Are m and -8 equal?
False
Let k(j) = -j**2 - 52*j - 474. Let r b