ich is greater: b or 2?
2
Let a(d) = d**2 + 10*d + 6. Let l(q) = -3*q**2 - 30*q - 19. Let g(h) = -8*a(h) - 3*l(h). Let b be g(-9). Let m = -3 - -5. Is m at most b?
False
Let n = -0.14 + -0.86. Is n > 0.02?
False
Let y = -0.08 + 0.11. Let i = y + 0.07. Is -0.1 less than i?
True
Let m = -0.37 - 0.73. Which is smaller: m or 0?
m
Let x = -9 - 41. Is 2/5 greater than or equal to x?
True
Let o be (((-16)/(-52))/(-2))/(-3). Which is smaller: 1 or o?
o
Let o = -6.326 + 0.026. Let s = 6 + o. Which is bigger: 0 or s?
0
Suppose -4*w = 3*x + w + 25, -4*x + 20 = -4*w. Let h(d) = 2*d - 9. Let p be h(6). Let z be (1/(-5))/((-1)/p). Is x greater than z?
False
Suppose 4*b = 3*j - 20, b + 5*j = 4*b + 15. Is b greater than -6?
True
Let k be ((-6)/(-5))/((-9)/(-45)). Let x = k - -4. Suppose -w + x = 2*b, b + 0 = w - 1. Is w at least as big as 4?
True
Let t = -38 + 39. Which is bigger: t or -1/11?
t
Let b(v) = -v - 10. Let x(z) = z + 9. Let f(i) = 4*b(i) + 5*x(i). Let c be f(-8). Let d be -2*c/(6/1). Is 1 > d?
False
Let s = 34/407 + -8753/12210. Let g = s - -2/15. Is g less than 3?
True
Let n = -39 + 857/22. Let d = 83/110 - n. Suppose -4*i = -7*i. Is i bigger than d?
False
Let h(f) = -3*f - 2*f**2 + 10*f + 7 + f**2. Let u = 7 - -1. Let q be h(u). Which is smaller: 1/3 or q?
q
Let v be (6/(-10))/(32/20). Which is greater: 0 or v?
0
Let f be (-4*9/3)/(-1). Let b be 22/f*(-132)/(-21). Let u = b - 35/3. Is u greater than 0?
False
Let a = 4/21 + 1/7. Is -3/5 at most a?
True
Let q = -76 + 75. Which is smaller: q or -1/5?
q
Let r = -48 - -48. Which is smaller: -13 or r?
-13
Suppose 4*r - t - 4 = 0, -2*r + 6 = -4*t + 4. Which is smaller: 11/5 or r?
r
Let c = 63 - 52. Is c at least 4?
True
Let r(k) = -k**3 - 7*k**2 + 8*k + 1. Let x be r(-8). Is -2/23 <= x?
True
Suppose 5 = -4*h + 3*h + 2*n, -3*h - 2*n - 31 = 0. Which is bigger: -1/2 or h?
-1/2
Let u be 3/(-15)*8/6. Which is smaller: 1 or u?
u
Suppose 15 = 3*d - 3*g, -d + 19 = 3*d - 3*g. Let y be 2/d - 14/(-4). Is y greater than or equal to 4?
True
Let z = 330 + -3645/11. Which is smaller: z or -1?
z
Let u be (6/(-14))/(10/(-35)). Let a = -20 - -20. Which is greater: u or a?
u
Let v = 26702/21 - 1272. Which is bigger: v or 1?
1
Let u be -4 + 6 + 2 + -3. Which is bigger: u or 2/27?
u
Let d be (-76 - -1)*(0 - 1). Let z be (26/10)/((-430)/d). Let o = -2/43 + z. Is -1 bigger than o?
False
Let s = 0.32 + -0.3. Let z = -5.7 - -5.62. Let x = z - s. Is x at most as big as 2?
True
Let y be (1 - 14/8)*-4. Let c be (-4)/6*y/2. Which is smaller: c or 1/4?
c
Let f = -7 - -9. Suppose 4*n - f*k = -k - 12, -n - 3 = -5*k. Let w be (2/(-4))/((-2)/(-20)). Which is greater: w or n?
n
Let j be -2 - -5 - -3 - 0. Suppose 0 = j*g - 11*g. Is g less than or equal to -1?
False
Let a(v) = -v**3 - 9*v**2 + 1. Let c be a(-9). Suppose 0 = 4*u + c - 13. Is u >= 2?
True
Let k be ((-8)/50)/(1/(-5)). Which is bigger: 2 or k?
2
Suppose -4*p + 2*i - 29 = 3*i, 0 = -2*p + i - 19. Let q = 9 + p. Which is smaller: 2/11 or q?
2/11
Let l(y) be the third derivative of y**4/24 + y**3/6 - y**2. Suppose -w = 3*q, -4*q + 6 - 22 = -4*w. Let p be l(q). Are p and 6/5 equal?
False
Suppose k - 2*g = 1, 3*k + 2*k + 2*g + 43 = 0. Is -9 < k?
True
Let n(p) = -6*p - 6. Let y be n(-4). Is y equal to 18?
True
Let g be 1/(1/(-32)) + -3. Let t = -139/4 - g. Which is smaller: -6/13 or t?
-6/13
Let d be 17/3 + 2/(-3). Let j be d/(-10)*(0 + 6). Let p = 0 + -2. Is j less than p?
True
Suppose -w + 7 = -3*y, y + 19 = 2*y + 5*w. Which is bigger: y or 2/63?
2/63
Let i be ((-20)/(-75))/(4/10). Which is smaller: 1 or i?
i
Let y = 1.9 + -2. Let r = -6 - -2. Let m = r - -6. Is y != m?
True
Let a be 5 + 1 + (-12)/(-4). Let p be (a/54)/((-2)/8). Is -3/5 > p?
True
Let v = 5.97 + 0.03. Let s = -5 + v. Is 5 < s?
False
Suppose -3*b + 18 = 3*t, -5*b - 14 = -5*t - 4. Suppose 21 = 3*c + 5*p - b*p, 2*p = 3*c - 6. Suppose -l + c*l - 18 = 0. Is l < 5?
False
Let h be -1 - 1/((-1)/2). Let y be 9/(-3) - (-1 - h). Which is bigger: 1 or y?
1
Let w = 4 - 1. Suppose -z - 4 = -w. Which is smaller: z or 1/6?
z
Let z = 0.06 - -0.04. Let s = z - 0. Does -1/3 = s?
False
Let h(q) = -2*q + 23. Let z be h(12). Which is bigger: z or 3/50?
3/50
Let s(l) = l**3 - 18*l**2 + 18*l - 8. Let z be s(17). Does z = 7?
False
Let d be (-9)/18*12/(-38). Which is bigger: d or 1?
1
Let o be ((-2)/6)/((-2)/36). Let c be -2*3/(o/4). Let y(k) = -2*k**2 - 2*k. Let d be y(-2). Is c bigger than d?
False
Suppose -4 = -4*o - 4*b, -6*o + b - 1 = -o. Let w be ((o + 0)/3)/3. Is 1/3 > w?
True
Suppose -5*t - 1 = -4*w + 2, 11 = 3*t + 4*w. Let d be (1 - t)*2/(-2). Let a be (-3)/(-15)*(d + 2). Is a > 0.1?
True
Let o be 1*3/(-6)*2. Is o less than or equal to -7/3?
False
Let k = 18 - -12. Is k greater than or equal to 30?
True
Let w = -59 + 94. Is 35 != w?
False
Let t(g) = -g + 6. Let l be t(6). Let p be (-21)/14*8/102. Are p and l non-equal?
True
Let l = 1.967 - -0.033. Which is smaller: 3/7 or l?
3/7
Let l = -27962/203 - -9662/29. Let g = 195 - l. Which is smaller: 1/3 or g?
g
Let b be 120/(-64) + (-1 + -2)/24. Let k(q) = 3*q + 3. Let a be k(-2). Is b bigger than a?
True
Let w = 65 - 71. Which is smaller: -5 or w?
w
Let o = -3.7 + 1.4. Let a = -2.21 - o. Let y = 0.01 + a. Is -6/5 smaller than y?
True
Let p be 4/22 - (-48)/(-33). Let n = 83/22 + p. Which is greater: n or 3?
3
Suppose 4*c - 2*c + 10 = -4*v, -5*c = 25. Suppose -5*l = -15 - v. Suppose -3*a = -6, 4*a - l - 8 = -3*q. Is 2/3 greater than or equal to q?
False
Let t be (9 - 1)/2 - 0. Let v(g) = -6*g**2 + 10*g + 7. Let j(z) = -5*z**2 + 9*z + 6. Let s(x) = t*v(x) - 5*j(x). Let c be s(6). Which is smaller: c or 3?
3
Let g = 219.8 - 220. Let i be 1/3 - 1/(-15). Which is smaller: i or g?
g
Let l(x) = -x + 10 + x - x. Let y be l(5). Suppose 15 = y*w + 5. Which is smaller: 1 or w?
1
Let n = -45 + 47. Let v be 12/21 - (-2)/(-7). Which is smaller: v or n?
v
Let u(p) = p**2 + 9*p + 7. Let b be u(-9). Suppose -2*h = -b*h. Let d be (-2)/10*(-2 + 3). Is d not equal to h?
True
Suppose -20*f - 6 = -17*f, -3*b = -3*f + 6. Suppose 0 = -2*s + 3*s - 4. Suppose -4*r + s = 16. Which is smaller: r or b?
b
Let d = 1/98 - 149/196. Let w(z) = z**3 - 7*z**2 - 8*z - 1. Suppose -m + 3 + 8 = 2*t, -5*t + 50 = -2*m. Let j be w(t). Which is bigger: d or j?
d
Let k be (2/1)/2 + -1. Let i(v) = -v**2 - 25*v - 19. Let t be i(-24). Which is greater: t or k?
t
Let j = 4672/185 + -126/5. Do j and -1 have different values?
True
Let h be (-2)/9*78/12. Which is greater: -1 or h?
-1
Let l be (7 + -6)/(1/2). Let u(s) = -s**3 + 3*s**2 - s - 1. Let d be u(l). Is -2/25 at least d?
False
Suppose 38 - 2 = 4*x. Let r be 6/x + 4/(-6). Are r and 1/2 nonequal?
True
Let j = -5/26 + -417/130. Which is greater: -2 or j?
-2
Let o = -1 + 3. Let l be (-2)/((-16)/(-4) - 5). Does o = l?
True
Let l be (81/36)/((-3)/(-2)). Suppose 4*m - 35 = -m + 4*a, 0 = -3*a - 15. Which is bigger: l or m?
m
Suppose -71 = -4*m + 13. Let s be (-1)/(-4)*(-500)/m. Let r = s - -44/7. Is 1 at most r?
False
Let t = -22 + 23. Let l be (t/1)/(10/4). Which is smaller: -0.04 or l?
-0.04
Suppose -4*k - 6*b = -b - 14, -3*k + 4*b = -26. Suppose k = 2*s - 5*s. Let c be 1/((s/4)/1). Is c at most as big as 1/2?
True
Let j be (2/(-5))/((-2)/5). Which is greater: 2 or j?
2
Let q be -1 - (2 - (-1 + 3)). Let c = -2 - q. Let o = c - -2. Is 1 at most o?
True
Let p be (4/5)/(42/(-105)). Which is smaller: -1 or p?
p
Let z(v) = -v**3 - 6*v**2 + 17*v. Let g be z(-7). Do -70 and g have different values?
False
Let l(v) = -v**3 + 8*v**2 + 20*v + 2. Let o be l(10). Is o at most as big as 7/5?
False
Let k = 7 + -6.96. Let x = 0.03 - k. Let y = x - -0.11. Are 2/5 and y nonequal?
True
Let a be (30/(-9))/(-5)*(-3 - -2). Is a at least as big as -17?
True
Suppose -2*h - 21 + 195 = 0. Let d = -523/6 + h. Which is smaller: -1 or d?
-1
Let m be 133/245 + (-1)/7. Are -12 and m nonequal?
True
Let t = -2 + 1. Let o be (8/12)/(28/18). Which is bigger: o or t?
o
Let h = -5 + 10. Suppose 0 = -r - 5*l + h, -l = r - 3*l + 2. Suppose r = 5*o - 4 - 6. Which is bigger: 1 or o?
o
Let j(g) = g + 4. Let d be j(0). Let t = d - 7. Does 1 = t?
False
Let l = 63 - 23. Is l >= 0.2?
True
Let h = -19 - -19.87. Let w = -0.13 - h. Is w != 6?
True
Let u be (1/(-15))/((-21)/18). Let t = 87 - 86. Which is greater: u or t?
t
Suppose 