-64) + (-7)/l. Which is greater: m or 1?
1
Let b(y) be the third derivative of -y**4/12 + 8*y**3/3 - 34*y**2. Let s be b(6). Suppose x = -s + 4. Do x and 1 have the same value?
False
Suppose 3*y - 4*y + 41 = g, 0 = -g + y + 31. Let u be (8/(-66))/(12/g). Which is smaller: -0.05 or u?
u
Suppose 13316 = -21*g - 1573. Let f = g + 425. Which is greater: -283 or f?
-283
Let t(s) = s**2 - 17*s - 40. Let q be t(20). Suppose 4*j + 24 = q. Which is bigger: -2/707 or j?
-2/707
Suppose 22 - 7 = 3*c. Suppose 0*b + 4*m = -3*b + 89, 0 = 3*b - c*m - 44. Let s = 18 + 4. Is s greater than or equal to b?
False
Suppose 7*d + 297 - 311 = 0. Suppose -3*q = n - d, 6*q = 8*q + 4*n - 18. Is 10/163 at most as big as q?
False
Let y = 677 + -377. Suppose 3*m = -303 + y. Is 3/76 at most m?
False
Suppose -58 = -13*x + 11*x. Let p be -3 - (0 - 5 - (-72)/x). Is p greater than -1?
True
Let d = 18892 + -18891. Which is bigger: -2/38993 or d?
d
Let q(m) = m**2 - 16*m - 137. Let h be q(-28). Let r = 779 - h. Is r less than -315?
True
Suppose -129 = 10*n - 13*n. Suppose 0 = -9*x + n + 191. Let f be 1/(-2) + 819/x. Is 32 equal to f?
False
Let k be ((-102)/(-4))/(8/48). Let b = -152 + k. Which is smaller: b or -6/71?
-6/71
Suppose f - 8*f = 11*f + 17838. Which is smaller: f or -1?
f
Let u(d) = -7*d + 672. Let r be u(32). Is 451 > r?
True
Let v = -231 + 24716/107. Which is bigger: v or -1?
v
Suppose -q + 2*q - 9 = -2*r, -5 = 5*r - 3*q. Let s be (6/5)/(r/(-10)). Let x = -0.208 + 0.008. Which is smaller: s or x?
s
Let v = 7.5 - 1.5. Let a be 295/236 + ((-603)/(-132))/(-3). Which is bigger: a or v?
v
Let l = -0.10571 - 219.29429. Is l greater than 0.05?
False
Let g be -5 + (-2)/(-1) - (-40 + 26). Suppose -g*i + 626 + 980 = 0. Which is bigger: i or 148?
148
Let f(d) = 2*d - 36. Suppose 0*a + 72 = 4*a. Let i be f(a). Suppose -j + i = 8. Are -8 and j nonequal?
False
Let p = 14.5 - 12.5. Suppose 7 + 15 = -5*j - 3*n, 0 = 4*j - 2*n. Let d be ((-22)/8 - j)/(-1). Which is smaller: p or d?
d
Let c = 140 + -55. Let b be (-78)/45 + -3 + c/25. Is b <= -0.3?
True
Let b be (-388)/(-40) + ((-144)/(-30) - 4). Is 11 < b?
False
Let t(z) = -2*z**3 + 8*z**2 - 3*z + 2. Let x(q) = 3*q**3 - 15*q**2 + 3*q - 4. Let j(u) = 7*t(u) + 4*x(u). Let p be j(-2). Which is smaller: 0 or p?
0
Let q(u) = -65*u - 36. Let p be q(-11). Let n = -667 + p. Are n and 9 equal?
False
Let b be ((-12)/9 - -2) + ((-50)/6)/5. Is 1/2169 at most as big as b?
False
Let j(v) = -v**3 + 12*v**2 - 243*v + 1688. Let t be j(8). Let w = 77781/403 - 193. Is t < w?
True
Let w = 59152 - 59151. Let j be 328/(-854) - 4/(-14). Which is bigger: j or w?
w
Suppose -v - 9 = -4*i, -5*i - 5*v - 3 = 17. Is i smaller than 6/169?
False
Let d be (-2 - 0)/(-71 - -65). Is d > 2/8921?
True
Let y = -0.5 - 31.5. Let t = y - -32.6. Let a = 2.67 + 0.33. Is a > t?
True
Let a = -1091/9 - -121. Suppose 4*w = u - 19, 0 = -4*u - 0*w - 4*w - 24. Let r be (9/9)/(u - 0). Which is smaller: a or r?
r
Let d be (176792/(-726))/14 - -4. Is d bigger than -14?
True
Let z(o) = o**2 + 7*o + 21. Let d be z(0). Suppose -d*i + 12*i = 0. Which is smaller: i or 7/20?
i
Let n(z) be the third derivative of -z**6/60 + 17*z**5/30 - z**4/8 + 10*z**3/3 - 3*z**2 - 14. Let s be n(17). Which is bigger: -35 or s?
s
Let h = -298 - -291.37. Let s = h - -6.21. Which is smaller: s or 0?
s
Let w(o) be the third derivative of o**6/120 + o**5/6 - 11*o**4/24 + 57*o**2. Let l be w(-11). Is l greater than -1/18?
True
Let i be (72/(-20))/(336/(-15) + -6 - 3). Which is smaller: 0.1 or i?
0.1
Let c = -308417931/352780 + 4/88195. Does -873 = c?
False
Suppose -512 + 897 = -11*k. Suppose 2*f + 271 = 209. Is f at most k?
False
Let l(p) = -4*p**2 - 2. Let o(x) = 13*x**2 + 7. Let s(v) = -7*l(v) - 2*o(v). Let c be s(-2). Suppose -93*y + 89*y = c. Is y > -12/7?
False
Let g(j) = 14*j**2 + 4*j + 1. Let c be g(-4). Let d = -411 - -620. Do d and c have different values?
False
Let s(h) = -130*h**3 - 3*h**2 - 54*h - 52. Let c be s(-1). Which is smaller: c or 48?
48
Let n = 114 - 30. Let m = 46 - n. Is -1 != m?
True
Let p be 6/2 + (-4)/1. Let f be 12760/(-59479)*-14 - (1 - -2). Is p != f?
True
Let f(g) = -g - 18. Let u be f(-21). Suppose 3*k - 2*k = -u*l + 3, -3*k - 9 = 0. Let z be (3 - (-2 - -5))/l. Are z and -3/19 non-equal?
True
Let m(l) = l**3 - 5*l**2 + 5*l + 4. Let p be m(3). Suppose -13*g - 81 = -10*g. Let u be (((-3)/g)/(4/(-4)))/(-1). Is p >= u?
True
Suppose 98*h + 22869 = -84735. Is h < -1096?
True
Let o = -300 - -293. Let c(u) = u**3 + 6*u**2 + 26. Let n be c(o). Which is bigger: n or -22?
-22
Let p = -84 - -309. Let o = -214 + p. Which is bigger: o or 8?
o
Let i be (-6)/(-21) + (-71968)/224. Is -321 less than i?
False
Suppose 58*p - 4746 - 483 = -5*p. Is p at most 80?
False
Let d(q) = -q + 18. Let p be d(14). Suppose -5*t - f = 86, t + 5*f + 2 = p. Which is smaller: t or 8?
t
Let n be ((-3)/(-6))/(1/2). Let v = 843 + -834. Suppose -7*b - v = -37. Which is smaller: n or b?
n
Suppose 0 = 2*o - 3*w - 1 + 2, 4*w = 4*o. Suppose -5*n = -4*b + 3*b + o, 5 = 5*b - 4*n. Is b > 1/89?
True
Let a = -158 - -105.8. Let k = a - -37.2. Let y = -1.2 - -0.2. Which is smaller: y or k?
k
Let l = 45 - 43. Let s be 4/(-2)*35/l. Suppose -5*t + 0*x - 180 = -2*x, 3*x - 83 = 2*t. Is s less than t?
True
Let j = 2965032/19 + -156108. Which is bigger: j or -55?
j
Let b be (-88)/(-12)*(-7)/(49/(-42)). Suppose 27*r - 901 = b*r. Is r >= -53?
True
Suppose -x = -2*x - 140. Let w be 11/x + (-2)/(-8). Let o = 6630 + -6629. Is w bigger than o?
False
Let q = -0.122 + 0.201. Let d = q + -0.219. Which is smaller: d or 9?
d
Suppose 2*k + 12 - 18 = 0. Let v(c) = c**3 + 7*c**2 - c - 2. Let p be v(-7). Suppose -q - p = m, m + 5 = -q - k*q. Is 5/8 > q?
True
Let k = 61 + -12. Let l(o) = -o**3 - 7*o**2 + 6*o - 3. Let x be l(-7). Let t = k + x. Is 4 less than t?
False
Let r = 124 - 156. Let b be 3 + r/12 - 56/231. Which is bigger: 1 or b?
1
Suppose 31*j + 1967 = -27*j + 46511. Which is greater: j or -6?
j
Let j be (-18)/9*10/(-4)*-3. Let q be 294/(-5) + 6/j. Let a = 59 + q. Which is smaller: 0 or a?
a
Let i = -649 + -721. Let n be (46/30 + (-5)/3)*i. Is n equal to 182?
False
Let m be 86/(-40) + 1 - (-45)/36. Which is bigger: -141 or m?
m
Let n(r) = r**3 - 15*r**2 + 44*r - 12. Let p be n(9). Suppose y = 6*y + 165. Let a be 22/y*p/4. Is a bigger than 18?
False
Let j = 72 + -164. Let g be 13 - 12/2 - 9. Is g greater than j?
True
Let k = 66694557/1349 + -49440. Which is bigger: k or 1?
1
Let h = -106 + 110. Let k = -17 + 17.6. Let x = -0.6 + k. Is h equal to x?
False
Suppose -d + 2*d = -h - 71, 6 = 3*h. Let a be 115/66*d/45. Let t = a + 80/27. Is 1 at most t?
False
Let h = 6120 - 6121. Is h at most as big as -1/3221?
True
Let o be 1/(-5)*(-5094)/(-6). Let k = o + 170. Do -0.06 and k have different values?
True
Let y(k) = -k**3 + 9*k**2 + 15*k + 12. Let z be y(9). Let g be 1246/6 - 98/z. Is 208 greater than or equal to g?
True
Let l(m) = 14*m - 4. Let x be l(-3). Let i be ((-105)/56*4)/(3/18). Which is smaller: x or i?
x
Let d = -42 + 46.6. Let t = -7.7 + d. Let c = t - -3.3. Which is smaller: c or 9?
c
Suppose l = -5*u + 2, 6*u - 10*u + 2*l = -10. Which is bigger: 6/1037 or u?
u
Let h = 67110/19 - 3526. Is 7 less than h?
False
Let r = 6182/103 - 60. Let v = 625 + -620. Suppose 0 = -h + v*h - 2*h. Is h >= r?
False
Let j be -53*13/(65/(-10)). Is j at least 209/2?
True
Let b = 176.2 - 191.9. Is b < -0.1?
True
Let f = -11762730/37 - -317886. Is f smaller than -26?
False
Let i be ((-1)/(-1))/((-133)/(-152)*4). Let d be (-3)/(-9)*(-12)/(-100). Is d less than or equal to i?
True
Let f(p) = -216*p**3 + p**2 - 4*p + 4. Let a be f(1). Is a at most as big as -215?
True
Suppose 640*i = 644*i + 64. Let w = 1.2 + 6.8. Let z = -7.9 + w. Which is smaller: z or i?
i
Suppose -2*l - 2*l - 3*l = 0. Suppose -64*j + 68*j + 1660 = l. Let g = j - -1268/3. Is 9 > g?
True
Suppose 13*k - 27*k = -70. Let q be (-2)/k - (-4795)/175. Which is smaller: 18 or q?
18
Let i(x) = x**3 + x**2 + x - 1. Let z(u) = 5*u**3 - 4*u**2 + 4*u - 2. Let c(j) = 6*i(j) - z(j). Let a be c(-10). Is a > -24?
False
Let q = 143 - 203. Let i be 13 - 12 - 24*1. Let c(x) = -2*x**3 - 46*x**2 + 3*x + 9. Let g be c(i). Does q = g?
True
Let x(d) = d**3 + 13*d**2 - 18*d - 58. Let s be x(-14). Which is bigger: -133/41 or s?