792)/14)/((-22)/231) a multiple of 45?
False
Let y be 0 + (3 - 5 - -10) + -3. Suppose 2*d + 15*h - 156 = 11*h, 0 = y*d - 5*h - 345. Is 36 a factor of d?
True
Let u(p) = p**2 + 7*p - 12. Let c be u(3). Suppose -c*f + 22410 = 27*f. Does 11 divide f?
False
Let s = -1346 + 2338. Suppose 5*r = 4*t - s, -4*t - 359 + 1391 = 5*r. Does 11 divide t?
True
Suppose -y = -5*a + 15, 2 = 5*y + a - 1. Suppose -2*k + 4*k + 24 = 2*w, -4*w + k + 39 = y. Suppose 18*m - 765 = w*m. Does 14 divide m?
False
Let g be ((-112)/70)/(-3*8/420). Does 2 divide (g/6 - 2)/(4/150)?
True
Let b = 12314 + 11908. Does 44 divide b?
False
Let p(l) = 10*l + 14. Let b(d) = -25*d - 116. Let r be b(-5). Does 13 divide p(r)?
True
Let b(u) = 508*u - 1018. Does 42 divide b(13)?
True
Let r(b) = -15*b - 9. Suppose 11 = 3*h + 5*u, -13 = -5*h + h - 5*u. Suppose 1 + 7 = 2*y, -h*y + 23 = -5*a. Does 9 divide r(a)?
True
Suppose 0 = p + m - 106, 5*m - 2*m = -15. Is p/(-1*(-7)/((-196)/(-12))) a multiple of 7?
True
Suppose -18*t = -491829 + 124341. Does 9 divide t?
False
Suppose -5*w - h + 16006 = 0, -9598 = -35*w + 32*w + 5*h. Is 84 a factor of w?
False
Suppose 9*c - 12*c - 4*k - 39 = 0, -3*c - 36 = 3*k. Let h(m) = -m**2 + 10*m + 3. Let f be h(10). Does 9 divide f/2*((-147)/c - -3)?
False
Let i(a) = -a**3 + 41*a**2 - 2*a + 91. Is i(31) a multiple of 119?
True
Let u = -367 - -1272. Does 30 divide u?
False
Suppose 1504 = 22*v + 10*v. Let h = 101 - 47. Let i = h - v. Is i a multiple of 3?
False
Let q = 79 + -52. Suppose 0 = 4*j - 201 - q. Does 19 divide j?
True
Let d(x) = 215*x + 553. Is 97 a factor of d(80)?
False
Suppose 28*u = -29*u - 56*u + 421038. Does 23 divide u?
True
Suppose 2*h = 18*s - 13*s - 10, -5*s + 10 = -3*h. Suppose h = 2*o - 5*y + 10, -2*o + 5 = 2*y + 15. Is (3 + o)*(-3)/12*62 a multiple of 10?
False
Does 50 divide 87512/34 - 240/(-2040)?
False
Suppose 13 + 3 = -2*m - 4*l, -5*m = -4*l - 16. Suppose -3*v - r + 242 + 1596 = m, 4*r + 1230 = 2*v. Is 9 a factor of v?
False
Is 33 a factor of 2/(-13) + (213826/13)/1?
False
Let m(b) be the third derivative of -11*b**6/120 - b**5/10 - b**4/2 - 16*b**3/3 - 166*b**2. Does 13 divide m(-4)?
True
Suppose 4*q - 3*h - 4 = -h, 0 = 3*q - h - 4. Suppose 0 = -300*j + 285*j - 1680. Does 16 divide (j/35)/(q/(-40))?
True
Suppose 5*d - 26 = -1. Is 11 a factor of (22 + 3)/d*66?
True
Let y(x) = -2*x**2 - 83*x + 18. Let t = 156 - 186. Does 12 divide y(t)?
True
Let z(q) = 7*q**2 + 18*q + 52. Let k(l) = -3*l - 106. Let i be k(-34). Does 8 divide z(i)?
False
Suppose -4*f = 2*f - 12. Is -7 + f + (-1815)/(-5) a multiple of 19?
False
Suppose 0 = -3*c - 275 + 3212. Suppose -6*r + c = -209. Is r a multiple of 9?
True
Let l(r) = -r**3 - 10*r**2 - 2*r - 17. Let u be l(-10). Suppose -35*z + 38*z = -u. Is 222/10 - ((-4)/20)/z even?
True
Suppose 0 = -4*b + f - 6*f - 34, 3*b + 22 = -2*f. Is 400 - 8/12*b a multiple of 16?
False
Let o = 32 - 68. Let d = o - -38. Suppose -d*b + 203 = 75. Is 32 a factor of b?
True
Is 51 a factor of (9/(-5)*-2)/(7880976/(-231795) + 34)?
True
Let o = 213 - 318. Let n = 140 + o. Does 7 divide n?
True
Suppose -16*f = -162 + 18. Suppose 2*u - 13*j + f*j - 1454 = 0, 0 = 5*u + 2*j - 3683. Is 7 a factor of u?
True
Suppose 2*s + 476 - 92 = 2*w, 2*s = 3*w - 581. Is w a multiple of 2?
False
Let l = -4558 + 9013. Is l a multiple of 27?
True
Let q be (-3 + 81/7)/((-216)/(-8316)). Let w(v) = -v**3 - 2*v**2 + 3*v + 2. Let x be w(-3). Suppose 4*m - 5*l - 463 = m, x*l = -2*m + q. Is 9 a factor of m?
False
Suppose 111*d = 107*d + 28. Suppose d*x - 2708 = 1436. Let g = x - 280. Is 52 a factor of g?
True
Suppose 0 = -23*w + 23 + 23. Suppose 2*r = -4*z + 1588, -6*r = -w*r + 5*z - 3161. Is r a multiple of 28?
True
Let s(o) be the second derivative of 7*o**3/6 + 12*o**2 + 3*o. Let g be ((-70)/28)/((-1)/2). Does 29 divide s(g)?
False
Does 8 divide 21/63 + (2063005/(-15))/(-7)?
True
Let f = 8 + -3. Suppose 0 = -f*q - 310 + 55. Let m = 12 - q. Is m a multiple of 28?
False
Suppose -2*w = 2*w + 36. Let k = w - -39. Let r = k - 19. Is 11 a factor of r?
True
Suppose 4*y + 138*a - 51520 = 136*a, y + 2*a = 12868. Is 110 a factor of y?
False
Suppose 68*d - 161*d + 77*d + 610448 = 0. Is d a multiple of 34?
False
Let v = 1427 + -515. Let a be (v/(-20))/((-18)/60). Suppose 59*f = 61*f - a. Does 38 divide f?
True
Suppose -4*m - 447 = -7*m. Suppose -m*h = -147*h. Suppose -4*c + h*c + 1187 = -3*a, 5*a = -5*c + 1510. Does 49 divide c?
False
Suppose -d = 5*h - 9, -3*h + 4*d = 3*d + 1. Let f(x) = x**2 - 5*x + 5. Let r be f(h). Is 18 a factor of (5 + -4)/r - -53?
True
Let o be 228/(-20) - (17/(-5) - -3). Is 121 + 1 - (-12 - o) a multiple of 41?
True
Suppose 0 = 17*x - 31*x + 7504. Let h = x - 42. Is 8 a factor of h?
False
Let p(b) = b**2 - 8*b - 7. Let j be p(8). Let f be ((-614)/4)/(j/14). Let t = -217 + f. Is t a multiple of 14?
False
Is 1/(-17) + (-42391713)/(-5831) a multiple of 5?
True
Let s(g) be the third derivative of -g**6/120 + 8*g**5/15 + 7*g**4/4 - 11*g**3/6 + 23*g**2 - 2. Is 4 a factor of s(33)?
False
Suppose -4*d + 8*f - 3*f - 394 = 0, 478 = -5*d - f. Is 12 a factor of (-6)/12*4*d?
True
Let h = -14 - 39. Let u = 41 + h. Let a = 48 + u. Is 12 a factor of a?
True
Suppose 719 = 52*u - 51*u. Suppose f - u = -x, -43*f - 2*x - 2147 = -46*f. Is 9 a factor of f?
False
Let n(k) = -3*k**3 - 54*k**2 + 34*k - 79. Is 5 a factor of n(-21)?
False
Suppose -213423 = -52*c - 47*c + 130701. Does 12 divide c?
False
Suppose 2*x + 3*r = 14, 2*x + r + 12 = 3*x. Let f(s) = s**2 - 9*s - 23. Let a be f(x). Is a/((-819)/14) + 3668/18 a multiple of 30?
False
Let i(j) be the second derivative of -j**5/20 - j**4/6 - j**3/3 + j**2/2 - 2*j + 9. Let t = 8 + -13. Does 24 divide i(t)?
False
Let k(q) = 20*q + 17. Let d be k(-9). Let v = 400 + d. Let s = v + -90. Does 21 divide s?
True
Suppose -7950 = -m - 2*m - 3*b, -3*b = 4*m - 10595. Does 12 divide m?
False
Suppose -4*k + 57742 = 3*r + 2*r, -r = 4*k - 57734. Is k a multiple of 15?
False
Let k(j) be the first derivative of 41*j**2 + 20. Let u be k(1). Suppose -3*r + 0*r = -4*c + u, 4*r + 65 = 3*c. Is 2 a factor of c?
False
Let y(d) = 28*d**2 - 8*d + 33. Does 16 divide y(4)?
False
Suppose -2*u - 2*n + 4*n = -14, -2*u - 1 = n. Let b be (-18)/(-63) + -3*(-4)/(-42). Suppose 3*c + 3*x - 220 - 317 = b, -2*c + 362 = -u*x. Does 30 divide c?
True
Let i(g) = 86*g**2 - 6*g + 38. Let s be i(4). Suppose -s - 1826 = -12*c. Is 8 a factor of c?
False
Suppose 12*z - 26113 + 9853 = 0. Suppose -86*q = -85*q - z. Is 41 a factor of q?
False
Let o = -28351 + 50753. Is o a multiple of 7?
False
Let q = -179 - -241. Suppose -q*l + 57*l + 395 = 0. Does 2 divide l?
False
Suppose 3*k - 7*k + 4 = 0. Let i be (-2)/k + -2 - 2. Is 11 a factor of 1/14*610 - i/14?
True
Suppose 2982 = 7*i - 959. Suppose 0 = -2*z - 3*m + i, 2*z - 2*m = 267 + 311. Does 10 divide z?
False
Suppose 2*n = 3*h - 159782, -4*h + 302755 = 5*n + 89720. Is h a multiple of 10?
True
Suppose -i - 2*b = -562, -1706 = -74*i + 71*i + 4*b. Is i a multiple of 5?
False
Let r(g) = 39*g + 40. Let v be r(10). Suppose 0*i = 5*i - v. Does 14 divide i?
False
Let h(d) = -7*d**3 - 5*d**2 + 44*d + 175. Is 4 a factor of h(-8)?
False
Let w be -3*-379*66/18. Suppose -20*v + 31*v = w. Is 37 a factor of v?
False
Suppose 0*z - 2*z = 32. Let n be z/(-4 + 0) - -973. Suppose -2*k = -2*g + 7*g - n, 0 = -3*g - 5*k + 590. Is 13 a factor of g?
True
Is 117 a factor of (-4)/24 - 55075/(-6)?
False
Suppose -23*l + 30*l - 49392 = 0. Suppose -31*t = -15*t - l. Is t a multiple of 9?
True
Is 6 - (1*(-48)/40 + 22569/(-5)) a multiple of 31?
False
Let d(g) = g - 11. Let m be d(10). Let n(y) = 4*y**2 + 791*y**3 + 0*y**2 - 819*y**3 - 1 + 2*y. Does 11 divide n(m)?
False
Let m be (4 + -3)*((0 - -3) + 2). Suppose -m*p - 2 + 52 = 0. Is (-645)/(-25) - (-2)/p a multiple of 13?
True
Suppose -20*z = 391 + 329. Let j = -14 - 56. Let b = z - j. Does 11 divide b?
False
Suppose 2*x + 4*b - 6 = 0, -2*x + b + 4*b - 3 = 0. Suppose -r + x - 4 = 0, 3*c = 2*r + 27. Suppose -4*k + 49 = -4*u - c, 4*u = -3*k + 14. Is k a multiple of 5?
True
Let n = 14837 - 2549. Is n a multiple of 129?
False
Is (304*(5 - (-78)/12))/(1 - -1) a multiple of 21?
False
Does 137 divide (-74346)/(-30) + -12 - (2/10 + 0)?
True
Let d(t) = -t**2 + 193*t + 117. Is d(82) a multiple of 16?
False
Let v(r) = 4*r*