- q. Is 3 at least k?
True
Suppose 0*c + 8*c - 600 = 0. Let h = c + -47. Let a = 22 - h. Which is smaller: a or -0.3?
a
Let a = 397 + -237. Let o be (-3)/24*11 + 60/a. Let l be (-584)/(-858) - (-14)/(-21). Is o less than or equal to l?
True
Let o(t) = -t**3 - 15*t**2 - 13*t - 289. Let f be o(-13). Which is greater: -457 or f?
-457
Let p be (10 - 483/49)*14. Suppose -2*d = 3*l - 73, -2*l = p*l + 4. Suppose -4*s + 184 = 32. Is d >= s?
True
Suppose k + 15*p - 14*p + 3 = 0, p + 3 = 5*k. Suppose -2*n + 4*t + 116 = k, 3*n - 9*t - 175 = -4*t. Is n >= 61?
False
Suppose -1114*s = -1116*s - 2*h - 2054, 5*h - 4135 = 4*s. Which is smaller: 0.1 or s?
s
Let a(m) be the second derivative of -m**4/6 - 4*m**3 - 41*m**2/2 + 12*m + 6. Let s be a(-13). Is -69 >= s?
False
Let v = -3414 - -488200/143. Let x = -509 - -508. Which is bigger: x or v?
v
Let k = 46 + 35. Let g = k + -165/2. Are g and -3 non-equal?
True
Let u = -10.26 - -1.96. Let v = -8 - u. Let i = 2.033 + -0.733. Is i < v?
False
Let l = 2.4317 + -0.0717. Let m = -2.49 + l. Is m less than or equal to 0.2?
True
Let b = 528 - 1252. Is -0.3 smaller than b?
False
Suppose 29*q - 35*q = -480. Suppose q = 12*x - 2*x. Which is smaller: x or 4?
4
Let t(m) = -m + 3. Let w be t(4). Let u be (12/w)/(15/(-10)). Let f(g) = g**2 - 10*g + 12. Let r be f(u). Are r and 4 equal?
False
Let f = 4 + -3. Let q = 5 - f. Let a = -0.2455 - -4.2455. Is a bigger than q?
False
Let r(l) = l**3 + 4*l + 5. Let p be r(-2). Let a(y) = y**3 + 12*y**2 + 9*y - 15. Let x be a(p). Let w be x/126*(-2 + -2). Is w at least 1/13?
False
Let b = 820807/20 + -41040. Which is smaller: b or 0?
0
Suppose -2*g = f - 1, -34 = -2*f - 0*g + 4*g. Let a be -1*(f + -8)*11*3. Is -30 not equal to a?
True
Let q(d) = 10*d**2 - 4. Suppose 2*s - 11 = 5*r, -13 = -3*s + 5*r - 4. Let g be q(s). Let t be -1 - g - (-4)/((-8)/(-6)). Which is bigger: t or -35?
t
Suppose 94*j - 198*j + 6 = -98*j. Let i be -1 + (69/(-26))/(-3). Which is greater: i or j?
j
Let q(h) = -h**3 - 19*h**2 - 19*h - 20. Let n be q(-18). Let l be n + 7 - (-1 + 6). Suppose l = -2*d + 2, 2 = -0*y - y + d. Is -6/47 < y?
False
Let c = -152671/11 - -13889. Let l be ((22/2)/(-33))/(-2)*-2. Which is smaller: c or l?
l
Suppose -41*b + 77 = -11*b - 133. Which is smaller: b or -1?
-1
Suppose -v + 13 = -2*a, -5*v + a + 77 + 6 = 0. Let x be 6/36 + 13/(-6). Are v and x equal?
False
Suppose 80*h = 83*h - 2*u - 2955, 0 = -5*h + 2*u + 4929. Which is bigger: h or 980?
h
Let h = -16302 + 16301. Let r = 256411/127 - 2019. Is r != h?
True
Suppose -3*a = 2*b + 894, 2*b + a + 1089 - 203 = 0. Which is smaller: b or -439?
b
Let v be 6*-2*5/30 + 2289/1137. Is v at least as big as -1?
True
Let q be -8 - (16 - (-2208)/(-6)). Which is smaller: 349 or q?
q
Suppose 4*l + 4*b = -24, -5*l - 7 + 1 = -b. Let u be -8*(-1)/4*-4. Is l at most as big as u?
False
Suppose -27 = 45*o - 54*o. Suppose 5*m + y - 107 = 0, 5*m = -o*y + 115 - 4. Which is smaller: m or 26?
m
Let c be -33*(2/(-15))/(2/(-10)). Let w = c + 43. Suppose -2*f + 4*v = 0, 2*f + v - w = -2*v. Which is bigger: f or 9?
9
Let q = -5154 + 5181. Which is smaller: 7 or q?
7
Suppose 23*f - 27*f = -c - 26, 10 = 4*c + 3*f. Does -18/19 = c?
False
Let n = -99 + 97. Does 2352 = n?
False
Let i = 71 + -71. Suppose -28 = 2*a - 2. Let w = a + 13. Is w <= i?
True
Suppose -3*n + 1 - 7 = 0. Let d be (-39)/26*22/(-24). Is d < n?
False
Let s(z) = z**2 + 9*z + 14. Let t be s(-7). Suppose -112 = 7*d - t*d. Let r = -14 - d. Is 1 at least as big as r?
False
Let i(o) = 33*o - 1170. Let u be i(29). Which is smaller: u or -204?
u
Suppose 4 = 4*l - 8*l. Let v(s) = 48*s + 820. Let k be v(-17). Is l greater than or equal to k?
False
Suppose 0 = -3*p - 2*p + 2*t + 665, 5*t = -2*p + 237. Let z = p - 131. Is -4/7 less than z?
True
Let j = 12519 - 12519. Which is smaller: 23/51 or j?
j
Let g = 489634/87 - 5628. Which is smaller: -60 or g?
-60
Let o(c) = 55*c + 1564. Let d be o(-29). Let k = -3341/44 - -497/11. Does k = d?
False
Let l = -2.034 + 2.30858. Let v = 58.66042 + l. Let p = v + 0.065. Which is smaller: 2 or p?
2
Let t(r) = -242*r**3 - 8*r**2 - 4*r + 4. Suppose 3*i = -4*g + 2, 0 = 4*g + 5*i - 0 - 6. Let k be t(g). Which is smaller: 243 or k?
k
Let g(y) = y + 102. Let r be g(12). Suppose d - 172 = 2*b, 3*d - 3*b + r = 621. Is d at least 166?
True
Let g be (345926/(-20))/(2/8 - 0). Let y = g + 29718871/430. Let t = y + 143/2. Which is smaller: 1 or t?
t
Let l be (-574)/10 - 42/(-105). Let o = 22/7 + -1649/28. Which is smaller: l or o?
l
Let c(m) = 11*m - 25. Let q(t) = -5*t + 13. Let x(o) = 6*c(o) + 13*q(o). Let j be x(-20). Let z be (-3 - -8)*(2 - j). Which is smaller: z or 16?
z
Suppose 0 = -31*q + 25*q - 5820. Let u be q/(-6795) + 1/(18/(-4)). Which is smaller: u or 1?
u
Let k be -2*(0 - 8/12). Let a = -103 - -91. Let g = a + 14. Which is smaller: g or k?
k
Let j = -9 - 24. Let t = 19 + j. Let a = -12 - t. Is a greater than or equal to -4?
True
Let d = 0.076 - -0.664. Let t = d + -0.8. Let y = -1707/1114 - -18/557. Is t bigger than y?
True
Suppose -3*c + 2*d - 462 = -0*c, -3*c = -4*d + 468. Let z be 118/1062 + (2 - 698/27*6). Which is greater: c or z?
c
Let u be 13/(-12)*(-48)/36. Which is greater: 1 or u?
u
Suppose -29*r - 270 = -24*r. Let u be (0 - 124/33) + (-36)/r. Let i = -872/275 - u. Is i less than or equal to 1?
True
Let b = -227/2 - -116. Let z(a) = -5*a**2 + 2. Let u be z(-2). Let r be ((-4)/u)/((-8)/48)*-3. Is b at least as big as r?
False
Let f be (2/(-2))/(49/(-14)). Do -2897 and f have different values?
True
Let r = 5 - 5. Suppose r = -3*c + 2*c - 1. Let z be (-4312)/715 - (-8 + 2). Is z at most as big as c?
False
Let w = 1893/11 + -41282/231. Which is smaller: -8 or w?
-8
Let l be (-18434)/130*4/947 + (-42)/(-70). Is l bigger than -0.1?
True
Let t be (32/(-48))/(4/(-1470)). Let v = t - 103. Is 142 > v?
False
Let t = 85.39 - 85. Let d = -0.71 - -0.34. Let c = t + d. Is 2 < c?
False
Suppose -3*l - 1 = -4*l. Let v = 53 - 17. Let w be (v/(-9 + 3))/(102/(-4)). Which is smaller: l or w?
w
Let c(i) = 17*i + 391. Let n be c(-23). Let g be (-17138)/(-130) - (9 + -11). Let t = g - 663/5. Which is smaller: t or n?
n
Let c = -103 - -9. Let w = 95 + c. Let r = -1531 - -36751/24. Is w > r?
True
Let k = -10 + 8.8. Let h = -1 - k. Let q = 1/26008 + -32511/26008. Is h at least as big as q?
True
Suppose -18*q + 7*q = 3*q - 0*q. Which is greater: -28/747 or q?
q
Let a = 305 + -247. Let h = -80 + a. Is h at least as big as -228/11?
False
Let b be (-18)/(-180) - (-4)/(-40). Let i(u) = u**2 - 7*u + 1. Let l be i(8). Which is greater: l or b?
l
Let p = 80 - 81. Suppose 4*f = 0, i + 3*f + 9 = -3. Is p >= i?
True
Let b = -23 - -22. Let f be 8/4 - (-1 - b). Let t be f/4*(-10)/(-15). Which is smaller: t or 0?
0
Suppose 588 = 7*z + 6258. Let x = -522 - z. Is x not equal to 289?
True
Let j = 50/423 + -1/141. Suppose -6 = -3*i + 3*o - 3, -2*o = 4. Is i >= j?
False
Let h be 39 - (4/(-2) - -2). Suppose 4*y + 5*q = 1026 - 800, -2*y = q - 98. Is h at least as big as y?
False
Let a be 1/((-14)/(-7) - (-39)/(-19)). Let j(g) = 2*g + 68. Let c be j(a). Let u be (32/c)/(-2 - (-8)/5). Is -2 at least as big as u?
True
Let r = -89237 + 89278.019. Let x = -154 + 113. Let u = x + r. Is -0.1 equal to u?
False
Let x = -67 - -58. Let k = 119 - 110.1. Let w = k + x. Which is bigger: -15 or w?
w
Let s = 384 + -152. Let q = s - 231.9. Is q < -13/5?
False
Let u = -37.3 + -1617.7. Does u = 1/4?
False
Suppose 32*c - 25*c = 28. Suppose c*t - 4*t = 3*t. Are t and 2/201 nonequal?
True
Suppose -6*z - 2 = -7*z. Suppose -2*g + g + z*g = 0. Let s be 2/(-86)*(7 - 3) + 0. Which is greater: g or s?
g
Let d(a) = 18*a + 5. Let n be d(2). Let t be n/(-20) + 8/160*-4. Let z = -118 - -115. Which is greater: t or z?
t
Let n be 5*(22 - (-243056)/(-110)). Is -10938 greater than or equal to n?
True
Let h(f) = -f**3 - 5*f**2 - 2*f + 5. Let j be h(-4). Let u(m) be the first derivative of -m**2 - 35*m - 30. Let a be u(-16). Is a greater than j?
False
Suppose -17*m - 3*z + 338 = 0, 0 = -16*z + 15*z + 5. Which is smaller: -14.9 or m?
-14.9
Let o be (1838/238 + -5)/((-38)/(-133)). Are 11 and o non-equal?
True
Let y = 1319 + -1320. Which is bigger: y or 7?
7
Let t = -0.287 + 89.487. Let m = t + -78. Let s = 11.4 - m. Is s at most as big as -10?
False
Let 