Let n = o - 427951/2163. Which is greater: 1 or n?
1
Suppose 0 = 2*o - 333 + 255. Let c = o - -1. Are 159/4 and c non-equal?
True
Let i be -1 - ((1 - 1) + -2). Let m be (-4)/(-10) + (-985)/25. Let y be (13/m)/(i/(-6)). Which is smaller: 3 or y?
y
Suppose -4*q = -3*y + 10 - 1, -8 = 3*q - 2*y. Let t be 3 - (-1)/((-1352)/660). Let h = -2/169 + t. Do q and h have different values?
True
Let p = 14936 + -6710. Is p equal to 8225?
False
Let b(w) = w**3 - 4*w**2 - 2*w + 8. Let v(q) = 2*q**3 - q**2 - 2*q - 4. Let a be v(2). Let s be b(a). Which is greater: -1/6 or s?
s
Let r be (-6 - 11/(-2))*-8. Suppose -b - 4*o = 0, r*o - 37 = 4*b + 3. Do -5 and b have the same value?
False
Suppose 77204 + 5208 = -44*w. Let a be ((-23279)/(-87))/(2/(-14)). Let p = w - a. Is p at least as big as 0?
True
Let g = -22 - -31. Let c(r) = -r**2 + 13*r - 3. Let f be c(g). Which is greater: 34 or f?
34
Let o(i) = -i**3 - 5*i**2 - 3*i + 13. Let d be o(-3). Let v be (2/d)/((-3)/(-18)*1). Suppose 0 = -v*y + 6*y. Which is smaller: -2/21 or y?
-2/21
Let r(f) = -18*f**3 - 4*f**2 + 7*f. Let d be r(-2). Which is smaller: d or 99?
99
Let d be 2348/(-312) - 99/594. Which is bigger: -0.1 or d?
-0.1
Let q(w) = -3*w - 34. Let s be q(-14). Let i be (2*(-1)/s)/(1/(-8)). Suppose 4*g = 16, 0*g + i*g = -n + 7. Which is greater: -3/5 or n?
-3/5
Let n be (-85)/(-25) - (-2)/(-5). Suppose -n*x = 5 - 14. Suppose 71 + 528 + 105 = 176*u. Which is bigger: u or x?
u
Suppose 4*i = -5*s, i + 0 = 3*s + 17. Let v be 1 + ((-12)/38)/((-86)/(-1763)). Which is smaller: s or v?
v
Suppose -3*h + 2 - 17 = 0. Let r be h/(-10) - (-26)/(-6). Let k be ((-6)/8 - 3) + 3/(-12). Which is greater: k or r?
r
Let w = 9797 - 9798. Which is smaller: w or 8/205?
w
Let b = -29.64 - -71.64. Which is greater: 22 or b?
b
Let i = -0.18 + -0.82. Let h = 5702.21 + -5700. Is i at most h?
True
Suppose 0 = -109*h + 370*h - 2449190 - 2429944. Is h smaller than 18696?
True
Let u be -3*3976/(-2978) + (-4 - 0/(-26)). Is 0 < u?
True
Let c(v) = v**2 - 1331*v - 25649. Let k be c(-19). Let z be 3*(147/(-146) - -1). Which is smaller: k or z?
z
Let x be (6/(-4))/(15/284640*-8). Is x <= 3560?
True
Let l be ((-4)/3)/(32/(-48)). Suppose -8 + l = -3*h. Let v(u) = u**2 - 10*u + 19. Let k be v(5). Which is greater: k or h?
h
Suppose 183 = -3*n + 189. Let p be n*-1*680/80. Is p at least as big as -13?
False
Let k = 55.2 - 54. Let i = 0.15 - -1.65. Let f = i + k. Which is greater: 2 or f?
f
Let w = -260.048 + 261. Let p = -31.248 - w. Which is bigger: p or -2/7?
-2/7
Let l be 47/(-3 - 0 - -2). Let r = l - -52. Suppose -13 = -r*v + 7. Which is smaller: v or 1?
1
Let q(w) = 4259*w**2 - 2*w + 7. Let s be q(3). Let a = 421368/11 - s. Which is greater: -25 or a?
-25
Let t = -489 + 409. Let h = 49 - 48.97. Is h smaller than t?
False
Let m be (-38)/(-6) + (-28)/84. Suppose -m*x - 25 = -31. Which is smaller: x or -2/127?
-2/127
Suppose 5*x - 620 = 3*k - 8*k, 5*x + 640 = 5*k. Let a be 4/k*(-49)/(-21). Let l = -3 + 2. Which is smaller: l or a?
l
Let s(d) = 15*d - 39. Let v be s(3). Let r be 4/(-140) + v/(-15). Let p be 0/(-2)*(-4)/(-4). Which is greater: p or r?
p
Let c = -5 - -4. Let f = 905 + -1300. Let n be (-1 - 393/f)*-5. Which is bigger: c or n?
n
Let k = 107 - 106. Let f be (-1 - k*95/(-90))*4. Let c = -5 + 9. Which is bigger: f or c?
c
Let m be (-59 - -2)*30607/(-5061). Which is smaller: m or 344?
344
Let d = -23/568 + -8037377/9656. Suppose -23*q - 10487 = -29623. Let n = d + q. Which is smaller: -1 or n?
-1
Suppose 49*s - 19 = 30. Which is bigger: s or 2/131?
s
Let v = 10255 + -61681/6. Let d = v + 29/2. Is d less than -12?
False
Suppose 2*t = 4*o - 8 - 14, -3*t - 9 = 0. Let d(n) = 2*n**2 - 42*n + 148. Let m be d(17). Which is smaller: o or m?
o
Suppose -49*j + 58104 = -85*j. Does 1 = j?
False
Let t = -1.67445 + -0.02555. Let h(m) = 4*m + 17. Let r be h(-10). Which is smaller: t or r?
r
Let x be (-4)/((-3220)/3180 + 1). Which is smaller: x or 315?
315
Let r be (17 - 19)/(8 + (-168)/18). Which is bigger: r or 4/49?
r
Let x = 4801 + -7471. Is -2670 bigger than x?
False
Let x = 45 - 43. Suppose x*q = q + 3. Suppose -2*l = 5*m - 11, 5*l + q*m - 11 - 7 = 0. Is -1 greater than or equal to l?
False
Let k be (-1)/1*(-116)/(-6)*21/(-560). Which is greater: -1 or k?
k
Let x be 2/((-80)/(-88))*(-34825)/245. Is -313 != x?
True
Let j(x) = x**3 - 6*x**2 + 13*x - 38. Let b be j(5). Let n be ((-8413)/(-94))/(b/(-4)). Does n = -180?
False
Let y be 15 - 21 - 2/9. Let b(t) = t**3 + 9*t**2 + 8*t - 6. Let a be b(-8). Which is smaller: y or a?
y
Let n be ((-6)/(-4))/(-2*21/(-11004)). Does n = 1575/4?
False
Let q be 524/(-22) + (-4)/22. Let v be (3/(-4))/(q/64). Suppose v*h - 1 - 7 = 0. Do -3 and h have different values?
True
Let j be -13 - (24*(-9)/(-144))/(3/4). Which is smaller: -153/10 or j?
-153/10
Let m be (20/8 - 3) + 1. Suppose -4*z + j = -2*z + 214, 4*z = -5*j - 372. Is z at least m?
False
Let j = 0.157 - 0.069. Let n = j + -20.088. Let c = n + -14. Which is smaller: 2/3 or c?
c
Let p(m) = -11*m + 17 + 17 + 509*m**2 + 2*m. Let y be p(3). Let j = y + -435864/95. Which is smaller: 0 or j?
j
Let a be 2/(-3)*(252 + -3 + 9). Is a < -683/4?
True
Let l be (12/14 + -1)*1771/66. Let u = 0 - -3. Let j be (2 - 3)/(u/9). Which is greater: j or l?
j
Let q = -1581 - -1927.8. Let x = 347 - q. Is x bigger than -2/5?
True
Let z be 1725/(-138)*(-1)/((-2)/(-4)). Let v be 685*10/z - 5. Which is smaller: v or 268?
268
Let g = 39089 - 39090. Which is bigger: g or 2/44553?
2/44553
Let y = -14569 + 12474. Is y > -2095?
False
Let g(b) be the first derivative of b**3/3 - b**2/2 - 8*b + 4. Let q be g(5). Let z be 1/((-5)/q)*18/24. Which is smaller: z or -3?
-3
Let d = 12 + -8. Let z be (-3 + d)*(51 - 0). Suppose 0 = -5*g + 121 - z. Is g at least as big as 12?
True
Suppose -9*b - 28*b - 86 = 6*b. Is b at least as big as -212?
True
Let c be 68/6*(0 - (-18)/4). Suppose 52*i - 4*d = c*i - 58, -4*i - 157 = -d. Is -38 less than or equal to i?
True
Let t be 549/(-122)*2/(-3). Suppose 6*y = t*y + 84. Is y <= -2?
False
Let k = -0.1897 - 1.6103. Which is bigger: -1.3 or k?
-1.3
Suppose -5*q - 665 = -5*x - 700, 0 = -5*q + 15. Is x at most as big as 922?
True
Suppose -51925 - 8810 = -15*u. Are 4050 and u equal?
False
Suppose 43 = -9*r + 16. Let q be 30/(-10)*1/r. Suppose 2*n + b + 0 = -q, 5*n = 5*b + 20. Are 1 and n equal?
True
Let u be (-8)/71666*(-2625)/(-3750). Is u at least as big as 0.1?
False
Let n = -28437 - -28431. Which is greater: 44 or n?
44
Let f be 1645 - (-144)/((-171)/(-19)). Are f and 1660 nonequal?
True
Let h be (329/141)/((-1)/(-3) - 0). Suppose -16*q = -20*q + 20. Suppose 16 + 14 = q*k. Which is smaller: k or h?
k
Let q = 723 + -749. Let t be 1/(2/31) - 13/q. Do t and 29/2 have different values?
True
Let j = 258 + -305. Which is greater: -229/5 or j?
-229/5
Let w be (-280)/(-16)*(-1)/(5/(-4)). Let v be (-28)/(-10)*24/w - 2. Suppose 0 = -0*p + 4*p - 4*z - 4, -5 = -2*p + z. Which is smaller: v or p?
v
Let z be (16/(-40) + (-36)/(-15))*2*-2. Is 172 less than or equal to z?
False
Let k = 71 - 67. Suppose 85 = k*x - 159. Let a = x - 61. Which is smaller: a or 1/6?
a
Let s(c) = -c**3 - 11*c**2 - 40*c - 61. Let g be s(-6). Which is bigger: g or 11/128?
11/128
Let b = 197.1 - 187.1. Let q be 3 + 12/(-8) - 0. Which is smaller: q or b?
q
Suppose 4*f - 2*s - 51196 = 0, 5*s - 64040 = -51*f + 46*f. Is 12804 < f?
False
Let h = -8 - 54. Let a = -62.39 - h. Let n = -1.39 - a. Which is bigger: n or -1.7?
n
Let m(s) = 18*s**3 + s. Let a be m(1). Let u = -1332 + 1911. Let o = u - 560. Is a < o?
False
Let q be (-4)/18 + 20636/(-1260). Suppose 3*b = 0, 0 = 5*d + 4*b + 47 + 33. Are q and d equal?
False
Let u = -5093 - -1313. Let p be (756006/125)/(152/(-95)). Let l = u - p. Which is smaller: -1 or l?
-1
Let j = 64 - 49. Let x = j - 13. Let b be (-1 - x)*(-7)/(-63). Are b and 1 unequal?
True
Suppose 0 = -0*g - 2*g - 12. Let f(d) = 3*d**2 + 465*d + 2666. Let t be f(-149). Which is greater: t or g?
g
Let l be 84/(-30) + 3 + (-184)/20. Let i be 45/75*(-15)/l. Which is smaller: i or 415?
i
Let k = 4.76 - 4.96. Let x = 3872/49 + 3667/49. Let q = x - 155. Is k < q?
False
Let i(b) = -2*b - 20. Let d be 0 - 6/33 - (-675)/(-99). Let z be i(d). Let h(r) = -r - 3. Let m be h(z). Is 1 less than m?
True
Let v be 4 + (