 -2*y - 2 = -l*y. Which is greater: 1/4 or y?
1/4
Let d(o) be the third derivative of o**7/5040 - o**6/144 + o**5/15 + 3*o**2. Let s(t) be the third derivative of d(t). Let g be s(3). Is -2 >= g?
True
Let g be 21/20 + (-8)/10. Is g equal to -8?
False
Let w(u) = 4 + 3*u - u - 4*u + u. Let s be w(5). Let k = -6 + 6. Which is bigger: s or k?
k
Let c(z) be the third derivative of z**4/24 + 11*z**3/6 - 3*z**2. Let l be c(-8). Suppose 3*h - 17 = 2*v, h + l*v + 4 + 5 = 0. Does 3 = h?
True
Let x(q) = -q**2 - 2*q + 14. Let h be x(5). Is -20 at most h?
False
Let s be 1/4 + 3/7668. Let m = s + -2/71. Is 1 bigger than m?
True
Let l be (-1 + (-1)/(-2))*0. Suppose -z - 2*m = m, -4*z + m = l. Suppose 0 = -3*o + 3 - 0. Which is smaller: o or z?
z
Let f be (-1 - 3) + (-4)/(-4)*-6. Is f less than -8?
True
Let h be 5/25 - 31/5. Let w = h - -6. Which is smaller: -3/5 or w?
-3/5
Let c = 1 - 1.15. Which is smaller: c or -2?
-2
Let w(l) be the third derivative of l**5/30 - l**4/6 + l**3/3 - l**2. Let b be w(2). Suppose 0 = j + b*j. Which is smaller: j or 1?
j
Let i be (-8)/36 + 40/18. Let n = i + -4. Is -1/3 equal to n?
False
Suppose -3*n - 46 = 4*r, -3*r - 4*n - 10 = 21. Which is smaller: -12 or r?
r
Let w = 140 - 140. Is 1/69 at most as big as w?
False
Suppose 2*z - 3*a + 33 = 0, -2*z + 7*a - 2*a - 35 = 0. Which is greater: -1 or z?
-1
Suppose -2*y + 5*h + 18 = 0, 3*y + 10 = y - 2*h. Let b be (-1 - -1)/(y + 2). Let f = 25/2 - 12. Which is smaller: f or b?
b
Let f(b) = b**3 - 6*b**2 + 2*b - 9. Let i be f(6). Let c be (6/21)/(0 - 7/(-98)). Which is smaller: c or i?
i
Let v = 14 - 11. Which is bigger: 4 or v?
4
Let f be 1/(-3) + (-22)/(-12). Suppose -2*j = -m + 5*m - 6, -3*j - 3*m = 0. Let b be j/(-30)*-6*-5. Is f greater than or equal to b?
False
Let c be (-1)/(-3) + 160/(-30). Let p be 2*(-4)/((-8)/c). Which is greater: p or -4?
-4
Let q be 1691/133 + (-2)/(-7). Is -2 less than or equal to q?
True
Suppose -7 = -3*f + 2*h, 0 = -3*f - 2*h - 3*h - 28. Is f >= -2/3?
False
Let j be ((-10)/(-12))/(40/32). Are 9 and j equal?
False
Let o = -14 - -16. Suppose -5*k - 15 = 5*b, -2*k = -7*k - 3*b - 11. Which is greater: o or k?
o
Let z(r) = 4*r - 2. Let s be z(2). Which is bigger: s or 3?
s
Let o = -16 + 12. Is -14/5 > o?
True
Suppose -3*n = -2*n - 2*b - 8, 3*n + 3*b = 15. Let j = -2 + 1.9. Which is smaller: n or j?
j
Let a = -0.97 - 2.93. Let b = -0.8 - a. Let n = -3 + b. Which is smaller: n or -2/5?
-2/5
Let k(z) = 2*z**3 + z**2 + 4*z + 4. Let p be k(-1). Which is smaller: p or -9/13?
p
Let b = 4 - 3. Let y be (2/(-16))/((-24)/(-16) + -1). Which is smaller: b or y?
y
Let c = 156 - 226. Let o = 1249/21 - -69/7. Let n = o + c. Which is smaller: -1 or n?
-1
Suppose 200 = 2*s - 266. Let t = 2099/9 - s. Which is bigger: t or 5/3?
5/3
Let y be (4/12)/(1/(-9)). Suppose -5 = 3*q + 2*q. Which is bigger: q or y?
q
Let b(i) = -i**3 + i**2 - i - 9. Let s be b(0). Is s <= -8?
True
Suppose 2*k = -i + k + 1, 5*k = 3*i - 27. Suppose -3*g - 35 = 5*z, -i*g + 3*g = z + 9. Let p = 5 + z. Which is bigger: p or 2?
2
Let m = -9.939 + -0.061. Is -1 > m?
True
Suppose -n = -2*h + n + 4, 2*n + 4 = -3*h. Which is greater: 3 or h?
3
Let n(s) = -s**2 + 8*s - 4. Let z be n(8). Which is smaller: -7 or z?
-7
Let u(i) = -i + 5. Let h be u(6). Let z(t) be the first derivative of t**3/3 + 3*t**2/2 - 2*t + 3. Let g be z(-3). Which is bigger: g or h?
h
Suppose 375 - 377 = m. Which is bigger: -0.05 or m?
-0.05
Let w = -0.16 + 6.16. Let d = 1 + w. Let y = -7 + d. Is y at most as big as 1?
True
Suppose 20 + 0 = 4*c. Let n be c + (3/(-1) - -1). Let l = 2 - n. Is l at most -3?
False
Suppose 0 = -o - 0*o + 13. Let q = -7 + o. Is 5 less than q?
True
Suppose 7*f - 3*u - 34 = 3*f, 3*f - 19 = -u. Let p = f + -1. Is 5 at most as big as p?
True
Let a = 19 - 20. Is -5/6 less than or equal to a?
False
Let w = 14.95 + -15. Let y = 3.03 + -0.03. Let j = y - 4. Is w at most as big as j?
False
Let a be 2/3 + (-26)/42. Let w = a - -2/7. Which is greater: w or -2?
w
Let y(t) = 17*t + 5. Let v be y(1). Which is smaller: v or 70/3?
v
Let v(m) = -m**3 - 10*m**2 - 6*m + 24. Let o be v(-9). Is o smaller than 0.4?
True
Suppose -31*s + 27*s - 36 = 0. Which is smaller: s or -1/4?
s
Let a(r) = r + 4. Let w be a(0). Is 4 at least as big as w?
True
Suppose 3*y - 4*y + 121 = 0. Is 122 smaller than y?
False
Let o(d) = d**3 - 16*d**2 - 2. Let t be o(16). Which is bigger: -14/5 or t?
t
Let y(t) = t**3 - 10*t**2 + t - 5. Let i be y(10). Suppose -n = 3*d - 47, -1 + 26 = i*n. Is 14 >= d?
True
Suppose 5*c = -2*d - 19, d - c = 4*c + 13. Let k be (6/(-1))/(12 + -10). Which is bigger: k or d?
d
Let v be -2 + 1*(-6)/(-2). Let c = -56 - -223/4. Is v equal to c?
False
Let z(h) = h**2. Let t be z(0). Let j be 2/3*45/6. Suppose 5*o = -4*u + 5, -j*o + 2 = -2*u - 3*o. Is t < u?
False
Let w = 0 + -0.1. Let f = -146.27 - -146.2. Is w at most as big as f?
True
Suppose 0 = 2*i - y + 5, 5*i + 5*y = y - 6. Let m = -38 - -37. Which is smaller: i or m?
i
Let q = -31/3 - -10. Let t(s) = -s**3 - 3*s**2 + 5*s + 6. Let a be t(-4). Suppose a*l - 2 = 0, 0*f - 3 = -f - 4*l. Is f at most q?
True
Suppose -2*b = -3*b + 5*k + 54, 5*k = -2*b + 33. Which is smaller: 30 or b?
b
Let r = -5/314 + 2425/4396. Let i = -2/7 + r. Is 1 at most as big as i?
False
Let x = 40.7 + -41. Which is smaller: -4/3 or x?
-4/3
Let t = 15 + -3. Suppose 0 = w - 4*w - t. Let x be w/(-18) - (-64)/36. Which is greater: 3 or x?
3
Let m = 6 + -5. Let s(o) = -5*o**3 - o**2 + o + 1. Let u be s(-1). Let i be u/(-6) - (-62)/66. Which is smaller: m or i?
i
Suppose -a - 16 = 2*a - 5*b, -a - 5*b + 8 = 0. Let f(d) be the third derivative of -d**6/120 - d**5/10 + d**4/3 + d**3 + 2*d**2. Let k be f(-7). Does a = k?
False
Suppose 4*c = -5*y - 7, -c - 3*c - 2*y = -2. Is c at least -1?
True
Let v be (-1 + 3)*-2 - (10 - 2). Is -12 at most v?
True
Suppose -8 + 9 = x. Is x > -4/15?
True
Let p = 29 + 3. Suppose 3*k = k - p. Let y be (-6)/k - (-2)/(-4). Which is bigger: 0 or y?
0
Let a(u) = -9*u - 2. Let k be a(-2). Suppose 0*l - 3*l + k = -2*j, -4*l - 3*j = 7. Is 2 not equal to l?
False
Let j = 0.86 - 0.85. Is j greater than or equal to -3/2?
True
Suppose -3*j - 1 = -4*j. Is j less than or equal to 0?
False
Let u = 279 + -1949/7. Let z = 0.2 + -0.1. Is z != u?
True
Let f(b) = b + 1. Let j be f(0). Let z = -5/2 + 11/4. Is j smaller than z?
False
Let y = -7 + 7. Let n = y - 0. Is -1/5 at least as big as n?
False
Suppose -10 = 3*i + 8. Let u = 6 + i. Which is smaller: -3/8 or u?
-3/8
Let s(n) = 33*n**2 + 3*n - 11. Let y be s(2). Is 126 at least as big as y?
False
Suppose o + u = 3, 3*o + 2*u + 1 = 4*u. Let f be 36/(-21) - -2*o. Is -2/5 not equal to f?
True
Let k(g) = -10 - 2*g**2 + 3*g + 8*g + g**2. Let p be k(10). Let v be 4/(-12)*(p + 1). Which is smaller: 0 or v?
v
Suppose -5*c = -4 + 9. Let d be (18/(-4))/((-7)/(-98)). Let z be (-7)/d - (-4)/18. Is z >= c?
True
Let a be 1/(-22)*(-4)/2. Which is greater: a or -1?
a
Let i = -1.4 - -0.7. Let h = i - -0.3. Let d = h - -0.6. Is 1/3 less than d?
False
Suppose 5 = -q + 4. Which is smaller: 1 or q?
q
Let r(h) = 2*h - 16. Let b(y) = -y**2 + 10*y - 15. Let u be b(6). Let q be r(u). Let n be (1/3)/((-4)/(-6)). Which is bigger: n or q?
q
Let d(k) = 8*k + 4*k**3 + 9*k**2 - 3*k**3 - 2 + 1. Let t be d(-8). Is t at most as big as 0?
True
Let s = 4 - 3. Is -2/7 less than s?
True
Let s be 2 + -4 - (1 - 1). Let o be 0*(s/(-4) - 1). Let u be 0/(0 + 1 - 0). Is u < o?
False
Suppose 0 = 4*f - 3*g + 36, -g + 27 = f - 4*f. Let m(n) = n**3 + 10*n**2 + 10*n + 6. Let q be m(f). Is q at most -1?
True
Let w = 21 - 13. Let d be (2/(-24))/((-3)/w). Is d < -1?
False
Let h = 19 + -19. Which is greater: -2 or h?
h
Let x be 0 + 4/(-26) + 668/(-52). Is x < -13?
False
Let t be -5*((-28)/20 + -1). Is t less than 13?
True
Let h = 3 - -2. Let o be (3/(-2))/(h + 0). Is o not equal to 0?
True
Suppose 12 = v + 5*i + 38, -5*v - 20 = 3*i. Let l be v/(-3)*0/12. Let z be ((-2)/6)/(14/(-3)). Which is smaller: l or z?
l
Let v = -5 + 5. Let r = 0.1 + v. Do r and -2/9 have different values?
True
Let b(h) = -h + 6. Let r be b(0). Let u be 3 + (2 - r) - -9. Let d be (1/2)/((-10)/u). Which is greater: d or 0?
0
Let b be (-2 + 3 - 2) + (-15)/27. Which is smaller: -1 or b?
b
Let y = 113/5 - 1247/55. Let x = -29/55 + y. Which