c. Let p(d) = d + 8. Does 20 divide p(c)?
True
Let i(l) = -2*l + 19. Let o be i(9). Does 45 divide ((-3)/(-4))/o + (-354)/(-8)?
True
Let b(h) be the second derivative of -h**4/12 - 5*h**3/3 - h**2/2 + 2*h. Let z be b(-10). Let a(w) = -50*w + 1. Is 13 a factor of a(z)?
False
Let g(s) = -s**3 - 10*s**2 - 13*s - 11. Suppose -3*m = -2*r - 27, 2*r - 9 = -m - 0*m. Suppose -3*w = -2*w + m. Does 12 divide g(w)?
False
Let b(r) = -33*r - 173. Does 17 divide b(-6)?
False
Suppose 39 = 4*g - g. Suppose -2*q = 75 + g. Let x = -18 - q. Is x a multiple of 4?
False
Let o(v) = -v**2 - 55*v + 17. Does 19 divide o(-14)?
False
Let h = 123 + -135. Let u = h - -33. Is 3 a factor of u?
True
Let q = 128 + -54. Let o = 0 + q. Let j = o + -40. Is j a multiple of 26?
False
Let h = 42 + 37. Let c = 120 - h. Is c a multiple of 8?
False
Let y = -285 - -471. Does 61 divide y?
False
Let x = -553 - -1225. Is 21 a factor of x?
True
Suppose 10*i - 7*i - 48 = 0. Let y be 0*-4*(-2)/i. Suppose 2*u - 112 = -y*u. Does 15 divide u?
False
Let b(n) be the first derivative of n**4/4 - n**3 - n**2/2 + 3*n - 1. Let j be b(3). Suppose j = c + 3*c - 200. Does 25 divide c?
True
Let f be (-2)/9 + 116/36. Is 29 a factor of 5551/39 + 2/f?
False
Let i = 11 + 4. Let d = i - -29. Does 22 divide d?
True
Let a(y) = 11*y**2 + y - 4. Let u be a(-3). Suppose -6*g + 238 = -u. Is 5 a factor of g?
True
Does 9 divide 5 + (-2004)/(-5) + 12/(-15)?
True
Let h(f) = 21*f**2 - 25*f - 7. Does 11 divide h(-4)?
True
Suppose -3*d = -12, -3*b + 0*d = 4*d - 100. Suppose 0 = k - b. Is 14 a factor of k?
True
Let q be 1/(-2) + (-45)/(-10). Suppose 4*y = q*l + 360, l - 94 = -3*y + 2*y. Suppose -5*f + 3*f = -y. Is f a multiple of 25?
False
Suppose 4*w - 2*b = 3544, 3*b = 7*b + 8. Is w a multiple of 31?
False
Suppose -2*z + 2129 = -3*i, z - 2*i + 4*i = 1061. Does 6 divide z?
False
Let l = 15 - 16. Let j(o) = -59*o. Does 10 divide j(l)?
False
Let w(x) = -x**2 - 12*x - 9. Let j be w(-11). Let p(u) = -28*u - 3. Let y be p(j). Let h = y - -105. Does 13 divide h?
False
Let t(s) = 16*s - 76. Suppose -3*i - 30 = -w - 88, 0 = -5*i + 5*w + 100. Does 19 divide t(i)?
True
Suppose -5*h - 5*n - 23 = 32, -3*h - 25 = n. Let o = h + 11. Suppose -o*w + 3*j = -123, -3*w - j = -4*j - 93. Does 30 divide w?
True
Suppose 16*a - 28*a = -504. Is 2 a factor of a?
True
Suppose 14*i - 32*i = -2160. Does 64 divide i?
False
Suppose -2*c - 10 = 0, -5*v - 4*c + 31 = -19. Let b = v + -10. Is b a multiple of 4?
True
Let n(c) = -5769*c**3 + 2*c**2 - 11*c - 13. Is 17 a factor of n(-1)?
False
Let x(r) = 25*r - 7. Is 17 a factor of x(5)?
False
Let c be ((-7)/(-21) + 0)*(1 - -2). Does 3 divide (-3 + 0)/((-3)/18*c)?
True
Suppose 2*o - 3*a - 474 = 0, -4*o + 1266 = -2*a + 326. Let q(k) = k**3 + 10*k**2 - k + 12. Let g be q(-10). Suppose -2*y + g = -o. Does 32 divide y?
True
Suppose -2*p - p - 60 = 3*b, 50 = -3*b - p. Let a = 65 + b. Is a a multiple of 6?
False
Let h = 1462 - 928. Is 6 a factor of h?
True
Let p = 3317 + -2759. Is p a multiple of 6?
True
Suppose 0*o - 2*o - 1072 = -2*t, -4*t - 5*o = -2108. Is 19 a factor of t?
True
Let g be 99/(-21) + 5 + (-2174)/14. Let u = g - -239. Does 12 divide u?
True
Let l(j) = j**2 + j - 2. Let x be l(-2). Suppose -3*g + 5*n = -100, x = -2*n - 2*n + 4. Is 16 a factor of g?
False
Does 13 divide (-1)/(-4) - (-24794)/184?
False
Suppose -8 = 4*v + 8. Let m(q) = q**2 - 2*q - 8. Does 4 divide m(v)?
True
Suppose -2*t = -4*w, -3*t - 7*w = -3*w - 10. Let z(u) = 6 - 29*u**t + 0*u - 9*u + 31*u**2. Is z(6) a multiple of 8?
True
Suppose -4*f + 0*d - 130 = 5*d, -5*f = -4*d + 142. Does 6 divide f/70 - (-87)/7?
True
Let w(l) = -40*l + 9. Let y(m) = m**2 + 5*m + 9. Let i be y(-4). Let s be w(i). Let f = -136 - s. Does 12 divide f?
False
Let z(h) = h + 1. Let d(q) = q**3 + 14*q**2 - 1. Let u be d(-14). Let m be z(u). Suppose m*p + 5*p - 40 = 0. Is 4 a factor of p?
True
Suppose -3*p = -2*q + 332, p + 4*p + 668 = 4*q. Let k = -92 + q. Is 20 a factor of k?
True
Let p(a) = -a + 3*a + 21 - 4*a. Let c(q) = -3*q - 9. Let n be c(-6). Is p(n) a multiple of 3?
True
Let k(v) = 3*v**3 - 5*v**2 - 3*v**2 + 6 - 2*v**3 - 10*v. Let z be k(9). Let h(o) = 6*o**2 - 7. Does 15 divide h(z)?
False
Let l = 380 - -3768. Is l a multiple of 53?
False
Let x = -9 - -15. Does 2 divide ((-114)/(-18) - x)/(2/42)?
False
Let i be 13/(-65) - 216/(-5). Let w = -24 + i. Is w a multiple of 19?
True
Let o = -24 + 24. Suppose 6*s - s + 15 = -4*k, o = 3*k. Let n = s - -17. Is n a multiple of 14?
True
Let v(t) = t**3 + 4*t**2 - 1. Let x be v(-4). Let r(j) = -57*j**3 - j**2 + j + 1. Does 14 divide r(x)?
True
Let g(s) = -s + 6. Let q be g(-6). Let l = 14 - q. Is 20 a factor of (-1965)/(-25) - l/(-5)?
False
Let i(s) = -s**2 + 10*s - 22. Is i(5) a multiple of 3?
True
Suppose k - 133 = 4*g, g + 3*g = 3*k - 135. Let n = 14 - g. Is n a multiple of 16?
False
Let w(b) = 122*b**2 - 27*b - 58. Is 22 a factor of w(-2)?
True
Suppose -p = 40 + 24. Let x = 12 - p. Is 38 a factor of x?
True
Let q(m) = 3 + 3 + 0 + 41*m. Let l be q(5). Suppose -2*w + 81 = 2*c - 5, 5*w + c = l. Is 14 a factor of w?
True
Suppose 118443 = 103*k + 9469. Does 7 divide k?
False
Let t(q) = -q**2 - 26*q + 22. Is t(-23) a multiple of 27?
False
Suppose 24 = 2*k - 5*n, 0 = -3*k - k + 2*n + 16. Suppose k*x = -4*l + 144, l + 4*x - 36 = x. Does 5 divide l?
False
Suppose 5*z = v - 1753, 34*z - 33*z = -2*v + 3550. Is v a multiple of 21?
False
Suppose -3*k + 3229 = -5*f, -5*k + 2*k = 4*f - 3265. Is 7 a factor of k?
False
Let d(q) = 65*q + 1. Let u be d(2). Suppose p - 5*s - 177 = 0, -4*p + 340 + 416 = 4*s. Let l = p - u. Is l a multiple of 12?
False
Let w be -9 + 6/(-18) + (-4)/6. Is ((-4)/(-20)*-3)/(2/w) a multiple of 3?
True
Suppose -3*v - 2*v = -1995. Suppose 2*p = -b + 159, 5*p = -2*b + b + v. Is 23 a factor of p?
False
Suppose -53 = -4*p + 27. Suppose 5*k + p = 9*k. Suppose 0 = k*i - 151 - 129. Is 12 a factor of i?
False
Suppose 70 = 4*k - 122. Suppose 6*o - k = 30. Does 3 divide o?
False
Suppose -s + 6*s - 71 = 4*y, 5 = 5*y. Suppose -5*q = -s, -2*p - 3*p - 2*q = -1. Let h(n) = -8*n**3 + n**2 - n - 1. Does 9 divide h(p)?
True
Suppose -b - 24 = b. Let v(r) = -4*r**2 - 5*r - 7. Let u(w) = -7*w**2 - 11*w - 13. Let a(y) = -3*u(y) + 5*v(y). Does 26 divide a(b)?
True
Let g = -5 + 10. Suppose g*y = y + 36. Suppose r - 3*d + 0*d = -11, d = -r + y. Is r a multiple of 4?
True
Suppose 0 = -r + 12 - 12. Suppose r = -a + 46 + 121. Is 37 a factor of a?
False
Let x = 12 - 15. Let z(s) = -s**3 + 4*s**2 + s - 4. Let d be z(x). Does 12 divide 4/d*12*42?
True
Is 278 + 6/(-21)*7 a multiple of 46?
True
Let t(p) = p**3 + 2*p. Let c be t(2). Let u = -10 + c. Let o(q) = 4*q**2 + 4*q - 3. Does 9 divide o(u)?
False
Let u be (-7 + 2 - -2) + 712. Suppose -4*k = 2*t + 65 - 759, -3*t - u = -4*k. Is k a multiple of 13?
False
Let z(u) = 8*u**2 + 20*u - 51. Is z(3) a multiple of 4?
False
Let g(q) = q + 25. Let s be 2/3*(-285)/20*-2. Does 11 divide g(s)?
True
Is 8 a factor of (-30)/12*(-2472)/20?
False
Suppose 3*s = -4*k - 181, -12*s = -7*s + 2*k + 297. Does 11 divide s/(4/(-8) - (-3)/(-6))?
False
Suppose -4*m - 12 = -7*m. Suppose u - 168 = -4*y + 5*u, -3*y + m*u = -125. Let j = 87 - y. Is 11 a factor of j?
True
Let p(t) be the second derivative of t**5/20 - t**4/2 - 7*t**3/3 + 15*t**2/2 - 52*t. Is p(8) a multiple of 11?
False
Let m(v) = v**2 + 5*v + 13. Let l be m(-4). Suppose -1 = 4*p - l, 3*s - 94 = -5*p. Does 7 divide s?
True
Let w = 68 + -62. Suppose 3*r = -w*r + 108. Is 2 a factor of r?
True
Let l(s) be the first derivative of s + 9. Let u(c) = -c**2 + 4*c - 3. Let a(p) = 6*l(p) - u(p). Is a(8) a multiple of 25?
False
Suppose 21*t + 38822 = 111713. Is t a multiple of 13?
True
Let q(p) = 2*p - 6. Let j be q(5). Suppose 2*c + j = 0, 0 = -5*b - c - c + 166. Is 17 a factor of b?
True
Suppose l + 0 + 20 = -5*d, 5*l = d + 30. Suppose 20 = l*x, 4*u = 3*x + 14 + 102. Is 32 a factor of u?
True
Suppose t = -6 - 15. Suppose -4*m + 128 + 8 = 0. Let g = m + t. Does 10 divide g?
False
Suppose 6*o = -169 + 595. Let f = 186 - o. Is 31 a factor of f?
False
Suppose 0 = 3*h + 4*j - 1 - 19, 3*j = h + 2. Suppose 6*k = 3*o + 4*k - 169, 2*o - h*k = 126. Is o a multiple of 5?
False
Let g = 702 - 57. Is g a multiple of 15?
True
Let x(a) = 6*a**2 - 4*a - 5. Is 5 a factor of x(-2