3 - s. Is f at least as big as o?
True
Let d(v) = v**3 + 8*v**2 + 8*v + 7. Let c be d(-7). Suppose c*b - 4*b = 12. Is -2 at least as big as b?
True
Let t be 3 - (1 - 4/2). Suppose -t*q + 8*q = 16. Is q not equal to 3?
True
Let d(t) = -4*t - 2*t**2 + 6*t**3 - 3*t**2 + 4*t**2 + 3*t. Let g be d(-1). Let q be (9 + -2)*24/(-28). Is q < g?
False
Let s = 19 - 3. Let j = 30 + -42. Let q be j/s*(-4 + 0). Is 3 < q?
False
Suppose -8*v = -11*v + 12. Let s be (-3 - -12 - -3)/2. Is s less than v?
False
Let d(v) = v**2 - 3*v - 1. Suppose -2*f - f - 21 = 0. Let q = -4 - f. Let i be d(q). Which is greater: i or 3?
3
Let c be (1/(-8))/((-30)/2920). Let w = c - 53/6. Is w equal to 4?
False
Let w(j) = j**2 + j + 1. Let r be w(-1). Let b be (1 + 0)*-2 + r. Let t be (8/12)/(1/(-3)). Is t at least b?
False
Let f = 10 + -6. Let j = -6 + f. Which is bigger: j or 2?
2
Suppose 3 = -3*m - 0*m. Suppose i - z + 1 = -3*i, -2*i + 4*z = 18. Let o be 0 + i/(2 + -1). Is m > o?
False
Let t = 19.2 + -19. Let u = 2.1 + -2. Is u at most as big as t?
True
Let m = -0.05 + -0.69. Let j = 0.6 + m. Let t = j - -0.04. Are 2 and t unequal?
True
Suppose 3*s - 2*s + t + 4 = 0, -4*t = -8. Suppose 21 = -2*l + 63. Let n = 15 - l. Is s not equal to n?
False
Let k = -1.3 - 3.7. Let v = 10 + k. Let i = v + -6. Is 2/11 at least i?
True
Let w be -1 + (-9)/3 - 2. Let u be (-216)/(-52) + w/39. Is u at least 2?
True
Suppose -2*i - 3 = -9. Let s(f) = f + 7. Let a be s(-6). Which is greater: i or a?
i
Suppose 0*g - 2*g - 8 = -5*z, -46 = 4*g + 5*z. Is -8 at least as big as g?
True
Suppose 5*f + 0 = 5. Let a be (-1 + f)*2/(-6). Let y = 0.8 + -1. Is y at most as big as a?
True
Suppose -3*y + 7 = -2*s + 6*s, 3*y = 3*s. Suppose -b + 14 = -y. Suppose t + b = -0*t - 3*a, t + 5 = -a. Is t > 0?
False
Let t be (0 - -1)/(5 + -1). Let c = 1 + -0.7. Let l = c - 0.2. Which is bigger: l or t?
t
Suppose 2*b = 2*g, -5*g - 32 = 3*b - 0*b. Let d(x) = x**3 + 6*x**2 + 6*x + 2. Let a be d(g). Which is smaller: 11 or a?
a
Let p = 8 - 3. Let w be p/20*8/(-5). Do 1 and w have different values?
True
Let x = -20 - -28. Suppose -4*r = -p - 3*p - x, p + 6 = 5*r. Let f(q) = q**3 + 3*q**2 - q - 2. Let b be f(-3). Is r greater than b?
False
Let n = 0.8 + 13.2. Let f = n + -8. Which is smaller: f or -2/7?
-2/7
Let m be 255/70 - (-3)/(-2). Which is smaller: 2 or m?
2
Let d be 1 - 3*(-8)/3. Which is bigger: 0 or d?
d
Let r = 0.1 - 0.2. Let z = r + -0.3. Let i = z + 0.3. Do -1 and i have different values?
True
Let z = 87/182 + 2/91. Let l(c) = -c**3 + 5*c**2 + 1. Let r(i) = -3*i**3 + 14*i**2 + 2. Let t(a) = 8*l(a) - 3*r(a). Let m be t(2). Which is bigger: m or z?
m
Suppose 4*d - 20 = -4*i, 0*d - 4*i + 2 = -5*d. Let p(l) be the first derivative of -l**3/3 - 2*l**2 + 7*l - 2. Let u be p(-5). Is d at least as big as u?
True
Let p be (42/(-16))/(1/4). Let v = -11 - p. Which is smaller: -2 or v?
-2
Suppose 3*f - 2 = 5*o, -5*f - 6*o + 70 = -o. Which is bigger: f or 8?
f
Suppose 4*u = -u - 40. Suppose 3*g - 4*r - 9 = -0*r, 0 = -5*g + 3*r + 15. Suppose 0*c = -n - g*c - 19, -4*c = -2*n + 2. Which is smaller: n or u?
u
Let p be (-10)/8*(-5)/50. Let c(h) = h - 4. Let r be c(6). Let q be -2 + 7/r - 2. Is q > p?
False
Let b = 44 + -43. Which is smaller: -2/5 or b?
-2/5
Let o = -0.065 - 6.935. Is o < -1/4?
True
Let i(f) = f**2 + 6*f + 6. Let w be i(-4). Let s be 8/30*10/116. Let b = -83/174 - s. Which is bigger: b or w?
b
Let k be (-12)/(-28) + 8/14. Let v be k*(20/6 - 3). Let t = 1 - -1. Is v smaller than t?
True
Suppose 7*j + 6 = j. Which is smaller: 4/37 or j?
j
Suppose a + 2*k - 10 = -5, k + 3 = 5*a. Let b be a/(-3) + 4/(-6). Let t be (-2)/8*(-3 + 5). Is b < t?
True
Let l(w) = w**3 - 7*w**2 + 2*w - 8. Let g be l(7). Let f be (-14)/g - 1/(-3). Let n(b) = -b**2 - b + 1. Let o be n(-1). Is f smaller than o?
True
Let l = -12 + 19. Let m = -97/14 - -3/7. Let j = l + m. Which is smaller: 1 or j?
j
Suppose 4*n - 7 = 3*j, -2*j - 11 - 3 = -5*n. Suppose -3*u = j, 0*u = -f + 4*u + 1. Let b = -0.2 + -0.8. Is f less than b?
True
Suppose 0 = 2*t - 34 + 8. Let b = -9 + t. Is 2 >= b?
False
Let k be 80/(-30) + -2 + 4. Suppose 0 = 2*l + q - 1, -5*l + q - 4*q + 3 = 0. Is l smaller than k?
False
Let d(l) = -l**3 + 5*l**2 - l + 4. Suppose 5*q - q - 20 = 0. Let y be d(q). Is -1 <= y?
True
Let w = -11442/7 + 210205/126. Let u = -67/2 + w. Suppose 0 = -0*j - 2*j + 2. Which is greater: u or j?
j
Suppose 15 = 5*x - 105. Suppose 0 = -5*u + 2*u - x. Let s be (-6)/u*(-3)/9. Which is bigger: 0.2 or s?
0.2
Let v be 0*1/(1 - 0). Let j = 55 + -96. Let n = j + 329/8. Which is smaller: v or n?
v
Suppose 14*x = 7 + 7. Which is greater: x or 1/157?
x
Let q = 423/5 - 85. Is q <= -9?
False
Let c = -13.8 - -14. Which is smaller: c or -0.1?
-0.1
Suppose -7 + 4 = -3*j. Let x be ((-2)/28)/((-2)/(-4996)). Let n = 179 + x. Is n != j?
True
Let t be 2/5 + (-54)/(-15). Suppose -z - 6 = -4*z. Which is greater: z or t?
t
Let i = -1.1 + -0.1. Does i = -1/3?
False
Let s(v) = -v**3 - 17*v**2 + 18*v. Let m be s(-18). Let j = 7/2 + m. Let p be ((-2)/(-1))/(2/5). Are j and p nonequal?
True
Let o = 106 - 67. Which is greater: o or -1?
o
Let g(z) = z**3 + 4 + 4*z**2 + z**2 + z - 2*z**2. Let i be g(-6). Let y be 64/i + 4/10. Which is bigger: -1 or y?
y
Let n = -53 + 74. Let h = n + 6. Suppose 12 = 5*k + h. Is k > -4?
True
Let m(d) = -d**2 + 6*d + 8. Let y be m(7). Which is greater: -1/11 or y?
y
Let w = -0.6 + 11.6. Which is smaller: w or 1/2?
1/2
Suppose -3*y = -0*y + 2*l + 22, 3*y + 29 = 5*l. Let s = -7 - y. Which is greater: -1/4 or s?
s
Let a(w) = -3*w - 1. Let x = 1 + -3. Let f be a(x). Let u be -8*1*1/(-2). Which is smaller: u or f?
u
Let a = -14 + -25. Which is bigger: 1 or a?
1
Let u = -123 - -123. Is u at most as big as 2/111?
True
Suppose 4*n + 8 = 28. Let y be 0 + -1 - n/(-1). Suppose x + y*x = 5. Does 3/7 = x?
False
Let c = -2 - -1. Let z be -1 + 2 - (-11)/(-9). Is z <= c?
False
Let r = -154 + 212. Do r and 59 have the same value?
False
Suppose 27 = -3*j + 3*r, -3*r - 13 = 3*j + 2. Is j > -8?
True
Suppose 2*v - 12 = 2*i, -3*i - 4*v + 21 = -6*i. Let s(o) = -3*o - 12. Let k be s(-5). Let z be (-1)/(-2) - (k + i). Which is smaller: z or 2?
z
Let i = 5 + 29. Let t = -37.9 + i. Let q = -4 - t. Which is smaller: q or -1/8?
-1/8
Suppose -s + 0 = -4. Is 4 at most as big as s?
True
Let n = 3 + -5. Let g be ((-1 - -1)/(-2))/n. Is g smaller than -2/9?
False
Let g(m) = 3*m + 21. Let t be g(-7). Which is smaller: t or 5/9?
t
Let f = 0.108 + 5.792. Let m = f - 6. Let a be (-2*(-6)/8)/(-6). Which is greater: m or a?
m
Let f be (3/6)/((-42)/(-26)). Let x = -5/14 - f. Which is smaller: x or 1/4?
x
Suppose 3*o - 2*d + 3 = 0, -5*o + 0*d - 10 = -5*d. Let k = 1 + o. Is 2 less than k?
False
Let k(d) = d**3 + 6*d**2 + d + 3. Let s be k(-6). Let q be 5/s - (8 + -7). Is q > -4?
True
Let q(i) be the first derivative of 1/4*i**4 + 2 + 3/2*i**2 - 2*i - i**3. Let d be q(2). Is d at most 0?
True
Suppose -4 = m - 5*m. Let t = -1 + m. Are 3/8 and t nonequal?
True
Let s = 16 + -18. Is s bigger than 2?
False
Let f be 5*(12/15)/1. Suppose f*s = 14 + 2. Which is bigger: 3 or s?
s
Let o(x) = x**2 + 5*x + 6. Let d be (-42)/8 + (-3)/(-12). Let b be o(d). Suppose -4*a + b + 6 = 0. Is a > 4?
False
Let n = 0.7 + 6.3. Let z = n - 7. Is 10 less than z?
False
Let o be ((-14)/5)/((-6)/(-60)). Let w be (o/(-21))/((-1)/6). Is w > -7?
False
Let y be (-6)/15 + (-93)/(-20). Does 3 = y?
False
Suppose -2*i = -0*i. Let b = 10 - 19. Let p be (b/6 - -2)*2. Is p bigger than i?
True
Let q = 9.3 - 22.1. Let t = q - -13. Which is smaller: -3 or t?
-3
Let d(n) = n**3 - 5*n**2 + 6*n. Let v be d(4). Let f = v - 6. Which is smaller: f or 3?
f
Let y(x) = x**3 - 8*x**2 - 7*x - 15. Let o be y(9). Which is bigger: 5 or o?
5
Suppose -3*v = -0*v + 4*r - 175, v + 2*r = 61. Which is smaller: v or -0.1?
-0.1
Let b be ((-2)/(-9) + (-100)/126)/(-2). Do b and -7 have the same value?
False
Let b be (-3 - 3/(-3)) + -4. Let s be ((-2)/(-6))/((-4)/b). Is 2 equal to s?
False
Let f(m) = m**2 - 17*m + 21. Let k be f(16). Is 2 equal to k?
False
Suppose -12*s + 13*s + 20 = 0. Is -2/5 at most s?
False
Let y = 0.16 - 0.26. Is -2/9 at least y?
False
Let f be (20/(-6) - -1)*(-32)/(-112). Does -0.11 = f?
False
Let a = 1295 - 4267. Let h = -35219/13 - a. Let o = 263 - h. Which i