*2 - 8*c + 6. Let t be z(g). Is 0 greater than or equal to t?
True
Let i(l) = l**3 + 4*l**2 - 6*l - 6. Let w be i(-5). Let d = 3 - -1. Is d smaller than w?
False
Let q = -24 - -17. Let b be (2 + q/2)/(-3). Suppose 3*k + 0*k = 6. Which is smaller: k or b?
b
Let z(d) = -d - 4. Let h(j) = -j**2 - 9*j - 11. Let p be h(-8). Let b be z(p). Is -2/19 equal to b?
False
Suppose 5*w = 8*w + 21. Let q = -5 - -3. Let z be q/(-8) - w/4. Are z and -2 non-equal?
True
Let q(v) = -v**2 - 7*v - 13. Let k be q(-3). Which is bigger: k or -1/38?
-1/38
Let f(h) = h**2 + 8*h + 1. Let x be f(-8). Let s be (4/(-102))/(1/3). Is s < x?
True
Let d = 0.2 + -1.2. Let k = 47 - 47.2. Which is bigger: d or k?
k
Suppose -2*j - 17 - 2 = f, 2*f + 35 = -j. Let l be (f - -1)*(-5)/30. Is l bigger than 4?
False
Let r = -4.9 + 5.9. Which is greater: r or 0.3?
r
Let q be (72/42)/((-6)/(-21)). Which is bigger: 4 or q?
q
Let q = -199/15 - -38/3. Let p = 0.08 + -0.08. Which is bigger: q or p?
p
Let l be (-4)/(-18) - (-2698)/(-72). Let y = -37 - l. Which is bigger: y or -2?
y
Let w = 11 - 11. Do w and 3/5 have the same value?
False
Suppose 10 = a - 5*g, 0*a - 5*g = 3*a - 10. Suppose -a*h + 4 = -2*v, h - 8 = -2*h + 4*v. Suppose 0 = -h*i - i. Are i and 5/4 nonequal?
True
Let b = -6.3 + 8.3. Which is smaller: 3/7 or b?
3/7
Let m(i) = -i**2 - 5*i + 3. Let h be m(-5). Which is greater: h or 2?
h
Let y = 6 - 2. Which is bigger: y or 13/4?
y
Let l be (3/(-2))/(11/(-22)). Suppose 3*j + f + 4*f = 0, l = 3*j + 4*f. Do j and 4 have the same value?
False
Let q(n) = -n**2 + 10*n + 16. Let i be q(12). Which is smaller: -6 or i?
i
Let a = -3 - -11. Which is greater: a or 9?
9
Suppose 12 = -2*w + 5*w. Which is greater: 5 or w?
5
Let i = -0.01 - 2.99. Let x = 345 - 341.97. Let q = i + x. Do 0.1 and q have the same value?
False
Let y be -6 - (0 + -1)*1. Let d be y/(-10) + 7/(-10). Is 0 at least d?
True
Suppose 5*h + 5*n = 20, -2*h + 5*h - n = 0. Let j be h - (-3)/(-18)*4. Which is bigger: j or 0.1?
j
Let a(f) be the first derivative of f**4/4 - f**3 + f**2/2 + 1. Let d be a(1). Is -1 greater than d?
False
Suppose -5*v + 4*v + 32 = 0. Let z be v/40*10/12. Is z < 6?
True
Let k be 12/(-3*(-2)/6). Suppose t - k + 4 = -2*f, 3*t - 9 = -f. Which is bigger: f or -1?
f
Let o be ((-3)/(-30))/(1/(-2)). Which is bigger: -1 or o?
o
Suppose -4*t + 0*t = -12. Let z = t + -2. Let r = -3 - -4. Is r less than z?
False
Let q = -293/2948 + 7/44. Let i = q + -258/2077. Are i and -1 equal?
False
Suppose 3*y - 6*y - 3 = 0. Let f = -1 - y. Let w = 11/9 + -8/9. Which is bigger: f or w?
w
Let q(n) = -3*n**2 - 17*n + 5. Let d be q(-6). Is d at least -2/81?
False
Let o = 3.9 - 4. Let y = 2 - 9. Are y and o nonequal?
True
Let y(w) = w**2 + 9*w - 5. Let o be y(-10). Suppose 0 = -2*n + 3*m + 21 - 3, 5*m = -o*n + 20. Is 6 equal to n?
True
Let l = 9 + -6. Suppose 5 = -2*o + l*o. Let y = o + -8. Does y = -1?
False
Let j be 383/11 - 4/(-22). Suppose 0 = 3*q + 2*f - j, 9 = 2*q - q - 2*f. Is 11 greater than q?
False
Let x be (-3 + 1)*4/(-8). Which is bigger: x or 1/15?
x
Let h be 0/(-3*8/12). Let y be 1 - h - 105/111. Are -1 and y unequal?
True
Let a(z) = z**3 - 7*z**2 + 3*z - 6. Let m be a(7). Let o be 3/(-4)*(-10)/m. Is o less than 1?
True
Let o = -23.52 - -0.52. Let g = 23.1 + o. Is g at least -4?
True
Suppose 83 = -2*g - 3*k, g = -3*k - 0*k - 46. Are -37 and g non-equal?
False
Let b = -13185/21424 - -105/412. Let w = b - -7/16. Is w less than -0.1?
False
Let p = 221 + -1771/8. Is p equal to 1?
False
Suppose -t + 6 = -4*t. Let a = 7 + t. Suppose -1 = a*f + 4. Which is bigger: 0 or f?
0
Let w = 1.6 + -1.53. Do 1 and w have different values?
True
Suppose -2*r + 2*g = -18, -4*r - g + 26 - 5 = 0. Is 2 less than r?
True
Let y = 1 - -9. Suppose 2*g = 3*v - y, -5*g = 3*v - 1 + 5. Which is greater: 3 or v?
3
Let p = -11 - -25. Is 13 bigger than p?
False
Let h be 1/(-3) - (-17)/51. Does h = -6/5?
False
Let i = -136 - -136. Is i greater than -2/367?
True
Let q be (-1 + 1)*(-5)/(-15). Are q and 4/5 equal?
False
Let a(c) = c**3 + 8*c**2 - 10*c - 7. Let w be a(-9). Let h be (0/1)/w - -2. Is 1/2 >= h?
False
Let x be (14 + -31)*(0 + -1). Is 17 at most x?
True
Let c be (-9)/(-15) + 65/(-25). Which is smaller: c or -4?
-4
Let u(t) = -2*t - 11. Let o be u(-5). Let j be (1/6)/(8/(-36)). Is o smaller than j?
True
Suppose 3*r = 2*r + 5. Suppose z + 4*g = 10, 0 + 4 = -3*z + r*g. Suppose 5*h + 5*d + 2 = -3, 5*h - d = 13. Is h at least as big as z?
True
Let w be 54/4*(-14)/(-21). Which is smaller: 12 or w?
w
Let u = 319 + -16908/53. Let o = 49/212 - u. Which is smaller: o or -1?
-1
Let y be (-1 - -1) + 8/36. Let r = 4 + -2. Suppose 3*c = -o - r + 7, -c + 5 = 2*o. Does c = y?
False
Let o = -24 + 21.8. Let x = o - -2.3. Is 3 != x?
True
Let o(w) = -w**3 + 11*w**2 - 9*w - 12. Let n be o(10). Do -4 and n have different values?
True
Let y(f) = f**3. Let k be y(-1). Is -6/11 greater than k?
True
Let f be -2 + 0 + -2 + 4. Let a be 8/(-12)*18/4. Which is smaller: f or a?
a
Let j = -119 - -603/5. Suppose -9*u - 37 = -46. Which is smaller: j or u?
u
Let v be 0 + (-4 - -2) - -2. Let a be -3 - (-1 + -1 + 3). Let s be (-11)/a - 2 - 1. Which is smaller: v or s?
s
Let b = 0.06 - 0.06. Which is smaller: -2/3 or b?
-2/3
Suppose -a = i + 13, -23 = 4*a - 2*i + 53. Is -17 at least a?
True
Let b = -23 - -33. Which is bigger: b or 2/7?
b
Suppose 6*w + 8*w - 1162 = 0. Is 83 smaller than w?
False
Let k = -26.6 + 27. Is k < 6?
True
Suppose -q - 3*x = 0, 3*q - 9 = 5*x + 5. Let u be 52/(-18) + 3/q. Let o = u + 229/126. Is 0 at least as big as o?
True
Let r be 0 + 10 + (-2)/1. Suppose 5*s - 5 = g, -12 = 4*g + 2*s + r. Is g < -6?
False
Let p = -29 - -193/4. Let y = p + -19. Suppose w + 1 = -k, 5*w = -k - 0*k + 3. Is w greater than y?
True
Let c(n) = -14*n - 2*n**2 - n**3 + 2*n**2 + 15*n**2. Let u be c(14). Do u and 1/3 have the same value?
False
Let p = 1868 + -121423/65. Is p less than or equal to 1/4?
True
Let q = 1.4 + -1.3. Is q less than -1/11?
False
Suppose 9 - 3 = 2*b. Suppose -5*q = -3*c - 2*c + 45, -4*c = b*q - 36. Are c and 9 unequal?
False
Let h be (-2)/(-1 + 3) - -1. Suppose -3*c + 0 + 7 = 4*r, h = 5*r - 3*c + 25. Is -2 at least as big as r?
True
Suppose -5*p + 28 = -p. Suppose 2*r - p*r - 5 = 0. Which is greater: -5/4 or r?
r
Suppose -2*f + 3 = 1. Suppose d - 4*r = -0*r + 6, 5*d - 11 = r. Does f = d?
False
Let x(y) = y**2 + 7*y + 5. Let p be x(-7). Let u = 3 - p. Which is smaller: u or -4/7?
u
Let q = 18 - 20. Which is smaller: 2/25 or q?
q
Let t = -1523359933/252063 + -116/36009. Let h = 6033 + t. Let f = h - -76/7. Is f less than 1?
True
Suppose 0*o = -2*o + 4. Let n be (12/9)/((-6)/(-18)). Is n smaller than o?
False
Let l = 52 + -313/6. Let j be 4/6 + (-1)/(-3). Which is smaller: j or l?
l
Let r be (3/(-5))/((-11)/55). Suppose 0 = 3*k - r*d + 3 + 6, 0 = -k + 2*d - 1. Suppose 4*m + 16 = -4. Do k and m have different values?
False
Let q = 0.3 + -0.1. Let z = 7 + -7. Which is smaller: q or z?
z
Suppose -5*j = 5*c - 5, -j + 9 = 2*c - 6*j. Let n(b) = 1 - 2*b**3 + 5*b**2 - 3*b**2 - b + b**3. Let z be n(c). Is 0 less than z?
False
Let h = 0.7 - 0.1. Let o = 3.4 + h. Is o at most as big as 0.2?
False
Suppose c - 2*m = -18, -c = 2*c - 3*m + 57. Let r = 81/4 + c. Suppose -s = 2*s + 3. Which is bigger: r or s?
r
Let l = -0.02 - -0.22. Let t = 9 + -2. Let u = t - 3. Which is greater: l or u?
u
Let g = 1.5 - 0.5. Let q = 0.3 + -0.3. Let j = q + 0.2. Is g bigger than j?
True
Let j(g) = g**2 - 4*g + 1. Let w be j(4). Let r be 11/(-72) + (-2)/9. Is r at most as big as w?
True
Let v = -8 + 7. Let a be 0 - ((v - -4) + -5). Is a > 1/2?
True
Suppose g - 2 = -5. Let p = -15 + 20. Suppose p*q - 2*d + 7 = 0, 2*d + 11 = 2*q - 3*q. Does q = g?
True
Suppose -5*x - 4*o = -73, -5*o + 30 = 2*x - 3*o. Suppose -3*y = 2*w + 1, 0 = 4*w - 5*y + x - 0. Is w not equal to -1?
True
Let n = -1 - -2. Let h be ((-1 - -1)/(-3))/(-1). Let i be h + 2 + (-33)/18. Which is smaller: i or n?
i
Let r(y) = y**3 - 6*y**2 - y + 2. Let h be r(6). Let t = h - -4. Is t less than or equal to -1?
False
Let r = 307 + -4607/15. Let b(c) = c**3 - c**2 - 3*c + 2. Let x be b(2). Are x and r non-equal?
True
Let w = 0 + 0. Let x(l) = l**2 - 6 + 6 - 9 - 7*l. Let m be x(8). Which is greater: m or w?
w
Let p be (-10)/(-4)*(-16)/(-10). Sup