180 = 2*d, -5*d + 10 = 4*m - 440. Let c = 40 + d. Does 26 divide c?
True
Let j(z) = 64*z**3 - z**2. Let c be j(1). Let i be (-193)/6 - (-18)/108. Let f = i + c. Is f a multiple of 4?
False
Suppose 63*p - 65*p = -2080. Is 10 a factor of p?
True
Suppose 0 = 4*c - 93*w + 91*w - 9954, 7485 = 3*c + 5*w. Is 83 a factor of c?
True
Let p(t) = -2*t**2 + 22*t + 2. Let b be p(11). Let a be b/(-4)*114/19. Does 15 divide (1 + -4)*58/a?
False
Let z = 2972 - 1920. Is 4 a factor of z?
True
Suppose 24*k - 30*k - 8946 = 0. Let b = -815 - k. Does 26 divide b?
True
Does 118 divide 28/(-63) - ((-8)/36)/((-3)/(-352059))?
True
Suppose -4*p - 3*p = -2744. Let t = 240 - p. Let a = -104 - t. Is a a multiple of 6?
True
Let k(x) = -6*x**3 - 2*x**2 + 3*x - 3. Let j be k(-3). Suppose 2*s + 130 = 4*w + 5*s, 4*s - j = -4*w. Suppose 3*z - w = 5. Does 3 divide z?
True
Suppose 3*z + 2*z - 17905 = 17495. Is z a multiple of 20?
True
Let f = 6 - -3. Suppose f*o - 39 = 6. Suppose -5*m + 25 = 0, -o*m - 176 = -g - 27. Is 18 a factor of g?
False
Suppose 3*u = 4*s - 3, u - 3 + 0 = 0. Suppose -s*t = r - 14 - 6, -2*r = 5*t - 34. Suppose 0 = t*w + 4*w - 790. Does 36 divide w?
False
Let p = 12 + -13. Let j be 3 + (-6*(-6)/(-9) - p). Suppose 3*s + 3 - 45 = j. Does 7 divide s?
True
Suppose -3*j + 14 - 11 = 0, 4*k = -2*j + 5770. Does 14 divide k?
True
Suppose -41848 = -c - 6*f + 2*f, -7*c + 5*f = -292738. Is 16 a factor of c?
True
Let f be ((-50)/(-15))/((-10)/(-15)). Let t(m) = m**3 - 2*m**2 - 7*m - 6. Is 4 a factor of t(f)?
False
Let b(o) = -3*o - 6*o + 95 - 2*o + 21*o. Is b(-7) even?
False
Let f(j) = -3*j**3 - 4*j. Let k be f(-3). Suppose -4*x - 175 = -2*w + 75, 2*x + 530 = 4*w. Let m = w - k. Is m a multiple of 14?
True
Suppose 72*r + 48 = 78*r. Suppose r*j - 229 - 99 = 0. Does 5 divide j?
False
Let v(d) = 1727*d - 1882. Does 71 divide v(5)?
False
Let u(f) be the second derivative of f**5/10 - 7*f**3/2 - 13*f**2/2 + 2*f + 11. Does 15 divide u(6)?
False
Suppose 19*m = 17*m. Let j = 108 - 104. Suppose 0 = -3*c - 5*r + 89, m = j*c - 9*c + 5*r + 215. Is 2 a factor of c?
True
Let p(t) = -t**2 + 7*t - 2. Let s be p(3). Let a(m) = -m**2 + 19*m - 36. Is 18 a factor of a(s)?
True
Let q(v) = -24*v + 30. Let j be q(-12). Suppose -156*o + 159*o - j = 0. Does 22 divide o?
False
Let h be 2 - 36*((-175)/(-3))/(-7). Suppose 57 = -7*a + h. Is 10 a factor of a?
False
Let u(f) = 17*f**2 + 5*f + 4. Let d = 24 + -20. Suppose 0 = -2*y + d*r - 4, -3*r + 0 + 2 = -y. Is u(y) a multiple of 10?
False
Suppose 0 = -4*o + 4, -6*r + 7*r - 8 = -5*o. Suppose -2*g - r*g - x + 229 = 0, g + 5*x - 41 = 0. Is 46 a factor of g?
True
Let x(w) be the third derivative of 19*w**4/24 + 181*w**3/3 + w**2 + 4. Is x(-9) a multiple of 36?
False
Suppose -98*z + 816233 + 157103 = 0. Is z a multiple of 26?
True
Let h be 0*(2 - 1/3*7). Suppose h = 5*t + 5, -2*r + 0*t = 2*t + 2. Suppose 2*j = -3*v + 171, r = 4*j - 0*j + v - 327. Is j a multiple of 12?
False
Suppose -4*v = w - 5317, 3*w - 6*v = 5305 + 10556. Is 7 a factor of w?
False
Let w(v) = -v**2 + 11*v - 50. Let o(u) = 2*u**2 - 20*u + 100. Let g(y) = 6*o(y) + 11*w(y). Is 28 a factor of g(-10)?
True
Let t(a) = 19 + 10 + 2*a + 2*a + 2*a**2 + 0. Let r be 6 - (-15)/(75/20). Is t(r) a multiple of 11?
False
Suppose 13*t - 98425 + 99218 = 0. Let i = -81 - -56. Let r = i - t. Is 9 a factor of r?
True
Suppose -2*r + 14 = 5*r. Suppose 0 = -n - 2, -u - r*n = -0*n - 108. Suppose -14*g = -18*g + u. Is g a multiple of 28?
True
Suppose -28*g = g - 28043. Suppose -3*p = -215 - g. Is p a multiple of 14?
False
Suppose 0 = 3*d - 0*d - 3*q - 81, -d + 21 = -3*q. Suppose -4*k = 5*y - 1263, -d*k + 26*k = y - 1251. Is k a multiple of 8?
True
Suppose -142*s + 681153 = -702495. Does 83 divide s?
False
Let l be 354/18 + 1/3. Suppose -19*x - 2 = -l*x. Suppose -x*c = -c - 73. Is 19 a factor of c?
False
Suppose 3*o + 41*t - 40*t = 6642, 3*o - 4*t = 6612. Is o a multiple of 7?
True
Is 9 a factor of ((-89946)/144)/(1/(-5)) + (-2)/16?
True
Suppose 5*h + 5690 = 5*j + 1145, 3*j = -2*h + 2747. Does 83 divide j?
True
Let k be (12/(-8) - -3)*2. Suppose 0*r + 2*r + k*x = 463, x = -5*r + 1151. Does 46 divide r?
True
Let g(z) be the third derivative of -z**6/120 + 4*z**5/15 + 9*z**4/8 + 5*z**3/3 - 23*z**2 - z. Is g(15) a multiple of 6?
False
Let s = 9455 - 6359. Does 3 divide s?
True
Suppose -2*j = 4*z - 5748, -11*j + 14*j - 8582 = 2*z. Does 51 divide j?
False
Suppose 14*g - 85272 = -30*g. Does 38 divide g?
True
Let n = 432 - -570. Is n a multiple of 9?
False
Suppose 2*w = -4*s + 2, -16*s - w = -15*s + 1. Does 10 divide ((-2050)/(-30))/(s/6)*1?
False
Let w be 1*(-24)/(-6)*9. Suppose 380 = 2*b - w. Is 8 a factor of b?
True
Suppose 8*v + 6 = 11*v - 3*i, -2*v - i = 8. Is 26 a factor of 3115/20 + v/(-8)?
True
Suppose -d + 5 = a, 0 = -d - 2*a + 3 - 2. Suppose b = -4*k + 9, 5*b + 3*k = 4*b + d. Suppose -225 = -b*r + 990. Is 15 a factor of r?
True
Is 6564/24 - 14/(-4) a multiple of 8?
False
Let w(r) = -382*r - 4. Let h = -115 + 114. Is w(h) a multiple of 9?
True
Suppose -46617 = -5*c + 5738. Is 13 a factor of c?
False
Let z be 12/18*-3*(-1382)/4. Let v = -468 + z. Does 16 divide v?
False
Let j be 10/(-35) - 66/14. Let x(q) = 5*q + 27. Let b be x(j). Suppose 5*z - b*v = 412, 2*v + 22 = z - 54. Is z a multiple of 30?
False
Let f = -1863 - -2227. Is f a multiple of 71?
False
Let f = 828 - 297. Suppose -z = -3*v + 822, -8*v + 6*v = 5*z - f. Is v a multiple of 22?
False
Suppose -14*s + 9*s + 166980 = -4*j, -s + j + 33395 = 0. Does 200 divide s?
True
Let s = 2467 - -9016. Does 16 divide s?
False
Let y be 2/(-2) - (145 + 2). Suppose 20 = 7*x - 12*x, -512 = -2*t + 2*x. Let s = y + t. Is 52 a factor of s?
True
Suppose -r - o + 9948 = -168, -o - 30364 = -3*r. Is r a multiple of 10?
True
Suppose 53*d - 185640 = 79*d - 43*d. Is 50 a factor of d?
False
Suppose -34*d = -91*d + 139502 + 373327. Is d a multiple of 264?
False
Is 12 a factor of (-12)/(-24)*0 - -4704?
True
Let c(v) = -8*v**3 - 4*v**2 - 10*v**2 + 9*v**3 - 53 + 27*v. Is 81 a factor of c(16)?
True
Suppose -73254 = -3*o + 3*w, 4*o + 5*w - 47554 = 50091. Is 19 a factor of o?
True
Suppose 0 = 18*v + 6440 - 9356. Is 9 a factor of v?
True
Let u = 1 - 7. Let c(g) = -68*g + 3. Let d(h) = -35*h + 1. Let a(r) = u*c(r) + 15*d(r). Is 14 a factor of a(-3)?
False
Is (-1)/(-1) - -12876 - (-266)/(-38) a multiple of 198?
True
Let y(m) = m**3 - 7*m**2 + 7*m + 4. Let l(t) = 6*t**2 + 2*t + 2. Let z = -13 - -12. Let i be l(z). Does 9 divide y(i)?
False
Is 36 a factor of 7*(46/14 - 3) - (5 + -3819)?
True
Let u(o) = o**2 - 9*o - 10. Let w be u(10). Suppose -2*j = 2*s - 124, w = -s - j - j + 61. Suppose i = 4*i - s. Does 21 divide i?
True
Is ((-1)/(24/(-16)) + 0)*(18284 - -1) a multiple of 23?
True
Suppose 2*z - 8161 = -y, 2*y - 5008 = 4*z + 11290. Is 9 a factor of y?
False
Suppose -2488 = -4*y - 4*l, 3*l = -4*y + 2*y + 1246. Let g = y - 78. Suppose u - 77 = 3*f + 25, -5*u + g = f. Does 27 divide u?
True
Suppose 8*f = 3 + 37. Let m(n) = -2*n + 1. Let j be m(-1). Suppose -4*q - f*p + 181 = 0, -j*p + 160 + 19 = 4*q. Does 11 divide q?
True
Let l = -6618 + 11154. Is 81 a factor of l?
True
Let h = -214 + 218. Suppose -12*n + 5976 = -h*n. Does 14 divide n?
False
Suppose -32*c = -74*c + 28*c + 10416. Is c a multiple of 2?
True
Let m(v) = v**3 + 7*v**2 - 428*v - 20. Is 88 a factor of m(34)?
True
Let b = -282 - -292. Suppose b*h - 5248 = -6*h. Does 41 divide h?
True
Let r(z) = -z**3 - 22*z**2 + 24*z + 16. Let t be r(-23). Is 33 a factor of 107 - (t + (1 - -3))?
False
Suppose 32*z = 50*z - 5868. Is z/10 + (-12)/150*-5 a multiple of 3?
True
Let i = -382 - -186. Is (1029/i)/((-1)/36) a multiple of 5?
False
Let d be (-2)/4 - (-13 - (-287)/14). Is 13 a factor of (d/16)/(1/(-1794))?
True
Suppose -8*i = -5*i + f - 19939, -26587 = -4*i - f. Is i a multiple of 16?
False
Let l(c) = -20 - 12 + 4*c + 2*c**2 - 17 + 52. Is l(12) a multiple of 14?
False
Let g(s) = s**2 - 18*s - 5. Let j be g(18). Let x be 192*104/80 - 2/j. Suppose 71*l - 76*l + x = 0. Is l a multiple of 8?
False
Suppose 24*f = -3*f + 594. Is 10945/f + (-1)/(-2) a multiple of 11?
False
Suppose -6*l + 9924 = 6*l. Let j = l + -563. Is 22 a factor of j?
True
Let w(m) = -m**3 - 11*m**2 - 11*m + 2. Let p be w(-10). Let r(n) be the third derivative of n**4/4 - n**3/3 + 