9760 + 29264. Is g > -2016?
False
Let j be 1/2*((-3500)/(-585) + -6). Let y = 3854/819 - j. Which is bigger: y or 4?
y
Suppose 0 = -4*y - 33 + 13. Let v be -1 + (y/(-110))/((-1)/(-27)). Is 1 bigger than v?
True
Let h = -1895.9 - -1896. Which is bigger: 9/7 or h?
9/7
Suppose -134 + 523 = 16*z - 91. Is 2 != z?
True
Let w be 14 + 7/14*-10. Let t(p) = -2*p**2 + 22*p - 77. Let j be t(w). Is j >= -41?
True
Let l(u) = -5*u + 59. Let r = -775 + 771. Let y be l(r). Let f = 84 - 6. Is y >= f?
True
Let b = 1496/15 + -497/5. Is -2/4589 smaller than b?
True
Let l(j) = 1 - 7*j + 4 - 9 - j**2 + 2. Let b be l(-8). Let u be ((-1)/1)/(-5 - b - 4). Which is smaller: -3/38 or u?
u
Let h(j) be the third derivative of -j**5/60 - 7*j**4/24 - j**3/2 - j**2. Suppose 11*r + 1754 = 1677. Let k be h(r). Are k and -7 nonequal?
True
Let i = 1116 + -24547/22. Suppose -11*n - 3*n = 70. Let v be 2 - (-1 + (-10)/n). Is v equal to i?
False
Let z = -284 - -498. Let j = 213.9 - z. Is j > 7?
False
Let z(c) = -c**2 - 16*c - 28. Let o be z(-14). Suppose o*r = -5*r + 15. Suppose -2*f + 3*a = -27, -r*f + 0*f + 42 = -5*a. Does 9 = f?
True
Let w = -5870 - -5903. Are -35 and w nonequal?
True
Let q be ((-8)/28)/((-19)/(-123557)). Which is bigger: q or -1857?
-1857
Let q = 1201 + -1202. Which is bigger: q or -12/89?
-12/89
Let g = 71 + -72. Let q be ((-8)/(-80))/(20/8). Which is greater: g or q?
q
Suppose 3*u + 22 = 5*u. Let s = 153153/5 - 30619. Is u at most s?
True
Let z = -61 - -56. Let j = z - -3. Let r be j - ((-19)/(-4) - (-2 - -1)). Which is smaller: -7 or r?
r
Let g be 15/(-2)*(-8)/(-60)*5. Let a be g/28 - (-18)/(-72). Is a at least as big as 1/3?
False
Let d = 10.3 - -60.7. Let c = -71 + d. Is c >= 16?
False
Suppose 0*s + 210 = 15*s. Let i be (-1)/(s/(-4)) + (-90)/(-126). Let l be (-2)/9 - (-141)/999. Are l and i non-equal?
True
Suppose 0 = 230*s - 21 - 145 - 64. Is 1/17398 < s?
True
Suppose 0 = -64*q + 14089 + 7735. Is q at most 341?
True
Suppose -4*v + 119 = -w + 31278, -23364 = 3*v + w. Do v and -7789 have the same value?
True
Let j(s) = -6*s**2 - 17*s + 33. Let z be j(-7). Is z greater than -134?
False
Let o = 0.098 + 0.062. Let s = -0.84 - o. Let y be 9/13*(-18)/(-108). Is s greater than or equal to y?
False
Let w(r) = -r**2 - 23*r - 89. Let b be w(-22). Let d = b + 34. Is d < -38?
False
Suppose -3*x = -3*o + 31 + 8, -o = -3*x - 15. Let t be (-26)/(-14) + 1/7. Let a be (t/(-3) - 2/o)*2. Which is smaller: a or -2?
-2
Let d(i) = i**2 - 14*i + 19. Let k be d(11). Let a = k - 7. Suppose 5*n - 4*b + 122 = -0*b, 3*n + 78 = 4*b. Which is bigger: n or a?
a
Let n be (-8)/30 - (-4)/(-10). Let b be (79 + -86)/((-3 + 16)*-2). Which is greater: b or n?
b
Let j = -11/207 - -800/16353. Which is bigger: 1 or j?
1
Let g = -188 - -183. Let t be (-5)/20*(g - -1). Is 4/155 <= t?
True
Let i(g) = -2*g**2 - 4*g + 24. Let k be i(6). Let z be (-16)/k + (-52)/396. Which is greater: z or 0.3?
0.3
Let n = -13 - 5. Let r = 59 + n. Let i = 37 - r. Is i <= 4?
True
Suppose -3*r + 106 = 2*k, 34 + 100 = 4*r - k. Which is smaller: r or 29?
29
Let w = -3338 + 6677/2. Let x = 2 - -2. Let g = x - 4.07. Which is smaller: w or g?
g
Let h = -13.2 - -17. Let d = h - 4. Let b be -1 + (-11)/(-8) - (-5 - 1694/(-336)). Are d and b unequal?
True
Let j = 11520 - 11455.63. Let c = 64.3 - j. Which is bigger: c or -6?
c
Let d = -293.4 - 58.6. Let m = -348 - d. Do m and -13 have the same value?
False
Let j = 0.22471 + -0.12471. Let m = 3455 - 114025/33. Let v = 4/231 + m. Which is greater: v or j?
j
Let q = -3472 + 3472. Is q less than 0?
False
Let f = -0.3 + 1.5. Let n = -174.4 - -174.5. Is f greater than n?
True
Let q be 7/((-35)/10)*-5. Let f be 64/(-140) + 6/q. Let v(r) = -r**3 + 3*r**2 + 4*r - 2. Let i be v(4). Is i less than or equal to f?
True
Let n = 357 + -389. Let m = n - -27.8. Which is smaller: m or -1/3?
m
Suppose 2*a = 5*a. Let q be (-492)/(-16)*22/(-715). Let v = -11/10 - q. Which is smaller: a or v?
v
Let r be ((-15)/(-2))/(6/20). Let w be 1 - 5 - (-4 - 54). Let p = w - 30. Do p and r have different values?
True
Let d = -2594.89 + 2576. Are -0.1 and d non-equal?
True
Let b be 11/((28/7)/(-668)). Is b less than or equal to -1837?
True
Let c = -11224.6 + 11222.6. Let r = 4.867 + 0.193. Let q = r + -5. Which is greater: c or q?
q
Let z = 189 - 127. Let v = z + -65.7. Let l = 0.7 + v. Which is smaller: 8 or l?
l
Let q = -16196 + 16542.2. Which is smaller: -2/7 or q?
-2/7
Let h = 20133 + -60398/3. Let o = 0.094 - 4.994. Which is smaller: o or h?
o
Let c(k) = -20*k**2 + 8*k + 32. Let t be c(-5). Let v be t/8 + -1 + (-10)/(-4). Is -62 smaller than v?
False
Let p = 1.32 - 1.25. Let l = 0.21 - -8.79. Which is bigger: l or p?
l
Let b = 38.021 + -0.281. Which is greater: b or 1?
b
Let y = 0.326 + -0.29. Let c = 4.264 + y. Let l = -5 + c. Which is smaller: l or 0.1?
l
Let n be (250/(-7) - -3) + 1*-3. Let f = n - -186/7. Is f < -9?
True
Let z(r) be the second derivative of -r**3/2 - 2*r**2 - 8*r. Let k be z(-5). Let a be ((-16)/24)/(4/(-60)). Which is smaller: a or k?
a
Suppose -4*i + 24 = 3*b, -14 = -4*i - 4*b + 10. Suppose -15 = 3*v - i. Let r = -20.5 - -20. Is v <= r?
True
Let t = 322.5 - 322.5. Which is smaller: -719 or t?
-719
Let b(m) = 19*m + 55. Let j be b(-4). Let k be 22/j + (-13 - -14). Does k = -0.5?
False
Let c be (-684)/90 - 1843622/(-242520). Suppose 4*p = 2*n + 12, -p + 2*p = 3*n + 13. Which is bigger: c or p?
p
Let f = 208 - -232. Let q = 1312/3 - f. Is q > -3?
True
Let f = -2777460/13 - -213891. Let w = -721/3 + f. Is w at most as big as 0?
True
Let l = 13 + -4. Let w be (-7)/l + 2/(-9). Suppose 26 = 3*t + 4*f, 344*t - 340*t - 5*f + 48 = 0. Which is smaller: w or t?
t
Let q = -399 - -371. Let n be (-1)/(7 + 119/q). Is -2/3 < n?
True
Let c be (18 - -6 - 4) + -1282. Do c and -1260 have the same value?
False
Let x(y) = -y**2 + 1. Let r(h) = -h**3 - h**2 + 6*h + 6. Let w(i) = -r(i) + 4*x(i). Let o be w(4). Let f be (-30)/o + 22/(-8). Is -16 bigger than f?
False
Let q = 2/12477 - 17693/32540016. Which is greater: q or 0?
0
Let h(z) be the second derivative of -3*z**5/20 - 2*z**4/3 - 3*z**3/2 + 8*z**2 + 63*z. Let n be h(-4). Which is greater: n or 352/3?
352/3
Suppose -a = -3*n + 176, 0 = -2*a - 3*n + n - 376. Let p = a - -211. Suppose -1 = z - 4*r + 8, -5*z - 3 = r. Is p > z?
True
Let w(s) = -s - 12 + 3*s + 5 + 41. Let h be w(-15). Suppose 5*i + 5*g + 0*g - 10 = 0, 2*g + 2 = h*i. Which is greater: i or 3/28?
i
Let r = -126 - -134. Let m be 2 - (r - -6)/(-7). Is m at least as big as 2?
True
Suppose -101 = 4*s - 109. Suppose -s*k = 5*x - 52, -5*k = x - 0*x - 130. Let p(o) = 3*o - 6. Let r be p(10). Are r and k equal?
False
Let p = -748 - -752. Is 4/9 less than p?
True
Let s = 62 - 57. Suppose -394 = s*n + 236. Is n not equal to -127?
True
Let v = 78787/5 + -714478/45. Which is smaller: -121 or v?
-121
Let x(s) = 1283*s**2 + 143*s + 474. Let c be x(-3). Are 11592 and c non-equal?
False
Suppose 9*j - j - 168 = 0. Let r(q) = 3*q - 54. Let w be r(j). Suppose -34 = 2*s - 5*v - w, 10 = -3*s + 2*v. Is 7.4 less than or equal to s?
False
Suppose 0 = -3*f + 2*c + 7, 3*c + 5 = -1. Let t be (-3)/(-12) - f/(-28). Suppose -2*k - s = -20, -k + 30*s = 26*s - 19. Is k less than or equal to t?
False
Let t(n) = 171*n + 58. Let w be t(11). Let u be (-1 + (1 - -3))*w/(-21). Do u and -277 have different values?
False
Suppose 8 = 48*t - 46*t. Suppose t - 4 = 3*k. Are -2/259 and k unequal?
True
Let b = 89811309/1886 + -47620. Which is smaller: b or 1?
b
Let r = 102 - 7. Let k = r + -100. Let n be (((-135)/48)/k)/((-1)/(-6)). Which is bigger: n or 3?
n
Let z(b) = -b**2 + 10*b + 30. Let n be z(13). Suppose -2*l - 11 = -17. Is l < n?
False
Let g = 56325/232547419 + -7/33267. Which is smaller: -1 or g?
-1
Let n = 4/1135 + 45332/19295. Let w = 650 - 648. Which is bigger: n or w?
n
Let h be (-10)/6 - (-1)/(-3). Let d = 1583.3 + -274.3. Let x = d + -1308.83. Which is bigger: x or h?
x
Let s be ((6/3)/2)/(10/(-2090)). Is -208 != s?
True
Let o = -208 - -220. Let c be (17/(-867))/(-2 - (-50)/o). Which is smaller: 0 or c?
c
Let g(j) be the first derivative of -j**3/3 + 11*j**2/2 + 7*j + 11. Let q be g(12). Let x be 16/((q/2)/1). Do x and -5 have the same value?
False
Suppose 2*i + 2*i - 192 = 0. Suppose 3*n - i = -2*o, o - 68 = -3*o + n. Supp