s n bigger than k?
True
Let h = -101 + 254. Let o = h + -153. Let r be (-8)/(-100)*10/(-18). Which is smaller: o or r?
r
Let t(f) = f + 1. Let n = -40 - -38. Let k be t(n). Let g be ((-1)/3)/(29/12). Is k bigger than g?
False
Suppose k - 6 = 2*m + 2*m, -5*m = -k + 6. Let y be (6*k*2)/((-240)/(-32)). Which is greater: 0.1 or y?
y
Let z be 32 + -25 + -2 + 0. Let j(t) = -t**2 + 11*t - 28. Let b be j(z). Which is smaller: b or -5?
-5
Let c be (1778/21)/((-4)/(-6)). Let t = c - 261/2. Let x be 816/112 + (-5 - 2). Which is greater: t or x?
x
Suppose -15*l + 60 - 15 = 0. Suppose 0 = -l*k - 3*k + 54. Is k smaller than -10?
False
Suppose 15*g - 14 = -59. Let l be (-12)/(-8)*2*(-79)/g. Are 0 and l nonequal?
True
Let j = -4046 - -5361. Is j > 0?
True
Let n be 16/(-3) - 5*(0 + -1). Suppose 762 = 9588*l - 9591*l. Which is greater: l or n?
n
Let n be -3 + 0 - (-1 + 343). Let p = n + 342. Suppose -4 = 4*q - 3*y - 12, 2*q + 10 = -2*y. Is q less than p?
False
Suppose -5*w = -3*f + 29, 0 = -f - 2*w + 6. Let b be (-11 - -5)/((16/3)/f). Which is smaller: b or -6?
b
Let j be ((-1)/(3/(-9)) + (-33)/12)*1. Which is smaller: j or -1235/6?
-1235/6
Let f = -863 - -847. Which is bigger: f or 1.42?
1.42
Let x be 34 + -23 - (-8 + 19). Which is smaller: 5/3707 or x?
x
Let k be (1 - 192015/(-252))/(18/4). Let v = k - 1209/7. Is -4 bigger than v?
False
Suppose 5*a - k = a - 3961, -4953 = 5*a - 3*k. Let v be (-3)/(-4) - a/(-968). Let b be 8/32 + 3/20. Are b and v non-equal?
True
Let a = -1607 + 594. Let u = 1008 + a. Is u > -11/3?
False
Let v be (9/27)/((-15)/(-343620)). Is 7635 smaller than v?
True
Let x = -6273 - -6391. Which is greater: x or 1067/9?
1067/9
Let t = 65 + -64.8. Which is bigger: -204 or t?
t
Let n = 106/345 - 5938/14835. Suppose 0 = 7*r - 3*r. Which is smaller: n or r?
n
Let b = 426315/124474 + -6184/523. Let d = b + 59/7. Suppose 3*k = z + 5, 3*k - 3*z = -8*z - 25. Which is greater: d or k?
d
Suppose -2*s - 4*n + 2330 = 0, -465*n = 5*s - 467*n - 5825. Which is smaller: s or -1?
-1
Let n = -549 + 545. Let c be (-3)/((-108)/(-1950)) - n/24. Is -105/2 at most as big as c?
False
Let a = -70.57 - -70.77. Do a and 0.069 have different values?
True
Suppose 0 = w - 47 - 39. Suppose -2*c - 82 = -w. Let b be (0 - (-72)/42)/(c/42). Is b > 36?
False
Suppose 119 = 4*r + 11. Let b be (-6)/r - 13/(-18). Suppose -15*x + 20*x + 18 = v, 4*x - 5*v = -6. Which is bigger: b or x?
b
Suppose 0 = -23*d + 41*d - 126. Suppose 0 = d*m + 286 + 288. Are -82 and m non-equal?
False
Suppose -2*n + 0*n = -14, 0 = -5*w + 5*n - 2160. Is w smaller than -425?
False
Let h = 20.61 + -2.61. Let v = h + -15. Which is smaller: v or 20/3?
v
Let z be ((-68)/85)/(24/(-300)). Let u = 0 - -0.2. Which is smaller: z or u?
u
Let j = 683 - 307. Let p = 8868 + -8868. Is p at most j?
True
Let y be (1/(-2)*0)/(-1). Let d = 109.97039 - -1.02961. Is y >= d?
False
Let w = -9822.105 - 15.895. Which is smaller: 3/5 or w?
w
Suppose 1634 = -2*r - 2*a, 645*a = 649*a + 16. Which is greater: r or 4?
4
Suppose -158 + 158 = b. Suppose 55*y - 58*y - 909 = b. Is y > -303?
False
Let n be (-24)/(-28)*(-2 - 5). Let g be 2 + 28/21*n/4. Is g at least as big as 8/65?
False
Let k(n) = -17*n - 79. Let q be k(-5). Let d(z) = -z**3 + 8*z**2 - 10*z - 10. Let m be d(q). Is 0 equal to m?
False
Let q = 143.83 + 2.17. Let f = 152 - q. Which is greater: f or 0.35?
f
Let r(m) = -m + 2. Let k be r(-2). Let i be (-376)/(-40) + k/(-10). Let t be (i - 6)/((-5)/3). Do -3 and t have different values?
True
Let c = 12/1363 + -1786953/6815. Are c and -262 nonequal?
True
Let g = -54 - -66. Let s be 1/(-6) + g/(-24). Let x = -0.127 - -2.127. Is s smaller than x?
True
Suppose 74*o = 13452 + 33612. Which is greater: 633 or o?
o
Let i = 430 + 236. Let u = i - 613. Which is greater: u or 51?
u
Suppose 5 = 5*y, -10*s - 4*y + 300 = -6*s. Let j = s + -78. Which is bigger: j or -12?
j
Let z(u) be the third derivative of -7*u**4/24 + 16*u**3/3 - u**2. Let c(l) = l**2 + 23*l - 19. Let a be c(-24). Let o be z(a). Which is smaller: o or -5?
-5
Let q be (-12)/(-18)*(4 + 38). Suppose q*j = -9*j + 37. Is j at least as big as 21?
False
Let x = -484.52 + 477.52. Is -851/2 >= x?
False
Let d = -262 - -231. Suppose -177 - 47 = -8*u. Let x be ((-1)/36 - 0) + 7/u. Which is smaller: d or x?
d
Suppose 3*y + 373 = 5*s - 39, -y = 4. Let n be 102/(-16) - (-30)/s. Which is bigger: -19 or n?
n
Suppose -18*d - 27 + 1291 + 536 = 0. Is 32 <= d?
True
Let v be 2040/45*(2 + 4044/(-2067)) + -2. Which is smaller: v or -1?
-1
Let h(l) = 5 - 2 + l - l**3 - l + 9*l**2. Let v(a) = -9*a + 180. Let o be v(19). Let m be h(o). Which is smaller: 5 or m?
m
Let g = -16687 + 16757. Does g = 65?
False
Let o = 1364 - 1274. Is o at least 0.02?
True
Let i = 173 + -162. Suppose 6*v - i*v - 50 = 5*z, -v = 3*z + 32. Let f = -22/3 + -29/12. Is z at least f?
False
Let q be ((-13)/650)/(312/(-5690)). Let h be ((-5)/((-975)/(-12)))/(-6). Let p = q + h. Is p equal to 0?
False
Let f = -5176 + 5176.1527. Which is bigger: f or -4?
f
Let j(d) = -d**2 - d + 30. Let f be j(0). Suppose 64*z - 59*z = 150. Are z and f equal?
True
Suppose -4*c - l + 6 = 3, 0 = 4*c - l - 5. Which is smaller: 47/20 or c?
c
Let d = -109 - -425/4. Is d less than -1.8?
True
Let f = -3299.9 + 3071. Let a = f + 229. Is -190 < a?
True
Let c = 7714 - 8954. Is c smaller than -1242?
False
Let b(j) = 955*j + 1183. Let c be b(-13). Is c <= 0.1?
True
Let l be (1 - (-90)/(-63)) + 67/(-7). Is -416/37 at most as big as l?
True
Let z be 4/18 - (-180)/(-81). Let v be (-1)/z*1 - 12/(-8). Let o be ((-12*v)/(-3))/(-1). Is -8 at least o?
True
Let i be (-1)/(-2) + (-5)/6. Let z(x) = 152*x**2 - 182*x + 181. Let j be z(1). Is j <= i?
False
Suppose -25*a - 2375 = -6*a. Let t = a + 126. Which is smaller: t or 32?
t
Let s be (-1002)/(-90) - (-2)/(-15). Suppose -14*d = -s*d - 5*p, -5*d = -5*p - 10. Which is bigger: d or -0.01?
d
Let n = -25669 + 25652. Let v be 4/(0 + (-1)/4). Is v smaller than n?
False
Suppose -5*w - 18 = 3*g, g + 4*w = -g - 12. Suppose 3*h - 12 = -2*b - b, 4*b + h - 13 = 0. Let t be -4*(b + g + 2). Is 3 <= t?
True
Let u be 2*(-5)/10*0. Let h be u + (378/(-48) - 1/8). Which is bigger: h or -12?
h
Let x = -18.02 - -18. Let a = x - 7.88. Let t = a - -8. Which is smaller: -24 or t?
-24
Let p = 524 + -350. Let h be (-8)/p*3/2. Let o be ((-304)/(-32) - 8)*(-2)/3. Are h and o equal?
False
Let l = -165 + -97. Let g = 8648/33 + l. Let c(s) = -s**3 - 18*s**2 - 34*s - 32. Let f be c(-16). Which is bigger: f or g?
g
Let c be (-22)/(-22) + (-41 - 1). Let d = -60 - c. Are d and -4 non-equal?
True
Let c = 38 - 23. Let y(r) = -r + 34 - 18 - 2*r - 3. Let l be y(0). Is l > c?
False
Let k = 28.1 + 19.9. Let i = 48.4 - k. Which is greater: 18 or i?
18
Let v be (8 + -26 + 13)/3. Let k = -0.02 - -4.02. Let a = 9 - k. Which is smaller: v or a?
v
Let q be 18*180/(-184) + 18. Is 2 != q?
True
Let x be 3/(-335)*273/819. Let q(t) = -t**3 - 2*t**2 - t - 1. Let k be q(-2). Which is smaller: x or k?
x
Suppose 22 = -x + 5*x - 2*f, -x - 2*f - 7 = 0. Is x less than 120/79?
False
Let r be (-180)/22 + 3*(-8)/(-132). Are 0.2 and r unequal?
True
Let p be ((-3)/(-15)*5 + 6)*48/(-7). Which is bigger: p or 68?
68
Suppose 0 = -p + 4, -4*p = 7*z - 2*z - 26. Suppose -4*o + 10 = s, -2*s + 21 = -z*o - 9. Suppose -14 = -2*g - s. Which is smaller: g or 0.06?
g
Let n be ((-136858)/(-30))/(524/36). Let j be 23*(-138)/10 - (-12 + 8). Let u = j + n. Which is smaller: 0 or u?
0
Let g = -3 + 2. Let f be 4/(-7) - 1244/28. Let s be f/(-30)*2/(-11). Are s and g nonequal?
True
Let w(j) = 44*j + 13. Let d be (-4)/14 - 621/(-189). Let f be w(d). Let a be -3 + f/80 + 1. Is a < -1?
False
Let v(w) = 2*w + 16. Let a be v(-2). Suppose -3*h + 3*b - 189 = 0, 13*h - 3*b + 53 = a*h. Which is smaller: h or -206/3?
-206/3
Let n = 5 - 4. Let q = 0.4603 + 19.3697. Let u = q + 0.17. Are n and u equal?
False
Let r = 0.0134 - 0.2144. Let c = 0.869 - r. Let t = c - 1.104. Is 1 > t?
True
Let b be 21 + -26 + (-1673)/(-1) + 7. Which is smaller: b or 1677?
b
Let m = -2529 + 17783/7. Let p = m + -139/14. Let j = 23 - 53. Which is bigger: j or p?
p
Let c = -534244/1491912435 - 2/272595. Which is smaller: c or 1?
c
Suppose 2*z + 100 = 4*x, -5*x + 102 = -4*z - 95. Let q be (z/16 - 7/(-2))*0. Is q less than or equal to -97?
Fals