2*t - 78*t + 264. Does 4 divide t?
True
Let r(b) = -2*b**2 + 15*b - 5. Let z be r(7). Suppose -4*l + z*h = -38, h = -3*h + 20. Is l a multiple of 12?
True
Suppose -12 - 36 = -3*t. Suppose -21*v + t*v + 35 = 0. Does 6 divide v?
False
Let z = -324 + 668. Is z a multiple of 44?
False
Let t be (-157 - 12) + (-7)/(-1). Suppose -5 = u + 4. Is 13 a factor of (-628)/u - 36/t?
False
Suppose 0 = -3*g - 3*p - 9, 0*g = -3*g + p + 3. Suppose g*m = -k + 5*m + 80, -k + 72 = 3*m. Is 25 a factor of k?
True
Suppose -2*p = -w + 2, -3*w + 3*p = -16 + 1. Suppose -w*f + 550 = 5*x - 4*f, 0 = -4*f. Suppose x = -4*s + 274. Is s a multiple of 13?
False
Suppose 4*d - 113 = 39. Let b = -17 + d. Is 5 a factor of b?
False
Suppose -5*p + 35 = 4*h - 3*h, 12 = -p - 4*h. Suppose 10*d + 16 = p*d. Is -17*4/8*d a multiple of 19?
False
Suppose -6*a - 28 = -13*a. Suppose 0 = 4*s - 0*c + c - 327, c = a*s - 329. Is 34 a factor of s?
False
Let s(f) = -f**3 + 10*f**2 + 16*f - 55. Does 15 divide s(10)?
True
Suppose 18050 = 25*a + 2300. Is a a multiple of 14?
True
Let m = -5 - -2. Let v be -6 + 8 - 1*m. Suppose -v*a = x + 8 - 88, 2*a - 5*x - 5 = 0. Does 15 divide a?
True
Let h(m) = -4*m + 11. Let b be h(4). Let y(r) = -r - 2. Let a be y(-4). Does 9 divide a/b + 1413/45?
False
Let f = 0 - -4. Suppose 0 = -2*a + 8 - 2. Suppose -f*k = -a*k - 18. Does 18 divide k?
True
Is 1978/22 - (-24)/264 a multiple of 30?
True
Let r = -25 + 25. Does 18 divide 155/10*(6 - r)?
False
Does 23 divide (-2)/(-9) - (-3365)/(-45)*-1?
False
Suppose 23*w + 44064 = 35*w. Does 24 divide w?
True
Let v be 12/60 - 11/5. Let b(n) = -8*n**3 + 4*n**2 + 3*n. Is b(v) a multiple of 9?
False
Let u(o) = o**3 + 7*o**2 + 4. Let n be u(-7). Let k be -30*-2*n/24. Let b(d) = -d**2 + 13*d + 7. Is b(k) a multiple of 19?
False
Suppose k = 5 - 2. Suppose -3*i + 120 = 2*p + p, -70 = -2*i + k*p. Is i a multiple of 15?
False
Let b(l) = l**3 - 7*l**2 + 2*l + 16. Let n be b(8). Suppose j + 18*v - 14*v - n = 0, -4*j = 3*v - 345. Is j a multiple of 6?
True
Suppose o = -3*o + 8. Does 17 divide 51 - (2 + -7 + o)?
False
Suppose 44 = -5*j + 69. Is (-170)/(-17) + -1 + j a multiple of 9?
False
Suppose 26*u - 20*u - 270 = 0. Does 3 divide u?
True
Is (-1107)/(3/(-1)) + 12/2 a multiple of 24?
False
Let j(m) = 160*m - 214. Is j(3) a multiple of 2?
True
Let j be (2 - 8)/(4/((-8)/3)). Is 31 a factor of j/(-5) + 934/5?
True
Suppose 6*m - 8 = 7*m. Let f be m/10*15/2. Is f/(1/(-1 - 7)) a multiple of 12?
True
Does 4 divide 29/(-6)*72/(-9)*6?
True
Suppose 4*i = 10*i - 390. Let b = 7 + i. Is 18 a factor of b?
True
Let m(x) = -16*x + 9. Suppose 2*b = -3*n - 28, b = 3*n + 2*n + 25. Does 19 divide m(n)?
False
Let n(m) be the third derivative of m**6/120 + 11*m**5/60 + 5*m**4/24 - 7*m**3/2 + 7*m**2. Is 13 a factor of n(-10)?
False
Suppose -r + 2*u + 58 = -37, -r + u + 100 = 0. Does 5 divide r?
True
Let g(m) be the second derivative of -m**4/12 - m**3/2 + m**2 - 2*m. Let z be g(-2). Suppose 2*o + 18 = 4*b, -z = 2*b + 5*o - 31. Is 3 a factor of b?
True
Suppose -2*y + 20 = 2*y. Suppose 2*d - y*t = 113, t = -5*d + 2*t + 317. Suppose -5*f + d = -f + l, -5*l - 32 = -2*f. Is f a multiple of 8?
True
Let h = -1011 + 1533. Is 29 a factor of h?
True
Suppose -5*n + 5*c = -1260, -3*c = 5*n - n - 1001. Let q = n + -131. Is q a multiple of 5?
True
Let y = -88 - -62. Let w = 135 + -191. Let v = y - w. Does 14 divide v?
False
Suppose 0 = -19*a + 6*a + 2340. Is a a multiple of 4?
True
Let w(q) = -3*q**2 - 6*q + 4. Let u be w(5). Let h be 9/((-36)/616) + (-4)/1. Let c = u - h. Is c a multiple of 28?
False
Suppose 251*o - 252*o + 84 = 0. Is 21 a factor of o?
True
Let t(y) = -63*y**3 + y**2 - y - 1. Suppose -2*z + 7*z - 10 = -5*i, 0 = -2*z + 4*i + 22. Suppose -z = -0*b - 3*b + 4*x, -5*b - 3 = -x. Is 10 a factor of t(b)?
False
Let g = 435 + -353. Is 19 a factor of g?
False
Let d(l) = l**2 + 20*l + 40. Let g = -15 - 6. Is d(g) a multiple of 9?
False
Let f = 5 - 2. Let k(h) = 9*h**3 + h**2 - 3*h - 3. Let v be k(f). Suppose 2*a = 5*u - v, 3*u = 2*a + 72 + 72. Is u a multiple of 12?
True
Let o(j) be the first derivative of 65*j**3 + 2*j + 20. Does 24 divide o(1)?
False
Let u(t) = -4*t - 49. Let q be (28/6)/((5 - -1)/(-18)). Is 7 a factor of u(q)?
True
Suppose 0*h = 5*h + 110. Let s be (-17)/(h/(-6) - 4). Suppose f - s = 59. Is 37 a factor of f?
False
Let n = -2 - -19. Suppose -n = 3*m + 1. Let w = 24 + m. Is 18 a factor of w?
True
Suppose 15*f + 9791 = 29051. Is f a multiple of 18?
False
Let p = -2662 - -4251. Suppose 0 = -8*i - 21 + p. Is 28 a factor of i?
True
Suppose -5*i - c - c = -3334, 0 = -c + 2. Does 23 divide i?
False
Let u(n) = -n**3 - 3*n**2 + 2*n - 7. Let f be u(-10). Let w = -401 + f. Suppose 4*v + 2*o - w = 0, -3*o = 2*v - 55 - 73. Is v a multiple of 14?
True
Does 14 divide -2 - (-76158)/81 - (-4)/(-18)?
True
Let y = 40 + -29. Suppose -y*j - 10 = -13*j. Suppose -j*q + 2*q = -24. Is q a multiple of 4?
True
Suppose -2*h - 5*k = -7*h - 250, -2*k = 4. Let v = h - -55. Does 3 divide v?
True
Let a(p) = 5*p - 94. Let h be a(16). Let u(r) = 12*r + r**2 + 2 - 5 - 1. Is u(h) a multiple of 8?
True
Suppose -27*c + 12381 = -2226. Does 20 divide c?
False
Suppose -12622 = -15*l + 20678. Does 17 divide l?
False
Is (-41262)/92*(-4)/3 a multiple of 13?
True
Let o(c) = 3*c**2 - 83*c + 87. Is o(32) even?
False
Is (3 - 7) + 3 + (-5 - -886) a multiple of 40?
True
Suppose -8 + 8 = -3*g. Suppose -14*k + g*k = -812. Does 6 divide k?
False
Let q(s) = s**2 + 3*s - 2. Let z be q(-3). Let p be (3 - 3)*(-2)/z. Does 10 divide (-1 - p) + 1 + 30?
True
Let v(f) = -7*f + 30. Is v(-6) a multiple of 3?
True
Suppose 4*g - 72 = -2*g. Suppose 273 = g*n - 9*n. Is n a multiple of 22?
False
Let c be (-2 - 1 - -5) + 55. Suppose 0 = -5*o + c - 7. Is o even?
True
Let p = -116 + 341. Is p a multiple of 25?
True
Is 87 a factor of 28*(43568/196)/(1 + 1)?
False
Suppose 2*v + 5*v - 42 = 0. Suppose -i + 4*p + 4 = -v, -2*p = -3*i. Is 28 a factor of -58*(-3 + (-5)/i)?
False
Let x = -39 + 47. Suppose 5 + 11 = x*d. Is d even?
True
Suppose -40*a + 47292 = -43468. Is a a multiple of 86?
False
Let o = -343 - -965. Does 21 divide o?
False
Let l(h) = 36*h**2 + 9*h + 30. Is 74 a factor of l(9)?
False
Suppose -4*m + m + 15 = 0. Let f = 6 - -7. Let s = f - m. Is 4 a factor of s?
True
Suppose -42*a + 2969 = -1441. Is a a multiple of 35?
True
Let t = 1174 + -694. Does 24 divide t?
True
Suppose 5*t - 1708 = 3*t - k, -t + 854 = k. Is 49 a factor of t?
False
Let r be 3/6*1*2. Let v be ((r + 0)*3)/(-1). Let c = 29 - v. Is 10 a factor of c?
False
Suppose 5*v + 2*h = 164, 4*v + 4*h - 80 - 56 = 0. Is 32 a factor of v?
True
Suppose -31*p = -35*p + 924. Does 77 divide p?
True
Suppose 0 = 3*s - 11*s + 80. Suppose s*y - 3*y - 154 = 0. Is 5 a factor of y?
False
Let z(v) = 3*v**3 - 10*v**2 + 9*v - 16. Let c(r) = r**3 - 1. Let y(h) = -4*c(h) + z(h). Is y(-11) a multiple of 8?
False
Suppose 0*w + 2*n + 632 = 3*w, -2*w - 4*n = -416. Is w a multiple of 15?
True
Suppose -3*o - 2*o + 180 = 0. Let v = o + -5. Suppose 2*m - v = -n, 3*n + 53 = 4*m + 8*n. Is m a multiple of 9?
False
Let r(l) = l**3 + 12*l**2 - l - 10. Let p be r(-12). Suppose p*u = 6*u. Is 7 a factor of u/14 - -7*4?
True
Let i be 4 - (0 + (3 - 2)). Suppose -i*m - 160 = -7*m. Does 14 divide m?
False
Let n = -383 + -99. Let s = -328 - n. Does 17 divide s?
False
Let z(l) = -69*l - 99. Is 10 a factor of z(-18)?
False
Suppose -4*j + 16 + 1269 = -5*w, -2*j - 4*w + 610 = 0. Is j a multiple of 45?
True
Let o(c) = -c**3 + 7*c**2 - 7*c + 3. Let t be o(5). Suppose 7*j - 5*s = 3*j - 36, 2*j + t = -5*s. Let k = 16 + j. Is 7 a factor of k?
True
Let m(u) = -3*u - 45. Let z(a) = -2*a - 23. Let d(x) = -3*m(x) + 5*z(x). Is 12 a factor of d(-8)?
False
Let o(s) be the second derivative of s**4/12 + 5*s**3/2 - 3*s**2 + 4*s. Let j be o(-15). Is 21 a factor of (-439)/(-7) - j/21?
True
Let v = -138 - -71. Let x = v - -114. Is 20 a factor of x?
False
Let q = 351 - 171. Does 15 divide q?
True
Let m = 283 - -2753. Is 23 a factor of m?
True
Suppose 4*q - 662 + 158 = 0. Is q a multiple of 3?
True
Let a be 2*(-4)/(-8)*5. Suppose 0 = 5*v + 4*i - 70, -v + 15 = -2*v + a*i. Does 3 divide v?
False
Suppose 0 = 4*p - p + 5*i - 167, p = -4*i + 44. Is p a multiple of 3?
False
Let q(w) be the third derivative of -w**5/60 + w**4/24 