0. Is i < f?
False
Let n = 3267 - 3267. Are n and -2761 equal?
False
Suppose 3*n = n + k - 24, 5*n = -5*k - 75. Let z be (-180)/4550 - (-1 - 11/n). Which is smaller: 0 or z?
0
Let u = -315 - -315.053. Let j = -82.053 + u. Is 0 greater than or equal to j?
True
Let j(h) = h**2 - 12*h. Let w be j(9). Let s be (-4)/18 + ((-222)/w - 1). Suppose 5*a + 0 = 15. Which is smaller: s or a?
a
Let v = 880.8 - 703. Let k = 178 - v. Which is bigger: k or 1/27?
k
Let r be (-2 + -1)/((-3)/54). Let p = -193 - -144. Let g = r + p. Which is smaller: 2/11 or g?
2/11
Let n = 114227/1981210 + -18/6391. Is n != 1?
True
Let m = -729.61 + 733. Let k = 1.39 - m. Is -1 not equal to k?
True
Let y = 5777.1 + -5777. Which is smaller: -2019 or y?
-2019
Let h = 76704 - 76704. Let z = -6/631 - -1979/274485. Which is smaller: h or z?
z
Let j = 34 - 31. Suppose 0 = -3*l + 6, -4*n - n - j*l + 56 = 0. Let o be (-7)/(-14)*(-8)/n. Which is greater: o or 0?
0
Suppose 4*h = -2*t - 2562, 18*h - 14*h + 2567 = -3*t. Which is smaller: -637 or h?
h
Let d(r) = -10*r**3 + 9*r + 11. Let q be d(-9). Let k be (4/(-18))/(q/(-30)). Which is bigger: -1 or k?
k
Let w(r) = -2*r**2 - 172*r**3 - 164*r**3 + 97 + 337*r**3 + 3*r. Let d be w(0). Is 97 at most as big as d?
True
Let y = 338 - 542. Let z = 70 - 79. Let k be (-1)/(y/64) - (-3)/z. Is k > 1?
False
Suppose -4*n + 682 = 2*s, 3*s = -4*n + 332 + 349. Let g = n - 172. Do g and -1/47 have different values?
True
Let j be ((-95)/10 + -1)*2/(-3). Suppose -t + 2*w = j, 3*t + 5*w - 10 = -2*t. Which is smaller: t or -1/122?
t
Let r = -43457 - -43463. Let d = 99 + -17. Let i be d/15 - 2/(-6). Is r smaller than i?
False
Let b be (4/20)/(13608/(-585) - -11). Is b at least 0?
False
Let p(i) = 2*i**3 + 252*i**2 + 237*i - 1632. Let f be p(-125). Let s be (1 - 0)/(3/6). Suppose -2*r - q = 10, -2*r + 0*r - 4*q = -s. Does r = f?
True
Let z be 0/(-2 - -7 - 6). Suppose -23 = -z*s + s + 2*u, 0 = -5*s + 4*u - 45. Is s <= -25/2?
True
Let c(i) = -4123*i + 2. Let n be c(1). Is n < -4122?
False
Let d(s) = 2*s**2 - 9*s - 23. Let i be d(10). Let t = -129 - -46. Let f = i + t. Is 3 less than f?
True
Suppose 6396*p + 9213 = 6359*p. Is p less than -267?
False
Let o = 5829677/2598966 + -821/366. Is 0 at least o?
True
Let r(v) = v**2 + 2352*v + 108352. Let p be r(-47). Suppose -70 = -4*m - m. Which is greater: m or p?
p
Let d = -0.00035 - 0.09965. Which is greater: 4355 or d?
4355
Suppose -952 = -8*q + 3*x, q + 42 - 140 = 3*x. Let p = 345 + -224. Which is greater: q or p?
q
Let d = -6 + 29. Let o(t) = -19 + 12 - 4*t + d. Let v be o(14). Are -41 and v nonequal?
True
Let o = -5961/4 - -1490. Let i = -975/2 + 73129/150. Which is smaller: o or i?
o
Let t(a) = a**3 + 16*a**2 + 19*a + 21. Let z be t(-9). Let h = z - 536. Is h != -117?
True
Let b = -1.844 + 1.88. Let m = 0.184 + b. Are m and -4 equal?
False
Let f be 2/19 + (0 - 705/19). Let x be (13 - 17) + (-2 - f). Which is smaller: 35 or x?
x
Suppose -q - 5 = 0, -6*o - 5*q = -2*o - 4195. Suppose -o + 650 = 3*y. Which is greater: y or -133?
-133
Let y = 46 - 81. Let a = y - -35. Let j be -1 - a/(5 + -1). Do -2/13 and j have different values?
True
Suppose -h - 31*w + 35*w = 9463, 0 = -2*h - w - 18944. Is -9472 < h?
True
Let j = 57/1849 - 607423/210786. Let h = j + 7/38. Let m = -0.444032 + 0.544032. Is m greater than h?
True
Let i be (-59)/(-235) - 65/325. Is i less than -1?
False
Let n be (-2 + 94/4)*-2. Let i = 29 - n. Let o be 18/i + 226/(-72). Is o less than -3?
False
Let s = -559/5 - -307994/2755. Let r = s - 27523/4959. Is -7 bigger than r?
False
Let j be (7 - (-1002)/(-150))/(2*(-2)/466). Which is greater: -38 or j?
j
Let y = 0.95 - 2. Let v = y + 0.55. Let k = -1.1 + v. Do k and 2 have the same value?
False
Let o be (-245)/28*110/(-11)*-8. Which is smaller: -697 or o?
o
Let h(g) = -2 - 5 + 5*g + 6. Let p be h(-1). Let j be -8 + (-602)/(-21) - 2/p. Is j not equal to 67/3?
True
Let a = 75 - 145. Let r = 387 - 316.9. Let i = r + a. Is -39 > i?
False
Let w = -43775 + 43773. Let l = 490/783 - 16/29. Are l and w nonequal?
True
Suppose 4*v + 943 = 3*q, -5*v = 2*q + 1426 - 253. Suppose -448*l + 463*l = -3510. Which is greater: v or l?
l
Let y(i) = -i - 2. Let r be y(2). Let l be 45 + 4 + r + 2. Let v = l - 43. Which is bigger: -5 or v?
v
Suppose 153*s + 2180 = 157*s. Suppose 0 = -540*z + s*z + 170. Is -100/3 less than z?
False
Suppose 0 = -4*f - y - 29, -f + 4 + 15 = -5*y. Let x be (f/(-8))/(3/(-2)). Let k(h) = h**3 - 3*h**2 - 25*h - 23. Let u be k(7). Is x at most as big as u?
False
Let a = 743.3 + 6.8. Let j = -750 + a. Is 18/41 < j?
False
Let l = 224.9 + -225. Is 1.57 at most l?
False
Let n = 11662 + -10412. Are 1249 and n equal?
False
Suppose 4*l + 6*l = 3*j + 40, -3*j - 20 = -5*l. Let f = 338.02 + -333. Let c = f - -0.88. Which is smaller: c or j?
j
Suppose -10387 = -31*b - 10263. Suppose 4*d = 2*x - 19 - 11, d + 2*x = 0. Is b at least as big as d?
True
Let b = -380.8 + 381. Let f = -25 + 26.2. Is f not equal to b?
True
Let w = -12 - -16. Let s = -97.8 + -2.2. Let q = 104 + s. Are w and q equal?
True
Let f(x) = -x**2 + 5*x + 53. Let z(i) = i**3 + i**2 - 5*i - 4. Let l be z(-3). Let o be f(l). Which is greater: -59/2 or o?
-59/2
Let u = 6007/2 - 2842. Suppose 35*f - 2542 - 1288 = 1875. Is f at least as big as u?
True
Let f be (0/3)/(12/6). Suppose f = 2*g - 4 + 28. Suppose 5*r = r - 28. Are r and g non-equal?
True
Suppose -10*r - 234 = 26. Let x be (-26)/3*(-18 + 9 + 12). Is r greater than x?
False
Let u(z) = 6*z**3 + 194*z**2 + 45*z - 102. Let q be u(-32). Which is greater: q or 8610/17?
8610/17
Let c(m) = 2*m**2 - 20*m + 3. Let h be c(10). Suppose h*y = -3, -y = 3*k - 4*y + 15. Which is greater: k or -32/5?
k
Let n(p) = -42*p + 2337. Let s be n(-17). Which is greater: 3047 or s?
s
Let k(v) = -2*v**3 - 20*v**2 - 61*v - 132. Let p be k(-7). Let c = -534/49 - -505213/46354. Is p smaller than c?
False
Let a(c) = c**2 + 13*c + 37. Let x be a(-8). Let v be 64/28 - (6/(-7))/x. Suppose -v*b + 13 - 7 = 0. Does 10 = b?
False
Suppose -12 = -4*m - 2*v, 0 = -0*m - 5*m + v + 1. Let h be m*0*2/(-6). Let y = -928/221 + 74/17. Is h >= y?
False
Suppose -10*s + 37*s - 390 = -38*s. Let y(i) = -3*i**2 + 2*i + 5. Let f be y(5). Let g be s/68*f/90. Is g at most -1?
False
Let n be 2564/((13 + -26)/26). Is n != -5128?
False
Let r = -7447 + 7558. Let u = 1 - 1.1. Is r greater than u?
True
Suppose 2*r - 4*g - 9 = -g, -4*r + 5*g + 17 = 0. Let i be (2 + -1)*r/6*-6. Is i not equal to 14?
True
Let d = 57503/43 + -1337. Let r = -143/258 - d. Is r bigger than -11?
True
Let j = 108 + -252. Let c = j + 136. Let b(a) = -2*a**2 - 3*a. Let o be b(-2). Is c != o?
True
Let z = -92377265/4592 - -20117. Do -1 and z have different values?
True
Let g = -959/5 - -193. Suppose 59*p = 64*p - 980. Suppose 199*d = p*d. Which is greater: g or d?
g
Let f = -6 - 136. Let x = -160 - f. Is -0.04 <= x?
False
Let s = 16712 - 16119. Which is bigger: 591 or s?
s
Suppose 115*z - 17*z = -14504. Do z and -149 have different values?
True
Suppose -18*b = -10*b. Suppose b = -0*k - 6*k + 24. Suppose -d - l = 2, 0*l + l - 8 = k*d. Which is smaller: d or 1?
d
Suppose 2*b - 8 = r, 2*r + 23*b + 31 = 42*b. Suppose 4*l - 3*z = -58, -3*l + 4*z - 30 - 10 = 0. Is r greater than or equal to l?
True
Let t = 1.036 + -0.315. Let u = t - 42.421. Let o = -42 - u. Is o less than 0.08?
True
Suppose 5*f = -2*g - 26 + 21, f + 1 = g. Do 19/144 and f have the same value?
False
Let f(w) = w**2 + w + 7. Let l be f(0). Suppose -l*v - 676 = -109. Let p be 3 + (v/(-48))/(3/(-4)). Which is greater: p or -2?
p
Suppose 4*t - 21 = 63. Suppose -h - t = x, 47 = -5*h - 3*x - 54. Let d be 19/(-2)*(-4)/(-2). Is h at most as big as d?
True
Let o = -7544 - -7348. Is 2 less than o?
False
Let a be (-60)/(-24) - 3/2. Suppose 1 = -5*h + a. Let x be 28*(5/20 + h). Is 5 greater than x?
False
Let c = -33387 + 33451. Which is smaller: 4/19 or c?
4/19
Let n = -12829692 - -1590867417/124. Let g = n + 465/4. Which is greater: g or 1?
1
Let w = 23734 + -23733.8. Which is greater: 559 or w?
559
Let m be (5/(-20))/(10 + -11 - 9/(-12)). Is -2/8553 at least m?
False
Let l be (-2)/((-4)/6) + (-376 - -374). Which is smaller: l or 4/607?
4/607
Let n = 73 + -78. Let u(m) = m**2 + 6*m + 19. Let z(y) = -2*y**2 - 11*y - 37. Let k(j) = n*u(j) - 2*z