b?
True
Let f(y) = -2*y**3 + 3*y - 4. Let h(r) = -2*r**3 + 2*r - 3. Let w(s) = 3*f(s) - 4*h(s). Let u be w(-2). Let x = u + 25. Is x a multiple of 5?
False
Let g = -4 + -4. Is 4 a factor of (-49)/(-4) - (-2)/g?
True
Is (18*1/2)/1 even?
False
Let k = -9 - -20. Let w = k - 9. Suppose w*g = 6*g - 104. Is 18 a factor of g?
False
Let w(x) = x**3 - 16*x**2 + 12*x - 21. Is 24 a factor of w(16)?
False
Let m = -25 + 41. Is m a multiple of 7?
False
Let d = 42 - 29. Let o = -8 + 5. Let k = d - o. Does 8 divide k?
True
Let k = -12 - -11. Let s = 2 - k. Is 3 a factor of s?
True
Suppose 4*p - 3*p = -h + 84, p - 74 = -3*h. Suppose 82 = -a + 5*a - 2*x, -5*x + p = 4*a. Is 9 a factor of a?
False
Suppose 0 = -0*g + 3*g + 3. Is g/(3/(-18)*2) a multiple of 2?
False
Let x be 93/12 - 1/(-4). Suppose 4*t - 4 = x. Is t a multiple of 3?
True
Let b(m) = 119*m - 1. Let t be b(-1). Is 14 a factor of 7/((-21)/t) - 2?
False
Let d(o) = -4*o + 2. Suppose -8 = a - 5*a. Let m(x) = 2*x - 1. Let u(h) = a*d(h) + 5*m(h). Is u(2) even?
False
Suppose -2*p = 5*q + 7, -3*p - q + 2*q + 32 = 0. Let o = 24 - p. Does 5 divide o?
True
Suppose 4*l - 315 = 25. Let q = 129 - l. Is 13 a factor of q?
False
Suppose v - 250 = -4*v. Suppose -v = -x - 4*x. Does 9 divide x?
False
Let j(r) = -r**2 + 3*r. Let o be j(2). Suppose -2*x = -x - o. Does 12 divide (11 - -1)/(x/4)?
True
Suppose w = 2*f + 3*f + 151, -3*w - 5*f = -353. Does 23 divide w?
False
Let t(s) = -165*s**3 + 2*s**2 + 2*s + 1. Is 36 a factor of t(-1)?
False
Suppose -4*o + 22 = 6. Suppose -b - o = b. Is 7 a factor of -1*(b + (-9)/1)?
False
Suppose 4*h - 3*m - 789 = 0, 2*m - 198 = 2*h - 590. Is h a multiple of 12?
False
Suppose 0 = n + 4*d + 2, -10 = 5*n + 5*d - 4*d. Is 3 a factor of n - -1 - -1*6?
False
Suppose -2*h = 2*y - 38, -y + 9 = 2*h - 11. Does 2 divide y?
True
Let o be ((-6)/5)/((-3)/20). Does 14 divide (6/o)/(2/48)?
False
Let w(c) = -c**3 - 12*c**2 - 23*c - 21. Is w(-11) a multiple of 4?
False
Suppose -2*v = 43 - 123. Suppose -48 = -4*u + 3*f, 0*u - 5*f = -4*u + v. Suppose 5*r + u = 0, r = 5*x + 3*r - 79. Is 7 a factor of x?
False
Let p = -13 - -41. Does 28 divide p?
True
Let v(f) = f**3 + 5*f**2 + 4*f + 3. Let y be v(-5). Let x = 2 - y. Is x a multiple of 10?
False
Suppose 0 = 2*l - 55 + 21. Let k = l + 24. Does 16 divide k?
False
Suppose -4*q + 10 = -2. Is 23 a factor of q/(-15) + (-622)/(-10)?
False
Let w(b) = b**3 + 14*b**2 + 12*b + 17. Is w(-13) a multiple of 3?
True
Let x = 52 + -11. Does 11 divide x?
False
Is 19 a factor of (-3)/6 - 321/(-6)?
False
Does 5 divide (((-11)/2 - -3)*-8)/2?
True
Suppose -130 = -3*m - 2*m. Let x = m + 148. Let o = -124 + x. Does 25 divide o?
True
Let h(n) = 2*n**2 - 3*n - 2. Let r be h(4). Let x = r + -10. Is 52/x + 1/2 a multiple of 3?
False
Let s(x) = -x + 48 + 2*x + 7 - 5. Let y be 1/(-1) + -2 + 3. Is 18 a factor of s(y)?
False
Let d be (-6)/((-9)/(-6) + -3). Let r(y) = y**3 - 3*y**2 - y - 5. Let p be r(d). Is 5 a factor of 71/p + 2/(-14)?
True
Let p(f) = f**2 + 4*f - 1. Let i(c) = -1 + 1 + c. Let h(b) = -4*i(b) + p(b). Is 14 a factor of h(6)?
False
Let s(d) = d**3 - 12*d**2 + 12*d - 2. Let a be (7*(-4)/(-2))/1. Let f = 25 - a. Does 4 divide s(f)?
False
Let r be 0/(1*(-1)/1). Let x be (-1 - r) + (-6)/(-2). Suppose 2*v + 3*s = 61, -2*s = -v + x*v - 30. Is v a multiple of 15?
False
Let n(w) = 28*w**2 - 2*w - 1. Is n(-1) a multiple of 14?
False
Suppose -s - 2*r = -27 - 92, -s + 2*r + 127 = 0. Is s a multiple of 8?
False
Suppose 7 - 3 = -o. Let q = -2 - o. Suppose q*i = 97 - 23. Does 16 divide i?
False
Suppose 4*r = -10 - 10. Let p be (-4)/3*(2 + r). Suppose -87 = -p*i + 61. Is i a multiple of 14?
False
Let g be 3/6 + 20/8. Is 6 a factor of 5/((g/(-6))/(-1))?
False
Let k(l) = -2*l**3 + l + 1. Suppose -4*y - q - 10 = 0, 3*y = -q + 6*q - 19. Does 24 divide k(y)?
False
Let a(t) = -3*t**3 + 2*t**2 - 1. Let w be a(-1). Suppose -5*b - 1 = -4*f + 5, -w*f + 26 = 5*b. Suppose -b*z + 78 = 4. Is z a multiple of 21?
False
Let b = 37 - -4. Is 21 a factor of b?
False
Let k(l) = 89*l**2 - 2*l + 1. Does 40 divide k(1)?
False
Suppose 1273 = 5*b + 223. Is b a multiple of 35?
True
Let o(r) = 14*r**2 + 6*r + 12. Is o(-4) a multiple of 25?
False
Let g(y) = -y**3 - 8*y**2 + 7*y. Let a(z) = z - 9. Let l be a(0). Is 9 a factor of g(l)?
True
Let b be 1*-1 - (-10)/(-5). Is b/(3 + 0) + 45 a multiple of 22?
True
Let l = 30 - 11. Suppose 73 - l = 3*q. Is q a multiple of 9?
True
Suppose 3*y - 8*y = 0. Suppose -21 = -4*m + m + 4*l, 4*m + 4*l = y. Is m a multiple of 2?
False
Let c = 26 + -45. Let j = 8 - c. Is 8 a factor of j?
False
Let b(s) = -s + 7. Let z be b(-6). Let o = 43 + -21. Suppose 5*t - z = o. Is t a multiple of 7?
True
Let q(z) = z**3 - 5*z**2 + 3. Does 3 divide q(5)?
True
Suppose -4*b + 0*b = -60. Is b a multiple of 4?
False
Suppose -y = -6*y. Suppose y = 3*k - 5*k + 58. Is 29 a factor of k?
True
Suppose 6 = s - 7. Does 3 divide s?
False
Let o be -1*(0 - -3)*-1. Let h be ((-180)/o)/(0 + -1). Let w = h + -41. Is w a multiple of 11?
False
Let p = 7 - 1. Suppose -2*g = -2*k - p, -2*g + 7*k = 2*k - 3. Suppose 3*c + r = 6 + 121, -g*r = -4. Is 14 a factor of c?
True
Let h(g) = -24*g - 1. Let i = -11 + 10. Is h(i) a multiple of 4?
False
Let x be 103 - (3 - (3 + -3)). Does 20 divide ((-12)/10)/((-3)/x)?
True
Suppose -3*u + 12 = -u + 4*x, -5*u + 30 = x. Suppose 5*s = u*s - 46. Is 13 a factor of s?
False
Let r(h) = 14*h**3 + 15*h**2 + 29*h - 38. Let f(x) = 5*x**3 + 5*x**2 + 10*x - 13. Let t(p) = -17*f(p) + 6*r(p). Is 4 a factor of t(5)?
False
Suppose -5*j + 0*j = -240. Suppose j + 20 = 2*y. Is y a multiple of 12?
False
Suppose -4*i = -4*r + 240, -4*r - i = 3*i - 280. Let k = r + -37. Is 14 a factor of k?
True
Let s = -531 + 808. Is 12 a factor of s?
False
Let j be (10/(-6))/(5/(-135)). Suppose u = -t, 2*t = -7 + 1. Suppose 0 = -u*b - 2*b + j. Does 9 divide b?
True
Let f = 16 + 3. Suppose 4*x = 17 + f. Let s(z) = z + 9. Is s(x) a multiple of 9?
True
Let a = 117 - 44. Suppose -125 - a = -3*o. Does 22 divide o?
True
Let k = -21 + 51. Is 5 a factor of k?
True
Let k(b) = 3*b + 1. Let g be k(-1). Is (g - 0)/(3/(-24)) a multiple of 16?
True
Let u = -7 + 11. Suppose 4*h + 28 = u*y, -8*y + 22 = -4*y - 2*h. Suppose -4*x - x = -4*t + 46, y*t - 60 = -2*x. Is 9 a factor of t?
False
Let f(o) = -o**3 + 6*o**2 - 6*o + 4. Suppose -m = 2*p - 5, 6*p + 3*m - 5 = 2*p. Let a be f(p). Does 2 divide 19/4 + a/(-4)?
False
Let c(u) = 26*u**3 + 17*u**2 - 11*u - 14. Let b(y) = 9*y**3 + 6*y**2 - 4*y - 5. Let z(v) = 11*b(v) - 4*c(v). Is z(-1) a multiple of 4?
True
Let d(x) = 0 + x - 3 + 6*x - 2*x. Let b = -2 - -7. Does 6 divide d(b)?
False
Suppose 3*f + 3*f = 228. Does 21 divide f?
False
Let b(u) = -4 + 5*u + 2 + 0 + 2*u. Is b(3) a multiple of 9?
False
Suppose -4*d + 3*n = -2*n + 226, 2*n = 5*d + 291. Let u = d - -82. Is u a multiple of 13?
False
Suppose -5*v + 10 = -0. Suppose v*b + 3*c = 4, 0 = -3*c - 17 + 5. Is 4 a factor of b?
True
Let p(n) = 4*n**2 + 3*n - 3. Let i = 0 - 3. Let o be p(i). Let j = o - 11. Does 13 divide j?
True
Let w(f) be the first derivative of -f**6/120 + f**5/15 + f**4/3 - 5*f**3/6 - f**2/2 - 1. Let n(l) be the second derivative of w(l). Is 10 a factor of n(5)?
True
Suppose w = a + 49 + 37, 3*w - 286 = -4*a. Is w a multiple of 24?
False
Suppose -7*g = -2*g - 235. Suppose -3*j + g = 2*r - 33, r = 5*j - 116. Suppose -5*u + 3*n + 86 = 0, -2*u + j = 2*n - 4. Does 8 divide u?
True
Let k(m) = m**2 + 12*m - 4. Let p be k(-12). Is 17 a factor of 51*(0 - p/4)?
True
Let v(w) = w**2 + w. Let p be v(0). Suppose 0*i - 2*i + 58 = p. Does 14 divide i?
False
Let v = 0 - -13. Is 2 a factor of v?
False
Let v = -74 + 15. Let n = -104 - v. Is 19 a factor of 8 - n - (2 + 0)?
False
Suppose 0 = -5*v - 10 - 15. Is 5/(v/(-22)) + 2 a multiple of 6?
True
Suppose 9 = 2*w - 11. Suppose -t + 0*s = 2*s - 5, -5*s + w = 2*t. Is t a multiple of 2?
False
Let s = 1 - -2. Let z(q) = 6*q + 1. Let k(t) = -6*t - 1. Let n(c) = s*z(c) + 4*k(c). Does 17 divide n(-3)?
True
Let r(f) = -f**2 + 13*f - 1. Does 4 divide r(12)?
False
Let h be ((-3)/6)/(1/(-10)). Suppose -2*q + h*f = -44, -4*f - 24 = -q - 8. Is 8 a factor of q?
True
Is 18 a factor of (1 - 9)*(27/6)/(-1)?
True
Let z = 130 - 47. Does 14 divide z?
False
Suppose -3*q - 30 = -102. Does 12 divide q?
True
Let q(m) = -