ppose c*k + 456 = 8*k. Does 13 divide k?
False
Let h(j) = 781*j - 2763. Does 34 divide h(17)?
False
Let n(s) = -610*s - 3608. Is n(-28) a multiple of 245?
False
Let c = 14443 - 9355. Is c a multiple of 13?
False
Let p be (20/(-25))/(24/180). Let l(n) = -3*n**3 + 2*n**2 + 63*n - 11. Is 23 a factor of l(p)?
False
Let b(u) = 8*u**2 - 63*u + 4541. Is b(58) a multiple of 152?
False
Suppose 9*m = 6*m - 12, -5*t - 3*m + 9608 = 0. Suppose -1046 - t = -5*a. Is a a multiple of 66?
True
Is 20 a factor of ((-3188)/32*-4)/(44/5280)?
True
Let z(u) = u**3 - 13*u**2 - 16*u + 30. Let j(l) = -l + 2. Let y be j(-12). Let d be z(y). Is (d - 5)/(2/(-64)) a multiple of 12?
True
Let u(r) = 18*r - 14. Let z be u(1). Suppose 4*o + 4*i = 7*i + 1274, -328 = -o - z*i. Does 22 divide o?
False
Let q(p) = 6*p**2 - p - 8. Let b(c) = -5*c - 3 - 4*c**2 + c**2 - c + 4*c**2. Let m be b(6). Does 12 divide q(m)?
False
Suppose 0 = -30*u + 160*u - 2724128 + 368788. Does 23 divide u?
False
Let p be 1 + -1 + (-189)/(-9). Suppose -4*d = 3*d - p. Suppose 53 - 19 = j - 2*i, -d*j + 5*i = -106. Is j a multiple of 5?
False
Let j = 173 - 167. Suppose t - j*t = -15, l + 2*t - 426 = 0. Does 42 divide l?
True
Let k(z) = 8*z**2 - 41*z + 255. Does 35 divide k(51)?
False
Suppose 220*m - 217*m = -4*o + 14968, 4*m = -4*o + 19956. Does 86 divide m?
True
Let i = 1330 - 1331. Let n(q) = 103*q**2 + 8*q. Let a(z) = z. Let g(w) = -6*a(w) + n(w). Is g(i) a multiple of 15?
False
Let q(y) = y**2 + 4*y + 8. Let s be q(-6). Suppose 3*l = -3*c - 69, 2*c + s = -3*l - 23. Let t(b) = b + 39. Is 3 a factor of t(c)?
False
Is (-2)/28*-528974 - (-196)/1372 a multiple of 159?
False
Suppose 2*x - 3*v + 5 = 20, 3*v + 15 = -2*x. Let g(q) = q**3 - q**2 + 2*q + 768. Is 32 a factor of g(x)?
True
Let g = 2507 + -1472. Let a = g + -483. Does 8 divide a?
True
Let u(q) = -11*q + 39. Let p be u(-16). Does 6 divide (12/8)/(p/100 + -2)?
False
Let c = -1694 - -4354. Is c a multiple of 19?
True
Let i(u) = -10*u**3 - 4*u**2 + 7*u + 7. Let d = -51 + 47. Let j be i(d). Is ((-4)/(-8))/(j/(-278) + 2) a multiple of 17?
False
Suppose 338*t - 334*t = 768. Is 7 a factor of 33568/t + 2/12?
True
Suppose 2*x + 4 = 0, 4*x = 2*r + 8*x - 34. Let a = r + 49. Is a a multiple of 5?
True
Let u(s) be the second derivative of -s**8/3360 - s**7/840 - s**6/720 - s**5/120 + s**4/2 + 3*s. Let p(h) be the third derivative of u(h). Does 9 divide p(-3)?
False
Let i be -3*((-400)/24 + -5). Is 30*5/((-50)/i)*-1 a multiple of 9?
False
Let m = -27 - -30. Suppose 0 = 3*q + r - 7 - 6, 0 = -5*q - m*r + 15. Suppose 0 = 3*v - q*v + 288. Is v a multiple of 12?
True
Let x = 8 + -25. Let p(m) = -10*m - 5. Let v be p(3). Let w = x - v. Is w a multiple of 5?
False
Suppose -27514 + 1950 = -83*x. Does 7 divide x?
True
Let f = 523 + -196. Let p = -300 + f. Is p a multiple of 3?
True
Let a(k) = -k**2 - k + 3. Let x be a(9). Let q = x - -79. Does 5 divide q/(-56) - 1278/(-21)?
False
Let q be -4*(-834)/(-20) + 2/(-10). Let a = q - -424. Suppose -a = -6*w + 715. Does 27 divide w?
True
Suppose 0*y - 43*y = -36937. Does 13 divide y?
False
Let s = -5 - -2. Let t(i) = 46*i**3 - 88*i**3 + 43*i**3 + 4*i + 6*i**2 + 1. Is t(s) a multiple of 12?
False
Let l(u) = 3*u**2 - 182*u + 8991. Is l(54) a multiple of 57?
False
Let c be ((-3888)/30)/(0 - (-4)/(-20)). Suppose 5*f = 2*f + c. Is 27 a factor of f?
True
Let v(m) = 2*m**2 - 2*m - 12. Let i(c) be the first derivative of c**3 - c**2 + 2*c + 25. Let y be i(2). Is 14 a factor of v(y)?
True
Suppose 2*p - 24 = 5*a + 22, 4*p - 2*a = 92. Is 17 a factor of 112560/552 + 2/p?
True
Let y(m) = -13*m - 7. Let x(u) = u**3 + 3*u**2 - 3*u + 1. Let p = -44 - -40. Let j be x(p). Is y(j) a multiple of 17?
False
Suppose 23373 = 4*a - 30711. Is 144 a factor of a?
False
Let i be ((-156)/39)/((-2)/(-58)). Let j(f) = -f**3 - 6*f**2 + 8*f - 5. Let c be j(-6). Let n = c - i. Is 7 a factor of n?
True
Suppose 66*y + 30058 = 85*y. Does 14 divide y?
True
Let q = 8555 + 6262. Is 72 a factor of q?
False
Suppose -2*x + 8*x = 1380. Let i = -203 + x. Is 9 a factor of i?
True
Let p(l) = -2*l**3 - l**2 - 4. Let v be p(-2). Suppose -v*g + 4*g - 572 = 0. Let z = -2 - g. Is z a multiple of 24?
False
Suppose -2550 = 117*c - 122*c. Suppose c = -9*s + 4578. Is s a multiple of 12?
False
Suppose 4*g = 3*p + 5, g - 2*p + 7*p + 16 = 0. Let t(a) = -a**2 - a + 1. Let c(m) = -6*m**2 - m - 5. Let u(q) = g*c(q) - t(q). Is 18 a factor of u(-3)?
False
Let z(t) = -3*t - 70. Let v(b) = -4*b - 139. Let r(g) = -6*v(g) + 13*z(g). Is r(-10) a multiple of 8?
False
Let k = 115 - -120. Suppose k = 3*j - 32. Is 47 a factor of j?
False
Let r = 18381 + -12178. Is 90 a factor of r?
False
Let p(x) = 6*x**2 + 7*x + 1. Let h be p(-4). Suppose -1 - 20 = -7*z. Let f = h + z. Does 8 divide f?
True
Let k(p) be the first derivative of p**4/4 - 13*p**3/3 - 3*p**2 + 27*p - 24. Does 5 divide k(14)?
False
Let s = 32232 - 4536. Is s a multiple of 12?
True
Let b(i) = -5596*i - 11720. Is b(-10) a multiple of 140?
True
Suppose 0 = 31*n - 11*n. Suppose 581 = 3*k + 2*k + 4*w, n = -3*k + 4*w + 323. Is 17 a factor of k?
False
Is 3/((-72)/(-54042)) - ((-147)/28 + 5) a multiple of 2?
True
Let y = -132 - -138. Does 39 divide (-2)/(-5) - (733/(-5) - y)?
False
Let a(w) = 110*w**3 - 20*w**2 - 3*w + 34. Does 71 divide a(4)?
False
Let o(y) = 4*y - 6*y + 3*y**2 - 18 + y**2 + 4*y. Let d(p) = -4*p**2 - p + 19. Let j(k) = -4*d(k) - 3*o(k). Is 26 a factor of j(5)?
False
Let u(d) = 16*d + 8. Let w be u(1). Let t = -24 + w. Suppose -8*j + 2*j + 324 = t. Is j a multiple of 27?
True
Let t(a) = -18*a**3 - 15*a**2 - 12*a + 153. Does 15 divide t(-8)?
True
Suppose -4*a - 20 = -3*f, 2*a + 2*a + 8 = 0. Suppose 0*l - f*l + 104 = 0. Suppose -5*z = 1 - l, 3*n - 5*z - 65 = 0. Is 6 a factor of n?
True
Let x(o) = o**2 - 7*o + 13. Let y be x(4). Suppose -4*m = 11 + y, p + 4*m = -12. Suppose p = 8*j - 7*j - 62. Is 19 a factor of j?
False
Suppose -20*h - 5189 = -3*d - 21*h, -3*d + h = -5179. Does 18 divide d?
True
Let y(r) = 26*r**2 - 3*r - 21. Does 49 divide y(9)?
True
Let z be 2/2 - 18/(-6). Let p be (z/(-8))/((-1)/2). Is 35 a factor of -6 + 12 + 27 - -2*p?
True
Let r be (-1)/4 - (-1)/4. Let j = -65 - -70. Suppose 5*z + j*v - 247 - 78 = 0, -5*z - 4*v + 330 = r. Does 35 divide z?
True
Is 18 a factor of (4848/(-30))/(5/(-25))?
False
Is 16 a factor of 14/3*213 + -4 + 2?
True
Let k be 6/(-6)*-575 - -4. Let z = k - 453. Does 7 divide z?
True
Suppose 2*g = 5*h + 6394, -3*h + 53 = -g + 3890. Let c be (-3)/(-2)*h/(-60). Suppose 0 = -31*o + c*o - 79. Does 20 divide o?
False
Suppose 3*q - 1223 = 52. Suppose 0 = -3*h + 4*h - 3*z + 102, 4*h = -5*z - q. Let t = -56 - h. Does 11 divide t?
False
Let o(c) = -8*c + 76. Let f be o(10). Is 72 a factor of (f - -2 - -794) + 28 + -28?
True
Suppose 830*q - 823*q = -42. Does 6 divide (-129)/q*2*2?
False
Let u(n) = 5*n - 1. Let l be u(1). Suppose 4*z - 48 = 4*v, l*z = -z - 5*v + 20. Is 79/2 + 4/z a multiple of 10?
True
Suppose 3*f + w - 929 = 0, -w - 2 = -2*w. Is f*(-3 - -4) + 1 + -2 a multiple of 11?
True
Let b(n) = 5*n**2 + 54*n - 76. Let j = 64 + -71. Let g(d) = 4*d**2 + 55*d - 75. Let f(o) = j*g(o) + 6*b(o). Is f(31) a multiple of 4?
True
Suppose j - 5 = 0, 2*j + 40 = 3*m + 2*m. Suppose -2*r + 2809 = 3*a, -1874 = -12*a + m*a - r. Is 10 a factor of a?
False
Suppose 140*v - 9993 - 15347 = 0. Is v a multiple of 2?
False
Suppose 14683 - 862 = -17*v. Let k = -434 - v. Is 20 a factor of k?
False
Suppose 2*v - 10 = c, 10 = 2*v + v + c. Suppose -12 = 3*y - 3, -v*y = -2*t + 224. Does 6 divide t?
False
Suppose 6*g - 8 = 8*g. Let k be (2/g)/(5 - 84/16). Suppose -3*r + 99 = 3*l, 138 = 4*l - k*r - 0*r. Is 17 a factor of l?
True
Let s(l) be the first derivative of 55*l**4/2 - 2*l**3/3 - 3*l**2 + 9*l - 133. Is 79 a factor of s(2)?
True
Suppose 1553 = 7*k - 253. Is 34 a factor of 126/18 + k/2?
True
Is 50 a factor of (116234/(-356))/(99/(-48) - -2)?
False
Let h = 510 + -148. Let z be 179/(14/(-4)*(-64)/(-224)). Let f = h + z. Is f a multiple of 14?
False
Suppose 0 = -16*g + 9*g + 861. Is 2 a factor of g?
False
Let i(y) = -y**2 + 3*y + 4. Let z be i(-7). Let g = -62 - z. Suppose -4*s = -2*r + 4*r - 222, 0 = 5*s - g*r - 284. Is s a multiple of 14?
True
Suppose -4298*r = -4277*r - 363300. Is r a multiple of 23?
False
Suppose 0 = 2*t - 15 - 1