eater than or equal to f?
True
Let q = 64 + -57. Let j be (-6 + (-10)/(-5))*1/(-14). Is j greater than q?
False
Let q = -35327/153 + 1464/17. Let c = q - -145. Which is smaller: -0.19 or c?
-0.19
Let r(h) = -h**3 + 8*h**2 - 9*h + 9. Let q be r(7). Let y be q + 3 - (-1 - 1). Which is smaller: 3/11 or y?
y
Let w = -2 + -1. Suppose 42 = 4*d - 2*x, x - 2*x - 3 = 0. Let y be 0*(1 + d/(-6)) - 0. Which is smaller: y or w?
w
Suppose 206 = 4*i - 70. Let c = -106 + i. Which is greater: c or -36?
-36
Let c = -66295/52 + 1275. Which is greater: 0 or c?
c
Let j = 178/3 - 11564/195. Let l = 17 + -12. Let p be (-2*l/(-10))/(-1). Which is bigger: p or j?
j
Suppose -118 = 3*n + 62. Let r be 1/(0 - (-4)/n). Let o be (-6)/r + 32/(-5). Is -7 < o?
True
Let v = 841 - 835. Are v and 82/13 nonequal?
True
Suppose 4*k = 9 + 3, 0 = l - 3*k + 11. Is 6 at most as big as l?
False
Suppose -82*u - 48 = -86*u. Let z be 0/((-2 - 0) + 4). Suppose 5*v - 8 - u = z. Which is bigger: v or 5?
5
Suppose -50*i + 53*i = 2*t - 10, -4*t = -i. Let a(j) = j**3 - 6*j**2 + 7*j - 7. Let h be a(5). Let c be (4/((-8)/3))/h. Which is smaller: i or c?
i
Let m = -2489 + 14939/6. Let x = 0 + 0.2. Which is greater: m or x?
m
Let c = 75/8 + -659/72. Let h be (-2)/4 + (-125)/(-10). Suppose 0 = f - 5, -3*f + h + 5 = 2*r. Is c greater than r?
False
Let b be (-15025)/(-4095) + -4 + 1/3. Which is bigger: 1 or b?
1
Let g(h) = 2*h**2 - 8. Let u be g(0). Let r(k) = k**3 + 7*k**2 - 8*k + 8. Let w be r(u). Which is bigger: w or 9?
9
Let l be ((-396)/(-10329))/(-1 + -2 + 1). Are 1 and l non-equal?
True
Let m = -1022611170541/18393114810 + -1073/6442422. Let u = 4/1713 - m. Let q = -55 + u. Which is smaller: 1 or q?
q
Let o be 2/6*(-9)/27. Is 0 greater than or equal to o?
True
Let t(m) = -2*m**3 - 8*m**2 - 9*m - 50. Let x be t(-8). Do x and 534 have the same value?
True
Let f = -13 - -19. Let j = f + -6. Let b = 376/273 - 10/7. Is j greater than b?
True
Let f = 7 + 0. Let w = -1 + 0. Let b = w - -1.1. Which is smaller: f or b?
b
Let s be 2 - ((-59)/45 + 8/40). Let x be ((-33)/405)/(2/96). Let c = s + x. Which is greater: c or 0?
0
Suppose 164 - 115 = 7*o. Which is bigger: o or 35/6?
o
Let a be -2*26/4*-2. Let y = a + -19. Which is smaller: y or 9?
y
Let m(c) = c**2 + 18*c - 2. Let i be m(-18). Let p be 19*2*(-2 - 2/i). Does -2 = p?
False
Let o = -149/6 + 47/2. Let l = 846 + -731.8. Let v = 114 - l. Is o bigger than v?
False
Suppose -6*y - 13 = 17. Is -3.5 equal to y?
False
Let d be 709/(-6)*1 - 6/(-36). Is d greater than -117?
False
Let c = 67.6 + -65.8. Which is bigger: c or -25?
c
Let a = 24095 - 1325168/55. Let n = a + -7/11. Let o = -13.91 - 0.09. Which is bigger: o or n?
n
Let p = -483 + 14975/31. Let i = p - -23/124. Is 1.4 bigger than i?
True
Suppose 0 = 3*h + 2*r - 5, 4*h - r + 1 + 7 = 0. Suppose -11*u = 5*k - 6*u, 3*u = 0. Which is bigger: k or h?
k
Let q(d) = 3*d**2 - 9*d. Let a be q(4). Let v(t) = t**3 - 14*t**2 + 25*t - 10. Let z be v(a). Which is smaller: z or -19?
-19
Suppose -2*d = -0*d - 8. Let p be ((-488)/9)/d - -2. Let w = p + 2410/207. Which is smaller: w or -1?
-1
Suppose -27 = 2*n + 45. Suppose 37*u - 18*u + 684 = 0. Does n = u?
True
Let g be (-22)/(-33)*(-1 - 41/(-2)). Suppose -4*r + g + 1 = -2*q, -5*r = -q - 16. Let p be ((-3)/12*5)/2. Is q greater than p?
False
Let m(c) = 23*c + 26. Let w be m(-3). Is w > -47?
True
Let n = 124/335 + 2/67. Let f = 1/50 + 89/550. Is n at most as big as f?
False
Let j = -68 + 171. Suppose 347 = 3*b + 2*a + 45, 3*b + 4*a = 292. Is b >= j?
True
Suppose 0 = -66*o + 113*o + 423. Are o and -90/11 unequal?
True
Suppose 5*s + 2*k - 15 = 0, 3*s - 5*s = -4*k - 6. Suppose 4*r - 2*r = 2. Let z be (-1)/(r*-2) - 2. Is z greater than s?
False
Suppose -9*o = 11*o + o. Let r be (((-36)/(-56))/(-3))/(12/(-8)). Are r and o non-equal?
True
Let l = 19.2 + 3.8. Let n = 0.3857 + -0.2857. Is l != n?
True
Suppose 0 = -2*v + 142 - 28. Let s = v + -25. Are 32 and s unequal?
False
Suppose -2*r - 2*j = -12, 2*j - 14 = -5*r + 13. Suppose 4*k + r = -k. Suppose -23*b = -18*b. Are k and b equal?
False
Let a(h) = -h**2 - h - 8. Let z be a(4). Let w = z + 194/7. Which is smaller: w or 10/7?
w
Suppose 0*j - 4*j + 12 = 0. Suppose 0*v - 24 = j*v. Let m be v/(-52) + (-28)/13. Which is smaller: m or -5/7?
m
Let w = -63 - -39. Let c = 24 + w. Is -2/3 <= c?
True
Let n = 29 + -30. Suppose -3*l + 0*l + 255 = 0. Let c be (-100)/l - 1/(-1). Which is bigger: n or c?
c
Let g = -21.811 + -0.189. Is g greater than 1/4?
False
Let t = -16.92 - -17. Let r = t + 1.12. Let x = r - 1.8. Is -0.2 > x?
True
Let m = -1245.43 - -1196. Let y = m + 49. Let c = y - 0.17. Are -1 and c equal?
False
Let u be -2 - (10 - 13)*(-4)/(-18). Which is smaller: u or 8/3?
u
Let f = 183992674 + -62557944811/340. Let k = f - -5027/4. Let r = k + 122/5. Is 0 > r?
True
Suppose a - 5*k - 2 - 1 = 0, k = -1. Let z be 2*(-4)/16*a. Which is bigger: 16/7 or z?
16/7
Let r = 70.1 + -36.1. Is r <= -6?
False
Let r = -1.4 - -1.29. Let z = r - -0.13. Let x = -0.05 - z. Is x less than -2?
False
Let o be ((-12)/(-162))/((-1)/70662). Let g = o + 5243. Let h = -9 + g. Is 0 less than h?
False
Let t(h) = h + 51. Suppose 13*n - 78 = -312. Let k be t(n). Is 33 > k?
False
Let g = 62129/368907 + 2/4791. Let t = 85/308 - g. Is 0 greater than t?
False
Let t = 864896 + -4306144/5. Let h = t - 3655. Which is smaller: 13 or h?
h
Let p = -70 - -80.6. Let z = p + 1.4. Let j = z - 15. Which is greater: j or -2/9?
-2/9
Let q = -11.88 + -0.12. Let m = -12 - q. Let y = m + -1. Is -1 < y?
False
Let m be 10 - 1 - (-36)/(-9). Which is smaller: 14/3 or m?
14/3
Let i = 89 - 103. Which is greater: i or -12?
-12
Let f = -0.2 + -15.05. Let s = f - -15. Let d = 107 + -106. Which is bigger: d or s?
d
Let j be 2/(-3) - (-2)/3. Suppose 0 = 2*a - 14*a - 12. Let l = a + j. Is l not equal to -0.3?
True
Let j = 0.13 + 0.07. Let g = -152 - -170. Which is smaller: j or g?
j
Let q be (9/441)/(4/(-16)). Is -1 <= q?
True
Let w be ((-39)/(-234))/(2/(-30)). Which is smaller: 77 or w?
w
Let s = -0.32 + 6.82. Let r = 4.5 - s. Which is greater: r or 13?
13
Let g be (0 - -1) + 5 + -6. Let f be (-13)/15 + 1 + g. Let c(h) = -h**2. Let y be c(0). Is y not equal to f?
True
Let u = 0 + 2. Let t = 238 + -240. Let b = u + t. Which is smaller: b or -1?
-1
Let h(n) = n**2 + n - 2. Suppose -2*k + 1 + 3 = 0. Let q be h(k). Let i be 2/(2 + -1)*q. Which is bigger: 7 or i?
i
Suppose 5*i + 25*c - 23*c + 60 = 0, 0 = 2*c. Is i >= -19?
True
Let a be (0 - (-2)/12)/(-1). Let f be 2/(5/2 - 2). Suppose 0 = -3*j + 7 - f. Is a greater than or equal to j?
False
Let a = 18.7 + -18. Let n = 15.4 - 16. Let s = a + n. Which is greater: s or -2/7?
s
Let y be 6 + (-19 - -4 - -1). Is y equal to -9?
False
Let a = 116 - 77. Let k = a - 38. Which is greater: k or -0.2?
k
Let n be ((-18)/(-18))/(-10 - 2)*-10. Are 48 and n nonequal?
True
Suppose j + 3*y + 67 = 0, 2*j + 3*y = -2*y - 132. Let f be 2 - 30*(-4)/j. Which is greater: f or -1?
f
Let i(u) be the third derivative of 1/24*u**4 + 4*u**3 + 0*u - 10*u**2 + 0. Let m be i(-17). Is m != 6?
True
Let o be ((-24)/(-10))/((-39)/(-130)). Let p be o/6 + (-3)/9. Let z be p*-2*14/28. Which is smaller: -1/9 or z?
z
Let d = 905 - 891. Which is bigger: 4 or d?
d
Let m be (-6)/(-8) - (-495)/(-36). Let z = 17 + m. Is z > 10?
False
Let p(v) = -v**2 + 5*v - 1. Let g be p(2). Which is smaller: 23 or g?
g
Let n be (-2022)/8280 - (-3)/12. Which is bigger: 1 or n?
1
Let m = 18617 + -130538/7. Let t = m - -31. Which is smaller: 1 or t?
t
Let h(q) = 6*q**2 - 3*q + 2. Let m be h(1). Suppose m*k - 2 = 5*j + k, 2*k - 6 = 0. Which is smaller: 14/19 or j?
14/19
Suppose -16*u - 243 = 45. Let d(c) = 7 + 2*c - 5*c**2 - 2*c**2 - c**3 + 2*c + c**2. Let t be d(-6). Which is bigger: u or t?
t
Let f = 932 + -931. Do f and 8/73 have different values?
True
Let z = -49.9351 + -0.0649. Which is smaller: z or 2/11?
z
Let s(f) be the second derivative of f**4/12 + 7*f**3/6 + 3*f**2/2 - 6*f. Let c be s(-7). Is 4 greater than c?
True
Let i be (-17)/(-34)*(-2 - (-1 + -5)). Let z be i/((-6)/(-27)) - 3. Suppose 0 = 5*l - l - 24. Do l and z have the same value?
True
Let p be (-1815)/2655 + (-4)/(-6). Which is smaller: p or -1?
-1
Suppose 5*g = -g + 150. Let r be -5*((-192)/(-10))/(-4). Is g equal to r?
False
Let h = -39