 -3*c + 2*d - 3*d + 161 = 0. Is c a multiple of 18?
True
Suppose -2*h = -4*h + 70. Is h a multiple of 3?
False
Let b = 36 + 3. Is b a multiple of 13?
True
Let n be (-9)/(-6)*(-102)/(-9). Suppose 5 - n = 4*p. Is 30 - -3*1/p a multiple of 13?
False
Suppose -2*h + 9 = -1. Suppose 11*d = h*d + 90. Is 5 a factor of d?
True
Let a(p) = -28*p**3 + p. Suppose 21 = 3*y + j - 5*j, -2*y + 4*j = -18. Let f = y + -4. Is a(f) a multiple of 21?
False
Suppose 5*p = -2*z - 0*p + 59, -2*z + 89 = -5*p. Is z a multiple of 12?
False
Let c(h) = -h**3 - 5*h**2 + 7*h. Let b be c(-6). Let s(x) = -6*x. Is 14 a factor of s(b)?
False
Let p be -82*-2*3/6. Suppose p = 3*m + 16. Does 11 divide m?
True
Suppose -2*j + 5 = 3*j, -5*j = -2*n + 73. Is n a multiple of 8?
False
Let g(z) = z + 13. Let i be g(10). Suppose 5*n + i = 83. Is 5 a factor of n?
False
Let i = 10 - 5. Suppose i*u = 2*z + u - 196, 392 = 4*z + u. Is z a multiple of 32?
False
Let x(o) = -10*o - 15. Is 11 a factor of x(-7)?
True
Suppose -2*m = 5*z - 3, 3*m - 1 = -5*z - m. Let x(n) = 13*n**2. Does 12 divide x(z)?
False
Suppose 0 = -i + 33 + 8. Is i a multiple of 2?
False
Let x = -7 - -3. Let n(v) = -v**3 - 4*v**2 - 6*v - 3. Does 16 divide n(x)?
False
Let b(i) = i**3 - 1. Let h(d) = 2*d - 3. Let m be h(2). Let g(z) = 8*z**2 - 11*z - 2. Let k(l) = m*b(l) + g(l). Is k(-9) a multiple of 5?
True
Let d(j) = -80 + 79 + 19*j + 20*j. Let g = 0 + 1. Does 19 divide d(g)?
True
Let f = -4 - -5. Suppose p = f + 3. Does 3 divide p?
False
Let d(q) = -6*q**2 - 9 + 3*q**2 + 5*q**2 - 2*q + 3. Does 17 divide d(5)?
True
Is ((-19008)/45)/(-11) + 2/(-5) a multiple of 2?
True
Suppose -6 = 5*c - 8*c. Suppose 7*p + 93 = 4*w + c*p, -2*w - p + 43 = 0. Is 11 a factor of w?
True
Suppose 7*u + 420 = 13*u. Is 37 a factor of u?
False
Let x(y) be the third derivative of -y**6/20 - y**5/60 + y**4/24 + y**3/6 - 4*y**2. Suppose 3*o + 3 = 2*o + 2*v, 0 = 2*o + 5*v - 3. Is 5 a factor of x(o)?
True
Suppose -5*z - 10 = 0, -7*c + z = -10*c + 58. Is 13 a factor of c?
False
Let c be 1*62/(-4)*2. Suppose -4*z = -8*z + 212. Let r = c + z. Is r a multiple of 11?
True
Let u(d) be the third derivative of -d**6/360 - d**5/10 - 3*d**4/8 - d**3/2 + 2*d**2. Let g(w) be the first derivative of u(w). Is 10 a factor of g(-9)?
False
Let j(u) = -31*u**3 + 1. Let c be j(-1). Let h(z) = -z**3 + 4*z**2 + 4*z + 8. Let t be h(5). Does 14 divide c/t*(-6)/(-4)?
False
Let s be 2 - 1/1 - -1. Let n be -26*((-1)/s)/1. Let o = -7 + n. Does 6 divide o?
True
Let m = -4 - -7. Suppose 7 = m*i - 77. Does 10 divide i?
False
Let x be 4/(-6) + (-5)/(-3). Let s = x + 21. Is s a multiple of 11?
True
Suppose 3*c - 2*w - 59 = 0, 2*w + 44 = 3*c - 3*w. Let n = c - 19. Is n even?
True
Let x(r) = r**3 - 19*r**2 + 18*r - 38. Does 34 divide x(19)?
False
Let c = -3 + -1. Let f = c - -5. Does 4 divide -1 + 0 + 9/f?
True
Let v(t) = t + 4. Let b be v(-8). Let u be (0 + 3/(-6))*b. Suppose -13 - 9 = -u*s - 2*c, 0 = -s + 4*c + 6. Does 10 divide s?
True
Let q(z) be the second derivative of -3*z**2 + 2*z + 0 - 1/3*z**4 - 1/20*z**5 + 7/6*z**3. Is q(-6) a multiple of 14?
False
Let t = -8 + 13. Suppose 3*d - 35 = t*k, -12 + 0 = 3*k. Suppose 10 + 10 = d*c, 2*c - 72 = -4*u. Does 8 divide u?
True
Suppose 4*n - 33 = -9. Suppose 0 = -n*c + 3*c + 225. Suppose 0 = 2*s + 3*s - 5*m - c, 2*s - 36 = -4*m. Does 16 divide s?
True
Let m(j) = j**3 + j**2 - j - 1. Let c be m(-1). Suppose 2*k - 52 + 0 = c. Is k a multiple of 13?
True
Let u(o) = o**3 - 4*o**2 - 4*o - 7. Let y be u(5). Let x be 1/(y + 4)*2. Is 5 a factor of 2/1 - (-2 - x)?
True
Let d(b) = b**2 + 2*b + 6. Is 27 a factor of d(6)?
True
Is 10 a factor of -6 - -4 - -3 - -69?
True
Let z = -221 - -357. Does 17 divide z?
True
Suppose -5*x = 2*u - 20, -5*x - 4*u = -7 - 13. Suppose -7*q = -6*q - 15. Does 14 divide -2*q*(-2)/x?
False
Let k(i) be the second derivative of 7*i**3/6 + i**2/2 - 4*i. Is 12 a factor of k(5)?
True
Suppose 259 + 86 = 5*g. Suppose 2*w = g - 5. Suppose -p + 7*b - 2*b = -22, -2*p = -4*b - w. Does 5 divide p?
False
Let m(v) = -1. Let u(s) = 3*s - 10. Let c(q) = -6*m(q) + u(q). Suppose -3*y + 20 = y. Is 11 a factor of c(y)?
True
Let n = 7 - 3. Let f = n - 2. Suppose 3*b - f*d - 75 = 0, -5*b - 14 = -d - 132. Is b a multiple of 11?
False
Suppose 5*d - 73 = 27. Is d a multiple of 17?
False
Suppose -7*y - 380 = -9*y. Is 10 a factor of y?
True
Let u be 0/(3/(-3)) + 9. Let z = u + 12. Suppose 2*w + 2*m = 34, -3*w = -0*w - 3*m - z. Does 6 divide w?
True
Suppose -85 = -2*f + 75. Suppose 4*r - 6*r = -f. Is r a multiple of 20?
True
Suppose 2*g - y - 43 = 0, g - 5*y = -y + 32. Is 5 a factor of g?
True
Suppose 5*x + 147 = -4*r + 363, -x - r = -43. Suppose -g + 27 = -5*v + 10, 4*g - x = -4*v. Does 12 divide g?
True
Suppose 0 = 5*i + 14 + 41. Let d = i + 55. Is d a multiple of 24?
False
Suppose -9*o + 4*o = 5*h - 605, 0 = -3*o + 4*h + 356. Is o a multiple of 12?
True
Suppose -6*o - 342 = -15*o. Is 19 a factor of o?
True
Let n(r) = -15*r**2 + 2*r - 1. Let c be n(2). Is 6 a factor of (-1)/(c/54 - -1)?
True
Let w = 40 + -59. Let f = 0 - w. Does 19 divide f?
True
Suppose -4*s + 241 = -3*x - 10, 4*s - 246 = -2*x. Suppose s = 2*r + m, 3*r - 2*m = 70 + 16. Is 22 a factor of r?
False
Suppose -3*s + 0 = -3. Suppose -t + s + 10 = 0. Is 11 a factor of t?
True
Is 4 a factor of (7 + -4)/6*36?
False
Let v = -38 - -91. Is 14 a factor of v?
False
Suppose 4*j - 86 = -2*f - 0*j, -5*f + 179 = j. Is 5 + -2 + 1 + f a multiple of 13?
True
Is 25 a factor of 231*(1 + (-3)/9)?
False
Let p = -196 + 386. Suppose -2*i = -4*y + p, -2*i - 3*i = -y + 43. Does 26 divide y?
False
Suppose 3*a + l + 69 = -8, -5*a - 3*l - 131 = 0. Suppose 0 = -4*u - 4*o - 4, u - 2*o - 14 = -u. Let v = u - a. Is v a multiple of 14?
True
Let b be (-50)/15*(-36)/5. Suppose 0 = v + 6 - b. Does 18 divide v?
True
Let v = -1 - -1. Suppose v*y + 65 = 5*y. Is 4 a factor of y?
False
Let c(f) = -7 - 2 + 7*f + 0. Let t be c(-9). Let m = t - -130. Does 29 divide m?
True
Let b(m) = m**3 + 9*m**2 + 2*m + 3. Is 29 a factor of b(-7)?
True
Does 21 divide 4/(-10) - (-3726)/15?
False
Let p be (-7)/7*(-41 - 0). Let d = -2 + p. Is d a multiple of 13?
True
Let a = 155 - 109. Is a a multiple of 6?
False
Let a(p) = -p + 2. Let l be a(-6). Suppose h - 5 - l = 0. Suppose -4*o - c = c - 14, o - 5*c = -h. Is o a multiple of 2?
True
Suppose -38 = -2*g + 42. Does 10 divide g?
True
Suppose 2*i + 354 - 120 = 0. Is (-7)/((-21)/i)*-1 a multiple of 13?
True
Let v be (-4 - 2)*2/(-4). Suppose 0 = -10*c + 8*c + 8. Suppose -n = -4*d - 2, v*n - 2*d - 40 = -c. Is n a multiple of 14?
True
Let i = 123 + -82. Does 16 divide i?
False
Let y(r) = 7*r**2 + r - 8. Does 12 divide y(4)?
True
Is 15 a factor of ((-1634)/(-4) + 7/14)*1?
False
Suppose 0 = -2*k - 4*a - 26 + 188, -a + 303 = 4*k. Is 15 a factor of k?
True
Let c = -22 + -5. Let p = c - -65. Is p a multiple of 10?
False
Suppose 2*f + p = 4, -f + 2*p + 0 = -2. Suppose 7*m - f*m - g - 98 = 0, 4*m + g - 82 = 0. Is 5 a factor of m?
True
Let s = -9 + 23. Let u = s - -4. Is u a multiple of 18?
True
Let o(y) = -3*y - 3. Suppose -3*p - 3*d - 18 = 0, -5*p + 8 = -d + 20. Let r be o(p). Suppose -2*l = -l - r. Is l a multiple of 3?
True
Suppose d - 15 = -g, 15 = g + 3*d + 2. Let a(b) = -69*b - 1. Let v be a(-3). Suppose 5*h - v = -g. Is 19 a factor of h?
True
Suppose -2*x + 4*k + 7 = -119, 0 = 5*x - 3*k - 350. Is 18 a factor of x?
False
Suppose 0 = 5*v - 168 - 42. Is 32 a factor of v?
False
Let w(t) = t**3 + 16*t**2 - t - 9. Let n be w(-16). Let a(f) be the second derivative of f**4/12 - 5*f**3/6 - 3*f**2 + 2*f. Is 8 a factor of a(n)?
True
Let h(n) = n**3 - 6*n**2 + 5*n + 2. Let w be h(5). Suppose 2*o - d - 72 = 0, -w*o - 108 = -5*o - d. Is o a multiple of 18?
True
Suppose 6*j - 5*j = i + 11, 3*i = 4*j - 42. Is j a multiple of 9?
True
Suppose 2*x - 4*o - 36 = 22, -2*x + 3*o + 61 = 0. Does 3 divide ((-28)/x)/((-1)/5)?
False
Is (2 - 366/(-3)) + -3 a multiple of 11?
True
Suppose -2*x = -2 - 4. Suppose -2*d = -x*c + 25, -36 = -5*c + 3*d + 5. Let u(t) = -t**2 + 9*t. Is u(c) a multiple of 14?
True
Suppose 0 = -v - v. Let c = v + 5. Is 5 a factor of c?
True
Suppose 10 = -2*q + 4. Let i = q - -10. Is i even?
False
Suppose -67 = -3*s + 23. Is 15 a factor of s?
True
Is 2/((-356)/(-116) - 3) a multiple of 3?
False
Let h = 8 - 14. Is