 Is f > -0.15?
True
Let z be 5 - -1 - 28/(3 + 4). Is z bigger than 4/5?
True
Suppose -14*x + 12 = -2*x. Which is smaller: x or 4/31?
4/31
Suppose 0 - 6 = -2*n, -y + 7 = 2*n. Let o = y + -3. Let m = -1 - o. Is m at least as big as -2/11?
True
Let c be (-284)/(-18) - (-6)/27. Suppose -x - x = c. Which is smaller: x or -9?
-9
Let s = 2.1 + -2. Let q be (992/120)/(332/(-18)). Let p = q - -4/83. Which is smaller: s or p?
p
Let s be (6 - (-104)/20) + 1. Are s and 11 equal?
False
Let p be (5/(15/24))/2. Let g be (3 + -2)*(1 - p). Is g at most as big as -4?
False
Let c be (-48)/(1 - -2) + 2. Is -14 equal to c?
True
Suppose 4*u = -s + 21, -48 = -5*s + s - 4*u. Let r be ((-24)/(-32))/((-2)/(-8)). Suppose 4*w = -c - 12, 5*w + 41 = -r*c + 5*c. Is c >= s?
False
Let h = -0.3 + 0.3. Let i = -0.1 + h. Let b = 0.05 + 0.15. Does i = b?
False
Let m = 55 + -45. Suppose 4*d = 2*s + 42, 0 = -5*s - 11 - 4. Is d at least as big as m?
False
Let m = -6.33 + -0.67. Is -0.07 less than m?
False
Suppose -3*v - 12 = 18. Let o be (26/v)/((-14)/(-5)). Let y = -115/154 - o. Is 1 != y?
True
Suppose 196 = 3*l + 4*l. Let o = 27 - l. Is -8/9 less than or equal to o?
False
Let g be 2*(45/21 - 2). Let d be 2 - -2 - (-4 + 1). Let s be 2/5 - d/5. Which is greater: g or s?
g
Let k = -0.206 + 3.206. Which is greater: -2/3 or k?
k
Let h(l) = -l**2 + 16*l - 30. Let n be h(12). Which is greater: n or 16?
n
Let y be (13/(-11) - -2) + 8/(-8). Which is greater: 1 or y?
1
Let l be (-6)/(-8)*(-5 - -1). Let c = 5 - 2. Let f = l + c. Does f = 0?
True
Suppose -3*r - 5 = 2*k - 4*r, 14 = k + 5*r. Let d be (2 - 2)/(3 + k). Which is smaller: d or -2/13?
-2/13
Suppose 0*b - 50 = -2*b. Suppose h = 3*o + b + 3, -2*o = -2*h + 24. Is -7 less than or equal to o?
False
Let q = -0.02 + -0.32. Is q greater than 1/3?
False
Let z = 6.1 + -5.9. Is 0 less than z?
True
Let r = -7 + 12. Suppose 2*p - 3 = -3*f, -r*f = -10*f - 2*p + 9. Let i = 5 + -5/2. Which is greater: i or f?
f
Suppose 0*r + 4 = -2*r. Let p = 2.09 + -2.09. Is p equal to r?
False
Let r be 0 + (-88)/20 - -4. Is 7 < r?
False
Let a = -12 - -15. Which is bigger: 1 or a?
a
Let t = 119420/59 + -2024. Which is bigger: t or -1?
t
Let n be (-2)/(-7) + (-108)/(-14). Suppose -3*s - 6 = -0*s, 3*d + 4*s = -n. Which is smaller: 3/5 or d?
d
Let v be (-45)/(-6) - (-2)/(-4). Let y = v - 8. Is y greater than -2?
True
Let v be (222/(-4))/(27/(-12)). Let q = v - 25. Which is smaller: q or -1?
-1
Let n(y) = -y**3 - 12*y**2 + 13*y + 6. Let w be n(-13). Are 3 and w unequal?
True
Let s = 18 + -11. Let w = s + -4. Suppose w*x = -5 + 14. Is 2 at least as big as x?
False
Let v = 1 - -7. Let j be (-6)/v*16/30. Which is smaller: j or -0.09?
j
Suppose -4*c - 3*r = -12, c + 16 = -3*c + 4*r. Which is smaller: 2 or c?
c
Let g(o) = -o - 4. Let l(a) = 2*a + 3. Let d(h) = -3*g(h) - 2*l(h). Let n be d(7). Is n smaller than -1/3?
True
Let t = -32 - -16. Is -16 != t?
False
Let w be 6/(-5)*(-15)/6. Suppose -3*o - o + 4*d = -32, 0 = o + 4*d - 23. Let a = o - 7. Which is greater: w or a?
a
Let v(h) be the third derivative of -h**5/60 - 5*h**4/24 + 2*h**3/3 - 2*h**2. Let o be v(-5). Which is greater: o or 3?
o
Let r(g) = 2*g - 13. Let q be r(6). Is 2/19 <= q?
False
Let o = -176/63 + 18/7. Let a be (-2)/((-4)/(-3) + -2). Let y = 2 - a. Which is smaller: o or y?
y
Let h be (-42)/4 + (-2)/4. Let i = 23 + h. Let g be (-14)/i - (-1)/(-3). Which is bigger: g or -3?
g
Let s = 8.9 - 9. Suppose 0*a = 2*a + 10. Which is bigger: s or a?
s
Let c = 129 + -86. Which is smaller: c or 1?
1
Let k = 100.99 + -109.9. Let u = -0.09 + k. Let q = -12 - u. Is q != -2?
True
Let h be (-267)/91 - (-27)/9. Let n = h + 1256/273. Do n and 5 have the same value?
False
Suppose 0 = 2*x - 0*x - 30. Is x <= 16?
True
Suppose -9 = -x + 3*s, 2*x - s + 39 = 4*x. Is x less than or equal to 35/2?
False
Let n(o) = o - 7. Suppose -2*k = -5*y + 28, -28 = -2*y + 6*k - k. Let t be n(y). Are -0.1 and t non-equal?
True
Suppose -2*u + 14 = 3*y, 0 = 18*y - 20*y + 4. Do -10 and u have the same value?
False
Let w(z) = z**2 + 6*z + 3. Let n be w(-5). Suppose j = 2*b + 40, -b + 0*b + 4*j = 13. Let u be -1 + 4 - b/(-3). Which is greater: u or n?
n
Let t(m) = 7*m**2 + 6*m - 3. Let d(k) = 10*k**2 + 9*k - 5. Let a(p) = -5*d(p) + 7*t(p). Let i = 10 - 14. Let h be a(i). Is h equal to -2?
False
Let g = 286/441 + -10/49. Is 1 at least g?
True
Let m = 5351/15 - 357. Let h = 26 + -27. Which is greater: m or h?
m
Suppose 0*p - p + 2 = 0. Suppose -p + 7 = -5*n. Are n and -1/2 nonequal?
True
Let g = 14 - 13.9. Let c = -3.9 - g. Let a be -1 + 2 + 5/(-3). Which is smaller: a or c?
c
Let j be -2 + 5 + (-109)/19. Let g = -1158/437 - j. Is -1 at most g?
True
Let r = 16 + -8. Suppose -2*o = -5 - 1. Suppose 0 = -5*c + r - o. Do 0 and c have the same value?
False
Let w be (2 - 1)*2*-2. Let n = -26/7 - w. Which is bigger: -1 or n?
n
Suppose 0 = -0*g + 5*g. Suppose -2*p + b - 8 = 0, -5*p - 7*b = -5*b + 20. Is g greater than p?
True
Let k be -57*3*1/6. Let d = k - -28. Which is bigger: 2 or d?
2
Suppose -f - 9 = -4*v - 0*f, -3*v = -4*f - 23. Is v less than 0?
False
Let h be 2/(-10) - (-4 + (-84)/(-30)). Are -2/211 and h equal?
False
Let s = 0.35 + 0.65. Is s less than 8?
True
Let s be 4/((-8)/(-6)) + -1. Let v = s - 9. Let z = v + 6. Do -2/3 and z have different values?
True
Suppose -14 = -5*x - 0*x - a, -x + 4*a = 14. Let l = -3 + x. Let r = -11 - -9. Which is smaller: r or l?
r
Let j(c) = 3*c**2 - 8*c + 7. Let z be j(2). Is z at most 20/11?
False
Let h = 21.8 + -60.2. Let n = h - -43. Let z = -5 + n. Is z at most as big as -1/3?
True
Suppose z = 3*u, -2*z + z + u = -2. Suppose -2*v = 5*q - 1, -z*v = -q + 6*q - 9. Let y be 2/v + (-3)/108. Which is smaller: y or -1?
-1
Let p = 5 + -1. Suppose -2*k - 6*u = -u - 19, -p*u + 2 = -5*k. Suppose -4*z + 6 = -2. Is z at most k?
True
Let z be -2 + (-4)/(-2) - 3. Is 3 greater than z?
True
Let i(q) = q**3 + 7*q**2 + 8*q + 13. Let o be i(-6). Is 12/5 smaller than o?
False
Let o be (-2)/(-9) - (-7)/9. Let f = 9 - 11. Which is greater: f or o?
o
Let x be 2/14 - 615/(-105). Is 34/5 not equal to x?
True
Suppose -5*o - 4 = -6*o. Suppose -o*y - 21 = -y. Is y less than or equal to -5?
True
Let f = -22/25 - -7/25. Is f less than or equal to -0.1?
True
Suppose 5*c = 6*c + 4. Is c > -4?
False
Let f(d) = d - 11. Let t be f(0). Let p be t/15 + (-10)/(-30). Which is greater: p or -3/2?
p
Let h(r) = -r**2 - 12*r - 12. Let m be h(-11). Is m bigger than -1/12?
False
Let j = -4 - -2. Let r(i) be the third derivative of -i**5/60 + i**4/4 + 5*i**3/6 - 2*i**2. Let b be r(7). Is b less than j?
False
Suppose -3*h + a + 15 = h, -3*a = 3*h - 15. Let k = -0.0107 - -2.0107. Which is smaller: h or k?
k
Suppose 28 + 37 = -y. Are -66 and y equal?
False
Let l(j) = -j**2 - j. Let p be l(0). Let u = -11 - -2. Let t be 2/u - (-10)/(-36). Which is smaller: t or p?
t
Let c be (3/14)/((-6)/8). Let d(n) = 7*n**3 - n**2 + n. Let v be d(1). Let y = v - 6. Which is smaller: c or y?
c
Let w(g) = -g**2 - g + 56. Let x be w(7). Let y = 232/525 - 1/75. Is y at least as big as x?
True
Suppose 3*w = -r, -5*r + 12 = -r. Let k be -2 + (w/1 - -1). Is k <= -2/3?
True
Suppose -3*r = 2*r. Let u = 8 - 5. Let p be u + 15/(-9) + -1. Is p at most as big as r?
False
Suppose -4 = 5*p + 26. Suppose 8 - 43 = 5*u. Which is smaller: p or u?
u
Let d = -4/39 + 10/13. Let u = 0.2 - 0.18. Let i = 0.12 - u. Which is smaller: d or i?
i
Let m = 6 + -4. Let j be (m + -3)*2/6. Let o = 391/6 + -65. Which is smaller: o or j?
j
Let r(i) = i**2 - 9*i - 5. Let g be r(9). Which is smaller: -4 or g?
g
Suppose -c = 3*c. Which is smaller: c or 1/14?
c
Let l(y) = -6*y + 8. Let j be l(3). Is j at most as big as -9?
True
Suppose -2*n - 5*u = 31, u = -3*n - u - 19. Let w be 2*(27/(-6))/n. Which is bigger: w or 4?
4
Suppose 0*d = -4*a - 5*d - 28, a + 2*d = -10. Suppose 6 + 6 = 3*f. Let c be (a/(-3))/(f/3). Is 1 <= c?
False
Let i be (-52)/24 - 2/(-1). Let z = -3 + 5. Suppose 3*r - r = z. Which is greater: r or i?
r
Let z(d) = d**3 + 6*d**2 + 6*d + 5. Let i be z(-5). Suppose 5*a + 0*f = -3*f, 0 = 2*a - 2*f. Are a and i equal?
True
Let j be 8/((-96)/(-90))*1/290. Is 1 greater than or equal to j?
True
Suppose -17 = -6*h + 1. Suppose 12 = 5*j - 3. Is h less than or equal to j?
True
Let y = 94513/88 - 1074. Which 