= u - 203. Is 6/77 not equal to k?
True
Let b = 1496 - 1003. Let m be (-58)/b*4/(-136). Do 1 and m have different values?
True
Let l = 490.092 + -490. Let p = l + 0.008. Which is smaller: p or 35.2?
p
Let s = -7/396 + -1823/31284. Let z = s + 91/158. Let h = 0.8 - 0. Is h equal to z?
False
Let x be ((-246)/2)/((-6)/4). Let k = 213 + -213. Suppose k = 4*d - 5*a - 308, -5*a = -2*d + 77 + 67. Is d less than or equal to x?
True
Let f = -4713 + 4714. Does f = -6/391?
False
Let b = 118394 + -118116.654. Let q = 0.654 + b. Are 0 and q equal?
False
Suppose 0 = 8*m - 4818 + 770. Let a be (-90)/m + (-22)/(-242). Does -2 = a?
False
Let t = -1/279 + 115/372. Let i = t - 5/36. Which is smaller: i or 78?
i
Let r = 82 - 43. Let m = 38.18 - r. Let j = -2.18 + m. Which is smaller: j or -0.3?
j
Let l be (-1336)/104 + 442/34. Which is smaller: 158 or l?
l
Suppose -10*n + j + 1525 = -15*n, -1220 = 4*n - 3*j. Let z be n/366 - ((-1)/3 + 0). Is z < -2/47?
True
Let j be ((-996)/(-2 - 4))/(1/3). Let g be (-5 + -9)/(-28) - j/4. Are 2/9 and g non-equal?
True
Let x = 107463/414137 - -5/1433. Which is greater: -1 or x?
x
Let f = 0.77 + -0.8. Let g = 0.07 - f. Let m = 7613/7 - 1088. Is m bigger than g?
False
Let x = -72 - -54. Let o be x/(-3) - (19 - -289). Are -302 and o unequal?
False
Let x(h) = -4*h**2 + 18*h - 7. Let m be x(6). Let w = m - -46. Suppose 2*o = -4*l, 5 = w*l - 2*o + 6*o. Does l = 1/102?
False
Let v = -143 + 144. Let y = 2998511548/1015 + -2954198. Let x = 19/29 - y. Which is smaller: x or v?
x
Let x(m) = -15*m + 233. Let o be x(9). Suppose -2*a - 102 = -5*l, -2*a - 19*l - o = -23*l. Is -39 equal to a?
False
Suppose 3 = m, 5*r + 2*m + 2458 = -2436. Is r at least -984?
True
Let x = 106 + -104. Suppose 13 = -p + i, -x*i + 22 = -4*p - 20. Suppose -8 = 5*o + 32. Is o less than p?
False
Suppose 4*r = -3*g + 5*r + 1, -5*r + 19 = -3*g. Suppose -2*v + 2 = -2*u, 7 - 11 = -g*u - 4*v. Is u not equal to -2/7?
True
Let a(f) = -30*f**2 + 116*f + 15. Let j be a(4). Let n be (-3340)/(-14949) + 2/(-9). Is n greater than j?
True
Let m = -248 + 197. Suppose -13*a = -15*a - 108. Do a and m have different values?
True
Let o = -407 - -409. Are 1056 and o nonequal?
True
Let l = 27923 - 27940. Which is bigger: -439/28 or l?
-439/28
Let u = 2.4 + -1.3. Let p = 0.9 + u. Let c = -2428/3651 - 2/1217. Which is bigger: p or c?
p
Let s = -17739 + 106435/6. Let k be (1 + 0)*152/2. Which is bigger: s or k?
k
Suppose 2*i = o - 7, -2*i = -5*o - 0 + 27. Suppose 7*u = o*u - 6. Let h be 2/(-5)*35/7. Which is greater: u or h?
h
Let v(r) = -2*r**3 + 6*r**2 - r + 8. Let t be v(3). Is 316 at least t?
True
Let a = -19567 + 19569. Is -0.1063 less than a?
True
Let w = -385/268 - -4411631/804. Which is smaller: 5485 or w?
5485
Let r(l) = -l**3 + 26*l**2 - 134*l + 14. Let z be r(7). Suppose 0 = 5*a - 9*a + 28. Let j = a + 0. Do z and j have the same value?
True
Let x = 369 + -145. Suppose -x = -8*b + b. Let h be 23/4 + -6 - (-242)/8. Is h != b?
True
Let f = -537 - -350. Let s = f - -207. Which is smaller: 21 or s?
s
Let p = -865715/89 - -9727. Does p = -1?
False
Let q = -0.11 - 6.89. Let c = q - -6.8. Let p = 990 - 24752/25. Is c smaller than p?
True
Let g be (196/104 - (-1 + 3))*(-110)/(-33). Which is smaller: g or -26?
-26
Let a = -18 - -18.9. Let z = 26/119 - 10457/476. Let g = 427/20 + z. Which is bigger: g or a?
a
Let g = 13457 + -13635.77. Let c = g + 179. Is -0.3 > c?
False
Suppose 5*x - 47 = -62. Let z = x + 89. Is 1 at most z?
True
Suppose -2919 = 22*t + 1063. Suppose 144 = -4*r - 576. Is r > t?
True
Let m be 1 - (-2 - 34) - -2. Let d be (52/m)/((-2)/(-9)). Let c be (-90)/(-525)*10/d. Are 24 and c non-equal?
True
Let i(u) = u**2 - u + 5. Let p be (-15)/(-2)*36/10*1. Let l = -27 + p. Let s be i(l). Are 5 and s nonequal?
False
Let s = 0.698 - 1.098. Suppose 2*u = -215 - 21. Let l = u + 475/4. Is l at least as big as s?
True
Let r(f) = 16*f - 54. Let t be r(4). Let q be 189 - (-5)/t*(-2 - -2). Are q and 189 equal?
True
Let v be 90/(-10)*(-6)/(-9). Let g be 3/2*(-4)/v + 1. Let m(w) = w**2 - w + 1. Let y be m(0). Is y >= g?
False
Let t = -29 + 155. Let g = t + -106. Suppose d - g = -3*y + y, -5*d + 5*y = -85. Are 17 and d equal?
False
Suppose 90*x + 2831 = -59*x. Is -0.193 < x?
False
Let c(t) = -23*t - 1. Let v be c(-4). Let a = 51 - v. Let w = -10 - a. Is w greater than 28?
True
Let q = 13067 - 13630. Is -567 bigger than q?
False
Let b = 875323 + -554954471/634. Let n = b + 3/317. Which is greater: n or -9?
n
Let b = -17.43 + 3.07. Let z = -0.36 - b. Let q = z + -15. Which is bigger: -6 or q?
q
Suppose -3*f + 5*q + 19 = 0, 10 = 3*f + 2*q - 37. Suppose -15*m = -18*m - 1302. Let c be m/(-124)*24/14. Is f >= c?
True
Let w = -928 + 1489. Let j = 76336 + -75774. Which is greater: j or w?
j
Let f = 1499 - 2257. Let v = f - -3773/5. Let q be ((-4)/(-6))/(2/(-6)). Which is greater: q or v?
q
Let g = 73544605/2477 + -29691. Which is smaller: g or -1?
-1
Let z = -12583/39400 + -1/1576. Let c(h) = h**3 - h**2 - 11*h - 4. Let w be c(-3). Let a be (-1)/((-3 + 1)/(5 + w)). Which is bigger: a or z?
z
Let f(y) = -14*y**2 - 44*y + 31. Let t(m) = 7*m**2 + 23*m - 16. Let w(g) = -6*f(g) - 11*t(g). Let z be w(1). Do z and -1.1 have different values?
True
Let u be ((-32)/20)/(2/(-5)). Let l be (-2)/(-3) - (-3)/(-126)*u. Let h = 1 + 0. Is h less than l?
False
Let u(z) = -938*z**2 + 25*z + 8. Let v be u(2). Is -3694 bigger than v?
False
Let f = 172 + -145. Suppose -i = -f + 29. Are i and -7/12 non-equal?
True
Let n = 698.9 - 739.9. Is -0.46 equal to n?
False
Let z be (7 - -20)/(1528/55800). Let o = z + -986. Is 0 > o?
True
Let x be 6/(-5) - (2 - 3). Let c = -24212 - -24158. Which is smaller: x or c?
c
Let c = -15080 - -15080. Is c <= 15/131?
True
Suppose 0 = -91*q + 86*q + 305. Suppose 15*u + q = -119. Is -12 greater than u?
False
Let u = -213.7 + 160.7. Which is smaller: -1.3 or u?
u
Let p = -1075 - -1009. Is p at least -4?
False
Let f be ((-1)/2)/(2/958). Let p(h) = 95*h - 715. Let g be p(5). Is f bigger than g?
True
Suppose -49*t + 616 = 4*t + 35*t. Let m(j) = 8*j**2 + 0*j - 2*j - 7*j - j**3 + 15. Let g be m(t). Which is bigger: g or 1/8?
g
Suppose 23*x = 26*x - 2*b - 11042, -x - 2*b + 3694 = 0. Which is smaller: 3685 or x?
x
Let l = 321 - 596. Let w = l + 934. Which is smaller: 1/2 or w?
1/2
Let f = -47/4 - -4917/412. Which is smaller: 0 or f?
0
Let z = -811 + 866.9. Let c = z - 56. Is c bigger than 48?
False
Let i = 1055 + -47461/45. Is 0 >= i?
False
Suppose 3*t = 2159 + 4339. Let h = -23808/11 + t. Suppose -2*k = -11 + 5. Are k and h equal?
False
Let y(d) = -238*d - 8. Let m be y(-7). Let h be ((-481611)/(-291))/1 - -3. Let j = h - m. Which is greater: j or -1?
j
Let g = -47 + 111. Let d be (-72)/g + -1*3/(-24). Let i = 6205/14 + -443. Which is bigger: d or i?
i
Let o(g) = 195*g - 887. Let z be o(-2). Which is bigger: z or 1?
1
Suppose 0 = -2*a + a + 5*y + 721, -20 = -5*y. Suppose -12*m + 219 = -a. Is 80 != m?
False
Let y = 4677 + -3458. Is 1221 less than or equal to y?
False
Let j = -136 + 145. Suppose j*l = 135 - 45. Is 6 at least as big as l?
False
Let l(a) = -a**2 - a + 2. Let t be l(-4). Let q = 58431 + -58443. Is q less than or equal to t?
True
Let m(r) = r**2 - 283*r + 7833. Let w be m(31). Which is greater: 3.02 or w?
w
Let c = -43 - -39.8. Suppose 3*y - 2*y = 6. Let s be 4/12*y/(-8). Which is smaller: c or s?
c
Let x be (7/(-392)*-12)/(114/8). Suppose w + 4 = 5. Is w smaller than x?
False
Suppose n = -3 + 57. Suppose d + 166 = n. Let l be 1/(-4) + (-172)/d. Which is smaller: 0 or l?
0
Let m be (9/2)/(3*2/(-72)). Let y be (-282)/(-54) + 4/m*3. Let w be y/(5 - (-230)/(-45)). Which is bigger: -44 or w?
-44
Let t be 5 - (5 - (-23466)/(-470) - -2). Let o = 239/5 - t. Is o at least as big as 0?
False
Suppose 5*g = 4*g. Which is smaller: -3/32 or g?
-3/32
Let u = 7999 - 5549. Which is bigger: u or -0.1?
u
Suppose g + 83 = -5*q, -2*g - q = 3*g + 463. Let u = -88 - g. Which is smaller: -6 or u?
-6
Let l be (294/1176)/(1/17482). Is l at most 4372?
True
Let h = 8 - 7.82. Let l = h + -0.078. Let r = -0.087 + l. Is 0 < r?
True
Suppose 3*r + 8*r = 3*r. Is -3/653 less than or equal to r?
True
Suppose 164089 = -201*f - 249*f - 208511. Is f not equal to -7462/9?
True
Let w be 214/6 - 37/(-111). Suppose -w*u = -61*u - 