40. Which is bigger: m or 31?
m
Let p = 8515 - 17029/2. Is p smaller than -0.534?
False
Let z be (-9)/2*(6 - (-140)/(-21)). Let a be 3 - -1 - ((z - 9) + 3). Suppose -6 = -2*i + 8. Is i at most a?
True
Let t = 69 + -71. Let b(g) = 3*g - 10. Let n(z) = -2*z + 10. Let v(o) = -3*b(o) - 4*n(o). Let f be v(t). Is f not equal to -8?
False
Let v = 17.96 - 18. Let a = -32.96 + v. Is a at most as big as 1?
True
Let g = 3 - 6. Suppose -8*p - 36 + 140 = 0. Suppose 15*i - 3*j = p*i - 4, -2*i = -4*j + 2. Is g greater than or equal to i?
True
Suppose -2*n - 15 + 35 = 4*q, -15 = -5*n - 3*q. Which is bigger: 9 or n?
9
Let x be 8/((-24)/(-15)) + -5. Which is bigger: x or 55/82?
55/82
Suppose 0 = 4*f + 3*x - 9161, -46 = 4*x - 74. Which is smaller: f or 20564/9?
20564/9
Let l be 0/(-1) + 3/1. Let y be l - ((-500)/(-16))/1. Let a = 28 + y. Which is smaller: a or 21?
a
Let a(r) be the first derivative of -r**4/6 - r**3/2 + 9*r**2/2 - 11*r + 33. Let j(u) be the first derivative of a(u). Let f be j(-8). Is f not equal to 0?
True
Let z be ((-60)/(-100))/(9/345). Is 26 < z?
False
Let p be 636/(-3105) + 4/18. Let w = 17 + -16. Is p less than w?
True
Let z = -3167 + 3153. Which is smaller: z or 0.97?
z
Let d be 2/2246*(-47 - -22)/25. Is d > -1?
True
Suppose 0 = -298*l + 299*l + 25. Suppose -5*r + 10 = i, 0 = 2*i + r + 2*r - 13. Suppose 2*q - i + 3 = 0. Which is greater: q or l?
q
Let q(t) = 3*t**2 + 22*t + 38. Let p be q(22). Let r = p - 7939/4. Suppose 0 = -8*m - 48 - 32. Which is greater: m or r?
m
Let t = 41 - -57. Let n = t + -99. Which is smaller: -16/7 or n?
-16/7
Let i = -40 + 40.05. Let y = i - 0.46. Which is smaller: -0.3 or y?
y
Let s be (3978/5)/((-4248)/(-360) - (-1 - -13)). Is s at most as big as -3979?
False
Suppose -5*a = 25, 4*n = -n + 4*a - 345. Let v = -522 + 448. Do v and n have different values?
True
Suppose 2*m = -2*m - 4596. Let y be 201/2*(-14 + 65/26). Let v = y - m. Do v and -8 have the same value?
False
Let d = -123 - -78. Suppose -23*q - 774 = -5*q. Which is greater: q or d?
q
Let j(h) = h**2 - 14*h - 36. Let l be 4/(-2)*(0 + (-34)/4). Let b be j(l). Let k(n) = -n**2 + 15*n. Let z be k(b). Is z < 5/24?
True
Let s = 347 - -61. Let o = 8564/21 - s. Is o at most 0?
True
Let y = 33 + -145/4. Let t(s) = s**2 - 3*s - 4. Let v be t(3). Is y at least as big as v?
True
Let t(h) = -2*h**3 + 23*h**2 - 27*h - 67. Let l(m) = m**3 - m**2 + m. Let o(f) = -3*l(f) - t(f). Let y be o(-21). Which is smaller: 33/13 or y?
33/13
Suppose 348*a + 245 = 341*a. Let i be (-1 + -10)*(0 - 1). Let z(x) = -x**3 + 11*x**2 - 3*x - 1. Let g be z(i). Which is smaller: a or g?
a
Let h be 102/14 - 65/39*3. Is h equal to 2/13?
False
Let t = 1 + 0. Suppose 10*i - 13*i - p - 35 = 0, 2*i = -2*p - 30. Is t > i?
True
Let v = 17726 + -18164.92. Let f = -439 - v. Which is smaller: f or 5?
f
Suppose 6*q - 91 = 485. Let m be 3/8 + (-68)/q. Let b = 4 - 2. Is m less than or equal to b?
True
Suppose 3*h + 161 - 125 = 0. Let f be (-66)/h + -4 - 6/4. Which is bigger: f or -5/22?
f
Let a = 5974 + -5973. Which is greater: a or -0.01324?
a
Let z(k) = k**2 - 8*k + 33. Let j be z(3). Let v be (-50)/(-225) + 32/j. Suppose 0 = 2*q - 76 - v. Do q and 39 have the same value?
True
Let f = -12426643991578/5584993821 - 49/16378281. Let b = -2225 - f. Is b at least 1?
False
Let w = 81 - -24. Let l = w - 62. Let t = l - 42.9. Do 2 and t have the same value?
False
Let v = 59/20 + -49/20. Which is greater: v or -134.5?
v
Suppose -5*d - 4*r = -546, 0 = 4*d - 4*r - 95 - 349. Let o = d + -133. Are o and -21 nonequal?
True
Let w(g) = -2*g**3 + 9*g**2 + 8*g - 11. Let z be w(5). Suppose 5*i + 8*h = 3*h, 0 = -2*h + z. Which is smaller: 0 or i?
i
Let s = 10162 - 10150. Which is bigger: s or -27?
s
Let c = -695 - -881. Is c <= 177?
False
Let c(m) = -m + 1. Let k(u) = -2*u + 1. Let i(j) = 3*c(j) - k(j). Let v be i(-13). Suppose -9*h = -6*h + v. Which is smaller: -40/7 or h?
-40/7
Let z = -395 + 398. Suppose -15*m = 4*m - z*m. Is m bigger than -2/503?
True
Let z be (102/(-18) + 4)/((-25)/150). Is -39 less than or equal to z?
True
Let a be (3 - -1 - 372) + -2*2. Let z be -3 + (a/(-60) - 4/(-5)). Suppose -z*g + 572 = 5*o - 39, 0 = -o - 2*g + 127. Is o bigger than 118?
True
Let h = 6892 - 6891. Is h >= 18/277?
True
Let m(w) = 4965*w**3 + 5*w**2 - 8*w - 12. Let a be m(-1). Do -4965 and a have the same value?
False
Let h = 3974.784 - 3889. Let c = h - -0.216. Which is smaller: 1 or c?
1
Let n = -118529/258214 - 13/2662. Which is greater: -1 or n?
n
Suppose 0 = 2492*o - 2502*o - 150. Does o = -18/47?
False
Let i(g) = -g**3 + g + 7. Let d be i(-5). Suppose -3*z - d = 2*r, -117 = -4*r - 3*z - 374. Let p = 84 + r. Which is smaller: 21 or p?
p
Let j(p) = -p**3 + 48*p**2 + p - 45. Let x be j(48). Let v be -30 + x*(-28)/12. Which is smaller: v or -35?
v
Suppose -15*x + 15 = -20*x. Let o be 2/x*3 + 4. Let n be ((2 + -4)/o)/1. Which is smaller: n or 6/65?
n
Let u(j) = j**3 + j + 1. Let n be u(0). Let b = -217715/61 - -3569. Which is greater: b or n?
n
Let l = -4788129/50 - -95766. Is l greater than 4?
False
Let w(d) = -d**2 + 151*d - 2429. Let v be w(19). Do v and 63 have the same value?
False
Let t(o) = 11*o**2 - 6*o + 3. Let s be t(3). Suppose 0 = 3*p + p - 12, s = d + p. Let k be (-4)/(-10) + d/(-765). Is k < 0?
False
Let o = -754525/902 + 1673/2. Let i = o - -563/50512. Which is greater: 0 or i?
i
Let r = -250 - -250. Suppose 24*k - 5*k + 76 = r. Let y(h) = -h + 2. Let w be y(-3). Which is smaller: k or w?
k
Suppose -27*q = -34*q + 56. Suppose x - 16 = -5*p, q + 8 = 4*x + 4*p. Is 3/239 <= x?
True
Suppose -41630 = 67*k - 7*k - 1610. Which is smaller: -670 or k?
-670
Suppose 9*m - 5*m = -224. Let i = -644 - -587. Which is smaller: i or m?
i
Suppose -2*p + 270*a = 272*a + 9816, -p = 2*a + 4905. Is p equal to -4912?
False
Let o be ((9/(-2))/(-3))/(((-2673)/72)/9). Is 47 at least o?
True
Let b = -696941773/5307 + 131325. Is -1 less than b?
True
Let h(v) = 21*v + 2165. Let l be h(-103). Let s be (1/2)/(3/126). Suppose -f - s = 2*f. Are f and l nonequal?
True
Let l(s) = s**3 - 4*s**2 - 77*s + 104. Let c be l(12). Which is smaller: c or 2/103?
2/103
Let u be 0*(-5)/(-50) - (-2)/(-11). Which is bigger: 24.1 or u?
24.1
Let h = 711 - 1266. Let q be (-4)/6*-9 + h/85. Let x = -2 - 0. Is x > q?
False
Suppose c + 0*o + o - 274 = 0, 5*c + 3*o - 1374 = 0. Let u = c + -274. Is -1/7 <= u?
True
Suppose 2*u - 9*g = -65, -63*u = -59*u + 5*g - 31. Is u at most 70/253?
True
Let x be (-101)/((-1)/(-1) - 2). Let m = 26730 - 26629. Is x bigger than m?
False
Let b = -1055 + 1059.49. Let x = b + -4.6. Let v = x + 0.04. Are v and -3/2 nonequal?
True
Let v be 5/(-90)*-6 + (958/69 - 2). Is 11 greater than v?
False
Suppose -2*v - 42 = 3*z - 164, -3*z + 232 = 4*v. Suppose 2*w - w = -3*x - v, -4*w = -x + 181. Let g = w + 47. Is 1 at least g?
True
Let z be 2*17 + (-4)/8*2. Let l be (-22)/z*(-2)/(-6). Which is greater: l or -35?
l
Let s(t) = t - 24. Let r be s(9). Let b be (-90)/(r/50*-5). Is b less than -58?
True
Let z be (-4*207/(-18))/2. Suppose -6*g + 9*g = 75. Do g and z have the same value?
False
Let l(f) = 7*f - 6. Let b(z) = 2*z. Let v(n) = 10*b(n) - 2*l(n). Suppose -g - 5*r = -5*g - 43, 5*g - 5*r + 50 = 0. Let j be v(g). Which is greater: j or 0?
0
Let x = -61568852/4011 + 15350. Is 0 equal to x?
False
Let g = -2292197/101 - -22695. Which is smaller: -0.91 or g?
-0.91
Let l = -10.793 + -1.177. Let o = l + -0.03. Let t = -10 - o. Which is bigger: -4 or t?
t
Let q = -38.41 - -38.1. Let k = -1.7 + 0.1. Let a = k + 1.5. Do q and a have different values?
True
Let a = 2484 - 2316. Does a = 168?
True
Suppose 4*y = q + 12, 3*y - 9 = -0*q - 4*q. Suppose -6*i + 3 = -y*i. Which is smaller: -1 or i?
-1
Let z = 11497 + -11610. Let p be 0 - (1/(-4) - 0). Are p and z nonequal?
True
Let b be 72/(4 - 8)*(-22)/(-5379). Which is bigger: 1 or b?
1
Suppose 312 = 2*w + w. Let n(i) = -i**3 - 20*i**2 + 687*i + 218. Let m be n(-38). Is w at most m?
True
Let a = 7693/6 - 1285. Let m = -114 + 112. Which is smaller: a or m?
a
Let u(c) = -c**3 - 9*c**2 - 10*c - 7. Let h be u(-8). Suppose -6 = 15*q + h. Let j be (3 - 0) + (-1 - 1). Is q at least j?
False
Let d = -6959 + 7043. Is d equal to 2/7?
False
Suppose -2*n + 4*n - 6 = 0. Let r(v) = -12*v + 37. Let u be r(n). Which is smaller: 