an -8?
True
Let r be (-10)/(-4)*72/(-45). Let k be (2 - 8) + r + 2. Is -9 equal to k?
False
Let j = 42 + -25. Let z = 3 + j. Let l be (-4)/z + 2/4. Is 1 equal to l?
False
Let w(o) = 25*o**2 - o + 2. Let s be w(3). Let q = s + -1789/8. Let r = -26 + 25. Is q >= r?
True
Suppose 4*j - 6 - 2 = 2*l, -3*l - j = 33. Let p be -3*l/3*-1. Which is bigger: p or -9?
-9
Suppose -3*s = -4*b - 1243, -2*s - 928 = 17*b - 14*b. Is b less than -310?
False
Let k(w) = -49*w**3 + 2*w**2 - 2*w + 1. Let v be k(1). Let u be 1 + -1 + v/(-120). Which is smaller: u or 1/2?
u
Suppose 3*u = -3*p + 1 + 5, -4*p + 13 = -u. Is u at least as big as -309?
True
Let g(w) be the second derivative of -5*w**4/3 + 5*w**3/6 - 3*w**2 + 18*w. Let f be g(2). Is -76 not equal to f?
False
Let l = 26/5937 - 32000/8210871. Is 1 != l?
True
Let r(t) = t**3 + 9*t**2 - 8*t + 22. Let a be r(-10). Let s(k) = k**3 - 4*k + 1. Let i be s(a). Let x = -253 - -2021/8. Which is smaller: i or x?
x
Let z = 14 + -9. Let h = -41 + 42. Which is bigger: h or z?
z
Suppose 3*l - 6*l = -159. Suppose -4*n + 3*j = -0*j + 141, -2*n = -5*j + l. Is -40 bigger than n?
False
Let d(f) = f**3 + 42*f**2 + 27*f - 85. Let k be d(-41). Is k at most as big as 489?
True
Let s = 89/780 + -2/65. Is -2 < s?
True
Suppose -4*p + 2*f = 17 + 19, -f = -p - 8. Let d = p + 14. Suppose -u - 2 = -d. Is 2 not equal to u?
False
Let h be -4 + 7 - (-228)/4. Let y = 239/4 - h. Which is greater: y or -19/4?
y
Let f(q) = -q**3 - 5*q**2 + q + 5. Let j be f(-5). Let m = 6/65141 - 118296122/716551. Let v = -165 - m. Which is smaller: v or j?
j
Let t be ((-18)/(-12))/((-6)/(-200)). Let v = t - 68. Is v > -18?
False
Let d be (-4)/(-4)*(-9 - 0). Let g = 0.2 + -24.2. Let j = g - -23. Are j and d equal?
False
Let g(q) = -q**2 - 103*q + 655. Let k be g(6). Let c = 1 - 1.05. Does k = c?
False
Let u(k) = 3*k + 24. Let r be u(-6). Let s = 4 + -3.4. Let g = s - 1.6. Which is smaller: g or r?
g
Let g = -167 + 171. Let w be -3 - (g - 36/6). Let z be 300/903 + (-2)/7. Which is smaller: w or z?
w
Let p = -2.0549 - -0.0549. Which is bigger: 10/9 or p?
10/9
Let j = -1 - -2. Let p be 2330/(-18) + (-14)/21. Let h = p - -130. Which is smaller: h or j?
h
Let i(b) = -b. Let j(r) = -r**3 - 3*r**2 + 3*r - 9. Let z be j(-4). Let s be i(z). Does 4 = s?
False
Let w be (-212)/318 - (0 - (-10)/(-6)). Is w less than or equal to -4/59?
False
Let x be -5*(108/(-15))/(-6). Let d be (0 + 24/4)*(-3)/x. Suppose -5*q = -0 - 5. Are d and q equal?
False
Let j = -111 + 116. Suppose -4*p = 5*d - 11, 2*d + 3 = -p + j. Is -1/29 greater than d?
True
Let l be ((-9)/(36/56))/2. Are l and -7 non-equal?
False
Let h be 9/(-12) + (-8950)/(-9000). Does -1 = h?
False
Let a = 1617.9 - 1452. Let k = -156 + a. Let d = -11 + k. Is 0 greater than or equal to d?
True
Let w be (-12)/(-2)*(-984)/(-36). Let x = w + -2297/14. Which is bigger: 1/5 or x?
1/5
Let l(i) = 5*i**2 + 115*i + 33. Let f be l(-23). Which is greater: f or 63/2?
f
Let p = -3.88 + 4.28. Let r = -0.4 - -0.1. Which is greater: r or p?
p
Suppose -38 = o + 9. Is o bigger than -0.1?
False
Let l be ((-6)/(-2) - 0) + 0. Let b = -10117/5 + 2023. Which is smaller: l or b?
b
Let m = -328 - -341.1. Let f = m + -13. Let x = -0.04 + 2.04. Which is smaller: f or x?
f
Let y = -0.3 + 11.3. Let m = y - 7. Let s = m + 0. Which is greater: s or 1/4?
s
Suppose -3 = 2*w - 9. Suppose 5*n + 3 = -4*z, -n - w*z - 3 = -z. Let a = 446/55 + -76/11. Do n and a have different values?
True
Let b be 5*((3 - 0) + -6). Let r be b/21 - (-8)/(-28). Let q = r + -6. Which is bigger: q or 0.1?
0.1
Suppose -1 + 4 = 3*w. Let r be w/4 - (-5)/(-4). Is -3 > r?
False
Let f = -386.4 - -386. Is f <= -42?
False
Let l be (-188)/(-264) + (-4)/6. Suppose -2*j + 0 = -6. Suppose g = -j*g. Is l at least g?
True
Let y = -0.3 + 0.8. Let h = 8.167 - 0.167. Which is greater: y or h?
h
Let v(f) = -f**3 + 14*f**2 + f - 10. Let j be v(14). Suppose -60 = -j*r - 0*r. Let p = r - 12. Is -4 >= p?
False
Let m be 2/7 + ((-170)/(-140) - -2). Suppose -3*d - 2*n + 8 = d, 2*n = -4. Which is smaller: m or d?
d
Let l = -198.399 + -0.601. Which is bigger: l or -0.2?
-0.2
Suppose -d = 2*a - 8 + 1, 5*d + a = 35. Let g = 156.2 - 156. Is g at most d?
True
Let h = -62932 - -5537933/88. Let y = -53/11 - h. Which is greater: -4 or y?
y
Let h be (-36)/24*(1 - 14/6). Which is smaller: -6 or h?
-6
Let n = 3936 - 350310/89. Which is greater: 0 or n?
0
Let q = -28/53 - -59/212. Is q at least 12?
False
Let v = 21 - 19. Let s be v/8*(-10 - -54). Which is bigger: 10 or s?
s
Let z(q) = -q + 214. Let o be z(15). Is o equal to 199?
True
Let a be ((-2)/3)/((-20)/6). Let j(g) = g**3 - 7*g**2 + g - 2. Let t be j(7). Suppose 5*h = -d + 4*d - 25, -2*d = t*h + 25. Is a greater than d?
True
Let h be 1 + 2 + -12 + -1. Let n be (1 - -1)/((-5)/h). Suppose n*z = 4 - 8. Which is bigger: -1/35 or z?
-1/35
Let l be (-1)/(8/12 - 3670/5496). Let h be 8/52 + l/(-39). Which is bigger: h or -22?
-22
Let u(p) = 4*p + 23. Let c be u(-3). Let q be 3 + 8 - (-5)/5. Which is greater: c or q?
q
Let g(p) = 4*p**2 - 82*p + 2. Let y be g(12). Is -404 at most y?
False
Suppose 3*y = 2*l + 6*y + 71, -69 = 3*l - 3*y. Let s = l - -28. Which is smaller: -9/10 or s?
-9/10
Let r be -15*(-8)/(-36)*-1. Let z = r + 5. Is 7 >= z?
False
Let m = 4 - 3.9. Let g = -1906.99 + 1919. Let x = g - 12. Is x bigger than m?
False
Let j = 28 + -34. Let i(g) = -g - 4. Let x be i(j). Which is greater: -1 or x?
x
Suppose -46*j = -40*j + 6. Is j > 17/35?
False
Suppose -2*u + 14 = 2*s, -3*s + 4*u + 2 = -s. Is 79/17 at most as big as s?
True
Let d(c) = -c**2 - 2*c + 75. Let m be d(10). Are -48 and m equal?
False
Let j be 667/(-1827) + (-11)/(-9) + -1. Let i = -1 - -6. Suppose 0 = -4*v - v - i. Are j and v nonequal?
True
Let r be 88784/11532 - (9 + -1). Which is greater: r or -1?
r
Let k be (0/4)/(2/(-1)). Suppose -55 = -5*g - 0*g. Let t(s) = s**2 - 9*s - 23. Let x be t(g). Which is bigger: x or k?
k
Suppose -39*x + 38*x = 5. Let g be 338/x - (-15)/25. Is g less than -67?
False
Let o = 105 - 117. Let m = -6.15 + 0.15. Let k = o - m. Which is smaller: -1 or k?
k
Let y(f) = -f + 5. Let k be y(4). Suppose -g + 1 = -k. Suppose s - 70 = 5*b - 4*s, g*b + 28 = -3*s. Which is greater: b or -13?
-13
Let o be 3 + (-4 - -1) + 2. Suppose -o*x + 4 = p, 3*x + x - 14 = p. Which is smaller: x or 4?
x
Let v = 5582393/1045 - 5342. Which is smaller: 0 or v?
0
Let y be 539/(-6) - (-1)/(-6). Let a be (-894)/(-7) + 4/14. Let j be 4/18 + a/y. Which is greater: 0 or j?
0
Suppose -15 = -3*a, 4*f - 3*a + 13 - 10 = 0. Which is bigger: 2 or f?
f
Let i = 178 - 177.21. Let v = i - 0.69. Which is smaller: v or 8?
v
Suppose -2*k - 62 = -3*g, k + 60 - 17 = 2*g. Let t be 3/12 - g/(-32). Which is bigger: t or -7?
t
Let m(x) = 3*x - 2. Let s be m(1). Let j(c) = -c - 5. Let z = 0 - 6. Let t be j(z). Are t and s unequal?
False
Let b = 75/158 + 2/79. Let o(i) = i**3 + 8*i**2 + 3*i - 6. Let h be o(-7). Let k = h - 20. Which is greater: b or k?
k
Let g(m) = 2*m**2 - m - 2. Let w be g(-2). Suppose f - 5 = 3*p + 31, 0 = -p + 5*f + 2. Let d = w + p. Is d less than -3?
True
Let k = -2/3059 + 3169/168245. Let w be ((-1)/7*-4)/(-2). Which is greater: k or w?
k
Let y = 2.803 - 3.803. Let d = 3.949 + -4. Which is smaller: d or y?
y
Let p be (108/10)/(13/((-325)/10)). Is -29 at least p?
False
Let a = -6.8 - -7. Let g = 10 + 0. Let x = g + -9.2. Which is greater: a or x?
x
Let h(o) = 3*o - 4. Let q be h(-4). Let v = q - -2. Let b be (v + 17)*2/12. Which is greater: b or 14?
14
Let l = 41 - 28. Is 12 greater than l?
False
Let j be (-2)/122*583 + 9. Which is smaller: j or 0?
j
Suppose 55 = -5*m - 2*m + 153. Let c = 7 + 2. Is c < m?
True
Let n = 177/11 + -1703/99. Let q = 8 - 6. Suppose k - q*k = 1. Which is smaller: k or n?
n
Let p = -12138/13 + 936. Let d be 4 - (-2)/(3/(-3)). Which is greater: p or d?
p
Let r = 22.051 + -0.051. Let q = r - 22. Which is smaller: -0.4 or q?
-0.4
Let m = -20788162882/768861429 + -2/5780913. Let l = m + 190/7. Is 1 greater than l?
True
Suppose p - 581 - 376 = 0. Let r be (-2)/11 - 272604/p. Let u = r + 285. Which is greater: u or -1?
u
Let x = -5.953 + -0.047. Let v = x + 5. Are 0.7 and v equal?
False
Suppose 5*c - 5758 + 5848 = 0. Let k = -8 + -10. Is k smaller than c?
False
Let x = -12.78 - -15. Let l = 