1.9 - 0.1. Let y = -313.9331 + -0.0669. Let m = 313.7 + y. Is m >= v?
True
Let z = 1.847 + -40.187. Which is smaller: z or 1/2?
z
Let f be (2/(-8))/((-1)/16). Let q be 0/((-1)/(f - 3)). Let g be q/(2/8*4). Is g greater than -1/40?
True
Let t = -1158 + 1150. Let p = -12 - -7. Let n be 71 + (-2 - (p + t/(-4))). Which is smaller: n or 71?
71
Suppose -15*a + 3845 = 320. Suppose u = -5*x - 223, -2*x + 7*x + a = -5*u. Let q = 43 - 86. Which is smaller: q or x?
x
Let q = 3444 - 3504. Let c = 54.7 - -6.3. Let j = q + c. Are -6/29 and j non-equal?
True
Suppose -2706*g = -2695*g + 363. Does 2/179 = g?
False
Let p = -176.132 - -0.132. Let s = 0.4856 + -1.4856. Which is smaller: p or s?
p
Let p = 0.216 - 2.006. Let l = 70.21 - p. Let t = -51 + l. Which is greater: t or 0.2?
t
Let d = -86.9 + 87. Let i be (-2)/5*18075/240. Let m = i + 30. Which is bigger: d or m?
d
Let w = -3751169/283 - -13255. Let s = w - 26/38205. Let x(a) = -6*a + 29. Let v be x(5). Are v and s non-equal?
True
Let m = 633/10 - 9517/150. Which is smaller: 0 or m?
m
Let a be 0 - -1 - 69/65. Let c be (-2)/(-42)*3/(10 + 20655/(-2007)). Let m = c - a. Are 1 and m non-equal?
True
Let d = -63 - -167. Let q = 36342 - 36239. Is d > q?
True
Let z = 0.3 - -0.2. Let j = -0.3 + z. Let s = -9 - 3. Are j and s equal?
False
Let n = -7178 + 7185.282. Let t = 0.018 + n. Let y = t + 0.7. Which is bigger: 2/5 or y?
y
Let h = -1578 + -3430. Is h < -5008?
False
Let l be ((-17)/(-2))/(((-63)/108)/7). Let c = l - -90. Is -56/5 smaller than c?
False
Let p(n) = 74*n + 3. Let w be p(-3). Let o be (-6)/9 - (-15 - 31655/156). Let s = o + w. Which is smaller: -3 or s?
-3
Let i = 39571 - 115666031/2923. Is i at least as big as -1?
True
Let k = 4263 - 878181/206. Let b be (-5*6)/((-12978)/4). Let v = b - k. Which is smaller: -1 or v?
-1
Suppose 2*i - 18 = 10. Suppose -9 - 5 = i*g. Let q = 428 - 3002/7. Which is smaller: g or q?
g
Let j = -23 - -61. Suppose -4*t - 60 = -3*y, 4*t + 30 = 5*y - j. Let a be (-17)/(-8)*(-16)/t*1. Is 2 != a?
True
Let k = -65154/403 + 2103/13. Which is greater: k or 2/563?
k
Suppose 0 = -37*m + 24*m - 66 + 534. Is m < 183/5?
True
Let m = 310 + -167. Suppose 0 = 5*h - 5*u + 190, -7*u + 2*u - m = 4*h. Which is bigger: h or -110/3?
-110/3
Let j be (-3)/4*(-23 + 0 - -3). Suppose -p - 121 = -4*o, -j = 4*p - p. Suppose -4*k = 4*x - o - 87, -x - 4*k + 17 = 0. Is 32 <= x?
True
Suppose -16*d = 10 + 118. Let u be ((-7)/(-56))/((-394)/d). Which is bigger: u or -1?
u
Let q = 0.17127 + 7.82873. Which is greater: -843 or q?
q
Let d = 4697/5 - 1883507/2005. Let t(v) = 2*v - 3. Let g be t(1). Is g bigger than d?
False
Let s be 2/(-1)*1164/(-24). Let m = -96 + s. Let i be ((-36)/(-10))/(-3) - -1. Is i greater than m?
False
Let k(r) = 25*r - 275. Let y be k(12). Suppose 4*v + 2 = 5*i, -3*i + 5*v + y - 16 = 0. Is i bigger than -81?
True
Suppose 3*i + 21 = 4*k - 2*k, -2*i - 19 = -3*k. Suppose 2*r + 0*r = -k*t + 104, -4 = 2*r. Let z be 23 - (-1 + 1)*18/t. Is z != 20?
True
Let v = -6.09 + 0.09. Let t = v + 13. Let j = t - -8. Which is smaller: 0 or j?
0
Suppose -2*i - 448 = -0*i - 4*v, 3*i + 696 = -2*v. Let w = -275 - i. Is 5 at most w?
False
Suppose 5*q = -j + 10, 0 = -0*j + j - 3*q - 2. Suppose g - j = 31. Suppose 3*r - 15 = g. Is 18 greater than r?
True
Suppose 11*x - 31 = 24. Let r = 6326491/2268285 + 1/12261. Let h = r - -30/37. Is h greater than or equal to x?
False
Let s be 2/(-4) - (-778)/4. Let t = 163744 - 163549. Is s at most as big as t?
True
Let f = 18 - 18.22. Let l = -0.38 - -0.282. Let p = l - -1.098. Which is greater: f or p?
p
Let l be 18/(-8)*(-52)/39. Suppose 6*j - l*j - 9 = 0. Suppose 15 = -3*d, -k + 60 = -j*k - 2*d. Is k at most as big as -24?
True
Suppose 38*k + 445 = -315. Let j be (48/(-30))/(36/k - 4). Is j at most as big as -0.1?
False
Let d = -2 - -2. Let l be (-1784)/(-2899)*(-91)/(-28). Is l at most d?
False
Let h be (-21408)/132 + 10/55. Let i = -649/4 - h. Are i and -5.1 equal?
False
Suppose -p - 19 = -10*j + 12*j, 0 = -3*j - 3*p - 36. Suppose n - 39 = -4*x, 33 = 4*x - 0*n - n. Which is greater: x or j?
x
Let t = -3913 - -8187. Are 4274 and t non-equal?
False
Suppose 0 = 31*r + 2079 + 1004 - 417. Which is smaller: -173/2 or r?
-173/2
Let r(q) = 34*q + 66. Let c be r(-4). Let d be (c/75 - -1)*18. Let j = 0.1 + -2.1. Which is bigger: j or d?
d
Suppose -398 - 631 = -296*q + 451. Suppose -5*c - 3*u = u - 17, 27 = 5*c - u. Do c and q have different values?
False
Let h = -2315 + 1488547/643. Which is bigger: h or 4?
4
Suppose 4*i = 579 + 61. Suppose i = 18*a + 412. Is a less than or equal to -76/5?
False
Let u be (-243)/(-2870) - (-303)/3030. Is u <= 1?
True
Let y = -20.4 - -237.4. Let u = y + -217.3. Let x = 445/2 + -1765/8. Which is bigger: u or x?
x
Let g = 39556652/2611 + -15150. Which is smaller: g or 1?
g
Let l = 30.9 - -580.1. Let y = l + -647. Is y greater than -1/3?
False
Let c(q) = -q**3 + 23*q**2 + 22*q + 52. Let t be c(24). Suppose 8*k + t = -44. Which is bigger: -5 or k?
-5
Suppose 150*u - 157*u + 840 = 0. Suppose -u + 48 = -x. Is x >= 72?
True
Let k(r) = -r**3 - 14*r**2 + 2*r + 15. Let y be k(-14). Let c(u) = 6*u + 59. Let f be c(y). Suppose 0 = -4*m + 2*o - 76, -28 = 2*m - 0*o + 4*o. Is m != f?
True
Suppose i + 4 = 0, 5*s - 46 = -4*i + 38. Suppose 4*f = s - 12. Is f less than or equal to 0.1?
False
Suppose 5*w = -4*f + 1479, 6*w - 10 = 8*w. Suppose -179 + 28 = -2*m + i, 0 = -5*m + 3*i + f. Let l be (0 - 1) + 33/m. Is -0.1 < l?
False
Let t(z) = z**3 - 100*z**2 + 105*z - 220. Let n be t(99). Is 372 less than n?
True
Let j = 172/75 + -39193/1425. Is j greater than -25?
False
Let z = 37.06 - 0.26. Let i = z - 33. Let r = -12.8 + i. Is 4 at most as big as r?
False
Let o(u) = -2*u**3 + 32*u**2 + 40*u - 49. Let j be o(15). Is 2 greater than j?
False
Let w = 26939 - 30927. Which is bigger: 0 or w?
0
Let b = 28153.5 - 28153. Which is smaller: b or 1224?
b
Let m(v) = -v**3 + 2*v**2 - v + 901. Let a be m(0). Suppose -a = 12*f + 35. Does -393/5 = f?
False
Let b = -191.8 - -217.19. Let f = 0.61 + b. Let t = -23 + f. Which is smaller: t or -3?
-3
Suppose 0 = -3*j + 6 + 9, -294 = 3*b - 3*j. Let o = b + 96. Let l be o/(-2)*108/13527. Which is smaller: 0 or l?
l
Let w be (-132)/88 + 1/2*43. Suppose 465 = w*d - 5*d. Let m = d - 31. Do -14 and m have the same value?
False
Let q = 486 - 376. Suppose -13*n - q = -305. Is -4 at most as big as n?
True
Let i be 8963/5 + -2 + (-14)/(-35). Which is smaller: i or 1789?
1789
Let q = 148 - 166. Let p be (9/q)/(111/(-2)). Is 1 not equal to p?
True
Let p = -4/6813 - 188072/757. Is -0.3 < p?
False
Let q(b) = -4589*b**2 - 68*b - 136. Let f be q(-2). Does f = -18355?
False
Let v = -160 - -167. Let i be (v + -7)/(4 - 10). Let s = 17369/29 + -599. Is s bigger than i?
False
Let v(a) = a**3 + 22 - 16*a**2 - 11*a**2 - 19*a + 4*a**2 + 6*a**2. Let u be v(18). Suppose 38 - 50 = u*t. Is t at most as big as -4?
False
Let r be 3 + (-40)/12 - (-16)/48. Which is bigger: 1/690 or r?
1/690
Let s be (-27)/120*625/(-750). Which is smaller: s or 0?
0
Suppose 544 = g - 62. Is 607 bigger than g?
True
Let v(n) be the first derivative of 2*n**3/3 + 5*n**2/2 + 16*n + 67. Let i be v(-7). Is i at most 80?
True
Let o be -3*10/12*-76. Let z = 189 - o. Is z less than 2/17?
True
Let h = -158 - -164. Suppose 3*a = -m - 2*a + h, 5*m + 5*a = -50. Suppose 0 = -3*l - 57 + 18. Is l greater than or equal to m?
True
Let m = -0.232 + 0.232. Let l = -859 - -859.58. Is m at least l?
False
Suppose 36 = 2*x + 26. Suppose -x*t + n - 1 = -4, 4*t - n - 3 = 0. Which is smaller: -22 or t?
-22
Suppose -4*y - 66 = -a - 420, -1680 = 5*a - 5*y. Which is bigger: -2960/9 or a?
-2960/9
Suppose -35 = -8*g + 53. Let o(j) = -3*j**2 + 14*j + 21. Let r be o(g). Let z be 0 - (2 + r/84 + 0). Which is smaller: z or -1?
-1
Let j(w) = -w**3 + 3*w**2 - 5*w + 137. Let q be j(6). Which is smaller: q or 10/409?
q
Let q be (-3)/(-8)*(-85)/255. Is q greater than or equal to -13?
True
Let f be (288/(-457296))/(2/(-7)). Is 1 smaller than f?
False
Let b = -0.2 + 9.1. Let n = -22.3 + b. Is n at least 0.1?
False
Let p = -14728 - -16818. Is 2088 less than p?
True
Let l = -8 + -1. Let o = -24 - l. Suppose -3*f - 38 = 2*i - 1, 2*f - 8 = i. Is o at most i?
True
Let y = -21 + 24. Suppose -2*w - 3*n + 27 = w, -4*w - y*n + 36 = 0. 