 be 104/65*10/x. Suppose 1 = i + r. Which is bigger: -1 or i?
-1
Let l(h) = h**3 - 3*h**2 + 8*h - 4. Let p(v) = -v**2 - 21*v - 16. Let j be p(-20). Let w be l(j). Is w greater than 44?
False
Let p(a) = a**3 - 35*a**2 + 124*a - 120. Let f be p(31). Let r be ((-119)/3)/(2/6). Which is greater: f or r?
r
Let a(n) = -3*n**3 - 21*n**2 + 2*n - 68. Let p(g) = -g**2 + 16*g + 8. Let o be p(17). Let u be a(o). Is u > 400?
False
Let j = -54.9 + -211.1. Let r = j + 268. Which is smaller: r or -16?
-16
Let k = 5571 - 5009.08. Let p = -562 + k. Let y = 4 - 9. Which is bigger: y or p?
p
Let q(n) = 211*n + 2641. Let t be q(-12). Is 149 bigger than t?
True
Let q be 3/1 + -1 - (66400/4740 + -12). Let v(b) = b**3 - 4*b**2 + 2*b + 2. Let h be v(3). Which is smaller: q or h?
h
Suppose 7 = 2*k - 3*u - 14, 16 = -3*k - 5*u. Let g be (2 + 0)*(-119)/34 - k. Let d be (-19)/20 - (g/2)/25. Is 0.02 bigger than d?
True
Let y be (-56825111)/4501 + 4 + 0/(-1). Let k = 12621 + y. Do 0 and k have the same value?
False
Let h = -33 + 24. Suppose -o - 3 = -2*o + 3*w, 5*o - 3*w = 3. Suppose -7*t - 58 + 9 = o. Which is greater: h or t?
t
Let p = -62 - -66. Suppose 2*g - 9*b = -p*b + 5, b = -4*g - 1. Which is smaller: -8/23 or g?
-8/23
Let n be ((-2)/7 - 32/84)*-3. Let p(m) = m**3 - 85 + 15*m + 76 + 15*m**2 - 5*m**n. Let u be p(-8). Is 2/49 >= u?
True
Let q = -10.2 + 10.062. Let g = -0.038 - q. Are g and 77 unequal?
True
Suppose 2*o - 11 = -2*z - 1, -o = 4*z - 17. Let l be (-1)/(3 - 2)*(-918)/(-18). Let a be (-31)/(-93) - 1/l. Is a > o?
False
Let t(i) be the first derivative of i**2/2 + 4*i + 13. Let r be t(-3). Let s = 15 + -17. Are r and s nonequal?
True
Let w(d) = -d**3 - 3*d**2 + 4*d + 1. Let m be w(-4). Let k = -618 + 303. Let b be (-390)/1197 - (-30)/k. Which is smaller: b or m?
b
Suppose -4*m - 2*u = -m + 7351, 3*u - 4879 = 2*m. Which is smaller: -2445 or m?
m
Suppose -7*q = -5*q - 6*w - 3646, q = 5*w + 1815. Is q < 0?
False
Suppose -x - 42 - 23 = -4*y, y = -x + 15. Suppose 3*n + 3*d = 0, -4*n - d = n + y. Let k be n*(3 + 28/(-8)). Which is bigger: -16 or k?
k
Let s be ((-54)/(-4))/(-9)*-2. Suppose s*p - 15 + 2 = 4*a, -5*p + 4*a + 19 = 0. Let i be p/(-5) - 2*2/(-4). Are i and -0.1 equal?
False
Let g = -28 + 39. Let w = -27405 + 54809/2. Is g smaller than w?
False
Suppose 8 - 36 = -7*b. Let q be ((-4)/b)/((-66)/8). Which is greater: q or -1?
q
Let t be (-1)/(4/6) - 27/(-6). Let z be 1/t - 12369/63. Is -197 at most z?
True
Suppose -27*m + 10410 = -37*m. Which is greater: m or -1042?
m
Suppose -2*s + 6 = -4*f - 7*s, 11 = 3*f - 4*s. Suppose -3*t = -2*k + 463, -t - 3*k = 4*t + 778. Let j = -2937/19 - t. Is f greater than or equal to j?
True
Suppose 57*q - 270 = 62*q. Let o be (-1316)/1608 - 45/q. Which is smaller: o or 0?
0
Let k = -7096 + 7000. Which is greater: k or 6?
6
Let w(f) be the first derivative of -5*f**2/2 + 104*f + 150. Let i be w(21). Which is bigger: -79 or i?
i
Suppose 3*b - d - 704 = 0, -2*d + 476 = 2*b - d. Let f = b + -155. Suppose f*z - 76*z = 5. Which is greater: z or 3/13?
z
Suppose -8*u + 110 = -250. Let w = 49 - u. Let o be (-30)/(-8) + 15/(-4) + w. Which is smaller: 1 or o?
1
Suppose -1615 - 1916 = -33*j. Let y be 1 - (0 - (-15)/21). Are y and j equal?
False
Let i be ((-18)/(-75))/((-36)/90). Is 32.4 less than or equal to i?
False
Suppose 0 = -2*k - 3*i - 17, 3*k - 20*i + 22*i = -13. Which is greater: k or -102/43?
k
Let n = 54 + -56. Let y = -6203243/318660 - 1/63732. Let s = 98/5 + y. Which is smaller: n or s?
n
Suppose -f - 4*f - 26242 = 9*d, 0 = -2*d + 4*f - 5806. Is d smaller than -2913?
False
Suppose 5*m - 6*a = -5*a - 7, -2*m + 4*a = -8. Let x be (1 + -3)*1 - (m + -6). Which is smaller: 14 or x?
x
Let n = 2.653 + 0.307. Let v = n - 3.18. Which is smaller: v or -0.05?
v
Let z(c) = -c**2 - 2*c + 2. Let a be z(-2). Suppose a*g = g. Let x be (6/(-21)*1/2)/((-416)/(-112)). Does g = x?
False
Let i(j) be the first derivative of j**4/4 + j**3 - j**2 - 8*j + 21. Let a be i(-5). Which is bigger: -50 or a?
a
Let g be ((-94)/(-3))/(15/(-40) - 183/(-936)). Is g greater than or equal to -175?
True
Suppose -3*v - 4*i + 37 = 2*v, 7 = -v + 4*i. Suppose 8 = v*u + t + 3*t, -t = -2. Suppose 2*n = r - 37, -2*r - 5*n + 2*n + 81 = u. Which is smaller: -1 or r?
-1
Let h = -71307/16 + 4457. Let o be (-1 + 2)*2/(-2). Let c be (-3)/6*-4 + o. Which is smaller: c or h?
h
Let u = -453 + 453. Suppose u = -10*x - x + 2728. Which is smaller: 249 or x?
x
Let y = -12 + 20. Let k = 0 - y. Let v be (-1 - 3/5)/((-516)/(-1935)). Which is smaller: v or k?
k
Let o(v) = 2*v**3 - 7*v**2 - 3*v - 59. Let y be o(5). Let k be 5/(1 - (-4)/(-2)). Let i = k - y. Which is smaller: i or -11?
-11
Suppose 3*p - 731 = -4*o + 1725, -3256 = -4*p + 4*o. Let a be (-720)/p - 2/17. Is 10/27 at most a?
False
Let b = 476598/13 + -36694. Is -1 less than b?
False
Let i = 10482 + -10479. Let h = 1308 - 14358/11. Is h at most as big as i?
True
Let o(z) = -7*z + 9. Let r be o(3). Suppose 3*i + 79 = 76. Which is smaller: r or i?
r
Let f = -0.4 + -1.1. Suppose -5*v = -r + 25, -r = -4*v + 27 - 46. Is f bigger than v?
True
Let d = 342 - 397. Let g be (-284)/11 - (-10)/d. Which is smaller: g or -24?
g
Let l be 14/(-21) + (-58)/3. Let w be (2/5)/(5/(-300)). Let c be (28/6)/(w/108). Which is smaller: l or c?
c
Let c(x) = -3*x**2 - 8*x - 10. Let b be c(-7). Let a(v) = -549*v + 5389. Let q be a(10). Is q at least b?
True
Let h = -194 - -328. Let g = -139.5 - 2.5. Let p = g + h. Which is smaller: p or -0.1?
p
Let y be (30/(-4))/(1012/(-33) - -22). Is 1 > y?
True
Let v = 25 - 111. Let f = v - -87. Is 0.036 less than f?
True
Suppose 2*d = -0*d - 2. Let n = 986/11 - 6891/77. Which is greater: n or d?
n
Let t(u) = -u**3 - 7*u**2 - 6*u. Let k be t(-6). Suppose -2*g - 14 - 28 = k. Let z be 24/7 + -3 - (-114)/g. Do z and -5 have different values?
False
Let k be 19 + (-3612)/196 - 1665/2912. Is k equal to 1?
False
Suppose -6*m + 412 = -7*m + 3*s, 0 = -3*m - 3*s - 1272. Is m at least as big as -419?
False
Let u = 92 - 90. Suppose -10*h + u*h = 0. Suppose -3*r - 5 - 1 = h. Which is bigger: -20/9 or r?
r
Let u = -6675/33298 - 34512374749/7159070. Let h = u - -4821. Is -1 <= h?
True
Let g be 2 - (7 - (20 + -14)). Which is greater: 0.0799 or g?
g
Suppose 327 - 147 + 2423 = 19*d. Let p = 1273966 + -40762527/32. Let i = p - d. Are i and 0 equal?
False
Let i = -107 - -134. Suppose 10*y - i = y. Is y not equal to 30?
True
Let z be (2/(-393))/(1222/(-423)) + 0. Is z greater than -0.1?
True
Suppose 6*p - 7 = 95. Let y(o) = -7*o + 27 - 6*o - 3*o**2 - 12*o + p*o. Let h be y(4). Is -53 greater than or equal to h?
True
Let v be -62*((-1)/3)/(-1). Suppose -81*z = -910*z + 4051 - 14213 - 6418. Which is bigger: v or z?
z
Let r be (0 + 3)*(1 + (-134)/(-3)). Let m = r - 124. Suppose 12 = 3*i, q + 3*i + i - m = 0. Which is smaller: 0 or q?
q
Let d = 31 + -30. Let p be (2/33)/(d/3 - 1). Do p and -3 have the same value?
False
Let a(w) = 2*w**2 + 25*w + 33. Let g be a(-11). Is g less than or equal to 16/13?
True
Let d = -159/484 + 744459/2261732. Which is smaller: 1 or d?
d
Let q = -45 - -49. Suppose 3*r + 3*a + 27 = 0, 5*r + 45 = -0*a + q*a. Let b be 3/((-8)/(48/r)). Is b less than or equal to 2?
True
Let q be (-756)/42*1*(-1)/1. Suppose -13*o = -q*o. Which is greater: o or -1?
o
Let x = 2697 + -21575/8. Which is smaller: 1366 or x?
x
Let g be (4 - -8)*(-10)/(-8). Suppose -20*s + g = -15*s. Is 9 not equal to s?
True
Suppose 63 = 2*h - a, a = -5*h + 8*h - 94. Let u be -2*h*(-1 - (-3)/6). Is 27 > u?
False
Let w(r) = r**3 + 19*r**2 - 41*r + 21. Let c be w(-21). Suppose 219*f - 212*f - 98 = c. Suppose 4 = n - 8. Is n equal to f?
False
Suppose 5*v = a + 11, 4*v + a - 2*a = 8. Let s be 4 - 334/246*v. Which is smaller: 0 or s?
s
Suppose 94*w = -75*w + 169. Let f = 10992576/839 + -13102. Is w at least f?
True
Let l(w) = w**2 + 22*w + 95. Let p be l(-5). Let q = 13 - p. Let j be 8/3 - 6/9. Which is bigger: q or j?
q
Suppose -3*f + 213 = -4*d, -3*d - 5*f - 65 = 73. Let x = 145 + d. Which is greater: x or 93?
x
Let n(s) = s**3 - 22*s**2 - 5*s + 179. Let w be n(15). Which is smaller: w or -1474?
-1474
Let v = -164 + -6. Let u = 150 + v. Is u != -14?
True
Suppose -5*s = -2*f - 30, 2*s + 3*s - f - 30 = 0. Let j(n) = -n + 17. Let w be j(s). Suppose -4*g = -w*g - 147.