). Which is greater: -1/2 or a?
-1/2
Let k be 2/(-4) + (-21)/(-6). Suppose -k*g = g - 4. Is 1 at most g?
True
Let f(b) = -1 - 2*b - 3*b + 4*b. Let j be f(-1). Let z = -12 + 11. Is z at least j?
False
Let t(k) be the second derivative of k**5/20 + k**4/2 + 7*k**3/6 + k**2 - 8*k. Let h be t(-5). Are -8 and h equal?
True
Let a(p) = -p**3 - 5*p**2 - p - 4. Let i be a(-5). Is -1/17 at most i?
True
Let k(t) = 2*t - t**2 - 3 - 1 + t + 0*t. Let f be k(3). Let b = -3 + -1. Is f != b?
False
Let r = -0.6 - -4.6. Let q = 6.5 - 5.5. Is q != r?
True
Let w(b) = -b**3 - 6*b**2 + 6*b - 9. Let a be w(-7). Is a bigger than -1/6?
False
Let z be ((-244)/228 - -1)*3. Which is smaller: -1 or z?
-1
Let q = -24 - -23. Is 14 at least q?
True
Suppose 2*n + 5*f + 98 = 0, n - 2*n + 4*f = 75. Does n = -58?
False
Let y = 1.1 - 1. Let w = y - -0.1. Let l = w - 0.3. Which is smaller: l or 2/7?
l
Suppose 0 = -z + 2*b - 9, -z - 3*z + 2*b = 12. Let a be 1 - (1 + 9/z). Suppose 0 = -g + 3*g - 5*c - 23, 0 = 3*c + a. Are 5/2 and g unequal?
True
Suppose 3*j + 3*h - 42 = 0, 4*h - 17 = 2*j - 3*j. Let q be (1 - (-2 - 1))/2. Suppose q*a + 2*w = -2*a - 4, 4*w = -3*a - j. Which is bigger: a or 2?
2
Let o be 0/((-3 + 0)/(-3)). Is -10 < o?
True
Let c = 3/7 - 1/35. Is c not equal to 0.4?
False
Let q = 0.7 + -1. Let d = -3.1 + 4.4. Let x = d + q. Is x less than 0?
False
Let a = -169 - -1181/7. Let r be 2 + -1 - 8/(-4). Suppose 0 = z + 4*f - 4, -2*z - r = -3*f - 0*f. Which is greater: a or z?
z
Let a be (2/(-4)*1)/(-2). Suppose 2*z + 5*z = 3*z. Do z and a have the same value?
False
Let x(q) = q + 1. Let h be x(6). Let l = -6 + h. Let f(v) = v**3 + v + 1. Let s be f(0). Is l < s?
False
Let y = -28 + 37.7. Let w = -21 + 11. Let p = w + y. Which is smaller: -1/4 or p?
p
Suppose 4*i - 20 = 4*a, -6*i + 3*i + 15 = 2*a. Let c = 48 - 32. Suppose 0 = -4*l - 4*n + 19 - 3, -3*l + c = 5*n. Which is smaller: a or l?
a
Let j = 3.2 - 7.8. Let i = -0.6 - j. Let c = i - 1. Is c equal to -0.1?
False
Let w be (2/4)/(30/20). Let x be (-1)/4 + 1/4. Is w < x?
False
Let l = 10 - 10. Is -2/61 bigger than l?
False
Let p be (-2)/6 - 56/21. Is -3 less than or equal to p?
True
Let n be (-4)/(-6) + (-2)/12. Are n and -0.3 equal?
False
Let c be 24/(-9)*12/(-152). Which is bigger: 1 or c?
1
Let z(f) = -2*f**3 + 3*f**2 - 3*f + 2. Let c be z(2). Let a be (-4)/(-3) - c/12. Is a not equal to 5/6?
True
Suppose 0 = -6*a + a - 2*d - 12, -3*d = 3. Let m be (-1)/a*(-4 + 4). Are 2/15 and m unequal?
True
Suppose 2*b + 0*y = 5*y - 27, 4*y - 24 = 4*b. Is 0 bigger than b?
True
Let q(i) = 2*i**2 - 9*i - 3. Let t be q(5). Which is smaller: t or 5/3?
5/3
Let v = 3 + 1. Suppose 0 = -d - 3*a + 12, v*d + 2*a + 3*a = 34. Suppose -4*c = 4*j + 32, 5*j + 3*c + 12 = d*j. Which is greater: j or -2?
-2
Let f be (0 - 2) + 336/156. Suppose -7 = 4*n - 3*g + 4, 10 = -5*n + 3*g. Which is smaller: f or n?
f
Let p = -22 - -20. Which is greater: 1 or p?
1
Suppose 4*z = 3*z. Suppose 6*k + 0*k - 6 = z. Which is smaller: k or -3/17?
-3/17
Let s(k) = k**3 - 3*k**2 + 5*k. Let n(w) = w**3 - 3*w**2 + 4*w. Let y(x) = -5*n(x) + 4*s(x). Let b be 5/20 + 22/8. Let z be y(b). Which is bigger: z or -2/5?
z
Suppose 5*h = i - 5, -5 = -3*i + 2*i. Let a be (-466)/22 - 6/(-33). Let w be (-2)/(-8)*12/a. Is h >= w?
True
Suppose 4*b = -0*b + 84. Let u be 3*4/b + 0. Let x be ((-1)/3)/((-22)/(-12) - 3). Which is smaller: x or u?
x
Suppose -k = -3*k + 28. Let d be ((-449)/k)/(5/10). Let i = d - -64. Is i less than -1?
False
Suppose -3*x + 2 = -1. Let v = 4 + x. Suppose -q = 4*q - v. Which is smaller: 2 or q?
q
Suppose -5*z = 5*l - 10 + 40, -2*z + 2*l + 8 = 0. Which is smaller: z or -1/37?
z
Suppose 2*u - 5*j + 4 = -19, 3*u - 8 = -j. Let m(z) = -3*z + 3. Let x be m(2). Let t be x + (-5 + u)*-1. Is t at least as big as 0?
True
Let n = -77 - -82. Are -3 and n equal?
False
Let o = -1455/76 - -77/4. Let d be (1*-1 + (-12)/(-8))*0. Is d at most as big as o?
True
Let z = 18 - 15. Which is smaller: 1 or z?
1
Let c = -1.91 - -2. Let l = -0.91 - c. Let v be 0/(-1) + (-2)/(-4). Which is bigger: l or v?
v
Suppose 0 = -19*o + 26*o - 21. Let f(x) be the third derivative of -x**4/24 + 5*x**3/3 - x**2. Let m be f(7). Is o at most as big as m?
True
Let d = -5 - -5. Let z = -7 - -3. Let s = z + 2. Is s at least as big as d?
False
Suppose -4*h + 15 = 67. Let z = -13 - h. Is z not equal to -1?
True
Let j = 55/52 + -4/13. Suppose -4*q + 8 = 2*x + 3*x, 0 = x - q + 2. Is x greater than or equal to j?
False
Let n(o) = 2*o - o**2 + 3*o - o - 2. Let d be n(3). Is 0 at least as big as d?
False
Let t = 0.1 - 0.1. Let r = -2/145 + -139/435. Is t < r?
False
Let r be 2 + -2 - 5/(-4). Let h be 0/(3/(-3) + 0). Is r smaller than h?
False
Suppose -4*d = -6 + 2. Let v be (9 - 29)*d/(-2). Are v and 10 unequal?
False
Let q(s) = -s**3 - 3*s**2 - s + 2. Let t be q(-3). Suppose 0 = -0*m + m + 2*d + 10, -t*m + d = -5. Let c = -5 + 4. Which is greater: m or c?
m
Let y be 159/(-15) - 2/5. Which is smaller: 0.2 or y?
y
Suppose 5*p = -n - 29, 5*n + 1 + 4 = 3*p. Let d be (-2)/n*10/1. Which is smaller: 4 or d?
4
Let u be (-4)/6 + (-628)/(-240). Let z = 11/5 - u. Which is smaller: z or -0.4?
-0.4
Let g = 0 - -1. Let t = -0.03 - 0.07. Is g greater than or equal to t?
True
Let l(f) = -f**3 + 10*f**2 - 13*f + 19. Let x be l(9). Which is greater: x or -16?
-16
Let z = -1/21 + 17/14. Is z bigger than 0?
True
Let s = -6 - -19/3. Is s smaller than -1?
False
Suppose -46 + 7 = -3*o. Let a = o - 10. Let j = -5 + a. Which is smaller: -1 or j?
j
Let g = 0.075 - 0.215. Is -1 >= g?
False
Let t = -0.1 - 0.2. Let b = -6 - -5.73. Let w = b - -0.37. Are w and t non-equal?
True
Suppose 6*m = 3*m + 18. Suppose m*i - 3 = 3*i. Is i at most 2/7?
False
Let z be (-6 - 1)*(2 - 3). Do 2 and z have the same value?
False
Let n = 7 + -6.9. Which is bigger: n or -3?
n
Let u = -0.35 + 0.2. Which is greater: u or 0.1?
0.1
Let k be (-1)/((-3)/(-12)*-2). Which is smaller: 3/4 or k?
3/4
Let v = 2 - 14. Let y be ((-2)/3)/(2/v). Is 4 not equal to y?
False
Let j be 31/2 - 2/(-4). Suppose 2*d = -4*t + 2, -5*d + j = -d - 4*t. Is d >= 5?
False
Let k(g) = g**2 - 3*g - 2. Let x be k(3). Is -2 > x?
False
Suppose 2*j - 2 = 3*j. Suppose 0 = -4*l + 2*l - 4*b + 8, -l + 1 = -b. Suppose l*o + 0 = -4. Is j less than o?
False
Let q(m) = -m**2 - m. Suppose -3*c + t + 2*t + 9 = 0, -c - 2*t - 3 = 0. Let g be q(c). Suppose -4*f = 10 - 2. Do g and f have the same value?
True
Let l(v) = -v**3 - 2*v**2 + 6*v + 4. Let i be l(-4). Let o = -16 + i. Which is bigger: -6 or o?
o
Let y be 75/30*3/((-9)/6). Let a = 0.2 - -0.8. Which is greater: y or a?
a
Let p = -0.147 + -0.003. Is 0.1 at least as big as p?
True
Suppose -o - 5*q - 18 = 0, -3*o + 2*q - 22 = q. Let z = o + 9. Which is bigger: -12 or z?
z
Let d(l) = -l**3 + 6*l**2 + 5. Let o be d(6). Let z(s) = -s - 2. Let a be z(o). Let t be 2/8 + a/12. Which is smaller: t or 1?
t
Let l = -1/8196 + 672077/40980. Which is greater: l or 17?
17
Let g be -2 + 1950/459 + -3. Let o = 9/17 + g. Let w = 0.4 - 0.3. Which is greater: w or o?
w
Suppose 7*o - 16 = 3*o. Suppose -s = -o*b - 1, 3*s + 2*s - b - 5 = 0. Is s greater than 2?
False
Suppose 2*w - 12 = w - 2*r, -2*w + 12 = r. Suppose f - 16 = -w*q, 8 = 5*f - q - 3*q. Suppose -3*g = -f + 1. Is 1 != g?
False
Let w be 5/20 + (-109)/20. Is w equal to -4?
False
Let n = 51 + -50.9. Which is greater: -0.003 or n?
n
Let y(o) = 3*o**3 - o**2 + 0 + o - 2*o**3 + 2 + 0. Let d be y(0). Let q be 10/6 - d/3. Which is bigger: 2/3 or q?
q
Let h be 15/25 + 12/5. Suppose 0*o = -h*o + 3. Which is greater: o or 2/11?
o
Let s = -0.11 - -1.02. Let h = 0.9 - s. Is -1 less than or equal to h?
True
Let i(q) = 2*q + 6. Let c be i(-4). Which is smaller: c or 0?
c
Let t = -2 + 2. Suppose t = 4*p - 9*p. Let x be 0 - 3/(-6) - p. Is x bigger than 2?
False
Let q = 4.05 + -3.2. Let l = q + -0.05. Which is greater: l or -1/2?
l
Suppose 0 = -k - 4, 5*k = 2*o + 3*k - 14. Suppose -4*s = -o - 1. Is s <= 1?
True
Let m be -3 + 103*2/78. Let z = m + 8/39. Which is greater: z or 1?
1
Let f be ((-114)/133)/((-2)/(-14)). Which is smaller: f or -21/4?
f
Let n be 6/(-27) - 11/(-9). Which is smaller: n or -2/9?
-2/9
Let g = 2/721 + 659/22351. Let q(m) = -m**3 - 4*m**2 + 5*m. Let l be q(-5). Which is smaller: g or l?
l
Let f = 5.5 + -5. Let r = 0.5