oes 19 divide z(-5)?
False
Let n(q) = -5*q**2 - 3*q - 2. Let z be (-8)/44 + (-68)/(-11). Let r(o) = -5*o**2 - 2*o - 2. Let w(m) = z*n(m) - 7*r(m). Is 7 a factor of w(2)?
True
Suppose -4 + 12 = -2*y. Let m be y/(-10)*(12 + -22). Does 14 divide 31/((-4)/m) + 0?
False
Let v(z) = 138*z**2 + 80*z + 1. Does 23 divide v(-2)?
False
Suppose 628*v - 315 = 623*v. Is v a multiple of 21?
True
Does 64 divide 2 + (-14)/21*-405?
False
Let m = -5 + 25. Let t = m - 14. Suppose t*f - 84 = 2*f. Does 7 divide f?
True
Is (-9)/15 + 3*(-830)/(-25) a multiple of 9?
True
Does 20 divide ((-100)/15)/(1 + (-79)/78)?
True
Let l = -251 + 112. Let x = l - -218. Is 14 a factor of x?
False
Suppose 3*k = -3*a + 5163, -9*k = -a - 8*k + 1729. Does 15 divide a?
True
Suppose 0 = 2*t, -5*h + 50 = -t + 3*t. Suppose -5*s + h = -0*s. Let i = s - -7. Is i a multiple of 4?
False
Let f be (-64)/(-28) + (-2)/7. Suppose 0 = -3*d - 4*q + 43, 91 = 4*d - f*q + 19. Suppose 4*n + d = 49. Is 2 a factor of n?
True
Let m = 505 + -483. Does 9 divide m?
False
Let a(k) = k**3 - 22*k**2 + 19*k - 6. Let n be a(21). Is n/(-24)*(23 - 1) a multiple of 7?
False
Let o(j) = -3*j**2 + 6*j + 1. Let m = -2 + 5. Let d be o(m). Is d/20 - (-54)/10 even?
False
Suppose 7*i - 2*i = 565. Suppose s + 12 = 5*s, -x + 4*s = -i. Does 23 divide x?
False
Let p(l) = -l**3 + 10*l**2 + l + 3. Is 2 a factor of p(9)?
False
Let s be (40/4)/(4/2). Suppose 0 = 4*q + s*a - a - 284, 0 = 2*q - 4*a - 160. Does 15 divide q?
False
Suppose h - 41 = 56. Let b = -85 + h. Is b a multiple of 6?
True
Let i(l) = 3*l + 4*l - l - 4 - l**2. Let z be i(4). Suppose z*b + 256 = 8*b. Does 25 divide b?
False
Let n(h) = -2*h**2 + 8*h + 6. Let o(p) = -p**2 + p. Let k(x) = -5*x**2 + 5*x - 1. Let s(l) = -k(l) + 6*o(l). Let m(z) = n(z) - 8*s(z). Does 22 divide m(2)?
True
Suppose 218 - 41 = 3*l. Let f = -28 + l. Is 10 a factor of f?
False
Suppose 0 = -3*v + 5*g + 314, -4*g - 205 = -2*v + 3. Suppose 4*w = v + 44. Is w a multiple of 6?
False
Let v(f) = 2*f**2 - 10*f. Let x be v(5). Let u = 9 + -6. Suppose 2*r + 2*y - 83 = -u*r, -2*r + y + 26 = x. Does 5 divide r?
True
Let v(c) be the third derivative of c**5/30 + 5*c**4/24 + c**3/3 + 5*c**2. Let k be v(-3). Suppose -k*q = -m - 6*q + 4, -4*m = 2*q - 14. Does 3 divide m?
True
Let w(f) = 3*f**2 + 5. Let g be 1*21*1/(-3). Does 26 divide w(g)?
False
Suppose -1857 = -11*b - 537. Does 12 divide b?
True
Let b(o) = o**2 + 4*o - 7. Let f be b(-5). Let w be (5/15)/(f/(-174)). Let d = -18 + w. Does 8 divide d?
False
Let t(n) be the first derivative of n**4/4 - 3*n**3 - 5*n**2/2 - 8*n - 4. Let d be t(10). Suppose -h = 4*m + m - d, -4*h + m + 210 = 0. Is 13 a factor of h?
True
Suppose 2*o - 551 = t + 2584, -5*o + 7824 = 2*t. Does 14 divide o?
False
Suppose 0 = 5*x - 381 - 79. Is x a multiple of 13?
False
Let w = -51 + 135. Does 3 divide w?
True
Suppose -2507 = -12*c + 10981. Does 14 divide c?
False
Does 17 divide (5 + -1)*17*38/8?
True
Let s(y) = 27*y**3 + 6*y**2 - 11*y - 11. Let b(v) = -9*v**3 - 2*v**2 + 4*v + 4. Let j(p) = 8*b(p) + 3*s(p). Is j(2) a multiple of 25?
False
Let h be (0 - 2) + 3 - (-7 - -4). Suppose h*o + 560 = 9*o. Is 14 a factor of o?
True
Let u be 46/8 - (-9)/36. Is 7 a factor of 34 + u - (-1 + 4)?
False
Let j be -16 - (1 - (-3 - -4)). Let f = 22 + j. Is f a multiple of 6?
True
Suppose 4*g = g - 45. Let f = 12 + g. Does 3 divide 18*(1 + 1/f)?
True
Let c(i) = -4*i + 159. Does 17 divide c(10)?
True
Let o(k) = 303*k**2 + 36*k. Is o(-3) a multiple of 28?
False
Let c = 26 - 168. Let o = 263 + c. Is o a multiple of 19?
False
Let f = 1 + 0. Let o = 12 + f. Suppose 5*d = b + 65, -d + 2*b = -0*d - o. Is d a multiple of 4?
False
Suppose -4*t - 7*w = -3*w - 28, 25 = 3*t + 5*w. Suppose 4*d + 5*f = 331, 0 = -5*d + t*f - 0*f + 425. Does 7 divide d?
True
Let k(o) = 8*o**2 - 6*o + 6. Let p(g) = g**2 + 11*g + 13. Let i be p(-10). Is 15 a factor of k(i)?
True
Suppose 103 = -3*w + 91. Let j be -7 - (3 + -2)/1. Is w/j*-6 + 20 a multiple of 17?
True
Suppose 60 = 2*s + 10*s. Suppose 2*f - s*g = -9 + 103, -4*f = -g - 170. Does 8 divide f?
False
Let t(u) = -39*u + 3. Let p be t(-6). Suppose 5*n = 123 + p. Is 9 a factor of n?
True
Let f(u) = -7*u**2 - 25*u + 1. Let c(m) = 4*m**2 + 13*m - 1. Let j(z) = 10*c(z) + 6*f(z). Is 5 a factor of j(-8)?
False
Let g = -869 + 1464. Does 17 divide g?
True
Is 1 + 5 + (-3366)/(-11) a multiple of 52?
True
Suppose 11*k - 9*k = 2*v - 3264, v + 2*k = 1620. Is 54 a factor of v?
False
Let k(p) = -p + 0*p + 10 - 14. Let m be k(-4). Suppose -u = -m*u - 13. Is u a multiple of 13?
True
Let c(o) = 16*o**2 - 6*o + 44. Is 7 a factor of c(-8)?
False
Is -6 - (7 - (586 - 7)) a multiple of 8?
False
Let i(f) = -f + 37. Let n be i(0). Suppose -14*x + n = -13*x. Is 8 a factor of x?
False
Suppose -108 = 7*x - 17685. Does 70 divide x?
False
Let t(o) = -o. Let l be t(-5). Suppose -l*h + 2*r = -71 - 77, -2*h + 3*r = -57. Is h a multiple of 5?
True
Suppose 5*k - 5*q - 243 = -9*q, 0 = -5*k - q + 252. Is k a multiple of 19?
False
Suppose -4*h - u + 110 + 306 = 0, -3*h = 4*u - 312. Is h a multiple of 2?
True
Does 48 divide (-3)/(-4)*-4 + 819?
True
Suppose w = -w - 116. Suppose -q - 427 = 5*g, 4 = -3*q + 13. Let f = w - g. Is 5 a factor of f?
False
Suppose v - 20 = -3*v. Let u(y) = 12*y**2 - 2*y - 5. Let j be u(-3). Suppose 3*p = v*n - p - j, 2*p + 23 = n. Is 7 a factor of n?
True
Let q be (-24)/(20/(-5)) + -2. Suppose -q*r = -b - 603, r = -2*b - 10 + 172. Is 18 a factor of r?
False
Let r be 460/(-30) + 2/(-3). Let s be (-8)/r - 821/2. Is 6 a factor of (s/(-30))/(1/3)?
False
Let i(t) = 18 - 1 + 1 + t. Let n = -84 - -92. Is 14 a factor of i(n)?
False
Suppose 0 = 4*c - 2*x - 348, 2*x + 21 + 69 = c. Suppose 3*h + k = 2*h + 38, -2*h + 3*k = -c. Does 9 divide h?
False
Let y be (-11)/(-3) - 3/(-9). Let q(l) = 48*l - 10. Is 13 a factor of q(y)?
True
Suppose -2*n + 16 = -4. Let f = 50 - n. Suppose 5*k = 160 - f. Is 12 a factor of k?
True
Let l = -54 + 113. Let v = 54 - 93. Let y = l + v. Does 4 divide y?
True
Let v = -17 + 17. Suppose 3*a + 1 - 16 = v. Suppose b - a = -j, b + 4*j = -b + 6. Is 2 a factor of b?
False
Let a(v) = -v**2 - 11*v - 6. Let t be a(-10). Suppose 17 = 3*x - 2*d, -t*x - 5*d - 10 = -5*x. Suppose 3*b + l = -b + 16, -x*b + 20 = l. Does 4 divide b?
True
Let r(w) = -w**2 - 2 - 10*w - w**3 - 6*w**2 + 8*w**2 + 11*w**2. Is 3 a factor of r(11)?
True
Let j = 804 + -714. Is 6 a factor of j?
True
Let i(d) = -6*d + 2. Let m be (0 + 6)/(2/(-5)). Let r = m + 11. Is 13 a factor of i(r)?
True
Let y(w) = -w**3 - 1. Let h(j) = 5*j**3 - 7*j**2 + 3*j - 4. Let g(n) = -h(n) - 6*y(n). Let d be g(-8). Let l = d + 47. Is l a multiple of 15?
False
Suppose -l - 236 = -3*l + 4*n, 5*n - 90 = -l. Is l a multiple of 22?
True
Let f(z) = -86*z - 290. Is f(-11) a multiple of 8?
True
Is 47141/282 + (-2)/12 a multiple of 18?
False
Suppose -3*r = -0*r - 2*u - 873, -2*r + 582 = -3*u. Is r a multiple of 5?
False
Suppose -5*p - 4*x = -452, 2*x - 273 = -3*p - x. Suppose p = -9*w + 466. Does 14 divide w?
True
Let r(c) = 108*c**3 + 2*c**2 - c. Suppose -f + 4*n + 2 = 1, 2*f - 2 = 2*n. Is r(f) a multiple of 33?
False
Suppose -3*l - 6 = -21. Suppose 5*j - 4*j + 2*f - 70 = 0, 385 = 5*j + 3*f. Suppose 0 = -5*m - 4*u + 12 + j, -4*m = l*u - 79. Is 5 a factor of m?
False
Let g be -3 - (0 - 0) - -3. Suppose 8*a - 12*a + 80 = g. Does 10 divide a?
True
Let y(o) = o**2 + 6*o + 4. Let h be y(-6). Suppose 0 = 3*u - h*g - 75, 0 = 6*u - 10*u - 5*g + 100. Does 2 divide u?
False
Let o = 8453 + -5539. Is 30 a factor of o?
False
Let o(u) = u**2 - 7*u + 6. Let n be o(6). Suppose n = -3*k + 70 + 329. Is 19 a factor of k?
True
Is 71 a factor of (-124)/32 + (-4)/32 + 359?
True
Let o(d) = 19*d**2 + 14*d + 3. Does 7 divide o(3)?
False
Suppose 3*d = n + 7, 0*n = 3*n - 2*d. Suppose -n = 2*f - 50. Is f a multiple of 8?
True
Does 51 divide (0 + 33/22)*1542?
False
Suppose -3*z + 17 = 4*s - 1, 2*z - 4 = 0. Suppose -2*d = s*d - 50. Is 10 a factor of d?
True
Let p(f) = -f + 3. Let z be p(5). Let x = 44 - 48. Is 26/13*x/z a multiple of 2?
True
Suppose -1483 = -2*b - 5*o - 466, -3*b = 5*o - 1533. Is b a multiple of 26?
False
Let w(k) = k**3 + 7*k**2 + 5*k + 1. Let j be w(-6). Let x be j + -7 - 2*-1. Let n(h) = 3*h**2 + 5*h - 5. Is n(x) a multiple of 17?
True
Let s = -21 + 21. Suppose -44