2)*-1). Is 3 greater than or equal to k?
True
Let z be (0*4/(-8))/(-1). Is z at most as big as -6/23?
False
Let t(n) = -n**3 + 8*n**2 - n + 10. Let g be t(8). Suppose -z + 3*q = -5, -g*z + 4 - 2 = -2*q. Which is bigger: 1/10 or z?
1/10
Let q be (147/(-5) + 2)*4. Let l = 110 + q. Let c = 115 + -572/5. Which is greater: c or l?
c
Let x = -7/24 - 3/8. Let o = 0.3 + 0. Let m = 0 + o. Is x at least m?
False
Let q(p) = p. Let i be q(-2). Let h be i - (3 + -3)*-1. Let s be (2/2)/(1/(-3)). Which is smaller: s or h?
s
Let m = 5/14 + -17/28. Let y be 1*-4*10/(-8). Suppose -8*f + 13*f = y. Is m greater than f?
False
Let p = 0.4 + -0.6. Let x = 1.2 + p. Let f = 0.1 - 0. Is x < f?
False
Let h = 4 + -6. Is h smaller than 4?
True
Suppose 5*r = -14 + 4. Let x(v) = -v - 3. Let s be x(r). Are -2/19 and s equal?
False
Let h = 0.1 + -0.08. Let p = h + -0.32. Let f = -0.4 - p. Is 2 equal to f?
False
Let t = -6.1 + 6.52. Which is bigger: t or -0.1?
t
Let l(s) = -2*s**2 - 5*s + 1. Let k(o) = 4*o**2 + 11*o - 2. Let g(r) = 4*k(r) + 9*l(r). Let y be g(-2). Let f = 1 + y. Is -2 at most as big as f?
False
Let n = 0.23 + -53.23. Which is greater: n or 0?
0
Let t be (-2)/(-48) + 1/(-6). Let x = 3/8 - t. Which is greater: 0.3 or x?
x
Let p = -10 - -28/3. Let d = 0.02 + -0.72. Is p not equal to d?
True
Let u = -32.2 + 32. Is 4 greater than u?
True
Let t be (26/(-8))/(3/(-12)). Which is smaller: 12 or t?
12
Suppose -6 = -x - 0. Suppose 2*o - 5*h = 0, o - 31 = -4*o - 3*h. Is x smaller than o?
False
Let b(y) = -y**3 - 10*y**2 + 8. Let s be b(-10). Which is smaller: 7 or s?
7
Let m(q) = -q. Suppose 5*a + 2*i = 3*i - 14, 4*i = 4*a + 24. Let h be m(a). Let w be (1/(-9))/(h + -1). Which is greater: w or -1?
w
Let w = 728 - 16754/23. Which is smaller: w or 0?
w
Let x = 71/285 - -1/57. Let j be (3 - 3) + (-1 - 0). Which is greater: x or j?
x
Let x be 1 + -2 + 0 + 2. Suppose 0*n = -n - x. Which is greater: n or 0?
0
Suppose 5*g - 14 = -4*p, 2*g - 4*g + 4*p = 0. Which is smaller: 0 or g?
0
Let s = -19.9 - -18. Let z = 2 + s. Is -1/5 less than z?
True
Let a be 0/2 - 1740/(-14). Suppose 13 - 509 = -4*l. Let f = a - l. Which is greater: f or 0?
f
Suppose -4 = -4*f - 2*s, f = 2*f + 5*s - 1. Let z be 10845/(-350) + f/2. Let w = 151/5 + z. Which is bigger: 1 or w?
1
Suppose -c - 8 = -3*c. Is c bigger than 6?
False
Let j(g) be the third derivative of g**5/60 - g**4/3 + g**3/3 - 6*g**2. Let q be j(6). Which is smaller: -9 or q?
q
Suppose -5*a - 84 = -419. Which is bigger: 69 or a?
69
Let x = 7 - 2. Let z be (-3)/x + 8/5. Is z < 1/7?
False
Suppose 0 = -5*a - 17 - 18. Let h = -6 - a. Which is smaller: h or 1/8?
1/8
Let i(p) = -p**3 - p**2 - p. Let m be i(0). Which is bigger: 1/3 or m?
1/3
Let a = 0.086 - -1.114. Which is smaller: a or -1?
-1
Let o be (-4)/(-6)*15/(-335). Which is smaller: o or 1?
o
Let v = -0.09 + -1.51. Let n = v - -0.6. Is n less than 0.1?
True
Let z = 176 - 2990/17. Let k be ((-9)/6)/(((-15)/2)/5). Which is greater: k or z?
k
Let w(p) = -5*p. Let j be w(-1). Let n = 6 - j. Are 2/7 and n equal?
False
Let j be 14/16 - (0 + 0). Does 0 = j?
False
Let s be (6/(-4))/(5/30). Is -19/2 >= s?
False
Let r = -1 + 1. Let b = -4.1 - -0.1. Which is smaller: r or b?
b
Let h(o) = -o + 7. Let c = -4 + 10. Let b be h(c). Is -2/9 at least as big as b?
False
Let a(g) = 11*g - 3. Let x be a(3). Which is smaller: 29 or x?
29
Let g = 20 + -19. Which is greater: 6/11 or g?
g
Let y = -0.28 - -0.08. Is y >= 5?
False
Let x be (3/(-2))/(9/12). Let v be ((-4)/42)/(x + 1). Suppose -q - 2*q - 5 = -4*j, 4*j - 8 = 4*q. Is j less than or equal to v?
True
Let g = 1.2 - 1. Is g < -1/10?
False
Let z be 4 + 1*(-2)/1. Let x = -7 - z. Which is smaller: -10 or x?
-10
Let i be ((-4)/3)/((-6)/(-18)). Let j = i + 6. Is j bigger than 3?
False
Let b(h) = h**2 - 10*h - 23. Let s be b(12). Is s < 1/12?
False
Let p(q) = q**3 - 8*q**2 - 10*q + 10. Let b be p(9). Let d = -0.2 - -0.1. Which is smaller: b or d?
d
Let z be (4/3)/((-28)/12). Which is bigger: z or 0.1?
0.1
Let o be 8/(-20) + (-15)/25. Let x = -472/717 - 2/239. Which is greater: o or x?
x
Let h = -27 - -31. Do 4 and h have the same value?
True
Suppose 8 = -q + 5*q. Which is bigger: q or 7/4?
q
Let p be 2/7*1 - 43/77. Which is bigger: 0 or p?
0
Suppose -k = k. Let y be -2 + 2 + 5206/(-21). Let o = y - -248. Which is smaller: k or o?
k
Suppose -4*i - 3 = a - 9, 4*a = i + 24. Let v be (-1)/(-2) + a/12. Is 1 <= v?
True
Let f = 85.952 - -0.048. Which is bigger: -1 or f?
f
Let x be 0*(3/(-6) + 1). Suppose -3*h = 5*d + 9, -5*d = -h - 1 - 2. Is x < d?
False
Suppose 5*o + 368 = 9*o. Are o and 93 equal?
False
Let p = 0 + 0. Suppose 2*w + 90 = -g - 3, 0 = -5*w + 10. Let t = g + 488/5. Do p and t have the same value?
False
Let g(h) = h**3 - 2*h**2 - h + 1. Let j be g(1). Let p be ((-1)/2)/(j + 2). Is 1 bigger than p?
True
Let g = 5 + -21. Let k = -15.9 - g. Are k and 1 unequal?
True
Let f be 6/((-4)/(-2))*1. Let v = 13 - 10. Is v not equal to f?
False
Let w(t) = -4*t - t - 1 - t**2 + 3*t - 6*t**3. Let s be w(-1). Suppose 0 = g + 4*c - 10, -c = 2*g - s*c + 19. Is -2 less than or equal to g?
True
Let r be -5 - -2 - 2 - 0. Let f = 6 + r. Which is smaller: 2/11 or f?
2/11
Let p be (-123)/2*2/(-3). Suppose 0 = g - 5*t + p, -4*t = 4*g - 2*g + 26. Let o be 2 + g/(-15) - 3. Which is greater: o or 0?
o
Let u be (2/17)/((-5)/20). Let k = -989/408 - -175/136. Let s = k - u. Which is smaller: -0.2 or s?
s
Let q be ((-4)/(-10))/(-10*18/225). Is q smaller than -1?
False
Let b(o) = o**2 - 4*o - 4. Let n = 6 - 1. Let i be b(n). Which is smaller: i or 0?
0
Suppose -2*d = 2*d. Suppose -4*a = -d*a + 2*t - 10, 0 = 2*a - 4*t - 10. Let k(j) = -j**2 - 5*j + 3. Let m be k(-5). Do a and m have the same value?
True
Let l(n) be the first derivative of -n**3/3 - n**2/2 + 1. Let f be l(1). Let r(d) = -d + 3. Let b be r(5). Is f <= b?
True
Let j be (0 - (0 + 3)) + -1. Let n(q) = -q - 1. Let w(t) = t**2 - t - 1. Let k(h) = -6*n(h) + w(h). Let u be k(j). Do u and 1/4 have different values?
True
Let s = 54 - 272/5. Is -8 less than or equal to s?
True
Let k = -25 - -26. Which is smaller: k or -1?
-1
Let u(x) = x**3 + 4*x**2 - x - 5. Suppose -2*l = -5*q + 3, -5*q + 0 - 5 = 0. Let n be u(l). Which is greater: 2/11 or n?
2/11
Suppose 24 = 4*b - 2*b. Let r be (8/b)/((-5)/6). Suppose 0 = -5*y - h - 5, 0*y + 3*y + 3*h = 9. Which is smaller: r or y?
y
Let d(t) = t + 2. Let b = 1 - 5. Let h be d(b). Which is greater: h or -1?
-1
Suppose 3*c + 12 = -3*u, 5*c = -4*u - 19 - 2. Is c bigger than -5?
False
Let b be -24*(21/9 + -3). Is 12 < b?
True
Let z = 0 + -1. Let j be 218/(-3)*(-3)/2. Let a = j - 543/5. Which is bigger: a or z?
a
Let u(t) = -3*t**3 - t**2 - 2*t - 1. Let b be u(-1). Let f(g) = g + 11. Let w be f(-8). Is b less than w?
False
Suppose 0 = n + t, -4*t = 2*n + 2 + 4. Suppose n*b + 0*f + 22 = 5*f, b + 14 = 3*f. Is b smaller than 2/55?
False
Let j(n) = -2*n + 6. Let f be j(4). Which is bigger: -2/3 or f?
-2/3
Let z(f) = f**2 - 4*f - 6. Let i be z(5). Let v be 1/4 - 2/8. Let y = v - i. Is 2 greater than or equal to y?
True
Let b(v) = v**2 - v - 1. Let i be b(1). Which is smaller: 0.12 or i?
i
Let z = 82 - 165. Is -84 >= z?
False
Let j = -14.2 - -13. Let o = 0.6 + j. Which is smaller: -1 or o?
-1
Suppose 54 = -2*f - 4*f. Does -12 = f?
False
Suppose 4*g = z + 17, g + 0 - 2 = z. Suppose 0*c - 2*c + 3*x + 19 = 0, 29 = 4*c - z*x. Do 5 and c have different values?
False
Let m be (-3 + 8 - -1)/2. Suppose -15 = 3*s - m. Let d(j) = j**2 + 3*j - 3. Let w be d(s). Is w at most -1/4?
False
Let i = -36 + 19. Let d = -18 - i. Which is bigger: -0.2 or d?
-0.2
Let w = -87 + 1132/13. Is w at least -1?
True
Let k = 122 - 102. Is k at most 22?
True
Let u = 12.3 + -12.4. Suppose -w + 5 = 2*q, -3*w = -3*q + 31 - 1. Is w <= u?
True
Let r = -11.4 - -6. Let l = r - -6. Which is greater: 0 or l?
l
Let c be (1/2)/(1/4). Let h(o) = -o**2 - 4*o + 10. Let g be h(2). Is g > c?
False
Suppose q - 1 = -m, 0*m + 3*q = -5*m + 7. Let g = 16/15 + 4/15. Which is smaller: g or m?
g
Let f = -9 - -12. Let a = f + 0. Is a less than -0.2?
False
Let a(j) = j**2 - 6*j + 4. Let v be a(6). Let y be (1/v)/((-4)/472). Let n = y - -29. Is n bigger than 0?
False
Suppose -5*c + 5*u + 335 = 0, 3*u + 125 = 2*c - 2*u. Let b be (-4)/14 - (-20)/c. Are 0 and b non-