et f(t) = -t + 5. Let i be f(5). Which is greater: i or 16?
16
Let z(r) = -r**2 - 1. Let y(f) = -f**3 + 3*f**2 + 3*f + 2. Let i(p) = -y(p) - 4*z(p). Let m be i(-3). Is m at most as big as -6?
True
Let j(g) = -1. Let h(v) = -v**2 - 5*v - 8. Let x(m) = -h(m) + 2*j(m). Let l be x(-4). Let a be ((6/l)/9)/(-1). Which is greater: 0 or a?
0
Let g(q) = -9*q**2 - 6*q + 8. Let y(i) = -5*i**2 - 3*i + 4. Let z(n) = -4*g(n) + 7*y(n). Let l be 136/(-36) + 2/(-9). Let d be z(l). Is d at least as big as 0?
True
Let u = -80 + 81. Let j = -0.1 + 0. Which is bigger: u or j?
u
Let t be (-1 + (-20)/(-8))*12. Let p be (-10)/(-40)*(-8)/t. Is 0 at least p?
True
Let y = -11 + 9. Let v = 7006/55 - 1406/11. Let r = -2/55 - v. Is r greater than or equal to y?
True
Let i be (11/33)/(2/(-6)). Let o(v) = -v - 7. Let x be o(-6). Let k be 136/70 + (x - 1). Which is greater: i or k?
k
Let u = -14.1 - -9.1. Which is smaller: u or -1/7?
u
Let a be -2*((-2)/3)/((-242)/33). Is 8 > a?
True
Let l = 23 - 163/7. Let p(j) = j**3 + 7*j**2 + 8*j + 4. Let t be p(-5). Suppose 3*k - 2*c = -1, -t = -k - 3*k - 5*c. Is k at least as big as l?
True
Let i = -129 + 1163/9. Let r(y) = -y + 9. Let j be r(9). Which is greater: j or i?
i
Let a be ((-2)/56*-2)/(2/4). Is a != -1?
True
Suppose 1 = -3*a + 10. Let i be -2 - ((-12)/a + 1). Is i less than 0.1?
False
Let i be (-2 - (-5)/1)/(-1). Is -3 not equal to i?
False
Let t = 0.4 - 0.4. Let x(o) = o**3 - 6*o**2 + 6*o - 3. Let g be x(5). Suppose 0 = g*a + a + 3. Is a smaller than t?
True
Let d = 5 - 5.02. Let g = -0.02 - d. Which is smaller: -1/3 or g?
-1/3
Suppose -2*h + 14 = -4*m, 4*m - 4*h - 1 + 9 = 0. Which is smaller: -26/5 or m?
-26/5
Suppose 3*w - 4*y + 3*y = 0, 3*w = 3*y. Let k(a) = -a + 2. Let u(z) = 2*z - 3. Let q(v) = 13*k(v) + 6*u(v). Let s be q(6). Which is bigger: w or s?
s
Let n(z) = z**2 + z + 2. Let p(m) = 1. Let x(j) = 2*n(j) - 5*p(j). Let c be x(1). Let o = -64 - -131/2. Which is bigger: c or o?
c
Let j be (-48)/10 + (-1)/5. Let o = j - -3. Suppose -4*t - 5 = -v, 4*t + 5*v + 8 - 33 = 0. Which is smaller: t or o?
o
Let d(g) = g**3 + 8*g**2 - g - 5. Let u be d(-8). Is 10/3 greater than or equal to u?
True
Let d = 20 - 15. Which is greater: d or 3?
d
Let f be 2/(-4) - (-1075)/20. Let a = 53 - f. Which is smaller: 0 or a?
a
Let f = -332/57 + -16/19. Which is greater: -7 or f?
f
Let z be 2 - (-43 - -1*2). Suppose 3*t - 8*t + 3*b = z, -5*t - 36 = 4*b. Let w be t/(-12) + 2/(-3). Is w >= 0?
True
Let q = -7 - -7.8. Let d = q - 0.8. Is d at most -2?
False
Let l be ((28/(-72))/(-7))/((-2)/(-16)). Which is greater: 0 or l?
l
Suppose 24*t = 12*t. Let h be ((-22)/20)/(-1) - 1. Do t and h have the same value?
False
Let i = 4 - 9. Let p = i + 5. Suppose p*n + 20 = -5*n. Which is greater: n or -5?
n
Let v = -43.12 - 0.88. Is 1/3 >= v?
True
Let x be (-27)/28*(-24)/(-9). Let a = -5/28 + x. Is a less than or equal to -4?
False
Suppose -2*a = -i + 101, -4*i + 3*i - a + 98 = 0. Are 99 and i equal?
True
Let f(k) = -k**3 + 6*k**2 - 2*k + 8. Let n be f(6). Are n and -4 equal?
True
Suppose 0 = 2*r + 3*w - 4*w - 5, -w = -1. Let g(h) = -h**2 + 9*h + 4. Let t be g(9). Let y be (t/1)/(-2) - -6. Is y bigger than r?
True
Let u = 2/199 - -384/1393. Is 1 less than u?
False
Let i(x) = -x**3 - 4*x**2 - x - 4. Let t be i(-4). Suppose -3*u + 6 = -t. Are u and 2 nonequal?
False
Let c = 4 + 12. Is 17 not equal to c?
True
Let h be 2 + (-3)/((-63)/(-51)). Let f = -13/14 - h. Let v = -3 - -3. Which is greater: f or v?
v
Suppose 3*b - 124 = -5*j - b, -4*j - b = -108. Let h be 1/(-3) - j/(-30). Is h at most as big as 1?
True
Let i = 48.9 + -49. Is -35 greater than i?
False
Suppose -5*f + 5*b = 290, 0 = 3*f - 2*b + b + 174. Is -59 at least as big as f?
False
Let n(z) = -z. Let u be n(-8). Suppose 0*j - 11 = j - 3*o, 3*o - u = 4*j. Suppose 2*c = j - 9, 5*l + 15 = -5*c. Do -1/6 and l have different values?
True
Let b be (4/(-8))/(2/28). Which is bigger: b or -6?
-6
Let n = -0.19 - 0.21. Let d = -0.4 - n. Suppose 3 = -5*p - 7, -3*z = -2*p - 10. Is d less than z?
True
Let o = -2 + 0. Let z be ((-3)/o)/((-4)/(-8)). Suppose 0*b - 5*b = -10. Is b bigger than z?
False
Let i = -3.6 - 38.4. Which is greater: 0 or i?
0
Let s = 45 + -29. Suppose -s = -5*t + t. Let p be t/18 + 68/18. Which is smaller: 3 or p?
3
Let r(p) = p - 7. Let q be r(6). Let w(b) = b**3 + 2*b + 1. Let d be w(-1). Let a be (-4)/d + -1 + 0. Which is greater: q or a?
a
Let j = -35 + 21. Let t be 4/j - 27/(-21). Let w = 2 - t. Which is bigger: w or 2?
2
Let b = 199 - 1003/5. Let q = 0 + -2. Are q and b nonequal?
True
Let n be 4/6*(18/11)/1. Are 0 and n nonequal?
True
Let y = -46 + 323/7. Let f be (2 - 1)*(1 + 0). Which is smaller: f or y?
y
Let b = 68/3 + -22. Are b and 0.4 equal?
False
Let n be 0/(-2) - 0/1. Suppose k + 1 = -0. Which is smaller: n or k?
k
Let p(y) = -2*y**3 + 21*y**2 - 10*y - 1. Let z be p(10). Is z at most as big as -2/49?
True
Let f = -0.6 - -1. Let z = f + -0.6. Let l be (-1)/(-5) + 18/(-40). Is l at most as big as z?
True
Let k be (1 - 2)*-1*2. Let q be (2/(-4))/(3/(-30)). Suppose 2*s + 2*s - 7 = q*w, 4*w - 10 = -2*s. Is k smaller than w?
False
Suppose 0*q + 8 = 2*q. Suppose q*a = 2*s - 7*s + 16, 4*a = -s. Let h be (-1)/a + (-3)/5. Which is bigger: h or 1?
1
Let c(v) = -v**2 + 3*v - 3. Let m = 5 + -2. Let o be c(m). Let d be o/14 - 4/14. Which is smaller: -1 or d?
-1
Suppose -5*z = -0*z. Does z = 0?
True
Let k be 27/(-6) + (1 - -3). Suppose 3*c - 2*w - 4 = -0*c, 4*c + 2*w + 4 = 0. Which is bigger: c or k?
c
Suppose 5*d - 14 - 2 = u, 4 = 2*u + 2*d. Which is greater: -3/22 or u?
-3/22
Let s = 451 - 448.87. Let m = 0.03 - s. Let z = 2 + m. Which is greater: 4 or z?
4
Let d be (-1)/(2 - (-5)/(-3)). Let z(t) = -t + 1. Let x be z(-1). Suppose 0 = 2*f - 3*n - x*n - 8, 4*n = -f - 9. Which is smaller: d or f?
d
Let x be (-6)/138*(-1 + 0). Is x at most as big as 0?
False
Let d be (-6)/(-2 + 2/4). Let o = d - -3. Let i be 2/(-5) + (-798)/(-95). Which is greater: o or i?
i
Let b = 11 + -8. Let a(y) = y - 2. Let v be a(b). Let k = -16/21 - -3/7. Is v >= k?
True
Suppose -k - 35 = 4*k. Let g(o) = o**2 + 6*o - 6. Let t be g(k). Suppose l - 6 + 5 = 0. Is t at most as big as l?
True
Let g be (1 - 432/431)/(-1). Let s = -1286/3017 - g. Is 0 at most as big as s?
False
Suppose 17 = -5*t + 2. Let r = t + -1. Which is greater: r or -5?
r
Let q(m) = -m**2. Let z(y) = 2*y**2 - y - 4. Let f(o) = -3*q(o) - z(o). Let s be f(0). Let k = 4 - s. Which is bigger: k or -1/4?
k
Let p(g) = g + 12. Let n be p(-14). Which is smaller: n or 3?
n
Let y(o) = -o**2 + 8*o - 6. Let l be y(7). Suppose -t + 5*f + 27 = 0, 3*t = f + 10 + 1. Let n = t - l. Is n less than or equal to 0?
False
Let z = -0.9 + 1. Let q = -0.3 + z. Let n = 4 - 4. Which is greater: n or q?
n
Let p be (-6)/10 - 27/(-45). Which is greater: p or -0.09?
p
Let v be 4/34 - ((-1860)/(-51))/4. Is -12 bigger than v?
False
Let z be (4/(-6))/((-2)/6). Let j be (-2)/4 - 5/z. Let d = j + 5. Is 3 not equal to d?
True
Let w = 7479 - 29707/4. Let i = w + -53. Let s be 15/10*4/(-3). Is s less than i?
True
Let o = 21 - 20. Let l = 16 - 47/3. Is o greater than or equal to l?
True
Suppose 4*f = 5*t - 16 - 29, 2*f - 15 = -5*t. Let q be (-2)/t + 8/70. Let s = -130.5 + 130. Which is greater: q or s?
q
Let y(j) be the second derivative of -9*j**5/20 + j**4/6 - j**2/2 - 2*j. Let f be y(-1). Is f at least as big as 10?
True
Let f = 2/109 - 121/654. Which is smaller: 0 or f?
f
Suppose 26 = 5*m - 19. Which is smaller: m or 10?
m
Suppose 4 = -3*f - 2, -5*u - 3*f = 21. Let t = -6 + 3. Does t = u?
True
Let b = 38 + -38.1. Let r = 0.2 - 0.1. Is b bigger than r?
False
Let b = 6 + -2. Let z be (b/(-60))/((-2)/(-5)). Is -3 <= z?
True
Let y = -1.98 + -0.02. Let d = -193 - -193.4. Do d and y have the same value?
False
Let d = -3 + 7. Let q = -13 + 7. Let i = q + d. Which is bigger: -3 or i?
i
Let w = -0.09 - 0.91. Let s be 2/(-7) - 1/(-28). Which is bigger: s or w?
s
Let t = -2 - 0. Let z be (-2 + 3 + t)/1. Do -1/8 and z have the same value?
False
Let m be (-3 + 2 + 0)/(-1). Let b be m - 11/4 - -2. Is b at most as big as 2?
True
Let f be (11/(-5))/(6/10). Let k = f + 46/15. Which is greater: k or 0?
0
Let w = -1.3 - 7.7. Let t = w - -12. Is 3 equal to t?
True
Suppose t = 5*d, -5*t + 4*d + d = 0. Which is 