e 676 = -24*m - 140. Suppose 4*g + g - 4*t = -182, 3*g + 87 = -5*t. Is m >= g?
True
Let v = -2.07 + 2. Let k = v - 0.05. Let g = k + 0.19. Is g greater than -1?
True
Suppose -4*j = 4*f + j + 16, 5*f = -3*j - 20. Let s be (0 + (-3 - f))*22. Let r be (-1)/(-2)*(24 - s). Is 1/42 greater than or equal to r?
False
Let r be 6 + -2 + (-3)/1. Let q be (41/44 + -1)/(r/8). Which is smaller: -1 or q?
-1
Let u = 4295/9 + -479. Is -3 at least as big as u?
False
Let d = 7 - 10. Let t = 25199/3 + -8403. Is t >= d?
False
Let q = -815 + 813. Which is smaller: q or -51/53?
q
Let v(t) be the third derivative of -t**6/120 - t**5/5 - 11*t**4/24 + t**3 - 17*t**2. Let l be v(-11). Is l < 8?
True
Suppose -8 = -q + 6. Suppose -4*g - 5*t = q + 18, -4*g + 3*t = 0. Which is bigger: g or -2/13?
-2/13
Suppose 0 = 5*w - 2*z + 63, 0*z - 51 = 4*w - z. Suppose -3*v = 5*v + 112. Which is smaller: w or v?
v
Let b be -3*(9/12 - 8020/240). Is b != 101?
True
Let p be 39/84 + 2 + 36/(-21). Which is smaller: 2/9 or p?
2/9
Let j be (-7)/14*(5 + 2). Let s = j + 89/26. Suppose 2 + 1 = -3*d. Which is smaller: d or s?
d
Let n(a) = 2*a**3 - 6*a**2 - 7*a + 33. Let u be n(-3). Which is greater: -45 or u?
-45
Suppose 4*c = -5*l + 110, 2*l + 22 = 3*l - 4*c. Suppose -2*s = -s - 5*x + l, 3*s = 2*x - 1. Is 3 greater than s?
False
Let c = -5 - -2. Let y(l) = l - 8. Let a be y(7). Let f be (a - 3) + c - 0. Which is smaller: 2/3 or f?
f
Let b = -6 + 12. Let q(w) = w - 6. Let l be q(b). Suppose l = 4*y + 4 - 8. Are y and 1/2 non-equal?
True
Let p = 29/56 + -23/14. Let g = 91 + -141. Let s = -51 - g. Which is smaller: s or p?
p
Suppose 290 + 494 = -16*k. Which is smaller: -50 or k?
-50
Let s be (-3)/9 + 114/(-9). Let m = 14 + s. Is m at least as big as 1/6?
True
Suppose -5*m - 225 = -5*z, 0 = -2*z - z - m + 115. Let l = 15 - -26. Is l bigger than z?
True
Suppose -3 - 9 = -l - 3*c, 0 = 5*c + 5. Suppose 2*g + m + 2*m + l = 0, 0 = 2*g - 2*m + 20. Is g less than -35/4?
True
Let o = -26/17 - -103/34. Let p be 2/(-3) - (-21)/18. Is o < p?
False
Let k be (0/(-1))/(12/6). Is 3/52 greater than k?
True
Suppose -95 = -7*l + 45. Let s(p) = 3*p - 61. Let y be s(l). Which is smaller: y or -1/108?
y
Let m be 8/(-4) + (-207360)/196. Let b = 1060 + m. Are -1 and b nonequal?
True
Let w(z) = 3*z**2 - 36*z - 41. Let r be w(13). Is r less than or equal to -16/27?
True
Let o(v) = -6*v**2 + v. Suppose g - 5*x + 16 = 0, -5*x = 4*g - 14 + 3. Let y be o(g). Let n = -3 - y. Is n >= 4?
True
Let h = 72 + -71.6. Let z = 11.03 - 0.03. Let w = z + -10. Which is smaller: w or h?
h
Suppose -13*q = -9*q - 12. Suppose 4*n - 5*k = 120, 2*n + q*n = -4*k + 150. Let s = n - 34. Do -5 and s have different values?
True
Suppose 0 = 7*a + 230 - 6. Which is bigger: a or -63/2?
-63/2
Let z = 0.2738 + 8.4662. Which is bigger: -2/3 or z?
z
Let h = 60 + 1327. Which is greater: 1386 or h?
h
Suppose 3*q - 6*g = -g - 15, 5*q + 4*g - 12 = 0. Suppose 5*b - b + 8 = q. Let d be (-1 + 1 + -2)*1. Is d != b?
False
Let f(b) = b**2 - b - 6. Let v be f(-5). Suppose -3*p - v = 4*m, 0 = 5*p - p + m + 32. Let k be p/(-6) + 8/(-8). Is k at least -0.4?
True
Suppose -834*p + 427*p + 431*p + 216 = 0. Let t = -104012/11 - -9448. Which is smaller: p or t?
p
Let f be ((-2)/(-5)*-1)/(18/(-1710)). Let n = f - 43. Are n and -8 equal?
False
Let k = -20 + 42. Suppose 97 = 5*j - 4*t, -3*j + 4*j + 5*t - 31 = 0. Is j <= k?
True
Let y be 12/9*-3 - -3. Let l = 4213/590562 + -3/1526. Is y not equal to l?
True
Let h(i) = -i**2 - 14*i + 8. Let v be h(-14). Let n be (-2)/(-9) - (-25)/9. Suppose 0*x - x = 4*q - v, n*x = q - 2. Is x at least as big as 2?
False
Let h(x) = -37*x - 60. Let q(p) = -9*p - 15. Let r(b) = 2*h(b) - 9*q(b). Let i be r(-6). Is -28 at least i?
False
Suppose 8*q - 4*q + 4*t = -220, -55 = q - 2*t. Let k = -100 - -702/7. Is k smaller than q?
False
Let a = -4 + 10. Let x(g) = -g**2 + 6*g + 7. Let f be x(a). Let y = f - 6. Is y greater than 2/21?
True
Let d = 22 + -7. Suppose 4*q = -12, 0*l - 3*q = -2*l + d. Suppose 3*u + l = -6. Which is smaller: -5 or u?
-5
Let v = -43.4 + -25.8. Let h = v - -69. Which is smaller: 10 or h?
h
Let x be 65/2*(-18)/(-45). Let y = 2 - x. Let l be 2*(y/5 + 2). Which is bigger: -1 or l?
l
Let k(l) = -l**3 + 45*l**2 + 2. Let c be k(45). Which is smaller: 25/19 or c?
25/19
Suppose m = -4*c + 19, c + 3*m - 19 = -6. Suppose -z = 5*j - 14, -c*z + 8 = -3*j + 21. Let d(w) = -3*w - 25. Let q be d(-8). Are q and j unequal?
True
Let n = -84 + 86. Suppose 0*w = -n*w - 8*w. Let i(p) = p**3 - 6*p**2 + 5*p - 3. Let s be i(5). Is s at least as big as w?
False
Let f(o) = -o + 4. Let c be f(5). Suppose -3*m + 0*m = -30. Suppose r - n + 5 = 0, -4*n + m + 10 = 4*r. Is r smaller than c?
False
Let a = -132 - -131.41. Let l = -11.59 - a. Which is smaller: -3/2 or l?
l
Let f = -755/168 + -1/168. Which is bigger: -1 or f?
-1
Suppose 5*x + 2006 = 4*u, 28*x = 31*x - u + 1198. Which is smaller: -397 or x?
x
Suppose 5*f - 5 = 4*f. Let l = 37 + -33. Suppose 5*n - l*n - 3 = 0. Which is bigger: n or f?
f
Suppose 2*p = -0*p - 14. Suppose 3*u - 16 = b + 2*u, 54 = -4*b - u. Let s = -20 - b. Is s equal to p?
False
Let b = 6 - -1. Suppose b*a = 3*a - 20. Let v be 1*a + (5 - 3). Is v > -3?
False
Let z = -331/122265 + 5/741. Is z at least -1?
True
Let v(c) = c + 7. Suppose -2*b - 9 = 1. Let d be v(b). Suppose d*p - 7*p = 0. Is p >= 3/8?
False
Let q = 8.1 - 0.1. Let f = 92.8 - 93. Which is smaller: f or q?
f
Let u = 4/590271 + 7932651713/37777344. Let r = u + -210. Which is smaller: r or 1?
r
Suppose -3*d - 2*i + 2 = 0, 4*d + 4*i = 3*d + 4. Let n = 2/27 + -230/189. Which is smaller: n or d?
n
Let p be ((-50)/(-26) - 2)*-1. Suppose -6*k + 2*k - 8 = 0. Let c = k - -2. Which is smaller: p or c?
c
Let r be -1*11/3*-3. Let i = 48813/7 + -6973. Is r greater than i?
True
Let l = 489 + -489.33. Is l at most 2/5?
True
Let a = 290.1 + -303. Let z = 13 + a. Which is greater: z or 14?
14
Let v(a) = 8*a**2 + 25*a + 5. Let c(m) = -4*m**2 - 12*m - 3. Let f(d) = 5*c(d) + 3*v(d). Let w be f(-4). Is 3 less than or equal to w?
True
Suppose 16*q - 108 = 22*q. Let f be (54/(-72))/((q/(-16))/(-3)). Is f bigger than 9/10?
True
Let n = 9.94 + -10. Let h = -1.16 - n. Let g = h - -3.1. Which is smaller: -12 or g?
-12
Let q be -1 - 734/(-6) - (-6)/(-18). Is 120 < q?
True
Let y = -98 - -104. Let s = -4 + 6. Which is greater: y or s?
y
Let k(a) = 5*a**2 + 27*a + 29. Let p be k(-4). Let h = 53/63 - 4/63. Which is smaller: h or p?
h
Let q = -1430.9 - -1431. Is -76 greater than q?
False
Let t = -19 - -19. Suppose 4*w + w - 25 = t. Which is smaller: w or 16/3?
w
Let v be 3 - 1 - (11 - (12 - 2)). Is -2/137 greater than or equal to v?
False
Suppose -6 = -3*k, -5*k + 57 = -4*f - 97. Let g = 38 + f. Is -1 smaller than g?
True
Let y = 572 - 306. Suppose y = 3*n + 11*n. Which is greater: n or 16?
n
Let i = 106.2 + -120.2. Which is smaller: -45 or i?
-45
Let x = 1 + -2. Let l be (21/(-9) - -1)*6/(-332). Which is smaller: x or l?
x
Let j = -2008 - -1944.76. Let y = j + 63. Which is smaller: y or -2?
-2
Let f(q) = q**3 + 13*q**2 - 31*q - 12. Let r be f(-15). Let a be 6/(-15) - (r + 63/5). Which is bigger: -18 or a?
a
Suppose -2*d = 5*u - 18, 4*u = -d - 4*d + 45. Let p be 9 - d - 4/(-11). Which is smaller: -1 or p?
-1
Let m(t) = t**2 - 65. Let v be m(0). Let w be v/20 + 1/4. Let a = w - -4. Is a bigger than 3?
False
Let x = 10 - 5. Let s = x + -6. Let b = 3 + -3.1. Which is greater: b or s?
b
Let d(n) = 4 - 5 - 2 - n. Let r be d(-7). Suppose -2*t + 2*k = 3*k, 6 = -r*t - 5*k. Is t != -2?
True
Let h be (84 - 84)/(1*6). Which is greater: 2/31 or h?
2/31
Let o = 14 - 10. Suppose -n = 10 + o. Let t be -13 + 2 + (-3 - 0). Is n less than t?
False
Suppose -5*w = -22*r + 25*r - 343, -4*w = r - 112. Is r less than 115?
False
Suppose -3*j - 26 = -j + 4*o, -3*j - 3*o - 33 = 0. Let k = 10 + j. Which is bigger: k or -2?
k
Let d(w) = -w - 5. Let s be d(-4). Let z(g) = -2*g**3 + 2*g**2 + g - 1. Let p be z(s). Let k be (6/(-4))/(6/(-12)). Which is greater: k or p?
k
Let a(g) be the third derivative of -g**5/60 - g**4/24 + g**3/3 - 2*g**2. Let p be a(2). Let q(x) = x**3 + 4*x**2 + 2*x + 6. Let s be q(p). Does s = -0.02?
False
Let v be 3151/(-92)*16/(-7) - -4. Which is bigger: 82 or v?
v
Suppose -8 = -4*g - 52. Is -14 greater than or e