o 15?
False
Let x be 21/14 + (0 - (-10)/(-6)). Let l = x - 0. Let i = -5 - -5.06. Is i less than or equal to l?
False
Let g be (-2948)/(-99) + (-2)/(-9). Let v be (-2 - -4)*9/g. Let a = 1.878 - -1.122. Is v > a?
False
Suppose -11 = -4*c - 3. Suppose c*f - 2 = 10. Let y = -2506/3 - -835. Is y smaller than f?
True
Let i = 0.074 - 13.174. Let w = 11.3 + -0.3. Let j = i + w. Is j greater than 1/2?
False
Let q(c) = -c**3 - 13*c**2 + 28*c - 28. Let h be q(-15). Suppose 10 = 3*i + 1. Suppose -i*y - h*y = -10. Do 5/3 and y have the same value?
False
Let i = -6649.044 - -6635. Let v = i + 0.044. Let b be 1 - 2 - (5 + -6). Is b less than v?
False
Let x = 113344942975/3638 - 31155839. Let b = x + -3/214. Is b at most as big as -4?
False
Suppose 5*m = 9*m + 8. Let n be (0/m)/(-1 - -4 - 2). Suppose -4*r + n*r + 204 = 0. Which is smaller: r or 50?
50
Let q = 12.5 - -7. Let i = -175.5 + q. Let p = 56 + i. Is p equal to 1?
False
Let l = -49 - -26. Let x = -22.952 - l. Let f = 5.048 - x. Is f equal to 2/5?
False
Let j be 40/(-180) - (-565)/(-9). Let n(p) be the third derivative of -p**5/30 - p**4/24 + 28*p**3/3 + 35*p**2 - 2*p. Let a be n(-8). Which is greater: a or j?
j
Let v(t) = t**3 - 4*t**2 + 6*t + 45. Let k be v(-11). Let l = k + 1218. Is -617 >= l?
True
Let q be (39/(-3172))/(1/(-2)). Let s = 1582 - 1581. Is s at most q?
False
Suppose 6 = -131*l + 128*l + 3*n, 0 = 5*l + n + 4. Is l < 2/5767?
True
Let d = -1037 + 1035.958. Let s = -0.042 - d. Is 0.093 > s?
False
Let y(s) be the first derivative of 7*s**2/2 + 434*s - 26. Let b be y(0). Suppose -16*v + 2*v = b. Is -29 not equal to v?
True
Let f = 15738/17 + -63896263/69020. Which is smaller: 0 or f?
0
Let j(g) = 26*g + 61. Let q be j(9). Let z = q + -278. Are z and -3 nonequal?
True
Let j = 4129 + -4353. Which is bigger: -218 or j?
-218
Suppose 11754 + 1239 = 71*l. Which is greater: -16 or l?
l
Let y be -3 + 25/(-3) + 6 + -2 + 7. Is y >= -317/19?
True
Let s = 1775 - 1961. Which is smaller: s or -741/4?
s
Let n be 27 - ((-2)/1)/(-1). Let v = 104 + -96. Let g(x) = 6*x - 23. Let a be g(v). Does a = n?
True
Suppose 0 = -6*n + 30 - 12. Let o(f) = -f**3 + 4*f**2 - 2*f - 2. Let k be o(n). Let d = -564 - -11848/21. Which is bigger: d or k?
k
Let h = 607 + -619. Let x be ((-4)/(-10))/((-3)/60). Let t(a) = 2*a + 6. Let j be t(x). Which is greater: j or h?
j
Let z = -2076 - -2072. Is 55 less than z?
False
Let q(c) = 2*c**2 + 37*c - 3568. Let g be q(34). Let m be ((-8)/(-10))/(6/9). Let t = 37/10 - m. Is g >= t?
False
Let y = 1 + 32. Let s = y + 12. Let a = s + -49. Which is greater: -3 or a?
-3
Let b = -1170 + 1163. Let g = 8 + -15. Are b and g equal?
True
Let o = -3834 - -3834. Is 6559 != o?
True
Let r = -541 + 541.0525. Let i = 569.9475 + r. Is i at most 0?
False
Suppose 42*j + 3*o - 20 = 44*j, -40 = 4*j + o. Let m be 15*(-6)/(-20)*6. Suppose 3*g + 0*g = -m. Which is bigger: j or g?
g
Let l = -7 - -7. Suppose 3*y - y - 6 = l. Let r = -4.178 - -4.278. Which is greater: y or r?
y
Let k = -224.5995 + -0.2005. Let q = k + 225. Is 61 equal to q?
False
Let q(u) = -u + 6. Let v be q(5). Suppose -2*z - y + 90 = 0, -10*z + 7*z = y - 137. Is v >= z?
False
Let c = 622 - 621.582. Let q = -47.418 + c. Does q = -8?
False
Let b(a) = 5*a**3 + 15*a**2 - a - 3. Let f be b(-3). Which is smaller: f or -2/15297?
-2/15297
Let r = -7981938271155/82423 - -96841152. Let v = 4/649 + r. Let d = 30 + -31. Which is smaller: v or d?
d
Suppose -46*h - 23 = -115. Suppose 6*q = 5*q, -2*q = -h*o - 2. Let c be (-2)/5 + 22/(-70). Are c and o nonequal?
True
Suppose 5*k = -2*x - 678, -408 = 5*k - x + 273. Let z = k - -130. Is z <= -6?
True
Suppose 0 = 1124*d - 1098*d + 17524. Is d < -672?
True
Let a = -14810 - -14718. Let k = -49 + -44. Is k less than or equal to a?
True
Let w = 26 - 24. Let v be (-1*12)/w*(-1075)/(-50). Is -130 > v?
False
Suppose 0 = -4*h - 32, -38*o + 41*o = -4*h - 32. Let x be 1/3 - (-1493)/(-4461). Which is smaller: o or x?
x
Let j = 1.2797 - 3.2797. Which is smaller: 1653 or j?
j
Let m = -144.38 - -144.78. Is -1129 greater than m?
False
Let u = -40 + 57. Let h = 23 - u. Let z be 1*7/((-161)/h). Which is smaller: z or 0?
z
Let a = 315 + -212. Let q = a - 102. Which is greater: q or -14?
q
Let n = 4 - 4. Let v = -389/25 - -15. Is v greater than or equal to n?
False
Let n be ((-734)/3 + -4)*(-2 - (-70)/80). Is 280 less than n?
False
Suppose 0 = 5*q + 3*j - 9, -q = 5*j - 17 - 20. Let y be (2/(-7))/(4/2). Which is smaller: q or y?
q
Let b(m) = -m**3 - 6*m**2 + 7*m + 45. Let u be b(-6). Let r = 90767/23 - 3943. Which is bigger: u or r?
r
Let k(s) = 249*s - 248. Let m be k(-35). Is -8963 at least m?
True
Let s(b) = -10*b + 5. Let p be s(0). Suppose 8 = p*k - 2. Let f be (-298)/(-14) - ((-36)/21 + k). Is f at most 23?
True
Let w be (-202)/(-8) - (-33)/(-132). Let v be 5*(5 - (-530)/w). Which is bigger: 133 or v?
133
Let p be (872/15 + 0)/((-2)/6). Let u = p - -175. Which is smaller: u or -1?
-1
Let z be (-32)/(-144) - 1*(-4137)/(-27). Let y be ((-6)/(-6))/(9/z). Is y not equal to -17?
False
Let l be (-1)/(-8) + (-252701)/2760*5. Is -459 < l?
True
Let r be (-298775)/6594695 - (-4)/86. Which is smaller: -1 or r?
-1
Let u = 0.535 + 52.465. Let x = 14 - 6. Let z = x + -7.9. Is z equal to u?
False
Let l = -610 + 361. Let f = l + 248.98. Is f >= -7/3?
True
Suppose -8130 = 20*i + 60150. Is i less than or equal to -3415?
False
Let s be -1 + -10 - 396/264. Are s and -4 equal?
False
Let x = 3650266849/32848 - 111126. Is -1 greater than x?
False
Let b = 295 + -302. Let d be ((-2)/(-8))/((-20)/656). Is b at least d?
True
Suppose -10 = 5*r + 2*m - 61, -2*r = 2*m - 24. Let a = -1316.5 + 1321.5. Which is bigger: r or a?
r
Let a be (-4)/(-2) + 3 - 4 - 0. Let o be 1/(-9)*2 + (-2)/(-9). Suppose o = 47*y - 52*y + 30. Which is bigger: y or a?
y
Let d = 4409 - 4767. Which is greater: d or -2?
-2
Let a = 345 + -340. Suppose -2*x + 2*m = -58, 2*x - 58 = a*m - 0. Let f = 34 + -6. Is f != x?
True
Suppose 0 = 5*t + 22*t + 837. Suppose 5*q - 2*a = 15, -2 = 5*q - 4*a - 7. Let y be 56/(-2) - (8 - q). Is t equal to y?
True
Let w = 3855 - 3846. Which is bigger: -2.13 or w?
w
Let s = -3.5 + 19. Let n = -14.5 + s. Let v = -0.052 - -0.042. Which is greater: v or n?
n
Let v = 2387 + -2386. Which is smaller: -2164 or v?
-2164
Let z = 1243 - 1211. Let p be ((-54)/(-135) - z/30)*33. Let o = 829 + -1703/2. Is p < o?
False
Suppose -4*u = -3*i - 0*i + 105, -2*i + 5*u + 77 = 0. Suppose -36*w = -i*w. Let c be -4 + ((-320)/(-75))/1. Is w bigger than c?
False
Let h(j) = -115*j - 42. Let t be 10/55 - 230/55. Let d be h(t). Is d smaller than 418?
False
Let d(x) = x**2 - 11*x + 10. Let h be d(10). Let o(v) = -2*v**2 - 4*v + 5. Let m be o(h). Suppose m + 0 = -r. Is 1 != r?
True
Let j(y) = y**3 - 3*y**2 + y + 1. Let s be j(2). Let v be (26/(-325))/(476/(-85)). Which is bigger: v or s?
v
Let i be 5*(-84)/(-35) + 0 + -8. Is i bigger than 2?
True
Suppose 0 = -9*z - 3 - 15. Let y(l) = -l**3 - 5*l**2 - 10*l - 4. Let g be y(z). Suppose -8*d - 20 = -g*d. Does -31/7 = d?
False
Let w be -2 + 21/12 + (-42)/(-8). Let n be w + -3 + -6 + -3 + -290. Is n smaller than -296?
True
Let f be ((37 - 17) + -14)*26/12. Let x(k) = k**3 - 12*k**2 - 14*k + 13. Let i be x(f). Which is smaller: i or -2/2891?
-2/2891
Let p = -1401 + 844. Is -1/2 greater than p?
True
Suppose -420*r = -419*r + 508. Is r at most as big as -489?
True
Suppose -b + 2 = 1. Let r = -329642/13 - -25357. Which is greater: b or r?
b
Suppose -9 = u + 4. Suppose 3*r = -4*p + 670, 46 = 2*p + r - 288. Let q = p + -178. Is q < u?
False
Let w be 0 + (8 + 2)*1. Suppose 0 = 17*o + 1 - 35. Suppose 44 = o*x - 4*r, 5*r = -x - 12 - 1. Is w less than x?
True
Let j = 137 - 124. Suppose j = -18*n - 5. Which is greater: n or 3/19?
3/19
Let l(t) be the second derivative of t**2 - 7/2*t**3 + 1/12*t**4 + 0 + t. Let a be l(21). Is a at most 3/2?
False
Let f = 204 - 213. Let c be 1062/(-3105) + (-3)/f. Which is bigger: 0 or c?
0
Suppose 10*l + 0*l + 20 = 0. Let z be l + 20 + 0 + 2. Is 18 equal to z?
False
Let l be -19 + (-196 - 0/6). Is -214 bigger than l?
True
Let h be (-180)/150*(-168 - -3). Is h >= -1?
True
Let k be (2 - (-2322)/(-561)) + 2. Let t = k - -1876/5423. Suppose -36*n - 4 = -32*n. Which is smaller: t or n?
n
Let i = -31.985 - -5.985. Which is s