Is 12 a factor of d/(-4)*24/6?
False
Let b(p) = -p**2 + 13*p - 4. Let y be (39/12)/((-1)/(-4)). Suppose -6*t - 3*r + y = -4*t, 0 = 5*t - r - 24. Does 10 divide b(t)?
False
Let f = 152 - 83. Is f a multiple of 23?
True
Let z = 8 + 37. Suppose 0 = 2*s - z - 13. Is s a multiple of 20?
False
Suppose -2*r + 10 = 3*r. Suppose w = 3*s - 2*s + 16, w - r*s = 20. Does 8 divide w?
False
Suppose g = 3*g - 194. Is 9 a factor of g?
False
Let k = -76 - -127. Suppose 4*j + 3*i = k, 0 = -4*j + 5*i - 4 + 15. Is 9 a factor of j?
True
Let s be (6 + -16)*(-2)/4. Suppose 4*a + x - 92 = s*x, -2 = a + 4*x. Does 18 divide a?
True
Let t(y) be the second derivative of -y**8/3360 - y**7/2520 + y**6/720 - y**5/120 - y**4/6 + y. Let u(w) be the third derivative of t(w). Does 9 divide u(-2)?
True
Is 6 a factor of (-16)/(-20)*3*10?
True
Suppose 0 = m - 0*m - 31. Suppose -2*u + 21 = -m. Is u a multiple of 13?
True
Let u(b) be the second derivative of b**5/10 - b**4/6 + b**3/6 + 3*b**2/2 - 2*b. Suppose -4*c = -4*z + 28, z + 3*c = -z - 6. Is 21 a factor of u(z)?
True
Let h = -69 + 97. Does 28 divide h?
True
Let j(h) = 15*h + 11. Is j(6) a multiple of 25?
False
Let d(n) = -n**3 + 10*n**2 + 11*n + 5. Let y be d(11). Suppose w - 3*z + 48 = 2*w, -w + 48 = -y*z. Is w a multiple of 11?
False
Let n(d) = -2*d**3 - 2*d - 2. Let a(v) = -3*v**3 + v**2 - v + 1. Let t be a(1). Does 6 divide n(t)?
True
Let x(q) = q + 2. Let t = -2 + 1. Let c = 3 - t. Does 4 divide x(c)?
False
Suppose -3*d + 2*r = -3*r - 191, 4*r + 16 = 0. Is 17 a factor of d?
False
Let b be (-2)/8 + 634/8. Suppose g = o + 77, o = -3*g + 2*g + b. Suppose 0 = -0*z + 3*z - g. Is 18 a factor of z?
False
Let o be ((-5)/(15/(-12)))/2. Let s be o/(-9) - (-2)/9. Suppose 3*y - x - 3*x - 63 = s, 0 = -3*y + 5*x + 63. Does 10 divide y?
False
Let v(d) = d**2 - 5*d + 1. Suppose -33 = -5*i + n + 3*n, -28 = -4*i + 4*n. Let l be v(i). Is (20 - (-2 + 1)) + l a multiple of 11?
True
Let q(g) = g**3 + 7*g**2 + 6*g + 2. Let b be q(-6). Suppose -5*d + 158 = 2*t, -4*d + 124 = -0*d + 4*t. Suppose -b*r = 2*r - d. Is 6 a factor of r?
False
Let a(j) = -j**2 - 8*j - 5. Let o be a(-7). Let i = o + 1. Suppose 0 = -2*q + 13 - i. Is 2 a factor of q?
False
Suppose -h = 2*h - 30. Is h a multiple of 10?
True
Let r(f) = -11*f**3. Let v be r(1). Let l = 19 - v. Is l a multiple of 12?
False
Suppose 0 = -5*z - 5*s - 90, -3*z - 4*s + 6*s = 34. Let r = 7 - z. Is r a multiple of 7?
True
Let z be (8/6)/((-10)/(-375)). Suppose z = -3*d + 5*d. Is 9 a factor of d?
False
Let p(d) = 8*d + 15. Is 27 a factor of p(15)?
True
Let w = 56 + -29. Is 10 a factor of w?
False
Let y(m) = -m**2 + 16*m + 7. Is y(13) a multiple of 23?
True
Let p(a) = -4 + 1 + a - a**2 + 5*a. Let u be p(6). Is 7 a factor of 114/9*u/(-2)?
False
Let s = 17 + 55. Is s a multiple of 18?
True
Let b(s) = -s**3 + 7*s**2 + 7*s - 6. Let f(n) = -n + 2. Let v be f(-6). Let r be b(v). Let z = -8 - r. Is 5 a factor of z?
False
Let t be -15*(-1)/(-2)*(6 + -4). Suppose a + 3*a - 252 = 0. Let o = a + t. Does 19 divide o?
False
Suppose -4*q - 24 = v + v, 3*v - 5*q + 80 = 0. Let l be 1/(-4) + (-125)/v. Does 12 divide 1/(-2) - (-267)/l?
False
Let f be (2 - 1)*(51 - 0). Let n = f + 5. Suppose -4*b + n = -o, 3*b + 3*o - 4*o = 42. Is 12 a factor of b?
False
Suppose -6*y - 30 = -y. Let f = y + 11. Does 3 divide f?
False
Let v(x) = -x + 7. Let b be v(0). Let m(l) = 14*l - 19. Let t be m(16). Suppose 2*s + t = b*s. Is 14 a factor of s?
False
Is (-2457)/(-24) + (-9)/24 a multiple of 17?
True
Suppose -15 = -3*v - 0*v. Let w(o) = -o**3 + 5*o**2 + 4*o - 6. Is 12 a factor of w(v)?
False
Let w = -37 - -71. Does 15 divide w?
False
Let n = -3 - -8. Suppose -4*w + 95 - 12 = 3*h, 5*h = -n*w + 105. Is w a multiple of 10?
True
Let o be 170/(-45) + (-2)/9. Does 10 divide ((-23)/o)/(1/8)?
False
Suppose 3*i = 5*k - 33 - 83, -k = -2*i - 82. Is 9 a factor of 2/7 + (-1290)/i?
False
Suppose b - 19 = 3*b + w, -5*b - 70 = -2*w. Let c = -6 - b. Is 15 a factor of (-3)/6 - (-93)/c?
True
Let k(v) = v**3 + 4*v**2 + 5*v + 4. Let y be k(-3). Suppose 2*n - 64 = -5*d, 2*n = 5*d + n - 73. Let q = y + d. Is 7 a factor of q?
False
Let j(o) = o**3 - 7*o**2 + 9*o - 15. Let q be j(6). Suppose r = 11 + q. Does 7 divide r?
True
Let u(w) = 9*w + 2. Is 22 a factor of u(11)?
False
Let i(f) = -f**2 - 6*f - 4. Let p be i(-4). Suppose -2*x - 8*x + 3*x = 0. Suppose -2*h + p = x, h + 20 = k - h. Is 14 a factor of k?
False
Suppose 0 = 5*a - 3*a - 92. Suppose -3*f = -3, -10 + 32 = -w - 2*f. Let m = a + w. Does 11 divide m?
True
Suppose -5*g = -128 - 42. Suppose -3*o - 56 = -2*f - 0*f, 0 = 2*o - 3*f + g. Let c = o + 29. Does 4 divide c?
False
Suppose -3*s + j + 1 = -18, 4*s - 27 = j. Let o be 6/8 - (-314)/s. Suppose 30 = 5*m + 4*t, 2*m - 4*m = -4*t - o. Is 10 a factor of m?
True
Let t = 7 - 11. Let o = 12 + t. Is 5 a factor of o?
False
Suppose v + 6 = -4*n, 5*v - n - 15 = -6*n. Suppose 2*b + 2*a - 4 = 0, 2*a = 3*b + 2*b + 25. Let j = v + b. Is 2 a factor of j?
False
Suppose -2*j + 3*s = -18, 4 + 4 = -4*j - 5*s. Suppose y + y = 24. Suppose -y = -j*o - 3. Does 2 divide o?
False
Suppose 2*h = 330 + 94. Suppose -2*u = -0*u - h. Suppose 5*s + u = 306. Does 12 divide s?
False
Suppose 10*a - 7*a = 0. Suppose 3*i = -a*i + 39. Is i a multiple of 10?
False
Let q(w) = 2*w**2 + w - 3. Let z be q(-2). Suppose p = t + 17, 5*t = z*p - 7*p + 23. Is 7 a factor of p?
False
Suppose -2*m = -0*m - 2, -5*b = m - 276. Is 7 a factor of b?
False
Let g(k) = k**2 + 4*k + 2. Let a be g(-4). Suppose -4*r - 93 = -3*z, a*z - 8 = 3*r + 55. Is 17 a factor of z?
False
Suppose 2*z + 81 = 5*a, a + z = 17 - 5. Is 3 a factor of a?
True
Let l(k) = k**2 - k - 1 + 1 - 3*k**3 - 3*k**2. Does 10 divide l(-2)?
False
Let o(w) = -9*w**2 + 3*w - 5. Let l(p) = 13*p**2 - 4*p + 8. Let a(i) = 5*l(i) + 8*o(i). Let b be a(3). Is 4/(-3)*b/2 a multiple of 17?
True
Let f(v) = 24*v - 1. Let m be f(1). Suppose -j = -m + 11. Is j a multiple of 3?
True
Suppose 0 = 2*n + p - 217, 0*n + 2*p - 327 = -3*n. Does 18 divide n?
False
Let j(w) = -13*w - 4. Let m be j(-6). Is m - (-1 - 0)*4 a multiple of 21?
False
Let w = -2 + 5. Suppose -11 = 2*k - w. Is ((-13)/k - 1)*20 a multiple of 15?
True
Is 23 a factor of (((-1740)/14)/5)/(2/(-14))?
False
Suppose 4*j = 5*c - 105, -c = -7 + 2. Let l = 14 - j. Is l a multiple of 17?
True
Let k(j) = 2*j**2 + 11*j + 2. Let d be k(-9). Suppose -2*q + d = 3*q. Suppose -l - 2 = -q. Does 9 divide l?
False
Suppose 0*o - o = -4*y + 66, 2*y = 5*o + 24. Let i = 34 - y. Is i a multiple of 6?
False
Let z(v) = 2*v - 7. Let x be z(5). Suppose -4*a - 3*m = -390, -x*a = -0*a + 2*m - 292. Suppose -4*o = -7*o + a. Is 16 a factor of o?
True
Let n(d) = -1. Let c(y) = -y + 2. Let o(k) = -2*c(k) - 3*n(k). Suppose 5*u = -r + 22, -4*r = 5*u - 5*r - 28. Is o(u) a multiple of 6?
False
Let o be -3 - -2 - 1 - -7. Suppose -4*j + 335 = -o*a + 2*a, -2*a = -3*j + 250. Suppose u - j = -u - 2*f, 2*f + 6 = 0. Is 18 a factor of u?
False
Let b be (-3)/(-3)*-2*2. Let n = 4 + b. Suppose -2*f + n = -4, -4*f - 76 = -4*q. Is q a multiple of 9?
False
Let s be 4 + -6 - (-34 + -2). Suppose 3*d = d + 22. Suppose 0 = 5*b - d - s. Does 6 divide b?
False
Let h = 373 - 229. Is h a multiple of 19?
False
Let l be (-4)/8 - 7/(-2). Let f = 29 - 29. Suppose f*r - l = -r. Is 3 a factor of r?
True
Let v = 4 + 13. Does 10 divide v?
False
Let p be 4/(-18) + (-2)/(-9). Suppose p*x = -5*x + 110. Suppose x = 4*w - 14. Does 9 divide w?
True
Let s be (2 - (2 - -2))*1. Is (16/(-6))/(s/15) a multiple of 8?
False
Is 16 a factor of 402/9*(-9)/(-6)?
False
Let a(j) = -2*j**2 + 3*j - 6 + 0*j + j**3 - 2*j**2 + 0*j**3. Is 4 a factor of a(4)?
False
Let r(p) = -11*p**2 - 4. Let a be r(-3). Let l = -57 - a. Is 11 a factor of l?
False
Let t = 12 + 75. Is t a multiple of 7?
False
Suppose -2*m = 4*o - 6*m + 400, 272 = -3*o - 4*m. Let j = -15 - o. Does 27 divide j?
True
Let i(c) = c**2 - 6*c + 7. Let d be i(5). Let m = -4 + d. Is (-116)/(-12) - m/6 a multiple of 9?
False
Suppose 4*u - 34 = 3*c + 2*c, -c - 7 = -u. Let o(f) = -f**2 - 8*f - 9. Let z be o(c). Let s(b) = -b**3 + 3*b**2 + 2*b + 4. Is s(z) a multiple of 5?
True
Let y(r) be the first derivative of -r**4/4 + r**2/2 + 5*r - 2. Is 2 a factor of y(0)?
False
Let o(x) = -x + 44. Is o(-12) a multiple of 7?
True
Is 7 a factor of 1