False
Let x = 31 - -22. Let f = x - 55. Let h be 1/f + (-4)/(-8). Is -3/47 greater than or equal to h?
False
Let g = 1353.8 - 1304. Let r = -89 - -39. Let w = g + r. Which is smaller: w or -6?
-6
Let d be (70/140)/(93/(-18)). Let f be (-2)/((3*-2)/3). Is d greater than f?
False
Suppose -t + y = -11, -2*t - 3*t - y = -37. Let l be (-8)/14 + (-1)/t*-4. Let a(z) = z**2 - 8*z - 1. Let q be a(8). Which is greater: l or q?
l
Let n(k) = k + 22. Let u be n(-18). Let m be u/(-2)*(-90)/12. Let w(q) = q - 36. Let y be w(m). Is y bigger than -21?
False
Let t = -44978/4966675 - -4/7025. Is 0 greater than or equal to t?
True
Let l be -1*(-4 + 5)*-3. Suppose -9*z + 5*z + l*b = 21, -2*b + 6 = 0. Which is greater: -72/17 or z?
z
Let o = -236 - -258. Let j = -0.011 + 32.011. Let p = o - j. Which is greater: p or -1?
-1
Let x = 180 + -166. Suppose -5*w - q - x = -28, 4*w = -3*q + 20. Which is greater: w or 3/5?
w
Let d = -67.2 - -18.28. Let t = d - -49. Let j = t - 1.08. Is j bigger than -0.33?
False
Let t be (136/(-80))/((-1)/(-8) - 46/(-368)). Is 15 at most t?
False
Let g(x) = x**2 - 32*x + 89. Let r be g(29). Let l be 2*r - 4480/1050. Which is greater: l or -5?
l
Suppose -5*s - 3*o - 3 + 20 = 0, 0 = -4*s + 2*o - 4. Let y = -3771809/576048 - -13204/1091. Let l = 89/16 - y. Which is greater: s or l?
s
Let b be ((-28)/54)/(5 + (-334)/66). Let f = b - 449/63. Which is smaller: f or 2?
f
Let m = 0.2 - 0.2. Let l = 1 - 2. Let h be (l/(-2))/((-27)/12 - -2). Is m less than h?
False
Let x(b) = b**3 + 3*b**2 - 4*b - 2. Let q be x(2). Suppose -2*o + 61 = -5*w, -w - 29 = 3*o - q. Let h = -3.6 - -4. Which is bigger: w or h?
h
Suppose 107*w - 24 = 111*w. Suppose -h - 65 = 5*g, -3*g + 0*g + 177 = -3*h. Let n = h + 54. Is n at least w?
True
Suppose 1860 - 432 = 4*a. Let v be (272/a - 8/(-14))/4. Suppose k = -0*k - 2*b + 4, -5*k - 3*b = -6. Do k and v have the same value?
False
Let y = -7 - 5. Let p be (-2)/(-8) + (-33)/y. Suppose -3*i + f + f + p = 0, -f - 1 = -2*i. Is i < -5?
False
Let w be (1 + -61)*(-3892)/70. Let v be (-374)/w - 12/(-144). Is v greater than or equal to 1?
False
Let v = 147 + 48. Let x be 6 + (4720/v)/(-4). Which is smaller: -2.9 or x?
-2.9
Let z be 5/3 - (-4804)/228. Is z smaller than 24?
True
Let w = -134 - -116. Let t be w - (1*6)/(21/14). Which is smaller: t or -24?
-24
Let v = 35951/6 + -12406/3. Let o = -1812 + v. Which is smaller: 45 or o?
o
Let u(f) = 8*f**2 + f + 4. Let b be u(3). Suppose -236 = -3*z - n, -7*z + z + 492 = -3*n. Which is greater: b or z?
z
Let r be (0/1)/(7 - 8). Let g = 838/13 - 758/13. Let u = -839/130 + g. Is r less than u?
False
Let g = -2165.9 - -2165.7. Is g greater than -1/2394?
False
Let h be (-56)/(-392) - (-594)/7. Let r be 3/6 - 167/(-2). Which is smaller: h or r?
r
Let s = 48.69 - 61.19. Which is greater: s or 1.2?
1.2
Let m be (6/(-10))/(3/(-15)). Suppose t - h - h = 56, -m*t + 167 = -5*h. Let g = t + -49. Which is smaller: g or 0.6?
0.6
Let b = 23 + 72. Let i = b - 93. Let g = -11/14 - -59/35. Is i greater than or equal to g?
True
Let l = -479 - -490. Suppose -163 = l*v - 108. Are v and -17/3 unequal?
True
Suppose 0 = 2*c - 6*x + 2*x + 202, 3 = 3*x. Let k = 185 + -282. Which is bigger: k or c?
k
Suppose -2*w = -0*h - 4*h - 22, 4*w - 17 = -h. Let g = -16564 + 66247/4. Which is bigger: g or h?
g
Let t be 1730/(-3330) - (-28)/126. Which is smaller: t or -1?
-1
Suppose -3*z + 2 = -2*y, -5*z + 4 + 11 = -y. Suppose -8*r - 1032 = z*r. Which is smaller: r or -260/3?
-260/3
Let v be 3 + 88/23 + (-22 - -15). Let y = -9 - -9. Is y bigger than v?
True
Let q be 101 - 4/8*-2*-2. Let m = 19578 - 97389/5. Which is bigger: m or q?
m
Let f = -113 - -109. Let h be 11848/2244 + (-9 - f). Let o = h + -5/51. Which is smaller: -1 or o?
-1
Let v = 72 + -117. Let j = v + 41. Let p = j + 4.1. Which is bigger: p or 30/13?
30/13
Let w = 131 - 32. Do 99 and w have the same value?
True
Let m(o) = -4*o**2 + 45*o - 7. Let k be m(11). Suppose -4*a + 28 = k. Suppose -9*l + 8*l + 6 = 0. Do l and a have the same value?
True
Suppose -512*q = -452*q + 13560. Is q at most -225?
True
Let c(z) = 2*z + 28. Let o be c(-14). Let n(a) = 7*a - 19. Let l be n(5). Suppose 12*g = l*g. Is o less than g?
False
Let m = 6/5975 - -8932/3005425. Do m and 1 have different values?
True
Let b be 4/(-10)*15/273. Let l = -1914 - -1761.1. Let p = 153 + l. Is p != b?
True
Let r = 18 - -87. Suppose -r*m = -103*m - 6. Which is smaller: m or 31/8?
m
Let o = 38 - 43. Let t be (-1)/o - (-893)/(-5890). Let w = t + -145/434. Which is greater: w or -0.01?
-0.01
Let v be (-5)/18 - 314/1413. Which is smaller: v or 171?
v
Let b = 576/7 - 82. Let q = 0.52 - -1.87. Let r = -1.39 + q. Is r greater than b?
True
Let o be 46/2277*(216/(-45))/(-2). Let a = 0 - 0. Which is smaller: o or a?
a
Let r = 3518 + -5535. Is r at least as big as -2015?
False
Let x be 18/(-12) - 12/(-24). Which is smaller: x or -4/1183?
x
Let b be (-1)/4*60/34. Let f = -8582 + 8583. Is b > f?
False
Suppose -4*y - 20 = 0, -3*z - 2*y - 16 = 3*y. Let c be 80*z/(-10 + 4) - -1. Are c and -35 equal?
False
Suppose -4*o - 4*w = 8, -o + w - 3*w - 7 = 0. Suppose 3*m = q - 6*q + 2, -o*q - 4*m - 1 = 0. Let s = 583/5 - 116. Is q < s?
False
Let v = 2.9 - 3. Let k(m) = -15*m - 343. Let o be k(-25). Suppose -2125 = -7*q + o*q. Is v at least as big as q?
True
Suppose 217*b + 31*b = -26*b + 507448. Which is smaller: 1853 or b?
b
Suppose 440*h + 1163 - 32 = 401*h. Is -239/8 <= h?
True
Suppose -2*k = 8, -4*k - 17 = 5*c + 4. Let z be ((-2)/(-146))/(c/3*-3). Which is smaller: z or -1?
-1
Suppose 0*l - 3*l + 13 = 4*n, 4*l + 4 = 0. Suppose -5*q = 5*i, 0 = 5*q - n*i + 10 + 8. Suppose -3*r = 5*j + 24, -4*r + 5*j - 439 + 442 = 0. Is q less than r?
False
Let x = 127 - 67. Let k be 4/18 - x/27. Let n be ((-444)/518)/(558/308 - (-18)/33). Which is bigger: k or n?
n
Let p be (-4)/(-9) + 343532/(-773514). Let a = p - 380628/30695. Is -1 less than a?
False
Let z = -9075.4 - -9069. Which is greater: z or -0.02?
-0.02
Let l be ((-1)/(-5))/(889/(-735) + 128/112). Which is greater: -113 or l?
l
Let l(s) = -26*s - 1. Let m be l(1). Let r be (-56)/(-1932)*-3 + 1468/(-46). Which is smaller: r or m?
r
Suppose 0 = -113*o + 114*o - 46. Let t be o/(-5) - (-9)/45. Let m(p) = -3*p**2 + 2*p - 2. Let l be m(2). Are l and t equal?
False
Suppose -440*x - 5457760 = 4277371 - 1009491. Do x and -19831 have different values?
False
Let q = -71 - 117. Let o = q - -173. Which is greater: -1/14 or o?
-1/14
Let n be (-4 - -3) + 4 - -50. Let m = 67.943 - -0.057. Let f = -69 + m. Which is greater: f or n?
n
Let o = -715.6 + 301. Let i = o + 397.59. Let z = -17 - i. Which is smaller: 2/9 or z?
z
Let b be (3/(-2))/(9/1176) - (-6)/(-1). Which is bigger: b or 26?
26
Let f = 69221 + -624227/9. Is f != -137?
True
Let v(t) = 324*t - 5509. Let p be v(17). Is -195/134 >= p?
False
Let x = -317 + -1585. Which is smaller: x or -1901?
x
Let x = 524890/19 + -27632. Is x not equal to -7?
True
Let a = 149 + -58. Let g be -3*(5 + (-22)/(-6)). Let z(r) = r**2 + 21*r - 40. Let n be z(g). Which is greater: a or n?
a
Let r be 4/(-6) + (-8)/(-3). Suppose 2*x + 5*i - 42 = 0, 3*x + r*i - i - 37 = 0. Suppose -l - 2*p = 3*p + x, 5 = 5*l + 5*p. Is l smaller than 9?
True
Let n(h) = -4*h**3 + 8*h**2 - 19*h - 20. Let c be n(-8). Let z = c + -180370/67. Are 0 and z equal?
False
Let f = 875 + -875.07215. Is 1/3 at least as big as f?
True
Let k = -0.88735 - 0.02265. Which is greater: 4 or k?
4
Let l be (-18)/(-8) + ((-6)/(-2))/(-12). Let j be l*-1 - (61 + -8). Let u = j - -45. Is -8 smaller than u?
False
Let k = 0 - 0.1. Let v be -5 - -6 - (3 - 6). Let t be ((-17)/v - -2) + (-26 - -31). Which is smaller: t or k?
k
Let m = -1752 - -1752.07. Is 25.8 at most as big as m?
False
Suppose -51 = 7*a + 82. Let b be (11/(-4))/(a/114). Which is bigger: b or 17?
17
Suppose 0 = -14*y - 2*y - 33 - 175. Suppose x - 3 = -23. Is x equal to y?
False
Let v = 1382/21 + -519/7. Let t = 11200/1293 - -2/431. Let z = v + t. Is z not equal to 2/5?
True
Let k be (-3)/(9/73) + 2. Let g(m) = 13455*m + 67253. Let y be g(-5). Is y at most as big as k?
False
Let m = -8103.269 + 8125. Let p = m - -0.269. Which is smaller: 1/5 or p?
1/5
Let z be 3/(6/7*749/(-428)). Suppose 3*v - 15 = -2*v. Suppose -3*s - v = 3. Do s and z have the same value?