414929829/1495608. Let q = 946 - a. Which is smaller: -1 or q?
-1
Suppose -15 + 1 = h - 2*q, 0 = -5*q + 15. Let z be ((-6)/10)/(h/290). Is z bigger than 21?
True
Let c = 2.13 - 2.13. Which is bigger: 0.305 or c?
0.305
Let h = -2/1379 + 601/6895. Which is smaller: h or 0?
0
Let s = -783 + 782.7. Which is smaller: s or -2/27?
s
Let x = -11/92 - 3/23. Which is bigger: x or 1?
1
Let n be (-3)/(-2)*212/6. Let f be -265*12/90*(-9)/6. Is f less than n?
False
Let l(d) = -d**2 - 3*d + 7. Let h be l(-4). Suppose -107 + 119 = h*i. Let b = -6 - -5.7. Which is smaller: b or i?
b
Let i be (2 + 1)*18 + (-8 - -11). Which is smaller: 55 or i?
55
Let d(z) = z**3 + 6*z**2 - 2*z - 12. Let h be d(-6). Is h <= 5/8?
True
Let o(x) = x**2 - 2*x - 9. Let b be o(0). Let g(f) = -f**2 - 8*f + 8. Let q be g(b). Which is smaller: q or 1.6?
q
Suppose -1 = 3*o + 2. Which is smaller: -6/5 or o?
-6/5
Let k = -0.0025 - -3.7325. Which is greater: 0 or k?
k
Let f = 27.047 + -27. Let t = f - -0.053. Which is smaller: t or -0.053?
-0.053
Let m = 22 + -10. Let d = m - 8. Is d at most 1?
False
Let t(f) = -3*f - 2. Let a be t(-4). Suppose 2*q - 18 = -3*s, -s - q + 6 = -5*q. Suppose 5*h + p = s*p + 80, -5*h + 65 = -2*p. Is h at most a?
False
Let o = 3.027 + 0.073. Let g = 472 + -471. Is g equal to o?
False
Let c(x) = 8*x + 141. Let w be c(-17). Which is smaller: w or 89?
w
Let o(f) = 3*f**3 + 3*f**2 + f - 3. Let p be o(-3). Does -63 = p?
False
Let g be (-44)/(-96)*1*(-6)/(-3). Let l be (-3)/9 + (-11)/12. Let w = l + g. Which is smaller: -1/2 or w?
-1/2
Suppose -226 + 198 = 2*u. Which is smaller: -187/14 or u?
u
Let g = -116 - -118. Which is bigger: g or 42/17?
42/17
Let x = 0.3 + -0.5. Let w = -136 + 133.99. Let m = w + 2. Which is smaller: x or m?
x
Let y = 1.8 + -2.9. Let m = -1 - y. Let k = m + 0.9. Is 1 != k?
False
Suppose -40*m + 18*m + 814 = 0. Which is bigger: 189/5 or m?
189/5
Let j = 223 + -222.08. Let u = 3 + -3.08. Let g = j - u. Which is smaller: g or -3?
-3
Suppose -5*n + 2440 = -5*w, 4*n + 2449 = -83*w + 78*w. Is -489 bigger than w?
False
Let v be (2/4)/((-33)/(-4038)). Let r = v - 61. Let q = 203.53 - 206.53. Is q smaller than r?
True
Let p be 0 + 12243/(-3060) + 5 + -1. Let u = p + -481/29580. Is u equal to -1?
False
Suppose 20*m + 1412 = 372. Let z = -266998/5151 - -3/3434. Let c = m - z. Which is smaller: c or 0?
c
Let b(f) = 3*f + 4. Let t be b(-2). Let q be (-3)/t - 129/6. Let u = q + 19. Are 1/5 and u non-equal?
True
Suppose -t + 5*a - 19 = 0, -a = 3*t + 2*a + 21. Suppose i + 48 = -62. Let j be 24/10*i/33. Which is bigger: t or j?
j
Suppose m = 5, -4*m + 271 = 3*n + m. Is n smaller than 83?
True
Let j(t) be the first derivative of t**4/4 + 5*t**3/3 + 2*t + 1. Let h be j(-5). Let f be ((-2)/4)/(h/16). Which is smaller: -2 or f?
f
Let u(z) = z**2 + 5*z + 7. Let g be u(-9). Let x = 0 - -41. Which is smaller: g or x?
x
Let m = -43 - -129. Suppose -4*z - 3*g = -m, z - 6*z + 98 = -g. Is 19 at least z?
False
Let g(z) = -2*z - 3. Let v be g(-4). Suppose -3*f = -7*x + 4*x + 24, 0 = -2*x - v*f - 12. Is 4 bigger than x?
False
Suppose -674*x + 189 = -337*x - 344*x. Let r(z) = 8*z + 1. Let y be r(-3). Do y and x have the same value?
False
Let n(t) = -t + 21. Let a be n(18). Let w be (-2)/(-16) + (138/48 - a). Which is bigger: 1/86 or w?
1/86
Let p(b) = 4*b + 228. Let s be p(-35). Is 89 > s?
True
Let x = 9.89 + -2.89. Which is smaller: 4/9 or x?
4/9
Let l = 103607/6 - 39889589/2310. Let i = l + 4/35. Which is smaller: -1 or i?
-1
Let r = -66 - -66.11. Let b = r - 1.11. Are b and 2/15 non-equal?
True
Suppose 6 = -6*h - 18. Let m be (-4 - h)/4*-1. Is m > -3/25?
True
Let r be 0/4*(-1)/(-3). Suppose r*g = 5*g + p - 16, -5*p = -g + 24. Is -3/2 greater than g?
False
Let s be (-9)/27*2 - (-158)/228. Which is smaller: -4 or s?
-4
Let y = 15.21 + -0.21. Let c = y + -38. Let d = c + 22. Is 25 smaller than d?
False
Let l be (-2)/(20/(-6)) + 0. Let h be 1*(3 + -2)*0. Is l less than h?
False
Let s be -10*((-12)/5)/(-2). Let w be -14 + 16 + 7 + 2. Let v = s + w. Which is bigger: -2/29 or v?
-2/29
Let r = 43 + -38. Let k = 1 - -8. Let g = r - k. Which is bigger: 2 or g?
2
Let c(t) = -t**3 - 21*t**2 + t + 27. Let m be c(-21). Let s be (0/(-1))/(m/2). Which is bigger: s or -2/5?
s
Let c(s) be the second derivative of -s**4/12 + 5*s**3/6 + 3*s**2/2 + s. Let z be c(5). Let v be ((-5)/z)/((-3)/(-9)). Which is greater: v or -0.1?
-0.1
Let v = -1.06 - -6.06. Let m = 12 - 14. Is m equal to v?
False
Let b be 11 - 0/(-2 - 3). Suppose 0 = -r - 3*c - b, 2*r - 2*c - 12 - 6 = 0. Is 6 at most r?
False
Let t(n) = 4*n**2 - 30*n - 12. Let r be t(5). Is -65 <= r?
True
Let g = -2 - -2. Let m = 0.013 - 1.013. Let z = m + g. Is 0.4 < z?
False
Let q be (2/(-5))/(21/(-60)). Suppose d = -0*a - a + 2, 2*d = 4*a - 2. Let w be -1 - ((-6)/(-8))/(a/(-4)). Which is smaller: q or w?
q
Let h be (1/(-2))/(27/4860). Suppose f = -2*o - 89, 94 = -3*f + 2*f + 3*o. Is h greater than or equal to f?
True
Let h be (604/(-3))/(-14 - (-1700)/120). Is -1208 at most h?
True
Let k be 5 + -6 + (-48)/(-88). Let o = 12941/3 - 711647/165. Let d = o + k. Are -6 and d nonequal?
True
Let u = 2971 + -29749/10. Let q = 22/5 + u. Which is greater: q or -7?
q
Suppose 4*s + 2*g = 58, 3*g + 155 = 164. Which is bigger: -2/15 or s?
s
Let i = 285 - 645. Let s be (-2)/(-10) - 348/i. Is 2 smaller than s?
False
Suppose 3*q + 2 = 2*n + 7, -q - n = 0. Suppose 5*h = 5*y, -2*y + 3*h = 2*y - q. Let o be 3 + 453/(-126) + 12/72. Is o > y?
False
Let c be 1/(-1) - (-645)/15. Are 40 and c unequal?
True
Let u(m) = -1. Let y(h) be the first derivative of -h**3/3 + 3*h**2 + 5*h + 9. Let k(q) = 2*u(q) - y(q). Let d be k(7). Is 3 < d?
False
Suppose -r = -41*m + 45*m + 51, 0 = -4*r + 5*m - 141. Is r less than -39?
False
Let y be (-497)/1890 + (-6)/(-20). Which is smaller: y or 0.1?
y
Let u = -0.741 + -0.259. Which is greater: -700 or u?
u
Let v(d) = 42*d**3 + 3*d**2 - 2. Let l be v(1). Suppose 0 = 5*x + 15, 3*a - l + 16 = 5*x. Suppose -5*p + 2*p + 12 = 0. Is p < a?
False
Suppose 2*s + 5 - 3 = 0, -3*s + 143 = 2*y. Suppose -3*h - r - 18 = -4*h, -y = -4*h + 5*r. Which is greater: 0 or h?
h
Suppose -11*l = -10*l + 3*t + 54, 0 = -3*l - 5*t - 142. Let z = l + 40. Which is greater: 0.9 or z?
z
Let d = 194 - 313. Is d smaller than -121?
False
Let x be (1/1)/(20/(-1)). Let q = -416 + 416. Is x equal to q?
False
Let p be 15/(-3) + 508/103. Is p < -1?
False
Let k be -3*(-3)/6 + 2145/(-1254). Let s = 3 - 2. Which is bigger: k or s?
s
Let m = 175 - 102. Let k = m + -68. Let i = 0 + -1. Which is bigger: k or i?
k
Let t = -97 - -97. Are t and 5/29 unequal?
True
Let q = 116850719/611073 + 2/67897. Let b = q + -191. Is -0.5 smaller than b?
True
Suppose 6 = -w - 4*m + 2*m, 2*m = -4*w - 6. Let c be 44/(-660)*(3/(-11) + w). Which is bigger: 0 or c?
c
Let y = 5999/3943700 + -1/11300. Which is greater: 0 or y?
y
Let s(f) = -f**2 - 11*f + 17. Let b be s(-12). Let c = -3 + b. Are 4 and c nonequal?
True
Let l = 11 + -5. Suppose r + l + 3 = 2*v, -9 = 2*r - v. Let w = -121/7 - -17. Are w and r nonequal?
True
Suppose 6*k + 479 = -379. Let x = k + 77. Which is greater: x or -129/2?
-129/2
Let h = -6 + 9. Suppose -i = -r, -14 - 1 = h*i. Let b = r + 5. Which is bigger: b or 2/25?
2/25
Suppose -14*w = 236 + 4216. Is -313 != w?
True
Suppose 0*m = -7*m - 196. Let u(o) = 29*o**3. Let c be u(-1). Which is smaller: m or c?
c
Let u be (876/10)/((-50)/(-125)) - -1. Is u equal to 220?
True
Let f = -11 + 44. Let l = -35 + f. Is l at most as big as -3?
False
Let o = -3.99 + -0.01. Let d = 12.5 - 16.4. Let q = d - o. Do -0.15 and q have the same value?
False
Let j = 245 - 247. Let t = 3 + -2.98. Which is smaller: j or t?
j
Let a = 291 + -214. Which is smaller: 76 or a?
76
Suppose 11*h = -1226 - 1315. Is -232 equal to h?
False
Let h be 21*(-1 - (-15)/5). Let d = h + -43. Is 1/7 != d?
True
Let b be (8/(-68) + (-105)/(-1326))*6. Is 0.7 greater than or equal to b?
True
Suppose 0 = 13*p - 70 + 18. Are 8/3 and p nonequal?
True
Let o be (2/(-4))/(57/2166). Which is greater: -7 or o?
-7
Let h = 18 - 11. Let r = h + -5. Let n be (-24)/18*(-3)/r. Is 1 at least n?
False
Let y = 10 + -5. Let j(u) = u - 7. Let i be j(9). Let x be (-4 + (5 - i))/(-3). Which is smaller: y or x?
x
Suppose 0 = 9*o + 206 + 1027. Which is smaller: