Suppose -2*p + 5 = 1. Let k(b) = -b**2 - 7*b**2 + 3*b**3 + b + 4*b**2 + 2. Is k(p) a multiple of 12?
True
Let d be 244/(-8) - 2/(-4). Does 7 divide 42*(-3 - d/9)?
True
Suppose 0*k + 114 = 3*k. Is 21 a factor of k?
False
Let b = 6 + 40. Does 23 divide b?
True
Suppose 3*b + 134 + 65 = -u, -900 = 5*u - 4*b. Let x = -88 - u. Let z = x - 68. Is 23 a factor of z?
False
Let a(d) = -d. Let w be a(1). Let k(u) = -u**2 + u. Let i(g) = 30*g**3 - 4*g**2 + 3*g + 1. Let y(j) = w*i(j) + 3*k(j). Does 15 divide y(-1)?
True
Let z be -1 - -59 - (0 - 1). Suppose v - z = -4*t, t - 3*t = -10. Does 18 divide v?
False
Let m be 3/2*(-8)/(-6). Suppose -5*s + 78 = 2*l, 15 + 5 = m*s - 2*l. Does 14 divide s?
True
Let i = -3 - -8. Let g(h) = 2*h**3 - 5*h**2 - 5*h + 2. Let q be g(i). Let o = q + -70. Is o a multiple of 16?
True
Let v(l) be the first derivative of l**4/4 - l**3 + l**2 + 3*l - 3. Is 9 a factor of v(3)?
True
Let j = 16 - 23. Let i = 39 + j. Is i a multiple of 16?
True
Suppose -44 = -4*q + 24. Does 4 divide q?
False
Let i(v) = -4 + 4 + 5*v + 3. Let l = -7 - -13. Is i(l) a multiple of 13?
False
Suppose d + 503 = 4*z, -5*z - 5*d + 116 + 494 = 0. Let t = z - 82. Is t a multiple of 11?
False
Let w = 2 - 2. Suppose w*s + 1 = -2*s + y, -5*y + 5 = 4*s. Suppose 2*c - 4*c + 16 = s. Does 3 divide c?
False
Suppose -10*z + 14*z = 256. Let c = -33 + z. Does 31 divide c?
True
Suppose -14 = -4*y + 14. Let j be (-23)/(-7) - 2/y. Suppose -a + 10 = -j. Does 12 divide a?
False
Let q = 12 - 12. Suppose -3*z - 4*y = -135, y - 45 = -z - q. Is 16 a factor of z?
False
Suppose 4*r = 8*r - 60. Suppose -5*g - 155 = -5*s, 2*g + g - r = 0. Does 18 divide s?
True
Suppose 4*f - 128 = -0*f. Is 8 a factor of -3*1*f/(-6)?
True
Let z(m) = 5*m**2 - 2*m - 1. Is 6 a factor of z(-1)?
True
Let o(h) = 3*h**3 - 4*h. Does 10 divide o(3)?
False
Suppose 2*m - 5*h + 63 = 0, 5*h + 193 = -5*m + 18. Let l = 80 + m. Does 13 divide l?
False
Let j be 2/(-7) + 244/(-28). Let a(q) = -4*q - 9. Does 10 divide a(j)?
False
Let x(h) = -4*h - 4*h - 2*h + 0*h. Does 20 divide x(-2)?
True
Let y be 3*3 + -1 + 2. Suppose 0*w = 3*w - 6. Let r = y + w. Is 6 a factor of r?
True
Let r = -36 - -55. Let x be 6*5*2/5. Let j = r - x. Does 7 divide j?
True
Is (-4)/32*-4*18 a multiple of 9?
True
Let u be (-1)/(-2) + 570/4. Suppose -2*o + 5*v = -120, -4*o - 2*v + u = -145. Suppose 8*b - o = 3*b. Is b a multiple of 5?
False
Suppose 0 = 2*c - 389 - 891. Suppose -100 = 5*k - c. Is k a multiple of 23?
False
Let z(h) = -h**3 - 2*h**2 + h + 4. Let d be z(-5). Suppose 4*x - 2*s - 132 = 0, 2*s - 5*s - d = -2*x. Is 11 a factor of x?
False
Suppose -2*i + 4*i - 147 = -5*s, 141 = 2*i + 3*s. Is i - (-5)/((-5)/3) a multiple of 21?
True
Let f(j) = 17*j - 2. Let c be 5/4 - (-9)/12. Is f(c) a multiple of 18?
False
Let w be (10 - (5 - 3))/2. Suppose z + w - 18 = 0. Is 7 a factor of z?
True
Let r = -6 + 10. Suppose 38 = r*p - 18. Is 14 a factor of p?
True
Let x(c) = c**2 - 4*c - 3. Does 6 divide x(6)?
False
Let n = -100 - -190. Is n a multiple of 9?
True
Let s be 1*9 + 4 + -6. Suppose 5*o = 4*d + 8, -s = -d + 5*o - 6*o. Suppose d*j - 1 = 32. Is 10 a factor of j?
False
Let j(x) = -x + 9. Let m(r) = 1. Let q(b) = j(b) - 4*m(b). Suppose 5*v = v + 12. Is q(v) a multiple of 2?
True
Suppose k - 1 = 1, -4*o + 44 = -2*k. Is o even?
True
Let w(k) be the second derivative of -4/3*k**3 + 0 + k - 13/2*k**2 - 1/20*k**5 + 11/12*k**4. Does 7 divide w(10)?
True
Suppose 3*h + h - 44 = 0. Suppose -2*f + 21 = -h. Does 6 divide f?
False
Let y(s) = s**2 + 20*s + 28. Is y(-20) a multiple of 28?
True
Suppose -150 = -3*n - 5*b, 4*b + 168 = n + 3*n. Does 14 divide n?
False
Let q(v) = v - 1. Let k be q(8). Let u(l) = l - 9. Let b be u(k). Is 3/2*(b + 14) a multiple of 11?
False
Let q(v) = v**3 - 10*v**2 + 7*v + 7. Let j be q(9). Let c = -1 - j. Is 10 a factor of c?
True
Suppose -w + 2*z + 194 = 0, z + 557 = 2*w + w. Is w a multiple of 23?
True
Suppose -3*i - 1 = 17. Let w(f) = -f**2 - 7*f + 4. Does 10 divide w(i)?
True
Let c = -76 - -146. Does 7 divide c?
True
Suppose 0 = 4*n - 2*g - 2*g - 556, -417 = -3*n - g. Does 17 divide n?
False
Suppose 0*n + 96 = 4*n. Suppose 5*p = p + n. Is p a multiple of 5?
False
Let i be 108/5 + 6/15. Suppose 20 + i = u + 2*q, 3*u - 3*q = 135. Let b = -28 + u. Does 8 divide b?
True
Let f(r) = 2*r**2 - 9*r - 15. Is 21 a factor of f(9)?
False
Is 7 a factor of 6/(-4)*78/(-9)?
False
Let i be (-19)/(-3) + (-2)/6. Suppose -y + i*y = 390. Does 17 divide y?
False
Suppose -3*c + 7 = 4*p - 22, -p - 3*c = -14. Suppose p*i + 0*d = 4*d + 85, 0 = -4*i - d + 89. Does 14 divide i?
False
Let o = -75 + 107. Is o a multiple of 8?
True
Is 30 a factor of (38/(-3))/((-12)/54)?
False
Let o = -55 + 117. Does 4 divide o?
False
Let t(a) = a**3 + 3*a**2 - 3*a + 4. Let f be t(-4). Suppose -5*g + 395 = -f*g. Suppose 5*u = -3*r + g, -5*r + 2*u + 111 = -0*r. Is 14 a factor of r?
False
Let d be -2*(-1 - -2*7). Let b = d - -49. Let x = -15 + b. Is 4 a factor of x?
True
Let l(c) = -3 - 3 + 2*c + 5. Suppose -3*t + 37 = 10. Is l(t) a multiple of 11?
False
Let m(g) be the first derivative of 5*g**2 - 5*g - 1. Is m(8) a multiple of 22?
False
Let h be ((-3)/(-4))/(2/264). Is 3744/h - (-4)/22 a multiple of 13?
False
Is 1 - 5/((-15)/162) a multiple of 9?
False
Suppose 31 = u - 49. Does 8 divide u?
True
Is 30 a factor of (-3 + 0 + -27)*-2?
True
Suppose 0 = 2*z + 3*b - 728, 0 = -2*b - 1 - 3. Does 19 divide z?
False
Let z(v) = 11*v + 6. Suppose a - 15 = -4*a. Does 13 divide z(a)?
True
Suppose 118 = 2*c - 2*o, -3*c = 2*o - 106 - 71. Let f = 95 - c. Is 12 a factor of f?
True
Is 1/(-6) - (-374)/12 a multiple of 5?
False
Suppose 0*m = 2*m - 4. Is 3 a factor of 30/4 + 1/m?
False
Let w = 20 - 11. Does 15 divide 268/w - (-10)/45?
True
Suppose -3*v = -5*n + 127, 3*n + 0*n = -3*v + 57. Is 23 a factor of n?
True
Suppose -2 = 3*h - 464. Does 18 divide (-3)/6 - h/(-4)?
False
Let y(s) = s**3 + 4*s**2 - 4*s + 6. Is 7 a factor of y(-4)?
False
Does 13 divide 1175/(-47)*18/(-10)*1?
False
Let b(j) = j**2 + 6*j - 9. Is 11 a factor of b(4)?
False
Suppose 3*p = 6*p - 102. Does 5 divide p?
False
Let f be 10/4 + (-2)/4. Let o(g) = g**3 - 2*g**2. Let n be o(f). Suppose -b = -n*b - 4. Is 2 a factor of b?
True
Let a(y) = y**3 - 9*y**2 + 3*y - 13. Does 5 divide a(9)?
False
Suppose -3*r + 2*n + 0*n = -2, -4*n = r - 10. Is r a multiple of 2?
True
Let a = -36 - -56. Is a a multiple of 10?
True
Let p(o) = o**3 + 4*o**2 + 2*o. Let z be p(-3). Suppose -4*f + a - 33 = 0, 0 = 2*f - a - z*a + 6. Let v = -5 - f. Does 4 divide v?
True
Let q(g) = g**3 + 13*g**2 + 9*g - 14. Let j be q(-12). Let s = -1 + j. Is 8 a factor of s?
False
Is (16/(-3) + 3)*-3 a multiple of 2?
False
Let b be (32/12)/(-2)*-3. Is 141/9 + b/12 a multiple of 8?
True
Suppose -3*a = 5*b - 84, -3*a + 4*b + 74 = -37. Is a a multiple of 18?
False
Suppose 2 - 12 = -5*y. Suppose k = -y*k. Suppose 0 = -4*n - k*n + 48. Is 6 a factor of n?
True
Is (-12)/(-20) - 774/(-10) - 3 a multiple of 15?
True
Suppose 0 = 2*d + 1 + 3. Let x = d + 0. Is 9 a factor of 13 + x - (-2)/(-2)?
False
Let w = 5 - 7. Let z = w - -17. Does 15 divide z?
True
Let t = 226 - 176. Is 5 a factor of t?
True
Let l(j) be the second derivative of -j**3/3 - 2*j**2 + 3*j. Is 4 a factor of l(-6)?
True
Let z be 1 - (-3 - (2 + -3)). Suppose z*k - 97 = 35. Is 13 a factor of k?
False
Let m(t) = -9*t - 15. Is 12 a factor of m(-7)?
True
Is 38 a factor of 15323/63 + (-2)/9?
False
Suppose 0 = 7*h - 2*h + 15, 3 = 3*y - 3*h. Is y + 3/(12/172) a multiple of 14?
False
Suppose 0 = -2*l + 3*l - 2. Let t = l + 2. Suppose 9 = u - 2*z, 4*u - 21 - 23 = t*z. Is u a multiple of 5?
False
Let c = 55 + -48. Is c a multiple of 4?
False
Let w(n) = n**3 - 5*n**2. Let k be w(5). Let b(y) = y**2 + y + 11. Let u be b(k). Let v = u + -2. Is 3 a factor of v?
True
Let i = 448 - 182. Suppose -6 = 5*k - i. Does 26 divide k?
True
Let t(y) = -4*y**3 + 5*y**2 + 5*y + 2. Let f(n) = 11*n**3 - 15*n**2 - 14*n - 5. Let o(s) = 3*f(s) + 8*t(s). Does 8 divide o(6)?
False
Let z = -28 + 47. Is z a multiple of 3?
False
Let l = 4 + -4. Suppose -3*b - 2*b + 3*f + 4 = l, -2 = -f. Suppose 5*r = 3*u + b - 13, -4*r + 29 = 3*u. Does 4 divide u?
False
Let a(u) = -2*u**3 - 3*u**2 + 2*u - 4. Does 11 divide a(-3)?
False
Suppose -2*j = 2*m - 392, -3*m = 2*j + 33 - 