5 - 4. Is f equal to -2?
False
Let x be 81/(-90)*(-15)/(-18). Suppose 0 = -2*m + 7*m. Which is bigger: x or m?
m
Let q be 6*2/(-4) + 7. Suppose 2*x - x = 0, q = 4*y - 3*x. Suppose -2*j = -6*j. Are y and j equal?
False
Let m be 1*2/(-6)*-21. Let t = -15 + 21. Which is smaller: m or t?
t
Let p = 3 + -3.1. Let k = -0.1 - p. Let o be 0 + (1 - 2/4). Which is smaller: k or o?
k
Let h be 1350/(-35) + (-4)/(-7). Is h >= -37?
False
Let z be ((-94)/144)/(63/18). Let i = -1/28 + z. Is i greater than -5?
True
Let m = 13 + -13. Is m at least -6?
True
Let l = 0.13 + -0.83. Let h = l - 0.3. Let m = -37/4 + 9. Which is smaller: m or h?
h
Let n(p) = p**3 + 4*p**2 + 2*p - 3. Let g be n(-3). Let r = g + 6. Let w be 4/r*3/2. Is 3/5 greater than w?
False
Let f(m) = m**3 + 4*m**2 - 2*m - 6. Let k be f(-4). Suppose 0 = -3*w - 2*u - 13, -k*w - 9 - 3 = 2*u. Let x = 0.2 + -0.2. Is w at least as big as x?
False
Let t be (3 - 1)*27/(-189). Is -1/7 < t?
False
Let p = -1.15 + 1.03. Is p at least as big as -0.2?
True
Let d = -2/35 + -1/7. Is d greater than 4/3?
False
Let c(d) = d**3 - 8*d**2 + 7*d - 4. Let x = 5 - 5. Suppose -3*y + 2*n + 3 + 24 = x, -3*y = 2*n - 15. Let g be c(y). Is g less than or equal to 1?
True
Let a be 80/16 - 3*3. Are -9/5 and a equal?
False
Let p = 53 - 52. Let z be -2 + 3 + 0 + -1. Which is smaller: z or p?
z
Let z = 93 - 163. Let q be 6/(-2)*z/3. Let w be 48/q + 6/(-21). Is w at least as big as 0.1?
True
Let o(r) = r**3 + 4*r**2 - 2*r - 2. Let z be o(-2). Suppose 4*d - z = 2. Suppose 3*l = l + 2. Is l smaller than d?
True
Suppose 24*p - 29*p = 215. Is -43 equal to p?
True
Let n(c) = 2*c - 7. Let h be n(5). Let v = 2 - h. Let y be v/(-2)*(1 - 1). Which is greater: -2 or y?
y
Let g = -3 - -6. Let j = -5 + g. Let t be (-3 + 3)/(-2 - 1 - -2). Do j and t have the same value?
False
Let z(u) = -u**3 + 8*u**2 + u - 7. Let r be z(8). Which is smaller: r or -2/73?
-2/73
Let k be 0 - 8/(-6) - (10 + -9). Let p = 3 - 2.9. Which is bigger: p or k?
k
Suppose 0 = -4*w - v + 32 - 92, w = -v - 15. Let t = -22 - w. Which is smaller: t or -6?
t
Let y = 53.1 - 56. Let w = 3 + y. Is -3/4 not equal to w?
True
Suppose 9*l - 12 = -3. Is l > 9?
False
Let s = 36.2123 + 0.8977. Let z = s + -39.1. Let h = -0.01 + z. Is -1 > h?
True
Let f = 0.54 + 0.16. Let g = 7 - 7.6. Let u = f + g. Which is smaller: -0.6 or u?
-0.6
Let d = -3 + 18. Let v be d/(-5)*2/(-15). Let p(n) = n**2 - 7*n + 4. Let j be p(6). Is j <= v?
True
Let x = 13 - 6. Suppose 0 = t + 4*u + x, 29 = 3*t - 4*u - 14. Let f be (-6)/t*(-6)/8. Which is bigger: f or 1?
1
Let x = -221/6 - -3091/84. Let z = x + -1/4. Which is greater: 3 or z?
3
Suppose -2*d = -8 - 4. Let v(i) = i**3 - 6*i**2. Let n be v(d). Let c(m) = m - 3. Let a be c(n). Is -3 at most as big as a?
True
Let x = 15 - 14. Which is bigger: -1 or x?
x
Let s be -2*1/4*-2. Suppose -s = n - 0. Suppose -2*w = -0*w + 4. Which is greater: w or n?
n
Let x be (-31)/6 - 10/(-15). Which is bigger: -4 or x?
-4
Suppose -2*s - 2 + 0 = 0. Let q = -1.95 + 2. Let p = -0.05 + q. Is s at least p?
False
Let b = 13 - 13.1. Suppose -2*y + 3*y = 8. Is y at least b?
True
Suppose -4*b + 5*j = -17, -b + 3*b + 3*j = 3. Let c be -1*(b + (-20)/6). Which is greater: c or 0?
c
Let b(v) = -3*v**3 + 2*v**2 + 2*v + 1. Let s be b(-1). Let j = 48 + -47.9. Which is bigger: j or s?
s
Let s be (-59)/(-3) - 4/6. Let c = -18 + s. Which is smaller: c or 6/5?
c
Suppose 3*k + 4 - 1 = -3*w, -4 = -w + 4*k. Let v(p) = p**2 + 7*p. Let j(a) = 3*a + 2. Let i be j(-3). Let g be v(i). Is w > g?
False
Suppose -4 = 2*i - i. Let j = -6 - -10. Suppose j*m + 29 = -4*f + 1, -3*m = 2*f + 16. Which is smaller: i or m?
i
Let k = 23 - 18. Suppose 20 = 4*a - y - 3*y, 0 = k*a - 4*y - 24. Which is greater: a or -2?
a
Let h(j) = -j - 4. Let q be h(24). Is q at least -1?
False
Let p be -3 - (-13)/(-10)*-2. Are -0.1 and p nonequal?
True
Let h = 79/114 + -1/38. Which is smaller: 2.3 or h?
h
Let z = 29/75 - -1/75. Let b be 2 + (2 - (-60)/(-18)). Is z at least as big as b?
False
Let k = 84/205 - 2/205. Let z be ((-8)/(-10))/((-1)/(-5)). Suppose -z*c + 4 = -0. Is k smaller than c?
True
Suppose -23 - 7 = -2*q. Is 12 > q?
False
Let w be 2/4*(10 + -4). Let l(g) = -g**2 + 3*g + 1. Let q be l(w). Is 8/5 at least q?
True
Suppose 101*b - 96*b - 30 = 0. Is b bigger than 4?
True
Let i(l) = -2*l + 9. Let z be i(6). Let x(t) = t**2 - 8*t. Let r be x(9). Let p be 3*((-33)/r + 3). Which is smaller: p or z?
z
Let w(s) = -s**2 + 4*s. Suppose 2*l - 1 = -2*o + 1, 0 = -3*o + l + 15. Let g be w(o). Let t be (-1)/(-4) + (-26)/40. Which is greater: g or t?
g
Let r = 9 - 9. Suppose r = -y + 2. Is y > -6?
True
Suppose 0 = -0*n + n + 2*g + 10, -n = 3*g + 15. Which is smaller: 2/25 or n?
n
Let d = 3.2 + -3. Let l = 9 + -9.2. Let q = l + d. Which is smaller: 1/4 or q?
q
Let v = -120 - -116. Is -4 >= v?
True
Suppose -t + 4 = 3*t. Let n(c) = c - 13. Let p be n(11). Let u be (p/(-9))/(12/(-9)). Are t and u unequal?
True
Let p(b) = b**3 + 6*b**2 - 2. Let f be p(-6). Let u = -1 - 1. Are u and f nonequal?
False
Suppose 0 = 4*k - a + 4, 2*a - 4 = 3*k + a. Let n be (-11)/(-21) - (-4)/(-6). Which is smaller: k or n?
n
Let c = 7 - 15. Let d be (c/6)/(3/9). Which is bigger: -2 or d?
-2
Let c(h) be the first derivative of -h**2/2 + 2*h - 2. Let i be c(2). Which is greater: 1 or i?
1
Let o be (-2)/6 - 707/3. Let k be 6/(-8) - 8461/36. Let n = k - o. Are n and 0 nonequal?
True
Let a(s) be the second derivative of s**4/12 + 5*s**3/6 - s**2/2 - 2*s. Let x be a(-5). Let p = 14 + -11. Does p = x?
False
Let r = -8 - -9. Are r and -0.01 equal?
False
Let r = 37 - 19. Suppose -7*y + 8*y = -r. Is y != -17?
True
Let k = 0.2 - 0.4. Let c = -0.3 - k. Let x = -0.1 - c. Is -0.1 at least x?
False
Suppose -75 - 125 = -5*q. Is q != 41?
True
Suppose -28 = -y - 2*y + 5*m, 3*y + 3*m = 36. Which is smaller: 9 or y?
9
Let w(f) = -f**2 - 4*f - 1. Let p be w(-4). Let k be (-2)/(-1) + 280/(-150). Is k less than p?
False
Let t = -6.02 - -0.02. Let x = -1.3 + 7.3. Let r = x + t. Is r < -0.1?
False
Let q = 37 - 19. Let d be (-10 + 1)*12/q. Is -5 less than or equal to d?
False
Let k = 5 + -1. Let a = k + -5. Which is greater: -4/3 or a?
a
Let w = -2 - -2. Let t be 6/(-4) + 0 + w. Which is bigger: t or -2?
t
Let z = -6 - -4. Let h be (0 + z/(-1))/(-4). Is h < -1?
False
Let v = -10 + 15. Suppose 20 = 4*y - 80. Let r = -123/5 + y. Is v >= r?
True
Let p = -330.02 + 464.1. Let i = 137 - p. Let x = 0.08 + i. Is x at least as big as 2/7?
True
Let o(w) = 8*w**2 + 2*w + 2. Let a be o(-2). Let t be 132/a - 12/3. Is t < 2/5?
False
Let i = -0.5 - -1. Let z = i + -0.8. Let x = z + 0.2. Which is smaller: x or 2?
x
Suppose b - 1 = 2*s, -3*s = 3*b + 20 - 5. Let k(o) = -11*o - 7. Let l be k(0). Is s less than or equal to l?
False
Suppose -2*l + l = 4*c - 16, l + c = 7. Suppose -v - 2*b = v - l, v - 3 = -2*b. Which is smaller: v or -1?
-1
Let o = -8 + 6. Let l be 0/((1 - 0) + o). Let c be l + 0*2/(-6). Do c and 3 have the same value?
False
Let z = 14 + -14.36. Let v = 1.64 - z. Let u(b) = b**3 + 3*b**2 - 3*b + 5. Let n be u(-4). Is v not equal to n?
True
Let q = -4.18 + 4. Let z = q - -0.25. Which is smaller: z or -0.1?
-0.1
Let h = -1 - -1.01. Let v = -0.04 - h. Which is bigger: -0.1 or v?
v
Let s(c) = 14*c**2 - 3*c - 3. Let j be s(-1). Is j > 13?
True
Let k(q) = -q**3 - 7*q**2 - 5*q - 5. Let p be k(-6). Does p = -11?
True
Let v = -8.6 + 8.7. Which is smaller: v or 0?
0
Let f = -189039/136 - -1390. Which is smaller: 0 or f?
0
Suppose -10 = -9*m + 4*m. Suppose m = j + 8. Let d = -16 - -11. Which is smaller: d or j?
j
Suppose -5*g = 14 + 1. Let y be (24/9 + g)*3. Is y less than or equal to 4/9?
True
Let x = -2 - -1. Is 2/11 at least x?
True
Suppose i = z, -3*z = 4*i - 2*i. Suppose i = x - 4 + 9. Is -4 less than or equal to x?
False
Let b = -19610/7 + 176384/63. Let k = b - -26/21. Is k at least as big as 1?
False
Let g(m) = -m + 7. Let s(z) = z**3 + 8*z**2 + 8*z. Let r be s(-7). Let d(o) = -o + 4. Let k(f) = r*d(f) + 4*g(f). Let a be k(1). Which is smaller: a or 5?
a
Let u = -9.7 + 10. Do 0.3 and u have different values?
False
Let d be 14/(-21) + (-70)/(-15). Which is bigger: d or 3?
d
Let c(m) = -18*m**2 + 5*m**2 - 1 - 18*m**2. Let i be c(1). Let j be 0 + i/(-10) + -3. Is j bigger than 1?
False
Let y = -125 - 