(o) = 7*o - 4*o**3 + 7 + 2*o**3 - 2*o**2 + o**3 - 12. Let w be n(d). Which is greater: w or 0?
0
Suppose 8*x + 2*c = 3*x, 0 = -x - 2*c - 8. Suppose 2*y + 3*y = -3*m + 74, 0 = -x*m - 4*y + 52. Let l(g) = 2*g**2 + 5*g + 2. Let f be l(-2). Is f less than m?
True
Let h be (-12166)/13 - 4/26. Is h at least -937?
True
Let q = -331 + 219. Let f = q - -103.1. Let x = 9 + f. Is -2.1 < x?
True
Let j = 139 + -139. Suppose -2*h = 2*a - 6, 0 = -a + 2*h - j*h - 3. Is -29 >= a?
False
Suppose -10*d + 37287 - 37267 = 0. Suppose j + 0*j - 98 = 0. Which is bigger: j or d?
j
Let d be -1*(-11)/616*-8*14/10. Is 79 greater than or equal to d?
True
Let k = -0.05785 - -565.05785. Is k greater than -9/4?
True
Let t(m) = -175*m - 3. Let o be t(1). Let f = 121 + o. Let b = f - -57. Is b != -0.36?
True
Suppose -2*d = 2*t + 14, 3*d = d - 5*t - 29. Let q be 7000/(-33) - (-1 + 1 - d). Let u = q - -214. Which is bigger: u or -1?
u
Let t = -874 + 870. Is -0.0114 equal to t?
False
Let q(m) = 2*m**2 - 8*m + 74. Let z be q(0). Let g be (-1815)/(-25) - 4/(-10). Is z <= g?
False
Let d be 3 - (135744/(-176))/(-4). Which is bigger: d or -190?
d
Let w(t) = 14*t + 72. Let b be w(-19). Let r = -28 + b. Is -222 < r?
False
Let n = -32977 + 34863. Which is greater: 1887 or n?
1887
Suppose 5*h = -y - 1015, 591*h = 594*h + 9. Is -2999/3 smaller than y?
False
Let x = -107/5 - -21. Let l = 23 - 23.8. Let p = 9.2 - l. Which is bigger: x or p?
p
Let u = 66120783/547 + -120879. Does u = 1?
False
Suppose r = -3*a + 195 - 181, 0 = r - 3*a + 10. Are r and 1/84 unequal?
True
Let o be (-12)/(-18) + (-9374)/2310 - -3. Let n be (-2)/42*(-2)/(-11). Let z = o + n. Which is greater: z or 2?
2
Let r = 194.2 + -202. Suppose 0 = l + 2*l + 6. Let s be l/9 - (-68)/144. Which is smaller: s or r?
r
Let g be (-2)/(((-12)/(-20))/(6/(-4))). Suppose j - 2*o - o = -11, -3*j = -2*o + g. Suppose 4*m = 5*m + j. Is m greater than 2/43?
False
Let d be 6/10 - 3/5. Let f be (-2*(-20)/15)/((-362)/(-3)). Is f smaller than d?
False
Let i = 121 - 136. Let x = 37.61 + -39.577. Let g = -0.033 + x. Do g and i have the same value?
False
Suppose h = -4*w + 28, -5*h - 9 + 5 = 2*w. Suppose 289 + 175 = -w*t. Let v = t - -163. Which is bigger: v or 104?
v
Let s(o) = -981*o - 3681. Let c be s(-10). Is 6127 at most as big as c?
True
Let h = -158 - -98. Let z = h + 8. Let w = 54 + z. Which is smaller: 0.1 or w?
0.1
Let p = -489 - -736. Let r = -251 + p. Which is smaller: -0.1 or r?
r
Let p be 0/(-5) - (4 - 0/1). Let j be (-8)/((-128)/(-9))*p/(-3). Let t(v) = v**3 - 4*v**2 - 4*v - 7. Let x be t(5). Which is bigger: j or x?
j
Let s = 15237 + -10728. Is 4509 equal to s?
True
Suppose 5*z = 0, -3*z + 4 = -j + 9. Suppose -4*k + j*c = -257 - 2512, 2*c + 3457 = 5*k. Which is bigger: -0.1 or k?
k
Let v = 11336 + -11272. Are 67 and v non-equal?
True
Let g = -1385 - -1571. Which is smaller: 191 or g?
g
Suppose -6 = -3*y - o, 4*o - 2 = -y + o. Suppose 2*w = y*z + 4 - 0, z - 5 = 0. Is 57/8 at most w?
False
Let h = -56 - 135. Let i = 91 + h. Are i and 0 non-equal?
True
Let n(l) = -6*l - 66. Let o be n(12). Let s be (-1357)/o - 1/(-6). Which is bigger: 13 or s?
13
Let j = -392 - -395. Suppose 23*o = 22*o - 2*q + 11, 4*o + j*q - 19 = 0. Is o bigger than 3/31?
True
Suppose -27*y + 35790 = 3*y. Which is greater: y or 1191?
y
Suppose 0 = 19*k - 82*k. Do k and -8/59 have the same value?
False
Suppose -23*t + 22*t + 2 = 0. Suppose -t*v = 5*v - 5*v. Suppose 4*c - 67 - 25 = v. Is 24 not equal to c?
True
Suppose 45*o = 41*o - 148. Suppose -4*t = -5*b - 0*t - 185, -4*b = -5*t + 148. Is b at least o?
True
Let y be (-18)/(-4 + 1) - (12 + (7 - 14)). Do 2/24885 and y have different values?
True
Suppose -4420 = -4*r - 2211 - 2209. Which is bigger: r or 46/1167?
46/1167
Let g = 2.67 - 33.67. Let p = -13/30 + -9/10. Does p = g?
False
Let s(r) = 3*r + 1. Let j be s(4). Let n be (11/2)/(-5 - 22/(-4)). Let q = j + n. Is 1 < q?
True
Let z be (-5)/20 - 2954/(-12376). Which is smaller: 1 or z?
z
Suppose -2*g = 3*j + 12069, -94*g + 100*g = 0. Which is bigger: -4024 or j?
j
Let s = -5113472/1805 - -1281/361. Is -2829 equal to s?
False
Let b = -140 + 145. Suppose -21 = -3*z - 5*o, 2*z - 21 = -b*o - 2. Is -35 at least z?
False
Let j(t) = 7552*t + 1015. Let g be j(2). Is 16119 bigger than g?
False
Let d = -4/183 - 449/4575. Let j = 199 - 192. Let t(k) = -k**2 + 7*k + 1. Let y be t(j). Is y less than d?
False
Let k = -27149 - -27763. Is k equal to 626?
False
Let f = 14 - 173. Let o be 2/8 + -2 + f/(-60). Let c(w) = -w**2 + 2*w + 2. Let j be c(2). Is o < j?
True
Let u = 85 + -84.906. Let d = u + -0.024. Which is greater: d or -3/5?
d
Let z be (-3084)/3151 + ((-2)/(-138))/(36/(-216)). Which is smaller: z or -2?
-2
Let g(o) = -o**2 - 18*o - 35. Let d(h) = 2*h**2 + 37*h + 71. Let n(y) = -6*d(y) - 13*g(y). Let j be n(-8). Which is smaller: -9 or j?
-9
Suppose 166*y + 55 = 177*y. Suppose 0 = -8*v + y*v + j + 306, j - 502 = -5*v. Is v < -1/2?
False
Let o = -450 - -592. Let k = o - 142.15. Is -5 >= k?
False
Let a = -153 - -165. Suppose -2*o + 6 + 2 = -4*w, 0 = -2*w + 5*o - a. Which is greater: w or -12/41?
-12/41
Let l = 18236/5907 - -2/537. Let n = 157 - 169. Let x = 15 + n. Which is bigger: x or l?
l
Let a = 0.9235 + 0.0365. Let z = -0.025 + 0.025. Is a at most z?
False
Suppose 3*l + 26 + 7 = 0. Let c = 12 + l. Let u = -153/392 + 3/196. Which is smaller: c or u?
u
Suppose 2*d + 8 - 2 = 0. Let s(r) = 3*r**3 + 13*r**2 + 3*r - 8. Let c be s(-4). Let q be d/6*c*(-244)/(-8). Are q and 61 equal?
True
Suppose 3*d - 4 = 5. Suppose -d*y + k = 46, 12 = -2*k + 5*k. Let w be (-55)/77 - (10/y - -1). Which is smaller: w or 1/6?
w
Suppose -93*v = -98*v - 10, 5*k - 286 = 3*v. Does k = -24?
False
Let t = -1412 - -1413. Do -14.04 and t have different values?
True
Let o(q) = -q**3 + 47*q**2 + 53*q - 240. Let a be o(48). Let p be 2 + 4/(-6)*-6. Suppose 0 = -3*h + p - a. Is 2 bigger than h?
False
Let p = -0.1 - -0.2. Let x be (-1*7/553)/1. Let w = x + 239/158. Are p and w unequal?
True
Let s(p) = 634*p**2 - 39*p - 75. Let j be s(-2). Which is greater: j or 2537?
j
Suppose d - 3*s - 3 = 0, -4*d + 8*s + 12 = 13*s. Suppose -7*g = -2*g + u + 29, u = g + 7. Let f = 11 + g. Are d and f non-equal?
True
Let y be 4*(-16)/(-60)*(-135)/(-18). Suppose 0 + 16 = 2*p. Let b = p - y. Is b >= 1?
False
Let t be 550/(-132) + 5/(-6). Let c be (2 + -3)*-2 + 3. Let n be (-10)/c + (-12)/3. Which is greater: n or t?
t
Let o(v) = v**3 - 11*v**2 + 5*v + 39. Let j be o(10). Which is bigger: j or 13?
13
Let l(y) = -3*y + 2. Let c be l(2). Let s be -81 + (4/c - 2). Let p(b) = 9*b**3 + 135*b**2 + 4*b - 23. Let n be p(-15). Is n bigger than s?
True
Let f = 11169 - 11169. Which is bigger: f or -134.6?
f
Let l be 2 + (-1607)/36*11. Let f be 3425/(-7) + 32/112. Let s = l - f. Is s less than -1?
False
Let w be 1/(-3) + 118/(-6). Let t be (-272)/w + (-8)/(-20). Let y(i) = -7*i + 28. Let o be y(2). Is o greater than t?
False
Let l(y) = y**3 + 13*y**2 + 24*y - 1. Let s be l(-9). Let w(x) = 9*x**2 + 44*x - 26. Let r be w(-7). Are s and r equal?
True
Let r = 427 + -387. Which is smaller: -66 or r?
-66
Let y be (628/(-12) + 2)*-3. Let q be (1/(-3))/((-2673)/1335 + 2). Let g = q - y. Is g <= -4?
False
Let z(m) = -3*m**3 - 1. Let l be z(-1). Let p = 39427 - 39421. Which is greater: p or l?
p
Let f(r) = r**3 - 10*r**2 - 21*r - 40. Suppose 0 = -4*q + v + 43, 0 = 2*q - 4*q - 4*v + 44. Let b be f(q). Is b greater than or equal to -36/11?
False
Let h = -18.38 + -0.62. Let a = h + 21. Let m = a - -24. Which is bigger: 1/2 or m?
m
Let t be 88/(-16) + 5 + (-13)/2 - -6. Which is smaller: t or -3/10705?
t
Let j(p) = p**3 + 6*p**2 + 6*p + 13. Let w be j(-4). Let u = -20 + w. Is -6/61 < u?
True
Let w(o) = -1 + 0 - 3 - 16*o + 13*o. Let k be w(-1). Let n be (-12)/(-16) + (-46)/40. Are n and k non-equal?
True
Let n = 98 - 98. Let m = 0.1 + -22.1. Let s = -20 - m. Which is bigger: n or s?
s
Let n = 655.2 + -655.4. Which is greater: -674 or n?
n
Let p = -1.775 + 0.035. Let g = p + 10.74. Which is bigger: -0.1 or g?
g
Let k be (-1 + 2)*40 - -1. Let t = 1138 + -1103. Which is greater: k or t?
k
Suppose 8710*t + 53 = 8711*t. Is 3/4 > t?
False
Suppose 4*g - 434 = -2*x, -3*g - 1187 = -5*x - 167. Is 827/4 at least x?
False
Let p(t) = 7*t**3 + 17*t**2 + 7*t + 23. Let b(j