110/(-12)) a multiple of 21?
False
Let j(w) = w**2 + 11*w - 14. Let z(r) = 2*r**2 - 3*r - 9. Let s be z(5). Suppose -4*l - s = -2*l. Does 4 divide j(l)?
True
Let t be 174/54 - (-2)/(-9). Suppose 4*g = 2*k + 93 + 113, k = -t*g + 152. Is g a multiple of 17?
True
Suppose q = -3*r + 55, 8 = 2*q - 0*q. Suppose r*v - 18*v = -90. Does 30 divide v?
True
Let f = 4 - 21. Let t(c) = c**2. Let z(n) = -3*n**2 + 21*n - 4. Let j(d) = -4*t(d) - z(d). Does 24 divide j(f)?
True
Let f(n) = -n**3 + 42*n**2 + 140*n - 75. Does 10 divide f(45)?
True
Let z = 216 - 116. Suppose 5*h - z = h. Let v = -7 + h. Is 9 a factor of v?
True
Suppose -v = 5*j - 65, 3*v - 2*j - 14 - 113 = 0. Does 10 divide v?
False
Let b(n) = -12*n**3 + 2*n**2 + n - 2. Let t(h) = -h**3 + 7*h**2 - 5*h - 8. Let a be t(6). Let r be b(a). Suppose 0*m - 2*m + r = 0. Does 16 divide m?
False
Suppose 182 = s + 27. Suppose 3*p - s = 61. Does 24 divide p?
True
Suppose -6*o + 636 = -3*o. Suppose -t = -5*t - 5*i + 186, o = 5*t - 4*i. Is t a multiple of 40?
False
Let y be 2 - -1 - (1 - 0 - 1). Does 5 divide 3 - (y + 3 + -61)?
False
Let x(u) = 3*u**2 + u. Let v be x(1). Suppose 16 = v*i, m + 3*i = -3*m + 124. Is 12 a factor of m?
False
Suppose 8*g = 14*g + 6540. Does 22 divide g/(-21) - (-4)/42?
False
Let h(u) be the third derivative of u**6/360 + u**5/15 + 5*u**4/24 + u**3/3 - u**2. Let g(a) be the first derivative of h(a). Is 14 a factor of g(-9)?
True
Suppose 0 = -6*d + 744 + 390. Is 9 a factor of d?
True
Let n = 10 + -5. Suppose -13*o + 8*o + 25 = 0. Does 11 divide n*o + 9/(-3)?
True
Let i = -77 + 50. Let m = i + 50. Is 23 a factor of m?
True
Let d = 38 - 73. Let q = d - -63. Does 7 divide q?
True
Let w be 0 - -1 - -2 - 11. Let p be w - 3/(9/(-6)). Let u(a) = a**3 + 6*a**2 - 8*a - 3. Is u(p) a multiple of 15?
True
Let b(l) = l**2 + 11*l - 5. Is 5 a factor of b(9)?
True
Let k(j) = -5*j - 1. Let a be k(-5). Is (-5)/((-25)/a)*120/12 a multiple of 5?
False
Suppose x = 4*z + 6 + 1, 2*z = 0. Let n(v) = 2*v**2 + 4*v - 2. Is n(x) a multiple of 5?
False
Suppose -13*y + 20*y = 7371. Is y a multiple of 27?
True
Let j = 139 - 81. Is j/3*300/40 a multiple of 29?
True
Suppose 0 = 3*f + 6*o - 8*o - 281, 3*o = -3. Does 7 divide f?
False
Suppose 100 = 3*c - 59. Let g = c - 30. Is g a multiple of 22?
False
Let o(z) = z**2 + 6*z - 5. Is 8 a factor of o(-14)?
False
Let y = 20 - 15. Suppose z - 6*z + 120 = 0. Is y/((-45)/z + 2) a multiple of 14?
False
Suppose -4*q - 3*l = -l - 858, 0 = -3*q - 2*l + 641. Does 7 divide q?
True
Is 32 a factor of -1*(1020 + 1)*-1?
False
Let c = 684 + 228. Does 57 divide c?
True
Let v be 4 + 0 - (1 - 4). Suppose -22*j + 1725 = -v*j. Is j a multiple of 5?
True
Let a(y) = 12*y**2 + 5*y - 17. Is 26 a factor of a(-6)?
False
Let i(k) = k + 0 + 27*k**2 - 20*k**2 + 9. Is i(3) a multiple of 25?
True
Let r(b) = 23*b**2 - 11. Does 14 divide r(4)?
False
Does 12 divide (-4656)/(-12)*1/4?
False
Suppose -3*f + 8 = 2, 4*t - 3*f - 5170 = 0. Is t a multiple of 12?
False
Let c be -1 + 1/(-2)*-10. Suppose 0 = 3*b - 5 - c. Suppose 2*o = b*o - 63. Is 22 a factor of o?
False
Let d = 143 - 142. Is (2*7/(-42))/(d/(-138)) even?
True
Suppose 42*b + 10164 - 128604 = 0. Is b a multiple of 12?
True
Suppose b + 0*b - 170 = 0. Suppose 5*g - 129 = -n, 4*n + 59 = 3*g - 0*g. Suppose -b - g = -5*x. Does 20 divide x?
False
Suppose -2*h = -2*j + 94, -4*j + 2*h = 4*h - 218. Is 14 a factor of j?
False
Suppose 5*s - 506 = -71. Let w(v) = -17*v - 17. Let y be w(-4). Let k = s - y. Does 18 divide k?
True
Suppose -5*b = -10*b - 5. Let t = 215 - b. Is 36 a factor of t?
True
Let q = -30 - -16. Let d be -2 - (-7)/(q/(-8)). Let b = d + 4. Is 6 a factor of b?
True
Suppose 5*p + 0*p = -3*b + 8, 2*p - b = 12. Suppose 4*s - 4*f = -p, -3*s + 5*f - 5 = -s. Let r = s - -4. Is r even?
True
Let v be 12*(12/(-8) - -3). Suppose 2*i = 5*i - v. Suppose 3*y = -3*d + 3, -d = i*y - y + 19. Is d a multiple of 3?
True
Does 53 divide 104 - (8/(-12))/((-9)/(-27))?
True
Is 25 a factor of (-901)/(-12) + 19/(-228)?
True
Let j(q) = 12*q**2 - q - 4. Let s be j(-5). Let a = s - 172. Is a a multiple of 31?
False
Suppose 91*a - 2*a = 133411. Is a a multiple of 8?
False
Let o(y) = y**3 + 4*y**2 - 7*y - 6. Let m be o(-5). Suppose -5*b = m*h - 43, -24 - 21 = -5*b - 5*h. Is b a multiple of 3?
False
Let w = 1136 + -252. Does 13 divide w?
True
Suppose -3*h + 20 = -1. Let c(o) = o - 6. Let z be c(h). Let j = 13 + z. Does 7 divide j?
True
Let d be (-9)/6*-2*1. Suppose 6 = d*n - 9. Is ((-8)/n)/(14/(-245)) a multiple of 14?
True
Suppose c = 2*k - 23, 0 = k + k - 3*c - 33. Suppose k*x - 3*x - 18 = 0. Does 7 divide (-627)/11*(-2)/x?
False
Is 4 a factor of (-3)/((-63)/6) + (-32281)/(-133)?
False
Let p = -264 - -322. Does 7 divide p?
False
Suppose 0 = 9*w - 6958 - 4031. Does 37 divide w?
True
Suppose -4*n = -3325 - 179. Is n a multiple of 28?
False
Let s(g) = g**2 + 14. Suppose -26 = -2*l - 14. Suppose r - 2*c - 11 = -5, 0 = -3*r - 2*c - l. Does 14 divide s(r)?
True
Suppose 3*y = 8*y - 40. Let t = y + 10. Does 3 divide t?
True
Let l(b) = -b**3 - 7*b**2 - 5*b + 4. Let a be l(-6). Let s(t) = -7*t**2 - 3*t. Let p be s(a). Let u = 6 - p. Does 12 divide u?
False
Suppose 5*n = -5*d + 4005, 3*n = -4*d + 945 + 1459. Is 45 a factor of n?
False
Is (-106 - -97)*(-121)/3 a multiple of 54?
False
Let j = 7 + 5. Let r = 68 + j. Is 5730/r - 6/(-16) a multiple of 12?
True
Suppose -4*a + 7*a - 6 = 0. Let q(y) = 4 - 1 - 4*y**2 + 13*y**a - 4*y - y**3. Is 7 a factor of q(8)?
True
Let p(h) = 140*h**3 - 2*h**2 + h. Let y be p(1). Suppose 120 = 4*d - g, -y = -5*d + 4*g - 0*g. Let t = -19 + d. Is t a multiple of 10?
False
Suppose -130 = -7*y + 5*y - 4*c, 4*y = 3*c + 271. Is y a multiple of 9?
False
Let b = -42 + 45. Is 10 a factor of b/(-9)*-3 + (0 - -59)?
True
Let v = -8 - -8. Let m(h) = h**2 - h + 76. Let o be m(v). Suppose s - 49 = -5*c, 3*c - o = -s - 25. Is 27 a factor of s?
True
Suppose 50*y = 66609 + 3041. Does 11 divide y?
False
Let g(k) be the third derivative of k**4/2 + 2*k**3/3 - 3*k**2. Let w(c) = c + 1. Let v(h) = 2*g(h) - 10*w(h). Does 18 divide v(4)?
True
Let p(k) = 4*k - 3. Let y(m) = -1. Let x(a) = p(a) - 5*y(a). Let f(g) = g - 2. Let t be f(8). Is 12 a factor of x(t)?
False
Suppose 0 = -2*j - 5*p + 14 - 11, j - 3*p = 18. Is 2 a factor of j?
False
Let f = -37 - -75. Let c(k) = -2*k + 21. Let u be c(-3). Let n = u + f. Is n a multiple of 16?
False
Let w(h) be the first derivative of -h**3/3 - 21*h**2/2 + 11*h - 12. Does 17 divide w(-16)?
False
Let j = -62 - -29. Let f = 52 + -19. Let n = f - j. Is n a multiple of 22?
True
Suppose 2*j - 9 - 1 = 0. Suppose 3*s - 3*n + 19 = j*s, -n + 23 = 4*s. Suppose 0*u = u - s. Is 2 a factor of u?
False
Let q(p) = p**2 - 9*p + 2. Let y be q(9). Let a = 30 - y. Let x = a - 12. Does 9 divide x?
False
Let q(y) = -18*y - 24. Is q(-2) even?
True
Suppose -869*p + 872*p + 3714 = 2*n, 5*n - 9278 = 4*p. Does 6 divide n?
True
Suppose 0 = 11*k + 23*k - 3196. Is 14 a factor of k?
False
Suppose 0 = -5*p - 9 - 1. Let n(h) = -25*h - 8. Is n(p) a multiple of 6?
True
Let z = 57 - 20. Let o = 41 - z. Suppose -104 = -o*l + 3*l. Is l a multiple of 17?
False
Suppose 0 = -95*m + 86*m + 10467. Does 30 divide m?
False
Let f = -26 + 28. Is (76/(-20) + f)*-10 a multiple of 18?
True
Let q = 136 + -17. Is 7 a factor of q?
True
Suppose 5*p - 2 = -o - 18, 2*o - 3*p = -6. Let m = o + -6. Let j = m + 29. Does 17 divide j?
True
Let o = -37 + 30. Does 21 divide (7161/(-9))/o + (-2)/3?
False
Let a(v) = v**2 - 10*v + 15. Let r be a(9). Is 35 a factor of (-210)/9*r/(-4)?
True
Suppose -3*l = -q + 115 + 262, -2*l = 2*q + 262. Let u = 232 + l. Suppose 185 = 5*m - 5*t, 0 = 4*m + 4*t - u - 35. Is m a multiple of 11?
False
Let b(o) = -3*o - 2*o**3 - 8 - 3*o**3 + 4*o**3 - 5*o**2 - 3. Is 12 a factor of b(-7)?
True
Let m(j) = 5*j - 4*j - 3*j - j + 104. Let t be m(0). Let v = t - 56. Is v a multiple of 16?
True
Suppose -22*u + 51 = 51. Suppose p + 4*f = -12, 3*p + p = -2*f - 6. Suppose -2*t + u*t + 36 = p. Is t a multiple of 10?
False
Suppose -d = -2*r - 12, 5*d + 0*d - 54 = 4*r. Suppose -d*u + 6*u = 28. Let m(w) = -5*w - 3. Does 16 divide m(u)?
True
Let b be 78/(-9)*(2 + 19). Let p = b - -390. Does 16 divide p?
True
Suppose -3*j = -5*f - 19, 2*f - 6*f + 4 = 4*j. Suppose -3*x = -j*d + 21, x - 30 - 23 =