ple of 4?
False
Suppose 0 = -11*l + 7*l. Suppose 0 = y + y + 3*b - 231, l = 3*b - 3. Is 17 a factor of y?
False
Suppose -k + 12 = 5*f + 6, 2*f = -k + 3. Let n = k - 1. Suppose 2*t - 36 + 6 = n. Does 15 divide t?
True
Let s(q) = -q + 32. Let c(z) = -2*z + 33. Let x(f) = 6*c(f) - 7*s(f). Does 8 divide x(-8)?
False
Let k(r) = -r + 34. Does 3 divide k(31)?
True
Let f(j) be the first derivative of 2*j**2 + 6*j + 4. Let k be f(10). Suppose -z + k = 5*a, -4*z + 2*z + 107 = -5*a. Is z a multiple of 17?
True
Does 53 divide (-3832)/(-36) + 12/(-27)?
True
Let t = 635 + -560. Is t a multiple of 3?
True
Let r(i) be the first derivative of 8*i**3/3 + i**2/2 + 2*i + 4. Let h be 1/(0 + -1) - -3. Is r(h) a multiple of 12?
True
Is 2359 - ((-7)/7*10 - -7) a multiple of 24?
False
Let n = 88 + -56. Is n a multiple of 4?
True
Suppose -4*p + 54 = 3*m, 2*p + 3*p - 4*m - 83 = 0. Let x = 38 - 65. Let f = p - x. Is f a multiple of 14?
True
Is 20 a factor of (109/3 + 3)/((-1)/(-21))?
False
Let w(a) = 58*a**2 - 23*a - 161. Is w(-7) a multiple of 13?
False
Let a = -31 + 6. Suppose -2*m + 7*m = 2*g + 221, -2*g = 5*m - 229. Let v = m + a. Is 12 a factor of v?
False
Let z be ((-258)/15)/(2/(-60)). Suppose -i - 3*i + z = 0. Suppose -5*w + i = -2*w. Is w a multiple of 9?
False
Suppose -s + 4*n - 16 = 0, -4 = 5*s + n - 2*n. Suppose 2*m - 5*z - 16 = s, -m - 3*z + 0*z - 3 = 0. Suppose -3 = -3*w - 5*j, -m*j - 6 - 3 = 0. Does 3 divide w?
True
Let x(s) = -s**2 + 8*s - 3. Let a(l) = l**2 - 9*l + 4. Let y(n) = -5*a(n) - 6*x(n). Let u be y(3). Let d = u + 65. Is d a multiple of 14?
False
Let p = -238 - -286. Is p a multiple of 7?
False
Suppose -1785 = -2*s - 579. Does 21 divide s?
False
Let b(d) = 45*d**2 + 2*d + 1. Let j be b(-1). Suppose 2*a - 2*o - j = 0, 2*o + 4 = a + 7*o. Does 18 divide a?
False
Let b = -1136 + 4088. Is 18 a factor of b?
True
Let d = 1842 + -1211. Does 9 divide d?
False
Let m = -44 + 39. Does 9 divide 1 - -46 - ((-6)/(-2) + m)?
False
Suppose 0 = 5*t - 3 - 22, 5*s - 3*t - 25 = 0. Suppose 4*k - k = 3. Let l = s - k. Is 7 a factor of l?
True
Is 6 + 46/(-7) - (-1968)/14 a multiple of 14?
True
Let d = -162 - -275. Is 17 a factor of d?
False
Suppose 4*t = 21*t - 2176. Does 16 divide t?
True
Let u(w) = 148*w + 242. Is 30 a factor of u(16)?
True
Let l(v) = v**3 + v**2 - 29. Let b be l(0). Let x = b + 36. Is 3 a factor of x?
False
Suppose 5 = 5*m, -2*j + 3862 = 2*m - 1046. Is 11 a factor of j?
True
Let j be (-26)/39 - (-8)/3. Suppose -155 = 3*r + j*r. Let i = 56 + r. Does 19 divide i?
False
Suppose 1845 = 17*u - 5414. Is u a multiple of 56?
False
Is 3/(-18) + (6 - 3463/(-6)) a multiple of 53?
True
Let n = 20 - 11. Let u be 1488/n*(-12)/(-8). Does 21 divide (-2)/(-3) + u/6?
True
Let y(i) = 17*i + 6. Let o be y(8). Suppose -5*d + o = -48. Suppose 2*b - d = -x + 4*b, -x + 4*b = -40. Is x a multiple of 12?
True
Let r = -35 - -44. Let o(a) = 6*a + 4. Does 29 divide o(r)?
True
Suppose -86*p + 41*p + 1215 = 0. Does 9 divide p?
True
Let i = 6 + -8. Let t be (2 - 2)/i + 2. Suppose -z + 44 = -4*b, -t*b - 14 = -6. Does 12 divide z?
False
Let y(o) = 2*o**3 + o**2 - 3*o - 6. Is y(4) a multiple of 14?
True
Let f(v) = -23*v**3 - 3*v**2 - 3*v - 1. Let b be f(-1). Suppose -z + 4*o = -b, 4*z - 21 = -3*o + 10. Does 4 divide z?
False
Let d = -44 + 21. Let k = d + 15. Let q(v) = -v**3 - 8*v**2 - 7*v - 1. Is 14 a factor of q(k)?
False
Suppose 3*s = 3*n - 9, -3*n - 9 - 3 = 0. Let d(b) = -b**3 - 8*b**2 - 11*b - 9. Is d(s) a multiple of 7?
False
Let p be ((-2)/(-4))/((-19)/(-76)). Suppose 0 = -p*x, -74 = 2*r + 2*x - 206. Suppose 3*t - 5*i - r = 10, 2*i = 5*t - 152. Is t a multiple of 16?
True
Let s(k) = -k**3 - 34*k**2 + 57*k + 54. Is s(-36) a multiple of 9?
True
Let n be 1/(2/1 + 149/(-75)). Let d = n - 53. Is d a multiple of 3?
False
Suppose -d + 6*d = -5. Let j(m) = m**3 + 5*m**2 + 2*m - 5. Let t be j(-4). Is 30 a factor of 0/(t + d) + 128?
False
Let k(a) be the first derivative of 6*a**4 - 2*a**3/3 + 5*a**2/2 - 2*a - 2. Is k(1) a multiple of 5?
True
Let h(s) = -46*s - 11. Let i be h(5). Let a = -150 - i. Let f = a - 55. Is 15 a factor of f?
False
Suppose -4*l + 43 = 3*q + 5, 50 = 4*l - 3*q. Suppose h + 4 = 3*z - 3, -h - l = -5*z. Suppose -z*d + 60 = 3*a + d, d - 4 = 0. Does 8 divide a?
True
Let w(b) = -b**3 - 7*b**2 - 6*b - 6. Let r be w(-7). Suppose -f - 3*f = -r. Is 2 a factor of f?
False
Let c = 248 + -233. Is 5 a factor of c?
True
Let m be (-2*1)/((-13)/78). Is 13 a factor of m/(-10)*(1 - 36)?
False
Let g(d) = 1194*d**3 + d**2 - 25*d + 24. Is g(1) a multiple of 9?
False
Suppose -5*a = -20, 5*s - 6*s = a - 204. Does 10 divide s?
True
Let f = -57 + 59. Is 4/f*2 + 2 a multiple of 2?
True
Suppose -8*k - k = -1980. Suppose -16*o + k = -11*o. Does 11 divide o?
True
Let q = -1462 + 1575. Is q a multiple of 10?
False
Suppose -20 - 40 = 5*i. Let o = 1 + i. Let n = o + 22. Is n a multiple of 4?
False
Suppose 5*c - 1 - 19 = 0. Let t = c + -4. Suppose -4*i + 3*i + 37 = t. Does 10 divide i?
False
Let w = 3727 - 672. Is w a multiple of 28?
False
Suppose j = 2*k + 162, k - 621 = -7*j + 3*j. Is j a multiple of 17?
False
Let h(c) = 3*c + 120. Let t be h(0). Suppose 2*x + o = t, -5*o - 86 = 5*x - 386. Does 20 divide x?
True
Is 9 a factor of -378*(1 + 25/(-15))?
True
Let p(d) = 2*d**3 + 51*d**2 + 21*d - 30. Is 12 a factor of p(-25)?
False
Let y(n) = -n**3 + 11*n**2 + 2*n - 13. Let f be y(11). Let j = f + -3. Is j a multiple of 2?
True
Suppose -9*q + 924 = -5*q. Is 21 a factor of q?
True
Suppose -l + 1 = 4*c - 5, -5*l = 5*c. Suppose 0 = 3*o + r - 19, 0 = -c*o + 6*o + 4*r - 36. Is o a multiple of 2?
False
Suppose i + 5*v = -17, i + 10 - 1 = -3*v. Suppose 2*f - 15 = -i. Is 336/18 - (-2)/f a multiple of 5?
False
Is (-49)/(-84)*4*42 a multiple of 11?
False
Is 21 a factor of 231/((-4)/((-60)/5))?
True
Suppose 10*i + 168 = 3*i. Let z = i - -38. Is z a multiple of 14?
True
Suppose 2*y = -4, 4*q + 0*y - 10 = -y. Suppose -4*g + 385 = q*g. Is 10 a factor of g?
False
Suppose 5*u - 1 = 14. Let m(d) = 4*d**3 + 3*d**2 - 2*d - 3. Let p be m(u). Let s = -90 + p. Is 12 a factor of s?
True
Does 21 divide 4 + 6 - 17 - -2884?
True
Suppose -4*s = -c + 1012, -5037 = -3*c - 2*c - 3*s. Does 18 divide c?
True
Suppose 6*t + 2*k = t + 79, -68 = -4*t - 4*k. Suppose -3*s = -0*s - t. Suppose 3*x - s*i = -0*x + 200, -3*x + 176 = i. Does 23 divide x?
False
Is 17 a factor of (0 + -102)*5/(30/(-44))?
True
Let r(v) = v**2 + 10*v - 18. Let w be r(-9). Let u = -21 - w. Suppose 0*i - 192 = -u*i. Is i a multiple of 8?
True
Let q = -10 - -506. Is q a multiple of 11?
False
Suppose -1 = -2*p + 7. Let k = p + 0. Suppose 0*u = -k*u + 144. Is 9 a factor of u?
True
Is ((-4)/12 - 80/(-15)) + 241 a multiple of 41?
True
Let a = 17 + -21. Let s(v) = -v**2 - 7*v. Does 3 divide s(a)?
True
Let h(m) = -m**2 - 5*m - 4. Let k be h(-6). Let t be (-2)/8 + k/(-8). Suppose 4*b - 69 = 5*w, -2*w + t + 47 = 2*b. Is b a multiple of 7?
True
Suppose 4*k - 22 = -2*t, 2*t = -0*t - 3*k + 19. Suppose 0 = -5*z + 2*d + 275, 0 = 6*z - 5*z - t*d - 78. Does 5 divide z?
False
Let d be ((-1)/(-1 - 0))/(9/(-459)). Let t = 72 + d. Does 5 divide t?
False
Suppose -x + 525 = p - 4*p, 0 = 2*p - 4. Is 35 a factor of x?
False
Let z be (-8 + 2)/((-3)/2). Let t be 2 - (2 - 0) - 0. Suppose 248 = -t*c + z*c. Is 22 a factor of c?
False
Suppose 5*c - 564 = -2*a, -c - 1047 - 37 = -4*a. Suppose 2*t = 2*x + a, -5*t + 35 = 3*x - 661. Is 23 a factor of t?
True
Let w be (6/15)/(-3 - (-28)/10). Let u(m) = -18*m**3 - 2*m**2 - m + 3. Is u(w) a multiple of 47?
True
Let n = 170 + 55. Is n a multiple of 11?
False
Let f = 11 + -29. Let c = f - -61. Does 5 divide c?
False
Suppose -5*u + 476 = 3*j, 2*u = 9*j - 15*j + 944. Is j a multiple of 12?
False
Suppose 10*z = 78 + 942. Is 17 a factor of z?
True
Does 11 divide 9/((-18)/(-308))*2?
True
Suppose 5*u = 2*f - 201, 0 = -2*u - 3*f - 39 - 49. Let z = u + 76. Is z a multiple of 12?
False
Let d be 0 - (3 + 2 + -9). Suppose -106 - 98 = -d*b. Is b a multiple of 8?
False
Let p(b) be the third derivative of b**6/360 + b**5/60 - b**4/6 + b**3/6 - 6*b**2. Let y(x) be the first derivative of p(x). Is 3 a factor of y(3)?
False
Suppose -6*h + 538 = j - 10*h, 4*h = 5*j - 2658. Is j a multiple of 106?
True
Suppose 3385 = 13*r - 125. Does 27 divide r?
True
Suppose 0 = -16*q +