w?
True
Let x be 14650/4*298/745. Which is bigger: 1469 or x?
1469
Let f be (238/10)/(5/((-150)/(-54))). Let b = 953/72 - f. Which is smaller: -1 or b?
-1
Let i be (-95)/10*8/16. Let b(n) = n**2 + 11*n + 14. Let a(z) = -z**2 - 12*z - 15. Let s(k) = 4*a(k) + 3*b(k). Let l be s(-14). Which is bigger: i or l?
l
Let a = 21.92 - 21. Let r = 355 + -354.92. Let x = r + a. Does x = 0?
False
Suppose -113490 - 16662 = 181*n + 227*n. Which is smaller: -302 or n?
n
Suppose -9 = -4*m + m. Let v be 1/((m/5)/(-3)). Suppose -7*y - 4*g - 4 = -11*y, 5*y + 3*g = 13. Which is bigger: y or v?
y
Let y = 29 - 111. Let i = 73.793 - -8.237. Let a = y + i. Which is smaller: a or 0?
0
Let l(x) = 2*x**2 + x - 2. Let n(s) = 5*s**2 + 2*s - 4. Let m(j) = 5*l(j) - 3*n(j). Let t be m(-1). Is -4 smaller than t?
True
Suppose -2*c + 3*q + 3 = 0, 0 = 3*c + 5*q + 9 + 15. Let p(o) be the first derivative of -o**3/3 - 2*o**2 + 9*o + 282. Let y be p(c). Which is bigger: 11 or y?
y
Let t = -1925825 - -40430038/21. Let n = t - -585. Suppose -5*y = -y. Which is smaller: n or y?
n
Suppose -14*d - 1140 = 16*d. Let y = d - -25. Is y at least -21?
True
Let s = -27 + 36. Let o = -9 + s. Suppose o = 3*n - 11 + 17. Is n less than or equal to -4/5?
True
Let c be (-48120)/(-46) - 112/1288. Which is smaller: 2089/2 or c?
2089/2
Let l(j) = j**2 + 104*j - 776. Let o be l(7). Are 2/2251 and o non-equal?
True
Let n be (-2*(-12)/40)/(6/30). Suppose -4*p + 3*p = m, 0 = -n*p + m. Which is bigger: p or 16/33?
16/33
Let t(g) = g**2 + 15*g + 54. Let s be t(-6). Let m = 1736465136/10332865 + 1/543835. Let a = 168 - m. Which is bigger: s or a?
s
Suppose -2*x - x + 3*t - 54 = 0, -4*x + 5*t = 69. Suppose -3*p + 8 = 2. Suppose p*k = -10, z - k + 26 = -2*k. Is x less than or equal to z?
True
Suppose -5*o + 295 = -5*z - 875, 0 = z - 5*o + 238. Are 1.4 and z unequal?
True
Let m = -31 + 34. Suppose 2*f = 6*v - 4*v + 14, 4*f = -m*v + 42. Is f less than 10?
True
Let j(g) = 474*g + 927. Let n be j(-2). Is -32 < n?
True
Suppose -6*h + 4*h + 60 = 5*b, 15 = 3*h. Suppose 18*z - b*z = -48. Suppose 6 = -q - w, -w - 11 = 3*q + 7. Is q >= z?
True
Let u = -4502 + 4502. Is -1007 <= u?
True
Let c = -87.42 - -87.12. Is -0.11 at least as big as c?
True
Let x(q) = 53*q - 829. Let k be x(17). Let c be (-14)/18 + 12/(-54). Let u be (2/(-1) - c)*-73. Which is smaller: k or u?
k
Let n = -13 - 102. Let g = 110.8 - 111. Which is greater: n or g?
g
Let s be 9/(48 + 6) - (-998334)/(-5988708). Is s greater than 0?
False
Let w = 996 + -8799. Is w at most as big as -7804?
False
Suppose -56 = 7*q - 119. Let h be (-1 + -3 + (q - 5))/4. Is h less than or equal to -5/113?
False
Let a(m) = 503*m**3 - 2*m - 3. Let v be a(-1). Let f = v - -539. Which is greater: f or 26?
f
Let t(y) be the second derivative of -1/12*y**4 + 0 - 5/3*y**3 - 11*y + 31/2*y**2. Let p be t(-14). Which is greater: -26 or p?
p
Let f be (-5)/40 + (-51023)/(-407736). Which is greater: -1 or f?
f
Let g = 35 - -1. Suppose 0 = t - 3*t - g. Let i be (-24)/t - (-33)/(-45). Which is smaller: 2 or i?
i
Let m be 4464/(-1860) + (-332)/(-130). Which is smaller: 16/43 or m?
m
Suppose 4*n - s + 94073 = 0, -2*s = 3*n + 76705 - 6164. Is -23517 >= n?
True
Let k be (-7 - 4305/873*14/(-10))*-9. Is k <= 2?
True
Let l = -173.1 - -176. Let z = 2.1 - l. Is -0.9 less than or equal to z?
True
Let x be 189069/378386 - 2/4. Which is greater: x or 0?
0
Let q(o) = -8*o - 13*o - 71 - 128 + 39 + 3*o. Let c be q(-8). Which is smaller: 0.12 or c?
c
Let j be 3/89190*4*10. Which is greater: j or -1?
j
Suppose -4*m = -g - 17, 4*g - 6 = -5*m + 10. Let c be g - ((-38202)/210 + 3 + -1). Let k = c - 179. Is -1 < k?
True
Let z be (2/3 + (5 - 3))*-12. Let q be (-2 + z/(-12))*-53. Which is smaller: q or -35?
q
Let o = -0.2572 - 0.0338. Let p = o + -6.709. Which is smaller: 12 or p?
p
Let f = -48 - -41. Let b(z) = -z**3 + 10*z**2 - 7*z - 10. Let d be b(9). Suppose d*t - 26*t - 198 = 0. Which is bigger: t or f?
f
Let b(x) = 15*x - 25. Let o be b(2). Let d = 31 + -26. Let u be 2/(1/(d/2)). Is o at most u?
True
Let p = 4955/1788 - 19/894. Is p smaller than -42?
False
Suppose u + 2*z - 120 = z, 0 = -4*u - z + 486. Let w be ((-2057)/17)/((5 - -1)/(-6)). Does u = w?
False
Suppose m + p = -2, 3*m + 0*p = -4*p - 4. Is m smaller than 300?
True
Let r = 169270 + -316704196/1871. Is r less than or equal to 0?
True
Let r = 255.7 - 254.7. Is 264.4 <= r?
False
Let g be 261/(-8526)*(-11)/(-9). Are g and 1 non-equal?
True
Suppose -5*b + 9*b = -2*q + 230, 5*q = b - 52. Let v = -12 + b. Suppose -42*c = -v*c - 54. Is -18 != c?
False
Let c = -1/5745 - 28723/11490. Which is smaller: c or -75?
-75
Suppose -22*d + 18*d + 16 = 0. Suppose -3*w + 493 = -5*r, -d*w - 268 = 4*r + 120. Which is bigger: r or -96?
-96
Let x = -2235 - -11173/5. Let w = -16.62 + -1.38. Which is smaller: x or w?
w
Suppose -7785 - 4935 = 6*q. Let y be 1/7 + q/(-56). Is 35 greater than y?
False
Let q(i) = i**3 + 6*i**2 - i - 4. Suppose -3*n + 0*n = -3*b + 33, 5*b + 2*n = 41. Let v be 2*3*(-3)/b. Let g be q(v). Which is smaller: g or 12?
12
Let p(t) be the first derivative of 4*t**3/3 - 4*t + 9. Let x be p(-4). Let m be 8 + -5 + x/(-3) + -3. Which is greater: -19 or m?
-19
Let q be 8/(-40)*0/((-3 - -2) + 4). Let a be (3 - 2)/((-3)/(-57)). Which is greater: q or a?
a
Let k = -260 - -415. Let z = k + -154.954. Which is greater: -3 or z?
z
Suppose 4*k + 6605 + 835 = 0. Let c = k - -470583/253. Is c less than 0?
False
Let w = -3040 - -3039. Is -2/9121 greater than or equal to w?
True
Suppose 4*c + 2*q = 14, -2*c - 89*q - 3 = -90*q. Which is bigger: -5/1366 or c?
c
Let j = -26 - -31. Suppose l - 178 = j*u - 4*u, -5*u - 896 = l. Is -178 greater than or equal to u?
True
Suppose 6*f - 3*f - 15 = 0. Suppose 3*v = 3*v - f*v. Suppose v = r - 0*r - 5*g + 49, -3*g + 12 = 0. Is -28 greater than r?
True
Let o = -4/93 - -1453/2790. Which is bigger: o or -1?
o
Suppose -1449*c = -1463*c. Let y be (-2)/10 + 128/490. Let t = -65/539 - y. Which is greater: c or t?
c
Let u = -11523/4 - -2881. Is -0.0868 at most u?
True
Let s = 257.78 + -253. Let n = 4.88 - s. Is -24 at least as big as n?
False
Let f = -171 - -226. Suppose 8*i + 5*g + f = 3*i, 5*i + 67 = -g. Let x be (4 - 2)*(-26)/4. Which is smaller: i or x?
i
Let j = 623/26 - 15627/650. Which is bigger: j or -574?
j
Let j = 0 - -0.2. Let y = -7096.044 - -7096. Does y = j?
False
Let h = -5223/21829687 - 4159013944799074/20629054215. Let b = h - -1008008/5. Let a = 55/7 + b. Which is smaller: a or 1?
a
Let p be (54/(-37017))/((-42)/(-27)). Does 1 = p?
False
Let x = 156 + -1715/11. Let j = -4.8115 - 0.1885. Is j >= x?
False
Suppose 187 = 4*w + b, -162 = -4*w - 2*b + 28. Let u = w + -42. Let g = 12.3 + -12.3. Which is smaller: g or u?
g
Let b be 4/26 + 22/26. Suppose 10 + b = 11*r. Suppose 2*j + r = -1. Which is greater: -1/52 or j?
-1/52
Suppose -3*i = 2*i. Suppose 0 = -2*o - 3*f + 2418, 84*f + 20 = 79*f. Suppose 7*m + 1439 - o = 0. Is m greater than i?
False
Let k be (-5)/(25/(-1188)) - 114/190. Suppose -r + 4*r = -k. Let q = r - -69. Which is smaller: -2 or q?
q
Let a(q) be the first derivative of 3*q**2/2 + 28*q + 1. Suppose 0 = -20*j + 24*j + 12, 23 = -2*g + j. Let f be a(g). Which is bigger: -10 or f?
-10
Suppose -6 = -2*h, -6*g + 3*h + 926 = -g. Suppose 45 = -182*a + g*a. Is a bigger than 9?
False
Let h = 1676 + -6657/4. Does 12 = h?
False
Let m = 21761 + -21759. Let c = -47.036 - -0.036. Which is bigger: c or m?
m
Let r = 40.1 - -0.9. Suppose -20 = 4*s, -110 = -5*w - s - 25. Suppose 3*l = 0, v = 16*l - w*l + 1. Is r smaller than v?
False
Let v be (-6)/144*-710 - 22/44. Is 29 < v?
True
Let y be (126/189)/((-4)/510). Let g = 42 + y. Is g greater than or equal to -44?
True
Let d = 28.8 + -28.82. Which is smaller: d or 32?
d
Let h be 1/(-13 + 10) + 8416/3. Let s be 11/(-55) + 591/h. Which is smaller: s or 0?
0
Suppose 6*g - 907 - 245 = 0. Suppose -275*v - g = -271*v. Which is smaller: -46 or v?
v
Let k(w) be the third derivative of w**4/4 - 52*w**3/3 + 122*w**2. Let y be k(18). Which is smaller: 6/29 or y?
6/29
Suppose 5*h - 3965 = -0*h + 2*x, 0 = h + 5*x - 793. Suppose 16*m + 2151 = -h. Does -186 = m?
False
Let g be (5 - (-5 + 2))/(-2). Let j be 1/((-20)/4 - g). Let n = -1290/7 - -184. Is j greater than n?
False
Let x = -84 + -28. Let k =