
Let y(z) = 31*z**2 + 11*z + 70. Is y(-10) a multiple of 51?
True
Let c(s) = -20*s**3 + 3*s + 2. Suppose -m - v + 1 - 3 = 0, -5 = 2*m + 3*v. Let u be m + (-1)/(3/3). Does 13 divide c(u)?
True
Suppose i = h - 655, i - 2641 = -4*h - 2*i. Suppose r + 5*n - 404 = 244, r = 5*n + h. Is r a multiple of 17?
False
Let l(a) = -a**3 - a**2 - 12*a + 10145. Does 95 divide l(0)?
False
Suppose -3*u + 5*c = -9, -3*u + 2*u + 2*c = -3. Suppose 2*q - u*z + 2 = 0, 9 = -3*q + 4*q + z. Suppose q*h + 22 = 6*h. Is h a multiple of 11?
True
Let b(t) = 2*t**3 - 9*t**2 + 89*t - 325. Does 95 divide b(13)?
True
Suppose 17 = 3*i + 3*g - 7, -2*g = -4*i + 62. Suppose -i*n = 8*n - 17073. Is 13 a factor of n?
False
Let b = -47554 + 69499. Does 7 divide b?
True
Suppose 2*d + 203 = -4*b - 5, 2 = -b. Let v be (d/2)/(1/(-8)*2). Suppose v = 10*r - 5*r. Is r a multiple of 27?
False
Suppose -29*c + 12622 + 2864 = 0. Let z = -324 + c. Is z a multiple of 35?
True
Is 33 a factor of (212/(-8)*7/7)/(2/(-2076))?
False
Let p be ((-480)/168)/((-1)/70). Is (174/8)/(1 + (-190)/p) a multiple of 14?
False
Let p(x) = -3*x**2 + 32*x + 60. Let v(j) = -4*j**2 + 32*j + 59. Let s(a) = 7*p(a) - 6*v(a). Is 11 a factor of s(-11)?
True
Let c = 455 - 421. Suppose c*d + 279 = 65*d. Is 2 a factor of d?
False
Let g = -29 - -31. Let q(u) = -36*u - 46. Let w be q(-3). Suppose g*m - w = 34. Does 16 divide m?
True
Let t(a) be the third derivative of a**6/120 + a**5/15 + a**4/4 + 3*a**3/2 - 62*a**2. Is 6 a factor of t(5)?
True
Suppose 30*v - 2814 = 24*v. Suppose -6*t = t - v. Is t a multiple of 67?
True
Let m = 28 + -26. Suppose -3465 = -13*t + m*t. Is t a multiple of 35?
True
Suppose -5*u + 7 = -2*c - 3, -5*c + 2*u = 4. Suppose p - 37 = 2*h + 2*h, -2*p + 3*h + 59 = c. Suppose -4*i + 51 + p = 0. Is i a multiple of 4?
False
Suppose 4*j + 20 = c, -2*j = -6*j + 3*c - 12. Suppose 2*d + 356 = 3*p, p - 47 = -d - 215. Let a = j - d. Is 25 a factor of a?
False
Let b = -356 + -992. Let y = -804 - b. Suppose 0*x = 4*x - y. Is 28 a factor of x?
False
Suppose 3*s - 4227 = 40*r - 44*r, -2*r + 2096 = -2*s. Does 13 divide r?
True
Let j = 9962 - 4340. Does 33 divide j?
False
Let y be 9 + (15/(-10))/(1/2). Let r be 516*(y - 4)/4. Suppose 0 = 5*l - r - 267. Is 21 a factor of l?
True
Suppose 60*s + 35110 - 62427 = 43363. Is s a multiple of 31?
True
Let a = -2168 - -8834. Is a a multiple of 22?
True
Let i = -30 + 37. Let v = i + 73. Is 11 a factor of v?
False
Suppose 41 = 6*k - 127. Suppose -b = -87 + k. Is b a multiple of 10?
False
Let a = 23 - 4. Let z = a - 25. Is 2 a factor of 29/3 - (8/z + 0)?
False
Let a = -52606 + 88164. Is 23 a factor of a?
True
Let s(r) = 26*r**2 - 2*r - 2. Let m be s(-3). Let a = m + -191. Is 38 a factor of a?
False
Let b be ((-4)/(-3) + -1)*-6. Let s be (8/12)/(b*(-3)/2214). Suppose 10*l = 4*l + s. Does 6 divide l?
False
Let t be (-39 - -284) + (-1 - 10). Let h = 71 - 191. Let d = h + t. Does 15 divide d?
False
Suppose -5*y + y = -84. Suppose 5*t + 2*j + 15 = 3*j, -5*j = -t + y. Let w(b) = b**3 + 6*b**2 - b - 8. Is w(t) a multiple of 14?
True
Suppose -16*q - 14*q = -18*q - 14592. Is 25 a factor of q?
False
Let d = 202 + 45. Let s = d - 119. Is s a multiple of 16?
True
Let t(a) = 6*a**2 - 2*a + 89. Let w be t(0). Let s = w - 49. Is 31 a factor of s?
False
Let i(q) = -q**3 + q**2 + 3*q + 13. Let r be i(0). Suppose -r = -m + 33. Does 10 divide m?
False
Let b(p) be the second derivative of 2*p**5/5 - p**4/12 - p**3/3 + 3*p**2 - 174*p. Let i be (1 - -2) + -6 - -6. Is b(i) a multiple of 39?
False
Let l = -3229 - -4434. Is l a multiple of 39?
False
Suppose 1812 + 240 = 54*q. Is 17 a factor of q?
False
Let v(b) = b**2 - 18*b - 176. Let j be v(16). Let x = 122 - j. Is 33 a factor of x?
True
Suppose 5*f = -2*f + 4872. Suppose -3*v = f - 2064. Is 31 a factor of v?
False
Suppose -p - 9 = 3*v, -3*p + v = 4 + 3. Let l be -1 - (p + (2 - 0)). Suppose -2*n - n + 96 = l. Is n a multiple of 16?
True
Let j(c) = 327*c**3 - 4*c**2 + 11*c - 2. Does 98 divide j(2)?
False
Let c(x) = 334*x**3 + 13*x**2 - 23*x - 1. Is c(2) a multiple of 6?
False
Suppose 298 + 521 = 9*v. Is 3 a factor of v?
False
Suppose 423*c + 79920 = 453*c. Is 2 a factor of c?
True
Suppose -2*k = -5*u + 797, 0*k + 4*k - 16 = 0. Suppose 4*l - 102 = 2*r, r + 5*l + 52 = 6*l. Let s = u + r. Does 20 divide s?
False
Suppose -5*g + 0*g - 20 = 0. Let u be 0 - g - (-4)/(-2). Is (1*20)/(u/6) a multiple of 12?
True
Let h(o) be the first derivative of -o**3/3 + 17*o**2/2 - 9*o - 2. Let f be h(9). Suppose 2*u = u + f. Is 21 a factor of u?
True
Suppose 7*v - 10*v = 6, g - 4*v = 965. Does 65 divide g?
False
Let o(q) = -5*q - 58. Let y(z) = 5*z + 59. Let r(h) = -3*o(h) - 2*y(h). Let m be r(0). Suppose -7*f = -3*f - m. Is f a multiple of 3?
False
Let r = -1859 + 2478. Is r a multiple of 13?
False
Let j = -388 - -193. Let w = 237 + j. Does 21 divide w?
True
Suppose b - 389 = -u, -5*u = -24*b + 25*b - 1957. Is 14 a factor of u?
True
Suppose 14*f = 2*r + 11*f - 708, -f + 1804 = 5*r. Does 3 divide r?
True
Suppose -11970 = -2*g + 10336. Suppose -g - 5857 = -27*w. Is 14 a factor of w?
True
Suppose -7*s = 2*s - 5868. Is 73 a factor of s?
False
Let s = 92805 - 55389. Does 12 divide s?
True
Suppose 2*m + 3*s - 25 = 70, 3*m - 3*s = 105. Suppose 0 = m*z - 38*z + 3*j - 541, -4*j - 298 = -z. Is 12 a factor of z?
False
Let q(i) = i**3 - 3*i**2 - i + 8. Let z be q(3). Suppose s = z*s - 308. Is 7 a factor of s?
True
Let f(m) = -64*m + 4. Let b be f(-4). Let n = -176 + b. Is n a multiple of 12?
True
Let r = -3254 - -5672. Is r a multiple of 26?
True
Suppose -p + 125 = 4*d, 0*p - 5*d - 500 = -5*p. Is 11 a factor of (-19 - -2)/((-5)/p)?
False
Suppose -11*x + 3 = -14*x - 3*b, 0 = x + 4*b + 4. Suppose -2*l + 2*s + 72 = x, -5*l + s - 25 = -209. Does 5 divide l?
False
Let x = 204 - 230. Let p(m) = 5*m**3 - 3*m**2 + m. Let s be p(2). Let o = s - x. Does 28 divide o?
True
Suppose 0 = -133*a + 134*a + 4. Let i be (-39)/26 + (-130)/a. Suppose i = p - 20. Does 5 divide p?
False
Suppose 8*o - 3*k = 5*o + 2160, 5*k - 720 = -o. Is 18 a factor of o?
True
Let f(j) = 2*j**2 - 27*j - 25. Let g = 393 + -400. Does 20 divide f(g)?
False
Suppose -72*r + 362495 + 250865 = -17*r. Does 68 divide r?
True
Suppose -2*o = -224 + 334. Let w = o + 123. Is 34 a factor of w?
True
Suppose 4*s + 169 = 4*g + 49, g = 4*s + 105. Let r be (s/50)/((-2)/8). Suppose -r*v - 82 = -4*v - 2*i, -3*i = -3*v + 93. Does 36 divide v?
True
Is 38 + 29362 + (4 - 12/3) + 0 a multiple of 105?
True
Suppose v + 3*i - 636 = 8*i, -5*v + 3151 = 4*i. Suppose -v = -4*r + 5*a + 162, 4*r = -5*a + 743. Is 24 a factor of r?
True
Suppose 5*d = -15, d = -2*t + 2*d + 13. Suppose -t*s + 91 - 26 = 0. Let n = 31 + s. Is 44 a factor of n?
True
Let f = 5 + -2. Let z(w) = -11*w + 163. Let i be z(-13). Suppose -6 = -3*x, -f*x + i = 5*a - 0*a. Is a a multiple of 38?
False
Suppose -7*d + 2*d = -960. Suppose 8*l - 12*l + d = 0. Suppose 0 = c - 0*c - l. Is 12 a factor of c?
True
Suppose -14*q + 4*q + 11883 = -9717. Is q a multiple of 24?
True
Let m(w) = w**3 - 7*w**2 + 3*w + 23. Let h be m(6). Suppose 0 = 4*y + h*i - 175, 245 = 5*y + 4*i - 3*i. Is 10 a factor of y?
True
Let h(u) = -u**2 + 17*u - 11. Let j be h(16). Suppose -j*l + l + 2108 = 0. Let c = l - 316. Is c a multiple of 25?
False
Suppose -178*l + 57*l = -1418437 + 294105. Is 26 a factor of l?
False
Let z(r) = -r - 9. Let h be z(12). Let a = -64 - h. Let k = a + 52. Is 3 a factor of k?
True
Let n(s) = s**3 - 3*s**2 + s + 155. Let l be n(0). Suppose l = a + 4*k, 0*a + 154 = a + 5*k. Let u = -60 + a. Is u a multiple of 33?
True
Let j(m) = -6*m + 6. Let x(a) = a - 1. Let y(k) = -j(k) - 5*x(k). Let g(f) = -20*f + 6. Let s(w) = -g(w) - y(w). Is 18 a factor of s(5)?
True
Let m(r) be the second derivative of -r**5/20 + 4*r**4 + 5*r**3/6 - 30*r**2 - 46*r + 2. Is m(48) a multiple of 30?
True
Let q be ((-4)/1 + 1)/((-15)/(-60)). Let b be (2/(-6))/(2/q - 0). Suppose b*s - 180 = -2*s - 4*f, 3*s - 129 = -f. Does 20 divide s?
False
Let q(s) = -3*s**3 - 9*s**2 - 10*s - 5. Let r be q(-5). Suppose -2*b - 4*x - r + 633 = 0, 0 = 5*b - x - 1128. Does 9 divide b?
True
Suppose 0 = q - 4, -3392 = -2*k + 3*q + 15096. Does 10 divide k?
True
Let a(n) = -15*n + 108. Let o(l) = -4*l - 2. Let g be o(6). Does 22 divide a(g)?
False
Let x be ((-5