least as big as -1/5?
False
Let r = -18 + 16. Is r < 2/7?
True
Let f = 0.8 + -1.1. Let a = 1787/8 + -223. Let k = a - -1/8. Is k smaller than f?
False
Suppose -7*a = -6*a - 8. Are 6 and a non-equal?
True
Let r = -10.9 - 6.5. Let o = r + 17. Is o less than or equal to -1?
False
Let p be ((-24)/(-48))/(2/132). Is p less than or equal to 33?
True
Let b = 31.3 - 30. Let s(h) = -3*h - 5. Let c be s(-2). Which is smaller: c or b?
c
Suppose -4*t - 30 = -0*q + 2*q, 45 = -4*t - 5*q. Which is smaller: -6 or t?
-6
Suppose -4*j = -2*j. Let x be (-21)/(-7) + (j - -1). Is x bigger than 5?
False
Let w = -0.55 - -0.05. Let g = w + 0.4. Let v = 0.1 - g. Which is smaller: -1/3 or v?
-1/3
Let u be (4 - 2 - 2) + 4. Suppose 0 = i - u*y + 11 + 1, -i - y = -8. Let p(n) = 2*n - 5. Let f be p(5). Which is smaller: f or i?
i
Let n be 18/(-27) - (-52)/42. Is n > 2?
False
Let t = 1 + -0.1. Let y = 0.1 + 0. Let b = t + y. Are -3 and b unequal?
True
Suppose -k - 5 = -2*k. Suppose 0 = k*b - 9 - 1. Suppose -3*q = -b*q + 6. Is -6 > q?
False
Let j(p) = -7*p - 59. Let f be j(-8). Which is smaller: 1 or f?
f
Let l = 25 - 28. Is -2 > l?
True
Let d = 10 + -6. Let x be 6/1*d/(-6). Let n be 3 + -5 + -3 - 0. Which is bigger: x or n?
x
Suppose 9*z - 6*z - 3 = 0. Suppose 0 = -m - f - 1, 2*m + 0*f = -3*f - 1. Let l be m/(-9) + (-8)/(-18). Is z <= l?
False
Suppose -3*b = -5*s - 4*b + 12, -2*b = -2*s. Let m be 1/2 - 0/2. Which is greater: s or m?
s
Let i = -1/3245 + -6293/639265. Which is smaller: 1 or i?
i
Suppose -2*p = 6, x + p = -x + 39. Let w be (-154)/x - (-2)/(-3). Is -8 less than w?
False
Let f = 4 + -0.3. Let s = 0.3 + f. Let n = -4.2 + s. Is n smaller than 1/3?
True
Let w = -5 + 17. Let m = w + -13. Is -4 equal to m?
False
Let d = 5.32 + -0.32. Which is smaller: -2 or d?
-2
Let f = -131 + 185. Is f < 52?
False
Let o be (-10)/(-35) - 44/7. Let p be 42/15 + o/2. Which is smaller: p or 0?
p
Let m = 0.12 + -11.12. Which is smaller: 3/8 or m?
m
Let v(n) = -8*n + 57. Let w be v(7). Which is greater: 0 or w?
w
Let z = -1951/34 - -115/2. Let n = -16 + 15. Which is smaller: n or z?
n
Suppose 0 = 7*h - 5*h - 4. Suppose -4 = -h*w + 6*w. Is w smaller than -2?
False
Let q be (-1)/(-3) - 94/(-42). Let w = q + -97/35. Do 2/7 and w have the same value?
False
Let j = 13 + -6. Let q(h) = 9*h - 4. Let g(u) = 8*u - 3. Let c(i) = j*g(i) - 6*q(i). Let p be c(3). Is 9 < p?
False
Let b = -699 - -42638/61. Is b less than 0?
True
Let h(g) = -g - 1. Let t be h(-8). Suppose -4*k - t = 1. Let r = 1 - 3. Is r at least as big as k?
True
Let u be 0 + (0/1 - 2). Suppose -9*r = 34*r + 43. Is u equal to r?
False
Let o be (-6)/21 + (-72)/(-105). Which is bigger: o or 6?
6
Let l = 23 - 20. Suppose l*f = 4*f + 4. Is f at least as big as 2/3?
False
Let a = -22 - -22. Let p = 4 + -6. Which is bigger: p or a?
a
Let t(z) = 7*z + 1. Let l be t(2). Let g(a) = 6*a**3 + 2*a**2 - 4*a + 3. Let x be g(2). Let k be (-6)/15 + x/l. Are k and 3 equal?
True
Let v be 130/30 - (-4 + 1). Suppose 0 = 2*p - 6 - 10. Let l = v - p. Is 0.4 <= l?
False
Let o be 19 + 9/3 + -2. Is 21 greater than o?
True
Let v(y) be the second derivative of -y**5/20 + 5*y**4/6 - 7*y**3/6 - 4*y**2 - 5*y. Let x be v(9). Which is bigger: x or 11?
11
Suppose -22 = 2*g - x, 2*g = g - 2*x - 16. Let h be ((-16)/78)/(g/230). Let s = h - 54/13. Do s and -1 have the same value?
False
Let r = 32 + -26. Let z be (0 - 4/(-6))*9. Is z <= r?
True
Let b = -1.4 + 1.1. Is 2/3 smaller than b?
False
Suppose -5*p - 7 = -3*t + t, 2*p = -4*t - 22. Let s be (-3 + 2)*1 - p. Suppose -j = s*j. Which is smaller: 1/5 or j?
j
Let u = 0.937 - -0.063. Which is greater: u or 33?
33
Let i = -92 + 92.3. Is -0.13 <= i?
True
Suppose 2*t - 85 = -103. Which is smaller: -19/2 or t?
-19/2
Let l = 0.01 + 0.03. Let x = l + 0.02. Which is greater: 1 or x?
1
Let k be (-2)/(-6)*-3*1. Let j be ((-6)/(-3))/((-8)/20). Let w be j + 4 + 0/k. Do w and -1/13 have the same value?
False
Let b(z) = z - 2. Suppose 0 = g - 3. Suppose -g = l - 5. Let v be b(l). Is v at least as big as -0.2?
True
Let p = 25 - 26.9. Is -0.1 bigger than p?
True
Let y(h) = -h**2 + 10*h + 1. Let t = 25 - 15. Let f be y(t). Which is smaller: f or -1/13?
-1/13
Let b = -6917/38 - -182. Which is smaller: 0 or b?
b
Let x = 1524 - 2298. Let m = 6974/9 + x. Is m less than or equal to 2?
True
Let z = 0.008 - -0.192. Are 4 and z equal?
False
Let k(y) = -y**2 - 7*y - 6. Let l = -21 - -16. Let v be k(l). Which is smaller: v or 3?
3
Let u = 3 + -2.91. Let w = u - 0.09. Let k = w - -2. Is 0.1 greater than or equal to k?
False
Let f = -2/2393 + -397224/16751. Let k = 24 + f. Is 1 smaller than k?
False
Let n = 7.2 - 7. Which is smaller: n or 2?
n
Let j = -4/111 + 587/888. Let h(d) = d**3 + 3*d**2 + 4*d + 4. Let y be h(-2). Which is smaller: y or j?
y
Let i be -1*(12/14)/6. Let q = 9 - 9. Is q > i?
True
Suppose -5*g = -2*u + 9, 5*u - g - g - 33 = 0. Let x be (2 - 3)/(u - 3). Is 4 less than x?
False
Let m = -0.11 + -3.89. Let z = m + 4.2. Which is greater: z or 0?
z
Let c = 22 + -219. Let w = -1381/7 - c. Which is bigger: 0 or w?
0
Let u = 39/49 + -10015/147. Let z = u + 68. Let n = 0 - -1. Which is bigger: z or n?
n
Let i be 4/(-10) + (-65)/25. Let h = 7 + i. Let w = 3 - h. Is w greater than -3/2?
True
Let g be 34*((-3)/(-6) + 0). Suppose g = -0*h - 2*h + 5*t, -2*h - 5 = -t. Which is smaller: -1/29 or h?
h
Suppose 4*h - 3*h = 2. Let s be h/(-1) + 1 + 0. Is -1 smaller than s?
False
Let w be ((-48)/(-20) + -2)*4/(-24). Is w < -1?
False
Let z(s) = -s**3 - 5*s**2 - 6*s - 4. Let k be z(-4). Let x = k - 9. Is -6 less than x?
True
Let x = -825/7 - -7537/63. Which is bigger: 3 or x?
3
Let w = -91 + 68. Which is smaller: -22 or w?
w
Let k = 9 - 37/4. Which is greater: k or -12?
k
Let d(x) = 2*x + 1. Let r be d(-2). Is -4 equal to r?
False
Let q be 12/32*-2 - 0. Which is bigger: -1 or q?
q
Let t(n) = -n**2 - n + 5. Let z be t(0). Suppose z*m + 3*i - 13 = 0, -2*m + 0*i + 2*i = -2. Suppose 4*s = 2*l + 24, -2*l + s - 19 = -m*s. Is l smaller than 0?
True
Let t(i) = 6*i. Let l be t(1). Let r(a) = 2*a**2 + 8*a + 2. Let n be r(l). Let m = n + -1096/9. Is m less than or equal to 1?
True
Let o be (0 - 1)/(1/4). Let r(w) = -3*w**3 + 2*w**3 - w**2 + 2*w**2 - 3*w**2 - 1 + 2*w. Let y be r(-2). Is y equal to o?
False
Suppose 0 = -5*z - 2*l + 60, -3*z + 2*z - 2*l + 4 = 0. Let q be (-11 + z)/(0 + 3). Which is smaller: q or -2/15?
-2/15
Let o = -0.05 - -0.09. Let d = -0.1 + -0.34. Let y = o + d. Which is greater: 0.1 or y?
0.1
Let g = 118352/47 - 2518. Is g less than or equal to 0?
False
Let v be (-1)/8 + (-672)/(-1280). Which is greater: v or -1/2?
v
Suppose -5*b = -4*b + 15. Is -16 less than b?
True
Let i be ((-3)/((-3)/(-4)))/(-2). Let y be 3 - (i - (2 - 0)). Let d be (y - 2) + 1/1. Is d <= 2?
True
Let f be (-8 + 5)/((-3)/(-4)). Let t be 1/(-1 - 1 - -3). Let m be (-4 + 3/3)*t. Is f != m?
True
Let o(l) = -l**2 + 7*l. Let s be o(7). Is -1 greater than s?
False
Suppose -2*k - 2*n - 1 - 7 = 0, 0 = 3*n + 12. Suppose k = 5*i + 10, -2*i - i = -5*c + 11. Is c > 3?
False
Let s be 6/(-24) + 3/(-4). Which is smaller: s or 1/5?
s
Let f be 2*(-8)/6*3. Let m be f/(-28) + (-5)/(-7). Is 1 smaller than m?
False
Let p = 0.2 + -0.2. Let h = p - 4. Let l = h + 4.02. Is l greater than or equal to -1/4?
True
Let c be 0 - ((-1)/1 + -1). Suppose 2*p - c + 1 = -3*f, -5*f = -p - 19. Suppose 14 = 5*i - 2*o, 5*i - 3*i - 3*o = 10. Is i < f?
True
Let z be (600/245)/((-79)/(-7)). Let s = z + 43172/553. Let g = -78 + s. Which is bigger: g or 1?
1
Let o(c) be the third derivative of c**6/60 - c**5/20 + c**4/12 - c**3/2 - 4*c**2. Let a be o(2). Let w be 7/a*(-12)/14. Which is smaller: -1 or w?
w
Let u = 19 + -15. Let v be 5/u*(-27)/90. Which is smaller: v or 1?
v
Let f = -28 - -42. Let d be ((-2)/(-6))/(f/(-3)). Which is smaller: d or 0?
d
Let k = -0.02 - -4.02. Let y = k + -3.6. Which is smaller: 1 or y?
y
Let j = -550 + 1346. Suppose -5*h = -j - 144. Let x = h + -943/5. Which is smaller: x or -1?
-1
Suppose -4*g - 8 = -6*g. Suppose -4*y = 4*l, -2*l - 4*y = g - 0. Let n be l/(-8) - 5/(-36). Which is greater: n or 0?
0
Let f = -4 + 4. Let r = f + -0.4. Let w = r - 1.6. Is -1 not equal to w?
True
Let r be 2/7 + 378808/14. Let a be r/210 + (-6)/(-21). Let h = 129 - a. Which is smaller: 0 or h?
h
Let y be (1/