 than or equal to -8?
False
Let w = -824 - -821. Suppose -2*a = -2*q - 16, -3*q - 16 = -4*a + 13. Suppose 5*o + a*i = -15, -3*i - 1 = o - 2. Is o greater than w?
False
Suppose -5*w + 8 = -2*a + 3*a, 0 = w - a - 4. Suppose 3674 + 11833 = -1005*h - 4593. Which is bigger: h or w?
w
Suppose 15*d - 5*d = -170. Let l be 5/45 + 471/(-27). Let f = d - l. Which is greater: f or 0?
f
Let j(b) = -b**3 - b**2 + 5*b - 2. Let m = 390 - 387. Let t be j(m). Do -47/2 and t have different values?
True
Let o = -3673 - -3709. Is 29 bigger than o?
False
Suppose -16*i - 30 = -11*i. Let u = 1639 + -1676. Are i and u equal?
False
Let w be (119 - 0)*((-568)/(-8946))/(4/18). Which is smaller: w or 650/19?
w
Let g = 179.04 + -176. Let u = 4.04 - g. Is -227 at least u?
False
Let t = 992 - 1747. Let o = -306 - t. Is 449 less than o?
False
Let r be 100/(-15)*(-4071)/(-115). Is r < -704/3?
True
Let t(k) = -k**2 - 22*k - 115. Let g be t(35). Is -2112 > g?
False
Let g(m) = -2*m**2 - 2. Let v(b) = -7*b**2 - 10*b - 73. Let w(d) = 4*g(d) - v(d). Let r be w(17). Is -2/3 less than r?
False
Let s be 21/56 - 301/(-8). Let m(c) = 5*c**3 + 2*c**2 - 8*c + 9. Let a be m(2). Is a at most as big as s?
False
Let c be -4*(-3)/(-12)*4. Let w be (c/(-2))/(36/99). Is w less than or equal to 7?
True
Let p = 16 + 251. Which is bigger: 5 or p?
p
Suppose 24*w = 5*w + 9519. Let n = -500 + w. Which is smaller: n or -82?
-82
Let a be 140/(-21) + 0 - 2/(-3). Let h be (2/a)/((-5)/15)*45. Which is smaller: 44 or h?
44
Suppose 0 = -328*a - 184464 + 1572232. Is a at most as big as 4230?
False
Let p(c) = c**3 - 27*c**2 + 51*c - 12. Let q be p(25). Let t(o) = 8 + 9 - 14*o + 1 + 2*o**2 - o**2. Let w be t(q). Is w less than or equal to 19/4?
False
Let a = 4 + -3. Let n be (-133)/(7/(-1)) + 55/(-11). Suppose a + n = 3*v. Which is smaller: 3 or v?
3
Let a = 32.6457 + -2.6457. Are a and -0.214 equal?
False
Let s = 9098 - 9174. Is s less than or equal to -11?
True
Suppose 54*n - 30*n = -1008. Let h = -48 - -6. Is n smaller than h?
False
Let h = -129/52 - -245/104. Which is bigger: h or -644?
h
Let q be (221/(-510) - 5/(-6)) + 10/(-23). Which is smaller: -1 or q?
-1
Let i = 287 + -476. Let v = i + 359. Let a = -121 + v. Which is greater: a or 0?
a
Let j = 0.3 - -28.7. Let p = j - 19. Let l = 0.013 - -0.087. Which is smaller: l or p?
l
Let q be (48/(-18))/(-3 + 7/3). Suppose -3*w + 0*w - 4*a + 412 = 0, 0 = -2*w + q*a + 288. Suppose 145*v = w*v + 5. Is v < -1/19?
False
Let r = -1280 - -2995. Is 1715 <= r?
True
Let w be 26 - (38 + -19 + -34). Which is bigger: -47 or w?
w
Let q be (6 - 8550)*(-8 + 51/6). Is q > -4268?
False
Let i be (16/12)/(2/(-27)). Suppose 0 = 3*z - 4*p + 56, -3*z - 5*p - 52 = -7*p. Is i greater than or equal to z?
False
Let a(d) = d**2 + 7*d - 35. Let v be a(8). Suppose v*w = 87*w + 2. Is w smaller than -1/430?
True
Let q(j) = 2 - j + j**3 - 7*j**3 + 5*j**3 - 4*j**2 + 0. Let z be q(-3). Let m be ((-1)/(z/16))/(-9). Is 1 != m?
True
Let l be (-309)/6 - 9*2/12. Let f = 57 + l. Let j = -20 + f. Is -0.1 not equal to j?
True
Let i be (0 + -2)/(-1*2). Suppose 4*j = 2*u - 46, 2 = -3*j + 14. Let m be (-2)/u + (-47925)/(-677970). Is i equal to m?
False
Let w(n) = -n**3 - 54*n**2 - 17*n + 2513. Let r be w(-36). Which is bigger: r or -20202?
-20202
Suppose 16*m + 40 = 8*m. Let i be ((-2)/(-34))/(m - -4). Let u = 65 - 64. Is i smaller than u?
True
Suppose -4*i = 5*v + 31, -5*v - 91 + 6 = -5*i. Is v greater than -178/17?
False
Let t = -739.6 - -1047. Let p = t - 307. Is p <= -0.01?
False
Let r = -11711/9 - -1298. Let g = 209 + -213. Does g = r?
False
Let r(d) = -6*d - 26. Let x(p) = -3*p - 13. Let y be (4 - 8)*(-3)/(-6). Let i(m) = y*r(m) + 5*x(m). Let k be i(-7). Is 7 smaller than k?
True
Let n = 0.197 + -5.517. Let k = -215.68 + n. Which is bigger: 1 or k?
1
Let g = 1136344/27645 - 76/1455. Let a = g + -41. Let j be 7 + 8*18/(-24). Which is greater: a or j?
j
Let l = -3/40166 + -4766/70631911. Which is smaller: l or 1?
l
Let j(l) = l**3 + 18*l**2 - 349*l - 6282. Let z be j(-18). Let d = 1977883/315 + -6279. Which is greater: z or d?
z
Suppose y + l = 0, 3*l = 5*y + 14 + 2. Let f be -2*3/y*-3. Let m be (-19182)/3174 + 1/23. Which is smaller: m or f?
f
Let q(l) = -305*l**3 - 4*l**2 - 2*l - 5. Let c be q(4). Let r = 52167217/2662 + c. Let z = r - 5085/2662. Is -2 bigger than z?
False
Let c(x) = 3*x + 4. Let q be c(0). Let y be -2 - -2 - (-7 + q - 1). Let t = -116/17 + 937/85. Is t less than or equal to y?
False
Let c be (-2)/11 - 8632/(-286). Let g(j) = -3*j**2 + 5*j - 1. Let i be g(4). Let v = c + i. Is v smaller than 4/7?
False
Suppose -5 = -3*b + 28. Suppose -b*u - u = -12. Which is smaller: u or -0.42?
-0.42
Let u be -40 + 3/1 - (23 - -9)/8. Is u at most 10?
True
Let j = 366239771/12459834 - -775/79362. Let k = 11/157 - j. Which is bigger: k or -28?
-28
Let h(s) = -60*s**3 + s + 1. Let b be h(-1). Let j be 8/b*-3 + 438/10. Let a = j + -43. Is 1/7 at least as big as a?
False
Suppose 562*c - 1172426 + 3421176 = -63*c. Are -3596 and c unequal?
True
Let u = 326 - 2936/9. Suppose a + 0*z = 2*z + 5, -a = 5*z + 16. Let x = 9/11 + a. Do u and x have different values?
True
Let v(u) = u**3 - 4*u**2 + 45*u - 147. Let l be v(-12). Is -2995 >= l?
False
Suppose 60 = -6*b - 2*y, 5*b + 5*y + 21 + 29 = 0. Suppose 2*t + d = 29, 3*t + 2*d = 3*d + 56. Let n be (-2*t)/(b/(-10)). Is -32 less than n?
False
Suppose 5*j - 113 = g - 341, 0 = g + 2. Let p = -416/9 - j. Let c = 3823 + -3824. Which is smaller: p or c?
c
Let w(n) = 2*n - 9. Let q be w(6). Suppose -q*b + 3 = -3. Suppose -c + b*c - 10 = 0. Is c at least as big as 12?
False
Let t = -36838 + 36864. Suppose 5 = u + 3*x, -4*x - 6 = 4*u - 18. Let n = 27 - u. Which is bigger: t or n?
t
Let d be (0 - 3/(-14))/(318/(-424)). Let k(c) be the second derivative of c**5/20 + 5*c**4/12 + c**3/3 - c**2 + 2*c. Let w be k(-3). Which is bigger: w or d?
w
Let m = -337 - -345. Let k be m/(8 - 0) + -94. Which is smaller: -4 or k?
k
Let m be 60/270 - 6/27. Do m and 7291 have the same value?
False
Let g = 5917 + -6066. Let x = 313/5 + -63. Which is greater: g or x?
x
Suppose -28 = -4*j + 2*f, 4*j + j + 2*f = 17. Let l be (j/75*5*25)/(-1). Is -9 <= l?
True
Suppose -90 + 305 = 5*t + 4*w, w - 43 = -t. Suppose -249*z = -254*z, -z + 225 = 5*l. Which is bigger: l or t?
l
Let u = 10.68 - 10.69. Let m = 0.14 - 6.14. Let r = 6.3 + m. Is u at least r?
False
Let h = -2585 - -168044/65. Which is bigger: h or 1?
1
Let u = 11790 - 11789. Which is smaller: -1/13270 or u?
-1/13270
Let h = -8441 + 8436. Do h and -3/119 have different values?
True
Suppose 3*l - 51 = -5*y - 39, 5*y = 15. Which is bigger: l or -63/41?
l
Let d = -21.104 - -21.204. Which is bigger: -10256 or d?
d
Let j = 11136 + -11135. Which is smaller: -0.2916 or j?
-0.2916
Let u(m) = 11*m - 54. Let a(d) = -27*d + 135. Let o(c) = 5*a(c) + 12*u(c). Let h be o(13). Let l = -11 - h. Is l < 1?
False
Let j = -198 - -226. Let n = 2.49 - 0.49. Is j greater than or equal to n?
True
Suppose -17*a - 45 = -20*a. Let i be (-6)/a*(-8 + 3)*-8. Let l be (40/6)/(-2 - i/6). Does l = 10?
True
Suppose -53*z - 23 = 2*i - 52*z, z = i + 4. Which is smaller: 18 or i?
i
Suppose -7*w + 221 + 1067 = 0. Let h = -185 + w. Which is greater: 2/45 or h?
2/45
Let m = -6229 + 3426. Is m != -30828/11?
True
Let v be ((-19)/(-475)*-5)/((-12)/10). Suppose -2*l = 0, -3*u + 0*l - 30 = -l. Is v at least u?
True
Let i be 2385/39120 - (5 - (-553)/(-112)). Suppose -4*p + 0 + 4 = 0. Which is bigger: p or i?
p
Let d = 0.56 - -0.44. Let g = 291998/5 - 59363. Let p = -967 - g. Which is greater: p or d?
d
Let x = 1.451 - 1.051. Which is bigger: x or -61?
x
Suppose 3*a - 60 = -3448*c + 3453*c, 4*c - 80 = -4*a. Let u be 2/(-36)*3/(-41). Which is greater: c or u?
u
Let c = -194 + 196. Suppose n + 4*z - 9 = 0, c - 6 = 2*n - 3*z. Is 3 < n?
False
Let g = -3535.61245 - -3535.6. Which is smaller: 0 or g?
g
Let t be 6 + (-2 + 42/20)*76081/(-1268). Is 2/3 at most as big as t?
False
Let n = -1442149801/59 + 24443913. Let y = n - 696. Is y at least 1/6?
False
Suppose 4*c + 4*d + 5 = 53, -c + 5*d + 30 = 0. Let y be (-30)/(-24) + c/20. Which is smaller: -4 or y?
-4
Let r be (72/(-588))/(-1*(-284)/28). Is r greater than -1?
True
Suppose 294720 = 135*o - 39*o. Which is greater: o or 3071?
3071
Let c = 5.30