igger: g or 1?
1
Let s(v) = 5*v**2 - 7*v + 6. Let h be s(1). Suppose b - 8 = 3*b - 2*y, h*b + 12 = 3*y. Is -3/680 less than b?
True
Let z(g) = -14*g**2 - 7*g + 6. Let h(o) = o - 15. Let s be h(9). Let n be z(s). Let p be (-6)/2 - (n/231 + -1). Which is greater: p or -1?
p
Suppose 1044 = -m + 2*a, -3*m + 5*m + 3*a + 2060 = 0. Is m < -1036?
False
Let d(v) = -22*v - 142. Let t be d(10). Let c = t - -362. Which is bigger: 11/13 or c?
11/13
Let a be (-88352)/(-792) + 5/(-9). Let y be -1*(-3)/(-6)*-218. Which is greater: y or a?
a
Let k(z) = -3*z**2 + 3*z + 1. Let f be k(-4). Let o = f - -61. Let b be (-25)/24*(3 - -5)/o. Which is smaller: -5 or b?
-5
Let m(f) = -5*f. Let t be m(3). Let z(r) = 14*r + 73. Let p be z(t). Is p <= -138?
False
Let g = -1464/7 + 6991/35. Let o = -339/35 - g. Suppose -293*b + 283*b + 110 = 0. Which is smaller: b or o?
o
Let p(i) be the first derivative of i**4/4 - 4*i**3 - 11*i**2/2 - 23*i - 79. Let j be p(13). Does 5/2 = j?
False
Let n be 29/((-2233)/84)*2/(-40). Let s(u) be the third derivative of u**6/120 + u**5/30 - u**4/12 - u**3/2 - 3*u**2. Let v be s(-2). Is v not equal to n?
True
Let h = -28.2 + 32.2. Let r = 4.07 + -4. Which is smaller: h or r?
r
Let i = -14.8 + 15.14. Let h = 0.58 - i. Let t = 0.16 + h. Do t and -0.2 have the same value?
False
Let z(s) = -3*s**3 + 8*s**2 + 20*s + 41. Let q(b) = -b**3. Let w(t) = 4*q(t) - z(t). Let d be w(-5). Which is smaller: -13 or d?
d
Let u = 33109 + -33108. Which is bigger: u or -2/40441?
u
Let m(v) = -v**3 - 9*v**2 - 16*v - 5. Let c be m(-2). Is -2/329 < c?
False
Suppose -2*y = 3 + 9. Let s be 9/(-12) - y/8 - 83. Let r = s - -84. Which is greater: r or -2/103?
r
Let y(l) = -l**2 + 10*l - 19. Let s be y(5). Suppose s + 3 = 9*o. Which is smaller: o or -1/29?
-1/29
Let h be (-114)/1348*(453 - 457). Which is smaller: h or 0?
0
Suppose 2*r = -4*r + 115 - 121. Which is smaller: r or -1/2380?
r
Let g = 110.069 - 110. Let i = -10.931 - g. Let j = 356/2895 + 2/193. Which is bigger: j or i?
j
Let q(o) = -o**3 - 13*o**2 + o + 18. Let i be q(-13). Let f(y) = -2*y**2 + 14*y - 19. Let w be f(i). Which is smaller: -6/95 or w?
-6/95
Let z = 0.2282 + -0.1772. Which is bigger: 5 or z?
5
Suppose 35 + 1 = 4*d. Suppose 0 = -n + x - d, -6*n - 5 = -n + 5*x. Let f = -3033 + 3025. Is n <= f?
False
Let q = 3.4 + -3.3. Does -110 = q?
False
Suppose 3*m + 2*u = 3*u - 5, -2*u - 2 = -2*m. Let t be (-10)/(-4) - m/2. Is -2.5 < t?
True
Let z be 152/4664044*-2*(-2)/24*-14. Is -1 bigger than z?
False
Let k = -49 - -52. Suppose -2*i + 2*a = k*i + 8, -3*i - 5*a - 11 = 0. Let h = -23 - -21. Is i > h?
False
Let w = -118 - -118. Let c(s) = 5*s + 81. Let u be c(w). Let i = u - 86. Which is bigger: -2 or i?
-2
Suppose 4 = w, 5*n + 4*w - 1 = -35. Let v be ((-4)/(-20))/(2/n). Is v greater than or equal to 5/44?
False
Let j be (0/(-2))/2 + 84. Let i = j - 108. Suppose 3*r = 13 - 88. Which is bigger: r or i?
i
Let z(u) = 2*u**3 + 21*u**2 - 291*u - 3010. Let x be z(-10). Which is greater: -3/2390 or x?
x
Let t = -4266459/50 - -85325. Do -3 and t have the same value?
False
Let n(m) = -8*m**2 - 29*m - 91. Let j be n(14). Is -4127/2 less than j?
False
Let r(m) = -m + 21. Let i be r(-4). Suppose -4*w - i + 277 = 0. Let b = -65 + w. Which is smaller: b or -7?
-7
Suppose -3*o - 2*o = -110. Let n = 6839/6 + -1140. Which is bigger: o or n?
o
Let b = -31/641 + 13193/378831. Is b equal to 0?
False
Let r = 351 + -541. Let p be (r/20)/((-3)/(-6)). Which is greater: -2 or p?
-2
Suppose -2*p - 3*z + 0 = 2, 5*z - 18 = 2*p. Let t be -10 - (4 + -2) - -1. Let u be (54/(-24))/(t/p). Are u and 0 equal?
False
Let n(b) = -4*b**3 - b**2 + 4*b + 4. Let l be n(-1). Suppose -l*r - 7 = -2*j, 5*j - 4*r = -r + 13. Is 20/17 <= j?
True
Let u = 170 + -165. Let d be ((-2)/u)/((-328)/(-20)). Are d and 0 non-equal?
True
Let a(u) = -7*u**3 - 2. Let c be (2 + -1)*-2*21/21. Let s be a(c). Let l = -18 + s. Which is greater: 37 or l?
37
Suppose 21 + 28 = 24*j + 25*j. Which is smaller: 1/98 or j?
1/98
Let f be ((-3)/(-6))/(1/8). Let v = 21443.2 - 21444. Which is smaller: v or f?
v
Suppose -502*a = -602*a - 67700. Which is bigger: 1 or a?
1
Let o = -66 - -66.1. Which is smaller: 9151 or o?
o
Let m(v) be the first derivative of 0*v**2 - v - 29 - 2/3*v**3 + 1/4*v**4. Let u be m(2). Which is smaller: u or 3/11?
u
Let t be 15/(-18) - (27/(-18))/1. Which is smaller: 2/9265 or t?
2/9265
Let n = 0 + 0. Let q be (-2 - ((-2950)/(-430) - 9))*(-2)/4. Is n equal to q?
False
Let n be (-2)/40*(22 - 14). Which is greater: 1432 or n?
1432
Suppose 32 = -4*p - 80. Let t be 5405/(-4788) - 7/p. Let i = t + -4/399. Is -2 not equal to i?
True
Suppose -12*u + 12 = -4*a - 8*u, 0 = -5*a - 4*u + 21. Let z be (-2)/(-2) - (2 - 1). Let o = z + 1. Is o greater than a?
False
Let w be 2/(-13) - 6477545/7631. Are -847 and w equal?
False
Let q(g) = 81*g + 402. Let w be q(-5). Let z be (-2)/5*2*15. Let k be (z/(-9))/((-2)/3). Are w and k nonequal?
True
Let t be (-3 - 1)/((-4)/4). Suppose 10*q - 15*q = 5, -t*z - 1145 = q. Which is bigger: -287 or z?
z
Let v(n) = -6*n**3 + 7*n**2 + 38*n - 37. Let p be v(-7). Is 2100 not equal to p?
True
Let k = 24149073/691 + -34948. Which is smaller: k or 0?
0
Suppose 0 = -9*t - g - 403, -2*t = -3*g + 36 + 60. Let i be (-2)/(-4)*1/(-1). Is t less than or equal to i?
True
Let v be ((-2)/(-5))/((-7)/(-5)). Let j = 97.937 - 0.237. Let b = j + -71.7. Is v <= b?
True
Let n = 811 - 2431/3. Which is greater: 75 or n?
75
Let h be 74/(-25) - (-67 - -64). Let s = -11 + 14. Suppose 0 = -6*n - s*n. Which is greater: n or h?
h
Let o be 2681/383*((-40)/(-42) + 8/(-12)). Let i = 10040/4199 - 5/221. Which is greater: i or o?
i
Let a = -92 + 121.5. Let m = a - 10.6. Let h = -19 + m. Which is smaller: 0.27 or h?
h
Let j be 0*((-4)/(-10) + (-3)/(-5)). Let u be 190/518 + 72/(-252). Is u less than j?
False
Let a(p) = -387*p + 319. Let n be a(12). Are -4324 and n unequal?
True
Let i = 1581.966 - 1582. Which is bigger: -10 or i?
i
Let l be 2*(2 - 77/8). Let g = -139 + 141. Suppose 224 = g*x + 256. Are l and x equal?
False
Let m = 77563/468 - 663/4. Let x = 235 - 240. Let g be ((-30)/x + -8)/(6 + 2). Is g not equal to m?
True
Suppose 0 = 25*p + 3791 + 1809. Let h be p/12 - (-14)/21. Do -21 and h have different values?
True
Let c = 2497 - 2498. Is 4/157 at most as big as c?
False
Suppose 2*b + 3*j = -61 - 26, 48 = -b - 3*j. Which is bigger: -48 or b?
b
Let f = -0.0885 + -466.8115. Let g = -467 - f. Let r = -1 + 2. Is g at most r?
True
Let q(h) = -114*h - 1140. Let y be q(-10). Let j = -394772/289 - -1366. Is j equal to y?
False
Suppose 7*p - 291 + 277 = 0. Suppose 0 = p*q + 3*u - 136, 5*q - 5*u = 243 + 47. Which is smaller: q or 63?
q
Let p = 48/1067 - 57275/110968. Is -1 smaller than p?
True
Let z(o) = -7*o**2 + 97*o + 0*o**3 + o**3 - 6 - 85*o. Let h be z(5). Suppose -h*j + 12*j + 32 = 0. Which is smaller: j or -18/7?
j
Let m(t) = -t**3 - 12*t**2 - 10*t + 15. Let v be m(-11). Let r(a) = 56*a + 64. Let i be r(-1). Is v less than i?
True
Suppose 86*c - 87*c + 2*n + 123 = 0, -2*c - 3*n + 274 = 0. Which is smaller: 127 or c?
127
Let d be (-2)/(-18)*135/30. Let k = 25970 + -25680. Does k = d?
False
Let j = -999.3 - -989.279. Let i = -0.021 - j. Let m = i - 9.9. Which is bigger: -0.29 or m?
m
Suppose 4*s - 8 = 0, -z - 2*z + 4*s = -58. Let a = z + -20. Suppose -a*b - 3*k + k + 10 = 0, k = b + 5. Is 1 < b?
False
Let x = -7060 - -6959. Let y(o) = -101*o**2. Let b be y(-1). Does b = x?
True
Let o(z) = -z**3 - 22*z**2 + 22*z - 31. Let n be o(-23). Let u(g) = -g**2 - 7*g + 22. Let k be u(-9). Suppose 0 = q + k + 4. Is q less than n?
False
Let d be (1 + -2)/(-1) + (10 - 3). Suppose -8 = 4*o - 2*r, -2*r + 0*r + d = -3*o. Suppose a + 4 = o, g = a + 2*a + 12. Is -2/141 greater than g?
False
Let s be (-1)/(0 + 2/6). Let l = -1020.351 + 1021. Let x = l - 0.639. Which is greater: s or x?
x
Let m = 2 + -1. Let y be m/2 - (-188)/8. Let p = 4261 + -4238. Is p at least as big as y?
False
Let j(t) = t**3 - 33*t**2 - 99*t + 28. Let i be j(35). Let s = i - -414. Is -573 smaller than s?
False
Let c = 0.84 - -96.16. Let k = 96 - c. Is k < 1/4?
True
Let t = -20429 - -20342. Which is bigger: t or -1403/16?
t
Suppose -69*b + 51 = -31 + 13. Which is smaller: b or 5/1034?
5/1034
Let i be ((-10)/(-15))/(2/(-36)). Le