tiple of 6?
True
Let d(r) = 5*r**3 + 2*r**2 - 2*r + 3. Is 12 a factor of d(2)?
False
Let d(n) = n**3 - 3 - 2*n**2 + 0*n**2 + 2*n + 2*n**3. Let u(v) = -v**2 - 8*v + 2. Let x be u(-8). Is d(x) a multiple of 8?
False
Let a = 8 + 6. Is a a multiple of 10?
False
Let c = -9 + 39. Is c a multiple of 15?
True
Suppose 2*i - 3*f - 117 = -26, 0 = 4*i + 3*f - 227. Suppose -i = 5*w - 863. Suppose 3 - w = -3*k. Is 21 a factor of k?
False
Let f(b) = -b**2 - 2*b. Let z be f(-5). Let q be (-2)/(-3) - (-25)/z. Is 11 a factor of (-8)/(-4) - 13*q?
False
Suppose -4*d = -3*d - 3. Does 2 divide d?
False
Let u(f) = 3*f**2 + 8*f - 29. Does 28 divide u(-12)?
False
Suppose 0 = 6*h - 267 - 513. Is h a multiple of 20?
False
Let o(s) = s**3 + 10*s**2 + 2*s - 11. Let z be o(-8). Is z - -2 - (-8)/4 a multiple of 27?
False
Let x = 17 - 12. Suppose 0 = -q - q + 5*t - 21, 23 = -q + 5*t. Suppose -2*u - 6 = z - 19, x*z - q*u = 101. Does 19 divide z?
True
Suppose -4 = -4*k + 28. Does 6 divide k?
False
Let l(w) = -14*w - 5. Is l(-2) a multiple of 5?
False
Let c(s) = 25*s - 15. Does 4 divide c(3)?
True
Suppose 160 = -3*k - k. Let h = k + 77. Is 17 a factor of h?
False
Let w be (1 - 2/(-6))*-3. Let u be (-6)/w*8/6. Suppose u*y = y + 15. Is 15 a factor of y?
True
Let f be (3 - 0)*(4 + -3). Let u be (1/(-3))/(1/3). Does 5 divide 56/6 + u/f?
False
Let k(c) = -c**3 + 9*c**2 - 2*c - 12. Let i be k(9). Is (36/(-15))/(4/i) a multiple of 16?
False
Suppose -5*k + 6 = -5*y + 16, -2*k = 3*y - 6. Suppose 36 = y*q - 4*h, 4*q + 3*h - 83 = -0*h. Is 10 a factor of q?
True
Is 20 a factor of 11/(-22) - 162/(-4)?
True
Let g be 322/77 - 2/11. Is 6/(-4) + 238/g a multiple of 29?
True
Let c(n) = 12*n**2 - 3*n + 2. Is 22 a factor of c(2)?
True
Suppose 4*w + 60 = 5*w. Is 10 a factor of w?
True
Suppose 47 - 2 = w. Suppose 2*f + w = 7*f. Does 3 divide f?
True
Let i(z) = -2*z. Let k be i(-12). Suppose -k - 16 = -4*l. Is l a multiple of 5?
True
Let y be 3 + 4 + -2 + 1. Suppose -z = z + y. Let v = 3 - z. Does 6 divide v?
True
Does 5 divide -2 + 60/27 + (-356)/(-18)?
True
Let z(j) = -j - 2. Let w be z(7). Let b = 31 - w. Does 14 divide b + (2 - (1 - 1))?
True
Is 22 a factor of 1*((-177)/(-15) + -3)*5?
True
Let o(i) = 8*i - 10. Is 15 a factor of o(5)?
True
Does 19 divide (3 + (-132)/16)*-4?
False
Let k = 21 + -12. Suppose 3*i + 3*f = k - 0, 2*i - 4 = -4*f. Is i a multiple of 3?
False
Let p = 3 - 3. Suppose p = -2*r - 4 - 0. Let z(f) = -3*f**3 - 3*f**2 - 2*f - 1. Is 15 a factor of z(r)?
True
Let o(j) = -14*j**3 + 2*j**2 - j - 2. Is o(-1) a multiple of 4?
False
Let v be 9/(-6) + (-7)/(-2). Let w be 13*10 + -1 + v. Suppose 5*r - w = 109. Does 24 divide r?
True
Does 28 divide ((-1)/3)/(5/(-3915) - 0)?
False
Suppose -3*l - 24 = -0. Suppose -4 + 1 = -3*b. Is 7 a factor of (l/16)/(b/(-28))?
True
Suppose 3 = f, -o - 2*f = 3*o - 50. Is o a multiple of 11?
True
Let g(x) = x**2 - x - 27. Is 26 a factor of g(14)?
False
Suppose -2*m - 3*m + 25 = 0. Suppose -2*q = -m*n - q + 72, 3*n - 57 = -4*q. Is n a multiple of 7?
False
Suppose 5*k - 3*f = -0*f + 862, f + 691 = 4*k. Suppose -k - 27 = -5*o. Is o a multiple of 10?
True
Let w(o) be the second derivative of o**4/12 - 3*o**2/2 + o. Let t(s) = 2*s**2 - 2*s. Let p be t(2). Does 8 divide w(p)?
False
Let r(t) = 2*t + 11. Let i be r(-9). Is 13 a factor of 35/i*(-52)/10?
True
Suppose -3*t + 22 = 5*g - 45, -2*t - 47 = -5*g. Suppose -21 = -r + a, -r = a - 8 - g. Does 5 divide r?
True
Let v(p) be the third derivative of -p**6/3 + 2*p**2. Is 10 a factor of v(-1)?
True
Suppose 0 = -3*m + 628 + 317. Is m a multiple of 17?
False
Suppose -5*s - 4*g + 252 = 0, -5*s + 5*g - 67 = -292. Is s a multiple of 20?
False
Suppose 5*v + 40 = -0*i - 5*i, -2*i = 4*v + 26. Let u = 9 + v. Is 4 a factor of u?
True
Suppose 2*h = -4*l + 2912, 5*l - h = h + 3622. Suppose -l = -5*u - 56. Suppose -5*j + u + 6 = 0. Is j a multiple of 11?
False
Let f be (1 + 0)*(5 - -9). Suppose 0 = c + 3, s + c - 31 = f. Is 16 a factor of s?
True
Let o(h) = h**3 + h + 1. Let x be o(0). Let q be 2 - (0/x - 1). Suppose -p + 2*w + 4 = 0, 4 = p + q*w + 2*w. Is p a multiple of 2?
True
Suppose 0 = -4*f + 2*x - 2, -5*x + 2*x = f + 11. Let z = f - -4. Is 2 a factor of -2 + -2*(-5)/z?
False
Let n(b) = -b**2 - 4*b - 1. Let r be n(-3). Suppose -120 = -7*h + r*h. Let z = -1 + h. Is z a multiple of 10?
False
Let u = -5 + 7. Let o be -20*(-1)/(-4)*u. Is o/(-3)*12/8 even?
False
Is (-1)/5 + 0 - 472/(-10) a multiple of 6?
False
Let m = 512 - 298. Is 10 a factor of m?
False
Suppose v = -0*v + 7. Is 6 a factor of v?
False
Let u(h) = -h**2 + 7*h - 7. Let g be 111/21 - (-2)/(-7). Let q be u(g). Suppose 21 + 9 = n + 4*k, 2*k - 40 = -q*n. Does 10 divide n?
True
Suppose 5*z + 3*t - 29 = 0, 3*t - t = -3*z + 18. Suppose z*b = 7*b. Suppose b*q - 5*x = -4*q + 38, -2*x + 31 = 5*q. Does 7 divide q?
True
Does 34 divide (-90)/20*(-26)/1?
False
Let s = 4 + 32. Is s a multiple of 36?
True
Let c = 152 - 81. Is c a multiple of 8?
False
Suppose 4*q + w - 12 = 0, -3*q - w - 2*w = -9. Suppose 0 = -q*c - 3*g + 141, -129 = -3*c - g + 4*g. Does 9 divide c?
True
Suppose -4*j = -2*c - 2*j + 12, -5*j = 4*c + 12. Let h = -22 - -32. Is 5*c*28/h a multiple of 14?
True
Suppose 99 + 747 = 6*j. Is j a multiple of 12?
False
Let v(j) = 13*j - 1. Let k(p) = -12*p + 2. Let f(n) = -3*k(n) - 2*v(n). Is 12 a factor of f(5)?
False
Let z(n) = -n**2 - 12*n - 4. Is z(-6) a multiple of 13?
False
Let b be (2/6)/((-2)/(-6)). Is 6/(-10)*(-14 - b) a multiple of 9?
True
Suppose -2*a + 5*u - 144 = -3*a, -5*u = 4*a - 576. Suppose -12*d + a = -9*d. Is 12 a factor of d?
True
Let m be 7 - (-3)/(-6)*6. Suppose 4*z = 2*y - 50, m*z + 40 = -4*y + 200. Is y a multiple of 17?
False
Let q(n) be the first derivative of n**3/3 - n**2 - n - 1. Let h = -28 - -23. Is q(h) a multiple of 17?
True
Suppose -4*i = -5*i. Suppose -g - 4*g = i. Suppose -4*v + v = -4*k - 35, g = v + 5*k - 18. Is 13 a factor of v?
True
Suppose 3*j - 48 + 440 = 4*g, 301 = 3*g - 4*j. Is g a multiple of 5?
True
Let y(u) = 2*u**2 + 9*u + 11. Is y(-5) a multiple of 16?
True
Suppose 5*n + 3*t = 69, 3 = 2*t - t. Let f = n - 2. Is 10 a factor of f?
True
Let i be (0 + 1)/(3/(-165)). Suppose 0*u - u = 5*k - 103, 0 = -2*u + 3*k + 180. Let q = u + i. Does 12 divide q?
False
Let z = 1 + 29. Does 10 divide z?
True
Let r(n) = n**2 - 9*n + 4. Is r(12) a multiple of 10?
True
Suppose -2*q = q - 4*n - 69, n = q - 23. Is q a multiple of 6?
False
Suppose 5*w - 164 = -2*m, -5*w = -2*m + 115 + 9. Is 10 a factor of m?
False
Let y(p) = p**3 + 2*p**2 - 5*p - 3. Let r be y(-3). Suppose -s + 13 = -i, 4*s + 12 - 1 = -r*i. Let z = 19 - i. Is z a multiple of 10?
False
Let b = -35 + 99. Is 16 a factor of b?
True
Suppose 5*l + 4 = 2*o - 3*o, -34 = 4*o + 2*l. Is 2 a factor of (-29)/o + 6/(-27)?
False
Suppose 3*o = 2*m - 65, -7*m - o + 137 = -3*m. Does 17 divide m?
True
Is (-768)/(-10) + (3 + -1)/10 a multiple of 48?
False
Let z(s) = s**2 - 2*s. Let d be z(-2). Let n(g) = -4*g + 8*g - 2*g**2 - 10 + g**2 + d*g. Does 22 divide n(8)?
True
Suppose 5*x - 265 = 2*u, -3*x - 5*u - 127 = -5*x. Does 4 divide x?
False
Let d(f) = -6*f**2 - f + 9*f + f - f**3 + 9. Is 13 a factor of d(-8)?
True
Let q(o) = -o**3 - 2*o**2 + 3*o + 1. Let i be 1*-5 + 1 + 1. Let v be q(i). Let c(h) = 32*h**2. Is c(v) a multiple of 16?
True
Let f = 84 + -50. Is f a multiple of 9?
False
Suppose 4*m = -135 - 77. Let j = 83 + m. Suppose -d = -3*d + j. Does 14 divide d?
False
Does 5 divide ((-2)/(-4))/(19/760)?
True
Let n(c) = -4*c**3. Does 4 divide n(-1)?
True
Suppose 3*i + 1304 = 4*f - 0*i, -5*f + 5*i + 1635 = 0. Is f a multiple of 12?
False
Suppose -4*w - 3*t - 7 - 17 = 0, -4*t + 18 = -3*w. Is 14 a factor of (-6 + -13)/(2/w)?
False
Let v be 4 - (-2 - 0/(-2)). Let m be (-555)/v*(-12)/(-15). Let j = m - -112. Is 19 a factor of j?
True
Is (28/3 + (-16)/(-8))*3 a multiple of 14?
False
Suppose 2*a + 2*a = 20. Let y = 8 + -3. Suppose 5*t - 45 = -4*u, y*u - 15 = 3*u + a*t. Does 10 divide u?
True
Suppose -80 = -3*r + 5*t - t, -4*r = 5*t - 86. Let a = r - 6. Is a a multiple of 17?
False
Suppose 2*s - 84 = 3*u, 0*s + 3*s + 5*u - 164 = 0. Suppose 3*q - 2*r + 0*r = 29, 5*q = 3*r + s. Does 9 divide q?
True
Let h(d) = 6*d**2 + 2*d + 2. Is h(-1) a multiple of 2?
True
Is 12 a factor of (-1)/(15/(-6)) - 3129/(-15)?
False
Supp