 + 0.005. Let n = h - 3.058. Is n equal to 0.1?
False
Let v = -35965 + 35606.87. Let u = v - -358. Is u bigger than 1.2?
False
Let r = 3513 + -3443. Does r = 2/21?
False
Let j be (-361 - 3)*21/42. Which is greater: -181 or j?
-181
Suppose -91*a + 81*a + 40 = 0. Is a bigger than 47/9?
False
Suppose -4*i - 15 = -23. Let t be 3 - (i - 3 - 2). Suppose 0 = 4*y - t - 38. Is y at most as big as 14?
True
Let b(s) = s**3 - 13*s**2 - 12*s - 27. Let n be b(14). Let o be n/((-38)/(-8) - 5). Is -24/5 > o?
False
Let h be 2/10 + ((-38)/5)/(-2). Suppose -2*i + 279 = 5*v, h*i + 185 = v + 710. Which is bigger: 131 or i?
i
Let d(m) = m**3 + 4*m**2 + 4*m + 1. Let t be d(-3). Let n be (-1)/(4*(-1)/112). Which is smaller: n or t?
t
Let w be ((-238)/(-14) + -79)*(1/4 - 70/56). Let d be ((-1 + -131)/(-2))/1. Which is smaller: w or d?
w
Let a be (-2)/(-3)*(-8 + 67240/8408). Let d = 1043/4204 - a. Which is greater: d or -1?
d
Let g(f) = f**2 - 4*f + 139. Let h be g(40). Which is greater: h or 1581?
1581
Let f(v) = 2*v**2 - 239*v + 2289. Let q be f(109). Is 2/36947 equal to q?
False
Suppose -7*p = -9*p - 2. Suppose 0 = -5*j - 2*h - 55, 3*j - 4*h + 23 = -10. Let u be (55/(-10))/j + 2/(-36). Is p greater than or equal to u?
False
Let y = -839 - 653. Is -1497 not equal to y?
True
Let o = -0.4 - -0.2. Let f = -2/2819 - 104295/11276. Let w = -455/44 - f. Is w less than o?
True
Let c(r) = -r**3 + 235*r**2 + 461*r + 3080. Let l be c(237). Let i be (0 - 8)*2/4. Which is smaller: i or l?
i
Let r = 2183/5 + -58936/135. Let z = 5 + -8. Do r and z have different values?
True
Let h be (32/(-64))/((-1)/(574/(-4025))). Is 2/5 at least h?
True
Let b(l) = l**2 + 39*l - 2271. Let k be b(-71). Which is smaller: k or -63/449?
-63/449
Let v be -3*(-4)/3 + 1. Suppose -o = -3*t - 180, -240 = 4*t - 4*o + v*o. Let i be (4 - t/(-35))*(-28)/(-6). Which is smaller: i or 11?
i
Let n = -172 + 62. Let q = -108 - n. Which is smaller: 15/7 or q?
q
Suppose -10*x + 3*x = 14343. Which is bigger: -2050 or x?
x
Let l = 165967/1234 - -3/617. Which is smaller: l or 5?
5
Let o be (-21 - 2) + 2*(1 - -1). Is o > -9?
False
Let o be (54117/87)/(4 + -3). Let w = -622 + o. Is 0 < w?
True
Let f = -2.88 - -0.43. Let o = -4.21 - f. Which is smaller: o or -1?
o
Let b = -77813 + 455128238/5849. Which is smaller: -1 or b?
-1
Let o = 0.8 + -0.8. Which is bigger: 104.6 or o?
104.6
Let s be -5 + 6/(-15) + 440/100. Is s not equal to 1549?
True
Let b = 91 - 92. Let z = 13508/1596075 + 47/6548. Let o = z + -1/39. Is b equal to o?
False
Let p = 54.12 + -54.22. Is 4947 at most p?
False
Let v = 4990 + -39919/8. Is v <= 5?
True
Let g(x) = 8*x + 97. Let i be g(-12). Suppose 2*q - 3*s + 1400 = -3687, 5*q - s = -12737. Let r be q/3705 - (-2)/3. Which is smaller: i or r?
r
Let w(v) = 4*v - 17. Let o be w(7). Suppose d + 5*p + 13 = 0, 0*p + p + o = d. Suppose -j - d = -8. Are 2/29 and j nonequal?
True
Suppose 3*c - 20 = -y, 0 = -3*c - 5*y - 0 + 16. Let p(k) = k**3 + 7*k**2 + 6*k + 2. Let b be p(-6). Let a be b/2 - (-9)/3. Is a equal to c?
False
Let l = -2272 - -2349. Which is smaller: l or 37?
37
Let j be -55*(1 + 14/(-4)). Let v = -140 + j. Is -16 less than v?
True
Suppose 3 - 12 = 3*o. Let p be o/(-5) + (-1004)/340. Is p >= -2?
False
Let l = -208/9 - -3439/144. Which is greater: l or 0?
l
Let z(d) = -5*d**2 + 23*d - 75. Let p(m) = -m**2 + 6*m - 19. Suppose 9*u = -11 - 7. Let b(l) = u*z(l) + 9*p(l). Let v be b(-10). Is v at most 3/58?
True
Let a(j) = -46*j**2 - 394*j - 64. Let x be a(-8). Are 151 and x nonequal?
True
Let h be (-411)/1370 + 43/160. Which is greater: 44 or h?
44
Let k(g) = -2*g**2 - 17*g - 4. Suppose 8*m + 27 = 5*m. Let q be k(m). Is q equal to -25?
False
Let n be (-4 - (35/10)/(-1))*10. Let b(q) = q**3 + 6*q**2 + 10*q + 35. Let h be b(n). Suppose 3*r - 18 = -2*j, -5*j + 41 = 5*r - 9. Which is smaller: h or j?
h
Let u be (77/21 - 4)/((-61570)/5598 + 11). Is u greater than -232?
False
Let c = -61 + 65. Suppose 2*q = 3*l + 161 - c, -l - 5*q = 24. Which is bigger: l or -50?
l
Let x be (10/6 + -1)*-3. Let p = -134 - -289. Let y be ((-62)/p)/(-1 - x). Is y at most as big as 36?
True
Let u = -24 - -66. Let q be ((-28)/u)/(3/(-63)). Which is greater: q or 2?
q
Suppose -12*m + 13*m - 5*z = -16, -2*z + 28 = 5*m. Which is greater: 29/11 or m?
m
Let f = -7300 - -7754. Which is bigger: f or 447?
f
Suppose 3*h - 4*o + 8 = -22, 4*h + 3*o + 65 = 0. Let n be (-1)/((-598)/(-1820) + 6/h). Is n greater than or equal to 10?
True
Let k = -17002732/367 - -46329. Is -1 > k?
False
Suppose 2*c - 6 = 3*u - 3*c, -6 = 3*u + 3*c. Let n be u - (-5 + 2 + 0). Is -1/24 at most n?
True
Let t be -2 - ((-100)/38 - 0). Let n(g) = 26 - g + 19 + 11*g**3 + 14*g - 41 + 7*g**2 - 10*g**3. Let z be n(-4). Is t != z?
True
Let h = 743 + -498. Let x = h + -223. Let l = -18 - -15. Which is bigger: x or l?
x
Let x be (-3)/22*272/78948. Which is smaller: x or -1?
-1
Suppose 0 = a + l - 7, 4*a + 0*l + l - 16 = 0. Let f be (-6812)/(-1540) - 4 - a/7. Which is bigger: -1 or f?
f
Let m(p) = 22*p - 12*p + 11*p + 16 + 3*p**2 + 34*p. Suppose -36 = 3*c - c. Let u be m(c). Which is greater: u or -11/15?
-11/15
Let n = -460 + 460. Let m be ((-12)/15)/(-1)*5. Which is smaller: m or n?
n
Let t(z) = 7*z**3 + 4*z**2 - 29*z + 56. Let p be t(2). Which is smaller: 74 or p?
p
Let y = -442863/109 + 4063. Let x be ((-7)/21)/(1/(-3)). Which is smaller: x or y?
y
Let w(s) = 1094*s - 1142. Let h be w(7). Is h at most as big as 6517?
True
Let r be (1 + -295)*(-7)/((-84)/(-8)). Suppose -y + 20 = -6*y, -4*a + y = r. Which is smaller: -51 or a?
-51
Let l be -1 + 1 + (23 - 22). Let f be (l*1/3)/((-23)/(-138)). Suppose -3*j = f*w - 152, 0*j + 76 = w + 2*j. Does 76 = w?
True
Let n = 3692 - 2248. Which is smaller: 1445 or n?
n
Let c(k) = -k**3 + k + 5. Let t be c(-2). Suppose -5*n = -3*g - 8 + t, 5*g - 3*n - 5 = 0. Are -148 and g nonequal?
True
Let s be (10 + -9)/(2/(-6)). Let t be 25/20 - (s - 39/(-12)). Which is smaller: t or 4/67?
4/67
Let g = -2150.9 + 2144.6. Let t be (-14)/18 - 4/18. Which is greater: g or t?
t
Suppose -3*v = 15, -q - 11 = -v + 4*v. Let x be (3 - q/4) + -3. Let t be -1 - 0 - (-352)/121 - 2. Which is bigger: x or t?
t
Let o = 1273 - 1274.5. Is o <= -12?
False
Let k = 1791.3 - 1792. Does k = 0.77?
False
Let l = 67 + -77. Let v be 5 + -1 + l/(-6)*-2. Let o = 1083/7 + -154. Is o at most as big as v?
False
Let z = -601 - -141. Let i = 746 + z. Is 285 <= i?
True
Let l = 0.28 - -0.02. Suppose -3*t - 9 = -6*t. Suppose 0 = t*s + 3*w + 12, -2*w - 8 = -2*s - 2*s. Is l greater than s?
True
Let l be (-537856)/231435 + ((-116)/(-36) - 3). Let j = l - -491/417. Let s = j - -12/37. Which is greater: s or 0?
0
Let x = -0.198 + 0.357. Let g = x + -0.159. Which is smaller: g or 15?
g
Suppose 0 = -20*t + 117*t - 7783 - 6961. Which is smaller: t or 179?
t
Let f(a) = 2*a**3 + 13*a**2 - 10*a - 17. Let n be f(-7). Which is smaller: -24 or n?
-24
Suppose 11*x = -340 - 408. Let w = x - -76. Which is smaller: 10 or w?
w
Let r be (-3)/2 + (-60)/(-200) + (-28544)/(-23320). Is -1 bigger than r?
False
Let l be (-35)/49 - 177/7. Let x(u) = -9*u**2 + 2*u - 1. Let o be x(2). Which is greater: l or o?
l
Let s = 7649/3926 - 51/26. Let o(b) = -b**3 - 2*b**2 + 6*b - 7. Let u be o(-4). Is u less than or equal to s?
False
Let g = 88 + -16. Suppose 7 - g = 5*l. Let h = -233437 - -233424. Is l less than h?
False
Let g(c) = 7*c - 9. Let n = 907 + -905. Let r be g(n). Is 72/13 < r?
False
Let r be 4 - (0 + 10/(-6))/(995/(-10746)). Which is bigger: -909/70 or r?
-909/70
Suppose -10*w + 46*w + 29536 = -172*w. Is w less than or equal to -121?
True
Let j = 0.52 - 0.84. Let i = j - 2.68. Let p = -9.22 - -0.22. Is p > i?
False
Suppose 2*u + 78 = y, 0*u = -2*y + 3*u + 161. Which is smaller: 89 or y?
y
Suppose -h - 2*s = -0*s + 13, -h - s = 9. Let o be 8/14*(-52 - 825/(-20)). Which is smaller: h or o?
o
Let l = 1759446/17 - 103434. Is 62 <= l?
True
Let k(u) = -64*u**2 + 20*u - 24. Let q be k(3). Does q = -541?
False
Suppose 0 = -3541*s + 3555*s - 196. Let x(v) = -v - 10. Let o be x(-7). Which is greater: s or o?
s
Let u(x) be the second derivative of x**5/120 - x**4/24 + 7*x**3/6 + 17*x. Let n(q) be the second derivative of u(q). Let s be n(6). Is s equal to 14/3?
False
Let z be -4 - 3/6*198. Let j = z - -108. Suppose j*y = 2