t/2) a multiple of 5?
False
Let l(t) = t**2 + 5*t - 10. Let y be l(-6). Let h(k) = -k**3 + 4*k - 3. Is 17 a factor of h(y)?
False
Suppose 6*p - 456 = -2*p. Is 6 a factor of p?
False
Let o = 143 + 85. Is 30 a factor of o?
False
Let j = -28 + 21. Let f = j + 16. Is 2 a factor of f?
False
Let z(y) = 6*y + 7. Let d be z(-2). Let m = -1 + 0. Is m*d/((-5)/(-2)) even?
True
Let t = -17 + 22. Suppose -36 = -3*y + 4*z, -2*y - 2*z + t*z = -23. Let x = y - -6. Does 19 divide x?
False
Let r(h) = -22*h - 56. Is r(-12) a multiple of 16?
True
Suppose -6*k + 155 = -79. Let f = 108 - k. Does 23 divide f?
True
Suppose 0 = -2*v + 2*r + 312 + 176, -4*v - 2*r = -982. Is v a multiple of 6?
False
Let y = -1041 - -1387. Is y even?
True
Suppose 7105 = 22*b + 7*b. Is b a multiple of 5?
True
Suppose 1348 = -k + 5*k. Is k a multiple of 7?
False
Suppose -7*n = 1285 - 5065. Does 45 divide n?
True
Let u = 855 - 503. Does 44 divide u?
True
Suppose 2*l - 2*k - 1 = 5, -5 = 5*k. Suppose -l*z - 26 = -3*z + 5*i, 4*z - 5*i = 44. Is z a multiple of 6?
True
Suppose -4*d + 0*v - 13 = v, -11 = 5*d - 4*v. Is 4/(d - -1) - (0 + -83) a multiple of 9?
True
Suppose 4*d + z + 69 = 0, -4*d + 2*d = -3*z + 17. Let t be 12/(-4 + (1 - (-4 + 2))). Let p = t - d. Is p a multiple of 2?
True
Suppose -5*r = -12*r + 5999. Is 59 a factor of r?
False
Let q(x) = 8*x**2 + 6*x + 8. Is q(-3) a multiple of 24?
False
Suppose 0 = -4*i + 3*p - 3177 - 104, 0 = 2*i - 3*p + 1639. Let v = -1229 - i. Is 3/2 + v/(-16) a multiple of 9?
True
Let f(w) = w**2 - 7*w - 2. Let p be f(6). Let x = p - 1. Does 12 divide ((-36)/(-10))/(x/(-150))?
True
Suppose 0*q = -4*q - 40. Let i(r) = -r + 1. Let b be i(-3). Is 4 a factor of -2 - ((8 - b) + q)?
True
Let p = 122 + -8. Suppose t = 2*y - 31 + p, 3*y - 68 = -t. Suppose -3*b = 5*h - 59, 3*h = -b - 4*b + t. Is b a multiple of 5?
False
Let x = 91 + -71. Let n = x + 106. Does 20 divide n?
False
Let l(y) = y**2 - 9*y + 5. Let s be l(7). Let n(h) = -11*h - 10. Let m be n(s). Suppose 4*b + 3*o = 119, 60 = 5*b + 4*o - m. Does 9 divide b?
False
Let m(c) = -c**3 - 2*c**2 - 4*c + 1530. Is 30 a factor of m(0)?
True
Suppose 0 = 16*r + 6*r - 1694. Does 11 divide r?
True
Suppose -3*d - 3 = -12. Suppose -d*p - 261 = -6*p. Let y = -55 + p. Is 8 a factor of y?
True
Let j be (9/(-7))/(2/(-14)). Suppose 0 = 5*c - j*c + 280. Does 35 divide c?
True
Let z = -24 + 24. Suppose z*s - 5*s + 240 = -5*j, -2*s + 5*j + 96 = 0. Suppose -3*q = f - 35, 3*f - s - 31 = 4*q. Does 6 divide f?
False
Is (696/60)/((-63)/(-30) - 2) a multiple of 58?
True
Is 13 a factor of 13/(-39) + (-454)/(-3)?
False
Let b be (-16)/((-3)/(6/4)). Suppose -2*g - b = -4*g. Does 5 divide 4/(-4) + 2 + g?
True
Let y(k) = -k + 14. Let l be y(8). Suppose j = l*j - 25. Suppose -131 = -5*o + 4*v + 186, -j*o + 319 = -3*v. Is 13 a factor of o?
True
Let h be 36/(-81)*(-18)/4. Is 2*(-3)/12 - (-337)/h a multiple of 21?
True
Suppose -26*r = 5307 - 17319. Is r a multiple of 86?
False
Let q(u) = 5*u + 354. Is q(12) a multiple of 3?
True
Suppose 5*u - 10 = 0, 0 = 5*j - u - 2*u - 4. Is (j/(-12) - 175/10)*-3 a multiple of 11?
False
Let r(z) be the third derivative of -z**6/120 + z**5/20 + z**4/4 + 13*z**3/6 - z**2. Is r(-5) a multiple of 24?
False
Suppose 2 = -5*z + 3*z, 29 = -4*a + 3*z. Let y be 4/(1 - (-4)/a). Let j = y + 24. Is j a multiple of 12?
False
Let u(i) = 5*i + 0*i + 10 - 6 - 3*i - i**3. Suppose -x - 3*d = -0*x - 1, 0 = -4*x - 5*d - 3. Does 4 divide u(x)?
True
Let c(q) = q**3 + 4*q**2 - 4*q - 2. Let k be c(-5). Let o(w) = -w + 3. Let f be o(k). Suppose 4 = 2*m - f. Does 7 divide m?
True
Suppose -37 - 67 = -2*i. Suppose 5*x + i = x. Let u = x - -73. Does 12 divide u?
True
Is 7 a factor of (-13)/((-39)/287)*6?
True
Let x(o) be the second derivative of o**5/10 - o**4/4 - 7*o**3/6 + 5*o**2/2 + 10*o. Is 13 a factor of x(4)?
False
Let j = 62 + -60. Suppose j*v - 354 = -34. Is v a multiple of 22?
False
Suppose 3669 = 4*z + 309. Is z a multiple of 42?
True
Is (7344/180)/((-6)/(-40)) a multiple of 40?
False
Let b(u) = u**2 - 10*u + 4. Let m(p) = 7*p**2 + 0 + 0*p**2 + 7*p + 7 - p**3 - 2*p**2. Let x be m(6). Is 12 a factor of b(x)?
False
Let p be (-18)/((-10)/(-5)*-1). Suppose 5*x + 10 = 0, -3*g + x - 25 = -p. Let u = g + 9. Is u a multiple of 2?
False
Suppose 2*t + 334 = 4*t. Suppose n + 5*d + 139 = 4*n, -4*n + 3*d = -t. Is n a multiple of 19?
True
Let g = 4 + -4. Suppose -5*l + w - 5*w + 903 = g, 0 = l - 3*w - 173. Let h = l + -103. Is h a multiple of 21?
False
Let q be (-3 + 10)/((-3)/1 - -4). Suppose q*c - 1422 + 225 = 0. Is c a multiple of 9?
True
Let f = 2099 + -575. Is f a multiple of 12?
True
Suppose -2*i = -4*i + 4*p + 68, 0 = 3*i - 4*p - 106. Is i a multiple of 16?
False
Let c(w) = -32*w + 4. Let h be c(-6). Suppose 4*q - 12 - h = 0. Does 10 divide q?
False
Suppose 0 = -2*h - 5 + 7. Is 16 a factor of (0 - h) + 48 + (-7 - -8)?
True
Let m = -30 + 17. Let n = m - -7. Is 6 a factor of (-35)/(-2) - 3/n?
True
Let t(f) = 10*f - 5. Let y be t(2). Let a = 8 + y. Let o = a - 9. Is 14 a factor of o?
True
Let f(w) be the first derivative of w**2 + 24*w - 29. Does 4 divide f(8)?
True
Suppose 29*j = -6911 + 20686. Does 21 divide j?
False
Suppose -g = 3*s + 55, 2*g = s - 0*g + 16. Let p = s - -80. Is p a multiple of 9?
False
Suppose -n = 3*l + 2*l - 210, -2*n + l + 376 = 0. Let d = 455 - n. Does 53 divide d?
True
Suppose -11*k + 590 = -k. Suppose k = i - 68. Is 28 a factor of i?
False
Suppose 0 = -g + 5*q + 1365, 3*q - 4555 = -3*g - 406. Is 23 a factor of g?
True
Is 28 a factor of 1/(7/(-2842)*-7)?
False
Let x = 3899 - 1091. Is 26 a factor of (-4)/(-22) - x/(-44)?
False
Suppose 24 + 136 = -2*a. Let v = a + 144. Is 16 a factor of v?
True
Let h = -103 + 236. Is h a multiple of 19?
True
Let q(c) be the first derivative of -4*c**2 + 8*c - 9. Is q(-3) a multiple of 8?
True
Suppose -5*c = -3*c - 8. Suppose -123 = -5*m + c*m. Suppose -3*o + 15 = 0, 0*g + 4*g = o + m. Is g a multiple of 7?
False
Let b = 2407 - 1770. Is b a multiple of 7?
True
Let p(k) = -3*k**3 - 13*k**2 - 10*k - 19. Let f(j) = 4*j**3 + 14*j**2 + 9*j + 18. Let m(u) = -2*f(u) - 3*p(u). Does 11 divide m(-9)?
False
Let l be 4/42*-3 - (-290)/(-14). Does 7 divide (-5)/((-3)/(-3))*l/5?
True
Let l = -36 - -34. Let o = 28 - l. Is 10 a factor of o?
True
Let h(x) = -x**3 + 5*x**2 + 8*x - 9. Let d be h(6). Let p(u) be the second derivative of -u**5/20 + u**4/2 + u**2 + 2*u. Is p(d) a multiple of 16?
False
Suppose -4*h + 6*h = 176. Is h a multiple of 22?
True
Suppose 0 = 31*q + 11900 - 33941. Is 84 a factor of q?
False
Let i be ((-1)/3)/((-7)/(-63)). Let u(z) = z + 1. Let h(l) = 4*l + 5. Let k(t) = 6*h(t) - 30*u(t). Is k(i) a multiple of 6?
True
Suppose 5*i = 324 + 126. Suppose -5*q = -2*q + 2*a - i, 0 = -4*q + 5*a + 120. Is q a multiple of 15?
True
Let s = 87 - -57. Is s a multiple of 6?
True
Let o(u) = 2*u - 3. Let l be 21/(-4)*(-48)/(-18). Let d be (-206)/(-30) - l/105. Does 6 divide o(d)?
False
Let p be (24/(-9) + 2)*-126. Let l = 7 + p. Does 32 divide l?
False
Let v = -71 - -118. Let r = v + -16. Is r a multiple of 13?
False
Suppose -4*h = 5*u - 20, 0 = 3*h - 2*u - 2*u + 16. Let d = 13 - h. Does 10 divide d?
False
Suppose 4*a - 4*x = -a + 48, -a + 4*x = 0. Suppose 0 = a*l - 9*l + 3. Does 3 divide 0 + ((-12)/(-3) - l)?
False
Suppose -g = 5*b - 26, -7 = -4*b - g + 14. Suppose -b*n + 8*n - 12 = 0. Let c = n + 13. Does 6 divide c?
False
Suppose 15*i - 281 - 1399 = 0. Is i a multiple of 3?
False
Let h = 4219 + -2766. Is 36 a factor of h?
False
Suppose 5*a - 4*t = 30, -a - 9 = 2*t - 1. Let y be 0 + (-1 - -3) - -3. Suppose -a*i = -r - 35, -y*r - 15 = -2*i - 0*r. Does 10 divide i?
True
Suppose 2*h = 4*k - 602, -3*k + k - 4*h = -296. Is k a multiple of 5?
True
Is 52*23 - (0/5)/9 a multiple of 18?
False
Let g(u) be the first derivative of -u**2/2 + u - 2. Let x be g(-3). Suppose -42 = -2*b - x*i, 6 = b - 0*i - i. Is 2 a factor of b?
False
Let x(j) = -j**2 - j + 2. Let g = 2 - 6. Let c be x(g). Let w(t) = -8*t - 12. Does 13 divide w(c)?
False
Suppose 14*g + 157 = 1669. Let i = g - 73. Does 35 divide i?
True
Let b = 971 + -919. Does 2 divide b?
True
Let u(n) = -16 + 2 - 49 + 13*n + 1. Is 50 a factor of u(24)?
True
Let i(f) = f**2 - 10*f + 6. Let j be i(10). Suppose -j = -20*b + 17*b. Suppose 3*s + 2*n = -0*n + 61, -3*