 13. Does 4 divide 16/((p/(-24))/(1/3))?
True
Let h(r) = 32*r**2 + 122*r - 30. Does 104 divide h(7)?
True
Let m = -446 - -794. Is m a multiple of 12?
True
Let n = 78 - 43. Let u = 103 + -43. Let r = u - n. Is r a multiple of 16?
False
Suppose 48 = -j + 5*j. Let s = 25 - j. Suppose 103 - s = 5*w. Does 9 divide w?
True
Suppose 5*h - 110 = 5*y, 0 = -0*h + h - 2*y - 27. Let i = h - 17. Suppose -2*s + 6*s - 28 = i. Is s a multiple of 2?
False
Let t(d) = 5*d - 1 - 4*d + 3*d. Let x be 2 + (0 - 3) + 7. Does 20 divide t(x)?
False
Let c be (1 - 3)*(-3)/2 - -1. Suppose -c*a - 120 = -7*a + 3*v, 4*v - 12 = 0. Is 13 a factor of a?
False
Let v(g) = g**3 - 10*g**2 + 10*g - 5. Is 19 a factor of v(10)?
True
Let s(k) = k**2 + 2*k + 3. Let b be s(-2). Let u be (2 - -1)*-3*b. Let r = u - -70. Is r a multiple of 8?
False
Suppose -2*s = -3*a + 7*a - 292, -152 = -s + a. Suppose -s = -c - 4*c. Is c a multiple of 4?
False
Let m(j) = j**3 - j**2 + 2. Suppose -3*f - 2*k + 7*k - 5 = 0, -3*f = -k + 1. Let w be m(f). Does 3 divide (-2 - 0) + w - -7?
False
Let n(i) = i - 3. Let u be n(5). Suppose -3*z = 3*x, x - u + 3 = 0. Is 11 a factor of 6/2*10 - z?
False
Let u = 298 + -178. Let c = u + -48. Does 9 divide c?
True
Let x = -35 + 34. Let a(d) = -20*d - 4. Is 2 a factor of a(x)?
True
Suppose 2*j - 4 = -3*a - 15, 4*j - 5 = 3*a. Let q be 290/6 + j/3. Suppose 4*n - q = n. Is n a multiple of 9?
False
Let r(g) = 168*g - 9. Does 15 divide r(1)?
False
Suppose 0 = 3*d - 2*s - 12, -2*d + 6 = -s - 2. Is d even?
True
Suppose -4*z = -2*h - h - 1, 0 = -z + h. Let b = z - -74. Does 12 divide b?
False
Suppose -10 = 5*q - 5*k - 0, -3*q = -k. Let j(z) = 54*z**3 + z**2 - z. Is 6 a factor of j(q)?
True
Let d = -374 - -750. Let g = 651 - d. Is g a multiple of 25?
True
Is 13 a factor of (10/(-12))/(-1*12/48744)?
False
Suppose 2*b + 10 = -4. Is 6 a factor of (-4 - b)/((-3)/(-28))?
False
Let v = 63 - 49. Is (-4 - 2)*(-119)/v a multiple of 5?
False
Suppose -p - 4*i = -2*p - 4, -2*i = 4*p + 52. Let k = p + 39. Is k a multiple of 12?
False
Let o(c) be the first derivative of -2*c + c**4 - 1 + 1/3*c**3 + 1/2*c**2. Is 12 a factor of o(2)?
True
Let v(s) = s**3 - 7*s**2 + 6*s - 15. Let t be v(7). Does 19 divide (t - 8)*(1 + 2)?
True
Let w = 0 - -2. Suppose 5*a + 10 = 0, a - 44 = -2*z - w*a. Is 5 a factor of z?
True
Let u(c) = -8 + 18 - 8 + 9*c**3 - 2*c. Is u(1) a multiple of 2?
False
Let z be (-2 + 1)/((-4)/(-2180)). Let a be (-24)/(-30)*z/(-2). Suppose -3*c = 2*y - 130, -5*c - 5*y = -2*y - a. Is c a multiple of 23?
True
Suppose -3*y + 4*d + 453 = 99, -485 = -4*y + d. Let x = 75 + y. Is 23 a factor of x?
False
Suppose -677*d = -681*d + 4256. Is 28 a factor of d?
True
Let y = 46 + -41. Suppose -9*x - y*x = -840. Does 29 divide x?
False
Suppose 1016 = 4*n - 6*a + 4*a, -3*n - 3*a = -771. Is 5 a factor of n?
True
Suppose -3*n - 15 = -k, 4*k + 16 = 4. Let w = n - -72. Is 11 a factor of w?
True
Suppose -4*q = -2*o + 118, -o + 3*q = -3*o + 90. Is o a multiple of 2?
False
Let b(r) = r**3 + 6*r**2 - 6*r + 6. Let q be b(-6). Let h(m) = -2*m - 13. Let o be h(-8). Suppose o*f - q = -0*f. Does 12 divide f?
False
Let n = 2183 - 4087. Let q be n/63 - 4/(-18). Let s = -10 - q. Is s a multiple of 10?
True
Let w = -226 - -576. Is 14 a factor of w?
True
Suppose 0 = 3*h - 0*h + 3*j - 9, h - 8 = 4*j. Suppose -11*m + h = -10*m. Does 3 divide m?
False
Suppose 0 = -3*g - 5*h + 3, -2*h = g - 4*g + 3. Is (6/10 - g) + 5064/60 a multiple of 28?
True
Let m be (0 - 2/(-3))*(-63)/(-2). Suppose 3*v - 4*a - 42 = 0, -4*v = 3*a - m - 10. Is 10 a factor of v?
True
Suppose 0 = -5*i - 3*j + 1880, -2*i + 4*j + 1880 = 3*i. Suppose 0 = -k + 3*t + 210, -2*k + i = -0*k + 5*t. Is 33 a factor of k?
True
Suppose 54*k - 59*k = -4155. Is 33 a factor of k?
False
Is (2 - 52/6)*612/(-30) a multiple of 34?
True
Let t(r) = r**3 + 12*r**2 + 10*r - 15. Let f be t(-11). Is 8 a factor of (2 - -4)*-1*f/3?
True
Let t(x) = -x. Let z be t(6). Let m = z + 52. Does 9 divide m?
False
Let p be 4/(-14) - (-48)/(-28). Let x be p + ((-72)/4)/(-3). Suppose -54 + 9 = -3*g - x*i, 0 = 5*g - 2*i - 75. Does 5 divide g?
True
Let k = -4 - -6. Suppose 218 = k*z + 5*p, -5*p - 464 = -4*z - p. Suppose 0 = 3*r - 0*r - z. Is 19 a factor of r?
True
Suppose 3*q + 0*q = 3696. Does 23 divide q?
False
Suppose -4*h - 1 - 3 = 0. Does 9 divide 0 - -2 - 44/h?
False
Suppose -4*j = 0, 3*y + 4*j + 698 - 1787 = 0. Suppose -78 = 3*c - 2*p - y, -3*p = -3*c + 285. Is 19 a factor of c?
True
Suppose -104 = 2*m + 2*u, -2*m = -u + 82 + 19. Let i be (m/34)/((-3)/74). Suppose q = -0*q + i. Is q a multiple of 8?
False
Suppose -111 = -2*s + 3*m - 2*m, -5*s + 275 = -2*m. Let r be 7/28 + (-77)/4. Let j = s + r. Is j a multiple of 10?
False
Let k(r) = -2*r - 11. Let c be (-6*1)/((-10)/25). Let o = c - 26. Does 3 divide k(o)?
False
Let b(p) = 212*p - 295. Is 17 a factor of b(5)?
True
Let t(b) = 101*b**2 + 3*b + 3. Suppose -3*m - 3*m - 6 = 0. Is t(m) a multiple of 24?
False
Let a = 32 + 209. Is 9 a factor of a?
False
Let m(n) = n**2 + 3*n**3 - 4*n**2 + 2*n**2 + 1 - 3*n - 2*n**3. Let b be m(-3). Let c = 52 + b. Is 14 a factor of c?
False
Let g(s) = 130*s**3 - 3*s**2 + 2*s - 1. Does 8 divide g(1)?
True
Let l be (365 + 0)/5 - 1. Let v = l - 34. Is v a multiple of 9?
False
Let f = 40 - 16. Let s = f - 4. Is s a multiple of 5?
True
Does 52 divide -1 - (-3 + 3 + -209)?
True
Suppose -o - 1243 = 3*t - 3747, 4200 = 5*t - 5*o. Is t a multiple of 38?
True
Let p(g) = 11*g - 21. Let o be (1 + -4)/((-42)/154). Is 34 a factor of p(o)?
False
Let g(t) be the second derivative of -2/3*t**3 + 4*t**2 + 1/20*t**5 + 0 + 5*t + 2/3*t**4. Is 8 a factor of g(-8)?
True
Let q = -239 - -284. Is 7 a factor of q?
False
Suppose -j + 562 = 5*u, 0 = 4*j + 4*u - 2*u - 2212. Suppose 3*w - 72 - j = 0. Is 26 a factor of (w/2)/(-4)*-1?
True
Let o(r) = -r - 1. Let v(i) = 54*i + 30. Let t(c) = -180*o(c) - 6*v(c). Let m be t(-1). Let u = 229 - m. Is 14 a factor of u?
False
Suppose h - m + 1 = 3, -m = -4*h + 14. Suppose 5*k - 5*l - 8 = h*k, 0 = -5*l + 20. Suppose -2*o = -k - 56. Is 8 a factor of o?
False
Let r = 62 + -26. Suppose 0 = 19*q - 23*q + 104. Let t = r - q. Is 10 a factor of t?
True
Let c(q) = -15*q**3 + q**2 - 4*q - 4. Let f(k) = k**3 + 25*k**2 - 25*k + 24. Let h be f(-26). Is c(h) a multiple of 32?
True
Let a = 829 + -245. Does 38 divide a?
False
Let a(i) = i**2 - 14*i - 39. Let n be (4/6)/(418/138 + -3). Is a(n) a multiple of 21?
True
Let l = -14 - -18. Suppose 2*s + 12 = a - 3*a, -3*s - 15 = l*a. Is (s/(-15) + 1)*30 a multiple of 12?
True
Let b = 119 - -1547. Is b a multiple of 14?
True
Let v(b) be the third derivative of 0 + 0*b - 11*b**2 + 1/24*b**4 + 37/60*b**5 + 1/3*b**3. Is 14 a factor of v(-1)?
False
Let j = -22 + 19. Let w be 0/(j/((-6)/4)). Suppose q - 3*q + 34 = w. Does 17 divide q?
True
Let p(r) = -r**3 - 4*r**2 + 3*r + 2. Suppose -g - 5 = -0. Is p(g) a multiple of 6?
True
Let c(v) = -8*v + 7. Let g be c(-6). Suppose 3*y = 2*a - g, 3*a - 55 = -4*y + 19. Suppose a = b + 8. Does 9 divide b?
True
Does 8 divide (-1010)/35*35/(-20)*24?
False
Let o be (-15)/10*-50 - (-2)/2. Suppose 79*g = o*g + 396. Is 12 a factor of g?
True
Let v(u) = u**2 - 5*u - 49. Let f be v(10). Is (1/f + -5)/((-1)/12) a multiple of 24?
True
Suppose 46*s = 19106 + 9874. Does 45 divide s?
True
Suppose -8*g = 17 - 1. Is 39 a factor of 36/90 - (g - (-1526)/(-10))?
False
Suppose -30*l + 36*l = 1296. Is l a multiple of 35?
False
Let c be (-23)/(-7) - (-30)/(-105). Is ((-9)/(-5) - c)*-30 a multiple of 9?
True
Suppose 3*x + 1827 = 3*v - 0*v, 3*v - 2*x = 1832. Suppose -11*a + v = -1036. Is 15 a factor of a?
True
Let p be 3 - -9*(-2)/6. Suppose z = -p*z - 4. Is z/(-6)*(-120)/(-16) even?
False
Suppose -3*l + 2202 = 3*a, -2*l + 56*a - 48*a + 1438 = 0. Is 28 a factor of l?
False
Does 6 divide (-4084)/(-30) - (92/15 + -6)?
False
Let k(q) = -3*q**2 - 1. Let m be k(-1). Let a be 12/(-8) + 25/(-2). Is 20 a factor of 976/14 + m/a?
False
Let w(g) = 88*g**2. Let p be w(1). Let m be 2/14 - p/77. Does 5 divide (15/m)/(-10 + 9)?
True
Let n = -163 + 483. Is n a multiple of 40?
True
Let m(l) = l**3 - 35*l**2 + 43*l + 45. Let i be m(33). Is 10 a factor of i/4*(-4 + (-32)/(-12))?
False
Suppose -2*i + 2816 = -35*z + 30*z, -3*i + z + 4224 = 0. Is i a multiple of 23?
False
Let d be (-5)/45