2 - 6*f - 4. Let u be c(-5). Let m = -47/66 - -6/11. Is m greater than u?
False
Let y = -2 + -1. Let g = 0 - y. Suppose -j + 6*j = 5*b + 15, -5*b = -2*j. Which is smaller: g or b?
b
Let c = 35 - 35. Is c bigger than -1/9?
True
Let h = -79 + 123. Are h and 44 non-equal?
False
Let l = -0.5 + 1.5. Is l <= 4/5?
False
Let o = 0.3 + -0.3. Let w = -0.03 - -2.03. Which is smaller: w or o?
o
Let s = -91/1161 + -3/43. Is 0 smaller than s?
False
Suppose 3*f + 29 = -4*u - 2*f, u - 4*f - 19 = 0. Let l be (-9)/3*u/(-3). Are -3/4 and l nonequal?
True
Let t = 3.6 + -3.5. Let u = -0.1 - -0.1. Let c = u + t. Which is smaller: -0.1 or c?
-0.1
Let b(y) = -y**2 - y - 7. Let h(d) = -d**3 - 4*d**2 + 8*d + 1. Let l be h(-6). Suppose 5*r = 4*v - 20, -3*r - r + l = 5*v. Let c be b(r). Is -7 smaller than c?
False
Suppose -v = -3, -u - v + 8 = -0*u. Let p be -1 + u + 0/2. Suppose 2*s = 4, p*l + 5*s - 4 = 10. Which is smaller: l or -1?
-1
Suppose -1 + 0 = d. Suppose 16*i - 6*i = 0. Which is greater: d or i?
i
Suppose -5*i = -2*y + 17 + 15, 5*y + 25 = -5*i. Which is bigger: i or -9?
i
Let m(s) = -s + 9. Let y be (3 + -3)/(-3) - -9. Let w be m(y). Is w greater than 1/6?
False
Let y be (-3116)/(-396) - (-4)/(-18). Let p = y - 78/11. Is p at most 0?
False
Suppose 0 = 4*q - 2*d - 96, 0*d = -5*q - 3*d + 120. Which is greater: q or 26?
26
Let p = 18.2 - 18. Which is bigger: p or 0.1?
p
Suppose 8*x = 5*x + 6. Let q be 2/(-5)*(-5 - 0). Suppose -4*v = -4, -q*z + 0*v + 2 = -2*v. Is z < x?
False
Let n(c) = 2*c - 2. Let s be n(2). Let y be (s/9)/((-2)/(-3)). Let p be 26/(-40) + (-2)/(-8). Which is greater: p or y?
y
Suppose -3*x = -4*y + 28, 6*y + 34 = -2*x + y. Are -3 and x equal?
False
Let a = 13 + -8. Suppose 10 = -2*g - a*j, j + 2 + 0 = -g. Suppose 3 = q + 4. Which is smaller: g or q?
q
Let z = -0.8 + 0.6. Is 2/15 greater than z?
True
Let p = -2.9 - -3. Let s = 0.04 + -25.04. Let d = s + 25.1. Are d and p equal?
True
Let d = -2.4 + 0.4. Let g = 2.4 + d. Let q = -0.4 + g. Which is smaller: -3/2 or q?
-3/2
Let q = -0.2 + 0.2. Let j = 7 - 2. Suppose 0 = x + 2*v + 10, -j*v = 2*x + 22 + 2. Which is bigger: x or q?
q
Let g be 4*2/4 - 0. Let s(n) = 2*n - n - g*n + 5. Let r be s(6). Is r less than or equal to 2/9?
True
Let h = 628/7 + -90. Let j = 3 - 5. Let q be 1/j - 4/8. Which is bigger: h or q?
h
Let h = 2.82 + -2.7. Is 1 != h?
True
Let c = -0.2 - 5.8. Let n = 7 + -5.8. Let d = n - 2.2. Is c at least d?
False
Let v = 9 - -1. Suppose 5*b + j = -8, -3*j - v = b - 0*j. Is b >= -2/7?
False
Let a = 0 + 3. Suppose -a*v = 4*o - 17, 3*o = -3*v + 8*v + 20. Let h = 551/52 - 43/4. Is h greater than or equal to v?
True
Let r = 13 - 9. Suppose -4*s = -5*t - 3 - 8, -r*s = -4*t - 12. Which is bigger: 2 or s?
s
Let m = 0.2 - -0.8. Let x(t) = -t**3 - 10*t**2 - 10*t + 5. Let g be x(-9). Suppose f = 2*d + 3*d - 9, -3*f + 2*d - g = 0. Is m greater than f?
True
Let w be 4/6 - (-4120)/192. Let l = w - 22. Is l equal to -1?
False
Let n = -62 + 312/5. Let d(o) = -o**2 - 3*o. Let a(c) = -c**3 - 4*c**2 - 3. Let g be a(-4). Let z be d(g). Which is smaller: n or z?
z
Suppose -5*l - 11 = h, 4*l - 23 = -3*h + 3*l. Let w(d) = -2*d**3 - d**2 + 3*d + 2. Let c be w(-2). Does c = h?
False
Let l = -1 - -1.5. Which is smaller: -0.1 or l?
-0.1
Let v(r) be the third derivative of -r**6/120 + 7*r**5/60 + r**4/24 + 5*r**3/6 + 3*r**2. Let p be v(7). Let y be -3*5/(45/p). Is y bigger than -3?
False
Let l(a) = a + 1. Let y be l(4). Let i = -4 + y. Let r be 0 - (i/3 - 1). Which is greater: r or -4/7?
r
Suppose 3*w - 5 - 10 = -2*z, -w = 5*z - 18. Suppose -5*f - w = 7. Which is greater: f or -11/5?
f
Let j be (8/6)/(4/(-6)). Suppose 3*w - 10 = 2. Suppose 0*x = -4*x - w. Which is greater: x or j?
x
Let d = 13 + -3. Suppose 0 = 5*l - 5 - d. Which is smaller: l or -0.1?
-0.1
Suppose 5*y + 14 = -2*c, 3*y - 4*y - 4 = c. Let s be (4/3)/(11/(-1023)). Let j = s - -623/5. Which is greater: j or y?
j
Let w = -65697331/9 - -7242975. Let u = 56521 + w. Let v = 207 + u. Which is smaller: -1 or v?
-1
Let r(j) = j**2 + 2*j + 5. Let u be r(-6). Is u less than or equal to 29?
True
Suppose 5*y = -4*z, -y - 5*z + 5 + 16 = 0. Let n be (12/2)/(y/(-6)). Suppose 2*h + n = a + 5*h, 3*a - 7 = -4*h. Which is bigger: a or -4?
a
Suppose 4*n + 4*c - 7 = -n, -n = 3*c - 8. Let z = -3/49 - 37/196. Is z not equal to n?
True
Let r be -1 - (-5*1 - -1). Let w = -49 + 19. Let l be (-2 - w/9)*3. Which is bigger: r or l?
l
Suppose f - 3*m - 2 = -4*m, 5*m = -f - 10. Suppose 0 = -q + 2*q + f*d - 42, 30 = q + d. Suppose -30 = 4*k - 9*k - 4*i, k + 5*i = q. Is 2 equal to k?
True
Let i = -53 - -57.3. Let m = i + -4. Let s = m + 0.7. Is s at least as big as 1/6?
True
Let p = -58 - -289/5. Which is smaller: 0.05 or p?
p
Suppose -2*v = -4*v + 12. Suppose 4*a = -u - 3 - v, 0 = -5*a - 3*u - 20. Let f be a - (1 + 14/(-10)). Is -1 at least as big as f?
False
Let p(r) = -r. Let a be p(-2). Let d be (-7)/(-6) - (a + -1). Let b(f) = -f**3 + 4*f**2 + 7*f - 11. Let u be b(5). Which is bigger: u or d?
d
Let d be (1/(-34))/(3/(-12)). Is d smaller than -1?
False
Let y(m) = -m + 1. Let v be y(-3). Suppose 5*w + 8*b - v*b - 36 = 0, -4*w - 5*b + 36 = 0. Suppose w*q = 2*q. Do -2/15 and q have the same value?
False
Let y(i) = -i**3 + 2*i + 1. Let z be y(-1). Let j = 9 - -3. Suppose 0 = d + d + 2*f - 6, -4*f + j = -5*d. Are z and d unequal?
False
Let l = -15 - -1. Let b = -10 - l. Is b > 4?
False
Let a be (-8)/(-6) + (-6 - -4). Do a and -1/20 have different values?
True
Let j(x) = -9 - 3*x**2 + 5*x**3 - 6*x**2 - 6*x**3 - 10*x. Let r be j(-8). Is r equal to 6?
False
Let h be (40/(-15))/((-2)/(-6)). Let f(k) = -k**2 - 7*k + 5. Let t be f(h). Do t and -3 have the same value?
True
Let n be 1*2*15/10. Suppose -5*b + n*v = -6, 0*b + 5*b - 2*v - 9 = 0. Suppose -2*i - w - 4 + 3 = 0, -3*w = -i + 17. Is b equal to i?
False
Let t = -0.03 + 0.83. Let n = 0.2 + t. Let u = 12 + -11.9. Do u and n have the same value?
False
Let y = 2 + 0. Suppose -y*w + 0 = -4. Which is bigger: w or 4/5?
w
Let a = 58/11 + -776/143. Suppose -4*d - 9 = 5*j - d, 2*d = 2*j - 6. Which is greater: a or j?
j
Let v = 43 + -41. Is v at most 0.4?
False
Let q = -13 + 9. Which is smaller: q or -3?
q
Let t be 1/3*3/(-13). Suppose 3*m + 3 + 0 = 0. Which is bigger: m or t?
t
Let w = 53 + -374/7. Which is smaller: w or 2/3?
w
Let o = -6 - -10. Suppose o*w - 14 = 2, 0 = -a + 4*w - 15. Is 1/4 smaller than a?
True
Let x = 0.11 - -4.89. Let d = x - 9. Which is smaller: d or 0?
d
Suppose 2*f - 2*u - u + 2 = 0, 0 = -2*u - 4. Let y(g) = g - 3. Let r be y(-2). Which is smaller: f or r?
r
Suppose -2*o - o - 5*i - 56 = 0, -2*o + 4*i = 8. Is -12 at most as big as o?
True
Let h(q) = -q**3 - 13*q**2 - 5. Suppose 17 + 9 = -2*x. Let w be h(x). Is -5 at least as big as w?
True
Let z(p) = p**3 + p**2 - 3. Suppose -b + 4*m - 12 = 0, 0 = -m + 2*m - 3. Let n be z(b). Let v = 0 + -4. Is n smaller than v?
False
Let r(z) = -z**3 + 4*z - 7. Let q be r(-4). Which is bigger: q or 40?
q
Suppose -7 = 4*y + 17. Which is smaller: y or -7?
-7
Let b be 7*-2 + (0 - -2). Let x be 2/3 - (-11)/b. Which is greater: x or 2/11?
2/11
Let c(q) = -5*q + 3. Let g be c(1). Is g smaller than -5/4?
True
Let d = 0.01 + -0.41. Let h = 199.8 - 200. Is d equal to h?
False
Suppose -x = -4*x. Suppose 2*h + 2*h = x. Are h and -1/6 non-equal?
True
Let v(y) = y - 33. Let t be v(12). Which is greater: -20 or t?
-20
Let k be (-1 - -8) + 3 + -2. Let c = k - -2. Let b be 1/2 + 5/c. Is -3 at least b?
False
Let m be 16/(-6)*12/(-8). Let y = 4 + -1. Suppose -2*s + y*s = 3. Which is greater: s or m?
m
Suppose -3*t + 5*q = -13, 12 = -5*t - 3*q - 23. Let z(k) = -k**3 - 4*k**2 - k - 4. Let y be z(t). Do -1 and y have the same value?
False
Suppose 0 = 2*v + 11 + 5. Which is greater: -7 or v?
-7
Suppose 0 = 5*o + 5*t + 5, 1 = t - 0. Let f = 42998 + -11179651/260. Let h = f + 3/52. Is o < h?
True
Suppose -19 = 3*y - 16. Let p be (-2)/(-4) - (-26)/(-12). Is y not equal to p?
True
Let h = 0.36 + 0.64. Is h greater than or equal to 14?
False
Let o be 72/(-780)*10/(-3). Let p = 6 + -3. Let c be (12/9 + -1)*p. Which is greater: o or c?
c
Suppose 10 = -2*u, -5*y + 0*y + 3*u = -35. Is 6 less than y?
False
Let i = 1173/365 + -16/5. Which is smaller: 0 or i?
0
Let h = -4 + 3.8. Do -1 and h have the same value?
Fals