es 14 divide p(i)?
True
Let h(p) = -p**3 - 14*p**2 + 11*p + 1. Is h(-15) a multiple of 8?
False
Let t(i) = 57*i - 1. Let b be t(2). Let u = 122 - 118. Suppose 2*r + 110 = u*c, 5*c - b = -4*r + 5. Does 13 divide c?
True
Let a = 74 - -464. Is a a multiple of 10?
False
Let z = -8358 - -13018. Is z a multiple of 22?
False
Let r be 7 + -2 + 2 - 3. Let w be 0*(0 - 2 - -3). Suppose w = -v - d + 23, d + 132 = r*v - 3*d. Does 7 divide v?
True
Is 54 a factor of (-12)/36*((4 - 5733) + -1)?
False
Suppose 4*m = 9*m - 10. Suppose 2*l = -m*l + 504. Is 11 a factor of l?
False
Suppose -4*t - 28 = -0. Is 18 a factor of (-632)/t - 6/21?
True
Let w = -226 + 328. Suppose d - 90 = 4*a, -3*a + 12 - w = -d. Is 9 a factor of d?
True
Let y(k) = -k**3 + 14*k**2 - 15*k + 20. Let q be y(12). Let m = -108 + q. Does 3 divide m?
False
Let b(u) = 71*u - 5. Let d be b(5). Suppose 11*q - 5*z = 6*q + d, -2*z = 4*q - 292. Is q a multiple of 12?
True
Let v(x) = 7*x + 1. Let m be v(2). Does 12 divide (-12)/m + 488/10?
True
Let a(v) = v**3 - 5*v**2 + 3*v + 4. Let s be a(4). Suppose l - 4*l + 12 = s. Suppose -l = -o + 19. Does 5 divide o?
False
Let b = -2 - -8. Suppose 2*y - 41 = y + 5*i, -b = -2*i. Let l = y - 31. Is l a multiple of 25?
True
Suppose 592 + 400 = 8*o. Is o a multiple of 18?
False
Let c(l) = l + 11. Let v be c(-8). Suppose n - 2*i + 16 = 0, 4*i - 1 = -v*n + 1. Does 11 divide 88/n*(-18)/12?
True
Suppose 0 = -5*i + 1 + 9. Suppose 55 + 147 = i*s. Let t = s + -47. Is 27 a factor of t?
True
Let m(b) be the third derivative of 1/24*b**4 - 11*b**2 + 0*b - 1/60*b**5 - 31/120*b**6 + 1/6*b**3 + 0. Is 12 a factor of m(-1)?
False
Suppose 0 = 2*v + v - 9. Let a be ((-114)/(-7))/(v/(-21)). Let q = -56 - a. Is 27 a factor of q?
False
Suppose q = 3*i - 2703, -2*i + 928 = 4*q - 874. Does 20 divide i?
False
Let o = 62 + -58. Suppose 0 = -0*g + 2*g - 4*b - 150, o*b + 12 = 0. Does 33 divide g?
False
Suppose -9*x - 3543 + 10221 = 0. Does 7 divide x?
True
Let d be (15/12)/(5/20). Suppose -4*a + 0*c = d*c - 298, 5*c = 4*a - 278. Does 9 divide a?
True
Let j be (-1 - 0)*((-40 - 7) + 6). Suppose h - 2*d = 11, 4*d + j = 3*h + 2*d. Is h a multiple of 5?
True
Let k(t) be the first derivative of -7/2*t**2 + 0*t + 4. Is 14 a factor of k(-4)?
True
Let o be (-3 - -4) + -481 + -1 + 5. Let f = -267 - o. Is 45 a factor of f?
False
Suppose 269*r - 6125 = 244*r. Is r a multiple of 2?
False
Does 28 divide (-52)/5*(0 + -3 + -32)?
True
Suppose 424 = 6*z - 116. Suppose -66*s = -60*s - z. Is s a multiple of 3?
True
Let h = -1469 - -2072. Is h a multiple of 44?
False
Let k = 20 + -1. Let h(g) = g**2 - 13*g - 2. Is 28 a factor of h(k)?
True
Suppose 26*k + 132 = 23*k. Let q = k + 154. Suppose f - q = -3*f - 2*l, 4*f - l - 101 = 0. Is 13 a factor of f?
True
Let t(a) = -2*a**3 + 2*a**2 - 2*a - 3. Suppose -z = 5*f - 12 - 11, -2*f = -4*z - 18. Is 25 a factor of t(z)?
True
Suppose 0 = 12*q - 25*q + 3328. Is q a multiple of 12?
False
Suppose -4*x + 74 + 906 = 4*u, -3*x = 4*u - 740. Is x a multiple of 23?
False
Suppose -6*l + 7 = -17. Suppose l*m = 2*m + 324. Suppose -2*v + 44 + m = 0. Does 30 divide v?
False
Does 56 divide 408/340*5*57?
False
Let c(t) = 17*t + 685. Is c(39) a multiple of 64?
False
Let u(k) = 3*k**3 - 6*k**2 + 6*k + 22. Does 43 divide u(6)?
False
Let c = 598 - 217. Is 83 a factor of c?
False
Let h = 1 + 10. Let i(d) = d**2 - 12*d + 11. Let p be i(h). Does 10 divide p - -3*2*6?
False
Suppose -2*x + 6*x = 0. Suppose x = -3*p - 4*k + 70, p = -3*p - 3*k + 98. Does 26 divide p?
True
Let p(b) = 12*b**2 - 14*b + 29. Is 12 a factor of p(2)?
False
Let h(o) = 5*o**3 - 2 - 3*o**3 + 1 - 2*o - 11*o**3. Let k be 27/(-21) - 4/(-14). Does 7 divide h(k)?
False
Let o(t) = t**3 + 6*t**2 - 4*t + 18. Let x be o(-7). Let n(q) = 2*q + 16. Is 3 a factor of n(x)?
False
Is 3 a factor of 18/(22/24 - (-9)/(-36))?
True
Suppose -2*f = -0*f + 4*b - 394, 2*f = 6*b + 374. Does 19 divide f?
False
Let n be (2/(-3))/((-4)/90). Let y(r) = -r**3 + 16*r**2 - 12*r - 3. Does 6 divide y(n)?
True
Let z = 89 + -85. Is 11 a factor of 0/1 + 136 + z?
False
Suppose -23 = -2*m - 7. Suppose -2*u - 216 = -m*u. Let x = u + -29. Is 5 a factor of x?
False
Does 26 divide (-43074)/(-36) - 5/10?
True
Suppose -7*o + 6*o - 27 = 0. Let p = -25 - o. Suppose -r = p*b - 83, 3*b = 3*r + 114 + 6. Is b a multiple of 33?
False
Let q = -1058 + 4516. Is 15 a factor of q?
False
Let n = 995 - -352. Is n a multiple of 22?
False
Let z be (9/(-27))/(1/(-60)). Suppose 19*k - z*k + 140 = 0. Does 35 divide k?
True
Suppose d - 3*d = 12. Let a(f) = f**3 + 6*f**2 - 2*f - 7. Let c be a(d). Suppose 2*b - 3*b - 150 = -c*p, 2*p - 60 = -3*b. Is p a multiple of 10?
True
Let x = 142 - 133. Is x a multiple of 9?
True
Let p = 11 - 3. Suppose 0*z - 4*z + p = 0. Suppose 3*b - r - 164 = 0, -4*b = 5*r - z*r - 210. Is 18 a factor of b?
True
Let d = -20 - -20. Suppose d = -3*w + 108 + 36. Is w a multiple of 10?
False
Suppose 108*n - 125*n + 19159 = 0. Is 49 a factor of n?
True
Let h be 6*(-1 + 57/(-6)). Is h/(0 + -3) - (3 + -1) a multiple of 5?
False
Let h(c) = 2*c**2 - 55*c - 330. Is h(61) a multiple of 17?
True
Let p = 2636 + -2448. Is 6 a factor of p?
False
Suppose 9 = 3*r + 2*m - 40, 4*r - 5*m - 96 = 0. Is 7 a factor of r?
False
Let i(f) be the third derivative of f**5/30 + f**4/4 + f**3/6 + 11*f**2. Is i(-4) a multiple of 4?
False
Let p = -11 - -263. Is 18 a factor of p?
True
Suppose -7 + 21 = 2*y. Let b(d) = 9*d**2 + 7*d - 9. Let s(j) = 4*j**2 + 3*j - 4. Let l(w) = -3*b(w) + 7*s(w). Does 15 divide l(y)?
False
Suppose 3*f + 4*k - 12 = 0, 5*f + 6 - 18 = -4*k. Let a(n) = -n**2 - n + 66. Is 22 a factor of a(f)?
True
Let c = 3 - 0. Suppose 4*l - c*l - 105 = 0. Suppose 0 = -z - z - 3*q + l, 2*q + 170 = 4*z. Is 15 a factor of z?
True
Let h be 4 - -237*4/16*4. Let t = -142 + h. Is t a multiple of 24?
False
Let w(f) = f**2 + 9*f + 5. Let z be w(-9). Suppose -z*n + 7 = -3. Suppose 19 = 2*k + j, -3*j + 23 = 2*k + n*j. Is k a multiple of 8?
False
Let s = -548 + 791. Is 22 a factor of s?
False
Let x = 2076 + -1359. Does 105 divide x?
False
Suppose -4*s - 2*w + 1032 = 2*w, 4*s + 5*w = 1028. Suppose -s = -2*f + 2*p, f + 2*f - 386 = -4*p. Is 29 a factor of f?
False
Suppose 3*l = 577 + 803. Is 38 a factor of l?
False
Let w(m) be the second derivative of 7*m**4/12 - 2*m**3/3 - m**2/2 - 30*m. Let f be ((-4)/(-3) + -1)*9. Is 25 a factor of w(f)?
True
Let w(k) = k**3 - 11*k**2 - 74*k - 30. Does 11 divide w(16)?
True
Let z(r) = -r**3 + r**2 - r + 13. Let p be z(3). Let v(j) = j - 4. Let n(b) = 4. Let u(x) = -6*n(x) - 4*v(x). Is 12 a factor of u(p)?
True
Suppose 14930 + 31662 = 26*r. Is 22 a factor of r?
False
Is 450*(2/(-7))/((-60)/280) a multiple of 15?
True
Is ((-28)/(-21))/(-2*(-6)/10404) a multiple of 17?
True
Let n(s) = 4*s + 50. Let j(f) = f + 17. Let k(y) = 11*j(y) - 4*n(y). Does 3 divide k(-7)?
False
Let o(s) = 147*s**2 - 50*s - 271. Is o(-5) a multiple of 126?
True
Let t be (-21 - 1) + -8 + 11. Let n be 12/((-3)/(0 + 3)). Let o = n - t. Does 3 divide o?
False
Suppose 854 = 5*w - 181. Does 4 divide w?
False
Let g(x) = x**2 + 20*x + 66. Is g(-22) a multiple of 22?
True
Suppose p + s = 3905, 26*s - 27*s - 1 = 0. Is p a multiple of 18?
True
Is 26 a factor of -6*1*2673/(-18)?
False
Suppose -2*x = -30*x + 17472. Does 39 divide x?
True
Let f(z) = -2*z**3 + 44*z**2 - 3*z + 27. Is 16 a factor of f(19)?
False
Let r = 126 - 20. Let o be (10/4)/((-1)/22). Let d = r + o. Is d a multiple of 16?
False
Let f = -2972 - -3116. Is f a multiple of 6?
True
Suppose h - n = 2*n + 54, -126 = -2*h - 3*n. Let t = h + -25. Is 16 a factor of t?
False
Let c = -15 - 39. Is 2 a factor of c*((-40)/144 + (-4)/18)?
False
Let m = 258 - -42. Suppose -32*u = -37*u + m. Is u a multiple of 10?
True
Is 3459/18 + 2/(-12)*1 a multiple of 8?
True
Let r(g) = 30*g**3 - 7*g**2 + 19*g - 59. Does 53 divide r(4)?
False
Suppose -4*s - 5*m + 12 = 0, s + 4*m + 0 - 3 = 0. Let y(p) = 7*p**2 + 4*p - 11. Is y(s) a multiple of 8?
True
Suppose -4*q + 1052 = 4*b, 2*q + b = 3*q - 265. Is 6 a factor of q?
True
Let r(v) = -v**2 + 9*v - 6. Let m = -11 - -19. Let p be r(m). Suppose 4*b - p + 82 = 5*g, 5*b + 64 = 4*g. Is g a multiple of 10?
False
Let c(d) = d**2 + 3*d - 30. Let r be c(-7). Is 39 - 3 - (2 + 0)/r a multiple of 20?
False
Suppose -5*d + 1875 = -4*j, 