3*h - 6 = 0, 2*i - 3*h + 3336 = -6*h. Is -1664 less than i?
False
Suppose 4*n + 8 = -0. Let u be ((-66)/14 - n) + (-2)/7. Which is smaller: u or -2?
u
Let a(x) = -x + 2. Let o be a(-7). Suppose s - o = 4*s. Let b be 5*(2 - 12/5). Are s and b unequal?
True
Let m = -1063059/430 + 4945/2. Let x = -3/43 + m. Is x greater than 0?
True
Let m = -571 - -823. Is -0.1 bigger than m?
False
Let z be 2 + (0 - 3) + (-44868)/19. Let j = 2363 + z. Which is bigger: j or 0?
j
Let l = 2 + 3. Let w be (5/(-10))/(l/(-570)). Is -0.1 greater than or equal to w?
False
Let b = 0.464 - 0.064. Which is greater: -5/4 or b?
b
Suppose r + 98 = -4*g, -5*g = -10*g + 3*r - 114. Let c(m) = -4*m**3 + 2*m**2 - 2*m + 3. Let j be c(2). Which is smaller: g or j?
j
Suppose 4*l + 4*i - 188 = -l, -2*i = 6. Suppose -4*y - y - l = 0. Let n = y + 11. Is 1 <= n?
True
Let s be (6/4)/((-1)/(-2)). Suppose -r - 2*r = 4*c - 243, -c + 72 = s*r. Let u = c + -227/4. Which is bigger: -1 or u?
u
Let x be -3 + -1 + 112/20. Let j = 10 - 10. Suppose -4*u - 4*y + 4 + 16 = j, 4*u - 5*y - 2 = 0. Are u and x equal?
False
Suppose 9*t = 109 + 134. Let y be (-14)/(-21)*t/2. Suppose 3*v + 3*j + 2*j = 41, j - 4 = 0. Do v and y have different values?
True
Let p = -2 - -5. Let m = -33 + 37. Which is smaller: p or m?
p
Let m(r) = 4*r + 52. Let u be m(-11). Which is smaller: 28/3 or u?
u
Let v(j) = 3*j - 4. Let s be v(3). Which is smaller: s or 51/8?
s
Let q = -439 + 440. Is -1/326 greater than q?
False
Let d = -228 - -221. Let a(k) = -k**2 + 5*k + 2. Let g be a(5). Suppose 0 = -2*i + g, 2 + 16 = -2*y + 2*i. Which is smaller: d or y?
y
Let k be (-1 - 9/(-6))*-14. Let y(s) = -s**2 - 5*s + 14. Let b be y(k). Which is greater: b or 2/107?
2/107
Let g = 286 + -303. Is -18 less than g?
True
Let m be (-7)/(-6) + 1/(-2). Let s = -2399/30 - -80. Which is bigger: s or m?
m
Suppose -19 + 47 = -2*l. Let t be ((-12)/l)/((-6)/(-21)). Let k be 2/(2 - t - 1). Which is greater: -1/16 or k?
-1/16
Let y be ((-8)/(-12))/((-2)/(-27)). Suppose -4*a = -a - 2*t + y, 3*a + 9 = 3*t. Suppose -4*v - 4*c = -c - 1, 19 = -2*v + 5*c. Which is smaller: v or a?
a
Let n = 31087/66 + -471. Suppose -3 = d - m, 0 = -d - 3*m - 2*m + 21. Which is greater: d or n?
d
Let k = 27 + -45. Let d be 123/18 - 3/k. Suppose 3 = 2*g - d. Is 22/5 greater than g?
False
Suppose -2*g - 225 = z, 0*g + 2*g + 2*z + 226 = 0. Let f be g/(-342) + (-4)/18. Suppose u - 3*o = -5, -216*o + 221*o = 4*u + 6. Which is greater: u or f?
u
Let d = -437 - -838. Let h = -5207/13 + d. Let z = -2 + 2. Which is smaller: h or z?
z
Let l = -5926 + 2186692/369. Let p = -433/11808 - l. Does -1/5 = p?
False
Let u = 3 - -19. Suppose 3*s - u = -58. Which is smaller: s or -32/3?
s
Let w be -7 + 3/4*(-25 + -263). Are -223 and w equal?
True
Let q be (36/(-30))/((-3)/(-10)). Let r be (-548)/36 + q/(-18). Suppose 0 = -2*u + 12 - 42. Is r != u?
False
Let q(m) = 9*m**3 - 10*m**2 - m + 7. Let g be q(-7). Let a = g - -17879/5. Are a and 14 unequal?
True
Suppose 28 + 0 = 2*r. Let l(m) = -m**2 + 15*m - 14. Let y be l(r). Which is greater: y or -5?
y
Let m = 314.9 + -307. Is m at most 4?
False
Suppose g = -3*g + 12, 3*b + g = 9. Let t be (b/258)/(102/(-54) + 2). Is 0 not equal to t?
True
Let z(v) = v**3 + v**2 - 2*v + 21. Let f be z(0). Let g(q) = 48*q**2 - q + 1. Let t be g(1). Let d be (t/f - 3) + 1. Which is bigger: d or 5?
5
Let y be ((-2)/(-3))/((-6)/(-9)). Let t be (y - 8)*(5 - 6). Suppose 10*r = t*r - 3. Is r less than -2?
False
Let a(s) = -s**2 - 25*s + 34. Let d be a(-26). Let g be d/10 - 3388/35. Is g at least -96?
True
Let k(r) = 2*r + 24. Let t = 30 - 42. Let u be k(t). Let v be 1 + 1 + (-3 - 0). Is v less than u?
True
Let p be (-148)/10 - (-10)/(-50). Let k be (-22)/(-5) + 9/p. Is k at most 3?
False
Let q be (3/1080*3)/(40/50). Which is bigger: -1 or q?
q
Let w = -1108 - -1108. Which is smaller: w or 2/1359?
w
Suppose 2*x = -4*l - 4, -x - x - l + 11 = 0. Let d = x + -9. Let q(m) = m**3 + 3*m**2 + 2*m + 3. Let a be q(-2). Is d at least a?
False
Let r be (-15)/(-3) + 3*20/(-15). Does r = -1/197?
False
Let f = -400 - -6002/15. Suppose 0 = 4*b - 4. Which is smaller: f or b?
f
Let l(q) = 2*q + 4. Let d be ((-4)/5)/((-6)/(-30)). Let j = d - 0. Let b be l(j). Which is smaller: b or -15/4?
b
Suppose -124 = -8*n - 52. Let d be n/(1/2 - (-6 + -10)). Let x(a) = -a**3 - 4*a**2 + a + 5. Let k be x(-4). Do d and k have different values?
True
Let t = 3 + 10. Let o = -23 - t. Which is smaller: -0.1 or o?
o
Let h(b) be the third derivative of b**6/120 + 2*b**5/15 + b**4/24 + 7*b**3/6 + b**2. Let a be h(-8). Let j = -1/998 + 501/1996. Which is smaller: a or j?
a
Let g be ((-78)/(-13637))/(-5 + 2). Which is greater: 1 or g?
1
Let x(p) = 10*p - 3. Let q be x(1). Let z(v) = v**3 + 9*v**2 - 11*v - 2. Let a be z(-10). Is a less than q?
False
Let n be ((-66)/44)/((-1)/2). Suppose -66 = -n*z - 8*z. Is 8 equal to z?
False
Let p = -105 - -156. Let u = p - 50.7. Is -0.1 less than u?
True
Let w = 97311/53 + -1836. Which is bigger: w or -3?
w
Let d be 3/((-23)/23 - (157 - 0)). Which is smaller: d or 0?
d
Let t = 10 - 3. Let z = -68 - -83. Let w = z + -16. Is t at least as big as w?
True
Let i = 1864/3 + -627. Let a = 32 - 29. Suppose -4*j - 5*p - a = 26, -2*p = 2. Which is bigger: i or j?
i
Let b = -71 - -71. Is b bigger than -110?
True
Suppose 15 + 0 = 5*o. Suppose 12 = -0*t + 3*t. Let l be (8/t)/(-14)*o. Is l bigger than 1?
False
Suppose 6*a = a. Suppose 7*d - 8*d = a. Which is greater: d or 19?
19
Let n(y) be the first derivative of y**2/2 - 4*y - 4. Let u be n(9). Let p be (3/u)/(5/(-25)). Which is bigger: -2 or p?
-2
Suppose 5*r + 15 = -3*b - 21, -2*r - 4*b = 6. Suppose -2*a = -3*w - 27, 5*a = w + 2 + 7. Is w > r?
False
Let j = -6/259 + -9150/7511. Is 0 less than j?
False
Let b(p) = p**2 - 6*p + 10. Let i be b(4). Suppose -2*o + i*q - 15 = 3*o, 22 = -2*o + 4*q. Which is bigger: -5/43 or o?
-5/43
Let r = -65 - -37. Let t = r - -32. Which is bigger: 3 or t?
t
Let z = 285 + -284. Is z greater than -13?
True
Let j be (-4)/10*(-120)/(-8). Let g = -2 - 1. Let b be g*1/j*-2. Is b < -1?
False
Suppose -4*s + 13 = 4*n + 1, -3*s + 3*n - 9 = 0. Is s at most as big as 3?
True
Let q = 12 + -12. Suppose 4*g + q = 16. Suppose 3 - 60 = g*k + 5*j, 5*j = -3*k - 49. Is k <= -7?
True
Suppose -22*j - 45 = -1. Let f(a) = a**2 + 7*a + 7. Let l be f(-6). Suppose -l = -4*g - 5. Is j at least as big as g?
False
Let r(y) = -3*y**2 + 2*y - 5. Let h be r(0). Let j = -0.4 + 0.2. Let w = 0.1 + j. Is w bigger than h?
True
Let i = -283 + 283. Which is smaller: -1/5 or i?
-1/5
Suppose -4*r - 16 = 16. Let y be -3 + 2*(-4)/r. Let t be -2 + y/(-9)*6. Is -2 at least t?
False
Let v = 12 + -16. Is v not equal to -0.019?
True
Let g = 2661 - 3079. Is g less than or equal to -415?
True
Suppose 0 = b - 3*v + 12, -3*b + 0 = 4*v + 49. Suppose -1 = 26*f + 389. Do f and b have the same value?
True
Suppose 7*h - y + 32 = 2*h, 2*h + 3*y = -23. Is h not equal to -25/4?
True
Let s be (4/(-6))/(52/(-6)). Suppose 2*n - 2*h = 0, 30*h - 2 = n + 27*h. Which is greater: n or s?
n
Let i = 73 - 69. Is -24 not equal to i?
True
Let k be ((-386)/(-4))/((-3)/2). Let q be -55 - 16/((-8)/(-4)). Let y = q - k. Which is smaller: 0 or y?
0
Let o(h) = -h**2 + 2*h. Let b be o(3). Let s be (1/b)/((-13)/312). Suppose 1 = 4*q + 5. Is q > s?
False
Suppose 3*g - 4*g + 5*c = 1, -g - 1 = 5*c. Let r be (-33)/12*12/1. Let o = r + 100/3. Which is smaller: g or o?
g
Let k be (-24)/(-810)*7 + 4/(-5). Which is greater: -1 or k?
k
Let y = -74 + 47.5. Let i = -5.4 - y. Let d = i + -20. Is 1/3 bigger than d?
False
Suppose 165323 = h - 310305. Let d = h - 102735295/216. Let g = 34/27 - d. Is 0 at most as big as g?
False
Let d be 141/27 + (-7 - -2). Suppose 12 = 2*r + 2*r, 5*v + 27 = 4*r. Which is smaller: v or d?
v
Let d = -146 + 140. Which is bigger: -39/7 or d?
-39/7
Let r = -822.72 + 804. Let k = 0.28 - r. Let w = 18.83 - k. Which is bigger: w or -0.1?
-0.1
Let p = 19 + -19. Let n(d) = -d**3 - d**2 - d + 12. Let g be n(p). Suppose 0*j = -2*j - g. Which is bigger: -3 or j?
-3
Let l = -14 + 26. Suppose -3*g - l = -2*g. Let h(w) = -w**3 - 12*w**2. Let q be h(g). Is -1/7 at most as big as q?
True
Let v = -5672 - -9071. Let w = -23754/7 + v. Which is greater: w or 5?
w
Let j be 25208/(-138) - (3 + 1). W