 6 - h. Which is bigger: v or -3/2?
-3/2
Let u be 4*-1 + 100/28. Is u < 0?
True
Let c(b) = b**3 - 3*b**2 + 2*b + 2. Let q = -5 - -4. Let l(x) = -3*x - 1. Let u be l(q). Let h be c(u). Which is bigger: 4/7 or h?
h
Let q = 8.5 + -3.6. Let b = -5 + q. Which is greater: b or -1?
b
Let w = -0.5 + 0. Let u = -0.2 + 0.2. Is w > u?
False
Let j = 19 - 19. Let y = -0.1 - -1.1. Let o = j - y. Which is bigger: -2/5 or o?
-2/5
Let p = -5 - -9. Suppose -2*u + 17 = 5*h, 0 = -4*h + 4*u - 2*u + 10. Suppose -2*w + 3 = -3, -p*d - 9 = -h*w. Do 0 and d have the same value?
True
Let h = 8 + -7.6. Let i = h - -0.6. Let o = -0.2 + -1.8. Which is greater: i or o?
i
Let l be (7412/84 - -4) + -3. Let n be 42/(-15)*190/6. Let k = n + l. Is 1 >= k?
True
Let v = -84.031 + 84. Is v > -2?
True
Let g = 9176/115 - -313/23. Let i = g - 94. Let u = -6 + 4. Is u at least i?
False
Let p(t) = t**3 + 7*t**2 - 6*t + 9. Let c be p(-8). Let l = c - -7. Let b be (-1)/((-27)/(-6)) - l. Which is smaller: -1 or b?
-1
Let u = -1 + -1. Let t = 0 + u. Are t and -4/5 equal?
False
Suppose -13 + 1 = -6*v. Let j be 80/105*6/4. Which is bigger: v or j?
v
Let q be (2 - (-4)/(-2))/1. Let o = 2.16 - 2.26. Which is smaller: o or q?
o
Let r = 7/2 + -3. Which is greater: -1.5 or r?
r
Let x(a) = a + 4. Suppose -8*m = -4*m + 16. Let h be x(m). Let u = 233/3 + -77. Which is smaller: u or h?
h
Let y = -5 - -5. Is y >= -3?
True
Let k(o) = o**3 + 3*o**2 + o. Suppose 0*j - j = 0. Let b be 3 + -5 - (0 + j). Let n be k(b). Which is smaller: n or 0?
0
Suppose 5*h + 799 - 264 = 0. Are h and -106 non-equal?
True
Suppose 0 = 4*u - 8 - 4. Suppose -9 = u*q, 0*c - 3*c - 4*q = -339. Let b = -587/5 + c. Which is smaller: 1/4 or b?
b
Let g = 48 - 93/2. Suppose s = -1 + 5. Let b be (s - 1)*(-4)/(-6). Which is smaller: b or g?
g
Let m = -1.35 + 1.2. Let w = 0.15 + m. Is w != 0?
False
Let f be 11/60 - 10/40. Is 0 less than or equal to f?
False
Let s(f) be the first derivative of -f**3/3 - 7*f**2/2 + 11*f - 3. Let p be s(-8). Is p at most 2?
False
Let r = -439/9 - -49. Is -0.1 <= r?
True
Let m = -61 - -311. Let f = 1997/8 - m. Which is smaller: 1 or f?
f
Suppose q - 1 = 3*x - 0, -2*x - 12 = 5*q. Suppose -5*d + 0*d = 30. Let k be 1/d*4/3. Is x greater than k?
False
Let i be 1/(-2) + (-7)/(-2). Let j be 1 - i - (-2 - -1). Let k be ((-1)/2)/j*-6. Which is bigger: -2 or k?
-2
Let b = 11 + -6. Suppose 2*u + 0*u - 14 = 0. Suppose -b*z - 2 + u = 0. Which is smaller: 0.1 or z?
0.1
Suppose -3*x + 3*a + 4 = 10, 5*a = 2*x + 19. Let i be (8/12)/((-2)/x). Let c = 1.2 + -6.2. Which is smaller: i or c?
c
Let r(n) = -n**3 - 6*n**2 - 4*n + 4. Suppose 5*p = -2*y - 35, 0 = -4*p - y + 2*y - 15. Let c be r(p). Let b be -1 + -1 + 0/c. Which is smaller: 0 or b?
b
Let l(y) = -y**2 - 9*y. Let s(v) = -v**2 - 10*v + 1. Let b(f) = -5*l(f) + 4*s(f). Let g(h) = -h - 16. Let m be g(-11). Let x be b(m). Is 5 <= x?
False
Let x = -35 - -27.8. Let s = 7 + x. Which is smaller: s or -0.1?
s
Suppose 0 = t - 4. Which is bigger: t or 20/7?
t
Suppose 0 = g - 2*g + 3. Suppose 5*a - g*a = 2. Let b be (-119)/28 + 4 - (-25)/68. Is a equal to b?
False
Let h = 33 - 32.97. Is h at least -2?
True
Let i(q) be the third derivative of -q**4/24 + 2*q**2. Let m be i(2). Let w be 4/m*2/8. Which is smaller: 0.2 or w?
w
Let b = 1.2 - 1.2. Is b at most as big as 0?
True
Suppose 15 = 2*a - 4*c + 1, 2*a + 2 = -4*c. Suppose -a*j + 5 = 2*j. Which is greater: -1 or j?
j
Let y = -0.04 - -0.14. Let c = 2 - 2.5. Is y >= c?
True
Suppose 4*y - 10 = -0*n - n, -4*n - 2 = -5*y. Let u be (n/4)/((-4)/8). Which is smaller: u or -6/13?
u
Let k(j) = -j**3 - 3*j**2 + 1. Let o be k(-3). Is 4/5 at least as big as o?
False
Let n = -24 + 24.2. Let d = 1.8 + n. Are d and -1 non-equal?
True
Let r(k) = k**3 + 4*k**2 - 2*k + 14. Let l be r(-5). Which is bigger: -22/25 or l?
-22/25
Let x(h) = -61*h**2 + 4*h + 2. Let m be x(-1). Is -63 not equal to m?
False
Let c = 51981/35 - 1485. Is 1 at most c?
False
Let j = 55 + -25. Suppose 2*c - q + 2 = -c, 0 = 5*c + 5*q - j. Let x = -0.3 + -1.7. Is c greater than x?
True
Let o = -21 + 37. Are 1 and o equal?
False
Let f(b) = b - 1. Let j be f(3). Is 0 not equal to j?
True
Let p be 0 + -1 - (-4 + 1). Let r be p/4*(-3 - -2). Suppose -2*b = 5*v + 8, 6*v - 8*v + 5*b - 9 = 0. Which is greater: v or r?
r
Let i = 0 - -20. Suppose 4*a + 4*n = -i, 5*a + 20 = 2*n - 6*n. Which is smaller: a or -1/8?
-1/8
Suppose -3*x + 0*x = 3*c - 33, 3*x - 4*c - 12 = 0. Let t be x/(-20) + 32/5. Let s = t + -4. Which is smaller: 1 or s?
1
Let u = -1/703 - 101933/1406. Let d = -74 - u. Suppose -5*r = 5*h + 5, -2*h - 3*r = -7*h - 5. Is d equal to h?
False
Let w = 15 + -12. Suppose -10 = -0*k - k. Let d be 24/k - (-2)/(-5). Which is bigger: w or d?
w
Suppose -10*h = -3 + 3. Which is smaller: h or 1/15?
h
Let x = 38/7 + -5. Let s = -0.25 - -0.1. Let v = s + 0.05. Which is smaller: x or v?
v
Let d = 0.74 - 0.34. Which is bigger: 0 or d?
d
Let u = 6 - 9. Let l be (u - 0)/(6/(-4)). Are l and 1 non-equal?
True
Let j = 35.2 - 32. Let h = 3 - j. Which is smaller: h or 2?
h
Let g be (30/(-25)*1)/(117/30). Is 1 at least as big as g?
True
Suppose 0 = -12*d + 13*d + 2. Let s be 116/16 - d/(-8). Is s at most as big as 6?
False
Suppose 0 = 2*d - 4*g - 30, 2*d + 4 = -5*g + 7. Is d less than 6?
False
Suppose w - 2*w + 1 = 0. Which is bigger: -4 or w?
w
Let p = -4778/15 + 9073/15. Let n = p + -284. Let g = n - 2. Which is bigger: g or 0?
g
Suppose 0*r - r + 2 = 0. Suppose 2 + 0 = 5*z + 2*l, -3*z + r = 2*l. Which is smaller: -1 or z?
-1
Let h = 0.1 + -7.1. Let q = 8 + h. Is 1/3 at least as big as q?
False
Let f be (8/(-10))/(14 + -16). Is f at most -0.3?
False
Suppose 0 = -3*v + 5*u + 17 + 9, -4*v = -5*u - 28. Let h be (-2 - -1) + 0 + 6. Suppose h*y - y = 0. Which is bigger: v or y?
v
Let g = 1511 - 200965/133. Let x = -256/665 + g. Which is smaller: 1 or x?
x
Let n(h) be the third derivative of -1/6*h**3 + 0 - 1/12*h**4 + 0*h + h**2. Let s be n(-1). Is -1/4 greater than s?
False
Let m be 1 - ((-8)/6 + 1). Suppose -16 = -c - 15. Is c >= m?
False
Let c = -4009/11 - -365. Is c greater than 0?
True
Let v = -5 + 15. Let o be ((-8)/v)/(2/(-5)). Suppose 3*m = -3*m + 18. Which is bigger: m or o?
m
Let q = 2.06 - 0.06. Let m = q - 1.9. Let k be (6/(-4))/(4 - -2). Is m smaller than k?
False
Let a = 25/3 + -127/15. Let b = a + 53/60. Let i = -31 - -125/4. Is b at least i?
True
Let c = -561 + 2817/5. Is 1 at most c?
True
Let r = -160 + 105. Is r greater than -1/4?
False
Suppose q + 3*s = -2*s - 20, 4*s = -4*q - 32. Which is bigger: -28/5 or q?
q
Let p be (9/609 + (-3)/7)/(-2). Which is smaller: p or 0?
0
Suppose -5*m + g = -2 - 5, 0 = m + g - 5. Which is bigger: m or 5?
5
Let k be 1/((-1)/(2/(-7))). Let h = -0.042 + 0.042. Is h less than or equal to k?
True
Let h(k) = -k**3 + 5*k**2 - 2*k - 5. Let u be h(4). Suppose 5*g + 2 + u = 0. Is -8/5 bigger than g?
False
Suppose -6*h + 9 = 39. Are h and -4 unequal?
True
Let v(r) = -r**3 - r**2 - r - 1. Let y be v(0). Let z(u) = u - 51 + 51. Let f be z(y). Do -1 and f have the same value?
True
Let p = -2.658 + 0.058. Is p less than or equal to 2/7?
True
Suppose c = -5*i - 0*c - 10, -4*c - 8 = 4*i. Which is greater: -10 or i?
i
Let c(a) = -a**3 - 3*a**2 + 5*a + 6. Let i be c(-4). Suppose i = 2*b - 0. Let f = 3 + -2. Is b at least as big as f?
True
Let g = -3 - 0. Let a be ((2 - 8)/2)/g. Let j be a/(-2) + (-6)/(-4). Which is smaller: j or 1/2?
1/2
Let c = 0.06 + 9.94. Let m = -10 + c. Which is greater: m or -1?
m
Let u(b) = 2*b**3 - 3*b**2 + b. Let l be u(2). Which is bigger: -0.16 or l?
l
Let t = -3404/13 + 262. Let b(f) = 4*f - 33. Let n be b(8). Which is bigger: n or t?
t
Let l(y) = y - 2. Let c be l(-6). Let d be (c/(-18))/((-4)/12). Which is bigger: d or -2?
d
Let q be (-6)/(-7)*(-3)/9. Which is greater: -1 or q?
q
Let r = 5 - 2. Let a be (2/r)/(170/(-30)). Let d = -7 - -8. Which is smaller: d or a?
a
Let j(b) = -b**3 - 12*b**2. Let g(t) = t**2 + 8*t + 3. Let u be g(-5). Let r be j(u). Do r and -1/27 have different values?
True
Suppose -5*t = -0*t. Which is greater: 2/3 or t?
2/3
Let u = 11 + -8. Let g = 2.9 - u. Is g < 1/4?
True
Let n = 254179 + -82608276/325. Let y = -3/13 - n. Is y at least as big as 1?
False
Let s(l) = -l**3 - 8*l**2 - 6*l - 10. Let p be s(-7). Which is smaller: