et r be (-4)/(-2) + -1 + -116. Let l be (7 + -49)*(12 - (-111)/(-12)). Is l greater than or equal to r?
False
Suppose -3*q = -5*u + 2335, -13*q = -12*q - u + 779. Let t be (q/45)/((-5)/(-3)). Which is greater: -9 or t?
-9
Let i be 47 + -39 - (-2)/(-20)*58. Is i greater than or equal to -0.1?
True
Let i = 13156 + -28084. Does -14928 = i?
True
Suppose -13*p = -14*p + 2*j + 11, -4*p - 4*j = 40. Let c = -16/1439037 + -3439760749/1561355145. Let n = c - -2/651. Which is greater: p or n?
n
Let m = -184 - -551. Let k = -12824 - -12824.1. Are k and m non-equal?
True
Suppose -2*g + 5*g = 5*v + 42, 3*v = 9. Suppose 0 = 17*p - g*p + 36. Suppose 6*y + 12 = p*y. Is -4/13 > y?
False
Let i = -4270 - -4272. Which is bigger: -18/17 or i?
i
Suppose -5*u + 3*m = 2556 + 646, -3*u + 5*m - 1918 = 0. Let x be (-1)/3*-1923*(-1 - 0). Is x at least as big as u?
True
Let b(o) be the first derivative of -8*o**3/3 + 28*o**2 - 6*o + 101. Let d be b(7). Is d != -8?
True
Suppose -2*w = t - 5, -2*t + 0*t = -3*w + 4. Let h be ((-112)/(-60) + w/(-1))/1. Which is smaller: h or 0.3?
h
Let r(i) = 2*i**3 - 13*i**2 + 23*i + 11. Let l be r(5). Let j be 4574/90 + 2/(-9). Let a = l - j. Is 1 smaller than a?
False
Let n(q) = 3*q**2 - 102*q - 106. Let d be n(35). Let i = -56672471/184 - -1231973/4. Let h = -75/8 - i. Is d bigger than h?
False
Let n = 18249 + -18215. Suppose 2*j = -0*j + 70. Is n != j?
True
Suppose l - 15 = -5*k - 11, l + 4*k = 3. Which is smaller: 266 or l?
l
Suppose 5*b - 4*d = 2*b - 290, 4*d = -4*b - 452. Is -106 greater than or equal to b?
True
Let d(q) = q. Let j be d(-6). Let p be j/9 - (-6)/9. Let o = 1588/10491 - -2/807. Which is smaller: o or p?
p
Let w(v) = -v**2 - 8*v - 7. Let l be w(-6). Suppose s - 2 = l*y + 8, 4 = -2*y. Let j be ((-4)/(-6))/(22/(-6)). Is j > s?
False
Let b be -3 - (10/6)/((-1)/6). Suppose b*z = 6*z + 6. Let h be 2/10 + (-7)/((-140)/z). Do 2.7 and h have different values?
True
Let f = -1256/1029 + 87215/3087. Let l be (-1199)/(-63) - ((-372)/42 + 8). Let b = l - f. Which is greater: b or -8?
b
Let g = 58 - 39. Let d = 18 - g. Let b = d + 6. Which is smaller: -0.1 or b?
-0.1
Suppose l + l - 11 = 5*q, 25 = -5*l - 5*q. Suppose -159 = 4*i + 1281. Let t be i/462 - 1/(-7). Which is greater: l or t?
t
Let r be (-10 - -18 - 170/3)/(6/(-63)). Which is bigger: r or 518?
518
Let v = -20392/99 + 206. Let n = 2 - 3. Which is greater: n or v?
v
Let y = -9984.3 + 9984. Which is smaller: y or -547?
-547
Suppose -1 + 27 + 3 = -29*d. Which is greater: -16/419 or d?
-16/419
Let f(w) = -4*w**2 - 2*w. Let r be f(1). Let i(y) = -4*y - 20. Let k be i(r). Let h(d) = d**2 + 6*d - 1. Let b be h(-7). Is b not equal to k?
True
Let j = 59 + -59. Let h = 1091798 - 473840705/434. Let w = h + 1/434. Do j and w have the same value?
False
Let i be (-2563090)/3285 - (21/27 + -1). Let u = 780 + i. Which is smaller: 1 or u?
u
Let b(u) = -22*u - 25. Let d be b(-1). Let x be d/(-7)*-14*(-1)/2. Is 1/25 bigger than x?
False
Let o = 12492 - 12492. Is o greater than 17/29?
False
Let t = -28 + 28. Let w = 28 - t. Let l = -30 + w. Is l >= -1/12?
False
Let j = 1.077 - 0.92. Let b = -4.157 + j. Which is greater: 26 or b?
26
Let x(v) = -2*v**3 - 47*v**2 - 21*v - 16. Let b be x(-21). Which is smaller: -1777 or b?
b
Let l(s) = -2*s**2 - 171*s - 3899. Let c be l(-27). Which is smaller: -739 or c?
c
Let n = -41 + -5.2. Let z = n - -55. Is -1 at most as big as z?
True
Let q(h) = -h**2 + 6*h + 6. Let x be q(7). Let i = 0.06017 + -0.17917. Is x > i?
False
Let v(q) = 2*q + 8. Let x be v(20). Suppose -10*a + x = 2*a. Which is smaller: 38/9 or a?
a
Let n = -10336 + 10335.8. Which is smaller: -29.93 or n?
-29.93
Let h(i) = -i**2 + 3*i - 4. Let x be h(0). Let u be x/20*(-5)/(-2)*-6. Let g(v) = -v**3 - v**2 + v + 5. Let j be g(0). Is j <= u?
False
Let t = -1219/2 - -609. Let l = 0.39 - -14.61. Is t smaller than l?
True
Let f = -8910.6 - -8911.6. Let q = -6.984 + 7. Does f = q?
False
Suppose 5*d - 2 = -4*q - 23, -6 = 2*d + q. Let y be (-105)/945 - (-376)/(-78) - -1*5. Which is bigger: d or y?
y
Let a = 73796/27 + -2733. Is 1 at least as big as a?
True
Let z be (-2)/(-8) - (-15)/4. Suppose 130 = -22*o - z*o. Which is bigger: o or -7?
o
Let l(x) = -507*x**3 + 18*x**2 - 18*x + 1. Let n be l(1). Which is bigger: n or -508?
n
Let r = -192.219 + 192. Let u = -0.019 - r. Which is bigger: u or 38/9?
38/9
Let r = -2.3016 - 45.6984. Which is smaller: 240 or r?
r
Let p = 7317 - 7320. Let c be 0 + (-2)/(-138)*2. Is c at least as big as p?
True
Suppose 11*p - 49 = -16. Let k be p/2 - 1*(-3)/(-2). Which is smaller: 0.41 or k?
k
Let k(w) be the second derivative of w**3/6 + 7*w**2 - 26*w + 1. Let x be k(-13). Which is smaller: 5/23 or x?
5/23
Let r be 50/40*60/(-150). Is r != -4/73?
True
Let q = 29052 + -29051.795. Is q > 20?
False
Suppose 0*y = 6*y - 30. Suppose 0 = y*f - 2*f - 6. Suppose -f*w + 21 + 11 = 0. Is w <= 15?
False
Suppose -d = -2*d - 38. Let w(n) = 12*n**2 - n. Let z be w(2). Let t = d + z. Which is greater: t or 9?
9
Let c = -192.9 - -77.2. Let n = c - -116. Which is bigger: n or -30?
n
Let p(l) = -72*l - 1575. Let q be p(-22). Are q and 250/29 unequal?
True
Let k(w) be the third derivative of -w**6/120 - w**5/12 + w**4/3 + 2*w**3/3 - 33*w**2. Let i be k(-3). Is -40 > i?
False
Suppose 0*f + 90*f = 85 + 5. Which is smaller: f or -2/7925?
-2/7925
Suppose 96 - 177 = -81*i. Which is smaller: i or 12/187?
12/187
Let w be 36/273 - 4/14. Let h = -136 - -151. Let f(m) = 2*m**2 - 31*m + 11. Let p be f(h). Is w < p?
False
Let l = -0.2926 - -194.9926. Let g = 195 - l. Are -0.05 and g non-equal?
True
Let k = -6140716/8171607 - -4/45147. Which is greater: -2 or k?
k
Let y = 10.36 + -9.9. Let a = -271/62 - -120/31. Is a less than or equal to y?
True
Suppose -19*g - 121 = -1318. Let x be 8/24 - (0 + 370/(-6)). Which is greater: g or x?
g
Let g(t) = -t. Let y be g(-3). Let p be 1/(-4) + y/(-4). Let r = 263/11 + -25. Do r and p have different values?
True
Let x = -304 - -307. Suppose 3*i + 30 = -x*a, 3*a - 5*i + 60 = 6. Let q be 107/(-7) + (-4)/(-14). Which is smaller: a or q?
q
Let j be (-13580)/(-776)*711/5. Are 2488 and j unequal?
True
Let j = 28128 + -22322. Is 0.1 at least as big as j?
False
Let m be -2 + ((-2)/(-4) - 7767/(-78)). Let d = m + -98. Which is greater: 1/4 or d?
1/4
Let l = 1228.1887 - 1228. Is l at most 0.2?
True
Let v(r) = 4*r**2 - 6*r - 5. Let m be v(3). Suppose -g - 3 = t, -5*t - 4*g + g - m = 0. Let q be 18/16 + -1 + -2. Do t and q have different values?
True
Suppose 15*o - 330 = 1530. Let k = -124 + o. Do k and 3/52 have the same value?
False
Suppose -95 = -2*d - p, 5 = p + 10. Suppose -3*q + 88 = -d. Which is greater: q or 91/2?
q
Let i be (-424)/(-2)*(-16)/64. Does i = -43?
False
Let a = 1.41495 - 0.10495. Which is smaller: -0.9 or a?
-0.9
Let v be 22/(-14) + (-18)/42. Let f be (-491 + 2)/((-15)/v). Let t = f + 66. Which is greater: t or -5?
t
Let d(l) = -l**2 - 2*l. Let u be d(0). Let g(x) = x**2 - 16*x - 25. Let i be g(17). Let a(z) = -6*z - 47. Let s be a(i). Which is smaller: s or u?
u
Let c be 20/(-5) - -6 - 2*-1. Let t(b) = -36*b**3 - b**2. Let k be t(-1). Suppose c*n + 9 = -k. Is n bigger than -15?
True
Let p = 4179 - 1140866/273. Is p less than or equal to 0?
False
Let z = 2.06 + -0.06. Let l be ((-9)/(-2))/3*(29 + -1). Let y be 8/126*(-63)/l. Is y greater than z?
False
Suppose -x - 4*r + 7270 = 0, x - r + 2414 - 9659 = 0. Let o be x/(-225) - 2/(-9). Let j = o + 37. Is j less than -0.2?
False
Suppose 24 = 36*y - 84. Suppose 8*l + y*x = 12*l - 176, 2*l - 88 = -x. Which is bigger: l or -2?
l
Let q = 1.36 + -88.36. Let a = -0.154 - -87.254. Let f = a + q. Which is smaller: f or 25?
f
Suppose 4*v - 12 = -4*r - 0*v, r - v + 1 = 0. Let d = 290817/34 + -8553. Is r equal to d?
False
Suppose 0 = 5*l + 25, -5*p = -37*l + 34*l - 4085. Is p < 808?
False
Suppose -44 = 2*g - 54. Suppose 2*a + 11 = o, -2*a + 5*a + 55 = g*o. Which is smaller: 12 or o?
o
Let s(l) be the second derivative of -l**3/6 - l**2/2 - 6*l. Let m be s(-5). Suppose 0 = 6*i + m*i + 70. Is i greater than -7?
False
Let q be (-65 - -4)*5/(-5). Let a = q - 69. Are -16 and a equal?
False
Let l be ((-15)/6 - -3)*((-28)/3)/14. Which is smaller: -37/29 or l?
-37/29
Let m be -2*(-1 - (1 - 0)). Let o = -8906 + 8918. Is o less than m?
Fal