n + 3*g + 11 = 0. Which is greater: b or n?
b
Let m = 11 + -4. Suppose -5 = o + m. Let q be (-2)/(-4)*8/o. Is 0 less than or equal to q?
False
Let k = -41 + 43. Are k and 3 equal?
False
Let v = -0.44 - -0.24. Which is smaller: -7/5 or v?
-7/5
Let m = -736/39501 + 10/297. Which is greater: m or -1?
m
Let n be (-1)/(4/(-8)*-38). Which is bigger: 0 or n?
0
Let p = 20 - 23. Is p < -6?
False
Let p = -24263/7 + 3479. Let r = -13 + p. Suppose 4*s - 2*z = -0 - 14, 3*z = -5*s + 10. Which is bigger: s or r?
r
Let t = 6 - 3. Is 4 less than t?
False
Let j = 49 + -45. Let y be (0 - -17)*2/10. Is y smaller than j?
True
Let i = 0.051 + 0.319. Let l = i - 0.07. Is -2 < l?
True
Suppose -j = -4*j - 1788. Let s = j - -13706/23. Is 0 at least as big as s?
True
Let v(t) be the first derivative of t**3/3 + t**2/2 + 4*t - 1. Let x be v(0). Suppose -4*w + 97 - 85 = 0. Which is greater: x or w?
x
Let b = 3 - 2.8. Let r be (2/5)/(-4 + 2). Which is smaller: b or r?
r
Let n = -1.7 + 3. Let q = -2.3 + n. Is q >= 0.07?
False
Let k(o) = -2*o + 3. Suppose -4*w - 3*u + 11 = 0, 4*w - 3*u - 2*u = 35. Let c be k(w). Do c and -7 have different values?
False
Let k = 31/21 + -15/7. Let s be (-4)/24*4*1. Is k less than or equal to s?
True
Let c be (-4)/6*39/(-143). Is c smaller than -1?
False
Let i = -0.5 - 4.5. Let b = 7 + i. Which is smaller: 0 or b?
0
Let r be 0/(2*-1)*1. Suppose -2*n + 5*n = r. Let v be (-54)/(-84)*4/3. Does v = n?
False
Let y(d) = -d**3 + 8*d**2 + 8*d + 11. Let n(k) = 8*k**2 + k. Let p be n(1). Let a be y(p). Is 1 <= a?
True
Suppose 6*b - v = b - 115, -2*v = -5*b - 110. Is -24 at most b?
True
Let k(s) = -2*s + 26. Let n be k(0). Let f = n - 14. Is f > 0?
True
Let p = -477 + 473.07. Let j = 0.07 - p. Is j > 2/5?
True
Suppose 3*z - 4*z + 29 = 0. Suppose 2*t - 46 = 3*f, 3*t - 3*f = 2*t + z. Are 17 and t equal?
True
Let t(x) = 2*x - 11. Let p be t(8). Let o = 4 - p. Which is greater: o or 1?
1
Let w be 11/2 + 8/(-16). Suppose 5*n + 2 = 2*y - 1, -2*n = -w*y - 3. Which is smaller: -3/10 or y?
y
Let l = -1524 - -63997/42. Let j = 1/14 - l. Suppose 5*s = -w + 1, -s = w + 1 - 2. Is w not equal to j?
True
Let y(p) = -p**3 + 5*p**2 + 2. Let v be y(5). Let b be v*1*(0 + -1). Let j = -35 + 34. Which is greater: b or j?
j
Let m(d) = -d. Let z be m(-3). Suppose 3*p - 2*f = -5*f - 3, 4*p = f + 21. Suppose -p = z*i - 16. Is i >= 4?
True
Let b = 2/14047 - 1587335/168564. Let r = 28/3 + b. Suppose -o + 0 = 1. Which is smaller: o or r?
o
Let q(y) = 4*y + 1. Suppose 5*u = -14 - 1. Let m(p) = 5*p + 2. Let a(s) = u*m(s) + 4*q(s). Let r be a(2). Which is bigger: r or 2/5?
2/5
Suppose 5*t + 121 = 4*p, -p - 3*t + 22 = -4. Suppose -2*x - p + 5 = 0. Are x and -12 non-equal?
False
Let a(u) be the second derivative of -u - 1/12*u**4 + 0*u**3 + 1/2*u**2 + 0. Let o be a(1). Which is bigger: o or 1/10?
1/10
Let b = 0.2 + -0.3. Is -31 <= b?
True
Let k be 2 + 0 - (-4)/(-1). Let n(d) = d + 12. Let o be n(-9). Let a = o + -4. Which is smaller: k or a?
k
Let x be -3*1*(-2)/2. Which is smaller: 3/2 or x?
3/2
Let u be (-80)/(-100)*(-15)/2. Let p = 5 + -11. Is p < u?
False
Let g = -2 - -6. Let z = -41 - -44. Suppose 0 = g*d + c + c - 26, 4*d - z*c - 1 = 0. Which is smaller: 5 or d?
d
Let p be -9*(1 + -1 + -11). Let j = -694/7 + p. Are j and 0 equal?
False
Let a = -3 + 1. Let h = a + 0. Is -4 greater than h?
False
Let q = -0.1 + 0.1. Suppose -m - 10 = -3*t, -m + 18 = 3*t + 2*m. Let g be (-2)/t + 7/21. Are q and g nonequal?
True
Let a = -1/13 + 35/117. Is -28 less than or equal to a?
True
Suppose 3*p = 5*d - p, d - 4*p - 16 = 0. Let q be (-3)/d + 9/36. Let g be ((-8)/30)/(30/(-9)). Are q and g nonequal?
True
Let t = 2 - -1. Let y be 3/(-15) + 14/20. Is y > t?
False
Let z be (-2)/(-2) - 53/1. Let r be 2*1 + 112/z. Suppose -o - 3*o = 0. Are r and o equal?
False
Let n = 1 + -0.98. Let o = n + -0.05. Let f = o - -0.13. Which is smaller: f or 0.2?
f
Let z be (1/9)/((-2)/(-114)). Let s = 6 - z. Which is smaller: 1 or s?
s
Suppose -19 = 6*z - 1. Is z at most as big as -35/8?
False
Suppose -4*s = 58 - 26. Which is smaller: -3 or s?
s
Let u = -17/111 - 1/74. Suppose 2 = -0*v + v. Let y = -3 + v. Which is smaller: y or u?
y
Suppose 0*s = 4*s - 4. Suppose 24 - 59 = -5*y. Suppose 4*i - y*q = -2*q - 10, -3*i - 5*q + 10 = 0. Does s = i?
False
Let d be (-9)/60 + (-2)/(-5). Let r = -1 + 1.4. Which is bigger: d or r?
r
Let f be 6*(3 + (-6)/3). Suppose 3*t + 7 = -2*w, 5*w + f + 5 = -t. Suppose -u + 6 = -4*u. Is u less than or equal to w?
True
Let t(y) = 12*y + 22. Let m be t(-2). Suppose -1 = -2*d - 3. Is d != m?
True
Let j = -15 + 22. Which is bigger: j or 6?
j
Let w = 8.4 + -8. Let j = -1 - 0.6. Let v = w - j. Which is smaller: -0.1 or v?
-0.1
Let n = -1031/10 - -103. Is n at most as big as 1?
True
Suppose -57 = -3*u - 15. Let q = -8 + u. Which is greater: 4 or q?
q
Let w(a) = -3*a**2 + 9*a - 19. Let z be w(2). Let h be (2/(-21))/((-1)/(-3)). Is z at least as big as h?
False
Let b = 6.9 + -7. Which is smaller: -6 or b?
-6
Let i = -16/17 + 114/85. Is i < -1?
False
Let t = -2 + -6. Let n = -9 - t. Which is bigger: n or -0.02?
-0.02
Let h(f) = f**2 - 14*f + 6. Let c be h(13). Is c <= -5?
True
Let r be (-119)/182 + (-3)/(78/(-4)). Let z = 1 - -1. Let n be ((-2)/(-1))/z*-2. Is r smaller than n?
False
Let i(t) = -t**2 - 2*t + 5. Let r be i(-6). Let m = 56/3 + r. Is m at most as big as 0?
True
Let v = -3477/28 - -52975/308. Let n = v - 48. Suppose 4*k - 7 = 5*j + 7, -4*k - 3*j - 2 = 0. Is k at least as big as n?
True
Let l(r) = 5. Let t(g) = -g - 6. Let s(z) = -z**2 - 2. Let k be s(0). Let a(c) = k*t(c) - 3*l(c). Let n be a(3). Are n and 4 unequal?
True
Suppose 5*n - 15 = 4*z - 48, -3*z - 3*n = 9. Suppose z*w = 8*w. Which is bigger: 8/9 or w?
8/9
Let k = 0.235 + 15.665. Let b = 17 - k. Let m = 1 - b. Which is greater: m or -2/7?
m
Let r = -6858/11 + 624. Suppose 0 = -5*d + 5*q, -q = -2*d - 2*d. Is r < d?
False
Let y = 62 - 61. Is 18/13 at most y?
False
Let c(f) = -f**3 - 4*f**2 - 4*f - 3. Let q be c(-3). Suppose 3*k = -3*h - 12, q*h + 2*k + 13 = 3*h. Is h smaller than 2?
True
Let b = 14 - 10. Let f = 9 - b. Suppose -z + 3*z = 0. Is z >= f?
False
Let n = -2 + 2. Which is smaller: -1/11 or n?
-1/11
Let y be 2/8 - (-9)/(-4). Suppose 4*v = 3*d + 13, 4*v - d = 11 + 4. Suppose 0 + 4 = -v*z. Which is greater: y or z?
z
Let b = 2 - -2. Suppose b = -4*g - 20. Let l be (4/15)/(g/9). Is l less than 0?
True
Let t = -6329/11 - -576. Which is greater: 1 or t?
1
Let b = 5 - 4. Suppose -2 - b = -3*h. Let g be (-2)/(-3)*h/(-2). Is 1 < g?
False
Let h = 1 + 0. Let a be h/(-3) - 5/(-15). Which is smaller: 2/21 or a?
a
Let m = -0.1 - -17.1. Let d = 20 - m. Which is greater: d or 0.3?
d
Let n = 1 + -2. Let r be (15/6*-2)/(-1). Which is smaller: r or n?
n
Let d be -6*3/(-12)*2. Suppose 5*l + 3*s - 15 = 0, 2*s + 0*s = d*l + 10. Suppose 3 = -0*o + 3*o. Which is smaller: o or l?
l
Suppose 0 = -5*d + 4*b - 55, 4*d - 2*b = 2*d - 24. Which is bigger: -9 or d?
d
Let c be (3/9)/((-2)/(-12)). Let f = 0 + c. Let p(r) = -r**3 - 7*r**2 + 3. Let g be p(-7). Which is bigger: g or f?
g
Suppose 33 = 5*p + 13. Let y be (-1 - p)/((-24)/10). Let g = y + -39/20. Which is bigger: g or -1?
g
Suppose 0 = 3*j - 11 + 5. Let i = -2 - -4. Suppose 0 = o - 1, -d - i*o = -9 + 4. Which is bigger: j or d?
d
Let d(b) = -2*b - 6. Let u be d(-6). Let j be 2/(u/9) - 15. Let n = -17 - j. Is n less than -5?
False
Let z = 29178/3409 - -6/487. Which is greater: z or 9?
9
Let n = 19/416 + 5/104. Which is greater: n or 1?
1
Suppose 0 = 7*a + 72 - 23. Is a bigger than -3?
False
Let a be (-3)/(0 + -1 + 0). Let m be a*1*(-6)/9. Let w be (6 + m + -1)/(-1). Are w and -3 non-equal?
False
Let t(x) = x - 14. Let v be t(10). Let c(n) = -n**2 - n - 1. Let o be c(-2). Which is smaller: o or v?
v
Let v = 40.9 + -38. Let h = -3 + v. Let t = 0.1 + -0.2. Is h bigger than t?
False
Suppose -r - 18 - 5 = 4*w, 28 = -r - 5*w. Let h be (1 + 1 - r) + -2. Suppose 2*o - 2 = h*o. Is o != -1?
True
Let l = 76.8 + -89. Let z = l + 12. Let d = -2 - -1. Are z and d nonequal?
True
Suppose 0*u = -6*u - 114. Let y = u - -24. Let w(g) = -g**2 - 6*g - 1. Let m be w(-5). Which is bigger: m or y?
y
Let u be 215/2 + 2/(-4). Let c = 2/21075 + -15827339/147525. Let k = u + c. Which is bigger: k or 1?
1
Let y = -0.17 - -0.01