 = 82*d**2 + 39*d + 2. Does 15 divide k(4)?
True
Let g(q) = -q**3 - 2*q**2 - 11*q - 12. Let c be g(-7). Suppose -3*l + 2*m - c = -7*l, -m = l - 79. Does 15 divide l?
False
Suppose 2*p - 4*r - 56 = -8*r, -5*r = 2*p - 59. Suppose p*d = 23*d - 246. Is d a multiple of 41?
True
Suppose -31 = -5*u + 69. Let z(c) = -c**2 + 28*c + 53. Is 3 a factor of z(u)?
True
Let j(c) = -2*c**2 + 9*c + 20. Let s be j(6). Suppose -12 + s = -m. Suppose m*f + f = 528. Is f a multiple of 8?
True
Suppose x + 11766 = 2*m, -4*m - 280*x = -281*x - 23526. Does 45 divide m?
False
Suppose 2*y = 5*r + 31, 14*y + 7 = 13*y - 2*r. Suppose -13*n + 1264 = y*n. Is 3 a factor of n?
False
Does 14 divide 20/14*(-1523529)/(-162)?
False
Suppose -n = -3 + 6. Suppose -64*r = -61*r + 18. Is 27/n*(1 - (-26)/r) a multiple of 15?
True
Let d = -9837 + 11489. Does 9 divide d?
False
Let z = 14546 + -6053. Does 16 divide z?
False
Let u be 80/60*18/16*-30. Is 54/(((-6)/u)/(4/5)) a multiple of 9?
True
Let b be -4*(-4 + 9 - (-33)/(-6)). Suppose 2*o = 5*r + 243, 188 = 2*o - b*r - 46. Is 6 a factor of o?
True
Let y(s) = s**3 - 23*s**2 + 5*s - 13. Let p be y(23). Suppose -74*c - 14504 = -p*c. Is c a multiple of 37?
True
Let a = 2537 - 2229. Does 4 divide a?
True
Let v(n) = 5*n**2 + n + 6. Suppose -6*h + h = 65. Let s = 11 + h. Is 8 a factor of v(s)?
True
Suppose -71 + 27 = -11*w. Suppose 245 = w*k + 5*o, -2*k - 2*k = -2*o - 238. Is k a multiple of 12?
True
Suppose -r - 12 = -7, -2*q + r = -463. Let v = 780 - q. Does 29 divide v?
True
Let o(p) = -49*p + 5. Let l(r) = -248*r + 26. Let j(m) = -4*l(m) + 22*o(m). Does 11 divide j(-1)?
False
Let z = 1074 - 1021. Let c = 237 + z. Is c a multiple of 5?
True
Let y(q) = -40*q + 236. Does 40 divide y(-11)?
False
Is 357/6*12 + 88/11 a multiple of 10?
False
Suppose -10*b - 26760 = -13*b - 5*p, b - 8934 = 3*p. Does 83 divide b?
False
Let j(t) = 9461 - 9465 + 0*t + t + 4*t**2. Suppose 43 = -8*v + 3. Does 16 divide j(v)?
False
Let b = 399 - 399. Suppose b = -12*l + 15*l - 648. Does 18 divide l?
True
Suppose -5*j - 845 - 1601 = -g, 4*j = 8. Is g a multiple of 58?
False
Suppose -14*k = -31*k + 6*k + 46200. Is 56 a factor of k?
True
Does 28 divide ((-836748)/(-8))/9 - (-4 - 55/(-10))?
True
Let o(h) = 4*h + 20. Let b be o(-7). Let a = -11 - b. Is 23 a factor of a/9 + (-624)/(-9)?
True
Let v(o) = -o**3 - 61*o**2 + 65*o + 234. Is 6 a factor of v(-62)?
True
Suppose 11*y - 39651 - 29077 = 0. Does 153 divide y?
False
Let q(z) = -2240*z - 1697. Is q(-5) a multiple of 43?
True
Suppose 4*f + 0*f = -2*x + 3122, 3*f - 3*x - 2337 = 0. Does 12 divide f?
True
Suppose -11*h + 12*h = 3. Suppose 3*n - 4*r - 94 = r, 2*n - h*r = 63. Is 6 a factor of n?
False
Suppose 2*y + 4*w - 3176 = 0, -5*y - 3180 = -7*y - 3*w. Suppose -6*u + 9*u - 2*n = 1197, 4*n = -4*u + y. Is 19 a factor of u?
True
Suppose 0 = -6*o + 20 + 10. Suppose -2*c + 5*c + 330 = o*d, -d - 5*c + 94 = 0. Suppose 4*r = r + v + 68, -3*v + d = 4*r. Is r a multiple of 7?
True
Suppose 0 = -3*k, 5*o = 2*k + 597 + 2268. Suppose -5*u = -2*a + o, 0 = 4*a - u - u - 1170. Let h = a + -182. Is h a multiple of 14?
True
Suppose 0 = t - 704 - 80. Suppose t = 7*v - 182. Does 35 divide v?
False
Let y be 0 - (-4 + 1) - 0. Suppose 4*p - y*p - 8 = 4*g, 2*g = 3*p - 14. Suppose -p*i + h + 428 = -2*h, -4*i - 5*h = -396. Does 13 divide i?
True
Suppose 7*r - 3469 - 913 = 0. Suppose 0 = -c - 2*w + r, 4*c - 6*w = -3*w + 2526. Is 15 a factor of c?
True
Let p = 11845 + -11620. Does 25 divide p?
True
Let u(g) = 294*g - 1886. Does 17 divide u(36)?
False
Suppose 2*m - 2467 = j - 0*j, -5*j = 6*m - 7361. Suppose 42 - m = -29*l. Does 6 divide l?
False
Let h(n) = -n**3 + 6*n**2 + 84. Let b be h(0). Does 2 divide 1692/b + 1/(-7)?
True
Let y be ((-9)/36)/((-1)/8). Suppose 0 = 3*q + 3*v - 45, y*q - 2*v - 38 = -0*v. Suppose r = q + 20. Is 37 a factor of r?
True
Let c be (-2)/1 + -9 + 4. Let m = c + 23. Does 13 divide m?
False
Let f(w) = 79*w**2 + 176*w - 6. Let g be f(-6). Let s = g + -570. Is s a multiple of 22?
False
Suppose o - 30236 = 10*p - 12*p, -p - 60482 = -2*o. Is 64 a factor of o?
False
Suppose 0 = 4*w - 2*d - 5160, 5*w + 2*d + 23 = 6491. Does 5 divide w?
False
Suppose 9*o = 16*o - 70. Suppose 3*d = -t + 120, -t + 120 = d - o. Is 80 a factor of t?
False
Let d be 0*(-1)/2 - (-38)/2. Let c(w) = 36 + w + 9 + d + 2. Does 3 divide c(-15)?
True
Suppose 4*q + 276*f - 281*f - 845 = 0, 0 = -5*q - f + 1049. Does 5 divide q?
True
Let x = 22 + -17. Suppose -x*r - p + 174 = 0, -4*r + 37 = -5*p - 79. Does 34 divide r?
True
Suppose -4 - 2 = -b - 3*l, -5*b = -5*l + 70. Let v(g) be the third derivative of g**5/15 + g**4/4 - 6*g**3 + g**2. Is 26 a factor of v(b)?
True
Suppose -2*z - 131 = m + 258, 0 = -2*m - 5*z - 777. Let u = m - -466. Is 5 a factor of u?
True
Let s = -12018 - -36076. Does 70 divide s?
False
Let h be (-12)/54 - 190/(-45). Suppose 896 + 240 = 3*t + 5*u, -h*t + 1509 = u. Does 7 divide t?
False
Suppose -9*z = 3*x - 4*z - 965, x + 5*z - 315 = 0. Suppose x - 1132 = -3*m. Suppose -703 = -7*d - m. Does 16 divide d?
False
Let q be 78/19 + 22/(-209). Suppose q*g + 20 - 4 = 0, -5*g = -4*a + 2400. Does 64 divide a?
False
Let c = 192 + -190. Suppose 5*y - n = 290, 0 = -y + 3*n - c*n + 54. Is y a multiple of 16?
False
Suppose 2*v + 84738 = 8*n, -29*v = -5*n - 31*v + 52945. Is 119 a factor of n?
True
Let n be 6 + 11/22*(1 - 3). Suppose 24 = -5*l + 10*l + 2*b, 5*b = -5*l + 15. Suppose -n*v = -l*v + 210. Does 13 divide v?
False
Let l be -2 + 1 - (-54)/((-63)/(-7)). Let b(p) = -11*p**2 - 12*p + 5. Let n(r) = -4*r**2 - 4*r + 2. Let t(z) = -3*b(z) + 8*n(z). Is 5 a factor of t(l)?
False
Suppose -3*p = -x - 2, x + 38 = 4*x + 2*p. Suppose x*m - 1561 = 3189. Is 77 a factor of m?
False
Let y = 108 - 112. Let t be 78/(-4)*y/6. Let o = 38 - t. Is o a multiple of 25?
True
Let f(k) = 51*k**2 + 65*k + 784. Is f(-11) a multiple of 12?
True
Suppose -6113 = -9*l + 25. Suppose l = d - 24. Is d a multiple of 20?
False
Let j(g) = -g**3 + g**2 + g + 1. Let z be j(-3). Let c(i) = 52 + 54 + z*i - 67. Is 22 a factor of c(5)?
False
Let d be 311/((-5)/(-1) + 11/(-2)). Let j = d + 741. Is j a multiple of 7?
True
Let s be -4 - ((-1374)/6 + 4). Suppose -15*f = -2*f - s. Is f even?
False
Let l = 11223 - 10287. Is 156 a factor of l?
True
Suppose 0 = 140*h + 95*h - 6074750. Does 22 divide h?
True
Let k(r) = 4*r**2 + 18*r + 19. Let v be (-13)/((-5)/(-3 - 2)). Is 6 a factor of k(v)?
False
Is ((-45)/10 - -4) + (-301675)/(-50) a multiple of 37?
False
Suppose 0 = 38*z + 161*z - 113*z - 450210. Is z a multiple of 108?
False
Let j(s) = 67*s + 62. Let v(r) = 66*r + 61. Let f(o) = -5*j(o) + 4*v(o). Is 7 a factor of f(-8)?
False
Is (-2)/6*(2654 + -1)*(141 - 144) a multiple of 38?
False
Is 22 a factor of (-3)/(-5*(-33)/(-64130))?
True
Does 133 divide 140*((-115)/(-3) - 2/(-24)*-4)?
True
Suppose -21*y = -5*y + 31616. Let p = 3096 + y. Is 32 a factor of p?
True
Is (-4 + 4708/(-4))/((-10)/20) a multiple of 14?
False
Let n(l) = -l**3 + 6*l**2 - 42*l - 11. Does 22 divide n(-19)?
True
Let d be 1/2 + 15/10. Suppose -c + 73 = -d*c. Let k = c - -185. Does 26 divide k?
False
Suppose 2821*m = -2823*m + 5637*m + 2114. Is 14 a factor of m?
False
Let g be 0 - (24/(-18) + (-4)/6). Suppose -g*a = -6*a + 2*n + 32, 2*n - 31 = -3*a. Suppose -a*q + 2*q + 168 = 0. Is q a multiple of 5?
False
Is ((-12891)/6)/((-240)/960) a multiple of 240?
False
Suppose -12*y = -32*y + 245700. Suppose -2340 - y = -25*z. Does 15 divide z?
True
Let x(d) = 14 + 10*d + 3*d**3 + 5 - 1 + 1 - 2*d**3 - 13*d**2. Does 42 divide x(13)?
False
Let v(q) = -2*q + 21. Let j = -18 - -27. Let r be v(j). Suppose 0 = r*y - 4*y + 16. Is y a multiple of 16?
True
Suppose 4*s = 26*l - 29*l + 110, -5*s = 2*l - 141. Suppose -34*a = -s*a + n - 3120, 1225 = 2*a + 5*n. Does 12 divide a?
False
Suppose -23*c + 23*c + 19668 = 132*c. Let o(q) = -2*q**3 + q**2 + 5*q - 2. Let y be o(3). Let v = c + y. Is 39 a factor of v?
True
Let c(d) = d**2 - 5*d + 9. Let j be c(7). Suppose -q + j = -281. Suppose 899 = 5*f + q. Is f a multiple of 28?
False
Let j(d) = -3*d**2 - 3*d - 25. Let w(q) = -2*q**2 - q - 15. Let m(c) = -5*j(c) + 7*w(c). Let k be 2*2/6*-12. Is 4 a factor of m(k)?
True
Does 15 divide (-24 + 399)*(-7 - -8)?
True
Let y(n) = n**3 + 50*n**2 + 50*n + 52. Let w be y(-49). Suppose 4*p