Let g(z) = z**2 + 4*z - 5. Let p be g(x). Suppose 3*c - 7 - 122 = p. Is 13 a factor of c?
False
Suppose -3059*r - 1492 = -3060*r. Is 4 a factor of r?
True
Suppose 11*k = -281 + 50. Is 11 a factor of (308/k)/(4/(-6))?
True
Let h(v) = v - 4 + v + 0*v. Let k be h(3). Suppose 5*s - k*s - 63 = 0. Does 7 divide s?
True
Suppose -10 = 5*y - 5*u, -4*u - 7 = y + 5. Let h be ((-6)/y)/((-6)/(-8)). Suppose -5*s - 165 = -2*j, -j + 69 = -0*j + h*s. Does 20 divide j?
False
Suppose -5*v + 64 = -36. Suppose 5*w - 29 + 4 = -4*g, v = 5*g - 5*w. Suppose -5*s = 2*h - 196, 10*s + 5*h = g*s + 190. Is 21 a factor of s?
False
Let x = 61 - 81. Suppose 4*c + 14 = -18. Let f = c - x. Is f a multiple of 12?
True
Suppose 0 = 8*g + 317 - 19973. Is 91 a factor of g?
True
Let d be (-4 + 2 - 7) + 3. Let q be 8 - -6*d/9. Suppose q*o = 4*t - 97 + 13, -85 = -4*t + 3*o. Is t a multiple of 5?
False
Suppose -8*h = -6*h - 328. Is h a multiple of 4?
True
Let z(a) = 3*a - 21. Let l be z(-7). Let t = l - -58. Is 2 a factor of t?
True
Suppose 34 = 2*t - 5*a + 4*a, -38 = -2*t - a. Let b = t + 7. Does 2 divide b?
False
Let m(p) be the second derivative of -p**5/20 - 7*p**4/12 - p**3/6 + 7*p**2/2 - 3*p. Let f = -7 + 0. Is m(f) a multiple of 7?
True
Let w(y) = -13*y**3 - 2*y**2 - 2*y - 2. Let h(t) = -t**3 - t**2 - t - 1. Suppose 2 = 3*b - 16. Let q(z) = b*h(z) - 3*w(z). Is q(1) a multiple of 11?
True
Let h = -2 - -4. Suppose -h*b + 2 = -o - 4, 0 = 5*o - 10. Let n = b + 21. Does 16 divide n?
False
Let b = 27 - -125. Suppose 0*s - 3*s + 178 = 5*v, -5*v - b = -2*s. Is s a multiple of 11?
True
Suppose 2*s = 2*k - 80, -s + 5*s + 82 = 2*k. Let n = 66 - k. Does 9 divide n?
True
Let t = 169 + -102. Suppose -6*m = 7 - t. Is m a multiple of 3?
False
Suppose 84*g + 499 = 85*g + 5*u, -g - 3*u = -501. Does 36 divide g?
True
Suppose 459 = 7*q - 16*q. Is (-2)/(-17) + (-5706)/q a multiple of 26?
False
Suppose 0 = 3*b - 4*o + 581 - 5776, 3440 = 2*b + 2*o. Is b a multiple of 12?
False
Suppose 14*h - 7995 = -2311. Is 58 a factor of h?
True
Suppose 4*g - 6934 = m, 0*g = 2*g + 4*m - 3476. Is 34 a factor of g?
True
Let z(b) = b**3 - 11*b**2 - 17*b - 4. Let l be z(13). Suppose q - l = -14. Is q a multiple of 17?
False
Let l(z) = z**2 - 10*z + 7. Let w(v) = -v**2 - 6*v + 1. Let k be w(-3). Is l(k) even?
False
Suppose -5*t + 4*y - 41 = -7, -2*t = y + 11. Let s = t + 9. Suppose -s*z + 45 = -0*i - i, 0 = -3*i. Is 5 a factor of z?
True
Let k(r) = -r**2 - 1. Let a be k(-4). Let c(u) = -11*u - 20. Let b be c(-5). Let m = b + a. Does 5 divide m?
False
Let j = 266 - -150. Does 13 divide j?
True
Suppose -6*n - 40 = -8*n. Let p be n/(-70) + (-5002)/(-14). Suppose 0 = -4*g - 57 + p. Does 15 divide g?
True
Let n = -29 + 61. Suppose -p = 10 - n. Let q = p - 5. Is 9 a factor of q?
False
Suppose -4*x + 12 + 0 = 0. Suppose -2*z + x*z - 8 = 0. Is z a multiple of 2?
True
Let w = 362 - -29. Is 19 a factor of w?
False
Is 9 a factor of 22/(88/5460) + (-4)/(-1)?
False
Let v(p) = -55*p**2 + 3*p**3 - 1 + 0*p**3 + 56*p**2. Let w be v(-1). Does 23 divide (-410)/(-3) - (-2)/w?
False
Let m = -19 + 21. Suppose 4*k + m*k = 126. Suppose 4*w - 51 = k. Is 6 a factor of w?
True
Let w = -14 - -16. Suppose 3*l = -w*l. Suppose -5*t - 45 + 245 = l. Does 12 divide t?
False
Let v be (-1)/(-2)*(-66 + 18). Let s(l) = -5*l - 24. Is s(v) a multiple of 48?
True
Is ((-35)/(-70))/(((-20)/(-4296))/5) a multiple of 12?
False
Let a be (46 - -1) + (-4)/(-6 - -7). Suppose -2*t = 0, r - t - 3 - a = 0. Does 6 divide r?
False
Suppose -a + 99 = o, a = 4*a + 2*o - 300. Let m = a + -67. Is m a multiple of 10?
False
Let f(k) = 116*k**2 + 12*k - 44. Is 37 a factor of f(3)?
True
Let s = 97 + -58. Let n = 52 - s. Does 3 divide n?
False
Suppose 4*t = 580 + 172. Suppose -3*m + 2*d = -214, 2*d + 93 = 5*m - 265. Suppose t - m = 4*k. Is 12 a factor of k?
False
Let q = 69 - 66. Suppose 5*t - 563 = q*c, -4*t - c + 34 = -413. Is 19 a factor of t?
False
Suppose -19*i + 13*i = -138. Is i even?
False
Let g be (-90)/(-20)*(0 - -2). Let o = g + -11. Let f = 68 + o. Does 19 divide f?
False
Let g = 56 - 56. Suppose 3*o + g*o = 4*j - 560, 5*j = -4*o + 700. Is j a multiple of 28?
True
Let c(y) = y**2 - 3*y - 6. Let q be c(-2). Suppose -398 = -4*o - q*w - 110, -3*o + 3*w + 228 = 0. Is o a multiple of 17?
False
Suppose 4620 = 17*i - 12*i. Does 11 divide i?
True
Suppose 4*l = -4*l + 40. Suppose -116 = o - l*o. Is 29 a factor of o?
True
Suppose -2*t + 5*w + 37 = 0, -4*t + 3*w = -29 - 10. Is 10 a factor of (-2432)/(-57) - (-2)/t?
False
Let i = 39 - 69. Let g = i + 38. Is 15 a factor of ((-32)/g)/(4/(-34))?
False
Let w = -464 + 1331. Is 17 a factor of w?
True
Let u = -11 + 13. Suppose 4*i + r + 17 = 0, -u*i = r + 7 + 2. Is 13 a factor of 13/i*(-9 + 5)?
True
Let k(a) = -2*a + 34. Let d be k(0). Let m = d - 21. Does 12 divide m?
False
Let q(m) = -43*m + 7. Let y be q(-7). Suppose 5*p - y - 77 = 0. Does 8 divide p?
False
Suppose 0 = 13*w - 18*w + 20. Suppose 15 = -3*y, -x = -2*x - w*y - 9. Is 4 a factor of x?
False
Suppose 2564 + 6165 = 29*j. Is j a multiple of 14?
False
Let c = -197 - -587. Is 30 a factor of c?
True
Let s be ((-14)/4)/(-1)*4. Let n(k) be the third derivative of k**4/6 - 14*k**3/3 - 267*k**2. Is n(s) a multiple of 14?
True
Let i = 411 + -187. Is 14 a factor of i?
True
Let o be -1*7/((-21)/618). Let l = o + -42. Let h = l + -114. Is 13 a factor of h?
False
Let w = -70 + 92. Suppose 2*t + 0 = w. Is 10 a factor of t?
False
Suppose 2*s - 7*s + 331 = -f, -2*f = 2*s - 142. Suppose 2*z = -b - 2*b + 119, z - b - s = 0. Suppose 4*t = r + 250 - 8, -z = -t + 2*r. Is t a multiple of 15?
True
Suppose -2*q = 4*g - 20, -4*q + 4*g + 28 = -0*q. Suppose c - 6 - q = 2*l, 5 = -l. Suppose -c*k + 4 = -16. Is k a multiple of 2?
False
Suppose 2*f - 2*h - 112 = 0, -f + 26 = 4*h - 50. Is 2 a factor of f?
True
Let x be ((-3)/6)/(1/(-4)). Suppose -v - v + 52 = -x*s, -50 = 2*s - v. Let b = s + 67. Is 10 a factor of b?
False
Let j(h) = h**3 + h**2 - h + 126. Is j(0) a multiple of 42?
True
Suppose 2*w = 2, -4*d + 2045 = -14*w + 19*w. Does 37 divide d?
False
Let g = -11 + 23. Suppose -g = 4*d, -2*r - 3*r + 44 = 2*d. Is r a multiple of 10?
True
Let g = 14 + -19. Let w(h) = h**3 + 6*h**2 - 5*h. Let m be w(g). Suppose -4*r + m + 70 = 0. Is r a multiple of 10?
True
Is (47 + -1077)*(-4)/10 a multiple of 4?
True
Let w(j) = -j**3 - 7*j**2 + 5*j + 74. Let t(z) = -z**2 + z + 1. Let b(q) = -6*t(q) + w(q). Suppose -4*o + o = 0. Is b(o) a multiple of 23?
False
Let u be (2 + 3 + -4)*0. Suppose 2*d + u*d - 3*q = -45, -4*d + 4*q - 92 = 0. Is d/(-2) - (-44)/22 a multiple of 14?
True
Let m = 82 - 46. Let f = 43 - m. Is f a multiple of 7?
True
Suppose b - 93 = -3. Suppose 0 = d - b. Does 18 divide d?
True
Let f(z) = 5*z**2 + 32*z - 1. Let g(h) = 11*h**2 + 65*h - 4. Let k(s) = 9*f(s) - 4*g(s). Does 22 divide k(-31)?
False
Let c(s) = -s**2 - 2*s + 8. Let x be c(-4). Let h be 1*x*(-5)/15. Is 7 a factor of (-21)/(-2 + 1 + h)?
True
Let j be (-246)/(-22) + (-32)/176. Let t = 20 - j. Does 11 divide 14/(-10)*(t - 19)?
False
Suppose 3*t + t = 8. Let h = 15 + -10. Suppose h*c = -l + t, 5*c - 16 - 8 = -2*l. Is 22 a factor of l?
True
Let q(s) be the second derivative of s**5/20 - s**4 - 10*s**3/3 + 4*s**2 + 39*s. Is q(14) a multiple of 12?
True
Let j(s) = 1166*s**2 + 3*s - 5. Is j(1) a multiple of 12?
True
Let d = -16 - -24. Let p(q) = 24*q**3 - 26*q**3 - q**2 + 7*q - 2 - 3*q**2 + d. Is 14 a factor of p(-4)?
True
Let g(u) = 12*u - 10. Suppose 0 = 4*z - 2*z - 3*x + 3, -z - 3*x + 3 = 0. Let k be 10 + (-3 - 1) + z. Does 10 divide g(k)?
False
Let y(d) = -d**3 + 23*d**2 - 23*d. Is y(10) a multiple of 11?
False
Let b(d) = -d - 1. Let h(n) = 10*n - 8. Let l(g) = -2*b(g) - h(g). Is l(-4) a multiple of 10?
False
Let v = -4 + 80. Suppose -v = -5*h + 429. Is 29 a factor of h?
False
Let u be 6/(12/80*5). Suppose -u*s - 12 = -332. Is s a multiple of 10?
True
Let m = 36 - 31. Suppose 0 = m*c - 5*b - 55, -3*b - 6 = -c + 1. Is c a multiple of 3?
False
Let t(h) = -h + 5. Let o be t(5). Suppose u - 2*p = -o*p + 52, 2*u + 3*p - 104 = 0. Is 4 a factor of u?
True
Suppose -5 = -5*h + 10, -2*h - 69 = -3*i. Let s = 7 - -15. Let t = i + s. Is t a multiple of 10?
False
Let c(p) = -2*p**2 + 10*p + 12. Let n(a) be the first derivative of a**3/3 - 5*a**2 - 12*a + 2. Let