 z be c(1). Do 3 and z have the same value?
True
Let y = -287/2907 + -1/153. Is y at least 1?
False
Suppose -3*u = -2*p + p + 6, -2*p = -4*u - 8. Let c = u + 1. Let b = c - 1. Is -4 > b?
False
Suppose 5*b - 3*l - 6 = -0*b, -3*b + 2*l + 4 = 0. Which is greater: b or 5/8?
5/8
Let g = -217 - -221.95. Let n = g - 5. Which is smaller: 0.1 or n?
n
Suppose -6 = -o - o. Let j be -4*o*2/12. Do -2 and j have the same value?
True
Suppose -h - 2*h = 6. Let w be h + 3 - 1 - -1. Suppose 0 = -i - w - 0. Is -4/5 <= i?
False
Let b = 16 - 26. Let v = b + 4. Let j be v/8 + (-29)/4. Which is smaller: -7 or j?
j
Let b = -172.7 + 166. Let k = -7 - b. Let y = 0.6 - 0.6. Which is greater: y or k?
y
Suppose -6 = 4*i - 2. Let u be i/(1 - (-1 - -1)). Let f = 21 + -24. Which is bigger: f or u?
u
Suppose -37*g + 15 = -32*g. Let t(w) = -w**3 + 5*w**2 - 2*w + 7. Let r be t(5). Let n be r/(1 - (-7)/(-4)). Is g greater than n?
False
Let k be (3 - 3)/(-1 + 3). Let a(t) = -18*t + 6. Let g be a(4). Let m be (9/3)/(g/(-4)). Which is greater: k or m?
m
Let b be (-1)/3*(-6 + 0). Suppose -b*k - 3*k = 3*a + 25, -2*k = 2*a + 10. Suppose -4*l + 0*l = a. Is -1/2 less than l?
True
Suppose -3*d = -32*d - 377. Suppose 4*t = 4*r - 40, -2*r = -5*r - 12. Is t greater than or equal to d?
False
Let o = 8 - 5. Let h be 2 + -4*(-1)/2. Let j = h - 4. Which is greater: j or o?
o
Let p = -4 - -3.9. Let y = -4 + 2. Let g be 3/(-2) - 0 - y. Which is greater: p or g?
g
Let s(k) = k**3 - k**2 - k - 1. Let r be s(3). Let q = r - 10. Suppose -q*x = -3*x + 1. Are x and 0 unequal?
True
Let a be (6 - 112/21) + 71/(-3). Which is smaller: a or -25?
-25
Suppose 3*q + 8 = r, -4*q = -5*r - 2*q + 14. Let d = 499/4 - 124. Do d and r have different values?
True
Let o(p) be the second derivative of -1/2*p**2 + 2*p + 1/3*p**3 + 0. Let u be o(2). Is 2 equal to u?
False
Let n = 92 + -185/2. Which is smaller: n or -1?
-1
Let w(q) be the second derivative of q**4/12 + 2*q**3/3 - q**2/2 - 2*q. Let c be w(-4). Let k be (1/(-6))/(9/(-12)). Which is smaller: c or k?
c
Let b = -1445 - -27463/19. Let m = b - -1043/95. Let k = m + -11. Which is greater: 0.1 or k?
k
Suppose 0*n - 5*n = 30. Let h = n - -7. Which is greater: h or -1/3?
h
Let i = 1 + -1. Let a = -1 + -1. Let l = 1 + a. Which is bigger: i or l?
i
Let y = -149/2 - -76. Let i = -2 - -2.2. Let p = i + -1.2. Does y = p?
False
Suppose 170545 = -3*o + 4462. Let b = o + 385865/7. Let x = 238 + b. Is 1 greater than x?
True
Let f = -3 + 8. Let n = -9 - -13. Let x = f - n. Is x greater than 1/4?
True
Let d = 11 + -7. Suppose d*t - 3*t - 5 = 0. Are 2 and t non-equal?
True
Let l = -6 - -9. Suppose -q - l*q = -12. Which is smaller: q or 2?
2
Let p(o) = o - 7. Let h(l) = -l + 7. Let d(r) = -3*h(r) - 4*p(r). Let k be d(7). Is k greater than -2?
True
Let m be (-2)/3 + 16/33. Let b = -5 + 1. Let y(h) = -h**3 - 4*h**2 - h - 3. Let a be y(b). Which is greater: a or m?
a
Let m(l) = -2*l**2 - 15*l + 5. Let a be m(-8). Which is smaller: a or -1?
a
Let u(j) = 3*j**2 - j. Let w be u(1). Let f(c) = c**2 + 7*c - 8. Let z be f(-9). Let x be 3/(-6) + 11/z. Which is bigger: x or w?
w
Let o = -7.2 + 8. Let f = o + -1.8. Let x = 5 + f. Is x != -2/5?
True
Let g = 5 + -5. Suppose 2 = -2*n - g. Is -2/41 at most as big as n?
False
Let z = 20 - 30. Is z bigger than -8?
False
Let m = -9 + 20. Which is smaller: 12 or m?
m
Let s = 142 + -193. Does s = -50?
False
Let u = 9 - 5. Suppose -3*d + 4*b - 5*b + 23 = 0, -u*d = 5*b - 38. Let y(x) = -x + 8. Let w be y(d). Which is bigger: w or 5/6?
w
Suppose 0 = w - 9 + 3. Let b = w + -8. Let h = -53/91 + 3/7. Is b > h?
False
Suppose 0 = -4*n, -5*x - 3*n + 6*n + 5 = 0. Let o be x + 1 + (-72)/32. Does o = 1?
False
Let x = -58 - -59. Which is greater: x or 1/91?
x
Let j(k) = k**3 + 9*k**2 - 9*k + 11. Let t be j(-10). Which is bigger: -1/11 or t?
t
Let x = -37 + 43. Is 1 at most as big as x?
True
Let y = 3 + -4. Let a(t) = -2*t + 6. Let p be a(6). Let v be 10/4 - (p - -9). Which is greater: y or v?
v
Let i(l) = 4*l - l**2 + 5*l + 3*l - 6*l. Let d be i(6). Let m be ((-1)/2)/(5/2). Which is smaller: d or m?
m
Suppose 0*y + n + 16 = -5*y, 0 = 4*n + 4. Let l(b) = -b**3 - 3*b**2 + 4*b + 3. Let j be l(y). Let x = j + 6. Which is bigger: -5 or x?
x
Suppose -5*g = -4*k + 7, -k - k + 11 = 5*g. Which is bigger: 1/126 or g?
g
Let m = 33 + -34. Which is greater: m or 1/21?
1/21
Let b = 7 - 6. Do b and 0.2 have the same value?
False
Let r = 10 + -8. Let h(y) = -y + 9. Let q(m) = 3*m - 19. Let g(v) = r*q(v) + 5*h(v). Let b be g(-5). Is b > 4/7?
True
Let q(l) = -l**3 + 5*l**2 - 5*l + 3. Let b be q(3). Is b at most as big as 4?
False
Suppose 3 = -5*w + 13. Suppose 4*j - w = 2. Does 1 = j?
True
Let k = -20 - -81/4. Let m = 2 + -2. Suppose -2*b + 2*d + 12 = m, -3*b + 5*d = 4 - 32. Which is bigger: b or k?
b
Suppose -3*r + r = l + 1, 3 = -5*r - 2*l. Is -1/27 greater than or equal to r?
True
Let x = -20 - -30. Let l = -12 + x. Does 3 = l?
False
Suppose 4*s + 0 = -4. Let g be -8 + (-1)/(1/(-2)). Let k be (-4)/(-48) + g/8. Which is greater: s or k?
k
Let g be (1/(-6))/((-105)/1488). Let x = -17/7 + g. Is x > -1?
True
Let c be (28/7)/(13 - (1 + -2)). Which is smaller: c or -0.01?
-0.01
Let p = 15 - 46. Let q = 59/2 + p. Is -1 >= q?
True
Suppose 69 = -4*x + 5*w + 13, 0 = 2*w + 8. Is x at least -18?
False
Let z(v) = -v**3 + 6*v**2 + 7*v - 2. Let s be z(7). Let b be 0 - (8/s + 2). Let o be b/4 + 7/(-6). Which is greater: o or -1?
o
Let w = -245 + 232. Let r = -5 - 8. Is r > w?
False
Suppose -2*y + 0*s = 2*s - 2, -4*y - 3*s = -1. Let o(u) = -u**3 - u**2 - 3. Let v = 0 - 0. Let f be o(v). Which is greater: f or y?
y
Suppose 4*c = -s - 4, -2 + 0 = s + 2*c. Is -5 >= s?
False
Suppose -4*q = -4*z - q, 2*z + 3*q + 18 = 0. Let h = -3 - z. Let w = -1 - h. Is -2/5 <= w?
False
Suppose 0 = 6*z - z + 15. Let l be ((-2)/(-28))/(z/6). Which is bigger: l or 0?
0
Let h be (8/5)/((-12)/(-30)). Suppose 0 = 3*j + 39 - 12. Let i be (6/4)/(j/h). Which is smaller: 0.1 or i?
i
Let z = -268/5 - -54. Let i(n) = -2*n**2 + n. Let b be i(1). Is b greater than or equal to z?
False
Let j be 6 - (2 + -1*4). Let m be 4/6*(-63)/(-6). Is m <= j?
True
Let s(w) = -w - 6. Let c be s(-8). Let i be c/11 + 14/44. Let a = -1 + 1. Does a = i?
False
Let a(k) be the third derivative of -k**4/12 - 2*k**3/3 + 3*k**2. Let i be a(-4). Is i greater than or equal to 4?
True
Let d(y) = -y**2 + 7*y + 7. Let l be d(8). Let s be l/(-1) - -1 - 3. Is s greater than 0.05?
False
Let t be (40 - -5) + -1 + 0. Let y be t/(-80) + (-2)/8. Which is bigger: 0.1 or y?
0.1
Suppose -3 - 9 = -4*t, 3*t - 21 = 2*r. Let o(s) = -s**3 - 6*s**2 + 2*s + 1. Let k be o(r). Which is bigger: -10 or k?
-10
Let h be (2/(-4))/1 + 0. Let n be 0*(1 - 3)/2. Suppose -8*p + 6*p = n. Is h bigger than p?
False
Let r = -9 + 7. Let v be -3 + (2 - 50/r). Let l be 1 - 3 - (-57)/v. Is l less than or equal to 1?
True
Let b be (-194)/(-78) + (-6)/39. Is 3 at most b?
False
Let n = 0.6 - -8.4. Let p = n - 13. Let a = 4.2 + p. Which is bigger: a or 0?
a
Suppose 4*x - 6*x = -16. Let h be 34/(-21) + x/28. Do h and 0 have the same value?
False
Suppose -v = m, -5*v = -4*m - 10 - 17. Let z be ((-8)/54)/((-2)/v). Which is greater: -1 or z?
z
Let k = -13.97 - 0.03. Let y = -8 - k. Let s = y + -6.2. Is -1/4 < s?
True
Let u = 2 - 1. Let g = -1/108 - -329/540. Is u != g?
True
Let t = 81/4 + -83/12. Do t and 14 have the same value?
False
Let l be (-3 + -11)/(2/(-8)). Which is bigger: l or 57?
57
Let w = -6 + 4. Let r be (0/(-1))/(w + 1). Which is smaller: 3/5 or r?
r
Let v(n) = n**2 - 6*n + 1. Let c be v(7). Let z = -6 + c. Suppose -4*f = -z*f. Is 0 != f?
False
Let t = 428/825 - -2/75. Is t at most 1?
True
Let i = -106 + 427/4. Is -2 less than or equal to i?
True
Let s be 0/(4 + 4 + -5). Let n = 18 + -27. Let l be (-2)/n + 2/(-9). Is l < s?
False
Let k be (-1)/(-1 + 0/2). Let w be (-2 - -2) + 3 - k. Suppose 0*i + 2 = -w*i. Which is greater: 1/4 or i?
1/4
Let v = -3.3 - -3.2. Which is smaller: v or 5?
v
Let n be 18/8 - (-2)/(-1). Let l(p) = -p**2 + 2*p + 1. Let k be l(5). Let x = k - -12. Is n >= x?
True
Let h(x) = x + 2. Let k be ((-3)/9)/((-1)/6). Let z be -7 + 3 + k/(-2). Let g be h(z). Is -1/2 > g?
True
Suppose -3*v = -7*v - 8. Suppose 0 = -2*o + 4*u - 24, u - 20 = 3*o - u. Let i be (1/6)/(1/o). 