tiple of 4?
True
Let a(z) = -2*z - 3. Let k be a(-4). Suppose 2*n = 5*n - p - 99, k*p = 5*n - 175. Does 16 divide n?
True
Suppose 4*g - 10 = -g. Let a(b) = 3*b**2 + 2*b - b**3 - 2 + 3*b**2 + 2*b**2 - g*b**2. Is 6 a factor of a(6)?
False
Let x(o) = 4*o**3 + 7*o**2 + 15*o - 11. Let i(k) = k**3 + k. Let b = 8 + -7. Let z(a) = b*x(a) - 5*i(a). Is z(8) a multiple of 2?
False
Let t be (-8)/(-32) - (-70)/8. Let b = 13 - t. Let x(k) = 2*k**2 - 4*k - 2. Does 14 divide x(b)?
True
Let v be (1/2 + -2)*-18. Suppose -44 = 2*g + 4*z, -g - 5*z - 10 = v. Let c = -6 - g. Is 3 a factor of c?
True
Suppose 3*y + 194 = 5*h, 2*h + 5*y + 0*y = 90. Is 8 a factor of h?
True
Suppose 39 = 4*x - 25. Is x a multiple of 8?
True
Suppose 2*q - 1056 = -5*f, 0*q + q - 846 = -4*f. Is f a multiple of 36?
False
Suppose 0 = 3*b - 120 - 84. Is 17 a factor of b?
True
Let z be 1843/(-5) - 4/10. Does 14 divide z/(-15) - (-4)/10?
False
Let g = 3 - 0. Suppose -26 = -4*o + 2*d, o + 4*d + 4 = -g. Suppose -2*m = -3*w + 38, o*w - 49 = -4*m + 7. Is 10 a factor of w?
False
Let r(k) = k**3 - 4*k**2 - 10*k + 7. Let c be r(6). Suppose 5*n + c = 234. Does 16 divide n?
False
Let p(d) = -4*d**2 - 4*d - 27. Let x(v) = -5*v**2 - 5*v - 27. Let s(g) = -4*p(g) + 3*x(g). Does 9 divide s(0)?
True
Let g = 12 + -7. Is g a multiple of 5?
True
Let q(b) = -3*b**3 - b**2 - 2*b + 1. Let t be q(-2). Let n = t + -13. Is n a multiple of 10?
False
Let p(z) = -11. Let y(v) = -v + 45. Let d(b) = 9*p(b) + 2*y(b). Is 3 a factor of d(-6)?
True
Suppose 2*j = 5*p + 50, 5*p + 0*j + 65 = -j. Let q be p/(-10)*5/2. Suppose -48 = -4*t + 4*a, 4*t - 31 - 20 = q*a. Is t a multiple of 8?
False
Suppose 0 = -3*w + 5*j - 3*j + 385, 5*w - 645 = 4*j. Does 28 divide w?
False
Let t = 2 + 1. Suppose 4*f + 16 = 5*c + 148, f - 26 = t*c. Does 19 divide f?
True
Let g(m) = -m + 2. Let f(h) = 3*h - 2. Let r be f(3). Let j(c) = -4*c + 5. Let t(u) = r*g(u) - 2*j(u). Is t(3) a multiple of 5?
False
Suppose 0 = -2*q - 42 + 118. Is 19 a factor of q?
True
Let n(f) = 3*f + 3. Let j be n(-3). Let p = j + 13. Is p a multiple of 7?
True
Suppose b - 141 = -2*b. Let s = b - 23. Is 12 a factor of s?
True
Let l(t) be the third derivative of -t**5/60 - t**4/12 + 61*t**3/6 - 5*t**2. Is 21 a factor of l(0)?
False
Let y(d) = d**2 + 10*d + 8. Does 13 divide y(-14)?
False
Suppose 18*m = 22*m - 680. Does 10 divide m?
True
Let o be (-8)/28 - 2/(-7). Suppose 4*p - 10 + 2 = o. Is p even?
True
Suppose 0*n + 207 = 3*j + 3*n, -72 = -j - 2*n. Does 16 divide j?
False
Let v = 47 - -69. Does 14 divide v?
False
Let d(w) = -10*w - 4. Is 16 a factor of d(-2)?
True
Let h be 823/5 - 6/(-15). Suppose 4*v - h = -21. Is v a multiple of 12?
True
Is (-74)/(-4) - (-2)/(-4) a multiple of 9?
True
Suppose 0 = -3*r - u + 167, 3*u + 91 = 4*r - 136. Suppose 39 = -5*v + 2*v. Let p = v + r. Is p a multiple of 21?
False
Let x = -43 - -69. Does 8 divide x?
False
Suppose -5 = 3*x - 26. Suppose x = h - 1. Is 4 a factor of h?
True
Let r(c) = c**2 - c + 1 + 10*c - 2*c. Let u be r(-6). Let f(o) = -o + 3. Does 4 divide f(u)?
True
Let f be (42 - 6)*(1 - 0). Let b be ((-82)/(-5))/(4/20). Suppose z + 3*q + 5 = f, 3*z - 2*q = b. Is 18 a factor of z?
False
Suppose -3*q - 2*d = -304, 3*q = -2*d + 3*d + 307. Suppose w + 2*u - 14 - 9 = 0, -3*w = -5*u - q. Is 15 a factor of w?
False
Let w(n) = 4*n + 12. Let d be 6/10*(-5 + 25). Is w(d) a multiple of 20?
True
Let y(q) = -1 + q + 2*q - 6. Does 11 divide y(6)?
True
Let v be 1/2*(9 + -11). Does 7 divide (12 - 5)*(v + 2)?
True
Let d(q) = -20*q + 1. Let c be d(-1). Let y be 2/(-7) - (-90)/c. Suppose -y*w + w = -54. Is w a multiple of 7?
False
Let m(l) = -l**2 + l - 1. Let g(s) = 5*s**2 - 20*s + 2. Let w(n) = g(n) + 6*m(n). Is w(-12) a multiple of 11?
False
Suppose -f = -6*f + 220. Is 11 a factor of f?
True
Let u = 0 + 5. Suppose -u*x + x + 5*h + 267 = 0, -4*x + 273 = h. Does 20 divide x?
False
Let o = 32 - 11. Does 7 divide o?
True
Suppose -3*w - 3*u = -12, -w + 8 = -4*u - 1. Is w even?
False
Does 44 divide (476/102)/((-1)/(-66))?
True
Let b(l) = 4*l**2 + 8*l - 30. Is 10 a factor of b(4)?
False
Let k = -49 + 98. Is 5 a factor of k?
False
Suppose i = 4*k + 25, 5*i + 7*k - 3*k - 149 = 0. Is i a multiple of 29?
True
Suppose -4*k - 4*d = -192, 6*k - 102 = 4*k - 5*d. Is 15 a factor of k?
False
Let z = 38 + -23. Does 4 divide z?
False
Let m = 8 + 6. Let i = 37 + m. Is 13 a factor of i?
False
Let c(m) = -m**2 - 10*m + 12. Let t be c(-10). Let d = t + 8. Does 10 divide d?
True
Suppose 4*r + 3*a + 3 = 0, -3*r - 3*a - 3 = 3. Suppose 9*t - 4*t - r*h - 55 = 0, -4*t - 2*h + 22 = 0. Is t a multiple of 8?
True
Let a = -82 + 121. Is a a multiple of 4?
False
Suppose 0*c + 86 = 5*m - c, -4*c + 64 = 4*m. Let j = 33 - m. Is 16 a factor of j?
True
Suppose 610 + 10 = 20*w. Is w a multiple of 14?
False
Let p(q) be the first derivative of -3*q**2/2 + 3*q - 6. Does 6 divide p(-4)?
False
Let r = 65 - -31. Is r a multiple of 6?
True
Let f = 3 + -5. Let u(p) = -12*p + 2. Is 13 a factor of u(f)?
True
Let s = 12 - 9. Is 2 a factor of 18*s/(-27)*-3?
True
Let g(i) = -7*i**2 + 13*i - 3. Let w(q) = 6*q**2 - 13*q + 3. Let n(h) = -5*g(h) - 6*w(h). Let m be 31/3 - 2/6. Is n(m) a multiple of 7?
False
Let w = -1 + 3. Suppose -w*c + 2*h + 12 = -4, -c + 9 = -2*h. Suppose -2*x - c + 45 = 0. Is 12 a factor of x?
False
Is (-27)/(-36)*(-16)/(-6) even?
True
Suppose 1 = -2*l + 19. Let o = -5 + l. Is 2 a factor of o?
True
Let w(t) = -t**3 + 4*t**2 - t - 1. Let u be w(4). Let f be 5/2*(-4)/u. Is 10 a factor of 19/f + (-1)/(-2)?
True
Suppose 4*f - 3*r = -184 + 487, 0 = -f - 3*r + 57. Is f a multiple of 24?
True
Suppose 43 = 2*d - 29. Does 12 divide d?
True
Let u = 232 - 114. Does 10 divide u?
False
Suppose 0 = r - 3*k - 29, -2*r = 3*k + k - 108. Does 9 divide r?
False
Let k(m) = 4*m**2 + 7*m - 4. Let t be k(-6). Let w be (-1)/(t/99 - 1). Suppose -f = 2*f - w. Does 9 divide f?
False
Suppose 0 = -9*j + 6*j + 318. Does 14 divide j?
False
Suppose 3*d = -h - 118, 3*d - 2*h = -133 + 9. Let i(v) = v**3 - v**2 - v - 17. Let s be i(0). Let x = s - d. Is x a multiple of 8?
False
Does 20 divide -7 + 90 - 6/(-2 - -4)?
True
Suppose 0 = -3*m - 15 + 48. Suppose 0*t - t + m = 0. Suppose 0 = 5*a + 2*h - 75, 5*h = a + t + 1. Is 7 a factor of a?
False
Let g = 16 - 10. Is 6 a factor of g?
True
Let j be ((-18)/(-4) - 1)*-6. Let z = 69 - 19. Let h = z + j. Is 14 a factor of h?
False
Let h(z) = -z**2 - 12*z - 9. Let p be h(-7). Suppose 5*s - 4*s - p = 0. Is s a multiple of 13?
True
Suppose -4*d + 406 = -3*d - z, -410 = -d + 3*z. Does 12 divide d?
False
Suppose 4*d - 74 = -2. Is d a multiple of 7?
False
Let f = -22 + 55. Does 11 divide f?
True
Let c be (-8)/10*(3 - 8). Does 13 divide 170/6 + c/6?
False
Let r be 2 - (-5)/(15/42). Suppose -2*k = 3*k - 20. Is 10 a factor of k/((-48)/(-15))*r?
True
Suppose 4*b - 3*l - 5 = 0, l = -b - 2*l + 5. Let p be (-4)/3*15/b. Let a = 18 + p. Is a a multiple of 8?
True
Suppose 3*v - 4*v + 5 = w, -19 = -2*w - 5*v. Let a(t) = -2*t**2 + 0*t**2 + t**2 - 6 + 0*t**w + 11*t. Is 12 a factor of a(6)?
True
Suppose 2*t = 5*m + 4*t - 131, -3*t = m - 21. Let i = 38 - m. Suppose -5*d = 5*j - 156 + i, 135 = 5*d - 5*j. Is d a multiple of 14?
True
Let s(d) = -2*d - 6. Let r be s(-4). Let m be r*21/18*3. Suppose m = a + 1. Is a a multiple of 3?
True
Suppose 3*d + 2*d - 335 = -5*t, 0 = -5*t + 20. Is d a multiple of 12?
False
Is 233/7 - 36/126 a multiple of 33?
True
Suppose b - 8 = 4*h - 72, 4*b - 44 = -4*h. Is (8/(-5))/((-1)/h) a multiple of 12?
True
Suppose -2*r - 48 = -4*w, w - r + 24 = 3*w. Let q(b) = b**2 - b - 3. Let k be q(3). Suppose -n + 0*n + k = j, 3*n = -4*j + w. Is 3 a factor of j?
True
Let v(z) = 0 - 2*z + z**2 - 6*z**2 - 2*z**3 + 4 + z**3. Is 4 a factor of v(-5)?
False
Suppose -12*a + 338 = a. Does 26 divide a?
True
Suppose -5*s + n + 18 = 0, 0 = 5*s + 4*n - 0*n - 3. Let r = 31 + -19. Suppose 0 = -s*u + w + 39, 2*w - r = 6*w. Does 6 divide u?
True
Suppose 15 = 5*m, -3*z - 15 = m - 258. Let x = -47 + z. Let o = x + -20. Is o a multiple of 10?
False
Suppose -3*g + 60 = -75. Is 4 a factor of g?
False
Let c be 6/(9/(-3)) + 44. Suppose 0 = -2*v + v + c. Is 21 a factor of v?
True
Suppose 2*g + 4*h - 228 = 0, -3*h = -2*h - 1. Is g a multiple of 38?
False
Suppose k = 5*y + 114, -k + 2*y + 102 - 3 = 0. Suppose -k = -