 + 2*b + 53 = 0. Suppose -52 = -3*n - y, n + 2*y - 17 - 2 = 0. Is x >= n?
True
Let a be (-99)/792 - (-41)/312. Is 1 <= a?
False
Let q = -10 - -12.6. Let n = 0.042 + -2.542. Let b = q + n. Which is bigger: 0.4 or b?
0.4
Suppose -3*u - 11 + 8 = 0. Let o be u/(26/72 - (-13)/(-26)). Which is greater: o or 8?
8
Let l = -181/3 + 182/3. Which is greater: l or 205?
205
Suppose -4*n - 4*m - m - 130 = 0, 5*n + 5*m = -165. Are n and -35 equal?
True
Suppose -4*j + 20 = 0, 14 - 5 = 2*u + 3*j. Is u bigger than 13?
False
Let j(z) = z**3 - 4*z**2 + 6*z - 2. Let d be j(2). Suppose -28 = -2*y + 4*w, -4*w = 3*y - d*w - 2. Which is greater: 3 or y?
y
Suppose 0 = 3*o + 2*o + 300. Let p = -52 + 53. Let u be -1 + p + 24/o. Is 12 bigger than u?
True
Let c = -6 - -10. Suppose -3*w = -m - 4*w + c, 5 = 5*w. Suppose 2*n = -m*n - 10. Are n and -2 nonequal?
False
Let r(l) = -3*l**2 - 2*l + 1. Let a = 53 - 51. Let u be r(a). Is 0.2 greater than u?
True
Let h = 177 - 114. Which is smaller: h or 62?
62
Suppose 0 = -9*o + 14*o - 5, 0 = 4*z - o + 13. Which is smaller: -38/11 or z?
-38/11
Let u = 1009 + -1413. Which is smaller: -405 or u?
-405
Let j be (-12)/(-18) + (-61)/(-3). Let s = j + -25. Which is greater: -2 or s?
-2
Let d = -471.1 - -471. Let q(k) = -13*k + 6. Let s be q(4). Which is smaller: d or s?
s
Let n = -675 + 901. Which is bigger: 225 or n?
n
Let q be 0 - (-3)/((-330)/464). Let d = q - -42/11. Which is greater: d or -1?
d
Let v be -4 - (-21)/((-126)/(-32)). Which is greater: v or 3?
3
Let m = -1.27 + -0.13. Let g = m + 0.4. Let k = 1401 + -1401.1. Is g greater than k?
False
Let g be -2 + (-425)/(-65) + (-8)/2. Which is smaller: g or 0?
0
Let v = -8977/4 + 2244. Which is greater: v or 1/34?
1/34
Let r = 215.1 - 208. Which is bigger: r or 1/2?
r
Let t = 221 - 216. Which is smaller: t or -46?
-46
Let u = -30 + 9. Let p = u - -5. Let x = p + 15.9. Is -0.3 greater than x?
False
Let j = 23 + -16. Let b(c) = c**3 - 6*c**2 - 7*c - 4. Let g be b(j). Let w = -3 - g. Which is greater: w or 2/23?
w
Suppose -3*j + h - 2*h = -17, -h = -2*j + 3. Let z be (2 - 2) + 0/j. Let g be 2*((-124)/(-56) - 2). Is g <= z?
False
Let a = 181 - 90. Which is smaller: 90 or a?
90
Let f = -196 - -195. Let t = 56.07 - 0.07. Is t > f?
True
Let q be ((-8)/(-14))/((-8520)/(-420)). Which is bigger: 1 or q?
1
Let g = 226 - 237.92. Let t = g - -12. Let d = -0.12 - t. Which is greater: d or 3?
3
Let r(t) = -t**3 - 6*t**2 - t. Let s be r(-6). Suppose 5*w = -x + 80, 0*w - 3*x + 36 = 3*w. Let b = s - w. Do -10 and b have the same value?
False
Let l = -2 - -6.4. Let k = l - -23.6. Let b = -27 + k. Which is smaller: -1/11 or b?
-1/11
Suppose 49*t + 72 = -23*t. Is t less than -7/4?
False
Let i(d) = -d**2 - 6*d + 10. Let n be i(-7). Suppose 3*y + y = 5*o + 32, y - n = 0. Is -6 greater than or equal to o?
False
Let n = -4482 + 1510433/337. Which is bigger: n or 0?
0
Let s = 22 - 17. Let g = -6 + s. Suppose -10*c + 17 = -11*c. Which is bigger: g or c?
g
Let k(n) = n**2 - 2. Let o be k(-2). Let a be (-5 + -4)*1 - -5. Let v be 0/o - a/18. Which is smaller: 0 or v?
0
Let a(n) = n**3 + 3*n**2 + 2*n + 1. Let q = -4 + -10. Let w = q + 12. Let y be a(w). Is y != 4/3?
True
Let c = -6543/2 + 673979/206. Let m = 1579/1133 + c. Which is smaller: m or 3?
m
Let g = -86 - -98. Let u = 21 - g. Which is smaller: 8 or u?
8
Suppose 2*w + n - 119 = 0, -2*n = -5*w - 0*n + 293. Let t = w - 115/2. Which is smaller: 1 or t?
1
Let i = 19 + -3. Let w = i - 16. Suppose -2*u - 7 - 15 = w. Does u = -10?
False
Let y = 62 - 54. Let b be 5/(-10)*(68/y + 0). Do -4 and b have the same value?
False
Let z(k) = -3*k + 12. Let x(f) = -3*f - 7. Let o be x(-4). Let b be z(o). Let c be (-6)/12 - (-7)/(-2). Which is greater: c or b?
b
Let x = 13/2 + -89/14. Let c = -3 + 4. Which is greater: x or c?
c
Let w be 349/(-9) + 6/(-27). Let k = -31 - w. Let h be -4*(5/(-4) + -1). Is k smaller than h?
True
Suppose -151 = -3*l - 49. Let z be l/(-10) - 4/(-10). Is z less than or equal to 5?
True
Let u = 828 + -1249. Is -423 <= u?
True
Suppose 6*k - 1192 = -736. Is -0.2 at most as big as k?
True
Let b = 0.2 - 0.3. Let n = -0.9 + b. Let q be ((-25)/(-6))/5 - (-14)/(-84). Which is smaller: n or q?
n
Let a be (4/6)/((-26)/(-39)). Is a at most as big as -2/999?
False
Let o = -22 - -21. Let t = 0.0035 + -0.0335. Which is greater: t or o?
t
Let y = 102 + -86. Let g(t) = -2*t**2 + 33*t - 14. Let k be g(y). Is 3 > k?
True
Suppose 3*o - 3*y + 8*y + 4 = 0, o + 2 = -2*y. Suppose 0 = 5*v + 2*h - h - 34, -o*v + 3*h = 0. Are v and 10 unequal?
True
Suppose 5*v = 2*n - 29, 2*v - 4*v - 3*n = 23. Let h = 8 + v. Let q(k) = -k**2 - 6*k - 8. Let d be q(-2). Does h = d?
False
Let p(i) = i**3 - 28*i**2 + 81*i - 110. Let j be p(25). Which is smaller: j or 34?
34
Let h = 0.07 + 1.93. Let j = h - 0.9. Let b = j - 1.1. Which is greater: -5/6 or b?
b
Let t = -67 - -64. Is t less than or equal to -114/37?
False
Let z(f) be the first derivative of -f**3 - 12*f**2 + 16*f + 1. Let a be z(-9). Is a bigger than -11?
False
Let o(h) = -27*h**3 + h**2 + 2*h - 9. Let b be o(2). Is -216 less than b?
False
Let q = -782 + 80549/103. Which is smaller: q or 0?
0
Let z = 0.5 + -3.5. Let v be -6 + 4 + -4 + -4. Let s(o) = -o**2 - 8*o + 16. Let d be s(v). Is z less than d?
False
Let s = -8 - -17. Suppose -5*z - s = 3*b - 6*b, 5 = -z - b. Is -2 bigger than z?
True
Let w(q) = 31*q**3 - q**2 - 2*q - 1. Let s be w(-1). Let n = -20 - s. Let k be ((-48)/14)/(156/42 + -4). Which is smaller: k or n?
n
Let w = 1.1 + -0.1. Let r(h) = -h**3 + 52*h**2 - 52*h + 41. Let i be r(51). Which is smaller: i or w?
i
Let q(p) = -p**3 - 7*p**2 - p - 9. Let n(u) = -u**2 + 12*u - 6. Let o be n(11). Suppose 2 = o*c + 37. Let f be q(c). Which is smaller: -4 or f?
-4
Let f = -29 + 205/7. Suppose 2*n = -3*n + 120. Suppose 3*d + 12 = 0, -2*x + n = -0*d + d. Is f > x?
False
Suppose -1 = 2*t - 0*j - j, 3*t + j - 1 = 0. Let k(a) = a - 5. Let y be k(-7). Let b be (y/(-14))/(8/(-4)). Is t <= b?
False
Let k(w) = 6*w**2 - 5*w + 26. Let t be k(6). Which is greater: -1 or t?
t
Let r(b) = -b**3 - 7*b**2 - 6*b - 5. Let i be r(-4). Let z = 1225 + -1254. Is i at most z?
True
Let o(t) = -t**3 - t**2 + 2*t + 4. Let h(x) = -2*x**3 - 2*x**2 + 3*x + 7. Let m(f) = -3*h(f) + 5*o(f). Let b be m(-2). Let p = -129 - -125. Is p <= b?
False
Let r(l) = -2*l**2 + 12*l + 21. Let s be r(8). Which is bigger: s or -83/7?
s
Let y be -328 - 3/(-6)*0. Let q be y/140 - ((-3)/(-3))/(-5). Let z = 1 + -0.9. Is q <= z?
True
Let t = 49 - 50. Let u = -21 + t. Is u bigger than 1?
False
Suppose -112 + 137 = -5*f. Let c = -26 + 44. Suppose 5*t + 11 = r, 5*r + c = 2*r - 2*t. Is r greater than or equal to f?
True
Suppose 4 = d + 9. Let o be (d/(-20))/((-2)/(-24)). Let l be (-1)/o*(-63)/(-15). Is l at most as big as 0?
True
Let m be 6/20 - 0/(-2). Let x = -52 + 46. Let q(j) = j + 7. Let c be q(x). Is c bigger than m?
True
Let a be 35/(-133)*(-6)/(-18). Is a != -2/5?
True
Let m be (-4)/3*(-6)/4. Let c be (m/10)/(8/10). Let x = 76.69 - 76.7. Is c smaller than x?
False
Suppose 0 = 3*a + 2*l - 22, 4*a - 5*a = 3*l - 19. Suppose a*s = o - 10, -2*o - o + 5*s + 2 = 0. Let b = -179/26 - -5/13. Which is bigger: o or b?
o
Let n = -6/113 - 1016/2147. Which is bigger: -2 or n?
n
Let b be (-3)/((3 + 6)*(-15)/(-225)). Is -42/11 smaller than b?
False
Let g be (-4)/(-18) - (-4 + (-356)/(-84)). Let o = 6/5873 - -16726/52857. Let b = o - g. Which is smaller: b or 0.1?
0.1
Let c = 16.53 - -0.47. Let x = -2.522 - -19.652. Let j = x - c. Which is smaller: j or 1?
j
Let z be (-1)/(-40)*9*(-685)/(-105). Let s = -15/56 + z. Which is greater: 0 or s?
s
Let v = 121 + -142. Is -22 less than v?
True
Let n(t) be the third derivative of -t**5/60 - t**4/4 - 5*t**3/6 - 43*t**2. Let d be n(-10). Which is bigger: -44 or d?
-44
Let t = 2.1 - -53.9. Let c = t + -54. Are -14 and c non-equal?
True
Let i be (2 - (-1 + 7))/(-1). Which is smaller: i or 25/6?
i
Let q be (-4)/(-14) - 24/84. Let t be 8/20*13070/48. Let f = -109 + t. Which is bigger: f or q?
q
Suppose -4*a = 3*u + 35, 2*a + 30 = -a - 3*u. Let s = -1.03 - -0.03. Do a and s have different values?
True
Let a = -709/7 + 102. Is a != 1?
True
Let j = 22.25 + -22. Let q = j - -0.75. Is q equal to -1/2?
False
Let l be (-6)/(-24)*((-36)/(-4) - 5). Which is greater: 47