j be t(c). Is j greater than 61?
True
Let v = -5812/3 + 1144958/591. Is 8/7 greater than v?
True
Let t = 4.653 - 4.49. Let d = t + -5.163. Do d and 20 have the same value?
False
Let n(z) = z**2 + 29*z - 224. Let b be n(-35). Let p be b/6 - (-3006)/1296. Which is smaller: p or 1?
p
Let c = 25805 - 103833/4. Suppose -632 = 4*l - 4*u, -116*u - 1082 = 7*l - 117*u. Is c bigger than l?
True
Let j be (-205)/(-14) - -1 - (-9 - -17 - 2). Which is smaller: j or 10?
j
Let x = -2.8 - -10. Let r = 102.8 + x. Let y = r - 110.5. Are -1/12 and y non-equal?
True
Let z = 5529 - 6504. Do 1 and z have different values?
True
Let f(g) = -84*g - 347. Let r be f(-4). Which is bigger: 31 or r?
31
Let m be 1062/(-45) + 2/(-5). Let p be (-30)/((-2)/((-64)/m)). Which is smaller: p or 43?
p
Let o = -2974 + 2974.127. Does 0.1 = o?
False
Let x(i) = -15*i**2 + 107*i - 86. Let o be x(13). Is 0 < o?
False
Suppose 28 = 3*z + 3*v + 22, -2*z - v + 9 = 0. Are 118 and z non-equal?
True
Let y be 6 - (-24)/(96/12) - -540. Is 549 at least y?
True
Suppose 0 = 6*d + 3*d + 45. Suppose p - 2*u - 9 = -0*u, 2*p - 14 = 3*u. Let i be (d - -1 - 9)*p/1. Is -35/3 less than or equal to i?
False
Let j = -20/1021 + 59278/3063. Let l = -0.3 + 0.2. Which is greater: l or j?
j
Let c = 2.566 + -2.466. Which is greater: c or -11/86?
c
Let b be -5 + (-2)/((-2990)/7485). Suppose 3*l = -15, -l = -k + 4*l + 26. Which is smaller: k or b?
b
Let o = -0.08048 - -0.85048. Which is smaller: o or 0.1?
0.1
Let h = -0.1 + -0.9. Let k = 0 + h. Let o be 13 + (-6222)/570 + 192/(-80). Which is smaller: o or k?
k
Let w = 91 + -34. Let i = 111 - w. Let r = 2.13 - 3.13. Is r < i?
True
Let v = 3528 - 3527.9. Is -116.2 <= v?
True
Let l be (94/((-4)/((-48)/210)))/((-4)/10). Which is greater: -13 or l?
-13
Let r(n) = -n**3 + 3*n**2 - 42*n + 123. Let b be r(3). Let m be (-27)/(-6)*1*32/(-51). Is m less than or equal to b?
False
Let g be -1 - (-23579)/(-51) - 1/(-3). Let s = -7318411764/15810959 - -2/687433. Let z = s - g. Which is smaller: 0 or z?
0
Suppose 4059 - 13851 = -4*b + 3*y, -3*b + 7302 = 3*y. Is 2440 != b?
True
Let j(k) = k**3 + 8*k**2 + 18*k - 9. Suppose 35*w + 7 = 33*w + n, 5*w + 22 = -2*n. Let g be j(w). Is g at least as big as -5?
False
Let h = -4/107729509 + -215550264894007/3124155761. Let g = 68984 + h. Let k = g - 3/116. Which is greater: -11 or k?
k
Let u be -309 + 303 - (-7362)/1222. Is -1 equal to u?
False
Let i = -1.8 + -15. Do -2/19 and i have the same value?
False
Let y(f) = -f**2 + 6*f - 3. Let j be y(7). Let z be (122/(-5))/(j - -11). Let g = z - -436/15. Which is bigger: g or 6?
6
Let z be 1054/11 + -6 + (-272)/(-44). Let u be 8/(z/(-18))*-14. Is 24 at most as big as u?
False
Let v = -1.09 + 2.44. Let z = -1.37 + v. Is z at most as big as 0.6?
True
Suppose -2*p = -w + 51, 61 = 5*w - 4*p - 176. Suppose -6*s - w = -33. Is -17 greater than or equal to s?
False
Let t be 8*(-3)/96*(0 + 15882). Which is bigger: -3971 or t?
t
Let b = 382915 + -382915. Let h = 5/481 - -4114/20683. Which is bigger: b or h?
h
Let w = 3654 - 3501. Is w at most as big as -1/26?
False
Suppose 13*m = 12*m - 49. Let v = 53 + m. Suppose 7*q - 4*z + v = 3*q, -4*z + 4 = 5*q. Does q = -23/3?
False
Suppose 15*y - 23499 = -115558 - 4856. Which is smaller: y or -6463?
-6463
Suppose -56 = 2*u + 4*g, -3*u - 66 = -u + 2*g. Suppose 4*f + v + 174 = 23, 3*f + v = -114. Which is smaller: f or u?
u
Let p be 4/6*(-37098)/(-36). Suppose 0 = -7*s + 2106 + p. Suppose 3*l + s = 5*i, -26 - 37 = -i - 5*l. Which is smaller: 77 or i?
77
Let d be 4/32*-2 - ((-6633)/36 - 9). Is d less than or equal to 191?
False
Let r be 54/(-8) + (0 - (5 + -12)) - 0. Is r at most as big as 17093?
True
Let q(h) = 7*h**3 - 5*h**2 + 28*h - 24. Let k be q(1). Is k at least as big as 1912?
False
Let q(f) = 79*f**3 + f. Let u be q(-1). Let v be (-462)/(-308)*(-568)/(-6). Suppose 3*p - 5*r = -257, 4*r + v = -p - p. Which is greater: u or p?
p
Let j = -77.924 + -0.116. Let i = j + 78. Let p = i - -1.04. Which is smaller: p or -1.1?
-1.1
Let x be 14*(12/3 + (-15)/6). Let l(b) = b**2 - 22*b + 20. Let j be l(x). Let z be j*-9*6/(-9). Do z and -11/2 have the same value?
False
Let f = 2346 - 2263. Suppose g + 2*g + 441 = 0. Let r = g + f. Is -63 <= r?
False
Let f = -21486007/318 - -67566. Is 1 at most f?
False
Suppose -7*s = -11*s - 5*z + 14266, -4*z = 2*s - 7130. Which is greater: s or 3568?
s
Let z be 2128 + 2*(-24)/(-6). Let m be z/342 + -8 + 2. Is 0 <= m?
True
Let u = 8805 + -9058. Which is smaller: u or -1?
u
Suppose -4*u = -4*b + 92, 0 = -4*u - 4*b + 13 - 65. Let n(k) = 2*k + 36. Let y be n(u). Let f be (-116)/(-168) - (-1)/6. Is f >= y?
True
Suppose -t = 3*t - 12. Let w = 180 - 108. Let g be (20/(-8))/((-30)/w). Which is smaller: t or g?
t
Suppose 0 = 11*b - 10*b - 28. Suppose 4*f + f = 140. Is f smaller than b?
False
Let o = 524 + -525. Let l be o + (-28)/(-16) + -1. Which is greater: 55 or l?
55
Let p = 239 - 206. Suppose 37*f - p*f = -76. Is f less than -92/5?
True
Let j(o) = -52*o**2 + 366*o - 15. Let i be j(7). Which is bigger: 6/1751 or i?
6/1751
Let j = -81988 - -82000. Suppose 0 + 48 = -4*i. Is i != j?
True
Let c = 14534 - 68136/5. Which is smaller: 907 or c?
c
Let b = -105232/5 + 20191. Which is greater: b or -856?
b
Let d be (-8 - -22) + -11 - (-1 - 13). Let w = -169 + 187. Which is smaller: w or d?
d
Let b be 44107*(-2)/7*(-12 + 92/8). Is b equal to 6301?
True
Let b = -669/979 + -12/89. Let m(h) = h**2 + 1. Let n be m(1). Suppose n*p + 5 - 1 = 0. Which is bigger: p or b?
b
Suppose -3*u - 9 = 0, -12*j = -13*j + u + 73. Suppose 3*a + 276 = 7*a. Do a and j have the same value?
False
Let x(o) be the second derivative of o**4/2 + 4*o**3/3 + 5*o**2/2 + 18*o. Let q(k) be the first derivative of x(k). Let s be q(-2). Is -17 equal to s?
False
Let x(r) = -4*r**2 + 2*r + 5. Let z be x(-3). Let c = -30 - z. Let i be 16/2 + (-23)/69. Is i > c?
True
Suppose s + 2 = 2*s. Let a(t) = -2 + 2 - 2 + 2*t**s + 3 + 6*t. Let f be a(-2). Are f and -4 nonequal?
True
Let a be 24/(-60) - (-112)/330. Let d = 65 - 64. Are d and a equal?
False
Let g = 9740.1 - 9740. Let y = -1123 + 1122.549. Do g and y have the same value?
False
Let w = -115 + 118. Suppose w*f = -5*z - f + 31, -z + f - 1 = 0. Let y = -9 - -10. Is z < y?
False
Let z = 2 - 2. Let q be -5 - (-561)/113 - (2 + 0 + -2). Is z equal to q?
False
Let c(v) = 2494*v**3 - 6*v**2 - 6*v + 1. Let h be c(-1). Which is bigger: h or -2495?
h
Suppose 3182 = 3*y - 2*s, 30*s - 24*s - 1074 = -y. Which is smaller: y or 1060?
1060
Let n = 93/5 - 1951/105. Let w be ((-4)/8 - -1)*2. Is n > w?
False
Suppose 3*o + 4*q - 9*q = 563, 4*q - 165 = -o. Are 200 and o equal?
False
Let v be 12*45/(-36) + 15. Is v greater than -6/3929?
True
Let m(w) be the second derivative of -w**5/20 + 19*w**4/12 - 4*w**3 - 35*w**2/2 - 38*w. Let s be m(17). Which is bigger: s or 134?
s
Suppose 0*q + 5*q = v - 220, -q = -v + 40. Let u be ((-18)/q)/((-3)/(-20)) + -2. Are u and 4 nonequal?
True
Suppose 0 = -316*c + 595*c + 8974593. Is c < -32168?
False
Let d = -26631/6383 - -9/491. Which is smaller: d or 0?
d
Suppose -36 = l - 4*l + 3*r, -5*l + r + 64 = 0. Let x be 12*((-90)/(-70) + 2/(-7)). Is l at most x?
False
Suppose -4*t + 38 = 26. Suppose -2*o + 5*s = -3*o - 11, 0 = -5*o - t*s - 11. Let p be 506/1980 + (-1 - 7/(-9)). Which is bigger: o or p?
p
Let l be -137*4*(-10)/940. Which is bigger: 6 or l?
6
Let n be (123802/31024 + -4)/(3/4). Which is bigger: 1 or n?
1
Let d = -1/365729 + 1964330463/1462916. Let o = 1350 - d. Which is greater: o or 6?
o
Suppose -8*u + 1220 = 5*r - 9*u, -4*u - 992 = -4*r. Is r at most 975/4?
True
Let p = -1108 - 174. Is -1280 bigger than p?
True
Let p be 99 + -99 + 1*(-2 - -1). Which is greater: -5/567 or p?
-5/567
Suppose 0 = -3*z + 4*z + 20. Let m be 16/88 + z/231. Which is greater: 1/17 or m?
m
Let p be 33/30 - (2/22 - 72/(-7920)). Let b be (2/177)/((-36)/(-81)). Is b greater than p?
False
Let b be 7 - 39/65 - (-1 + 7). Is -6272 at most b?
True
Let b = 20 - 20. Let x = -28320183/38 - -745510. Let z = 242 - x. Which is smaller: b or z?
z
Let g(n) = -n**2 + 160*n + 2437. Let a be g(-14). Which is smaller: 1/7114 or a?
1/7114
Let h = -5005 + 95097/19. Let p = -12006 + 1824985/152. Let w = h - p. Which is smaller: w or 1?
w
Suppose -4*f + 3*d + 5820 = 0, -4