s j at most 811?
True
Let f be (-231)/54 + 4 + (-17)/102. Let s = -4 - -6. Which is bigger: s or f?
s
Let z be ((-1365)/(-15379) - (-1)/(-13))*-6. Which is smaller: z or 0?
z
Let t be (-9)/6*(1 + 1). Let g be (t/((-6)/(-10)))/1. Let r be 232/168 + g/3. Is -30 greater than r?
False
Let v be (-1277)/(-38) - (-8)/16. Which is bigger: v or 35?
35
Let s = 2408 + 8087. Which is smaller: s or 10494?
10494
Let f(s) = -s**2 - 27*s - 124. Let l be f(-30). Which is smaller: l or -209?
l
Suppose 0 = -11*h + 132 - 242. Let z = 6 + -4. Suppose -2*x + 29 = -3*s + 10, -3*x - 30 = z*s. Is s at least h?
True
Let j(y) = y. Let b be j(-9). Let h = 34 - 10. Let w be 1/3*16/h. Which is bigger: b or w?
w
Suppose 4*p - 32 = -8. Let t be (-1 - 5) + 0/p. Which is smaller: t or -40/7?
t
Suppose 0 = -5*u - 0*u - 70. Let q = u - -15. Let n be -4*q/(-8)*2. Is n at most as big as 2/19?
False
Let t = 15.97 + 1.73. Let z = 119.1 - t. Let k = z + -106. Which is smaller: k or 2?
k
Let l = 1719 + -1719. Which is smaller: l or 96/373?
l
Let z = 61867/15 - 16829/5. Is 760 at most as big as z?
False
Suppose v = -3*v + 128. Suppose -2*h - 155 = -4*g - 21, 4*g - h = 133. Let t = g - v. Which is bigger: t or -2/15?
t
Let l = 14304 + -71299/5. Let j = -1537/35 + l. Which is smaller: -0.58 or j?
-0.58
Suppose -61*d - 7 = -54*d. Which is greater: d or 3/1055?
3/1055
Let o(p) = p**2 - 9*p - 24. Let v be o(13). Let y = 40 - v. Suppose -y*t - 6 = 6. Is t greater than -1?
False
Let s(x) = -x**3 - 17*x**2 + 20*x + 35. Let o = -68 - -95. Let z be (-6)/9*o/1. Let m be s(z). Which is bigger: 4/21 or m?
4/21
Let f = 179405 + -12378100/69. Let r = -37/3 + f. Which is greater: 5 or r?
5
Suppose -3*d = -6*d - c + 344, -4*c = -4*d + 432. Let b be (-16)/56*1*d. Which is greater: b or 1/3?
1/3
Suppose -2*w = 4*v + 10, -5*v - 5*w = -6*w + 23. Let q be 0 - 41 - (7 + -6 + v). Let j = -38 - q. Which is smaller: j or -1/40?
-1/40
Suppose 19*b - 40*b + 29217 = -38571. Is 3228 < b?
False
Let h(s) = s**3 + 4*s**2 - 7*s. Let n be h(-6). Let z(p) = 5*p**2 + 284*p - 55. Let v be z(-57). Let u = v + n. Is -28 > u?
False
Let x = -160 - -321/2. Let b = -14 + 15. Is x at least as big as b?
False
Let u = 3466.33 - 3469. Which is smaller: u or -1?
u
Let z be (5 + -3)/(8/(-298)) + (-594)/396. Which is smaller: -38 or z?
z
Let j be 2/(-3) - (0 + -1). Let g(d) = d**3 - 11*d**2 - 829*d - 752. Let p be g(35). Is j at most as big as p?
False
Suppose r + r = 172. Suppose 57 - 37 = -5*l. Let v be (29/(-7) - l) + r/14. Which is smaller: v or 4?
4
Let h = -4074.6 - -2962.6. Is -2/3 at most h?
False
Let v be (-5)/(-5)*2/(-2) - 179. Let l = v + 125. Let c = -51 - l. Do c and 1 have the same value?
False
Suppose -10*h - 353 = 3*p, -50*p = -3*h - 45*p - 159. Let l be (0 - -2) + (2 - 46). Is l greater than or equal to h?
False
Let o = 47850 + -525884/11. Let t = o - 42. Which is smaller: 1 or t?
t
Suppose 102*p - 241220 - 104662 = 0. Which is smaller: p or 3393?
p
Suppose l + 10*l = -198. Let b be l/12*(-159)/(-36). Is -7 at most as big as b?
True
Let j = 522 + -278. Let r = 188 - j. Which is bigger: -0.3 or r?
-0.3
Let c = 7303 - 7304. Which is bigger: c or 7/1732?
7/1732
Let w = -309 + 308.922. Is -1/17 != w?
True
Let z(r) = r**2 + 10*r + 2. Let s be z(-9). Let h = s + 17. Suppose -2*i + 10 = 3*p - 0, -16 = -i + 4*p. Which is greater: h or i?
h
Let q(h) = -2*h**3 + 14*h**2 - 10*h - 7. Let s be q(6). Suppose -s*v = -d - 158, 2*d + 670 = -3*d - 5*v. Is -138 > d?
False
Suppose 3*i + 4*h = -25017, -5*h - 6580 - 1759 = i. Are -8340 and i unequal?
True
Let b = -4751376/89 - -53387. Let j = b - 31355/41296. Let p = j - -7451/4176. Is p less than or equal to 0?
False
Suppose d + 13 = k, 12*k = 17*k - d - 61. Let i be (-4)/(4/4) + 21. Which is greater: k or i?
i
Let n be 2/(2/(-1)) - 0. Let q be (102/(-14))/((-13)/(-169)). Let b = -13925/147 - q. Is b <= n?
False
Let x be 9747/(-27183) + 426/1207. Which is smaller: -1 or x?
-1
Suppose -23 = -i + 4*s + 1, 4*s = 5*i - 72. Suppose i*n - 17*n - 35 = 0. Is -12 smaller than n?
True
Let s = 0.173 + -98.173. Let u = -97.8 - s. Which is smaller: u or 49?
u
Let f(v) = -57*v - 95. Let a(u) = -28*u - 47. Let j(y) = -7*a(y) + 4*f(y). Let z be j(2). Is z at least -113?
False
Let z = 5625 - 5623.9. Are -4/11 and z nonequal?
True
Let z be (-592)/(-5) + (-42)/(-70). Let i = -119 + z. Let v = 5 + -4. Which is smaller: i or v?
i
Let w(n) = n**3 + 3*n**2 - 5*n - 4. Let t be w(-4). Let h = 16211/1849067 - -10/17281. Is h less than t?
False
Let b = -0.30456 - -77.33556. Let s = b - 77. Let c = 0.05033 + -0.05033. Which is smaller: s or c?
c
Let m be ((-3)/(-5) - 1) + (-72939)/(-56335). Let w = 298 - 296. Which is bigger: m or w?
w
Suppose j = -5*p + 31, 0 = 5*j + 5*p - 95 - 40. Suppose 27*q - j*q = 0. Let t be (-18)/4*((-174)/(-36) + -5). Is q > t?
False
Let x = 0.1 - 0.3. Let b = 0.3 + x. Suppose -128 = 5*s + 2*m - 63, -2*s = -4*m + 50. Are b and s equal?
False
Suppose s + 399 = -g - 1303, 5*s = 4*g + 6799. Is g less than or equal to -1703?
False
Suppose 2*y - 5 = 1. Suppose -y*s = -8*s - 120. Let u be 15/10 + 46/s. Is 1 > u?
True
Let j be 2*(-84)/(-10) - 152/190. Suppose 75 + 37 = j*o. Let h(y) = -y**2 - 10*y - 8. Let d be h(-8). Is o <= d?
True
Let d = -2.134 - 1.866. Let v = -6.98 + 7. Are d and v nonequal?
True
Let c = -17 + 22. Suppose -5*a - 25 = c*k, -6 + 40 = -4*k + 3*a. Suppose 5*i + v - 4*v = 5, -5*v + 9 = -4*i. Which is smaller: k or i?
k
Let t be (-5 - 115)/(-15) - ((-8706)/(-1242) - -1). Let y = -284/5 + 57. Is y equal to t?
False
Let l(h) = -3*h - 18. Let a be l(-9). Let f be (1782/(-12))/a*8*2. Let x be (-12)/f*(-4)/(-1). Which is smaller: 0.08 or x?
0.08
Let h be -6 + 640/1284*12. Suppose 14*m - 2 = 26. Suppose 10 = -2*n + 4*k + m, -2*n - 2*k + 4 = 0. Which is smaller: n or h?
h
Let o = -1478 + 1479. Does 2/1725 = o?
False
Suppose -81*w = -80*w + 17. Is -205/12 smaller than w?
True
Let d be ((-21)/(-9) - 1) + (-209)/132. Let n = -73 - -122. Let m = n - 88. Which is bigger: d or m?
d
Suppose 96*f - 29*f = 187332. Which is smaller: 2799 or f?
f
Let j be 133/2*(-4)/(-6). Suppose 178 = 4*o + r, 4*r + 45 - 141 = -2*o. Let p = j - o. Is -2 less than p?
True
Suppose -2*j - 958 + 274 = 5*a, 0 = -2*j + 6. Is -3180/23 less than a?
True
Let d = -8 + 12. Suppose 0 = 5*y + 25, 12*l = 7*l - 5*y + 10. Which is greater: d or l?
l
Suppose -9*y = 12*y - 126. Let f = y - -39. Is 46 bigger than f?
True
Let v be (-7)/((-28)/12)*-1 - 1. Let s be v*(-18)/(-12) + -5. Does s = -14?
False
Let g be 210/702 - (-7)/(-91) - (-376)/(-72). Suppose -23 - 16 = 4*q - 3*a, 3*q + 3*a + 45 = 0. Is q at least g?
False
Let r = 0.145 + -0.245. Let o be 16373/(-133) + 1 + 0. Let t = o - -122. Is t != r?
True
Let r = -1.303057 - -0.303057. Let g(z) be the third derivative of -z**6/120 + z**5/15 + z**4/6 + z**3/2 - z**2. Let b be g(6). Which is smaller: b or r?
b
Let x be 63 - ((-2)/3)/((-4)/24). Let u be -5 + (-36)/(-12) + x/12. Which is bigger: u or 4?
4
Suppose -1813 = -12*n - 1765. Which is smaller: n or 63?
n
Suppose 50 = 5*q + 60. Let o be 42/168 - (1*q - -1). Which is smaller: o or -22?
-22
Let q = 273/10 + -737/90. Let c = -8008631467/387 - -20694119. Let h = q + c. Which is bigger: h or 0?
0
Let g = -34 + 36.3. Let c = 2.4 - g. Let d = c + -0.2. Which is bigger: 2 or d?
2
Suppose -81*w + 53*w = -4816. Which is smaller: w or 183?
w
Suppose 0 = -7*h + 8*h - 14. Let s = h - 10. Let d = 159 + -155. Is d smaller than s?
False
Suppose -26*s - 4 = -30*s, -5*s + 5 = 2*v. Is v less than or equal to 2/173?
True
Let n = -324 + 324.233. Let s = 1.033 - n. Which is bigger: s or -2?
s
Let n = 7 + -7. Suppose 179 = 7*a - 52. Let y be (-55)/a - (-4)/6. Which is bigger: y or n?
n
Suppose -12*y - 596 = -8*y. Let p = 160 + y. Which is smaller: p or 29/3?
29/3
Suppose 0 = 4*a + d - 216, 27*a - 24*a = 2*d + 151. Is a greater than or equal to 26?
True
Let w = -812 + 796. Let i = -170 + 169.93. Do w and i have different values?
True
Let h = -154.861 - 0.139. Let r = h - -155. Is 4.4 less than or equal to r?
False
Suppose a + 4*o + 58 = 0, 0 = -3*a + o - 71 - 64. Let j(t) = -t**2 + 2*t + 2. Let c be j(10). Let b = c - a. Is -32 smaller than b?
False
Let y = -113 - -285. Let f be 0 + 36/8 + -4. Is f at least y?
False
Let g = 4770 + -4771.2. Is g gre