o a?
True
Let u be (-6 - (9 + -8)) + (0 - -1). Let h = -20506/3731 - -32/287. Which is greater: h or u?
h
Let w = -1617 - -1616.9971. Which is greater: 1 or w?
1
Let o(x) = x**3 - x**2 - 2*x + 3. Let g be o(2). Suppose g*k - 3*c + 12 = 0, 5*k - 1 + 3 = -4*c. Is k less than or equal to -9/8?
True
Let s be 1/(-16) + 4965*(-9)/(-720). Which is smaller: s or 25?
25
Let s be -5 + 2 + 567/192. Let b be 0/(52/16 - 9/36). Is b at least s?
True
Suppose -1 = m - 8. Suppose -105 = m*b + 63. Let q be 146/912 + (-5 - 116/b). Is 1 at most as big as q?
False
Let j = -3.293 - -19.693. Does j = 0.8?
False
Let z = 729 - 725.78. Let v = z - 3.06. Are -0.01 and v equal?
False
Let b = 422 - 440.6. Let v = b - -102.6. Which is smaller: 5 or v?
5
Let r be 47/9 + (-4)/18*1. Suppose -3*m + 19 = -2*o, r*o + m = -3*m - 59. Which is bigger: o or -8?
-8
Let y = -11/78 - -4/13. Suppose w + f - 97 = 0, -5*w - 3*f = -8*f - 495. Suppose -75*t = -w*t - 23. Which is bigger: t or y?
y
Suppose -3*z + 3*r = -3, -17*z + 3*r = -20*z + 27. Suppose -d + 25 = 4*d. Is z less than or equal to d?
True
Let b = -9814 - -9789. Is b bigger than 19?
False
Let f = -4790 + 3642. Which is smaller: -1147 or f?
f
Let p = 3.8 - -13.4. Let r = p + -0.2. Let h = -0.129 + -0.071. Which is smaller: r or h?
h
Let d = 12632 + -12669. Which is smaller: d or -26?
d
Let h = 3284 + 96. Suppose -18*c = 2650 + h. Is -336 not equal to c?
True
Let g = -0.3 + 0.2. Let v = g + 0.1. Let s = 212868 + -212867. Which is smaller: s or v?
v
Let g = -59 - -69. Let x be (-1 - 22)*(3 + -2). Let l(u) = 2*u + 47. Let z be l(x). Which is smaller: z or g?
z
Let x be (0 - -17 - 16)/((-276)/(-273) + -1). Is x equal to 94?
False
Let o = -281 + -1. Let m = o + 282. Let n = -12 + 38/3. Which is bigger: m or n?
n
Suppose -25*o = 20*o - 135. Let z be (o - 0)*(-10 - -9 - 8). Let p = 44 - 69. Is p equal to z?
False
Let g = -358.5 + 358.523. Is -5 equal to g?
False
Let g = 11649 + -14858. Which is bigger: -3208 or g?
-3208
Let d(z) = -2*z**2 - 15*z - 46. Let p be d(-26). Let u be p/12 - (0 + -3). Does -81 = u?
True
Let k be (0 - (-88)/12)*9/102. Which is smaller: k or 1?
k
Let i = -3184 + 3184. Which is smaller: i or -2/4807?
-2/4807
Let l = -3.632 + 4.632. Which is smaller: l or -738?
-738
Suppose 3*d + 3*j + 15 = 0, 0 = 5*d - j - 38 + 57. Is -3/166 at least d?
True
Let r(a) = 28*a + 4. Let d(s) = -5*s - 21. Let v be d(-4). Let w be r(v). Let y be (17/(-2))/((-12)/w). Do -17 and y have the same value?
True
Let r(d) be the second derivative of -d**5/20 - d**4/6 + d**3 - d**2 + 16*d. Let g be r(-4). Let u be (-56)/g*(1 + 2). Which is bigger: u or -29?
u
Let a = 28 + -28. Suppose 3*f - p = 34, a = -3*f - p + 12 + 20. Let i(t) = -t**2 + 9*t + 23. Let r be i(f). Is r > 4?
False
Let r be 14972/855 + 2 + 5/(-1). Let g = r + -72/5. Which is smaller: g or 1?
g
Suppose -6*h + 41 = 65. Let u be (145/10)/(1/h). Is u at least as big as -58?
True
Suppose -5*x = 13 - 3. Let j = 3024 + -4486. Let a = j - -18994/13. Is x equal to a?
False
Let f = 132.2 - 127. Let a = f + -16.2. Let v = 1.3 - 1. Are v and a equal?
False
Let j = -17597 + 17661. Which is greater: j or -2.3?
j
Let k be 0/7 + 9005682/2076. Let q = -4338 + k. Which is greater: -1 or q?
q
Suppose 2696 + 191 = -a + 5*p, 5*a = 3*p - 14347. Does a = -2/7?
False
Suppose -8*w = -48 - 144. Suppose -w*t - 8*t - 64 = 0. Do t and -0.02 have the same value?
False
Let x be (2/6)/(-11 + 37625/3420). Which is smaller: x or 217?
217
Let d = 0.008 + -0.018. Let v = 10.01 + d. Let y = 6 + -8. Is y greater than or equal to v?
False
Let b(r) = -115*r + 115. Let k be b(-18). Which is bigger: k or 2184?
k
Let f = -36 - -36.1. Suppose 11*n - 1530 = 6*n. Suppose 5*w = -2*k + n, -5*k + 57 = 2*w - 57. Which is bigger: f or w?
w
Let v be (-108)/1782 - (-711566)/330. Is 2156 less than v?
True
Let z be (5 + 1)*(-18)/130194. Which is greater: -1 or z?
z
Let k = -34.32 + -0.68. Which is bigger: k or 3?
3
Let z = -1.9701999 + -0.0298001. Suppose 4*m + 780 = -m. Which is smaller: z or m?
m
Let n = 0.615 - -0.175. Let h = -0.01038 + -0.98962. Is h at most n?
True
Let b = -1215 + 916. Is b less than or equal to -1/5?
True
Let y = 178.656 - -0.344. Let n = -166 + y. Which is smaller: 3 or n?
3
Suppose 7*o + 2274 + 4572 = 0. Let b be (30/(-225))/((-4)/o). Is b <= -32?
True
Let h = 58/7 + -662/63. Let q be 0/((23 + -24)/(2/2)). Suppose x + 2*s + s - 1 = q, -x = -3*s + 5. Which is smaller: h or x?
h
Let k = -146 + 186. Suppose -8*x + 48 = k. Which is greater: x or -0.02?
x
Let z be (-4)/16 + (-1)/(-4). Suppose z = -16*q - 41 - 215. Let v be (1 - 17/1) + 1. Which is bigger: v or q?
v
Let b = -2/149 - 8189/447. Let c = -33/2 - b. Which is smaller: c or 2?
c
Let k be (-7*9/63)/((-2)/(-2986)). Which is smaller: k or -1490?
k
Let k be (226/(-28) + 8)*-7*-2*1. Is k equal to -90/61?
False
Let m = 107.74 + 2.26. Let x = -96 + m. Which is smaller: 20 or x?
x
Let r be 0 + 16 - (4 + 1). Suppose 25 = -r*f - 19. Is 0 greater than f?
True
Suppose 0 = 1551*s - 1552*s - 1. Suppose -2*q = 2*q + 48. Let n be (-2)/s - (-198)/q. Is -14 smaller than n?
False
Let a(c) = -39*c - 1. Let j be a(-1). Suppose j + 17 = -11*z. Let k be (3 + -5)/(1/(z/2)). Are k and -1 equal?
False
Let j = 132.5 - -590.5. Let z = 723.7 - j. Is z not equal to -2?
True
Suppose 5*r - 4*x - 31 + 32 = 0, -5 = 7*r - 2*x. Which is bigger: -74/121 or r?
-74/121
Let m = 8.3 - 8.2712. Let o = -0.3952 - m. Which is smaller: 0 or o?
o
Suppose -13653 = 10*o + 3667. Are -1732 and o unequal?
False
Let z = 8327 + -2639662/317. Is z <= 2/3?
True
Suppose -3*x - 4*a + 8 = 0, -5*a = -x - 0*x + 9. Suppose 5*y = x*y - 68. Let q = -1528 - -1460. Is y > q?
False
Let v = 7.3 + -4.7. Let y = 4.4 + -6. Let i = v + y. Which is greater: -0.07 or i?
i
Let t be (252/(-87) + 2)*(-53)/(-24). Let b = t + 25/12. Is b > 1?
False
Let y(h) = h**3 + h**2 + h + 98. Let q be y(0). Suppose 4*x - 392 = -r, -294 = -1650*x + 1647*x - 2*r. Is q greater than x?
False
Suppose 5*a - 36 = -i, a - 144 = -4*i - 0*i. Let k = -104 - -77. Let p = k + i. Is p at most as big as -1?
False
Let w(l) = l**3 + 2*l**2 - l - 3. Let m be w(-3). Let t be m/21 + 2/2. Let a be 40/32 - 2/8. Is a greater than or equal to t?
True
Suppose -71 = 13*t + 20. Let c be (t - -8)/(-3) + 91/(-24). Is c >= -4?
False
Let g be (-5 + (-3120)/(-542))*48/80. Is g less than -1?
False
Let t = 6266.2549 + -6266. Let m = t + -0.0549. Is m at most 38/5?
True
Let f(q) = -7*q**2 - 7*q + 1 + 10*q + 11*q**2. Let l be f(-1). Suppose -6 = 2*h, -l*x - 32 = -3*x + 2*h. Which is greater: 27 or x?
27
Suppose -39*o + 3*n + 141 = -41*o, 5*n + 135 = -2*o. Let z be 2/(-6) - 33400/o. Is z greater than or equal to 444?
True
Let j = -1156 + 2293/2. Let c be (-1798)/465 + 1*4. Is j at least c?
False
Let z(l) = l**3 - 9*l**2 - 4*l + 5. Let p = -18 + 27. Let h be z(p). Let c = 280 - 310. Which is smaller: c or h?
h
Let i = 17 - 27. Let u(k) = -k**3 - 12*k**2 - 12*k - 3. Let r be u(i). Is -86 at least as big as r?
False
Let b = 169584048784618903/1768725 - 95879262624. Let g = b - 1/7861. Which is greater: g or 0?
0
Let c = 38281 - 38281. Which is greater: -4138 or c?
c
Let b be -9 + (-3)/(-12) + 7 - 2198/(-8). Is 281 bigger than b?
True
Let m(b) = 43*b**2 + 4342*b - 26. Let h be m(-101). Let r = 104 - 30. Which is smaller: h or r?
r
Let j be -8 - (4 - 2) - -675. Are j and 663 non-equal?
True
Suppose 42 = 5*p - 3. Let h be (-29)/(-105) - 3/p. Suppose 2101*t - 706*t - 707*t = 702*t. Are h and t non-equal?
True
Let u be 159245/(-36651) - -4*20/16. Let p = u + 30/643. Is p at most 1?
True
Let g be (-8500)/(-45) + 3 - (-6)/54. Suppose -14*l - 34*l - g = 0. Which is smaller: 17 or l?
l
Let m(o) = o + 12. Let r be m(-10). Let q be 3/(-18) + r/4. Let a be 2 + 11532/(-5460) - 2/(-14). Which is greater: a or q?
q
Let u be -54*(-56)/42*-103. Is u at most -22252/3?
False
Let v = -4438 + 4439. Is v > 18/167?
True
Let v(g) = -6*g**2 + 122*g + 47. Let c be v(28). Is c bigger than -1242?
True
Let j = -10510 - -10509.9. Is j greater than or equal to 114.63?
False
Let k(z) = -35*z + 739. Let h be k(27). Which is smaller: -212 or h?
-212
Let d = 1912 - 871. Suppose -3583 = 34*f + d. Which is bigger: f or 0.1?
0.1
Suppose -h = -4*x + 6, -x = -24*h + 22*h - 12. Let q be 12/(-6) - 496/(-247). Is x sma