 + 3. Let g = q + 8. Let n be (g/168)/(6/(-8)). Is -1 greater than or equal to n?
False
Let k = 128 + -76. Let u = -32 + k. Let y = 21 - u. Is y smaller than -2/29?
False
Let w = 69 - 46. Let b = w - 40.5. Let d = b - -17. Which is bigger: d or -1/6?
-1/6
Let u be ((-3)/(-18)*9)/((-21)/(-14602)). Is u greater than or equal to 1044?
False
Suppose -8*r = 62 + 2. Let m = -21 + 14. Which is smaller: r or m?
r
Let p = 6574/73 + -90. Which is greater: p or 0?
p
Suppose 5*g + 2*p - 915 = 0, -67*p + 63*p = -g + 183. Which is bigger: 185 or g?
185
Let g = 0.69 - 0.89. Is 23.1 greater than or equal to g?
True
Let z be ((-4)/(-8))/((-2)/82). Suppose 0*q + q + 21 = 0. Let r = q - z. Is 3 != r?
True
Let f = 76 - 78. Suppose 0 = -4*r - 141 - 587. Let k be 24/r - (-2)/7. Is k at most f?
False
Suppose -5*o + 5 = -0. Let c = 58 - 66. Let j be (9/(-12) + 1)/((-22)/c). Are j and o nonequal?
True
Let v = -0.9 - 0.2. Let x = v - -0.9. Which is bigger: x or 1?
1
Let p = 461.5 + -446. Is 1 at most p?
True
Let o(g) = g**3 + 8*g**2 + 9*g - 6. Let u be o(-8). Let c = u + 105. Which is greater: 25 or c?
c
Suppose 4*r = 4*g + 32, -2*r - 2*r = 2*g - 2. Let q be g/(-60)*(-15)/(-2). Suppose 5*b = -2*n - n + 23, -12 = 4*n - 4*b. Which is greater: q or n?
n
Let c = -135.5 + 135.5. Suppose -7*i + 4*i - 5*a = 45, i - 2 = 4*a. Which is bigger: c or i?
c
Suppose 5*i - 6*j = -j - 315, -5*j + 251 = -4*i. Which is smaller: -63 or i?
i
Suppose 560 = -29*b + 19*b. Which is bigger: -55 or b?
-55
Let t = -3 - -4. Let k(u) be the second derivative of -u**5/20 - 19*u**4/12 - u**3/6 - 9*u**2 + 3*u. Let h be k(-19). Is t greater than or equal to h?
True
Let n be (-1 - (-1 + 1))/(845/(-10)). Which is smaller: n or 0?
0
Suppose 0 = -5*i - 4*m + 178, 4*m - 2*m - 106 = -3*i. Which is smaller: -2/3 or i?
-2/3
Let l(m) = m**2 - 4*m - 4. Let o be l(6). Let v be o/(-30) - 1/(-3). Let g(y) = -59*y + 413. Let r be g(7). Is v at most r?
False
Let m be 0/(4*1/(-2)). Let u be (1/4)/(6/(-24)). Let i be u/4*10/(-120). Which is smaller: m or i?
m
Let x = 1.09 - 0.47. Let f = 0.9 - x. Is f less than or equal to -0.2?
False
Suppose -1262 = -8*s + 2834. Is s at least as big as 0.1?
True
Let g = -364 + 116. Is -243 greater than g?
True
Let g be ((-1)/(-2) - 1)/3. Let t = 1.806 + -2.987. Let f = -0.181 - t. Which is greater: f or g?
f
Let z be (160/31872)/(2 - 9/4). Is z smaller than -1?
False
Let g be (-14 + 10)/(1/(-3)). Let c = 5 + g. Let z = c + -19. Is -3 less than z?
True
Suppose 3*u = 4*l + 27, -2*l = l + 3*u - 6. Suppose 0 = -4*v + 5*v - 24. Suppose -3*y - v = y - 3*k, k = y + 7. Is y at least as big as l?
True
Let d be -2 - 7/((-14)/(-44)). Let z be (d/5)/((-4)/30). Let n be (z/27)/((-20)/(-6)). Is -0.3 at most n?
True
Suppose -4*z - 51 - 1 = 5*w, z = 3*w - 13. Let t = z + 16. Is t not equal to 3?
False
Let s = -1 + -1. Suppose -4*m = -0*m + 8, l - 2*m = 25. Suppose l = -7*w + 7. Is s smaller than w?
False
Let o = 5 + -9. Let m be (3199/126)/((-4)/6). Let g = 139/4 + m. Which is greater: g or o?
g
Let v be (-5)/(42/(-15) - -3). Let u be ((-6)/v)/(4/110). Is u equal to 6?
False
Let i be (1/3)/((-11)/(-33)). Let a(c) = 2*c**3 - c**2 + c - 1. Let w be a(i). Which is smaller: w or 5/3?
w
Let r be 731 + 4*(5 + -4). Let v be 3*10/r*-1. Which is smaller: 1 or v?
v
Let d = -272 + 269. Let s(i) = 15*i + 1. Let l be s(-1). Let z be 2/3*48/l. Which is smaller: d or z?
d
Suppose -a + 0*q - 5*q = 20, 0 = 5*a - 3*q - 12. Let k = 15/23 + -893/1334. Is a greater than k?
True
Let f = -106 + 72. Is -35 bigger than f?
False
Let t = -103 - -102.8. Which is smaller: 1.8 or t?
t
Let m = 0.43 + 17.57. Suppose -2*p = 9 - 15. Let x be (10/5 + -1)/p. Is x smaller than m?
True
Let b(p) = 3*p**2 - 2*p. Let q be b(-2). Let c = -13 + q. Let o be ((-10)/(-90))/(1/c). Do -0.2 and o have different values?
True
Suppose -2*i + 3*i = -1. Let h(m) = -88*m**2 - 6*m - 6. Let s be h(i). Which is smaller: s or -87?
s
Let s = -407 + 410. Is 0.23 greater than or equal to s?
False
Suppose -d = -n - 7, 2*n = -4*d + 3*d - 26. Is n > -2?
False
Let m be (-8)/(-36) - (-37108)/8892. Let q = 84/19 - m. Is 1 less than q?
False
Let y be 3272/(-452)*(-1)/28. Let k = 5/113 - y. Suppose -13*o - 11 = -2*o. Which is greater: o or k?
k
Suppose 0 = 5*r + 2*p - 0*p + 80, -2*r + 5*p = 32. Let a(l) = 3*l - 97. Let x be a(27). Is x > r?
False
Let z = 2/5133 + -10280/35931. Which is greater: -46 or z?
z
Suppose 0 = -13*s - 16 - 23. Let f be (2 - s) + (-97)/20. Is 0 greater than or equal to f?
False
Suppose -41*w = 63*w + 47216. Which is smaller: -456 or w?
-456
Suppose -9*l + 57 - 12 = 0. Suppose 2*s = -l*s + 7. Which is smaller: -1/44 or s?
-1/44
Let o(w) = w**3 - 5*w**2 + 7*w + 1. Let n be o(4). Suppose 15*j - n*j = 6. Is 3 at least j?
True
Suppose 2*u - 4*u = -4. Let v be 1 + (0 + 1 - u). Suppose -3*b + z + 14 = v, -2*b + b = -5*z - 28. Which is bigger: b or 6?
6
Let x = -18/5 - -404/115. Let v = 10/43 + 797/86. Let q = v - 9. Which is bigger: x or q?
q
Let t be (1/3)/(35/(-14)). Suppose -2*n - 2*n + 12 = 0. Suppose -4*b + 1 + n = 0. Which is smaller: b or t?
t
Let u(h) = -h**3 + 2*h + 1. Let v be u(-2). Suppose -v*t - 4 = -34. Let a = 18 - 12. Is t equal to a?
True
Let x be (42/(-9))/(10/(-18))*40. Suppose 0 = 4*q + 4*q + x. Is q at most -44?
False
Let k(c) = 5*c**2 + 32*c - 133. Let y be k(4). Is 227/3 smaller than y?
False
Let d be ((-1755)/(-364))/(4/(-42)). Which is smaller: d or -51?
-51
Let c = 7 - 6. Let v(r) = -r**3 - 8*r**2 - 8*r - 10. Let j be v(-7). Let m be j/9 + 51/72. Is m at most as big as c?
True
Let j = 3713/21700 + 1/3100. Let x be (-1)/(-1) + 0 + -1. Which is bigger: j or x?
j
Let p be (1*11)/(-2*(-1)/(-4)). Are p and -146/7 equal?
False
Let r be 4/46 + (-478953)/1863. Do -256 and r have different values?
True
Let t = -165 - -3631/22. Let d be 8/(-6) + (-20)/(-6). Suppose 0 = -m + d*m. Which is greater: m or t?
t
Let m(h) be the third derivative of -h**4/12 + h**3/2 + 4*h**2. Let u be m(2). Let i be ((-3)/10)/(-1)*30/(-36). Is i > u?
True
Let x = 1728 + -5158/3. Which is greater: 8 or x?
x
Let n = 0.2 + 0.8. Let b = 15.6 + -19.6. Is n at most as big as b?
False
Let g(p) = p**3 + 64*p**2 - 199*p + 147. Let z be g(-67). Let x(a) = a**3 + 6*a**2 + 3*a - 5. Let k be x(-4). Is k equal to z?
False
Let o = 15 + -9. Suppose -a + 5*a + 8 = 0. Let i be a/6 - (-25)/3. Is i at least as big as o?
True
Let w = -0.0546 + -0.9454. Is w < 364?
True
Let d = -40 - -39. Let i(w) = -w**2 - 4*w + 1. Let o = 3 + -7. Let p be i(o). Is p >= d?
True
Suppose 0 = 21*r + 5 - 26. Do r and 21/25 have the same value?
False
Suppose 0 = 5*z - z. Let q be -2 + (-9)/12 + 1894/680. Let k = 143/765 + q. Is z at most as big as k?
True
Let o(b) = -b**2 - 22*b + 70. Let y be o(-25). Is -53/12 at least y?
True
Let g = 10.2 + -11. Let k = 0.84 - -3.16. Which is smaller: k or g?
g
Let p = -772 - -558. Which is greater: p or 0.2?
0.2
Suppose 3*q = -0*q. Suppose q*z + 3*z - 9 = 0. Suppose j - 4*x + 0 = 4, 3*j = -3*x + 12. Which is smaller: j or z?
z
Let i be 5*(-1 + 18/10). Suppose -3*w = -w + 2*u + i, 2*w = 5*u - 4. Let y = -0.1114 - -11.1114. Which is bigger: w or y?
y
Let k = 28099/63 + -446. Let h = 89/6 + -46/3. Which is smaller: h or k?
h
Let w = 872 + -899. Are w and -85/3 unequal?
True
Let w = 48.971 + 0.029. Let c = w - 61. Is -0.2 at least c?
True
Suppose 4*k = 5*h + 3 + 33, -4*k - 4*h = 0. Let c be -4 - (k + (-10 - 1) + 3). Are c and -1/2 equal?
False
Let b be 2545/10845 + (-4)/18. Which is smaller: -0.2 or b?
-0.2
Let s = -4832 - -4811.87. Let i = 20 + s. Let m = i - -2.13. Which is smaller: m or 0?
0
Let h = 1273 + -1275. Which is greater: h or -14/5?
h
Suppose 0*c + 3*c + 4*v = 2, -c - 2*v = 0. Let n = -993/8 + 15167/120. Which is smaller: c or n?
c
Let v(d) = d + 22. Let q be v(-23). Is q equal to 1/65?
False
Let w(n) = 8*n**3 - n**2 - n. Let o be w(-1). Let m(y) = y**2 - 4*y - 103. Let p be m(12). Is p at least as big as o?
True
Suppose -6*g - 36 = -3*g. Is g not equal to -74/7?
True
Let i(x) = x**3 - 16*x**2 + 2*x - 26. Let k be i(16). Suppose -2*c = 4*p - 8, -k*p - 5*c = -p. Which is bigger: 27/8 or p?
p
Let r be (-1)/(-2) + (-21)/(-9) + -3. Is 10 greater than r?
True
Let k(m) = m**3 - 6*m**2 + 2*m - 9. Let b be k(6). Let c(w) = 4 - b*w + 3*w + w**3 - w - 3*w**2. Le