. Let k(t) = 9*t**2 - 13*t + 16. Let a(d) = -7*g(d) + 3*k(d). Let h be a(9). Is h equal to 2/7?
False
Let n = -70876/75 + 945. Which is smaller: n or 0?
n
Let y = -4 - -7. Is y != -0.1?
True
Let t = 8 - 12. Let a = -313 - -309. Are a and t equal?
True
Let d = 3/38 + -97/266. Is 7 > d?
True
Let l = 0 - -1. Suppose -2*d - 30 = 104. Let b = -334/5 - d. Which is greater: l or b?
l
Suppose 14 = 4*x + 2*n + n, -n = -2. Suppose x + 1 = -3*h. Let d = -147 - -1031/7. Which is bigger: h or d?
d
Let r be (-2)/(-4) - 4/(-8). Is -1/4 < r?
True
Suppose -15*c + 1028 = -592. Is c bigger than 107?
True
Let t be 9 + -2 - 1/(-1). Let d be 15/(-2)*t/(-12). Suppose 17 = -z - k - 2*k, 27 = -z - d*k. Which is greater: z or -3?
z
Let d(b) = 6 + 0*b - 3 - 2*b. Let q be d(2). Which is bigger: q or 0?
0
Suppose 2*t - 47 = -t + 2*i, -t - 3*i = -12. Let f be (t/6)/(1/(-2)). Do f and -5 have different values?
False
Let k be (-66)/(-15) - (-2)/(-5). Let f be k - (-2)/((-4)/6). Which is greater: 3/2 or f?
3/2
Let p = -3 + 7. Let g be (-74)/3*(p + -1). Let b = g + 372/5. Is 2/17 smaller than b?
True
Let y = -0.1 - -0.3. Let o = y - 0.3. Let g be (2 + (-9)/4)*(-9)/9. Which is smaller: o or g?
o
Let y(q) = q**3 + 6*q**2 - q + 2. Let h be y(-3). Is h at least as big as 31?
True
Let s = -26 + 12. Let x(q) = q**2 + 9*q - 1. Let a be x(-7). Which is greater: a or s?
s
Let w = 247304 + -43761. Let a = w - 2641853/13. Let b = a + -324. Which is smaller: b or 1?
b
Let w = 93 + -66. Which is smaller: 29 or w?
w
Let f = -4 + 7. Is f greater than 5/3?
True
Let g(d) = -d**2 + 8*d + 8. Let h be g(8). Suppose 24 = 3*b - 0*b. Is b smaller than h?
False
Suppose -5*x = -1 + 16. Which is smaller: 1/7 or x?
x
Let f = -0.06 - -2.06. Is f > 3?
False
Let n = 119 - 499/3. Let r = n - -48. Which is greater: r or 0.3?
r
Let t = -143/3 + 48. Let g = -8 + 10. Which is smaller: t or g?
t
Let s = -7.9 - -8. Let d(p) = -4*p**3 - p**2 + p. Let q be d(1). Let i be 1/q + (-1)/(-36). Which is bigger: i or s?
s
Let f = 3753/31 - 121. Which is smaller: -1 or f?
-1
Let w = 16 + -31. Let v = w - -8. Which is bigger: 1 or v?
1
Let f = -993714/5 - -28193527/140. Let a = f - 2640. Let s = -2/7 + a. Is 0 smaller than s?
False
Let x(t) = 8*t + 1. Let n be x(2). Let o = -7 + n. Suppose u - 3 = 4*i, -o = 5*u + i + 4*i. Is u <= -3?
False
Suppose -5*c + 6 + 9 = 0. Are 3 and c unequal?
False
Let f = -2 + 7. Suppose 5*w + 24 = 9, -3 = 4*z + f*w. Do -0.2 and z have the same value?
False
Let l = -12.23 - -12. Let k = -0.13 - l. Let p = 1.9 - 2. Which is bigger: p or k?
k
Let a = 2 + 1. Let b = -9/7 + 11/7. Which is greater: b or a?
a
Let r = 77 + -73. Is r less than or equal to 10?
True
Suppose 5*o + 11 = -4. Let r be o/((-54)/(-14)) - -1. Is 2/7 >= r?
True
Suppose -3*k + 4 = -k. Suppose 0 = 6*d - k*d + 4. Let s = 0.1 + -1.1. Is d < s?
False
Let m = 667/5 + -134. Which is smaller: m or 2?
m
Let w = 0.5 - 0.1. Let h = w + -0.6. Is h smaller than 4?
True
Let o be (10/(-45))/(32/30). Let l = o - 1/6. Are l and 0 unequal?
True
Let f(b) = b**3 - 2*b**2 + b + 1. Let t be f(2). Let d be 3 + -3 + t/(-3). Which is smaller: -2 or d?
-2
Let a be 1/3 - 29/105. Which is greater: 0 or a?
a
Suppose r + 3 = 4. Let y = -4 + r. Which is bigger: y or 0?
0
Let h(r) = r**3 + 4*r**2 + 6*r - 10. Let l(o) = -o**2 + 3*o + 3 - o - 4*o. Let g(v) = 2*h(v) + 7*l(v). Let d be g(1). Is 2 > d?
False
Let b(a) = a + 3. Let k be b(-7). Let f be k/6 + 24/9. Let m = 18/5 - 44/15. Is f less than or equal to m?
False
Let y be 105/14 + (-2)/(-4). Let t = y + -4. Is 5 at most t?
False
Let x(j) = j**3 + 5*j**2 - 5*j + 8. Let c be x(-6). Suppose -1 = c*w - 9. Suppose -r - 4 = -y, y + 0*y = -5*r + w. Which is bigger: 2/3 or r?
2/3
Suppose -s = 5 + 2. Let l(j) = -j**2 - 6*j + 7. Let r be l(s). Is 1/7 < r?
False
Suppose -3 = 4*s + 3*z, 2*s + z = -3 + 2. Let h(c) = 2*c - 4. Let r be h(4). Suppose s = -0*b + r*b. Which is bigger: 0.1 or b?
0.1
Suppose 8*s = 2*r + 3*s + 5, 2*s = 3*r + 13. Which is bigger: 8 or r?
8
Let i = 3.1 - 2.2. Let v = -0.7 + i. Which is smaller: v or -1?
-1
Suppose 4*n = 8, -3*c + 5*c + n = 8. Suppose 0*u + u = h + 6, c*u + 3*h = 0. Let t be (1/(-2))/(u/(-18)). Is t equal to 3?
True
Let z be 50/(-24) + 2/6. Let m = 10 + -11. Which is smaller: m or z?
z
Let r = 85 - 79. Let s be (8/(-6))/(3/(-9)). Suppose -2*b - 3*w - 2*w = -5, 3*w = -s*b + 17. Are r and b equal?
False
Suppose -9*d = -4*d - 5. Which is smaller: d or -2/5?
-2/5
Let s = 5 + -4. Is s >= 1?
True
Suppose -2*g + 4*w = -52, -5*g - 2*w + 4*w = -114. Which is bigger: 23 or g?
23
Let p = 10 - 11. Are p and -2/13 unequal?
True
Let z be (-2 - 1) + -2 + 6. Is z less than -1?
False
Suppose -4*c - 175 = 5*k + c, k - c + 27 = 0. Is k greater than or equal to -30?
False
Suppose -2*u - 3 = -11. Let b = u - 1. Does 13/4 = b?
False
Let q(z) be the second derivative of -z**5/120 + z**4/4 - z**3/3 - z. Let y(g) be the second derivative of q(g). Let i be y(5). Are i and -2/5 non-equal?
True
Let y(t) = t + 7. Let h be y(-6). Let x be 4 + -4 - 0/1. Let v = h - x. Is v smaller than 2/3?
False
Suppose -1 = i - 7. Let h = -4 + i. Suppose -f = -2 - 1. Which is bigger: f or h?
f
Suppose -8*h - 10 = -2. Which is bigger: h or 2/31?
2/31
Let x = 18.04 + -18. Which is greater: x or 2/3?
2/3
Let f(b) = -8*b. Let q be f(-2). Let v be 3 + ((-210)/q)/5. Is v > 1?
False
Let c = 1 - 4. Let n = c + 2. Let s = -1 - n. Which is smaller: 2/7 or s?
s
Let o be ((-4)/(-32)*4/2)/1. Which is smaller: o or -1/2?
-1/2
Let k = -2.1 - -2.119. Let y = k - 5.919. Let u = y - -6. Is 1 at least u?
True
Let p = 30 - 33.7. Let g = p + -1.3. Is 0 greater than g?
True
Let c be 12/(-63)*14/(-12). Are 0 and c unequal?
True
Let d = -11 - -5. Let q be (d/(-9))/((-4)/(-6)). Let p(t) = -t**2 - 6*t - 4. Let h be p(-5). Is h != q?
False
Let b be (1 + 0)/(-12 - 1). Is 1 greater than b?
True
Suppose 5*t - 221 = 139. Let q = t - 42. Let u be (4/q)/((-5)/(-25)). Which is greater: u or -0.1?
u
Let m = -10 - -11. Which is smaller: 2/33 or m?
2/33
Let h = 71 + -65. Is 6 less than or equal to h?
True
Let h be 1/4 + (-3)/(-4). Let y(o) = -2*o - 50. Let m be y(-24). Is m greater than or equal to h?
False
Suppose 5*u + 12 + 8 = 0, 5*u + 10 = -2*k. Suppose -5*i = -0*i - k. Let g be 1/((-3)/2*i). Which is greater: -2 or g?
g
Suppose -7 + 19 = 4*q. Suppose 0 = -4*h + h - q. Which is greater: h or -3?
h
Let x be 17*(-44)/1528 - 2/(-4). Which is greater: x or 1?
1
Suppose -5*v = -2*a - 0*v - 8, -5*a + 3*v - 1 = 0. Let s be (3/6)/(a/(-2)). Suppose 15 = -3*t, -3 = 3*n - t - 11. Which is smaller: n or s?
s
Let y be (1 - -2)/(4/28). Let i = y + -13. Suppose 5*m + 3 = i. Is m < -3/7?
False
Suppose -18 = 9*o - 3*o. Let n = 1 - 1. Which is smaller: o or n?
o
Let c = -26/3 + 11. Let m = -0.05 + 0.05. Is c less than or equal to m?
False
Let p = -55 + 55. Which is bigger: 6 or p?
6
Let k = -557/2 + 291. Suppose 48 = -0*a - 4*a. Let j = k + a. Is 1 less than or equal to j?
False
Let h(n) = -n**2 - 6*n - 6. Let u be h(-6). Let f be (8/u)/((-4)/(-6)). Which is greater: -3/4 or f?
-3/4
Let f be (9*-3 + 1)*-2. Let t be (-1)/3 + f/84. Which is smaller: t or -1/4?
-1/4
Let l be 0 + (-20)/(-28)*226. Let v = 161 - l. Let r(t) = -t + 4. Let s be r(3). Is v greater than s?
False
Let l be (2/(-10))/((-290)/2075). Let t = 2/29 + l. Let m(r) = -r**2 + 3*r - 1. Let v be m(2). Do t and v have the same value?
False
Let t = 5 - 2. Which is greater: t or 5?
5
Let y be 4/32 + 358428/(-736). Let q = -487 - y. Which is bigger: -1 or q?
q
Let c = 0 + -10. Let t = c + 8. Is -1 bigger than t?
True
Let b = -34 - -32. Which is smaller: b or 0?
b
Let q be (2 - -2)/(2*1). Let x be (3 - -1) + (2 - 10). Let d = q + x. Is d <= -2?
True
Let t be 15/35 - (-54)/21. Which is smaller: 22/9 or t?
22/9
Let x be -4 - (-3 - -43)/5. Which is bigger: x or 1?
1
Suppose 2*w - 5*v = 37, -3*w + 30 = -2*v + 2. Let u = 3 - w. Are -4 and u unequal?
True
Suppose 0 = 3*n + n - 4*r - 24, -3*n = r - 2. Which is greater: n or 7?
7
Let m = -0.25 + 0.11. Is -1/4 greater than or equal to m?
False
Let r = -0.03 + 2.03. Let p = -1.9 + r. Let k = 2/29 + 21/116. Is p >= k?
False
Suppose 0*n = p + 2*n + 23, -2*n + 3 = -p. Let z = -13 - p. Let a be (-3)/(-12) + 11/20. Are z and a equal?
False
Let r = 2.7 + -2.9. Which is bigger: r or -3