?
False
Let i = 1 + -3. Let p = 4 + i. Does 2 divide p?
True
Let k(q) = -14*q - 7. Let d be k(-8). Suppose 6 = 2*y - 3*x - 57, -5*y + d = 3*x. Is 6 a factor of y?
True
Let v(o) = -o**2 - 8*o + 6. Is v(-7) a multiple of 3?
False
Let y be 44/8 + 2/(-4). Suppose -5*j + 219 = c, 0*j - 3*j = -y*c - 137. Is 22 a factor of j?
True
Let d be (12/3)/(-1)*-1. Is 2*(-2)/d*-27 a multiple of 9?
True
Let n(k) = -3*k + 7. Let g be n(-6). Let d = -10 + g. Is d a multiple of 15?
True
Let y(f) = f**3 - 11*f + 2. Let u(o) = -o**2 - o - 1. Let v(d) = 6*u(d) - y(d). Is v(-7) a multiple of 6?
True
Suppose -3*f = -7*f + 8. Let d(s) = -1. Let o(k) = 3*k**2 - 3*k + 5. Let q(c) = 2*d(c) + o(c). Does 7 divide q(f)?
False
Suppose -3*r - 74 = -254. Let u = -31 + r. Does 21 divide u?
False
Let o(g) = 2*g**2 + 1 - g**2 + 0*g**2. Let r(n) = -n**3 - 8*n**2 - 3*n + 3. Let k(p) = 3*o(p) + r(p). Is k(-5) a multiple of 10?
False
Let j = -1 - -4. Suppose 2*o - j = o. Suppose -4*n + 87 = -c, -c = -3*n - o*c + 57. Does 13 divide n?
False
Let b be (2/(-6))/((-1)/6). Suppose b*w - 4*w + 38 = 0. Let f = w - 13. Is 3 a factor of f?
True
Suppose 0*i + 4*i = 16. Suppose -v = 1 - i. Suppose -a + v*a - 60 = 0. Is 18 a factor of a?
False
Suppose 0 = m - 2, 0 = 5*o + 2*m - 5*m - 314. Suppose -n = -29 - 17. Let q = o - n. Does 9 divide q?
True
Suppose -37 = -4*h - 0*h + k, -15 = -2*h - 3*k. Does 3 divide h?
True
Let n(z) be the second derivative of 2*z**3/3 - z**2/2 - z. Let i = 11 + -8. Is n(i) a multiple of 11?
True
Let u(p) = -4 - 4 - 24*p + 15*p. Does 17 divide u(-8)?
False
Let p(r) = 37*r - 88. Does 19 divide p(7)?
True
Suppose 2*g - 3*i = 306, g = 3*g + 3*i - 318. Let y = g - 87. Does 23 divide y?
True
Suppose -2*a + 20 = -4*t, 3*t + 4*a + 12 + 3 = 0. Let b(s) = 5*s + 3. Let p(d) = -4*d - 3. Let x(m) = t*b(m) - 6*p(m). Does 5 divide x(-9)?
False
Let l = 20 + 17. Is l a multiple of 37?
True
Let t(b) = -b + 0 + 13 + 2*b. Does 3 divide t(-7)?
True
Let m = -1 - 1. Let d(o) = -7*o**2 - 2*o. Let q be d(m). Let b = 46 + q. Is b a multiple of 22?
True
Let k(q) = q**2 - 6*q + 8. Is 15 a factor of k(7)?
True
Let l(y) = -y + 6. Does 7 divide l(-8)?
True
Let r be 12/(-18)*45/(-2). Is (-4)/10 + 906/r a multiple of 20?
True
Suppose -m + 139 = 46. Is 31 a factor of m?
True
Let d be ((-2)/4)/(1/(-6)). Let r(t) = -1 + d + 3*t + 0*t + 3*t**2. Does 3 divide r(-2)?
False
Let b be (-3)/(-2)*(13 - -1). Suppose -4*g + b + 183 = 0. Is g a multiple of 17?
True
Let f(u) = -9*u - 4. Suppose -4*s + 2*a + 39 = -3*a, a = -3*s + 15. Suppose s*p = 2*p - 12. Does 13 divide f(p)?
False
Let o = 39 + 31. Is o a multiple of 10?
True
Suppose 4*t - 119 - 41 = 0. Is t a multiple of 14?
False
Let b = 21 + 18. Is b a multiple of 8?
False
Let w = -54 + 225. Suppose -5*b = -3*c - 0*c - w, 0 = 2*b + 2*c - 62. Let i = 57 - b. Does 12 divide i?
True
Suppose -5*t + 519 = 3*p + 134, -5*t = -2*p - 385. Does 15 divide t?
False
Suppose -2*s = -5*s - 12. Is 7 a factor of (-83)/s - 2/(-8)?
True
Is 53 a factor of ((-92)/(-10))/((-6)/(3 - 153))?
False
Suppose 0 = -4*o + 11 - 75. Let v = -7 - o. Is 6 a factor of (-2)/(-6) - (-87)/v?
False
Let f(q) = -1 + 3*q - 4*q + 0. Let m = -3 + -3. Is f(m) a multiple of 2?
False
Let d(t) = -10*t + 26. Does 39 divide d(-13)?
True
Suppose -3*o = -6*o + 240. Let r = o - -44. Suppose r = 4*q - 3*h, -5*q = 3*h - 172 - 10. Is q a multiple of 17?
True
Let k(h) = -h**2 + 11*h + 9. Let m be k(13). Let r = 4 + m. Let u = -4 - r. Is u a multiple of 9?
True
Suppose 4*i = 4*z - 16, -4*i = 4*z - 0*i - 16. Let c = -18 + 41. Suppose -116 = -z*d - 5*b, 3*b = 2*d - 13 - c. Is 12 a factor of d?
True
Let l be (-9)/3*(-6 + 7). Let t be (-16)/10 - 4/10. Does 6 divide t - -1 - 6*l?
False
Let p(a) = a**3 - 4*a**2 + 3*a - 4. Let i be p(3). Does 6 divide i/((-8)/18) - 3?
True
Let i(v) = -v**3 + 5*v**2 - 6*v + 6. Let m(o) = o**3 - 5*o**2 + 5*o - 6. Let w(c) = 3*i(c) + 4*m(c). Let j be (5 + -2)*(2 + 0). Is w(j) a multiple of 17?
False
Let o(z) = -z**2 - 6*z - 5. Suppose -4*p = -5*b + 6, -3*p + 6*p - 4*b = -4. Let j be o(p). Suppose -11 - 16 = -j*y. Does 9 divide y?
True
Let t be 1260/(-25) + 4/10. Let i = -30 - t. Does 11 divide i?
False
Suppose 289 = 4*d + x + 91, 0 = -2*d - x + 98. Is 16 a factor of d?
False
Suppose n + 0*n - 13 = 0. Does 4 divide n?
False
Is 12 a factor of 2 - (-2 + -88 - 6)?
False
Let o = 13 - -50. Is 5 a factor of o?
False
Suppose 0 = -3*j + 3*x + 15, 2*j - 13 = -2*j - 3*x. Suppose m = 2, -j*z + m = -z - 25. Is z a multiple of 7?
False
Let d = -27 + 71. Is 22 a factor of d?
True
Suppose z - 424 = -3*t + 5*z, -3*z = 12. Suppose -4*m + t = 4*y, -154 = -4*m + 5*y - 0*y. Does 17 divide m?
False
Let r(n) be the third derivative of -n**6/120 + n**5/12 - n**4/8 + n**3/6 - n**2. Let b(s) = s**3 + 8*s**2 - s - 6. Let i be b(-8). Does 4 divide r(i)?
False
Suppose 0 = 5*u + 5*b - 820, -4*u + 325 = -2*u + b. Is 16 a factor of u?
False
Let f(d) = 15*d**2 - 6*d + 1. Does 38 divide f(4)?
False
Suppose 0 = 2*h + 2, -z - 3*z + 5*h = -181. Suppose -4*n + z = -0*n. Does 11 divide n?
True
Let d(u) = 0 + 0 - 20*u - 9*u. Does 29 divide d(-3)?
True
Let u(n) = 7*n - 36. Does 17 divide u(10)?
True
Let m(w) = -3*w**3 + 4*w + 1. Does 7 divide m(-3)?
True
Let s(i) = -i**3 + 3*i**2 - 8*i - 12. Does 46 divide s(-5)?
False
Does 7 divide 3/(-5) - (-152)/20?
True
Suppose 336 = 3*w - 0*w. Is 14 a factor of w?
True
Let s(i) = 45*i**3 - i**2 + i - 1. Is 11 a factor of s(1)?
True
Suppose -3*r - 3 = -6. Let x(l) = -9*l**3 - l**2 + l + r - 6*l**3 + 3*l**3. Is x(-1) a multiple of 6?
False
Let q(s) be the first derivative of 4*s**3 - s**2 + s + 1. Suppose -4 = 2*l - 6*l. Is q(l) a multiple of 4?
False
Suppose 0 = 4*k - 3*k + 2*f - 326, -4*k - 3*f = -1299. Is 18 a factor of k?
True
Let y(g) = 6*g - 1. Let u be y(2). Let n be (u - 0/2) + -1. Suppose 3*p - n = 8. Is p a multiple of 3?
True
Suppose -f = 1 + 6. Suppose 4*x - 35 = 9. Let b = x + f. Is 4 a factor of b?
True
Suppose -141 = -5*a + 74. Does 13 divide a?
False
Let m = -5 - -10. Suppose -3*p + 95 = 5*l - 27, -m*p = -l - 166. Is p a multiple of 14?
False
Let d = 378 - 242. Suppose -q - q = -d. Does 12 divide q?
False
Let r(k) be the third derivative of k**6/360 - k**5/24 + k**4/3 + k**3/6 + k**2. Let m(h) be the first derivative of r(h). Is m(6) a multiple of 11?
False
Suppose -170 - 20 = -2*z. Suppose 5*f - 352 = -3*g - z, 2*f - 4*g - 108 = 0. Let x = -29 + f. Does 13 divide x?
False
Suppose 0 = -5*i + 407 - 127. Suppose -i - 42 = -2*z. Does 19 divide z?
False
Suppose -5*j + 3*j + 8 = 0, -2*c = 3*j - 22. Suppose 0*d - 2*d + 32 = b, -c*b + 235 = -5*d. Suppose -l = 2*l - b. Is l a multiple of 12?
False
Let g = 220 - 39. Is g a multiple of 14?
False
Let p be 8/(-3)*1*-3. Suppose 3*b = p + 34. Suppose -2*u = -u - b. Is 7 a factor of u?
True
Let m = -38 - -70. Is m a multiple of 13?
False
Suppose -4*z + 3*k - 3 = -z, z - 3*k + 9 = 0. Does 12 divide ((-1)/z)/(4/(-156))?
False
Let d(s) = -s + 3. Let x be d(4). Let r be 43/(-2)*(x + -1). Suppose 0 = -5*u + r - 8. Is 4 a factor of u?
False
Let t(l) = -l**3 + l. Let r(j) be the third derivative of -j**6/30 - j**5/10 + 7*j**4/24 + j**3 - 2*j**2. Let v(z) = -r(z) + 5*t(z). Is v(5) a multiple of 6?
False
Let q(u) be the third derivative of 9*u**5/20 - u**4/24 - 3*u**2. Is 14 a factor of q(-1)?
True
Let c = -6 + 11. Suppose 5*j + 78 = 5*d + 23, d - 15 = c*j. Does 5 divide d?
True
Let n be -4 - ((-3)/(-3) + -76). Suppose a = -u + n, -57 = -a - 4*u + 23. Is a a multiple of 17?
True
Suppose n = -2*c - 17, -5*c = -0*c - 2*n + 38. Let k be (-2)/2 + 2*c. Let i = k - -29. Does 5 divide i?
False
Suppose 0 = 3*p - 4 - 5. Suppose -p*b + 2*b = -9. Is 9 a factor of b?
True
Is (-2 + -1)/(6/(-110)) a multiple of 6?
False
Let q(f) = 2*f + 57. Does 2 divide q(-17)?
False
Suppose -2*r - 4*g + 10 + 4 = 0, 0 = 4*r - 2*g - 48. Let f = -6 - -8. Let u = f + r. Is 13 a factor of u?
True
Let l be ((-21)/(-14))/(3/10). Suppose f - 10 = 5*p, l*f - 82 - 24 = -3*p. Is 8 a factor of f?
False
Let n = 117 + -81. Is n a multiple of 36?
True
Let y = 4 - -7. Suppose -q + y = -4. Let k = q + -5. Does 4 divide k?
False
Let o = -164 + 354. Does 31 divide o?
False
Let s = 88 + -54. Does 30 divide s?
False
Does 5 divide (-4 - -4) + 3 + 7?
True
Let i = 5 - 2. Suppose 0 = i*c - 0*c - 66. Is 11 a f