 of 4?
True
Let v(r) = 60*r**2 + 2*r - 5. Is 60 a factor of v(-3)?
False
Let t(k) = k**2 + 7*k - 5. Let g be t(-8). Let f be ((-5)/3)/((-1)/g). Suppose 76 = 4*j + f*n, 3*n = -j + 4*n + 19. Is 10 a factor of j?
False
Let r(p) = 2*p**3 - 7*p**2 + 19*p - 15. Is r(5) a multiple of 7?
False
Suppose -g - 1 = 1. Let b be 10 + 1 + g + 3. Let l = b - -6. Does 6 divide l?
True
Suppose 4*b = 5*b - 9. Let j(t) = 10*t - 20. Does 18 divide j(b)?
False
Let z(v) = 5*v**3 - 23*v**2 - v - 5. Is z(7) a multiple of 64?
True
Let t(p) = -74*p - 179. Is 67 a factor of t(-16)?
True
Let y(b) = 3*b**2 + 9*b + 8. Let u = 10 + -5. Suppose -5 = 2*l + u. Is 19 a factor of y(l)?
True
Let r(c) = -25*c + 10. Let h be r(-3). Let q = -52 + h. Is 13 a factor of q?
False
Let p = -336 + 1470. Is 3 a factor of p?
True
Is 15 a factor of (13/2 - 2)/(90/11400)?
True
Does 47 divide 9/(-24) - (-17975)/40?
False
Let p be (-149)/(-2)*(2 + 0). Let f = p - 100. Does 17 divide f?
False
Suppose 2*f + 2*r - 928 = 0, r = -f - 3*r + 470. Is 21 a factor of f?
True
Let p(y) = 6*y - 16. Let u = -24 + 29. Does 3 divide p(u)?
False
Suppose 0 = 2*d + 9 - 5. Is d + 6 - 1 - -27 a multiple of 9?
False
Does 3 divide (-2)/(2 - (-1544)/(-768))?
True
Let h(y) = -y + 6. Let a = -19 + 21. Let j be h(a). Suppose -3*g = -4*i + 3*i - 29, j*g - 32 = 3*i. Is g even?
False
Suppose -4*l + 24 = -4*q, -2*q - 4 - 2 = 0. Suppose 0 = 5*h - 0*z - 2*z - 44, 11 = 2*h - l*z. Is 5 a factor of h?
True
Let l(z) = 2*z**2 - 3*z + 2. Let f be l(2). Suppose -f*d + 70 = -5*d. Let a = d - -104. Is a a multiple of 17?
True
Let k = 30 - 21. Let n(z) = 4*z**2 - 5*z - 7. Let h be n(k). Suppose -4*i - 5*p + h = 0, 0 = -4*i - 0*i + 3*p + 240. Is i a multiple of 21?
True
Suppose -3*t + 0*t = -12, -q + 4*t + 17 = 0. Is 33 a factor of q?
True
Let t = 51 - 47. Suppose -108 = o - t*o. Is 18 a factor of o?
True
Let y = 4184 - 715. Is y a multiple of 25?
False
Let k(q) be the second derivative of -7*q**6/720 - 7*q**5/40 + q**4/12 - 8*q. Let z(n) be the third derivative of k(n). Does 13 divide z(-6)?
False
Is 9 a factor of 11264/308 - 8/14?
True
Let j(o) = -o**2 + 78*o - 77. Is j(16) a multiple of 19?
False
Let p be (12/(-14))/((-16)/112). Let b be 24/8*14/p. Suppose 108 = 5*q - b. Does 23 divide q?
True
Let j(t) be the third derivative of 79*t**5/60 - t**4/24 - 2*t**2. Let b be j(-1). Suppose -4*s + 284 = b. Is s a multiple of 22?
False
Suppose -787 = -6*p + 2495. Does 34 divide p?
False
Let u(z) = -z**2 - 14*z - 13. Let p be u(-18). Let j = p - -339. Is j a multiple of 29?
False
Let p(m) = m**3 - 5*m**2 - 3*m + 3. Suppose -a - 32 = 4*l, 0 = 6*l - 4*l - 5*a + 38. Let i = l + 15. Does 21 divide p(i)?
True
Suppose -67*z + 10*z + 150594 = 0. Does 14 divide z?
False
Let t(u) = -u**2 - 9*u - 10. Suppose 2*a + 51 - 16 = 5*j, 3*a - j + 33 = 0. Let d be t(a). Is ((-9)/(-5))/((-6)/d) a multiple of 3?
True
Suppose 13 = 15*k - 17. Suppose -2*q + 3*a + 2*a = -88, k*q + 2*a - 74 = 0. Does 4 divide q?
False
Suppose 172 = -4*k + 2*l, -6*k + 2*k = l + 178. Let d = -269 + 381. Let o = k + d. Is 18 a factor of o?
False
Let u(v) = -63*v + 42. Is u(-9) a multiple of 3?
True
Let k be (3/(-6))/((-1)/48). Suppose 4*a = p + k, 2*a - 2*p - 23 = -a. Suppose 4*q - 28 = -a*r - 0*q, r - 14 = 2*q. Does 8 divide r?
True
Let p(d) = d**3 - 25*d**2 + 69*d - 3. Is 9 a factor of p(22)?
True
Suppose -2*v = -3*v - 22. Let u = v + 45. Is 13 a factor of (4 - 2 - -1) + u?
True
Let c(m) = -6*m - 20. Let g = 23 + -23. Suppose o + 5*a = -g + 4, -26 = 3*o - 4*a. Does 8 divide c(o)?
True
Does 42 divide (95/57)/(1/504)?
True
Let z be (-2)/6*6/(-1). Suppose -z*c = 2*c - 4. Let l = c + 6. Is 7 a factor of l?
True
Suppose -7 = p - 9. Suppose -157 = -p*r + 13. Does 8 divide r?
False
Let k(t) = 3*t**2 - 14*t - 25. Does 11 divide k(15)?
True
Let i(m) = -m + 6 + 1 - 2 + 2*m. Let d be i(-2). Suppose -q + 7 = -d. Is q a multiple of 5?
True
Let q(v) be the first derivative of v**2/2 - 11*v - 10. Let m be q(8). Is 92/6 - (-4)/m a multiple of 14?
True
Let a(p) = 11*p**2 + 0 + p**3 - 6 - 2*p - 3. Suppose -3*c - c - 44 = 0. Is a(c) a multiple of 4?
False
Let l(r) = r - 8. Let c be l(5). Is (38/(-1))/(-2) - c a multiple of 21?
False
Let v = -353 - -881. Is 6 a factor of v?
True
Let s = 17 + -15. Is 21 a factor of (s - 20/12)*147?
False
Is 5 a factor of (-350649)/(-2331) + (3/7)/(-1)?
True
Is 9 a factor of -24*((-126)/8 - 9)?
True
Let c(d) be the third derivative of 5*d**4/24 + 5*d**3/6 + 4*d**2. Let x be c(9). Let m = -26 + x. Does 12 divide m?
True
Let u = -63 + 63. Is (-24)/16 + (-165)/(-2) + u a multiple of 27?
True
Let r(w) = -w**3 + 5*w**2 + 2*w + 1. Let j be r(5). Suppose -2*p + j*p - 450 = 0. Is 13 a factor of p?
False
Suppose -7 = 4*g + 5, -4*l + 2*g = -6. Suppose 0 = 4*k + 2*u + 2*u - 24, -3*k = -4*u - 11. Suppose 4*a + 0*a - 122 = -2*h, l = k*h + 15. Is a a multiple of 16?
True
Let u(s) = -s + 52. Let p be 200/20*4/(-5). Is 9 a factor of u(p)?
False
Let v be 1 - 2 - 6/2. Is 19 a factor of v/38 - 4602/(-38)?
False
Suppose -6*u + 261 - 63 = 0. Let h = -34 + u. Is 12 + (-3 - 1)*h a multiple of 16?
True
Let o(h) = h**3 - 10*h**2 - 8*h + 6. Let y be o(11). Let b = 11 + y. Let u = b - -19. Is 14 a factor of u?
False
Suppose -t - 2*t - 4*j = 215, -5*j = -5. Let v = t + 52. Is (-1146)/v - (-8)/(-14) a multiple of 18?
True
Let b(v) be the second derivative of v**3/6 - v**2/2 + 4*v. Let m be b(2). Is 6 a factor of 21 + (1/m - -1)?
False
Suppose 10*g - 6*g = -100. Suppose z - 5*z = -8, -5*z + 163 = 3*y. Let j = y + g. Is j a multiple of 11?
False
Suppose z = 0, -5*n + 7*z + 860 = 8*z. Is n a multiple of 43?
True
Let o be (10 + -7)/((-6)/8). Let g = 4 + o. Suppose -t - 29 = -2*t + 3*z, -4*t + 3*z + 125 = g. Does 13 divide t?
False
Suppose -2*i + 100*h - 97*h = -1517, 2*h + 3038 = 4*i. Is i a multiple of 19?
True
Suppose 0 = 9*a - 11*a + 178. Suppose -o - a = -3*f, 0 = 3*f - 5*o - 108 + 11. Suppose 2*s - f = s. Does 15 divide s?
False
Suppose 1 + 7 = 2*r. Suppose -84 = -5*g - 4*t, 4*t = r*g - 3*g - 36. Does 8 divide g?
False
Let y(b) = -b**3 - 5*b**2 + 11*b + 10. Let m(q) = q**2 - 3*q + 1. Let n be m(4). Suppose -2*p + a = -p + 11, -2*p + 6 = n*a. Is y(p) a multiple of 6?
False
Let l = 47 + 40. Suppose 12*x - l = 153. Does 5 divide x?
True
Let i(f) = f**3 + 9*f**2 + 3*f - 2. Let a be i(-9). Let z = -1 - a. Is z a multiple of 14?
True
Suppose 7*y = 4*y + 15. Suppose o = 5*b - 23, 4*o = y*b - 0*o - 17. Suppose -4 = 4*z, 0 = -v + b*v - 2*z - 78. Is v a multiple of 12?
False
Suppose -38 = -3*t + 4*a, -2 - 13 = -5*t - 3*a. Suppose 26*x - 1271 = 4319. Suppose -t*h + x = -h. Does 15 divide h?
False
Suppose -5*l + k - 70 = 7, 3*k - 23 = 2*l. Let i(w) = w**3 + 15*w**2 - 18*w + 12. Is 5 a factor of i(l)?
False
Let j = 84 + -76. Does 2 divide (16/4 - 5) + j?
False
Let g(l) = 2*l - 9. Let j be g(8). Suppose 0*c + 55 = 5*c. Suppose -100 = j*z - c*z. Is 10 a factor of z?
False
Let c(w) = 24*w + 4. Let k be c(-3). Let h(v) = v**3 - 7*v**2 - 16*v + 46. Let n be h(3). Let a = n - k. Is a a multiple of 30?
True
Suppose r + 11 = -4*p, -2*p - 15 - 8 = -3*r. Suppose 5*t - 193 = -3*b, r*b - 4*b + 2*t - 65 = 0. Is b a multiple of 31?
False
Let j(q) = -3*q**2 - 88*q - 18. Is 9 a factor of j(-28)?
False
Let b = -26 - -29. Does 10 divide 74/(3/3) - b?
False
Let j = 48 + -113. Let k = j - -121. Does 11 divide k?
False
Let g be (-81)/(-4) + 5/(-20). Let n = -37 + 47. Suppose -6*j - g = -n*j. Is j a multiple of 5?
True
Let a be 4/(-22) + (-27762)/(-231). Suppose -b + 31 = -3*i, 5*b = 4*i + a + 68. Is 8 a factor of b?
True
Suppose -37 = 13*n - 1519. Is 15 a factor of n?
False
Let t(w) = -w**2 - 13*w + 2. Let f be t(-13). Suppose -f*m + 0*m + 115 = 3*u, 0 = 2*u + 5*m - 62. Does 15 divide u?
False
Let c be (-500)/(-15) + 4/6. Suppose 7*d = c + 141. Is d a multiple of 5?
True
Let c(t) = 9*t**2 + 3*t + 4. Let x be c(4). Suppose 4*b - 3*r - r - x = 0, 0 = -b - 3*r + 56. Does 20 divide b?
False
Let t(s) = s**3 + 36*s**2 - 82*s + 241. Is t(-38) a multiple of 16?
False
Let d be ((-220)/(-66))/((-4)/(-6)). Suppose d*b - 580 = -0*b. Is b a multiple of 21?
False
Let g be 16/(-48)*6/(-1). Suppose -3*l + 8 = -5*l - 2*f, 4*l + g*f + 18 = 0. Let c(v) = v**2 + v - 5. Is 5 a factor of c(l)?
True
Let v(f) = -f**3 - 15*f**2 - 20*f + 54. Is 18 a factor of