ivide p(18)?
False
Let t(i) = -i**3 + 4*i**2 + 5*i - 6. Let b be t(5). Let c be (447/b)/((-1)/2). Suppose 3*f + q = 54, 5*f + q - c = -59. Is 6 a factor of f?
True
Let b(q) be the third derivative of 7*q**5/60 - q**4/4 + 7*q**3/6 + 13*q**2. Is b(1) a multiple of 4?
True
Does 68 divide 3064/9 - 484/1089?
True
Let t(n) = n**3 + 10*n**2 + 23. Does 11 divide t(-10)?
False
Suppose -19*l = -22*l + 54. Let p = l - -18. Is p a multiple of 4?
True
Let d be (4/(-3))/((-2)/15). Suppose 2*q + 16 = 4*o, -5*q = -o - 3*o + d. Suppose 3 = 2*j - 3, 5*k = q*j + 219. Does 8 divide k?
False
Let g = 86 + -32. Let b = 4 - 38. Let d = g - b. Is d a multiple of 20?
False
Suppose -4*o + 5*z = -85, -2*o + z + 0*z = -35. Suppose -5*x + o = -2*x. Suppose 0 = -x*l + 20, -g - 4 = 5*l - 46. Does 11 divide g?
True
Is (-5 + (-190)/(-50))*940/(-3) a multiple of 8?
True
Let r(s) be the first derivative of -s**3/3 + 7*s**2/2 - 6*s - 6. Let w be r(7). Let b = w + 14. Is b a multiple of 4?
True
Let g(m) = -3 - 9 - 4*m - 2*m + m. Is g(-6) a multiple of 13?
False
Suppose 12 = -4*x, -3*t + 2*t = -4*x - 128. Suppose 0*w = 4*g + w - 524, -t = -g - 4*w. Does 22 divide g?
True
Suppose 0 = -2*q + q + 39. Let b be (0 - -1 - -2)/1. Suppose 0 = u - b - q. Is 14 a factor of u?
True
Let a(o) = -61*o + 19. Is 4 a factor of a(-1)?
True
Is 23 a factor of (0 + -1)/(9 - (-9328)/(-1036))?
False
Suppose -2*t - x = -15, 5*t - 3*t - 2*x = 6. Suppose 0 = -2*z + 9 - 3. Suppose z*o + 102 = t*o. Is o a multiple of 14?
False
Suppose 756 = -94*h + 101*h. Does 12 divide h?
True
Is 21 a factor of 226 - (6 - 7)*5?
True
Let x = -1891 + 1903. Is 12 a factor of x?
True
Suppose 13410 = 13*x - 12798. Is x a multiple of 7?
True
Let u = 2855 + -1663. Suppose -4*o = -h - 940, 10*o - u = 5*o - 3*h. Let j = -164 + o. Does 24 divide j?
True
Let i(t) = 4 - 92*t + 3 + 87*t. Does 9 divide i(-5)?
False
Let z(c) = 0*c**3 - 2*c**3 - c**2 + 5 + 3*c**3. Let x be z(0). Suppose -90 = x*a - 350. Is a a multiple of 9?
False
Let o be (-40)/12*(-6)/(-5). Let u = -23 + 13. Does 24 divide o/u*(7 - -108)?
False
Suppose -t + 9 = 2*t. Suppose -t*m = -623 + 209. Suppose 2*l - 3*l + m = 0. Is 25 a factor of l?
False
Let q = 16 - 16. Suppose -g - 4 + 3 = q. Is 2 + 4/g + 58 a multiple of 25?
False
Let r = 65 + 20. Does 23 divide r?
False
Suppose -3*q + p + 3802 = 0, 13*q - p - 5069 = 9*q. Is 24 a factor of q?
False
Let h(y) = 3*y + y + 7 - 5*y + 0*y. Let d(p) = -p + 6. Let f(v) = 4*d(v) - 3*h(v). Is f(-2) a multiple of 5?
True
Let y be (56/(-5))/((-4)/10). Let m = y + 32. Does 15 divide m?
True
Let y be 3 - (0 - 3/(-3)). Let l(w) = 42*w - 3. Does 12 divide l(y)?
False
Suppose 0 = n + 2*n - 9, -3*c + 5*n + 1512 = 0. Does 44 divide c?
False
Suppose -5*q - 4*d = 19 - 70, 4*q = 4*d + 12. Suppose -y - 990 = -q*y. Is y a multiple of 20?
False
Suppose i + 34 = 5*v, 0 = 5*i - 5 + 25. Suppose s = -2*s. Is 1 + s - (v - 26) a multiple of 16?
False
Let o be (-52)/(-78) - 1654/6. Let x = -166 - o. Does 15 divide x?
False
Let b = 1301 - 867. Does 7 divide b?
True
Suppose 69 = 3*k + 3*m, 86 = 4*k - m + 2*m. Suppose k = 6*c - 5*c. Is 21 a factor of c?
True
Does 3 divide (-4 - 434/(-35))/(2/10)?
True
Suppose 3*r = 2*o + 10, 4*r + 0*o - 13 = 3*o. Suppose j + r = -3*q, -3*j + 4 = 4*q + 16. Suppose q = -2*n - n + 30. Is n a multiple of 5?
True
Is 26 a factor of (-1 + 3)/(3/2028*4)?
True
Let v(w) = w - 9. Let x be v(14). Suppose 0 = -r + x*k + 46, r + 0*r + 5*k - 36 = 0. Let o = r - -7. Does 12 divide o?
True
Does 13 divide ((-6)/4)/(17/(-7548))?
False
Suppose 7279 - 31015 = -6*y. Does 46 divide y?
True
Let v(l) = -33*l. Let z be v(-10). Suppose 0*u + z = 5*u. Does 31 divide u?
False
Suppose 9*x + 5*p + 2090 = 12*x, -5*x = -2*p - 3515. Is 69 a factor of x?
False
Let j(s) = -2*s - 14. Let w be j(-9). Suppose 12 = w*i, -3*u = -i - i - 366. Does 9 divide u?
False
Suppose -5*l + 5*o = -11557 + 3312, -1649 = -l - 3*o. Is 17 a factor of l?
True
Let a(m) = 3*m**2 - 23*m - 10. Is a(-4) a multiple of 13?
True
Let m(g) = 15*g**2 - g - 1. Suppose 0 = 5*k + d - 10, -2*k + 3*d + 4 = d. Does 19 divide m(k)?
True
Let g(b) = b**3 + 58*b**2 + 25*b + 28. Is 108 a factor of g(-57)?
False
Let u = -22 - -21. Let i(h) = -3*h - 1. Let q be i(u). Does 15 divide (-3)/(11/(-5) + q)?
True
Let g(r) = -41*r + 430. Is g(0) a multiple of 5?
True
Let u = 20 + 5. Let f = 12 + u. Does 7 divide f?
False
Let c(f) = 1706*f - 16. Does 19 divide c(1)?
False
Let s(i) = -i**3 - 5*i**2 - 7*i + 2. Let p be (-1 - 0)*2 + -3. Is 7 a factor of s(p)?
False
Let w be 0/14*2/2. Is 18 a factor of ((-243)/4)/(w - 9/24)?
True
Suppose -q - 3*q = -12, -9564 = 2*j + 4*q. Is 21 a factor of ((-2)/(-3))/((-38)/j)?
True
Suppose -655 = 10*p - 2855. Does 20 divide p?
True
Let a = 551 - -332. Is a a multiple of 15?
False
Let o(j) = -j**3 - 12*j**2 - 12*j - 9. Let c be o(-11). Suppose -3*b - d - 1 + 75 = 0, -2*b - d + 48 = 0. Is 11 a factor of 576/b - c/13?
True
Let t = 3377 - 2057. Is 33 a factor of t?
True
Let v be 66/(-10) + 4/(-10). Let x(g) be the third derivative of g**6/120 + 2*g**5/15 + g**4/12 - 5*g**3/6 + 5*g**2. Is x(v) a multiple of 15?
True
Suppose 3*s + 0 + 12 = l, 3*l = -3*s + 84. Let h = -11 + l. Does 9 divide h?
False
Suppose -5*z + 0*z + 2360 = 0. Let d be z/(-6) + 12/(-36). Let x = d - -111. Does 16 divide x?
True
Let b(d) = d**3 + 3*d**2 + d + 4. Let t be b(-3). Suppose 3*f - t - 5 = 0. Is 13 a factor of 33 - f/(-6)*3?
False
Let m(d) be the second derivative of -d**5/20 + 2*d**4/3 - 5*d**3/6 - 4*d**2 - d. Let l be m(7). Suppose -2*h = l, 7*h - 2*h = p - 65. Is p a multiple of 25?
True
Suppose 2*y + x = y + 212, -2*x = 5*y - 1072. Suppose 5*l - y = 3*l. Is l a multiple of 36?
True
Is (-920)/(-6) + 76/114 a multiple of 3?
False
Let d(c) = c + 3*c + 7 - 1. Let h be d(-10). Let g = h + 60. Is g a multiple of 16?
False
Let y(p) = p**2 + 216. Is 12 a factor of y(0)?
True
Let z(m) be the first derivative of m - 2*m**2 + 3 + 5/3*m**3 + 1/4*m**4. Is z(3) a multiple of 22?
False
Let n be 18/(-15)*50/(-4). Let q = n + -11. Suppose -5*u + 15 = 0, q*o - 3*o - 4*u - 7 = 0. Is 19 a factor of o?
True
Suppose -106 = -2*k - 36. Suppose 5*j = 3*w + 2*w + k, 0 = -5*j - w + 23. Suppose -2*m + 0*t + 36 = 3*t, j*m - 5*t - 65 = 0. Is m a multiple of 15?
True
Let b = -4 - 0. Let u(c) = c**3 + 8*c**2 + 9*c - 4. Is u(b) a multiple of 3?
True
Let v = 20 - 15. Suppose -v*d + d - 504 = 0. Let r = -48 - d. Does 16 divide r?
False
Let b = 11 - 7. Suppose -2*z + b*q = -21 - 3, -2*q + 12 = 5*z. Does 3 divide (-51)/(-9) + z/(-6)?
False
Is (-20 + 16)*1407/(-6) a multiple of 80?
False
Suppose -2*d = -5*r + 1190, 3*r = 5*d + 258 + 437. Does 5 divide r?
True
Let g(u) = -10*u**2 + 1 - 5*u**2 + 28*u**2 - 6*u**2. Is 14 a factor of g(4)?
False
Is 16 a factor of -2*(-99 - (-3 + -2))?
False
Let o = 498 - -672. Is o a multiple of 45?
True
Suppose 3*x - y - 110 = 0, -3*x - 5*y = 49 - 183. Let m = -28 + x. Does 6 divide m?
False
Is (-9)/(-1*(54/(-186))/(-9)) a multiple of 9?
True
Suppose -5 = i + 5. Let q be 1/2 + 54/4. Let z = q - i. Is z a multiple of 12?
True
Let j(i) = 11*i - 3 - 16*i**2 - 3*i + 19*i**2 + 4*i. Is j(-5) a multiple of 4?
True
Let r = 2 - -9. Suppose 4*n - r = 1. Suppose n*k = -3*v - 2*v + 179, 0 = v - 4*k - 22. Does 15 divide v?
False
Let a = 776 - 617. Is a even?
False
Suppose 24*w = 32*w - 2288. Does 5 divide w?
False
Let q = 533 - 302. Is q a multiple of 25?
False
Let a(u) be the third derivative of u**6/120 + u**5/60 + u**4/24 + 23*u**3/3 - 86*u**2. Suppose -4*b = b. Is a(b) a multiple of 12?
False
Let d(k) = k - 8. Let m be d(6). Let p = 83 - 81. Let r = p - m. Is r a multiple of 4?
True
Let s(r) = r**2 - r - 1. Let d(l) = -l**3 + 4*l**2 - 6*l. Let n be ((-24)/9 + 3)*3. Let y(h) = n*d(h) - 3*s(h). Is y(-3) a multiple of 16?
True
Let c(a) = 7*a**2 + 14*a + a**3 - 5*a - 16*a**2 - 9. Let h be c(8). Is h/(3*4/(-204)) a multiple of 15?
False
Suppose -4*v - 2*f - 22 = 0, -55 = 4*v + v - 3*f. Is 6 a factor of 1/4 + v/((-160)/855)?
False
Is (-1)/5 + 13769/245 a multiple of 7?
True
Suppose -o = 3, 0*o = -5*l + 4*o + 3572. Suppose -4*m = 4*a - l, -3*a + 194 = -2*a - 3*m. Does 37 divide a?
False
Is 55/((-16)/(-2) + 2107/(-294)) a multiple of 6?
True
Suppose 5*k = 27 - 2. Suppose -k*c - c = -30. Suppose c*l - 38 = 382. Does 28 divide l?
Tr