(k) = 372*k**2 + 2*k. Does 17 divide z(1)?
True
Suppose -4*n + 8*n - 3*j = 498, 136 = n + 5*j. Is 9 a factor of n?
True
Let w = -66 + 101. Let b = 68 - w. Is 6 a factor of b?
False
Suppose 0 + 4 = d. Let x = d + -1. Suppose 0 = 2*t - x*t + 20. Is 5 a factor of t?
True
Suppose -118 = -3*k - 34. Let s = -26 + k. Is (-2)/((-34)/(-18) - s) a multiple of 9?
True
Suppose -12261 = -11*o + 2479. Does 48 divide o?
False
Let d(m) = m**2 - 10*m + 4. Let p be d(10). Suppose p*b + 0*b = 76. Does 8 divide b?
False
Let g = -48 - -60. Let d = g + 92. Is 47 a factor of d?
False
Let y = 65 - 62. Let a(n) = 5*n**3 - 2*n**2 - 3*n - 2. Does 7 divide a(y)?
False
Suppose -5*t - a + 705 = 0, 0 = -2*t - 0*t + 4*a + 260. Does 35 divide t?
True
Suppose k - 83 - 25 = 0. Suppose 3*s - 3*q + 7*q = 23, -7 = -3*s + 4*q. Suppose s*p - 2*x - k = 0, -4*p + 152 - 59 = 5*x. Does 11 divide p?
True
Let l(h) be the first derivative of -h**4/4 + 7*h**3/3 + 7*h**2/2 + 12*h + 5. Is 16 a factor of l(7)?
False
Let v be 21 + (-1)/(3/9). Suppose -3*r + v = -12. Does 9 divide r?
False
Let b be (24/10)/((-2)/(-25)). Let t = -26 + b. Is 23 a factor of 22/(-4)*-16 + t?
True
Let h(m) = 3*m**2 + 2*m + 1. Let t be h(-2). Let b = t + -9. Suppose j - 11 - 5 = b. Is 5 a factor of j?
False
Let a = -38 + 55. Let r(l) = l**2 + 1. Let f be r(2). Suppose 13 + a = f*s. Does 4 divide s?
False
Let y be -1 + 3 + -1 + 11. Is 8 a factor of ((-27)/3)/(1*y/(-64))?
True
Let o(g) = 4*g**2 + 8*g + 4. Let t be o(-7). Suppose 16*j + t = 18*j. Is j a multiple of 18?
True
Let w(g) = g**2 - g - 1. Let x be w(4). Suppose 0 = -9*a + x*a - 140. Is 15 a factor of a?
False
Let m(x) = x**2 + 3*x - 43. Is m(-13) a multiple of 29?
True
Let l(r) = -22*r + 4. Let d(a) = 7*a - 1. Let o(h) = -10*d(h) - 3*l(h). Let q be o(-2). Let b(j) = 5*j + 6. Is 18 a factor of b(q)?
True
Suppose -5*r - 15 = 0, -4*m - 5 = -0*r + 3*r. Does 13 divide 84 + (2 + m - 1)?
False
Let m = 174 + -124. Does 5 divide m?
True
Let h(y) = -y**2 - 6*y - 3. Suppose 26 = -3*k + 2*m, 2*k + 4*m = -1 + 5. Let g be h(k). Does 4 divide (10/g)/((-4)/6)?
False
Let d(k) = 3*k + 6. Let x be d(-3). Let f(z) = -z**3 + z**2 - z - 2. Is 10 a factor of f(x)?
False
Let w(f) = 6*f - 7. Suppose -4*d = -4*l + 56, -4*l + 60 = l + 5*d. Let r = l - 8. Is w(r) a multiple of 6?
False
Suppose -4*c + 45 = y - 7, 56 = 3*c + 5*y. Is 42 a factor of 584/14 + 2 + c/(-7)?
True
Suppose 4*w = -2*h + 22 + 14, 4*w - 32 = -4*h. Let r = -4 + w. Suppose -2*s + 94 = -r. Does 25 divide s?
True
Let r(c) be the second derivative of 4*c**4/3 - c**3/3 - 7*c**2/2 - 2*c. Does 6 divide r(-2)?
False
Let z be (249/2)/3*-8. Let a = -211 - z. Does 21 divide a?
False
Suppose 3*n = -3*s - 0*n + 933, 1587 = 5*s - 3*n. Does 9 divide s?
True
Let a(v) = 2*v**2 - 3*v + 1. Let q be a(2). Let s(g) = 43*g - 2. Is s(q) a multiple of 36?
False
Is 17 a factor of (155/(-6) + 15/45)*-44?
True
Let x = 32 + -31. Let w be -145*(6/15 - x). Suppose 3*j = 39 + w. Is 21 a factor of j?
True
Suppose 0 = -3*r + 2*k + k - 9, -2*r + k = 3. Is 6 a factor of (-6)/((-2)/(8 - r))?
True
Let n = 41 + 232. Suppose -3*a = -10*a + n. Is a a multiple of 19?
False
Let u = -297 - -597. Does 75 divide u?
True
Let d be (2/6)/((-3)/6102*-6). Suppose d = -3*f + 413. Is f a multiple of 25?
True
Is 7 a factor of 132/(-2)*(-70)/30?
True
Suppose -u = u - 14. Let d = 13 - 12. Let q = u - d. Is q a multiple of 6?
True
Suppose -334 = -3*l - p + 52, 0 = 5*l + 3*p - 638. Is 26 a factor of l?
True
Let f = -49 - -71. Let p = 26 - f. Let x = 10 - p. Is x even?
True
Let x = -199 + 67. Let a(z) = 2*z**3 + z**2 - 1. Let r be a(-1). Does 12 divide (1/(r/x))/2?
False
Suppose 41*c - 58320 = 5*c. Is 54 a factor of c?
True
Let c(t) = t**3 - 9*t**2 + 13*t - 1. Let u be c(8). Is 20 a factor of 1 - (-4 - u - -4)?
True
Suppose 82*k = 87*k - 20. Suppose -y + 416 = k*r, 0 = 5*y - 6*y + 4. Is r a multiple of 28?
False
Let x(q) = -8*q - 24. Let k = 24 - 25. Let s be (-3 - (k + -3))*-7. Is 16 a factor of x(s)?
True
Let n(a) be the third derivative of a**6/120 + a**5/60 - a**4/24 + 13*a**3/6 + 10*a**2. Let r be 0*(0 - 0 - 1). Does 13 divide n(r)?
True
Let l be 3 + (0 - 4 - 0). Let g be 39/(-13)*(l - 0). Suppose 3*h - 12 = 0, g*h + h + 27 = v. Does 14 divide v?
False
Suppose f - 2*q = 31, 3*f - q - 61 = -3*q. Let j(x) = x + 67. Is 9 a factor of j(f)?
True
Let j(f) = 116*f**3 + 6*f**2 - 15*f + 3. Is 37 a factor of j(2)?
True
Let t be 11/11 - (-19 + -1). Suppose t*n = 20*n + 100. Does 25 divide n?
True
Suppose 0 = 4*i - 25*n + 29*n - 1164, 4*n = -2*i + 588. Is 15 a factor of i?
False
Suppose 0*x - 2*x = -20. Let o = -8 + x. Suppose -14 = -o*s - 4*j + 48, -3*s + 5*j = -60. Is s a multiple of 10?
False
Let v be (4 + -3)*10/2. Suppose 95 = v*c - 385. Is 24 a factor of c?
True
Let v(w) = 16 + 0*w + w - w + w. Does 5 divide v(4)?
True
Let w(v) = -18*v - 12. Suppose -5*b = 14 + 11. Does 33 divide w(b)?
False
Let q(o) = 6*o - 7. Let g be q(5). Suppose 2*k - g = 1. Does 25 divide 978/21 + k/28?
False
Suppose 2*u - 8*u + 1824 = 0. Is 17 a factor of u?
False
Suppose 12*j - 10*j - 640 = 0. Is 8 a factor of j?
True
Let d = 43 - -197. Let r be (24/10)/(4/d). Suppose 4*o - 2*y - 198 = 0, 5*y - 2*y = 3*o - r. Does 17 divide o?
True
Suppose 9 = 2*j + 37. Let x = -64 - -120. Let h = j + x. Does 16 divide h?
False
Is 48032/72 - 5/(-2 + 47) a multiple of 25?
False
Suppose -d - 2*w + 204 + 79 = 0, -d = 3*w - 282. Does 13 divide d?
False
Let b(k) = -81*k + 93. Is b(-5) a multiple of 42?
False
Is 56 a factor of (-10)/(-4) - (-38114)/76?
True
Let r = 160 + -136. Is r a multiple of 6?
True
Let o(i) = i**2 + i + 6. Let z(u) = -u**3 + 9*u**2 - 9*u + 11. Let w be z(8). Suppose 3 = -j - w. Is 9 a factor of o(j)?
True
Let z(h) = h**2 + h + 680. Does 34 divide z(0)?
True
Suppose -4*x = 5*q - 139, -4*x + 41 + 89 = 2*q. Let h be -1*(-3)/(-3) - 2/2. Is 28 a factor of h + (-3 - -2) + x?
True
Let m be (14/(-21))/(2/(-6)). Suppose 4*x - 2*a = 14, x + a - 13 = -m*x. Suppose -x*b + 29 = -71. Is 25 a factor of b?
True
Does 5 divide 617750/625 - 2/5?
False
Let c be (-1)/((-3 - -4)/(-37)). Let b = c + -20. Is 3 a factor of b?
False
Let m = 1584 + -198. Is 14 a factor of m?
True
Let f = -6 - -10. Suppose -420 - 296 = -f*r. Suppose 5*g = g - s + 183, -r = -4*g - 5*s. Is 23 a factor of g?
True
Is (135*4/80)/(1/12) a multiple of 27?
True
Let o = 17 - 12. Let s be 0 - -29 - (-3 + o). Suppose -4*c = -p + s, -15 = -c + 6*c. Is p a multiple of 8?
False
Does 42 divide (-112 - -3146) + 1*-10?
True
Let f = -173 - -203. Does 5 divide f?
True
Let u(w) = -w**3 - 27*w**2 + 6*w - 38. Is 49 a factor of u(-29)?
True
Let u(h) = 107*h + 543. Is 18 a factor of u(3)?
True
Does 109 divide (-97 + -12)/(3/(-58 - -1))?
True
Let t = 4 + -1. Suppose -5*p = -10, 0 = 5*b - 2*p - t*p. Suppose -f = b*f - 45. Is 7 a factor of f?
False
Let j(h) = -2*h + 235. Does 5 divide j(38)?
False
Suppose 5*g + 17*g = 3520. Is 19 a factor of g?
False
Let x(j) = -9*j - 51. Let w(c) = -3*c - 17. Let p(z) = 7*w(z) - 2*x(z). Is p(-15) a multiple of 7?
True
Suppose 0*t + 6*t - 18 = 0. Suppose -2*c + 275 = 5*y + t*c, 0 = 2*c - 2. Is y a multiple of 32?
False
Let p = -114 + 177. Does 9 divide p?
True
Let q(h) = 2*h + 125. Does 19 divide q(-11)?
False
Does 28 divide 474 + -3 + (-7 + -1 - -13)?
True
Let u(z) = -z**2 - 3*z + 3. Let b(a) = -a + 1. Let j(i) = 4*b(i) - u(i). Let l be j(1). Let p = l - -10. Is p a multiple of 3?
False
Let g = 37 + 323. Does 17 divide g?
False
Let s be -3*1/3*0. Suppose 2*z + z + 18 = s. Is (z - -6) + (-128)/(-4) a multiple of 4?
True
Let x(s) = s**3 + 3*s**2 + 3*s. Let d be x(-2). Is ((1 - d)/1)/(6/16) a multiple of 2?
True
Suppose -3*b + 960 = -r, -2*r - 2*r = -2*b + 650. Does 14 divide b?
False
Let c = 16 - 12. Let k be c/(-26) + (-32)/(-208). Suppose 0*l - 5*l + 275 = k. Is 11 a factor of l?
True
Suppose -w + 7 = 18. Is 8 a factor of ((-1)/(-1))/(w/(-583))?
False
Is 21 a factor of 23112/81 - (-2)/(-6)?
False
Is 1/4 - 3306/(-24) a multiple of 7?
False
Let j be 4/(-3) - 12/(-9). Let o(l) = -l**2 + 3*l + 4. Let b be o(3). Suppose -b*i = -w + 99, -2*w - 2*i - 21 + 189 = j. Is w a multiple of 10?
False
Let n = 13 - 26. Let k = n - -22. Suppose 0 = -5*b - h + 67, k*h - 4*h = -15. Is b a multiple of 5?
False
Suppose 12 = 2*r + r. Let p(n) = n**2 + 12*n +