 or 139/9?
v
Let k = -130023 - -130029. Let y = 3858 + -26961/7. Is k < y?
True
Let y = 23501/66 - 3915/11. Which is smaller: 687 or y?
y
Let g(r) = -r**3 - 7*r**2 - 5*r + 11. Let a be g(-6). Suppose 5*n = -a*b - 295, -b - 3*b - 299 = 5*n. Let m = 188/3 + n. Which is greater: -0.8 or m?
m
Let k(q) = -376*q - 18. Let y be k(-2). Let g = y - 759. Is -29 at most g?
True
Let m(d) = d**3 - d**2 - 5*d - 1. Let c be m(2). Let h = 55 - 60. Do c and h have the same value?
False
Let o = -60 - -59. Let b be 5*(12/(-18) - (-836)/1290). Which is smaller: o or b?
o
Suppose -5*q + 3415 = -5*n, 64*n - 65*n + 3*q = 679. Is n at least as big as -691?
True
Let l be -10 + 19/((-304)/77072). Is 1 < l?
False
Let d be (144/30)/(-6)*(-15)/11694. Let r = d - 4204/298197. Which is smaller: r or 1?
r
Suppose 0 = -7*v + 2*v + 110. Let s = v - 19. Suppose -9 = -f - 3*m, -s*f - 6 = f - 2*m. Which is smaller: 1.6 or f?
f
Let z = 410128/13 - 31548. Suppose o + 3 = 2. Let q be o/(-4) - (-2)/(-8). Is q <= z?
True
Let w(u) = -3*u**2 + 4*u + 1. Let t be w(3). Suppose -a + 138 + 37 = 0. Let q = 162 - a. Is t greater than or equal to q?
False
Let i = -36062 - -2200454/61. Are 11 and i non-equal?
True
Let o(q) = -44*q - 77. Let a be o(-7). Let c = 222 - a. Which is greater: c or -3?
-3
Suppose 208*z = 96*z + 98*z + 4004. Suppose -h + 281 = 2*y, -2*h + 1130 = 2*h + 5*y. Is h less than z?
True
Let m = -1434666802/8515 - -168487. Let x = m + -19853/8012615. Is -1 at least as big as x?
False
Let z = 4 + -4. Let y be 2 + (4 - 4) + z/2. Suppose -y*v - 3*i = 5 - 8, -2*i + 35 = 5*v. Is -2/13 at most v?
True
Let o be 1328/(-8) - 3/1. Let d = o + 389. Let y = 9241/42 - d. Which is smaller: 0 or y?
0
Let r be 56/126 + 64/(-144). Which is smaller: -2/7433 or r?
-2/7433
Let g be (-17)/(-18) - (-1)/(-1). Let j = -7/90 + g. Let r = 2086.2 + -2086. Which is bigger: r or j?
r
Suppose 24*z = -7*z - 15841. Let g be 7 + z/245 - (-2 - -7). Which is greater: 0 or g?
0
Let k = 1573 - 1581. Are k and 60 non-equal?
True
Let t(x) = -2*x**2 - 101*x - 45. Let o be t(-50). Is 31/8 greater than o?
False
Let b(j) = -2*j - 3. Let r be b(-3). Let u be -3 + 7 + (-5 - (r - 3)). Which is bigger: u or 5/6?
5/6
Suppose 0 = -47*l - 168*l + 49*l - 73206. Suppose h - 183 = -624. Is h equal to l?
True
Let t(i) = -i + 5. Let d be t(4). Let o(y) = 2*y**3 - 1. Let f be o(d). Let c = -61377/291631 - 1/15349. Is c < f?
True
Let w = -11583 + 11584. Which is smaller: w or 1/104?
1/104
Suppose 4*c - 5*q - 15 = 0, 0 = -13*c + 15*c + 2*q + 6. Are 1/8361 and c unequal?
True
Suppose 0 = 5*n + 4*r + 58, -5*r - 40 = 308*n - 305*n. Suppose 0 = -3*w + 16 - 61. Is w > n?
False
Let f be 5*2/(-1*2). Let i(k) = -10908*k - 436327. Let s be i(-40). Which is greater: f or s?
f
Let q = -50 + -48. Let t be q/(-76)*2 + 41 + -44. Which is smaller: t or 1?
t
Let l be (-6 - ((12 - 7) + -4 - 4)) + -14. Is -351/19 equal to l?
False
Let r be ((-4)/5)/(-1)*(-80)/96. Let p = 61 + 64. Which is smaller: r or p?
r
Suppose 4*h = -8, -b - 267 = -h - 35. Is b greater than -1166/5?
False
Let p be (-32 + -58)*4/(-10). Suppose -4*r + 5*h = p + 3, -r - 18 = -4*h. Is r <= 10?
True
Suppose 7*d + 946 = 27*d - 1494. Which is bigger: d or 98?
d
Suppose 0 = 2*o - 0*o - 16. Let k be (-35)/(-14)*o/(-1090). Let j be 0/(-22 + 0)*(-2)/4. Does j = k?
False
Let r = -315 + 2352. Do 2037 and r have different values?
False
Suppose 0 = 19*p - 27*p - 8. Let i = -2/119 + 215/19873. Which is smaller: p or i?
p
Let z(r) = -9*r**2 - r + 2. Let f be z(-1). Let c be (-2)/f*(-62)/279. Is 1 at least c?
True
Let d = -12469 - -12372. Is 1/5 greater than or equal to d?
True
Let w = -705.2 + 705.4. Is 457 at least as big as w?
True
Let t = -127 - -160. Let b = -32.82 + t. Is -0.3 bigger than b?
False
Suppose 7*b - 24 - 1152 = 0. Suppose 19 = -2*i + 5*t, -i + 20 = 4*i + t. Suppose i*g = -9*g - b. Are g and -43/3 nonequal?
True
Let z be (6/3)/1 - -246. Let s be (z/24)/(1/9). Let f = 103 - s. Which is bigger: f or 9?
f
Let r be (-27)/297 - (-38)/55. Is 2197 not equal to r?
True
Let u = -5546 - -5102. Is u less than or equal to -429?
True
Let j(p) = -p**2 - 8*p + 5. Let k = 14 + -26. Let t be j(k). Which is smaller: t or -48?
-48
Suppose 0 = 14*a - 11*a - 9. Suppose -1068 = -a*o - o. Let y = 1863/7 - o. Which is smaller: -2 or y?
-2
Let v = 0.10995 + -0.20995. Let y = 0.113 - -9.287. Is y < v?
False
Suppose -2*t - 10 = 0, -3*t + 235 + 130 = 5*v. Are -6.3 and v nonequal?
True
Suppose w + n = 523, n = 4*w - 3*w - 531. Suppose 6*d = -11*d + w. Let x be 3 - 1 - (-29 - 0). Is d bigger than x?
False
Let p = -2254 + 2280. Which is smaller: p or 412/15?
p
Let y = 0.38 - -0.52. Let b = 1.6 - y. Let c be (-35)/(-20) + -1 + -1. Which is smaller: c or b?
c
Let r(k) = -1492*k + 1041. Let f be r(4). Is -4927 > f?
False
Let b be (429/(-48) + 216/24)*-6. Do b and 37/4 have the same value?
False
Let g(n) = -905*n - 5769. Let h be g(-7). Is h equal to 587?
False
Suppose -8*f - 491 = 733. Let b = f - 127. Are -281 and b nonequal?
True
Let y = 38302 + -38250. Which is bigger: -0.079 or y?
y
Let p(u) = -10*u - 305. Let r be p(-12). Suppose 0 = 8*h - 6*h + 370. Do h and r have different values?
False
Let n = 72 - 289/4. Let f = 241.6 - 233. Which is smaller: f or n?
n
Let b = -32.3 - -2.3. Let g = -34 - b. Let k = g - -3.97. Is k < -0.4?
False
Let c be (-60)/(-10)*(-1356)/(-9). Let a = c - 1036. Is -132 less than or equal to a?
True
Let k be 7/396*((-73945)/2737 - -27). Is 0 not equal to k?
True
Suppose -12292 = 37*b - 45370. Which is bigger: b or 897?
897
Let t be (12 - 3)/((-228)/(-16)). Let h = -4280 + 4282. Is h less than t?
False
Suppose 288*p - 179332 = -85*p - 46*p. Which is smaller: -15 or p?
-15
Let w(z) = -z**3 - 18*z**2 - z + 5. Let q be w(-7). Is -543 smaller than q?
True
Suppose 12*y - 75*y - 25*y + 3520 = 0. Is 528/13 > y?
True
Let z = -26899011/1654 - -16263. Which is smaller: 1 or z?
z
Let n = -2/599 + 1616/125191. Let z = n + 199/1045. Which is smaller: z or -24?
-24
Let k be (7 - (-20)/(-5)) + -133. Suppose 0*a = -2*a - 258. Which is smaller: a or k?
k
Let h = 11 - 7. Let u be (-2)/(-3) + -24*h/9. Suppose -3*v + 4*v = -10. Is v less than u?
False
Suppose -375*d + 2166944 = -18*d + 59*d. Is d < 5209?
False
Let t be -24*(-2 + 22/3). Let z = -899/7 - t. Let j(k) = -2827*k + 14135. Let p be j(5). Is p at least z?
True
Let h be (3 + (-275)/88)*-8*(-8)/(-1156). Which is greater: h or 0.01?
0.01
Let d = -3 + -55. Let y = -2381 - -2385. Which is smaller: d or y?
d
Suppose 3 + 13 = 4*r. Let d(i) = 6 - 3*i**2 + r*i**2 - 3 + 11*i - 6*i. Let w be d(-4). Which is bigger: -0.13 or w?
-0.13
Let h(b) = -43*b - 2873. Let r be h(-66). Which is greater: r or -604/17?
r
Let q = 0.1325 - -25.0875. Let i = 25.1 - q. Is 2/23 less than i?
False
Suppose 0 = 3*f - 3*j - 6, -10*j = 2*f - 6*j - 28. Which is smaller: -8 or f?
-8
Let l(w) = w**3 + 4*w**2 - 13*w - 2. Let z be l(-6). Let v be ((-32)/10)/(z - (-19)/(-5)). Let k = -49 + 35. Which is bigger: k or v?
k
Let a(j) = j**2 - 3*j - 7. Let p be a(6). Let l be (24/8)/(18/24). Suppose -p = -l*d - 7. Which is greater: d or -1/6?
d
Let c = 85.21 - 73.21. Is 25 at least as big as c?
True
Let l = -4/34953 + -131947547/244671. Which is smaller: -539 or l?
l
Let r = -297 - -385. Suppose 0 = 85*d - r*d - 24. Which is smaller: d or 2?
d
Suppose -2*f = 0, -240 = -4*y + 5*f - 10*f. Which is bigger: y or 58?
y
Let k = 3845 + -3706. Is k less than or equal to 142?
True
Suppose 107*r = 110*r + 2*m - 9435, 3*r = -3*m + 9429. Is 3147 > r?
False
Suppose 3*m - 24 = -x, -2*x + 4*m = 3*x - 25. Let g(c) = -c**2 + 2*c + 63. Let r be g(x). Which is smaller: -13/22 or r?
-13/22
Let q = 41 - 37. Let o = 14 - q. Let d = o + -10.14. Is d bigger than 2/5?
False
Suppose -3*l - 31 = 17. Let q = -11 - l. Suppose -9 - 4 = -5*j + 2*p, -3*j - q*p = 17. Which is smaller: j or -1/11?
-1/11
Suppose 84*s - 3 = 54*s - 3. Are s and 50/211 non-equal?
True
Let h = -2.019 + 1356.019. Let m = 1354 - h. Let c(q) = -q**3 - 5*q**2 + 3*q + 2. Let o be c(-5). Does m = o?
False
Let b(g) = -6*g - 12. Let c be b(-10). Let k be (-1)/((-15)/c) - (-7 + 9). Let a = 3.5 + -3.2. Which is greater: a or k?
k
Let h = -32/1189 + -41199/15457. Which is greater: h or 1?
1
Let j = 5255874 - 2233744966/425. Let p = 58/17 - j. Suppose 38*k 