Is -9 <= f?
True
Let l = 110 - 123. Let y = -124/581 - 6/83. Is y < l?
False
Let j = 0.4 + -0.3. Let y = -6 + 2. Is y not equal to j?
True
Let x be (0 - 0/2) + 2. Suppose 0 = p - 3 + x. Let f = 88 - 527/6. Is f >= p?
False
Let v be (-6)/(-8)*(0 + -1). Suppose -5 = 7*u + 9. Is u at most v?
True
Let v = 5 + -3. Let s = v - 2.2. Let n = -0.2 - -0.1. Is s <= n?
True
Let x(c) be the second derivative of -c**4/12 - 7*c**3/6 + 5*c**2 + c. Let h be x(-8). Is h at least as big as 2/3?
True
Let q = -9101/15 + 607. Is q not equal to 1?
True
Let d(o) = 16*o**2 + o + 1. Let m be d(-1). Is 16 at most as big as m?
True
Let m = -16.27 - -16. Let h = -0.03 + m. Is h greater than or equal to -2/3?
True
Let g be -2*(8/18)/((-2)/(-9)). Let s = -3 + 1. Is g greater than or equal to s?
False
Suppose 5*t + 1 = 6*t. Are -2/11 and t nonequal?
True
Suppose 7*w + 2 = -5. Is w greater than or equal to 1?
False
Let o be 1/(-4) - (-5)/4. Let z = 441 + -439.8. Which is greater: o or z?
z
Suppose 34 = -s + 4*n, s + 8*n - 2 = 3*n. Is -18 less than s?
False
Let w = -4 + -16. Let o be 490/4*(-4)/w. Let j = o + -25. Which is smaller: j or 0?
j
Suppose -5*r + 2*r = -u + 17, 0 = -r - 5*u - 11. Does r = -2?
False
Let v(l) = l**3 - 12*l**2 + 2. Let f be v(12). Suppose 5*n - j - 3 = 0, 0 = 2*n + f*j + j + 9. Does -20 = n?
False
Let v = -0.9 + 6.9. Let d = 5.4 - v. Let l = d - 0.4. Which is bigger: l or 0.1?
0.1
Suppose 14 = -3*m - 4*w, 10*m = 11*m + 4*w + 10. Which is bigger: -10/11 or m?
-10/11
Let z = 0 - 0. Suppose b + 4*o = 26, -4*b + 4*o = -z - 24. Let s be (-4)/(-15) - (-4)/b. Is s less than or equal to 0?
False
Let t = 0.19 - 0.2. Let b = t - -0.61. Let n be (5/15)/(1/3). Which is smaller: b or n?
b
Let o = 0.79 + -5.79. Are -5/2 and o nonequal?
True
Let o = 1/40 - -3/8. Let p = -48.1 - -47. Which is bigger: o or p?
o
Suppose -2*o + 109 = 5*n - 75, 0 = o + 3*n - 93. Does o = 87?
True
Suppose -4*d = -2*d. Let w be 62/(-198) - 6/(-27). Is w equal to d?
False
Let j = -35 + 26.8. Is j > -1?
False
Suppose 4*w - 32 = -8. Suppose -2*j + w = 4. Is j less than 2?
True
Let d = 17 - 19. Let c = -26/3 + 9. Is d less than c?
True
Let n = -1.6 + 0.6. Is -0.2 at most n?
False
Suppose 5*z - 13 = 12. Let o(p) = -p**3 + 6*p**2 - 5*p - 4. Let y be o(z). Is y bigger than -3?
False
Let g = 118 - 109.9. Let p = -8 + g. Let b = 0 - p. Is 1 at most b?
False
Let x be 29/(-5)*10/4. Which is smaller: x or -14?
x
Let b be (2/3)/(1/(-3)). Suppose 111 - 123 = 12*j. Which is smaller: j or b?
b
Let g = 8 + -4. Let b be 32/(-66) + g/6. Let y(w) = w - 9. Let k be y(8). Which is smaller: k or b?
k
Let p(v) = v**3 - 4*v**2 + 2*v. Let s be p(4). Suppose -2*q = s, -5*y + 2*q + 4 = -y. Which is bigger: -6/7 or y?
-6/7
Let u = -35 - -47. Which is smaller: 5 or u?
5
Let w = 0.07 - 1.15. Let k = 0.08 + w. Which is bigger: k or -3?
k
Suppose -3*y + 10 = 4*j, -1 = 2*y - 6*j + j. Suppose y = -4*b + 2*b. Do -1 and b have the same value?
True
Let a = -2 - -5. Suppose -a*u + 0 = 12. Is u at most as big as -3?
True
Let s = -1/585 - -397/4095. Let p = 5 - 1. Suppose -q = -5*q + p. Which is smaller: s or q?
s
Let p be ((-12)/(-14))/((-1)/7). Let i be ((-5)/3 + 1)*p. Let z be (-2)/7 - i/(-14). Is 0 bigger than z?
False
Let z = 7.2 + -7. Let h = 0.2 - z. Do h and -11 have the same value?
False
Let y = 134 + -133.97. Is y equal to 0.14?
False
Let f be (-26)/126 - (-4)/(-18). Suppose 16 = -18*i + 22*i. Suppose -3 = m - i. Is f != m?
True
Let f be 7 - (-3)/(2 + -5). Let j = -15 + f. Let v be 3/j + 13/21. Do v and 2/7 have different values?
False
Let w(d) = 4*d - 27. Let y be w(11). Let h = -17 + y. Is 6 != h?
True
Let w(x) = 4*x - 5. Let g be w(3). Is -3 less than or equal to g?
True
Let i = 0.006 + -4.006. Is i equal to -0.1?
False
Suppose 0 = -2*a + 2 + 12. Let q be a/(-5) - (-8)/20. Which is greater: q or 1/3?
1/3
Let a = 10 - 7. Let h be 12/18 + (-29)/a. Which is smaller: h or 0?
h
Suppose 0*z + a - 25 = -3*z, -3*z - 5*a + 17 = 0. Let d be (-6)/z*4 - -2. Do 0.1 and d have the same value?
False
Let f = -0.7 + -2.3. Let b = 4 + f. Which is smaller: -2/25 or b?
-2/25
Let q be (1 - (-6 + -1)) + 1. Suppose 3*w + q = -0. Let b be ((-4)/(-6))/(w/9). Which is bigger: b or -4?
b
Suppose 0*r - 52 = -r. Let f be (-1)/4 - r/(-16). Let q be 105/14*(-4)/(-6). Which is greater: f or q?
q
Let o be 3/6*-1*-12. Suppose -3*w = -2*a - 1, -3*w + o*w + 11 = -4*a. Let m be (16/(-6) - -2)/2. Is w > m?
False
Let s be (3/2)/(58/(-39)). Let y = s + -7/29. Suppose -2*l + 4 = -4*l. Is l bigger than y?
False
Suppose -2*n = -3*n + 8. Suppose 3*o - n + 2 = 0. Let f be ((-3)/(-2))/(18/o). Which is smaller: 1 or f?
f
Suppose -3*x + 2*x - r - 68 = 0, -x - 2*r = 72. Is x equal to -62?
False
Let b(s) = s - 1. Let t be b(5). Suppose -28 = 5*g - t*u, u - 18 = 4*g - 0. Is -5 greater than g?
False
Let i be 2/5 + (-17)/5. Let s be 1/i - (-2)/(-3). Let o be 8/(-20) + 16/(-10). Is o equal to s?
False
Suppose -4*n = 5*o + 57, -7*n + 5*o - 15 = -2*n. Which is bigger: n or -0.5?
-0.5
Let j be 24/32 + 17/(-12). Let h = 56 + -51. Which is smaller: h or j?
j
Suppose -3*l = -3*m + 15, -4*m - 2*l = -11 - 3. Suppose -t - 1 = -m. Let s be (-3 + t)/(-2 - 0). Is s bigger than -2/3?
True
Let k be 7/(-26) + 9/36*2. Which is smaller: 4 or k?
k
Let h be (-142)/(-268) + 7/(-14). Suppose 0 = l - 0*l. Which is greater: h or l?
h
Let h = -2 - -5. Suppose -3 = 2*a - 5, 0 = h*t - 4*a - 5. Is t less than 2/5?
False
Let v = 1154 + -9253/8. Which is smaller: -2 or v?
v
Let z be (2 + 3 + -3)*-2. Let g be 30/3*z/36. Are g and -2 non-equal?
True
Let u(p) = 2*p + 6. Let w be u(-5). Let t = 3 + w. Let q be (4/(-10))/((-24)/20). Which is bigger: q or t?
q
Let i be 4/(-4)*-3*3. Let u be 3/i*9*2. Are u and 6 non-equal?
False
Let d = -2.082 - -2.1. Let h = d - -3.882. Let g = -4 + h. Is -3/5 less than or equal to g?
True
Let l = 1/2722 - -704995/8166. Let v = l - 87. Suppose 0 = -2*o + 4 - 6. Is o less than or equal to v?
True
Let h(k) = 3*k - 26. Let t be h(18). Which is smaller: 27 or t?
27
Let v(u) = u**3 + 5*u**2 - 10*u + 5. Let i be v(-7). Is i <= -23?
True
Let j = 6 + -1. Let t be (j/(-15))/(1/3). Let m be t - 0 - 8/(-12). Which is smaller: -0.1 or m?
m
Let z = 0.01 + -5.01. Let m = z - 3. Let p = 8.1 + m. Which is greater: -0.1 or p?
p
Suppose -2*o + 2*a + 0*a = -14, -a - 17 = -3*o. Suppose -2*v = c - o*c, 0 = -3*c + v + 1. Which is greater: 6/7 or c?
c
Let v(p) = -3*p - 5. Suppose 0 = -3*o + 2*o - 13. Let b(i) = -i**3 - 14*i**2 - 13*i - 4. Let u be b(o). Let t be v(u). Which is bigger: t or 6?
t
Suppose x + 1 = 2*w - 0, 4*w = -3*x + 17. Let f be (-12)/18 + (-1)/x. Is f smaller than -1/16?
True
Let u = 1 + -11/5. Let b = u - -8/15. Let q be ((-9)/(-6))/(-1 + 4). Is b greater than q?
False
Suppose -5*p - x = -20, 0*p - 2*p + 8 = 3*x. Is p bigger than 4?
False
Suppose 4*w = 15 + 13. Let b = w - 6. Let z be 18/4 - b/2. Do 4 and z have different values?
False
Let i be 0 + (4 + 1)*1. Let b = 16 - i. Which is greater: b or 12?
12
Let a be -1 + ((-9)/6 - -2). Suppose 1 - 3 = h. Is a > h?
True
Suppose 0 = k - 4*k + 9. Let v(u) = -u**3 + 4*u**2 - 4*u + 3. Let g be v(2). Is g at most k?
True
Let t = 12 - 30. Let k = t - -18. Which is smaller: k or 1/3?
k
Suppose -2 = 4*r - 3*w + 3, -4*w + 12 = 0. Is r smaller than -0.1?
False
Suppose -4*z = p + p + 4, -5*z - 16 = -3*p. Let k be (z - 0)/(-2 + 1). Let t be 0 + 1 + 2/(-8). Does t = k?
False
Let t be 6/14 - 36/84. Suppose b - 5*b = t. Is -2/81 at most as big as b?
True
Suppose 0 = 6*v - 4*v. Suppose 3*h - 3 = -v. Is h bigger than 0?
True
Let u(w) = w**2 - 12*w + 11. Let l be u(11). Which is bigger: l or 2/5?
2/5
Suppose 0 = 3*o - 14 + 5. Suppose 2*d = -2*k + 3 + 1, 5*d = o*k - 14. Is -3 equal to d?
False
Let d(w) = w**3 + 7*w**2 - 7*w - 3. Let r be d(-8). Let s = r + 11. Which is greater: s or 1?
1
Let u be (-16)/(-24)*174/104. Let r = 8/13 - u. Which is greater: -3 or r?
r
Let k = 5 - 8. Let h be 2 - k/10*-8. Which is bigger: h or -1?
h
Let m = -3.01 + 3. Let p = 0.103 + 1.907. Let l = m + p. Which is smaller: -2/7 or l?
-2/7
Let l be (13/3510)/(1/(-4)). Let j = 83/135 + l. Which is smaller: 2 or j?
j
Let o(n) = -2*n**2 + 4*n - 3. Let q be o(2). Suppose f = 0, -j - 4*f = 2*j - 3. Let u = j + -3. Is q less than or equal to u?
True
Suppose 0*m - m - 7 = -3*