 be ((-48)/(-14) + h)*7. Is 78/c + 3/15 a multiple of 5?
False
Suppose s = 6*s - 4*s. Suppose 3*r - r - 36 = s. Is r a multiple of 3?
True
Let n(w) be the first derivative of 10*w**3/3 - w**2 + 7*w + 15. Is 13 a factor of n(3)?
True
Let k(f) be the second derivative of f**5/60 + f**4/24 - 4*f**3/3 + 7*f**2/2 - 3*f. Let y(u) be the first derivative of k(u). Does 17 divide y(6)?
True
Let r(o) = -470*o + 2. Is r(-1) a multiple of 79?
False
Let q = 150 + 65. Is q a multiple of 43?
True
Suppose -21*v = 9210 - 23322. Is 20 a factor of v?
False
Let u be 392/(-20) - 6/15. Let f = 50 + u. Is 15 a factor of f?
True
Let x = -9 + 11. Suppose -w - w - k = -47, 119 = 5*w + x*k. Let s = w + -10. Is 15 a factor of s?
True
Let m(d) = d**3 - 13*d**2 - 13*d - 7. Let f be 16 - 2 - (2 + -2 + 0). Does 2 divide m(f)?
False
Let d(m) = -m**3 + 13*m**2 - 12*m - 15. Let i be d(12). Let s = -5 - i. Is s a multiple of 10?
True
Let y(n) = -96*n + 312. Is 5 a factor of y(3)?
False
Let q = 32 - 32. Suppose 2*x = -q*x - 2*c + 90, 3*x - 4*c - 100 = 0. Is x a multiple of 40?
True
Let p = 2 + 6. Suppose -2*v + 0 = p. Does 2 divide ((-3)/v)/(4/32)?
True
Suppose -4*n - 319 + 51 = 5*s, 5*n + 298 = 3*s. Let p = n - -94. Is 9 a factor of p?
False
Is 35 a factor of 24/(-6) - -2349 - 0 - 0?
True
Let a = -18 + 20. Let c(s) = -9. Let b(m) = -m - 9. Let x(j) = a*b(j) - 3*c(j). Does 6 divide x(-13)?
False
Suppose 4*m - 2627 = -3*p + 4058, -4*m + 16 = 0. Does 19 divide p?
True
Suppose -8*l + 0*l = -128. Suppose 4*f + 181 = a + l, -2*f = -3*a + 445. Is 22 a factor of a?
False
Suppose 3*y = 4*y - 6. Let v be (6 - y)/((-1)/(-1)). Suppose f + 3*f - 212 = v. Does 19 divide f?
False
Let c(j) be the third derivative of -j**5/60 - j**4/4 + 2*j**3/3 + 5*j**2. Let k be c(-6). Suppose i - 11 - k = 0. Does 5 divide i?
True
Suppose -9*h - 6 = -11*h. Let t(m) = m**3 - 8*m**2 - 8*m + 2. Let d(j) = j**3 - 7*j**2 - 7*j + 3. Let l(o) = h*t(o) - 4*d(o). Does 2 divide l(4)?
True
Let q = -1181 - -1925. Is 24 a factor of q?
True
Suppose 0 = -85*c + 27*c + 48720. Does 20 divide c?
True
Let s(c) = -c**3 + 5*c**2 + 14*c - 8. Suppose 5*g - 4*i = 126, g + 4*i = 4*g - 74. Let j = g - 21. Is 31 a factor of s(j)?
True
Does 8 divide (-17)/(3/18 + (-5)/24)?
True
Suppose -2*x + 3*x + 4 = 0, 5*u + 5*x - 660 = 0. Is u a multiple of 34?
True
Suppose 3*z = 5*y - 0*z + 23, -5*y - 5*z = 55. Let c(s) = -s**3 - 6*s**2 - s. Let x be c(y). Suppose 3*w - 7*w + x = 0. Is w a multiple of 5?
False
Let h = 69 + -65. Suppose -2 = c, 3*c - 374 = -b - h*b. Is 15 a factor of b?
False
Let g(m) = 4*m**2 + m - 4. Let y(a) be the second derivative of a**3/6 - 13*a**2/2 - 7*a. Let z be y(10). Does 14 divide g(z)?
False
Let g be -2*(-2)/(-4) - 0. Let m be 4 - g - 2*2. Is ((-75)/(-3))/m + -2 a multiple of 8?
False
Let q(o) be the first derivative of -o + 1/3*o**3 - 4 - 3*o**2. Is q(7) even?
True
Let j be -51*4/6*2. Let n = -13 - j. Is 11 a factor of n?
True
Let l(z) = 30*z - 9. Suppose -8*f = -4*f - 8. Is l(f) a multiple of 25?
False
Suppose 2*i - 4 = 4. Suppose 82 = 4*j + 2*w, 3*j - 46 - 13 = -i*w. Is 5 a factor of j?
False
Let o be 36 - (-15)/(2 + 3). Let c = -15 + o. Is c a multiple of 8?
True
Let k = 195 - 87. Let z = k + -19. Does 13 divide z?
False
Let o = -231 + 732. Suppose 8*b - 5*b - o = 0. Is 27 a factor of b?
False
Suppose -2*u + 3*u = 3*u. Suppose -w - g + 50 = u, 3*w + 11 - 161 = -2*g. Is w a multiple of 9?
False
Suppose 4 = -2*d - 0, -4*k = 3*d - 42. Suppose 0 = -3*o + k*o - 936. Is 16 a factor of o?
False
Suppose -2*z + 5*x = -15, 5*z - 5*x = -0*x + 15. Suppose 11*d - 6*d - 160 = z. Is d a multiple of 11?
False
Let u(k) = k**3 + 7*k**2 + 3*k + 3. Let j be u(-5). Suppose -2 = a - j. Is 4 a factor of a?
True
Let n(s) = -s**2 - s + 151. Suppose 0 = -5*w + 2*w. Let y be n(w). Let p = y + -101. Does 13 divide p?
False
Suppose 3*d - 11*j = -14*j + 123, 5*d - j - 229 = 0. Is d a multiple of 5?
True
Let r = 998 + -465. Suppose -119 = 3*k - r. Does 30 divide k?
False
Let k(h) = 59*h**3 + 5*h - 5. Is k(2) a multiple of 53?
True
Suppose -5*c - 6880 = -10*c. Is c a multiple of 29?
False
Suppose -20*s - 500 = -25*s. Suppose -3*f + 4*r = -s, -4*f + 7*r - 2*r + 134 = 0. Does 6 divide f?
True
Let h = 28 - -314. Is h a multiple of 9?
True
Suppose 74 = 3*r + g - 558, 5*g = -5*r + 1040. Does 36 divide r?
False
Let f = -2054 + 3321. Is f a multiple of 18?
False
Suppose 2 = 3*m - 4*m. Let y(f) be the third derivative of -f**6/40 - f**5/15 - f**4/8 - f**3/3 - 2*f**2. Is y(m) a multiple of 12?
True
Let p(b) = b**3 + 5*b**2 + 5*b + 6. Let m be p(-4). Suppose 3*n = 3*j + 246, 5*n - m*j - 360 = -7*j. Is n a multiple of 11?
True
Suppose 0 = -7*g + 2*g + 2450. Suppose 3*m - 305 = -2*j, -3*j + 4*m - 2*m = -g. Is 20 a factor of j?
True
Suppose -150*r + 4448 = -134*r. Is 3 a factor of r?
False
Let f(q) = -q**3 + 6*q**2 + 28*q - 5. Let i be f(9). Suppose i*d + 4*z - 368 = 232, 5*d = 4*z + 750. Does 50 divide d?
True
Suppose -33414 - 2556 = -22*g. Is 15 a factor of g?
True
Let b(w) = 46*w - 11. Is 4 a factor of b(3)?
False
Let s = 20 - 18. Suppose -7 = -s*y - 3*k - 19, -5*y + k + 4 = 0. Does 17 divide (75 + y + -2)*1?
False
Suppose -4*q + q + 12 = 0. Let c be 1/2*0/2. Suppose -r = -5*r + 4*s + 68, r + q*s - 22 = c. Is r a multiple of 6?
True
Suppose 36*u - 38*u - 4 = 0. Let w = -12 + 20. Let g = u + w. Does 3 divide g?
True
Let o be (-12)/(-15)*(-1175)/(-10). Suppose o + 473 = 7*d. Is d a multiple of 27?
True
Does 71 divide 81/(-162) + 4130/4 + -1?
False
Suppose -10*v + v + 18 = 0. Is 10 a factor of (-10)/15*-6*15/v?
True
Suppose 12 = u - 3*c - 7, -2*c = 8. Let i = u + 29. Is i a multiple of 13?
False
Suppose -u - u - 5*c = -620, -2*c = -2*u + 620. Is 10 a factor of u?
True
Suppose -61*h + 69*h = 512. Is h a multiple of 32?
True
Let q(a) = 64*a - 28. Does 28 divide q(7)?
True
Suppose -6*x + 2*x - 16 = 0. Let d be (8/(-6))/x*24. Suppose -3*s + l = -d, 2*s + 2*l - l = 12. Is s a multiple of 4?
True
Let c(a) = 5*a + 1. Let u(r) = -r**2 - 25*r - 5. Let q(p) = -11*c(p) - 2*u(p). Is q(5) a multiple of 6?
True
Let f be (-25)/10*(-3 + 1). Suppose p + 5*c = f*p - 280, 4*p + 3*c - 312 = 0. Does 22 divide p?
False
Suppose 4*f - 2*x - 380 = 506, 3*f - 675 = 5*x. Is f a multiple of 20?
True
Let a(h) = 3*h + 152. Suppose -3*c = 5*w + 3, -4*c - 3 = -5*w + 1. Is 38 a factor of a(w)?
True
Let o(b) = 157*b + 57. Does 3 divide o(2)?
False
Let x(i) = -i + 1. Let u be x(-2). Suppose -u*r = 12, 9*h = 14*h + r - 1361. Is 16 a factor of h?
False
Suppose -f + 630 = -258. Is 24 a factor of f?
True
Let i(o) be the first derivative of -15*o**2/2 - 35*o + 31. Is i(-5) a multiple of 10?
True
Let a = -102 - -990. Does 8 divide a?
True
Let u(a) = -a**3 + 4*a**2 + 2*a - 5. Let y be u(4). Suppose -2*g - y = -5. Suppose 3*i - 25 = -g. Is i a multiple of 8?
True
Suppose -5*y + b - 150 = 6*b, b + 61 = -2*y. Let k = 100 + y. Is k a multiple of 14?
False
Suppose u - 6 = 18. Let s(b) = -3*b - 1. Let h be s(-4). Let p = u - h. Does 5 divide p?
False
Suppose -4*s + 21 = 173. Let v = 56 + s. Does 3 divide v?
True
Let u(o) = o**3 - 9*o**2 + 17*o - 4. Let j be u(7). Let g = 40 - j. Does 17 divide g?
False
Let h = -166 - -392. Is h a multiple of 9?
False
Let v(h) be the second derivative of 28*h**4/3 + h**3/6 + 3*h**2 - 2*h. Let p be v(5). Does 29 divide 2/(-11) - p/(-33)?
False
Suppose 5*x - 17 - 3 = 0. Suppose 0 = x*h + 17 - 1. Is 40 a factor of (3 - (-123 + h)) + 0?
False
Let x(j) = -j**2 + 3*j + 1. Let o(u) = -4*u**2 + 13*u + 3. Let c(r) = -2*o(r) + 9*x(r). Let a be c(4). Is 9 a factor of (2 + a/6)*36?
True
Let c = 3 + 2. Suppose -4*t + 159 = -0*d + c*d, 5*t - d = 235. Suppose 5*z + 6 = t. Is z a multiple of 2?
True
Let n(d) = -9 + 27 + d - 7*d. Is n(-21) a multiple of 8?
True
Let y be 0/((-4 - -10)/(-2)). Let j(t) = t**2 + 114. Does 20 divide j(y)?
False
Let t = 4 + 2. Suppose 0*v = -t*v + 12. Suppose -156 = -4*r + 5*p, 0*r + v*r = 2*p + 80. Is r a multiple of 16?
False
Let i(h) = 554*h + 3. Does 43 divide i(2)?
False
Let i = -199 - -364. Does 5 divide i?
True
Let u = -178 - -200. Is 22 a factor of u?
True
Let w be 171/2 + (-1)/2. Suppose i = -4*i + w. Is i a multiple of 4?
False
Suppose -2*q = 3*q + 5. Let g be 79*3/(3/q). Let s = g - -144. Does 17 divide s?
False
Let z(t) = -2*t - 4. Let n be z(-2)