k - 1. Let y be n(0). Which is smaller: y or -2/441?
y
Let b = -25 + 79. Which is smaller: 55 or b?
b
Let f(z) = z**2 + 11*z - 4. Suppose -2*v = -5*d - 61, -3*d + d + 5*v = 37. Let r be f(d). Let b be 18/30*r/36. Are -1 and b equal?
False
Let v = 0.261 - 0.061. Let b = -3 - -4. Are v and b equal?
False
Suppose 0 = 4*q - 4*p - 3020, 4*q - 2*p + 370 = 3392. Do q and 756 have the same value?
True
Let y(q) = q**3 - 5*q**2 - 2. Let r be y(5). Let w be 6/(-4) - r/4. Which is smaller: 3/29 or w?
w
Let c = -7 - -2. Let l(x) = x**2 + 3*x + 6. Let r be l(-5). Suppose -v - r = 3*v. Is c > v?
False
Let r(h) = 2*h - 2. Let d be r(4). Let q(b) = -b**3 - 6*b**2 - 3*b + 4. Let x be q(-5). Let s = 12 + x. Is d greater than s?
False
Suppose -6*q + 4*q - 16 = 0. Let f be 6/q - (-18249)/(-140). Let m = f + 131. Which is smaller: -1 or m?
-1
Let y be (3 + (-378)/49)*-1. Suppose 4*z - 11 = -2*x + 17, -3*x = 4*z - 30. Which is bigger: y or z?
z
Let o(x) be the third derivative of 5/12*x**4 - 1/60*x**5 + 0 + x**2 + 0*x - 7/6*x**3. Let p be o(8). Which is smaller: -1/3 or p?
-1/3
Suppose -4*t = -10 + 42. Let q = -0.071 + 73.071. Let a = q + -74. Is a less than or equal to t?
False
Let z be ((-427)/(-28))/((-1)/(-12)). Suppose -z + 15 = 8*m. Which is smaller: m or -20?
m
Let u(n) = -3*n - 21. Let s be u(-8). Suppose -4*z = 2*y + 8, -3*y - 8 + 2 = s*z. Is y not equal to 1/20?
True
Let l = 0.029 - 15.079. Let j = 15 + l. Let i be 8 + -5 - (-9)/(-2). Is i at least j?
False
Suppose 235*k = 221*k - 182. Suppose -2*i = 3*i - 35. Suppose 3*d + 2*d = -y + i, -4*y - 44 = 2*d. Does k = y?
True
Let o be -5 - (95 - (-4 + 6)). Which is smaller: o or -92?
o
Let a(x) = -x**3. Let l(z) = -3*z**3 - 3*z**2 + 7*z + 10. Let r(n) = 2*a(n) - l(n). Let b(t) = -t. Let u be b(4). Let y be r(u). Are y and 3 equal?
False
Let d = -18 + 18.016. Let n = -0.016 + d. Do n and 0.24 have the same value?
False
Let w = 769 + -1081. Let q be (1 + 6/4)*w/(-20). Is 38 equal to q?
False
Let x(k) = -2*k**3 - 7*k**2 + 22*k + 12. Let o be x(-6). Is 62 > o?
True
Let p(k) = 19*k**2 - 8*k + 13. Let t be p(3). Which is greater: 159 or t?
t
Let t = -4528/377023 + 2/2083. Which is smaller: t or 0?
t
Let o(d) = -6*d**2 + 4*d + 4 - d**3 + 3*d - 6 + 2*d. Suppose -111 = 15*v - 6. Let y be o(v). Is y < -17?
False
Let j = -0.0665 - 0.1335. Which is greater: j or -0.133?
-0.133
Let v be 5/(-5)*(-23*1 - -1). Let g = -10 + v. Is 12 less than or equal to g?
True
Let l(t) = 3*t**2 - t - 1. Let d be l(2). Let y(i) = 4*i - 417 + 385 + 0*i. Let r be y(10). Which is bigger: d or r?
d
Let c be 2/(-8) - (-9)/4. Suppose -10*w - 220 = -10. Let d = 23 + w. Is c at most d?
True
Let z(x) = x**2 + 2*x - 15. Let v be z(-7). Let f be (-3)/(-15) + 116/v. Which is smaller: -0.3 or f?
-0.3
Let a(n) = n**2 + 15*n + 23. Let z(j) = -3*j**2 - 44*j - 68. Let g(y) = 17*a(y) + 6*z(y). Let k be g(-6). Does 3 = k?
False
Let b(a) = 8*a**3 + a**2 - 2*a + 1. Let l be b(1). Suppose -5*f = -l - 2. Which is smaller: f or 4?
f
Let f(k) = -2*k**2 + 15*k - 68. Let o be f(6). Are o and -359/7 unequal?
True
Let w be 137910/(-730)*2/(-6). Let l = w - 63. Is l at least as big as -1?
True
Let q(k) = -2*k**2 - 9*k - 1. Let v be q(-2). Which is smaller: 11 or v?
v
Let j = -34.8 + 35. Suppose -2 = -2*u - 5*y - 12, 5*u = 3*y + 37. Let v = u - 4. Which is greater: j or v?
v
Let g be (-30)/(-24)*138/40 + -4. Which is smaller: g or 1?
g
Let i = -22 - -29. Suppose -i*o = -4*o + 3. Let c be o*((-44)/15 - -3). Is 0 greater than c?
True
Let u = 68 + -68.1. Let b be (0 - -1)/(3/(-978)). Let x = b + 6192/19. Which is smaller: u or x?
x
Let x(g) = g**3 - 7*g**2 - 10*g + 3. Let u be x(8). Is u >= -14?
True
Let u be (8*(-3)/3)/(8/128). Which is bigger: -127 or u?
-127
Let p = -3.07 + -0.03. Let v = 0.167 + 0.033. Are v and p unequal?
True
Let g be -2*291/24*8. Is -193 smaller than g?
False
Suppose 0 = 32*d - 30 - 46 + 44. Let t be 2/(-8) + 82/264. Which is bigger: d or t?
d
Let a = -58981/11 - -5362. Let w = 1 - 0. Is w bigger than a?
True
Let q = -15 + 8. Let z = -18 - -49. Let h = -31 + z. Which is greater: q or h?
h
Suppose 0 = -9*p + 3*p. Let c be 4 + p + 0 + -18. Let r = -21 - -7. Is c > r?
False
Let t(a) = a**3 - 10*a**2 - 2*a + 12. Let d be t(10). Let i be d/(-20) - 8/(-5). Is 2 not equal to i?
False
Let g(p) = -p**3 + p**2 + 3*p + 1. Let o be g(-1). Which is greater: o or 1/18?
1/18
Let o = 0.211 + 90.789. Let m = 91 - o. Which is smaller: m or -0.91?
-0.91
Suppose -4*a + 0 = 32. Let k(z) = z**3 + 9*z**2 + 8*z + 5. Let i be k(a). Let o(q) = 2*q**2 - 4*q - 12. Let l be o(i). Which is smaller: l or 19?
l
Let c = 973 - 37949/39. Let t = -2 - -6. Suppose 3*m = -5*u + 7, 0*m = -m + t*u - 9. Is c greater than m?
True
Let g = 4.1 + -4. Let u = -314 - -322.9. Let p = u + g. Is p <= 1?
False
Let d(g) = -g**2 - 12*g + 14. Suppose -2*k - 77 = 5*n - 6*k, -5*k = -15. Let t be d(n). Is t < -1?
False
Let d be 4 + (-25)/(3 + -4). Let u = d + -30. Which is smaller: u or 1/7?
u
Suppose -108 = 4*o + 4*m, -3*o - 5*m = -0*m + 81. Let n be (36/(-54))/((-1)/6). Let v be (n/(-9))/(6/o). Which is smaller: v or 1/2?
1/2
Suppose 2*f + 3*f + 5 = 0. Suppose -9*k = 16 - 7. Are k and f equal?
True
Suppose 51 = 2*b + 63. Are 0.06 and b unequal?
True
Let b = 111 + -108. Let f be b*(1/3 + 0). Which is greater: 26/17 or f?
26/17
Let i = -0.114 + -4.886. Is i < -4?
True
Suppose -54 = -4*l + 26. Let u be l/25 + 0 - 14/5. Is 9 < u?
False
Let a = -27 + -8. Let h be (-14)/49 - (-53)/a. Let v = -31/20 - h. Are v and -1 unequal?
True
Let g be (15 - (2 - 4)) + 3. Let s be (-5)/(-2)*(-16)/g. Let d be (0 - -1)*s/3. Which is smaller: -0.2 or d?
d
Let p = -962 + 1042. Does p = -1/12?
False
Let q be (-260)/(-100) + (-4)/(-10). Let i be 30 - q/9*9. Is i < 26?
False
Let x(o) be the first derivative of o**3 - 7*o**2/2 - 9*o - 43. Let l be x(3). Is l at least -4?
True
Let t be (-8)/(-1) - (-31806)/(-3933). Is t at least -0.3?
True
Let i = 49 - 48. Let x be i/3*(0 - -2 - -1). Is -1/3 greater than x?
False
Suppose 27*f + 15 = 15. Let t be ((-3)/24)/(1/(-78)). Let g = -905/92 + t. Do g and f have the same value?
False
Let m be 20/30 - ((-300)/(-18) + 5). Which is smaller: m or -15?
m
Let s = -434 + 868. Is s greater than or equal to 432?
True
Let x = -26 + 25. Let v be 0 - (18/(-21))/3. Which is smaller: v or x?
x
Let f = -196.7 - -195.7. Which is greater: -39/7 or f?
f
Let z(i) = 2*i - 81. Let d be z(31). Suppose 5*g + 70 = -0*g. Let l = g + -6. Which is smaller: d or l?
l
Let h(m) = 19*m**2. Let d be h(1). Suppose 3*j = 4*k - 16 - 8, -4*k - 2*j = -4. Suppose -k*r + 2 = -d. Is r at most as big as 6?
False
Let x = -5 - -4.36. Let b = 0.36 - x. Which is greater: 23 or b?
23
Let q(u) = -3*u**3 - u**2. Let p be q(1). Let d be 6*(0 + p + 3). Which is smaller: -7 or d?
-7
Let k = -473 - -626. Which is smaller: k or 152?
152
Let w(p) = 65*p**3 - 2*p + 1. Let o be w(1). Suppose 4*i + 0*i = o. Is i < 16?
False
Let d = 30 + -46. Let o = 15 + d. Is o greater than or equal to 7?
False
Let x = 191 - 101. Suppose -8*a = a + x. Is a at least -10?
True
Let t(u) = 4*u**2 - 2*u**2 - 3*u - 4*u**2 - 30 + 3*u**2. Let a be t(7). Are -7/6 and a equal?
False
Suppose 18*z - 13*z = 20. Suppose -6 + 2 = z*p. Which is smaller: p or -3/11?
p
Let z = 30 + -28. Let c be (18/216)/(z/6*-2). Are 0 and c unequal?
True
Let z be (-128)/(-183) - ((-56)/(-21) + -2). Which is bigger: z or 0?
z
Let n(i) = 25*i + 9. Let s be n(5). Let u = 125 - s. Which is smaller: u or -8?
u
Let m be 6/4 - 7/(-2). Suppose m*z - 44 = 71. Suppose 4*q - 53 = -2*s - z, 0 = s - 1. Is q equal to 5?
False
Let x(m) = -m**3 - 7*m**2 - m + 15. Let n be x(-7). Suppose 3*s - 2*r = -0*s + 68, 5*s = r + 104. Is s less than or equal to n?
True
Let f be (2/8)/((-696)/96). Let d = f - -91/116. Is d not equal to -2/7?
True
Let f = 4.754 + 0.246. Which is smaller: -5 or f?
-5
Suppose 11*h - 6*h - 804975 = 0. Let r be (-1)/(-4) + h/(-3388). Let d = -331/7 - r. Is 1 less than d?
False
Let k = 21.7 + -21.1. Which is smaller: -10 or k?
-10
Let w be (-2)/(-7) - 2/7. Let n be 4 - (4/128*8 - 3531/(-948)). Which is smaller: w or n?
w
Suppose -3*f = -f + 6, 0 = u + 5*f + 16. Let h be (-2)/8*(-6)/(-2). Which is greater: u or h?
h
Suppose -w = 2*o + 2*o + 5, 3*o = -2*w - 10. Suppose -5*r + 3*g = 10, -3*r - 18