19. Does 16 divide o(-13)?
False
Is (-65)/52*-72*1 a multiple of 15?
True
Suppose 3*q + 0*q - 249 = 0. Let h = -53 + q. Is 13 a factor of h?
False
Suppose -3*a + 42 = 4*s, -5*a + 4*a + 5*s + 33 = 0. Does 6 divide a/(-8)*64/(-12)?
True
Let r = 103 - 92. Is 11 a factor of r?
True
Let i(n) = 4*n - 3*n + 2*n - 8. Suppose -5*r = 3*p - 3 - 6, -55 = -5*p + 5*r. Is 16 a factor of i(p)?
True
Is 14 a factor of 3 - (108/(-2) + 1)?
True
Let y = 30 - 17. Is 5 a factor of y?
False
Suppose -q + 2*q - 14 = 0. Let s = 40 - q. Does 11 divide s?
False
Suppose 0*v = 2*v - 10. Let y = v + -1. Suppose 116 - 28 = y*a. Does 9 divide a?
False
Let x = 5 + 45. Suppose 2*l = -3*l - 4*y + x, 0 = -4*l - 5*y + 49. Is 3 a factor of l?
True
Does 10 divide (-103)/(-7) - (-6)/21?
False
Suppose 4*n = -u + 41, -2*n + u = 3*n - 40. Is n a multiple of 3?
True
Suppose 0 = -0*c + c - 8. Does 3 divide c?
False
Suppose 4*s + v - 264 = -0*v, -5*s + 3*v + 330 = 0. Does 12 divide s?
False
Let j(q) = -13 + 5 - 25*q + 30*q. Is j(4) a multiple of 4?
True
Let d(o) = 2*o**2 - 3*o - 3. Does 24 divide d(-3)?
True
Is (49 - 53)*(-2)/(-8)*-163 a multiple of 8?
False
Let s = -139 - -194. Does 38 divide s?
False
Suppose 4*r = 12 - 0. Suppose 35 - r = 2*t. Is 13 a factor of t?
False
Suppose -3*y + 129 = 9. Does 6 divide y?
False
Does 3 divide 6 - 3/(-4)*-4?
True
Let f be ((-225)/(-6) - -1)*-2. Let n = f - -37. Is 4 a factor of (n/(-12))/((-1)/(-3))?
False
Let i(s) = s + 10. Let h be i(-9). Let m be (-29)/3*h*-3. Let q = -3 + m. Is q a multiple of 9?
False
Does 14 divide 6/27 - 482/(-18)?
False
Let u(l) = -2*l - 3. Let x be u(-2). Does 4 divide (x/2)/(3/36)?
False
Suppose 0 = -4*w + 8*w + a - 240, -120 = -2*w - 5*a. Suppose 3*s + s - w = 0. Does 10 divide s?
False
Let z = -7 + 5. Let m be z - (1*-3 + 1). Suppose m = 4*r - 11 - 1. Is 3 a factor of r?
True
Let p be (-2)/(-8) + 5/(-4). Let k = p - -9. Is (k/(-2))/(-1) - 0 even?
True
Let u(y) = 3*y**2 + y - 25. Let v(z) = -4*z**2 - 2*z + 26. Let k(t) = -3*u(t) - 2*v(t). Is k(0) a multiple of 8?
False
Let t(d) = d**3 - 8*d**2 + 11*d - 9. Let c(j) = j. Let l be c(7). Is t(l) a multiple of 18?
False
Let v(c) = 19*c**2 + 6*c - 28. Does 50 divide v(4)?
True
Let h = 6 + -2. Let o(y) = y + 4. Is 6 a factor of o(h)?
False
Let f = 28 - 6. Is 2 a factor of f?
True
Let h(g) = g**2 + 1. Let j be h(2). Let b(l) = -2 + 3*l**2 - 1 + 0*l - j*l + l**3. Is b(-3) a multiple of 6?
True
Suppose 5*z - 314 = -94. Does 39 divide z?
False
Let x(u) = u**3 + 8*u**2 + 4*u - 8. Is x(-7) a multiple of 3?
False
Let m(f) = -2*f**3 + 16*f**2 - 6*f + 4. Is 4 a factor of m(7)?
True
Let v(h) = h**3 - 15*h**2 - 15*h + 17. Let a be v(16). Is 8 a factor of 0/4 - -1*a?
False
Let d be 3*(-12)/(-9)*1. Suppose -7*x + 3*x + 4*v = 60, -d*x - 75 = v. Let s = x - -27. Does 5 divide s?
False
Let n(d) = 3*d**3 + d**2 - d + 2. Does 6 divide n(2)?
False
Let c be (-5 - -3) + 3 + -1521. Is c/(-45) + 4/18 a multiple of 13?
False
Suppose 3*q = -0*q - n + 120, 0 = -3*q + 3*n + 108. Is q a multiple of 39?
True
Suppose 0 = 3*p + 153 - 441. Is 16 a factor of p?
True
Let s(k) = -3*k + 12. Does 9 divide s(-17)?
True
Is 45/3 - (-2)/1 a multiple of 7?
False
Suppose 0 = 5*d - 4*d - 2. Suppose -d*l + 3*r = 2 - 1, l + 5*r = 19. Suppose -3*b = -2*b + 2, -l*p - 5*b = -30. Does 9 divide p?
False
Suppose -4*h = 2*d - 20, 2*d = h - 7 - 8. Suppose 4*r = 5*r - h. Is 3 a factor of r?
False
Let g(l) = -8*l - 3*l**2 + 3*l**2 + 0 + 6 - l**2. Let s be g(-8). Suppose 0 = 4*o - 6 - s. Does 2 divide o?
False
Let y be (-2)/((2/22)/(-1)). Let m = y + -6. Does 16 divide m?
True
Let t(l) = -l - 6. Let d be t(-7). Let p(v) = 6*v. Let c be p(d). Does 12 divide (-96)/2*c/(-12)?
True
Let b(h) = -h + 7. Let p be 6 + (-3 + 2 - 1). Suppose -2*d - 18 = p*l, -4*d = -5*l + 4 + 19. Is 7 a factor of b(d)?
True
Suppose -2*s - 4*z + 3 = -37, 2*s - 22 = 2*z. Let w = -8 + s. Let q = w + 2. Is q a multiple of 4?
True
Let l be (3 + -144)*(-1 - 0). Suppose -l = 2*j - 25. Is 3 a factor of 3/15 + j/(-10)?
True
Is (4 - (4 + -2)) + 68 a multiple of 12?
False
Suppose 3*x = -91 + 232. Is 19 a factor of x?
False
Suppose -9*i = -4*i - 145. Is i a multiple of 5?
False
Let m = 10 - 8. Suppose m*a - 4 = a - 2*f, -2*a + 4 = 5*f. Is 12 a factor of a?
True
Suppose 3*v - 35 = 1. Suppose y + 2*y = v. Suppose -5*k = 2*r - 131, 5*r - y*r - 103 = -4*k. Is 10 a factor of k?
False
Let i = 0 - -2. Suppose 0*m = i*m - 22. Is m a multiple of 9?
False
Let r = -7 + 22. Does 7 divide r?
False
Let i be 56/9 - (-14)/(-63). Let s = i + -1. Is s even?
False
Let o be (-8)/3 - 1/3. Does 6 divide (-69)/(-4) + o/12?
False
Let w(k) = 6*k + 0*k + 2*k + 4. Suppose 3*u - 4*n = 5, -3*n = -4*u + 5 + 4. Does 8 divide w(u)?
False
Let t be (-1266)/9*(-27)/(-6). Is t/(-15) - 2/10 a multiple of 14?
True
Is 13 a factor of 1/((2/(-130))/((-4)/10))?
True
Let b = -10 + 21. Suppose -c + 2*y = -b, -c + 7 = 2*y - 4. Is 6 a factor of (0 + c)*(2 - 1)?
False
Let j(o) = 3*o - 3. Let t be j(5). Let m = -6 + t. Let y = m + -3. Is 3 a factor of y?
True
Let v(k) = -8*k**3 - k**2 - k + 1. Let l be v(1). Let z = 3 + l. Let q = 44 + z. Is q a multiple of 14?
False
Suppose -100 = -h - 20. Let u(c) = c**3 + 2*c**2 - 3*c + 3. Let w be u(-3). Suppose 8*n - h = w*n. Is 9 a factor of n?
False
Let n = 182 - 95. Does 15 divide n?
False
Let n = 1 - -9. Let q(k) = k + 2*k + 1 - 2*k. Does 9 divide q(n)?
False
Let t = -204 - -426. Let m be -1*t/9*-6. Suppose 3*i + 2*i + 4*n = m, 4*i - 5*n - 102 = 0. Does 8 divide i?
False
Suppose -5*d - 4*g + g - 356 = 0, -5*d = -3*g + 374. Let u = d - -127. Let n = u - 31. Does 23 divide n?
True
Let b(l) = 3*l**2 + 59*l + 44. Is b(-25) a multiple of 59?
False
Let j(f) be the second derivative of -f**5/20 - 5*f**4/6 - f**3/6 + 3*f. Does 5 divide j(-10)?
True
Suppose -5 = -3*o + 55. Suppose 0 = -3*c - w - o + 82, -108 = -5*c - 4*w. Let a = c + -12. Does 8 divide a?
True
Suppose h + 13 = 3*f, -5*f = -6*f + 1. Let x(o) = -o**3 + o - 1. Let d(l) = -2*l**3 + 10*l**2 + 4*l + 2. Let v(u) = -d(u) + 3*x(u). Is v(h) a multiple of 5?
True
Let o = 105 + -58. Is o a multiple of 22?
False
Let d be (0 - -10)*(-8)/(-5). Suppose -l - d = 4*o - 3, 0 = 3*o + 2*l + 11. Let w(y) = y**2 - 2*y - 1. Is w(o) a multiple of 7?
True
Suppose -g + s = -3*g + 44, -5*g = 5*s - 100. Does 9 divide g?
False
Let o(s) = -s**2 - 8*s + 6. Is o(-6) a multiple of 18?
True
Let a(w) = -3*w**2 - w**3 + 4*w**3 + w**2 + 2*w. Is a(2) a multiple of 9?
False
Suppose -4*g + 2*d + 166 = 0, -3*g + 123 = -0*g - 3*d. Let f = -22 + g. Is 10 a factor of f?
True
Let t = -3 - -5. Let w(z) = -1 - 4*z**3 + 8*z**3 - z**t + z + 4*z**3. Does 5 divide w(1)?
False
Let b(s) be the second derivative of 9*s**4/4 - s**3/6 + s**2/2 + s. Is b(1) a multiple of 16?
False
Let s(l) = 44*l - 2. Let h be s(2). Let f = -55 + h. Suppose -f + 9 = -t. Is 11 a factor of t?
True
Let x be 84/(-18)*60/(-2). Suppose m = -4*m + x. Is m a multiple of 8?
False
Let u = -55 - -16. Is (u/(-6))/((-2)/(-4)) a multiple of 3?
False
Let h(l) = l**2 + 7*l - 8. Suppose 2*u = g + 4, g + 4*u = -2*g - 32. Let q be h(g). Suppose 2*f = -q*f + 52. Is 13 a factor of f?
True
Let h(u) = 8*u - 3. Let n be h(8). Suppose 5*f + 4*w + n = 0, -3*w = -1 - 2. Let k = -7 - f. Is k a multiple of 3?
True
Let g be 119/2 + 1/2. Suppose 21 = -3*p + g. Is 13 a factor of p?
True
Suppose 0*x - x + 12 = 0. Let t = x + -1. Is t a multiple of 4?
False
Let m = 56 - 22. Does 14 divide m?
False
Suppose -3*p - 101 = 5*c, 2*p + p = -4*c - 100. Is 8 a factor of (p/(-10))/(18/135)?
True
Suppose -27 = 3*h - 0*h. Let n = h + -1. Let t = 21 + n. Is 11 a factor of t?
True
Let j = 81 - 48. Is 13 a factor of j?
False
Let v(l) = l**3 + 6*l**2 - 2*l + 4. Let b be v(-6). Let x = -9 + b. Is 3 a factor of x?
False
Let l(p) = 2 + 2*p**3 - p**3 - 125*p + 129*p - 11*p**2. Does 23 divide l(11)?
True
Let i(g) = g**2 - 8*g + 1. Let x be i(8). Let h be -8*(x - 54/4). Suppose 0 = -5*s - 10 + h. Is s a multiple of 9?
True
Suppose -5*d + 189 = -26. Is d a multiple of 20?
False
Let q(c) = -8*c**3 - 2*c**2 - 2*c. Does 23 divide q(-2)?
False
Let b be (-1 - -3)/2*6. Let r be 4/b + (-11)/3. Let l = r - -18. Does 14 divide l?
False
Suppose 0*b + 29 = w - 4*b, 0 = -4*w - 4*b + 36. Is 10 a factor of w?
False
Suppose 7*v + 3*u + 45 = 2*v, -70 = 5*v - 2*u. 