/(-30). Which is smaller: 626/9 or x?
x
Let d = -34.677 - 1826.323. Are d and -2 equal?
False
Let b(n) = 2*n**2 + n - 7. Let h be b(-5). Let v be (h - 2)/(3/2). Let y be -8 - -4 - (-87)/v. Is 1 greater than or equal to y?
True
Let f = -49107137/3139180 - 327/15020. Let n = f - -170/11. Which is smaller: n or -1?
-1
Let s = 1/49854 - -196297/155494626. Is 0 less than or equal to s?
True
Let k = 1/7533 - 113009/105462. Let c(h) = -4*h**3 + h**2 + h + 1. Let b be c(-1). Suppose -8 = -5*w + w, b*f + 8 = -w. Is k at most as big as f?
False
Let f(g) = -4*g + 14. Let o be f(12). Let c be 5 - 11 - (-268)/(-10). Which is greater: c or o?
c
Suppose y = -3*o - 6 - 11, 5*o + 28 = -2*y. Let x be (-762)/450 + (-8)/o. Let u = 2/75 + x. Which is smaller: 6 or u?
u
Let l = 3/1844 + 90119/145676. Is l equal to 0?
False
Let r = 0.243 + -8.643. Let p = -1.4 - r. Which is smaller: -18/5 or p?
-18/5
Let g(w) = -w**3 + 6*w**2 + 7*w + 2. Let n be g(7). Let s(b) = -6949*b**2 + 3*b + 3 + 6947*b**2 - b. Let h be s(n). Which is greater: -1/34 or h?
-1/34
Suppose 5*r = 32 + 3. Let v(c) = c**3 - 6*c**2 + 6*c - 1. Let d be v(5). Suppose -23 = -4*x - t, -2*x = -d*x - 4*t - 6. Is r < x?
False
Let j be 62/58 - 0 - (-2138)/(-31001). Does j = -2/23541?
False
Let g be (-2*(-1)/(-6))/(15/(-630)). Let w be ((-180)/(-35))/(-2)*g. Is -256/7 >= w?
False
Let r = 14140 - 14139.6. Let c = -2/31 - -68/93. Which is bigger: r or c?
c
Let r be -6 - 42/15*8/32*-8. Is r < -0.73?
False
Let i be -2*(-4)/(-228)*((-7861)/784 + 10). Which is smaller: -1 or i?
-1
Let p = -2056.787 + 2057. Let l = -128.1 + 128. Which is smaller: p or l?
l
Suppose 2 = -2*n - 5*q, 2*q - 3*q + 2 = n. Let c be (-10)/(-3) + (-4)/12. Suppose c*o = -n*i + 129 - 16, i = 5*o - 219. Which is smaller: 2 or o?
2
Let b(u) = u - 2. Let y be b(2). Let m be 1394*123/(-24518) - 7*(-2 + 1). Does m = y?
False
Let c = 63.48 + -63.523. Let v be ((-3)/(-2))/(4 + -1). Is c greater than or equal to v?
False
Suppose -9 = 13*y - 178. Suppose 14*l + 22 = 3*p + y*l, -3*p = -4*l - 16. Which is smaller: p or 15?
p
Let m be (-1 + (-2 - 13043/(-13)))*(-70)/140. Are m and -500 non-equal?
True
Let h(f) = -f**3 + 6*f**2 + 4*f - 14. Let n be h(6). Let j = -30 - n. Suppose 0 = a + 4*a + 200. Is j < a?
False
Let l = 16 + 10. Suppose 2*n = -2*w + 466, -w - 1398 = -5*n - 221. Suppose 5*s - n = -95. Is l at most s?
True
Let m(a) = -1726*a - 5997. Let p be m(5). Which is bigger: -14628 or p?
p
Let z = -40 - -278/7. Let y = 235.5 - 240.3. Which is smaller: y or z?
y
Let g = -61.34 - -265.95. Let v = 206 - g. Let l = 1.59 - v. Which is smaller: l or -35?
-35
Let j(l) = -l**3 - 29*l**2 - 107*l - 174. Let z be j(-25). Which is bigger: z or -2/24305?
z
Let q = -151 - -241. Let f = q + -71. Suppose r + 0 = 3. Which is smaller: f or r?
r
Suppose 142*x - 728 = 51*x. Suppose 5*d - 4 = -4*p, -5 = -4*d - 4*p - 1. Is x >= d?
True
Let y(t) = 10*t - 3. Let b be y(-2). Let l = b + 32. Suppose -l*p = -6*p + 9. Which is smaller: 0.09 or p?
p
Let j = -126 + 128. Let u = -0.126 + 1.326. Is u greater than j?
False
Let w(j) = -12*j**2 + 191*j + 189. Let g be w(19). Which is smaller: g or -518?
-518
Let j(a) = 4*a**2 + 42*a + 49. Let y be j(-26). Is y >= 1661?
True
Suppose t - 2 = 8. Suppose -12 = -49*c + 86. Suppose 0 = -c*w + t - 2. Do w and 4 have different values?
False
Let f be (11 - 8) + (-3165)/1197. Let s = f - 4/57. Which is greater: s or 26?
26
Let j(h) = 299*h**2 - 44*h - 124. Let m be j(-4). Which is smaller: m or 4837?
m
Let z be (-12)/(-15) - (-46 - -50). Is -1.2 less than or equal to z?
False
Suppose 0 = 44*p - 2021 - 1587. Is 81 at most as big as p?
True
Let v be (-138)/(-759) + 8/(-11). Which is greater: v or -6?
v
Let w(r) = -442*r - 1330. Let x be w(-3). Is x less than or equal to -101/22?
False
Let h be 12*(-20)/30 + (-1116)/(-214). Is h at most -2?
True
Let j(y) = 345*y - 164. Let a be j(-9). Are a and -3269 non-equal?
False
Let u(d) = -33*d**3 - 11*d**2 + 10*d + 1. Let a be u(1). Let x = a - -27. Is -6 at most as big as x?
True
Let b be (-120 - 0/(-1)) + 0/(-2). Let h be (-12)/b - 4922/20. Is -246 bigger than h?
False
Suppose -19 = -c - 5*l, -4*l = 2*c - 0*c - 32. Let v = -59 + 71. Suppose -v*s = -14*s. Is s at least as big as c?
False
Let w be 27/(-18)*8/(-78). Let c(f) = f + 27. Let b be c(-17). Let i be (-9)/27 - (2 - b/6). Does i = w?
False
Let r(w) = -2*w**3 + 8*w**2 - 8*w + 7. Let v be r(3). Let k(n) = -34*n - 2 + 2 + v + 2. Let c be k(-1). Is 36 bigger than c?
False
Let v be ((105/(-12))/(-7) + -1)/((-2)/38264). Which is greater: -4782 or v?
-4782
Suppose -8*r = -3*m - 5*r - 6, -m = 3*r + 2. Let t be (-128)/(-2) + m/(-4)*-2. Is 63 less than or equal to t?
True
Let r = -1344 - -949. Are r and -398 equal?
False
Let j = -3892187/45 + 86486. Let v be ((-58)/5)/((-18)/10). Let k = v + j. Are -2/13 and k unequal?
True
Let d(b) = b**3 + 8*b**2 + 23*b + 112. Suppose -5*x - 14 = h + 17, -2*x - 4*h = -2. Let z be d(x). Let m be (-4)/9*(-3)/(-56). Which is smaller: m or z?
m
Suppose 0 = -f + 5 + 9. Suppose 4*w = b - 10, 0 = b - w - f - 5. Let u = b + -22. Which is greater: u or -2/143?
u
Suppose -20 = -2*r - 4*q, -5*r + 2*r - 4*q = -24. Suppose -5*j + r*j = 1. Which is bigger: 2/205 or j?
2/205
Let b be -1 + (-1 - -241) + 32 + -24. Is 229 smaller than b?
True
Let a = 31255 - 19170. Which is smaller: a or 1?
1
Suppose 0 = -4*m - 16 - 0. Let r = -14 + 171. Let n = r + -160. Is m greater than n?
False
Let w = -1883 - 351. Is -1/3 smaller than w?
False
Let t be (-1696)/208 + (-8)/(-52). Is 35 not equal to t?
True
Let s be (-998)/(-13100) + (-20)/250. Suppose -4*y = -0*y + 12, -y - 3 = 2*r. Is r < s?
False
Let s = -81 - -270. Let p = s + -190. Is p >= 1/8?
False
Let m be ((-22)/4)/((-2)/(-24)). Let a = -0.286 - -0.711. Let j = 0.525 - a. Is j not equal to m?
True
Let w = -319.84 - -319.2521. Which is smaller: w or 1?
w
Let m(a) = a**3 + 3*a + 4. Let c be m(0). Suppose 0*z = -4*x + 2*z + 12, -3*x + 5*z = -23. Let w be 1 + c - x/2*0. Is w at least as big as 5?
True
Let k = -73.894 + -0.106. Let p = k + 73.9. Let r = -9.8 + 10. Which is smaller: p or r?
p
Let b = 1.16 + 9.84. Let m = b + -10.8. Is 32 smaller than m?
False
Suppose -3*w - p - 10 + 13 = 0, -w - 4*p = 10. Let i be (-11)/2*(80/38 - w). Is i <= -2?
False
Suppose -35*z - 44082 - 132276 = 98*z. Do -1324 and z have different values?
True
Let j = 1586 - 1584. Is j > 0.021?
True
Let f = 394 + 536. Let o = f - 10215/11. Let v(g) = g**3 + g - 1. Let z be v(1). Is z less than o?
True
Let c(s) = -s - 14. Let l be c(14). Let n = l - -24. Let v be 0*n/(-20) + -12. Are 4 and v nonequal?
True
Let k be 2*((-2)/9 + (-15378)/54). Let a = k - -556. Is -13 less than or equal to a?
False
Let o = 270264/37 + -7305. Is -1 at most o?
True
Suppose -5*v - 3*w - 196 = 0, 2*v + 13*w - 8*w + 86 = 0. Let s = 65 - v. Let t = s + -130. Is -25 not equal to t?
True
Let s be 0 + 2 - 2/(-2). Let h be -4*8/(-240)*9*-55. Let l be ((-5)/s)/(22/h). Which is smaller: l or 58/9?
l
Suppose -15*a + 1504 = a. Is 94 > a?
False
Let j be 0 - ((-93)/248 + (-2)/(4133696/(-775004))). Which is smaller: j or -1?
-1
Let p be 2/(4/2) - (6 + 114). Let l be 9/((-126)/p) + -7. Let d = -16/117 - 4/13. Which is bigger: l or d?
l
Let o be 356*-1*(-3)/15. Let z = o + -71. Suppose 0 = -4*s - 2*j - 6, -3*s + 24*j = 20*j - 23. Which is smaller: z or s?
z
Let p be (8/(-76))/1 + (-1408)/(-19). Suppose p*q - 15*q + 590 = 0. Suppose 0 = 5*l + 3 + 67. Which is bigger: q or l?
q
Suppose 2*d + 18*d = 60. Suppose d*i = -3*x - 12, -x + 4*i = 4 - 0. Which is smaller: x or 0?
x
Let a be (-12)/24208*(-208)/78. Is a > 1?
False
Let m = -420.4 - -64.4. Let b = 407 + m. Let d(k) = -k**2 - k - 1. Let x be d(-1). Is b != x?
True
Let n = 164.6 + -164.7. Which is smaller: n or -0.4341?
-0.4341
Let m be (195 - 205)*27/(-10). Is 40 greater than or equal to m?
True
Let l = 8655 - 8677. Is l greater than -33?
True
Let x = 18329 - 18328.97. Let n = -2670/11 - -243. Which is smaller: x or n?
x
Let p = -61 + 54. Let g be 1458/462 - (-3)/p. Let f = 44 - 40. Is g at least as big as f?
False
Let i = 28.394 - -1263.506. Is 0.2 greater than i?
False
Let s = -189.7 + 240.7. Do s and -9/25 have the same value?
False
Suppose -404 = 4*b - 6*g, -g + 234 = -2*b + 44. Let y be 345/(-6)*(-16)/(-10). Is b 