/2 >= k?
False
Let u be (-7 - -7) + (2 - -1). Suppose -4*g - u*d + 14 = -0*g, -5*d = -2*g - 6. Suppose 0 = -f - g. Is -4 bigger than f?
False
Let l = -8 - -3. Let w be (-4)/(-12) - l/12. Let k = 5 - 5. Are w and k unequal?
True
Let q = -215 + 148. Let c = q + 471/7. Let t be (-2)/(-4)*(-1)/(-2). Is c != t?
True
Let c = 3.924 - 0.024. Let u = 4 - c. Let p be 1/(-3)*1*-1. Which is smaller: u or p?
u
Suppose 0*t = 3*t + 69. Which is bigger: t or -24?
t
Let a(r) = 4*r**2 - r - 2. Let q be a(-3). Suppose q - 5 = -4*o. Which is smaller: o or -7?
o
Let j(k) = -2*k**3 - 13*k**2 - 7*k - 4. Let y be j(-6). Let h(o) = o**3 + 2*o**2 - o - 1. Let f be h(-2). Is f greater than y?
False
Let f(a) = a**3 - 4*a**2 + 5*a - 2. Let v be (1/2)/((-1)/(-6)). Let t be f(v). Let k be (2 - 1) + (-2)/t. Which is bigger: 0 or k?
k
Let r be (2 - (-14)/(-8))*(-88)/(-77). Let k = 4 + 0. Let o be (-2)/k*2 - -1. Is r > o?
True
Let l be 28/30*177/(-214). Let a = 3/107 - l. Which is greater: a or 0?
a
Let h = 4/37 - -38/333. Is 0 equal to h?
False
Let m = 17 + -6. Does m = 11?
True
Suppose 38 = 6*x - 64. Does x = 18?
False
Let j = 10.3 - 2.4. Let w = 8 - j. Which is bigger: 4 or w?
4
Let b = -2 - -3. Let x = b + -1. Let a(r) = 4*r. Let v be a(0). Is x at most v?
True
Let x be (29 - 1) + 4/(-2). Let d = x + -80. Let t be d/(-105) + (-4)/(-14). Which is greater: t or 2?
2
Let j(o) = -o**2 + 10*o - 11. Let f be j(10). Suppose 8*n - 40 = 12*n. Which is bigger: n or f?
n
Let c = 0.1 + 0.8. Let l = 0.1 + c. Which is smaller: 7 or l?
l
Let v = 39 - 74. Let h be ((-4)/v)/((-1)/(-5)). Are 2 and h non-equal?
True
Let j(x) = -x**3 - 4*x**2 - 1. Suppose -2*y + 20 = -7*y. Let q be j(y). Suppose -4*z - 3 = -3*z. Which is smaller: z or q?
z
Let f(o) = -o**3 + 3*o**2 - 1. Let d be f(3). Do d and 2/35 have the same value?
False
Let s(l) = -l**2 - 11*l + 13. Let h be s(-12). Which is greater: h or 1/12?
h
Let d = -38 + 158. Is 121 greater than or equal to d?
True
Let p = 0.19 + -0.21. Which is bigger: p or 0.1?
0.1
Suppose 4*v + v = -210. Let x = v - -293/7. Which is smaller: 1 or x?
x
Let h(w) = -2*w**2 - 2*w - 11. Let v(r) = -r**2 - r - 5. Let p(x) = 2*h(x) - 5*v(x). Let m be p(-3). Let q be ((-5)/((-15)/m))/(-8). Which is greater: q or -1?
q
Let v(j) = -6*j**2 + 2*j - 3*j - j**3 - 5*j - 1. Let w be v(-5). Let u(b) = b - 4. Let s be u(w). Which is smaller: s or -2?
-2
Let a(j) = 9*j**2 + 2*j + 1. Let y be a(-2). Let s be -2 + (-27)/y + 3. Let x be (1 - 6)*14/315. Is x bigger than s?
False
Let v(r) = -6*r - 2 + 7 - 28*r**2 + 29*r**2. Let g be v(5). Is -2/29 <= g?
True
Let v(k) = -k**2 - 3*k + 2. Let b be v(-3). Suppose -l = b*l. Which is smaller: l or 0.1?
l
Let a(j) = -2*j - 19. Let d be a(-12). Is d at most 5?
True
Let g = 31885690/2709 + -11770. Let p = -2/387 - g. Which is greater: -4 or p?
p
Suppose -2*y + 3*y - 2*v + 2 = 0, -2*v - 4 = -4*y. Let k be 7/7*(2 - y). Is k equal to -2?
False
Let s = -1 + 0. Let d = -7 - -6. Let j = d + -3. Is j bigger than s?
False
Let y = -93 + 93. Which is smaller: 7/5 or y?
y
Let s be (-168)/(-35)*(-1)/2. Which is greater: s or -3?
s
Suppose 2*q + 2*o - 46 = 0, -q + 5*o - 40 = -3*q. Let x be (-2)/(-5) + 140/q. Which is greater: x or 7?
7
Let b = 5 + -12. Let k(i) = i**2 + 5*i - 10. Let m be k(b). Suppose -m*q = q. Is -1 bigger than q?
False
Let m(r) = r**2 - 2*r + 2. Let s be m(2). Let t be 6/(4/((-16)/(-6))). Which is smaller: t or s?
s
Let u = 5 + -7. Let v = 2/163 - 666/1141. Is u at least v?
False
Let m be (-6)/15 - (-444)/(-15). Are -29 and m equal?
False
Suppose -3*n - 10 = h, -2*n = 2*n + 3*h + 10. Which is smaller: n or -24/7?
n
Let v = -9 + 15. Suppose 3*n - v = -0. Does n = 1?
False
Let l = -33 - -133/4. Let k = -6617/116 + 17/58. Let r = k - -57. Is r <= l?
True
Let r = -11.9 + 18. Let b = r + -6. Which is smaller: -1 or b?
-1
Let w = 8.9 - -0.1. Let i = -1 + w. Let d = i - 6. Which is bigger: 1 or d?
d
Suppose -3*v + v = v. Is 2/53 bigger than v?
True
Let h = -5.7 + 5. Let s = h + 0.8. Is 5 > s?
True
Let j be (2 - 6/3)/2. Let y = -7 - -67/9. Which is smaller: y or j?
j
Let p = 5 + 3. Let y = -10 + p. Are y and 0 equal?
False
Suppose 4*f = 16, -2*f + 4 = -4*x - 0*f. Let r be (-1)/(-4) + (-46)/(-8). Suppose x - r = 2*o + 5*s, -4*o + 2*s = -2. Which is greater: -1 or o?
o
Let w be (-1)/(3*(-52)/(-120)). Is w greater than -1?
True
Suppose 5*i - 42 = 2*i. Suppose q = 3*q - i. Which is greater: 6 or q?
q
Let h be 3*7*2/(-6). Let b be (-2)/(h/((-21)/(-6))). Which is bigger: 1/4 or b?
b
Let j = 413 + -2883/7. Are j and 2 nonequal?
True
Suppose 4*a - 14 = 5*s, -2*a = -0*s + s. Let l be s/(-13) + (-8425)/260. Let h = l + 31. Which is greater: h or -1?
-1
Let z be (-384)/(-420) - (-2)/7. Let b(d) = d**2 - 9*d + 8. Let j be b(8). Are z and j non-equal?
True
Let m = 0.04 + -0.15. Let h = m + 0.11. Are h and -2 unequal?
True
Let k be (-272)/290 + (-7)/((-35)/4). Which is greater: 0 or k?
0
Suppose 0 = -5*f + 2*r - 5*r + 190, 4*f - 135 = r. Suppose 2*d + 3*d - f = -5*j, 4*j - 3*d - 21 = 0. Is j >= 3?
True
Let g = -6163/3 + 2036. Let z = g - -19. Is z <= 3?
True
Let p be (-1 - 0)*8/2. Let g(h) = -h**3 - 4*h**2 + 2. Let y be g(p). Let b = 2 - y. Is b at least 1?
False
Let w = -28 + -11. Let z be 5 - 2 - w/(-12). Which is greater: z or -3?
z
Let q = 6305/228 - 83/3. Which is smaller: q or -1?
-1
Let f(a) = -a**2 + 9*a - 8. Let i be (-3)/(-6)*(-48)/(-3). Let c be f(i). Is c < 2/7?
True
Let x = 0 - 2. Let c be (-3)/3 + (-15)/(-5). Let g = x + c. Is 3/8 greater than or equal to g?
True
Let z be ((-2 - -1) + -2)*-1. Suppose 2*c = 8, 0 = -z*t + 2*t + 5*c - 23. Is t smaller than -3?
False
Let z = 3.2 + -5.8. Let c = z + 0.6. Let y = 1.7 + c. Which is bigger: y or 1?
1
Let x = -2.14 + 0.14. Let i = 0.42 - -1.68. Let c = i + x. Is c < -3?
False
Let l = -3721/98 - -38. Which is greater: -1 or l?
l
Let l(w) = -w**3 + 2*w**2 + 2*w + 2. Let j be l(3). Let d(r) = -15*r. Let v be d(5). Let f be (-2)/(-8) - v/(-108). Which is smaller: j or f?
j
Let a be (-6)/(-4)*(-2)/(-1). Let w(k) = k**2 - 5*k + 4. Suppose 2*j + 7 = 17. Let y be w(j). Which is smaller: a or y?
a
Suppose -2 = -y + 1. Let o be (y - 5)/(2/(-11)). Suppose 4 = 5*z - o. Which is bigger: 1 or z?
z
Let c be (3 - 2)*-1 - -1. Suppose c = 22*y - 17*y. Let k = 16/7 + -121/56. Is y at most k?
True
Let o be (-1)/(((-2)/(-12))/1). Let d(t) = 4*t + 3. Let b be (21/(-7))/((-3)/(-2)). Let v be d(b). Is o smaller than v?
True
Let u = 11 - 11. Which is smaller: -8/13 or u?
-8/13
Let z = -40 + 19. Let s = z - -29. Is s <= 8?
True
Suppose 6 = p + 4*o, 4*p + o - 5 = 4. Let g(y) = y**2 - 3*y + 1. Let x be g(p). Let r = -9 - -7. Is x at least as big as r?
True
Suppose -4*l + 142 = 5*j, l + 92 = 2*j + j. Let x be 726/(-4)*1/6. Let y = x + j. Are y and 2 non-equal?
True
Let l be ((-2)/(-4))/((-30)/(-20)). Which is bigger: l or 17?
17
Let o = 0.006 - -7.594. Let m = 8 - o. Which is greater: m or -2?
m
Let x(y) = -8*y**2 - 20*y. Let i(v) = -3*v**2 - 7*v. Let w(b) = 11*i(b) - 4*x(b). Let u be w(3). Let o be (-8)/6*(-1)/(-6). Is o smaller than u?
True
Let n(p) = 17 - 8 + p**2 - 11 + 6*p. Let z be n(-5). Which is bigger: z or -2?
-2
Suppose -2*w - 70 = -68. Let k be (-3*(-1)/7)/1. Are w and k equal?
False
Let w = 8 + 3. Let x = -13 + w. Do x and 4 have the same value?
False
Let o = -0.24 + 0.04. Which is greater: o or 2/9?
2/9
Suppose 3*a + 4*u = -43, 5*a + 0*u = u - 64. Let i(s) = s**2 + 13*s + 3*s - 4*s - 12. Let k be i(a). Is 3/5 greater than k?
False
Suppose -4*k = 4*t - 16, 0*k = 4*k. Let a be 18/t - (-6)/(-4). Let q be (2 - a)/(2 + -11). Is 1 at least as big as q?
True
Let k(g) = g**2 - 5*g - 9. Let h be k(7). Suppose 4*j + 0 = c - 16, -h*c - 5*j - 20 = 0. Is -1/2 less than c?
True
Suppose 0 = -3*p - 1 + 31. Let i be 2/p - 68/(-10). Which is smaller: 8 or i?
i
Suppose -n = 2*n - 12. Let d(v) = -v**3 + 5*v**2 - 3*v + 2. Let c be d(n). Suppose c - 14 = -4*g. Is 2 less than or equal to g?
True
Let o = 5 + 0. Suppose 0 = 4*w + f - 5, -4*w - o*f = 5 - 30. Suppose 2*z - z = w. Which is smaller: 1 or z?
z
Let v(o) = -o**2 + o. Let h be v(2). Let k = 0 - -1. Suppose 2*m = 3*m + k. Which is bigger: h or m?
m
Let a = -0.9 - -5.9. Let f = -100.1 + 100. Do a and f have the same value?
False
Let u be 162/(-52) - (-90)/60. Is -3 less than u?
Tru