3.995 - -2775. Let s = x + -0.005. Let z = 22 - s. Is 4/11 smaller than z?
True
Let a = 2/1385 + 921017/5540. Let k = a - 13981/84. Let u be (3/(-6)*-2)/(-1). Is k smaller than u?
False
Suppose 2*f - s + 53 = 0, -f + 71 = -3*f - 5*s. Let r(i) = -i**2 - 34*i - 98. Let h be r(f). Do 70 and h have the same value?
True
Let y be (-34)/(-2) + 10 + 0/3. Is -133 greater than y?
False
Let z = -0.2 - -0.08. Let j = z + 0.12. Which is greater: -130 or j?
j
Let r(z) = -4*z**3 + 11*z**2 + 4*z - 7. Let k be r(3). Let x be (24/48)/(2/k). Does 7/94 = x?
False
Let q(p) = -15*p - 194*p**2 + 55 - 189*p**2 + 382*p**2. Let l be q(-18). Which is smaller: 1/799 or l?
1/799
Let n be 0/2*(-1)/1. Let v = -11121 + 13044935/1173. Let a = v - -1091/48093. Which is smaller: a or n?
n
Suppose 63*h - 12 = 60*h. Suppose -4*s + 2*l = -4, 3*l - 9 = -h*s + 5*s. Let o(c) = -7*c + 15. Let n be o(s). Which is smaller: n or 0?
n
Let k = 8812 - 1357051/154. Which is smaller: -1 or k?
-1
Let l = -10038 + 10037.9. Are 1 and l equal?
False
Suppose -4914 = 11*z + 5102 + 6528. Is z <= -1505?
False
Let v = 5 - 11. Let r(w) = w**3 - 52 + 4*w**2 + 139 - 13*w - 45 - 46. Let d be r(v). Are 18/11 and d equal?
False
Let p(b) = -b**2 + 18*b + 15. Let a be p(17). Suppose 3*g - 5*i - 19 = 2*g, -a = -5*g + 4*i. Suppose -g*k - 3*n = n, k = -5*n - 4. Are k and 5/9 nonequal?
True
Let g = -139 - -139.188. Let t = g + -1.288. Let u = 0.5 - 0.3. Is t greater than u?
False
Let s(c) = 86*c - 153. Let w be s(2). Which is smaller: w or 222/11?
w
Let m = -21 - -13.1. Let u = 518 + -511.1. Let k = m + u. Which is greater: k or 2/7?
2/7
Let a be 56/10 - 12/(-30). Suppose b = -4, 2*i - a*i - 68 = -3*b. Suppose -16*v + 84*v = -1428. Which is greater: i or v?
i
Let c = 7512 + -4749. Is c greater than 2765?
False
Let n = 65 - 57. Suppose 51 = -n*x - 53. Is -6 greater than or equal to x?
True
Let r(m) = 1. Let o(y) = -12*y - 3. Let a(w) = o(w) - 18*r(w). Let k be a(-8). Let h = 673/9 - k. Is h bigger than -7?
True
Let i = 0.00464 - 0.44464. Is 0.2 smaller than i?
False
Let y(r) = 2*r**2 - 14*r + 11. Let f be y(6). Let c = -34 + 33.98. Which is greater: f or c?
c
Let q(k) = k**3 + 7*k**2 + 5*k - 10. Let x be q(-6). Let j = -0.24 - -0.84. Let c = 1.4 + j. Which is greater: x or c?
c
Suppose 260*s + 93*s - 5*s + 62*s = 0. Is -43/64 < s?
True
Let v = -3731 - -7580. Is 3850 less than v?
False
Let x = 14 - -16. Suppose 44*y + 1567 = -3*p + 42*y, -5*y - 1063 = 2*p. Let o = 2077/4 + p. Which is smaller: x or o?
o
Let j(k) = k**2 + 11*k + 13. Let f be j(-14). Let q = f + -53. Suppose -3*h + h - 167 = 5*m, 10 = q*m. Is h < -96?
False
Suppose 25*x - 27*x = -p - 3, 3*p = -2*x + 15. Suppose t = 4*c + 60, 0 = t + x*c - 45 + 6. Is t < 42?
False
Let y = 2615 - 2616. Is y < 28/163?
True
Let c be 15 - 2*-1 - (22 - 21). Let j be c/14 - (-3 - -5). Is -2.3 equal to j?
False
Suppose 0 = -4*p - 16, 4*r - 5*r + 20 = -4*p. Suppose f + r*f = -50. Is -12 at least f?
False
Let k be ((-98)/42)/((-49)/(-252)*-3). Let y(b) = 2*b**2 + 3*b + 5. Let l be y(-3). Are k and l equal?
False
Let p(v) = 2*v + 12. Let n be p(-11). Let c be -1 + (-77)/(-35) + 2/n. Let w = -3925/33566 + 2/1291. Are c and w unequal?
True
Let o(n) = 8*n**3 - 7*n - 10. Let a be o(-2). Suppose 374*m - 380*m - 378 = 0. Are m and a equal?
False
Let z be (1*(-138)/(-30) + -5)/(32/460). Is 35/6 at most z?
False
Suppose -5*a - 211 = 2*i + 986, -3*i + 1217 = -5*a. Let v = -240 - a. Is -2/159 >= v?
False
Let x = 15386.9 - 15386. Is x at most -2/5?
False
Let o = -72.86 - 1.14. Let i = o - -73.18. Let t = 8.82 + i. Is t at most as big as -0.1?
False
Let a = -48 - -116. Let b = a + -5648/83. Let h(w) = 45*w. Let g be h(0). Is g < b?
False
Let c be 32 + -31 - 1635/1509. Which is bigger: 1 or c?
1
Let p = -7940 - 1089. Which is smaller: -9028 or p?
p
Let q be -674*16/1096 + 10. Which is greater: q or 1?
1
Let p = 2.02 - 0.02. Let w = 2.49 - 2.541. Let o = w + 4.051. Which is smaller: o or p?
p
Let d be (3/870)/(20/50). Let s = d + -91/464. Suppose -3*a + 12 = -3*z, 0 = -3*a + z + 4. Is a > s?
True
Let u = 2.5 - 2.43. Let n = u - 0.088. Let b = n + -0.442. Which is smaller: -1 or b?
-1
Suppose -4*j + 512 = -o, 2*o + 0*j + 1037 = -5*j. Let m be o/(-10) - 28/(-70). Suppose -4*l = -2*l + m. Which is bigger: -25 or l?
-25
Let y = -1.05 - 81.85. Let i = y - -83. Which is smaller: i or -19/2?
-19/2
Let n be (-17 + 20)/(((-36)/(-4) + -3)/(-2)). Is n at most as big as -2/8943?
True
Let r = -554.9 - -555. Which is smaller: r or -290?
-290
Suppose 0 = -5*s - 2*z - 1292, 0 = -188*z + 187*z - 1. Are -267 and s non-equal?
True
Let c = -138233 - -1518553/11. Is -182 smaller than c?
False
Let o(y) = -17*y**3 + 2*y**2 - 2*y + 1. Let p be o(1). Let i be (-4 - 56/p)*-2. Let c be (-1)/(58/(-6) - -2). Which is smaller: c or i?
c
Let t = -352 + 47. Let x = t - -313. Which is greater: -0.035 or x?
x
Suppose m = -k + 4, 2*k = -2*k + 16. Suppose 12*g - 33*g - 21 = m. Which is smaller: 1/180 or g?
g
Let s(v) = -v**3 + 8*v**2 - 4*v + 2. Let m be s(3). Let h = 57 + -59. Which is smaller: m or h?
h
Suppose 32 = 5*f - 2*s - 57, -f - 4*s + 9 = 0. Suppose 5*q - f = 3. Suppose -3*d - 2*x + 3*x = 5, -2*x = d + q. Is -3 >= d?
False
Let a be (-3279)/(-8) - 20/(-5) - (-58)/464. Is a equal to 415?
False
Suppose 0 = h + h + 8. Let s be -12 + -2 - h/(-2). Suppose 5*g - 52*n = -48*n - 92, n - 51 = 3*g. Is s smaller than g?
False
Suppose -3*c = 5*z - 3 - 27, -2*z - 9 = -3*c. Suppose 0 = 3*r + 4*u + 78, -3*r - z*u - 44 - 34 = 0. Which is greater: -24 or r?
-24
Let b be 2 - 3503/(-186)*177/(-1667). Which is greater: 0 or b?
b
Let y be (-4 + 1)/(2094/2076 - 1). Let f = y + 347. Which is smaller: 40/17 or f?
f
Let k = 80 - -178. Suppose 7*x = 5*x + k. Does 132 = x?
False
Suppose 2*t - 543 - 645 = 0. Let d = 593 - t. Which is smaller: d or -1/192?
d
Let j = -8161/6 + 1357. Suppose 6*o - 3*o + 2*t = -6, -o - 2 = t. Which is bigger: o or j?
o
Let x = -15 - 35.8. Let d = 251.8 + x. Is -2/5 != d?
True
Let j = -2531142/86135 - 246/2461. Does j = -30?
False
Let p = -8724 - -8720. Which is smaller: p or -0.159?
p
Let w(c) = -13*c - 2. Let f = 63 + -109. Let x = f + 41. Let r be w(x). Are 64 and r equal?
False
Let t(a) = a**3 - 51*a**2 + 102*a - 456. Let c be t(51). Which is greater: -0.1 or c?
c
Let g = 203 - 1019/5. Let t = 111 - 108. Suppose -t + 8 = -o - r, -r = 4. Does o = g?
False
Let s be (-27368)/(-1866)*(0 - (-3)/(-2)). Which is smaller: s or 1/144?
s
Let o = 367 + -543. Let g be (-1)/2 - 120/o. Let u = 226 - 226. Are u and g non-equal?
True
Let v = 2 - 3. Let n(i) = -2*i**2 - 11*i + 31. Let q be n(-8). Let r = q + 26/3. Which is smaller: r or v?
v
Let h = -1711 + 1707. Which is bigger: h or -480/119?
h
Let z be ((-245)/1260)/((-4)/(-32)). Which is greater: z or 0.02?
0.02
Let g(f) be the third derivative of -f**6/120 + f**5/12 + 19*f**4/24 - f**3/6 - 16*f**2. Let q be g(8). Let u = 37 + q. Which is bigger: u or -14?
u
Let y = 48080 + -48079. Let l(s) = -9*s - 7. Let n be l(5). Let k be (-3)/(-6) + 6/n. Is y at least as big as k?
True
Let s = 357 - 333. Is s greater than 17?
True
Suppose -1315 - 897 = -14*b. Is -12 at most as big as b?
True
Let m be -1*((-4)/2 + -12). Suppose 4*r - 330 = 19*r. Let h be r/(-55) - (-73)/(-10)*-2. Which is greater: m or h?
h
Let l be -30*(-1)/((-12)/8). Let g be (-4)/6 + (-93)/18*2. Let u = -6 + g. Which is greater: l or u?
u
Let c = -71 + 82. Let v = c + 30. Which is smaller: -1/3 or v?
-1/3
Let z be 48/(-160) - 4167/(-90). Which is bigger: z or 770/17?
z
Let o be (0 - 4*-1) + 29/(-348). Let p = 1481/372 - o. Which is smaller: -3 or p?
-3
Let v = 144 + -124. Let c be ((-5)/(v/(-38)))/(-1). Suppose -3*k - 5 = g + 6, g + k + 11 = 0. Is c greater than g?
True
Let j(a) = -3551*a + 7176. Let c be j(5). Do -10580 and c have different values?
True
Suppose 4*d + 0*d = -13*d - 0*d. Which is greater: -30/253 or d?
d
Suppose 2*h + 97 = 4*m + 459, -5*h - 211 = 2*m. Is m greater than -1202/13?
False
Suppose 8*x = 589 + 483. Let c(o) = -8*o + 261. Let y be c(16). Is x < y?
False
Let r = -2857 - -8573/3. Are -2796 and r non-equal?
True
Let o = 100.1 + -92. Let d = 7.1 - o. Is d at least 190?
False
Suppose -32*v - 114*v - 2033 = 3369. Are -53 and v nonequal?
True
Let x(r) = 567*r + 3400. Let z be x(-6). Are -53/49 an