 - 8, 0 = 4*z - k - 8. Are -2/3 and z equal?
False
Let y be ((-8)/(-300))/(70/100). Which is smaller: 0.2 or y?
y
Let g = 4631/2232 + 9/248. Which is bigger: g or 3?
3
Let z be 56/4 + -12 + -2. Is -2/587 greater than z?
False
Let q = 82 + -81. Let h be (q*(-9)/(-4))/((-138)/16). Is 1 >= h?
True
Let m = -1502 + 1152. Are m and -352 unequal?
True
Suppose 397*t = 394*t + 2289. Which is greater: t or 762?
t
Let g be (3 - 6)/(-117)*2. Suppose 30*k + 31 - 61 = 0. Which is smaller: g or k?
g
Suppose o - 70 = -o - 4*d, -5*o + 5*d = -205. Let f(s) = 2*s**2 + 39*s - 214. Let q be f(-24). Is o >= q?
True
Let z = -0.016 - -0.956. Let k = z - 0.04. Let g = k + -2.9. Is 4/7 not equal to g?
True
Let s be (-3*6/9)/(-6 + 9). Is s equal to -28?
False
Suppose 5*o = 2*y - 27 - 8, -5*o = -4*y + 85. Let z be (-1)/(-1) - (-192)/8. Do z and y have the same value?
True
Let o = -11 - -4. Let v be (64/(-84))/((-6)/o). Let m be 2 + (0 - -3)*(-2 + 1). Which is greater: m or v?
v
Let u(b) = -2*b**2 - 7*b - 5. Let z be u(-4). Let h be ((-8)/(-3) - 3)*z. Suppose -h*o - 5 = 2*o. Is o not equal to -1?
False
Let s = -391 + 387. Which is greater: s or 2?
2
Let s = -6 - 9. Suppose -4*q = -8*q - 96. Let f = q + 9. Is f < s?
False
Let a be (-3)/5*4/4. Let f(p) = p**2 - 17*p + 15. Let y be f(15). Let x(q) = q + 15. Let z be x(y). Which is greater: z or a?
z
Suppose 0 = -3*j - 33 + 9. Let t(w) = -w**3 + 15*w**2 - w + 6. Suppose q - 4*h = 5*q - 68, 0 = 2*h - 4. Let d be t(q). Which is greater: d or j?
j
Let v(q) = -q**2 - 13*q + 8. Let h be v(-14). Let o be (2/(-9))/(1/h). Which is greater: o or 2?
2
Let t = 1.6 + -1.1. Let l = -20 - -10. Let f = l + 9. Are t and f nonequal?
True
Let w = 0.07 - -0.08. Let b = w + -0.25. Which is bigger: b or 2/19?
2/19
Let m = 1.25 + 0.05. Let i = -2.12 + 3.82. Let a = i + m. Which is bigger: -0.2 or a?
a
Let l = -1.343 - -1.243. Let d be 2/101*(-1)/(-1). Are d and l non-equal?
True
Suppose 1233 = 4*j - 3*r, -j - 4*r - 68 = -381. Which is smaller: j or 308?
308
Let z = -0.13 + 19.93. Let v = 20 - z. Are v and -2 equal?
False
Let q = -0.74 + 1.84. Let v = 2.3 - 1. Let u = q - v. Are u and 3 non-equal?
True
Let t = -215 + 246. Do -15 and t have the same value?
False
Let j = -322 + 155. Is j less than -1?
True
Let l = 282 + -336. Is -56 at least l?
False
Let g = -16771/102355 - -2/9305. Which is smaller: g or 0?
g
Let i = 6.09 - 6. Which is smaller: i or -1?
-1
Let k be (4/(-12))/(1/5). Suppose 16*y + 8 = 12*y. Let x = y + 12/5. Is x at least as big as k?
True
Let o(j) = j**2 + j. Let a(x) = x**3 + 7*x**2 - 18*x + 5. Let m(z) = a(z) + 5*o(z). Let l be m(-13). Let y(k) = 3*k**2 + k - 2. Let g be y(1). Is l > g?
True
Let l be -6 + 0 + (4 - 25/(-10)). Which is smaller: 828 or l?
l
Let d = 100 - 99. Let y = -2.05 - -0.05. Is d bigger than y?
True
Let g be (2/16)/((-10)/140). Which is smaller: 2 or g?
g
Let y be (-5)/4*(-12)/(-1510). Which is smaller: -1 or y?
-1
Let b = -1828 - -2544. Which is bigger: 715 or b?
b
Let y be 1*(7 + 6 + -13). Are 0 and y non-equal?
False
Suppose -762 = a - 3*s, -11*s + 16*s + 3870 = -5*a. Are -1539/2 and a unequal?
True
Let i = -161.8 - -162.8. Is -501 greater than i?
False
Let t = 493687598 + -212285778643/430. Let w = -1297/5 - t. Let g = w + -9/43. Which is smaller: g or -1?
-1
Let l = 80 + -127. Let s = l - -46.8. Let t = 8.01 + -8. Is s < t?
True
Suppose -4*n - 20 = 4*j, 0 - 5 = -3*j + n. Is -2/393 smaller than j?
True
Let h = 1.86 + 19.14. Is 1/11 >= h?
False
Let j(v) = -v**3 - 2*v - 13. Let h be j(0). Let b = h + 25. Let t = 14 - b. Is 3 <= t?
False
Let z = 194 - 193.9. Is z > -2/19?
True
Let w(i) = 4*i**2 + 12*i**2 - i + i**3 - 5*i**2 - 30. Let t be w(-11). Are -18 and t nonequal?
True
Suppose -3*f + 5*f = 0. Suppose f = 3*a - 7*a + 12. Which is smaller: 10/3 or a?
a
Let o = -269 + 2155/8. Let h = -59/136 + o. Which is smaller: h or 0?
h
Let g = -1497.1 - -1497. Which is smaller: -3.06 or g?
-3.06
Let j(d) = 8*d**2 - 18*d + 1. Let i(g) = 7*g**2 - 17*g + 1. Let b(n) = 7*i(n) - 6*j(n). Let l be 18/((-1)/(2/(-4))). Let z be b(l). Are z and -17 nonequal?
False
Let s(r) = 4*r**2 + 2*r + 2. Let v be s(-1). Let o = v + -3. Let n = 1041/604 - -4/151. Which is smaller: n or o?
o
Let b = 221 + -218.7. Which is smaller: -0.04 or b?
-0.04
Let y = 1557 + -1556.8. Which is bigger: y or -2/435?
y
Suppose -2*g = -2*p - 4*g + 48, 43 = 2*p - 3*g. Let u(s) = -14*s - 5. Let d be u(-2). Is p > d?
False
Let j be 6/18 + (-39)/9. Suppose t + 0*t - 2*g = 5, 3*g = -2*t + 3. Suppose m - t*m = 6. Which is smaller: j or m?
j
Let p be 2/(-4) + -5 + 723/122. Let u = p - 2674/549. Which is greater: -3 or u?
-3
Let u = -121 + 122. Let s be ((u/(-4))/(-1))/((-155)/(-4)). Is 0 greater than or equal to s?
False
Let m be -3*(-6)/2*10. Is 89 <= m?
True
Let s be (-86)/(-3) - (-2 - -2). Let x = s + -28. Which is bigger: x or -0.2?
x
Let c be -5 + 4 - (0 + 0). Let d = -1178/11 + 107. Which is smaller: d or c?
c
Let x = -65058977/2070 + 62859/2. Let n = 2/45 + x. Suppose -6*q - 4*q = 10. Is n at least q?
True
Let l = -11.4 + 1.4. Let j = 19 - l. Let u = j - 29. Which is bigger: 2 or u?
2
Let a be 11/(-22)*(-168)/3. Which is bigger: 16 or a?
a
Let j(o) = -o**3 - 2*o**2 - 2. Let r be j(-2). Suppose -5*w + 25 = 5*s, -4*s + 3*w + 21 = -s. Let l be (r/(-3))/(s/(-9)). Is l > -3/5?
False
Let b(f) = 96*f - 22. Let i be b(2). Is 170 != i?
False
Let l be 5/(-3)*24/300. Let m = 0.2 + -0.6. Let i = 0.2 + m. Is i <= l?
True
Let n be (-2)/(-4)*(-8)/6. Let v be 12/(-16)*30/(-45). Is v < n?
False
Let j = -40 + 39. Is j less than or equal to 1/179?
True
Let v be -2*2 + 21/(105/170). Let f(i) = i**3 - 6*i**2 + 3. Let r be f(6). Suppose v = r*k + 3. Is 7 greater than k?
False
Let l be (-9)/(-6)*(-8)/4*1. Let b be 0/(1*(2 + l)). Is -10/9 greater than or equal to b?
False
Let j = -72.6 + 63. Let t = 6.6 + j. Is t bigger than -1/4?
False
Let z(a) = -a**2 - 16*a - 13. Suppose -7*g - 128 = g. Let h be z(g). Which is smaller: h or -10?
h
Let j be -2*((-684)/685 - -1). Let k = 108/400057 - -1921177851/1096156180. Let u = k + j. Is u less than or equal to -2?
False
Let z be ((-8)/20)/((1024/60)/(-8)). Suppose 2*l = -0*l + 2. Which is greater: z or l?
l
Let a be ((-724)/8)/((-10)/(-20)). Is -179 not equal to a?
True
Let b be (81/(-5652))/((-6)/16 + 0). Is -1 greater than or equal to b?
False
Suppose 119 = -12*i - 1. Are i and -8 nonequal?
True
Let c = -234 - -7724/33. Let b(l) = -l**2 + 10*l + 23. Let o = -55 + 67. Let n be b(o). Which is bigger: c or n?
c
Let c = -67 - -73. Let m = -25 + c. Which is greater: -15 or m?
-15
Let q = -0.632 - -0.332. Let s = 0.1 + -0.2. Let j = q + s. Is 0.6 greater than or equal to j?
True
Let c = 24.84 - 24.96. Is c bigger than 3/20?
False
Let k = 1318 + -1341.1. Which is bigger: -0.1 or k?
-0.1
Let v = -53 + 54. Let y = -0.024 - 1.296. Let l = -1.2 - y. Which is bigger: l or v?
v
Let m = -23 + 20. Let j be m/(-2)*(-24)/9. Let p = -3 + 1. Which is smaller: j or p?
j
Let k be (-5 - 2)*(-97)/(-11). Let u = k - -62. Which is bigger: 0 or u?
u
Suppose -3*t + 41 + 49 = 0. Let d be (0 - (-9)/t)/(72/15). Which is smaller: 1 or d?
d
Suppose -24 = -8*k - 8. Let h be 3/(-26*k*(-6)/(-32)). Suppose 4*g = z - 0*g + 21, 4*g = 20. Which is bigger: h or z?
h
Suppose 34*x - 39*x - 40 = 0. Is x < -6?
True
Let n = -150 + 151. Which is smaller: 2/305 or n?
2/305
Let y(p) = 2*p + 9. Let n be y(-9). Let v be (-2)/n - 150/(-54). Suppose 5 = -v*s + 2. Which is bigger: s or -2/3?
-2/3
Let h be ((-1)/(-3))/(4 - (-42)/(-12)). Which is greater: h or 64/3?
64/3
Let w be 1/1*5 + 208/(-39). Which is greater: 65 or w?
65
Let m = 157 - 214. Is -57 >= m?
True
Suppose 834 = -3*b + 4*s, -919 = 3*b + 4*s - 61. Which is smaller: -1 or b?
b
Let j be 30/(-8)*-2 - 1/(-2). Let k be (-22)/(-4) - 12/8. Let f = k + 5. Which is bigger: f or j?
f
Let d(p) = p + 7. Let m be d(-6). Let v be (-11120)/42 + 9/27. Let a = -264 - v. Is m less than a?
False
Let s be 855/(-567) + (-8)/(-36). Which is greater: 1/2 or s?
1/2
Let r = -1508 - -16534/11. Which is smaller: -5 or r?
-5
Suppose 0 = 18*v + 666 - 1890. Are 137/2 and v equal?
False
Let m be 8/(672/77) - (-3)/(-12). Does 46 = m?
False
Let p = 13.97 - -204.03. Is p less than or equal to 0.03?
False
Let g(v) = -v + 9. Let o be g(5). Suppose 2*p - 6 - o =