77 - 0.0377. Which is smaller: b or -35?
-35
Suppose -5*j + 8 + 7 = 0. Let o be j/9 - 1/9. Is o smaller than -1?
False
Let i = -129 + 130. Let f be 54/(-81) - (58/246 - i). Which is smaller: f or -1?
-1
Let l = -218.02 - -220. Let u = l + 0.02. Let s = 0.3 - 0.29. Is s >= u?
False
Let z = 3 - -13. Let k = z + -13. Suppose -1 = -r - k*v - 0, -4*r - 12 = -4*v. Which is smaller: -4 or r?
-4
Let l be 2/4 - 334/(-4). Suppose 2 = k + 5, -l = -2*g - 2*k. Which is greater: 46 or g?
46
Let p = -6 + 17. Let i = p - 11.1. Let b = 0.1 + i. Which is bigger: 1 or b?
1
Suppose 10*h - 17 = -7. Let i = 98 + -191/2. Which is bigger: h or i?
i
Let s(b) = 3*b**2 - 4*b + 86. Let u be s(-12). Is u <= 565?
False
Suppose -12*l + 19*l - 21 = 0. Which is greater: l or -0.49?
l
Let c = 5 + -7. Let u = -15 + 12. Let j = c - u. Is j equal to -3?
False
Let n be (-2)/5 - 2327/(-30). Let j = 77 - n. Is j less than or equal to -0.1?
True
Let u be (0 + -1)*(-4 + (-144)/(-20)). Let o be (16/(-10))/(4/(-10)). Suppose 5*d - o = -14. Which is smaller: d or u?
u
Let h = -68 + 136. Which is bigger: -2/9 or h?
h
Let w(a) = -4*a - 22. Let p be w(-13). Let j be 48/p + -1*2. Which is greater: j or 2/27?
2/27
Let j = -2.71 - -2.7. Let a = 5 - 4. Let h be a + -2 - 15/(-21). Does j = h?
False
Let g = 112 + -110.92. Let y = -1.38 + g. Is y equal to 0.23?
False
Let g be (-5 - -2)/(-1 + 102/12). Which is bigger: 3/62 or g?
3/62
Suppose 0*w + 5*w + 10 = 0. Let y be (-2)/w + 13 + -9. Let n be (y + (-3)/1)*1. Which is bigger: 4 or n?
4
Let i be (-14)/36*2 - 26/117. Is 7 at least as big as i?
True
Let d = -115 + 807/7. Let o(y) = -3*y + 6. Let t be o(-5). Which is smaller: t or d?
d
Let a(n) = 9*n - 35. Let o be a(4). Do o and 10/41 have different values?
True
Suppose 0 = a - 3*b + 12, -3*a - 3*b = b - 3. Let j = -1 + a. Let p(f) = -5*f**2 - f. Let r be p(-1). Is j less than r?
False
Let p(o) be the third derivative of o**4/24 + o**3/6 - o**2. Let u be p(-3). Let q = u + 5. Which is smaller: q or 5?
q
Let v = 54 - 91. Let o(k) = -k**3 + 41*k**2 + 44*k - 119. Let y be o(42). Let q = v - y. Which is smaller: -4/3 or q?
q
Let w = 61.4 + -64.23. Let v = 0.17 - w. Let b = -5 + 4.8. Which is smaller: b or v?
b
Suppose 0 = -5*i - 0*i. Suppose 24*t + 173 = 101. Is t smaller than i?
True
Suppose -5*u + 6 + 44 = 0. Let b = -13 + 15. Suppose 4*x + 4 = -0*x - 3*f, -2*f = 3*x + b. Is x < u?
True
Suppose n - 13*n - 72 = 0. Let j = -7 - -1. Is n less than j?
False
Let f be (126/33 - 4) + 13705/3927. Let z = f + 3/119. Is 4 at most z?
False
Let s be ((-40)/(-30))/(15710/(-15)). Does s = -1?
False
Let j = 39 + -95. Let c be (-7)/(j/12) - 1. Which is greater: c or -0.2?
c
Let a = 9384/19 + -494. Suppose -3*q + 4*k = q, -2*q + 3 = -k. Suppose -z - 2 = -q*i, i + 0*i + 4*z = 5. Which is smaller: a or i?
a
Let l(r) = -r**3 + 3*r + 3. Let b be l(3). Is b > -10?
False
Let i(u) be the first derivative of 2*u**2 - 7*u - 2. Let l be i(5). Is l less than 1/3?
False
Let y(x) = x**3 + x**2 - 45*x + 17. Let r be y(6). Let z be ((-8)/(-14))/((-2)/(-7)). Which is smaller: r or z?
r
Let j = 21 + -13. Suppose -5*a = -j*a + 6. Suppose -3*g - 5 = -2*l + 6, -5*g - a*l - 45 = 0. Do -9 and g have the same value?
False
Let k = -6/23 - -107/322. Which is smaller: -0.06 or k?
-0.06
Suppose 4*r + b = -28, -5*r + 0*r + 4*b = 14. Is -9 bigger than r?
False
Suppose -15*c - 22 = -g - 10*c, -5*c = -2*g + 44. Which is greater: g or 29?
29
Suppose -9*h = -4*h + 100. Let l be h/(-9) - 6/27. Suppose -l*w + 1 = i, -2 = -2*w + 3*i - 5. Is w at least as big as -4?
True
Let z(q) = -3*q - 1. Let n be z(-8). Suppose 0 = -3*u + m + 17, -7*m + n = u - 3*m. Let o = u + -19. Is -11 > o?
True
Let l(p) = p**3 - 7*p**2 - 10*p + 6. Let r be l(8). Let n be 1*r*(-5)/(-10). Let x be (-2)/8 + (7 - (-47)/(-4)). Is x > n?
False
Let i = -21674/7 + 3096. Suppose -4*a - p = -0*a + 74, 4*p + 8 = 0. Which is smaller: a or i?
a
Let p be -1 + (-10995)/7 + 8/(-28). Let q = p - -39294/25. Which is smaller: q or 1?
q
Let p = 1 - 0. Let x be ((-2)/4)/((-88)/(-16)). Is x < p?
True
Suppose -11 = 2*h - 17. Suppose -3*c + b - 17 = 5*b, -h*c = 5*b + 22. Let t be 8/12 - 29/39. Is t <= c?
True
Suppose 0 = -4*k + 2*k - 5*m + 173, -4*k - 4*m + 328 = 0. Suppose -4*f + 75 = k. Is f <= -2/7?
True
Let j = -45 - -586/13. Let z(k) = k**3 - 5*k**2 + 5*k + 4. Let o be z(4). Let l be 1/((-2)/o) + 5. Is l at least as big as j?
True
Let g = -6.14 - -273.14. Is 2 greater than g?
False
Let z = -0.099 + -0.101. Is z greater than or equal to -0.47?
True
Let y be (-41)/(-4) + 6/(-24). Let n be (y/(-15))/(2/(-3)). Let l = -6 + 8. Is l not equal to n?
True
Let a = 7.014 + -0.514. Let t = -0.8 - -0.3. Let i = a + t. Is 1 smaller than i?
True
Let w = -72 - -80. Let r be (-156)/w*4/(-21). Which is bigger: r or 4?
4
Let k = 2 - 2. Suppose -4*c + 8 = -0. Let d be c/4*5/5. Is k equal to d?
False
Let d(n) = n**2 + 12*n + 36. Let s be d(-7). Is -2/41 != s?
True
Let s = -115.13 - -114. Let l = 2.13 + s. Is l less than -4?
False
Let b = -14 + 30. Let x = b + -2. Let q = -5 + x. Is -0.1 equal to q?
False
Let o = 9 + -15. Suppose -13 = 2*a - 3*w, 0*w = -3*a + 5*w - 19. Is a at least as big as o?
False
Let x = -0.5 + -0.5. Let a = 12 - x. Which is smaller: 1/3 or a?
1/3
Let z be 128/40 - 1/5. Let d(c) = -c**3 + 7*c**2 - c. Let x be d(5). Let o be 100/x - (-2)/(-9). Is o >= z?
False
Let v = -46 - -49. Suppose 2*y - 6 = -v*s - y, -32 = -4*s + 4*y. Let b be 4/5*(-30)/(-4). Which is smaller: b or s?
s
Let z(y) = -15*y + 221. Let x be z(-29). Is 657 at most x?
False
Let l = -179 + 173. Which is smaller: l or -16?
-16
Suppose 3*s = -s + 20. Suppose 0 = -4*p - p + s. Let i be 115/45 + (-2 - p). Is i less than or equal to 1?
True
Let m = -2324 - -239368/103. Which is smaller: 1 or m?
m
Suppose -5*j = 3*o - 26, 7*j = 3*o + 2*j + 14. Let h(v) = -5 + 7*v + 5 + v**2 - 3*v - o. Let z be h(-4). Does z = 1?
False
Let k(m) = -m**2 + 13*m + 18. Let j be k(7). Suppose g - 3*y + 120 = 5*g, -2*g + y + j = 0. Which is greater: 31 or g?
31
Let j(f) = -f**3 - 3*f**2 - f - 4. Let p be j(-3). Let a = p - -7. Let g be 2/10 - a/5. Which is greater: g or -3?
g
Let g = 1.053 - -4.947. Let k(p) = p**2 - 2*p - 3. Let j be k(3). Suppose 4*c + j*c = 8. Which is bigger: c or g?
g
Let x = -136811/3344 + 450/11. Which is bigger: x or 1?
1
Let t = 5.429 + 0.571. Is 3/2 less than or equal to t?
True
Suppose 2*o + 4*u = -172, -5*o - u - 245 = 176. Is o at least as big as -82?
False
Let t(g) = g**3 - 2*g + 4. Suppose -2*s - 6*s - 24 = 0. Let y be t(s). Do y and -18 have the same value?
False
Suppose 3*j - 15 = -l, -4*l + j = -3*l - 7. Let m = -8 + l. Let f be ((0 + -4)/m)/(-2). Which is smaller: f or 4/7?
4/7
Let m be (-4)/22 + (-1029)/1540 + 1. Suppose 4*k + 24 = -5*v, 3*k + 19 = -4*v - 0*v. Which is smaller: k or m?
k
Let o(m) = -56*m - 53. Let q be o(-1). Which is smaller: -0.1 or q?
-0.1
Let p = 266 + -284. Let b = 60 + -41. Let w = p + b. Is w greater than or equal to -1/19?
True
Suppose -105*o - 6920 = -145*o. Is o > 173?
False
Let z(a) = -a**2 - 2*a + 5. Let o be z(-3). Suppose 0 = o*f - 4*f. Do 3/10 and f have the same value?
False
Let b = -0.1 - -0.1. Let p = -0.04 - b. Suppose -4*d = 5*j - 6 + 11, 3*j + 4*d + 3 = 0. Which is smaller: p or j?
j
Let i(w) = w**2 + 21*w + 5. Let z be i(-22). Let m = z - 24. Is m at most as big as 1?
False
Let k = -14.7 + 14. Let m = 3.2 + -2.3. Let j = k + m. Which is smaller: 1 or j?
j
Let l = -156 - -86. Let h = l - -69.9. Which is smaller: -12 or h?
-12
Let v be 2723/28 + (-3)/12. Let z = 63 - v. Which is smaller: -33 or z?
z
Let o be (9/12)/(6/4). Let b be 6/(-8)*(0 - -12). Let f(i) = i**2 + 10*i + 10. Let h be f(b). Is o at most as big as h?
True
Let l(f) = f**2 + 2*f - 10. Let g be l(-5). Suppose -5*v + 3*t = -73, 4*t - 34 = -g*v + 67. Which is smaller: 19 or v?
v
Suppose -254 = -12*s + 454. Is s >= 78?
False
Let p(x) = 4*x**3 + 7*x**2 - x - 41. Let v be p(-5). Is -362 at most v?
True
Let w = -74/7 - -2160/203. Let u = w - -139/87. Is 3 greater than or equal to u?
True
Let s = 0.8 + -104.8. Is s less than or equal to 1?
True
Let j be 0*(3/(-6) + 0). Let w = 952 - 39029/41. Which is smaller: w or j?
j
Let r be ((-1)/2)/((-8)/48*-3). Let u be (102/(-119))/(r/(-14)). Let i = -26 + 17. Which is smaller: i or u?