-5*n + 39. Is n a multiple of 4?
False
Let f(i) = -i + 10. Is 9 a factor of f(-9)?
False
Let d(l) = -3*l - 35. Does 10 divide d(-25)?
True
Let b = 895 + -535. Is 15 a factor of b?
True
Is (-336)/(3/1)*-1 a multiple of 14?
True
Let z = -417 + 594. Does 11 divide z?
False
Suppose -w + 83 = v, -w = -5*v - 209 + 654. Is v a multiple of 26?
False
Let a = 2 + 0. Let x(m) = a*m**2 - 8*m + 0 - 3*m**2 - 4. Is 2 a factor of x(-7)?
False
Is (-4)/(-6) + 138/9 a multiple of 5?
False
Let l(s) = 0 + 4 - 5 - 3*s + 3. Let b be l(3). Let k(i) = i**2 + 3*i + 4. Does 16 divide k(b)?
True
Let u = -2 - -3. Suppose 2*f - 11 = -u. Does 5 divide f?
True
Let c(q) = q**2 - 2*q + 85. Does 17 divide c(0)?
True
Let k be 2*(-2 + 14/4). Suppose 0 = -k*i - 4*s + 108, 5*s = 2*i - 0*i - 95. Is 8 a factor of i?
True
Let l(p) = 5*p - 4*p - p - p**2 + 543*p**3. Let z be l(-1). Does 12 divide z/(-20) - 1/5?
False
Let g be (-12)/30 - 24/(-10). Suppose g*i + 40 = 3*i. Is i a multiple of 20?
True
Let k(l) = -6*l + 3. Let z = -14 - -8. Is k(z) a multiple of 15?
False
Suppose -5*r + 10 = c, 3*r - 8 = 2*c - 2. Suppose 4*j = r*u - 34, -u - u = 3*j - 34. Does 17 divide u?
True
Let x = 59 - -22. Is x a multiple of 28?
False
Let y be (-3)/12 - 1/(-4). Suppose y = 3*t - t - 24. Is 4 a factor of ((-2)/3)/((-2)/t)?
True
Let b = -2 + 8. Let r(f) = 5*f - 5. Does 10 divide r(b)?
False
Is 0 - (-1 + -1 + -5) a multiple of 2?
False
Let j = 39 - -47. Does 18 divide j?
False
Does 9 divide (-45)/10*-12 - 0?
True
Let h = 1 - -3. Suppose -170 = -h*d - d. Is d a multiple of 17?
True
Suppose 0 = -3*q + 4*u + 163, 0 = -0*u + u - 5. Is 5 a factor of q?
False
Suppose 2*x - 64 = -n, -5*x = -5*n + 125 + 180. Is n a multiple of 31?
True
Suppose -3*o + o - 20 = 0. Let x = -7 - o. Suppose -21 - x = -3*h. Is h a multiple of 4?
True
Let l(y) = -y**3 - 10*y**2 + 7*y - 14. Is l(-11) a multiple of 6?
True
Let b(i) = -i**3 - 9*i**2 + 8*i + 3. Let y be b(-9). Let q = y + 115. Does 14 divide q?
False
Suppose -4*p + 17 = -31. Does 10 divide -3*((-200)/p - -3)?
False
Suppose -3*z = -2*m - 6, z - 3*m + 2 + 3 = 0. Is 13 a factor of 186/7 + z/(-7)?
True
Let r = -228 - -336. Is r a multiple of 12?
True
Let p(w) = 7*w**2 + 5*w + 1. Is 12 a factor of p(-2)?
False
Let q(g) = 3*g**2 + 43*g - 10. Is q(-15) a multiple of 15?
False
Let c(s) = 3*s**2 - 10*s + 8. Is 12 a factor of c(6)?
False
Let b be 12/(-1)*(-4)/8. Let x(g) = 7*g + 6. Does 16 divide x(b)?
True
Suppose 5*l - 72 = 13. Let a = l - 8. Is 20 - (-3)/a*-3 a multiple of 9?
False
Suppose 13 = -3*x - o, 10 = 2*x - 4*o - 0. Let u = x + -2. Let f(b) = -b**3 - 6*b**2 - 8*b - 3. Does 12 divide f(u)?
True
Let n be (3 - 3) + 42/(-6). Let m(l) = -l**3 - 7*l**2 - 4*l + 6. Does 13 divide m(n)?
False
Let q = -11 + 55. Is 23 a factor of q?
False
Suppose 3*o - 12*o = -873. Does 14 divide o?
False
Is ((-268)/12 - 1)*-6 a multiple of 26?
False
Let v(l) = -l + 4. Let i be v(4). Let b = 2 - i. Suppose -c = -b*c - 2*d + 11, 0 = 4*c + 3*d - 49. Is c a multiple of 6?
False
Suppose 0 = -11*x + 3*x + 320. Is 14 a factor of x?
False
Let g be 1/(-3 + 2) + 1. Is 19 a factor of (3 - 2) + 75 - g?
True
Suppose 4*p + 0*n - 180 = 5*n, 5*n = -2*p + 60. Does 20 divide p?
True
Let m(a) = 2*a**3 + 1. Let f be m(1). Let y = f + 17. Is y a multiple of 5?
True
Is 1244/7 + (3 - 57/21) a multiple of 25?
False
Suppose 0 = 4*v - 9*v + 5, 4*v - 20 = -4*y. Does 7 divide (-483)/(-14)*y/6?
False
Let g(z) = 3*z - 11. Is g(7) a multiple of 3?
False
Let b(h) = 4*h**3 - 4*h**3 - 6*h**3 - h**2 + 0*h**3. Does 12 divide b(-2)?
False
Let u = 62 + -34. Does 13 divide u?
False
Suppose 28 = 2*l - 88. Let h = 19 + l. Is 16 a factor of h?
False
Suppose -3*j + 54 + 36 = 0. Does 10 divide j?
True
Let o be 8/2*12/(-1). Let z = o - -33. Does 3 divide 2/3 + (-110)/z?
False
Suppose 5*x = 3*z - 280, 2*z = -0*z + 2*x + 188. Is 7 a factor of z?
False
Let o(p) = 21*p**3 - p**2 + p - 1. Let j be o(1). Suppose -2*f + 4*f = j. Is 12 a factor of (36/10)/(3/f)?
True
Let d(s) = -s**2 - 7*s. Suppose 0 = c + 2 + 3. Let i be d(c). Is 2 a factor of ((-4)/(-8))/(1/i)?
False
Let f = -1 + 3. Suppose 3*h - o = -1, 3*h + f*o = -2*o - 26. Is 11 a factor of (-22)/h + (2 - 2)?
True
Let c = 150 - 66. Does 21 divide c?
True
Let n(q) = -2*q**3 - 2*q**2 - 5*q - 7. Does 12 divide n(-3)?
False
Suppose q - 7 = 2*g - 4*g, 3*q - 13 = -2*g. Suppose 56 = -n + q*n. Is n a multiple of 12?
False
Let c(j) = -j**3 + 6*j**2 - j + 8. Let r be c(6). Suppose -r*a + 12 = -6*a. Is (a - 35)/(2/(-1)) a multiple of 13?
False
Let u(o) = -o**2 - 9*o + 3. Suppose -5*j + 3*f = 1 + 44, -3*j - 27 = -2*f. Is 3 a factor of u(j)?
True
Suppose 17 = -i + 5*n, 3*i - 2*n = -2*i - 85. Let w = i - -53. Does 9 divide w?
True
Suppose -292 = -10*c + 308. Is 30 a factor of c?
True
Is (12/14)/((-15)/(-630)) a multiple of 4?
True
Suppose -4*z = -99 - 65. Let k = z - 23. Is k a multiple of 6?
True
Let c(x) = -22*x + 3. Let w be c(-3). Suppose -5*d + 3*d + 39 = b, b + w = 4*d. Is 9 a factor of d?
True
Suppose i + 6 = 3*i. Suppose 0*c - 5*c + 170 = i*j, -j = 4*c - 66. Is j a multiple of 25?
True
Suppose w - 851 = -3*q, -5*q + 3*w + 1437 = -0*q. Is q a multiple of 38?
False
Let g(n) = 2*n**3 - 3*n**3 + 6*n**2 + 0 - 8*n + 1 + 2*n**3. Let q be g(-9). Is q/15*6/(-4) a multiple of 9?
False
Let b be (13 - (-4)/(-2))*-1. Let h = 0 - b. Does 11 divide h?
True
Let b(z) = 12*z**2 - 3. Is b(-3) a multiple of 15?
True
Let n(d) be the second derivative of d**4/4 - d**3/3 + d**2 - 2*d. Let o(k) be the first derivative of n(k). Is 13 a factor of o(3)?
False
Let i be 16/5 + 1/(-5). Let q be (-1)/3*1*-6. Suppose i = q*m - m. Is m a multiple of 3?
True
Let a be 5/((-15)/9) + 3. Suppose 0 = 4*z - a - 132. Is 12 a factor of z?
False
Suppose 3*v + o = 14, 0*o = o + 1. Suppose -v*r = -r - 96. Is 21 a factor of r?
False
Let k = 4 - -66. Does 9 divide k?
False
Let g(l) = l**3 - l**2. Let n be g(-1). Does 18 divide 63 - (-1 + 2 - n)?
False
Let c be 3 + ((-14)/(-2) - 2). Let z = 5 + c. Is 8 a factor of z?
False
Let m be ((-9)/6)/(3/(-108)). Is 12 a factor of 2*1 + m/3?
False
Suppose 10*k - 11*k + 257 = 0. Is k a multiple of 33?
False
Suppose 12*z - 41 = 11*z. Is z a multiple of 3?
False
Let x(v) = 5*v - 5. Does 40 divide x(9)?
True
Let o = -2 + 7. Suppose 45 = -2*c + o*c. Is 5 a factor of c?
True
Let z(x) = 2*x**2 - x - 2. Is 4 a factor of z(2)?
True
Let j = 95 + -19. Let y = -8 + j. Is y a multiple of 23?
False
Let m be (-1 - -2)*2 - -7. Let n = m + 3. Is 6 a factor of n?
True
Suppose 5*p + 87 - 27 = 0. Let r = -8 - p. Suppose -r*g + 29 + 103 = 0. Is g a multiple of 11?
True
Let k(p) be the third derivative of -11*p**4/24 + p**3/3 + 3*p**2. Does 9 divide k(-3)?
False
Let b = -225 + 149. Let c = -37 - b. Does 14 divide c?
False
Let m(j) = -j**3 - 5*j**2 + 8*j + 9. Let z be m(-6). Is 4 + (0 - 1 - z) a multiple of 4?
False
Suppose 0 = 2*l + 1 - 7. Suppose i + 62 = l*i. Is 12 a factor of i?
False
Let s = 94 + -84. Is 10 a factor of s?
True
Suppose -4*m + 101 = 5. Does 4 divide m?
True
Let f(w) = -6*w + 6. Let h be -1 - (-7)/(7/(-2)). Is 8 a factor of f(h)?
True
Let k = -333 + 583. Suppose 246 = 3*o + 2*i, -61 = -4*o + 3*i + k. Does 24 divide o?
False
Let f(q) = -5*q - 5. Suppose 0 = -2*p - 0*d - 3*d + 15, 12 = -p + 5*d. Let s be p/(-3) + 1 - 6. Is f(s) a multiple of 17?
False
Suppose 7*i - 770 = -4*i. Does 14 divide i?
True
Suppose -5*u + 3*o = 7*o + 3, 4*u = o + 6. Let k be u - (3/(-3) + 2). Suppose -4*f + 6*f - 32 = k. Is 16 a factor of f?
True
Suppose 3*o - 21 = 2*o. Is o a multiple of 3?
True
Let c = 57 - 28. Is c a multiple of 29?
True
Let o be (-14)/((0 + -1)*1). Let j be o/2 + 2*-1. Suppose 2*k + 4 = -6, -61 = -3*m + j*k. Is 12 a factor of m?
True
Suppose 6 = 4*p - 2. Suppose -1685 + 35 = -5*t. Suppose 3*g - t = -p*g. Is g a multiple of 18?
False
Let d(y) = y - 7. Let k be d(7). Suppose k = -5*g - 0*f + 3*f + 138, -3*f = 3. Is 9 a factor of g?
True
Let s = -11 - -134. Does 12 divide s?
False
Let r(c) = c**3 - 10*c**2 + 17*c - 5. Is 3 a factor of r(8)?
True
Let t(m) = -208*m**3 + m**2 + m. Does 45 divide t(-1)?
False
Let x be (-2)/(5/(30/(-4))). Suppose 2*j + 3*k - 30 - 23 = 0, -4*k = x*j - 82. Is 17 a factor of j?
True
Let i = 8 - -120. Does 21 divide i?
False
Let s(z) = z**2 - 4*z - 2. Let v be s(6). Let m(n) = 3*n - 10. Is m