et v = -32/3 + x. Is 1 equal to v?
False
Let x = 114 + -909/8. Let o be (-3 + 9/(-3) - -2) + -6. Let g be o/(-35) + (-25)/(-35). Which is bigger: x or g?
g
Let f(g) = 2*g**3 + 3*g**2 + 2*g. Let w be f(-1). Is w smaller than -3/14?
True
Let y = -67/26 + 27/13. Is y greater than -3/230?
False
Let g = -120.887 + 121. Let v = g - -0.087. Which is bigger: 0.018 or v?
v
Let v = -86668/25 + 3468. Is 0 < v?
True
Let m = 32 + -37. Let k(n) = -2*n**2 - 9*n + 7. Let w be k(m). Suppose 2*r = -3*r + 20. Which is greater: r or w?
r
Suppose -s + 3*s = 36. Suppose -5*g - s = 4*w + 26, -w - 14 = 2*g. Let c = 3 + w. Is -2 not equal to c?
True
Suppose 0 = -0*w + 2*w - 60. Let g = -29 - -100. Let s = 70 - g. Is s equal to w?
False
Suppose 8*v - 20 + 1044 = 0. Is v less than -129?
False
Let l be 255/425*1/(-9). Is -20 equal to l?
False
Let r be 34/(-119) + 38/98. Is -1 at most as big as r?
True
Let n = -0.053 + 35.153. Let h = -21.1 - -21. Let f = h + n. Which is smaller: 1 or f?
1
Let m be (-110)/(-56) - (-3 + (3 - -2)). Suppose 5*j - 1 - 4 = 0. Which is smaller: j or m?
m
Suppose 3*n + 4*d - 6*d - 1 = 0, 10 = -4*n - 3*d. Which is greater: 5/17 or n?
5/17
Let g = 28.71 - -0.29. Let f = 28.79 - g. Which is smaller: 1/3 or f?
f
Let m(c) = -c**2 + 5*c + 127. Let g be m(14). Which is smaller: -2/305 or g?
-2/305
Let y = -173.8 - -173.72. Which is smaller: y or 1.4?
y
Let v(c) = c - 6. Let y be v(9). Let j = y - 4. Let b(z) = -z**3 + 7*z**2 - z + 5. Let t be b(7). Which is smaller: t or j?
t
Let o(l) = l**2 + 11*l - 43. Let a be o(11). Is 200 at least a?
True
Suppose -h - 3*c = -19, -h + c = 3*h - 89. Let y be (4864/(-570))/((-4)/10). Which is greater: h or y?
h
Suppose 2*n + 3*l = -140, 5*n + l + 143 + 207 = 0. Is 2/5 bigger than n?
True
Let m(z) = z**3 + 15*z**2 + 16*z + 33. Let s be m(-14). Suppose -c - 1 - 32 = s*q, -q + c = 3. Is q at most as big as -9?
False
Suppose -102 - 180 = 6*b. Is -48 not equal to b?
True
Let y be (-2)/(-7) + (22080/(-1722))/8. Which is greater: y or -2?
y
Let x = -55.1 - -55. Suppose -12 = 3*t, -i - 2*i + 31 = -4*t. Is x >= i?
False
Suppose -48 = -6*r - 48. Let p = 1217/16 - 76. Is p bigger than r?
True
Let u = -6 - 3.8. Let d = u - -9.9. Is d less than or equal to -5?
False
Let m(f) = 42*f + 160. Let j be m(-4). Is -20/3 smaller than j?
False
Let x = -184368/199635217 - 2/94301. Which is bigger: -1 or x?
x
Let u be (-1)/2 - (5 - 6 - 0). Let f = 20.014 + -0.214. Let z = 2.8 - f. Is z smaller than u?
True
Let l = -2 + 2.4. Let z = 5.6 - -1.4. Let x = z - 6. Which is bigger: x or l?
x
Let j = -564 + 567. Which is bigger: 6/11 or j?
j
Let u = -9.6 - 44.4. Let i = u + 53. Which is greater: 32 or i?
32
Let c be -4423*2/(-8)*(-16)/52. Let f = -341 - c. Is f at most as big as -2?
False
Let m be 14/(-1) + 0 + 0. Let r = -194/3 - -151/3. Is m >= r?
True
Let c be (-9)/42*(-77)/(-66). Is c at least -0.086?
False
Let d = -75 + 74.987. Let x = 0.013 + d. Which is bigger: -7 or x?
x
Suppose -4*i + 2*i = 4. Let w be ((-10)/75)/(i/6). Let j = 46 - 47. Which is smaller: w or j?
j
Let d(t) = -8*t**3 + t**2 + 3*t. Let i be d(-4). Let r be (4 - 4) + (-482)/i. Let p = 10/43 - r. Do 0 and p have the same value?
False
Let i(t) = 49*t**3 - 3*t**2 + 2. Let d be i(2). Let v = d - 2679/7. Let x be (-3)/3*1*2. Is x smaller than v?
True
Suppose -2*i = -i - 3. Suppose i + 2 = 5*b. Let x be ((-18)/(-456))/(9/24). Does x = b?
False
Let h = 135 - 162. Is h > -27?
False
Let w = -16/13 - -77/52. Which is smaller: w or 30?
w
Let h = -256/5 + 17157/335. Let r be (-29 + 33)*(5/20)/1. Is h at least r?
False
Suppose 36*c + 6 - 42 = 0. Which is smaller: 162 or c?
c
Suppose -106 = -2*p - 378. Which is greater: -134 or p?
-134
Let r = 7687/466 + -33/2. Is 0 at least as big as r?
True
Let x(y) = 8*y. Let f be x(-4). Suppose 1697*k - 1727*k = 990. Is k bigger than f?
False
Let n = 1453 + -2907/2. Are n and -593 unequal?
True
Let k(n) = -n**2 - 6*n - 1. Let d be k(-5). Suppose 0 = 2*s - 4, c - 2 = 2*s - d. Let v be (-4 - -7) + -1 + 1. Which is smaller: v or c?
c
Suppose 0*p = -2*p + 6. Let g(w) = 2*w**3 + w - 1. Let f be g(1). Suppose p*i + f*r + 4 = 8, -i = -5*r + 10. Is i >= -1/5?
True
Let d(p) = 2*p**2 + 9*p - 13. Let h be d(-6). Let m = 59/12 - h. Let b(z) = -z + 6. Let j be b(5). Which is greater: j or m?
j
Let z = 0.0269 - -0.0731. Let h = 7/2 + -75/22. Which is bigger: h or z?
z
Let r(m) = m**2 + 15*m + 21. Let u(k) = -2*k**3 - 11*k**2 - k + 7. Let f be u(-5). Let z be r(f). Let h be ((2 - -2) + -2)/(-1). Which is bigger: z or h?
h
Let f = 0.972 + -0.772. Which is bigger: -53 or f?
f
Let i = 0 - 2. Let r be (204/4850)/(i/30). Let j = r + 3/97. Is 0 > j?
True
Let s(c) = -31*c + 87. Let q be s(3). Is q not equal to -8?
True
Suppose 0*q - 5*m - 4 = -q, 0 = 4*q + 3*m + 7. Let t = -120 - -177. Let u be (-3)/(-9) + t/(-63). Is u not equal to q?
True
Let b be (0 - -12)/(3 + 0). Is 26/7 at least b?
False
Let j = -27 + 19. Suppose -35 = -2*v + 11. Suppose -11 = -c - 4*h, -c + h = c + v. Is j at least as big as c?
True
Let b be -6*(2 - (-16)/(-12)). Let a be 30/(-1884)*b/5. Which is smaller: 0 or a?
0
Let g = -1.53 - -5.53. Is g equal to 3/5?
False
Let g(b) = 5*b**3 - 2*b**2 + b. Let s be g(1). Let y(v) = v**3 - 5*v**2 + 3*v + 1. Let r be y(s). Let q be (r/(-9))/(4/(-3)). Which is greater: q or -1?
q
Suppose 4 = -4*s, 4*s + 8 + 5 = 3*w. Suppose -4*f = -3*f + w. Let g = 6 + -4. Which is bigger: f or g?
g
Let j(b) = -b**3 - 5*b**2 - 4*b - 5. Let q be j(-4). Let i(v) = -v**2 - 24*v - 68. Let y be i(-3). Is q at least as big as y?
True
Suppose 4*u - 7 = -t - u, 4*t + u - 47 = 0. Let m = -1846/3 + 627. Which is bigger: m or t?
t
Let n be ((-8)/1)/(-13 - -12). Suppose -3*c = n - 14. Let t = -2 + 5. Is c smaller than t?
True
Let u = -6953 - -1244607/179. Which is smaller: u or 0?
0
Let r = -8.9 - -8.933. Let z = 0.071 - r. Is 1 bigger than z?
True
Let y(n) = -n - 7. Let j be (-122)/12 - -2 - (-6)/36. Let p be y(j). Is -67 less than p?
True
Let l = -940 - -949. Let j = 1/14 - -23/70. Is j greater than or equal to l?
False
Let i be ((-784)/(-5586))/((-2)/9). Are -2 and i nonequal?
True
Let u(c) = -43*c - 75. Let v be u(-6). Let l be 5/((-30)/(-8))*(-9)/v. Which is smaller: 0 or l?
l
Let v be (236/252 - 1) + (-6)/(-27). Which is greater: v or -1?
v
Let r(p) = 5. Let g(s) = s - 9. Let t(a) = 3*g(a) + 5*r(a). Let w be -2 + (2 - (2 + 0)). Let y be t(w). Is y < -2?
True
Let r = 6632/1825443 - 2/2619. Is 1 greater than r?
True
Let m(p) = p**2 + 39*p - 62. Let l be m(-41). Suppose -3*z + 15 = -0*z, n = -z - 13. Let r = l + n. Is r greater than 11/4?
False
Let m be (-2)/9 - 4/(-9). Let v = -2630.8 + 2631. Is m not equal to v?
True
Let p = -0.282 - -0.382. Which is smaller: 42/11 or p?
p
Let i = 129/4 + -32. Let v = 404 - 404. Is i != v?
True
Let j(l) be the second derivative of -l**6/120 - l**5/40 - l**4/4 + 3*l. Let m(a) be the third derivative of j(a). Let n be m(-2). Does 9 = n?
True
Let f(m) = 1. Let d(p) = -p. Let k(u) = d(u) - 5*f(u). Let v be k(-4). Let r = 0 + 0. Is v at least r?
False
Suppose 0 = -4*a - a + 110. Let y = a + -22. Which is greater: y or 2/9?
2/9
Suppose -3*m = 5*m. Suppose 0 = -4*u + 3*u + 5*o + 10, 24 = -3*u - 3*o. Which is smaller: u or m?
u
Suppose 260*z + 440 = 264*z. Are z and 766/7 unequal?
True
Suppose -144 + 32 = 8*w. Which is smaller: w or -9?
w
Let i = -47 - -47. Which is smaller: -11 or i?
-11
Let i = 0 + -2. Let b be (-1)/(-5) - (8 + 261/(-45)). Is i less than or equal to b?
True
Let r = -66 + 123. Which is bigger: r or 2?
r
Suppose -6*o - 3 + 3 = 0. Let p = o + 0. Which is smaller: 2/71 or p?
p
Suppose 5*w = 4*g - 323, -6*w = -w + 2*g + 341. Let z = w + 735/11. Suppose 4*u + 2*f + 2 = 0, -u = f + 3*f - 3. Is z < u?
False
Suppose 2*z - 6 = 3*p, z = -4*z - 5*p + 65. Let k be 4/12 - (-96)/z. Which is smaller: 1 or k?
1
Suppose 7*i - 13 = 3*i - r, 5*i - 17 = -r. Suppose 6*l - 936 = i*l. Let d be (-4)/(-2) - l/221. Is 1 less than or equal to d?
False
Suppose 17 - 7 = 5*h. Let s be 1/2*0/4. Suppose s = 3*m - 14 + 2. Are m and h equal?
False
Let h(v) = v**3 + 20*v**2 + 11. Let x be h(7). Is 1333 at most x?
True
Suppose 0 = -2*m + 3*d - 19, -m + 5*d - 20 = -0*m. Let t = m - -14. Which is smaller: t or 2?
2
Let j be 2/(-4) - 166*1419/1920. Let o = -616/5 - j. Which is sm