se g - 4*j + 13 = -i*g, -5*j = -2*g - 17. Is -1/4 bigger than g?
True
Suppose 0 = -2*y + 5*o + 8, -12 = -2*y + o + 4. Is -2 < y?
True
Let y(w) be the third derivative of w**8/10080 + w**6/720 + w**5/60 - w**2. Let s(p) be the third derivative of y(p). Let n be s(-1). Is n >= 3?
True
Let v = 184 - -31. Let u = v - 4731/22. Is 1 smaller than u?
False
Let f be (-8)/63 + 8/36. Let o = -32/105 - f. Let i = 7 - 7. Which is bigger: o or i?
i
Let r be 29*(4 + -8)/4. Is r greater than -29?
False
Suppose -2*w - 102 = -4*w. Let o = 203/4 - w. Which is smaller: 0 or o?
o
Let u = -57 - -58. Which is bigger: u or 5/6?
u
Let o be (326/55 + -6)/((-44)/10). Which is greater: o or -0.2?
o
Let y be -1*(-3)/(2/2). Suppose 0 = -4*b - 4*v - 16, 3*b - y*v = -0*v + 12. Which is greater: b or 2?
2
Let z = -0.6 + 0.2. Let n = 0.8 + z. Is n >= 2/7?
True
Suppose -2*l - 123 + 28 = 5*s, 2*l = -10. Is -16 smaller than s?
False
Suppose 3 + 5 = 2*b. Let v be 3/b + 1/(-2). Is v greater than -1?
True
Let t = -8/37 + 100/1147. Let k = -90/217 - t. Which is smaller: 0 or k?
k
Let g = -11 + 8. Let l be ((-2)/8)/(g/(-54)). Is l bigger than -4?
False
Let s(j) = j**3 + 3*j**2 + j - 1. Let u be ((-1)/(-3))/(-1)*6. Let h be s(u). Which is smaller: 7/3 or h?
h
Suppose 22 = f - 5*p, -f = 3*p - 25 - 29. Is f less than 40?
False
Let k(z) = -z**3 + 7*z**2 - 7*z + 7. Let h be k(6). Is h at least 4?
False
Let n be ((-8)/(-30))/((-6)/27). Let q = -33 + 32. Which is greater: q or n?
q
Suppose -3*g + 6*g = 0. Suppose g = -u - 2*u. Suppose u = -2*k + 2 - 0. Which is smaller: -1 or k?
-1
Let f be (-1 - -2)/((-2)/18). Let j(n) = -n**2 - 11*n - 18. Let r be j(f). Which is smaller: r or 1?
r
Let y(a) = a - 15. Let m be y(8). Let v(z) = z**3 + 7*z**2 + 7. Let b be v(m). Which is bigger: b or -1/3?
b
Let x = 4.7 + -4.8. Which is smaller: x or -0.8?
-0.8
Let x = -161 + 1769/11. Which is smaller: 1 or x?
x
Let o be (-116)/120 + 5/30. Which is greater: o or -1?
o
Let m(h) = -7*h - 1. Let q be m(-1). Is q less than 6?
False
Let s = -31 - -34.9. Is s < -0.2?
False
Let n be (-20)/(-8)*1/(-10). Let f = -6 - -3. Which is greater: f or n?
n
Let p(z) = 5*z**3 - 2*z**2 + 3*z - 2. Let n be p(1). Suppose 0*y = 3*y, -n*g - 3*y = 0. Is g equal to 2/41?
False
Let l = -6.04 + 6. Let r = 0.06 - l. Is 0.2 != r?
True
Suppose 4*j + 8 = 2*j. Let n = j + 4. Which is bigger: -4/5 or n?
n
Let k be -2 - -4 - (2 + 0) - 0. Let p be 3*((-16)/138)/4. Is p > k?
False
Let o = -9/14 - -8/7. Which is greater: 2 or o?
2
Let q = 0.05 + -0.1. Let t = 0.45 + q. Let g = t + -0.3. Which is greater: g or -2/7?
g
Let w = 0.2 - 0.1. Let l = -119 - -114. Which is greater: w or l?
w
Let q = 0.042 + 0.058. Which is greater: 0.27 or q?
0.27
Let f be (-91)/(-28) + (-1)/4. Which is bigger: f or 1?
f
Let i = -8 + 14. Suppose -i + 4 = m. Is m at least -4/7?
False
Let s = -367 + 221. Which is smaller: s or -145?
s
Let w = 107 + -120. Is -11 < w?
False
Let k = -19 + 22. Suppose 0 = -4*z - 5*n - 20, -z - k*n + 4 = -4*n. Suppose 15 = 5*g - d - 2*d, d + 5 = 0. Is g != z?
False
Let j = 42 - 43. Which is smaller: j or 1?
j
Let x be (1 - 0)*(491 + 0). Let c = -15223/31 + x. Is c greater than 1?
False
Let d = -152 - -2585/17. Which is bigger: d or 1?
1
Suppose -3*w - 4 = -2*w. Let h = w - -3. Let n = h + 0. Is n at least as big as -3?
True
Suppose 0 = 4*q + 33 - 1. Are 1 and q non-equal?
True
Suppose 3*l = -3*o + 12, -2*l + 2*o - o = -14. Suppose -l*z + z + 4 = -q, -5*z + 4*q = -16. Is 2/25 greater than z?
True
Let m = -99 + 893/9. Let f be -28 + 26 - (-2 - 1/1). Which is smaller: m or f?
m
Let h = -37 - -38. Does 0 = h?
False
Let q = -240026 - -2644513/11. Let w = 384 - q. Let g be (-1)/(-2)*2/1. Are g and w unequal?
True
Let q(t) = -t**2 + 2. Let c be q(0). Suppose 6 = 2*z + c. Is z less than or equal to 2?
True
Suppose 3*h + 2*i + 106 = 0, -12 = 5*i - 2. Which is smaller: -1/3 or h?
h
Suppose 0 = -5*s + 5*g - 66 + 11, 0 = -s - 3*g + 9. Suppose 0 = v - 2*v - 5. Is v greater than s?
True
Let m = 33 - 31. Which is smaller: m or -1/4?
-1/4
Let k be 1*(-7)/3*3. Let t = k - -23/3. Is 1 >= t?
True
Suppose 65 = 5*f - 4*i, i = 4*f - 83 + 20. Let t = f + -29. Let d be (t/(-9) + -2)*-3. Is d != 1?
True
Let k = -212/5 + 43. Do k and 2 have different values?
True
Let w = 1/9 + 5/36. Let q = 51 + -17. Suppose -4 = 5*c + 5*x - q, -3*x = -15. Which is smaller: c or w?
w
Suppose -2*n = -4*n - 6. Let t = -3 - 1. Is n at most t?
False
Let u = 1.2 + -0.2. Let w = -87.39 - -87. Let o = w + 0.4. Do u and o have different values?
True
Let a be 12/14*(-12)/(-24). Suppose -4 = -r, -3*i + 6*i + 4*r = 22. Suppose -i = 2*q - 3*n + 4, -q + 3*n - 6 = 0. Which is smaller: q or a?
q
Let b = -409/7 - -58. Which is bigger: -1 or b?
b
Let y = 28 + -167/6. Let t = -1/3 - y. Which is bigger: -1 or t?
t
Let s = -0.9 + -0.1. Let b = 0 + s. Let v = 263 + -260. Is v > b?
True
Suppose 4 + 16 = -2*w + 2*b, -4*w - 12 = 3*b. Let h(m) = -m**3 - 5*m**2 + 7*m + 8. Let y be h(w). Suppose y*j + 2 = 6. Which is smaller: 3 or j?
j
Suppose -3*r - r + 3 = 3*q, r + q = 1. Are r and -2 equal?
False
Let a = -0.2 + 1.2. Suppose -s = -2*s - x - 3, 4*s - 3 = -x. Suppose -3 = -s*k - 5. Is a < k?
False
Let n be 2/(-10)*(3 - 8). Let c(x) = x - 1. Let h be c(n). Does 2/27 = h?
False
Let j = 14 + -4. Let l be j/(-6) + 2/(-6). Let w be 10/(-45) + -17*(-1)/(-45). Is l != w?
True
Let j = 2 + 0. Suppose 4*w + 4*m = 16, w - j*w + 9 = -4*m. Is w at least as big as 11/3?
True
Suppose -10*a + 13*a - 36 = 0. Is 8 at most as big as a?
True
Let g(o) = -2*o + 2. Let q be g(3). Suppose 5*y + 2 + 6 = 2*w, 0 = y. Let m = w - 7. Is q > m?
False
Let m be -3*(-3)/(-63) - (-2)/14. Which is smaller: m or -2/37?
-2/37
Let m be (11/(-99))/(1/3). Does 0.24 = m?
False
Let z = 1.4 + -1.3. Is -0.01 <= z?
True
Let k be 2 + -5 + 3 + -17. Let r = k - -16. Which is smaller: 3/11 or r?
r
Let x = -239/21 + 35/3. Is 0 >= x?
False
Let k be ((-96)/208)/((-3)/2). Let v = -4 + 3. Is v != k?
True
Suppose 8 = 5*z - 9*z. Let r = -19.9 - -20. Is z > r?
False
Let v = 48 - 76. Which is smaller: v or 2?
v
Let g = -47 + 56. Let a(w) = -w**3 - w**2 - w + 2. Let m be a(0). Let b be g/15 + m/5. Which is greater: b or 1/7?
b
Let h = -0.9 + 0.8. Which is bigger: h or 0.7?
0.7
Let t be -2 - (-6 - -1) - -2. Suppose 0*b - t*b = -5*q - 15, 5*b = 4*q + 10. Do -4/7 and b have the same value?
False
Let w = -177/5 + 35. Is 1/4 less than w?
False
Let w be (-1)/((3/5)/(-3)). Suppose -2*t + 0*g = 5*g + 1, w*t = -5*g + 5. Which is greater: t or 4/5?
t
Let b = -4.9 - -15.9. Is b smaller than 0.2?
False
Let b(o) = o**3 - 5*o**2 + 6*o - 5. Let d be b(4). Suppose -2*g = -d*i + 11, -3 - 4 = -2*i + g. Suppose r = -i*r - 12. Are r and -1 non-equal?
True
Let l = 71 + -35. Which is greater: l or -0.2?
l
Let f = 25 + -21. Is f at least -1?
True
Let p = 9 + -9. Let y = p - -0.05. Does -0.1 = y?
False
Let a = -4 + 7. Suppose 3*h + 11 = f + h, 14 = -f - a*h. Let b be (-6)/9 + (2 - f). Which is bigger: -5/3 or b?
b
Suppose 3*s = -s - 16. Let a be ((-4)/6)/((-3)/(-9)). Is a greater than s?
True
Suppose -2 = -3*f + 1, 0 = 2*h + 5*f - 5. Let o = 21/10 + -241/110. Which is smaller: o or h?
o
Let s = 0.07 + 0.23. Let y = s + -1.3. Let n = 3.4 - 0.4. Which is bigger: n or y?
n
Let m(o) be the second derivative of -o**3/6 - 3*o**2/2 - o. Let d be m(-3). Let k be d + (2/9 - 0). Is k less than or equal to -1?
False
Let z = 53/306 + -1/153. Which is greater: 10 or z?
10
Let c(t) = -t**3 - 7*t**2 + 7*t - 6. Let q be c(-8). Let m be (q/(-8))/((-6)/(-12)). Suppose -2*x - 19 = -5*w, -5*w = -w - 12. Which is smaller: x or m?
x
Let x = 78 + -168. Is x at least as big as -91?
True
Let r be (-44)/(-39) + 12/(-18). Which is smaller: r or -1?
-1
Suppose -4*i + 2*k - 72 = 0, 0 = -5*i - 4*k - k - 75. Let c = -10 - i. Which is smaller: 3 or c?
3
Let y be 6/270*-3*(0 - -13). Is y at most -1?
False
Let i be (37/4)/(-1) + 90/(-120). Is -10 less than or equal to i?
True
Let n(r) = 3*r**2 - 2*r - 1. Let j be n(4). Let g = j - 116/3. Which is bigger: g or 1?
1
Let u = 0.1 - -0.4. Let q = 0.4 - u. Let m = -0.1 - q. Are m and 0.3 unequal?
True
Let h(q) = -q**3 - 5*q**2. Let s be h(-5). Let c be (2/(-2))/(-5 - s). Let m = 3 + -2. Is c less than or equal to m?
True
Let h(o) = o**3 + 3*o**2 - 3*o - 3. Let p be h(-3). Let m(l