(0 - 1). Let i = f - l. Is i at most as big as -8?
True
Let a = 417085/3 + -5404606/39. Let t = 449 - a. Is 1 at most t?
False
Let p = -1867/14151 - -5/267. Are p and 1 equal?
False
Let q = 329/4 - 84. Is 0.1 < q?
False
Suppose -4398 = -81*k + 462. Is k bigger than 299/5?
True
Let x(k) be the first derivative of -k**5/60 + k**4/6 - 2*k**3/3 + 5*k**2/2 + 2. Let f(p) be the second derivative of x(p). Let s be f(3). Is s less than -5/6?
True
Let h be (-2)/4*(2 + -8). Suppose 0 = -4*i - 5*f - 112, -i - 28 = -2*f + h*f. Let q be (2 - 2) + 8/i. Which is greater: 0 or q?
0
Let c(w) = 2*w**2 + 4*w - 26. Let g be c(-7). Suppose 12 = -4*s - g. Is s at most -11?
True
Let k = -32 + 55. Is 2 greater than k?
False
Let q = 0.01107 + 0.98893. Let l(y) = -y**2 + 7*y - 7. Let v be l(5). Let t be -2 + v/((-60)/(-46)). Is t equal to q?
False
Let p = -35 - -117. Which is bigger: 80 or p?
p
Let c = 1 - 1. Let l = 33 - 11. Let j = 21 - l. Which is greater: j or c?
c
Let c(d) = -6*d**2 + 83*d + 21. Let t be c(11). Is 208 at most t?
True
Suppose -3*x + 5*x = 3*a + 20, -4*x + 2*a + 40 = 0. Let q be (x/4)/(55/10). Does -1 = q?
False
Let k(n) = 23*n**2 + n - 2. Suppose 4*x - 6 = 4*o - 5*o, -5*x + 4*o - 3 = 0. Let b be k(x). Suppose 4*u - 2*u - b = 0. Which is bigger: u or 9?
u
Let c(l) = -l**3 + 17*l**2 + 18*l + 7. Let x be c(18). Suppose -x + 2 = -3*t + 4*q, 2*t - q = 0. Are 1/167 and t nonequal?
True
Suppose -46 - 22 = 4*i - 3*a, -4*a + 16 = 0. Suppose -5*w - 2*c - 73 = 0, 3*c - 30 = 3*w - 3. Which is smaller: i or w?
i
Let w be 2/3*(-9)/6. Let b be (9/(-30))/(102/5). Which is greater: w or b?
b
Let d = 3/38 + 43/57. Suppose -2*u = -5*a - 1, 0 = a - 2*u - 0*u + 5. Does a = d?
False
Let u(w) = -161*w. Let t be u(0). Let o be 141/150 - (-1)/(-1). Are o and t nonequal?
True
Let n(d) = 7*d**3 + d**2 - 13*d + 12. Let l be n(1). Which is greater: l or 34/5?
l
Let t = 1716 + -1981. Which is greater: -0.2 or t?
-0.2
Let l(s) = -s**3 - s**2 - 2*s + 2. Suppose 0 = -p - 1 - 1. Let h be l(p). Does 11 = h?
False
Suppose 2*r + l + 21 = 22, -4*r + 3*l = 3. Are 16/59 and r equal?
False
Let p be (-2)/(-11) - (-45612)/(-396). Is -113 at least p?
True
Suppose -5*x + 20 = 5. Suppose 0 = x*b - 0*b. Let p be 6/1 - (-107)/(-18). Which is greater: p or b?
p
Suppose 3*z + 18*h - 5801 = 13*h, -5*h = -5*z + 9735. Is 1941 not equal to z?
True
Let u = -61 - -78. Let c be 78/(-14) - (-3)/(-7). Let z be u/12 + 4/c. Which is smaller: z or 0.1?
0.1
Suppose -2*n + 3*n + t - 2 = 0, -5*t - 2 = n. Suppose -2*i + v - 2*v + 11 = 0, n*v = 3*i - 3. Suppose -q - 1 = 0, -5*q - 61 = -0*s + i*s. Is s > -13?
False
Suppose 4*i - 3 - 5 = 0. Let g be 22 + (1 - (3 - i)). Suppose -5*d + g = -3. Is d less than 6?
True
Let z = 16.62 - -0.38. Let d be -10 + 3*(-39)/(-13). Is d less than z?
True
Let t = -3 - -5. Let z = -23 + 23. Let o be z + 7 + -4 + -1 + -1. Which is smaller: t or o?
o
Let a = 659669/80 + -8246. Is 0 at most as big as a?
False
Let q(m) = -4*m**2 - 3*m + 11. Let n be q(4). Are n and -65 equal?
True
Suppose 3 = -l, x - l = l + 8. Let h(n) = 11*n - 5*n + 2 - 3*n**2 + 4*n**x + n**2. Let q be h(-5). Which is smaller: q or 23?
q
Let w be 9/(-30)*(-16)/(-18). Let d = 16 + -11. Let c be (d + -5)*1/(-3). Which is bigger: w or c?
c
Let t = -71 - -129. Let p = 58.1 - t. Does p = 1.4?
False
Suppose -3*n + 5*d + 13 = d, -4*d - 16 = 0. Let k be -6 - (1680/(-287) + 0). Which is smaller: k or n?
n
Let s = 6 + -2.5. Let k = -3 + s. Is k less than or equal to 0?
False
Let o = 1.06 - 0.06. Let x(k) = k**3 + 16*k**2 + 12*k - 1. Let y be x(-15). Is o > y?
False
Suppose -2*y - 2 = -0*y. Let r be 3 + (-4)/82*62. Which is bigger: y or r?
r
Let z = -10 - -23/2. Does -6 = z?
False
Suppose -3*g + j = -2, -3*g - 4*j - 7 - 16 = 0. Let h be ((12/170)/((-21)/(-70)))/3. Which is smaller: h or g?
g
Suppose -2 = -9*k + 34. Let n be (2/k)/(8/16). Which is smaller: n or 2/5?
2/5
Suppose -14*w = -2*w + 456. Which is bigger: w or -37?
-37
Let t be -1 + (-179)/(-2) - 0. Let a = t + -96. Let s be ((-14)/6)/(2/6). Is s >= a?
True
Let k be 99*((-2)/(-5))/(186/155). Let d(b) = -30*b**2. Let p be d(1). Let f = p + k. Is -1 <= f?
True
Let k = 1551 - 973. Let x be k/(-153) + 2/(-9). Let r be x - (-4 + (-2 - -4)). Which is greater: -3 or r?
r
Let i be 1 + -149 + (1 - 0). Let o be 2/(-6) + (-91)/i. Are 0.2 and o non-equal?
True
Let p = 2.548 + -2.82. Let s = -1.272 - p. Suppose 0 = -0*x + 2*x + 6. Is s > x?
True
Let o = 32 - 30. Suppose -8*b - o = -10*b. Does 2/17 = b?
False
Let d(p) = -p**3 - 4*p**2 - 3*p - 5. Let b be d(-4). Let z(w) = w**3 - w**2 + 2*w. Let t be z(2). Let g = b - t. Which is bigger: -1/9 or g?
-1/9
Let l = -104 + 103. Is -8/35 <= l?
False
Let u = -66 + 64.2. Let m = 4.8 + u. Is m <= 0.06?
False
Let i = 49.046 + -49. Let x = -34.954 - i. Is 0.1 < x?
False
Let n = 377/561 + -1/187. Which is smaller: 2 or n?
n
Let n be 0 - ((-2)/(-2) + -344). Let j be (5 - 9) + (-9829)/29. Let h = j + n. Which is smaller: 1 or h?
h
Let j be (0 + 0)/((-3)/3). Let f be 2 - j*(-2)/(-8). Let o(t) = t + 2. Let i be o(f). Is 5 >= i?
True
Suppose 0 = -3*o - o - 3*o. Which is bigger: o or -606?
o
Suppose 73*a = 94*a + 18249. Is -869 <= a?
True
Let s = 0.15 - 0.12. Let x = s + 0.77. Suppose 11*z + 1 = 10*z. Is z at most x?
True
Suppose -3*d + 2 = -13. Let m(n) = 6 - n**3 + n**2 - 3*n**2 - d. Let b be m(-2). Which is smaller: b or 0?
0
Let v = 0.027 - 6.327. Let r = v - -8. Let u = -1.8 + r. Is u at least as big as -0.1?
True
Let h = 52.23 - 52. Let y = 0.04 - h. Which is smaller: -0.2 or y?
-0.2
Let k = 1688 + -2021. Do 1 and k have different values?
True
Let a be (-52 + 50)/((-2)/5). Which is smaller: a or 29/5?
a
Let m(a) = -7*a + 16. Let h be m(3). Let w be (1*(h + 3)/(-2))/(-1). Let l be 0 + 0 + 8/(-9). Which is smaller: w or l?
w
Let k be (12/36)/(3380/(-18)). Let x = 2439/54080 - k. Is 1 > x?
True
Let g = 1206 + -377479/313. Is g at most 1?
True
Let z = 198 + -96. Let m be (3 + (-786)/z)/2. Which is smaller: m or -2?
m
Let h = 29 - 45. Let j = h + 18. Let u = 4 - 3.8. Which is smaller: u or j?
u
Let m = 0.7 + -1. Let u = 8.6 - 12.3. Let x = u + m. Which is smaller: x or 1?
x
Let a = 2/391 - -728/10557. Let g = 2 - -1. Suppose -n = g*q + 10, -4*n - 3*q - 5 = 8. Which is bigger: a or n?
a
Let a = 133 + -67. Let x = a + -67. Are x and -1/133 nonequal?
True
Let x = 4.6 + -4.9. Let g be 3/(-2) - (-3687)/594. Let t = g - 44/9. Which is greater: t or x?
t
Let w = 0 + 8. Let h(s) = 3*s + 9 + s**3 - 3*s. Let l be h(0). Is l <= w?
False
Suppose -30*h + 1980 = -10*h. Is h < 98?
False
Suppose -o + 21 = 5*m, 3*o + 4*m = -4 + 23. Let h be (1/(-3))/(o/(-3)). Let y(f) = -f + 15. Let a be y(14). Is a >= h?
True
Suppose -6 = 2*y - 4, a = -4*y - 3. Which is smaller: a or -1/245?
-1/245
Suppose 397*o - 100 = 387*o. Let j(c) = 2*c. Let d be j(1). Let u be -2*d*-2 - -1. Which is smaller: u or o?
u
Suppose -367*l = -148*l - 438. Let y = 2.97 - 3. Which is greater: y or l?
l
Let f be 2/(-8) + (-3619)/(-28). Let l be (f/(-63) + 2)*-1094. Let v = l + -52. Is -1 at most as big as v?
True
Suppose -12*q + 17*q = -30. Let n = -10 + q. Let f = 12 + n. Does f = -3?
False
Suppose 0*m + 36 = 5*y - 3*m, 4*y = 2*m + 28. Suppose -2 - y = 2*w. Let b be ((-24)/(-135))/w*5. Which is greater: b or 0?
0
Let o = 45.87 - -49.1. Let p = o + 0.03. Which is smaller: 0 or p?
0
Let r = 4.45 - 137.45. Is r bigger than -2?
False
Let k be (3 - (4 - 3))/((-4)/(-6)). Let p be -6 + (-6)/k*1. Suppose 2 = g + 9. Which is smaller: p or g?
p
Suppose 3*o + 117 - 318 = 0. Which is smaller: o or 68?
o
Let h(f) = f - 1. Let i(b) = -b + 4. Let n(l) = 4*h(l) + 2*i(l). Let a be n(6). Let y be ((-24)/a)/((-6)/16). Is 2 not equal to y?
True
Let c be (5/(-7) - 0)*72/(-2664). Which is greater: c or 0?
c
Let s(r) = -r**3 - 3*r**2 - 2*r. Suppose -4*n = 4*q - 28, 2*n - 29 = -0*q + 3*q. Suppose 2*a - 1 = 7, -2*l + n = 4*a. Let u be s(l). Is -0.1 <= u?
True
Let b = -456 - -4097/9. Let f(q) = -q**3 + 4*q**2 - 2*q - 3. Let j be f(3). Which is smaller: b or j?
b
Let a(o) = 22*o - 93. Let s be a(-19). Which is smaller: s or -508?
s
Let n be 12/8*(14/3 + -2). Suppose b + 3*l = n*l - 33, -5*b = -l + 181. Are -36 and b unequal?
True
Suppose -4*p - 80 = 112. Let s be 5/3 + 584/p. Which is smaller: s or -12?
-12
Suppose 3*g = -t + 